离散数学310等价关系与等价类revised.pptVIP

第三章 集合与关系 3-10 等价关系与等价类 授课人：李朔 Email:chn.nj.ls@ 一、等价关系 等价关系是常用的重要关系，它使我们能对集合的元素分类，例如面积相等，相似，全等。其分类原则是每个元素仅属于某一类，且不同类之间没有公共元素。等价关系它有良好的性质。在计算机科学和计算机技术、信息科学和信息工程中都有广泛的应用。目前对等价关系的研究是深入而完备的。 P131 定义3-10.1 设R为定义在集A上的一个关系，若R是自反的，对称的且传递的，则R称为等价关系。 例如：平面上三角形集合中，三角形的相似关系是等价关系，命题逻辑里的命题集合中，命题的等价关系。 一、等价关系 P131 例题1：A={1, 2, 3, 4}, R={1, 1, 1, 4, 4, 1, 4, 4，2, 2, 2, 3, 3, 2, 3, 3} 则易于验证R为A上等价关系。 关系图： 关系矩阵： 一、等价关系 P131例题2：设I为整数集R={x, y}??y(mod k)}，则Ｒ为Ｉ上等价关系。 其中x≡y(mod k)叫做x与y模k相等，即x除以k的余数与y除以k的余数相等.(x=s·k+a,y=t·k+a ,s、t为整数，a为自然数，-2=-1*3+1) 证：因对任a, b, c?I, 1）a-a = 0·k, 故