离散数学-3-10 等价关系及等价类revised.ppt

第三章 集合与关系 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, 故a, a?R 2）若a ? b(mod k), 即a-b = tk 则b-a = -tk，故b ? a(mod k) 3）若a ? b(mod k)，b ? c(mod k), 则 a-b = tk, b-c = sk 则a-c = a-b+b-c = (s+t)k 故a ? c(mod k) 因此Ｒ为等价关系。 *1.人群集合上年龄相等是等价关系，而朋友关系一般不是等价关系。 *2.集合上的恒等关系和全域关系为等价关系。 一、等价关系 例 设A=?1,2,3,4,5?，R是A上的二元关系， R=??1,1?,?1,2?,?2,1?,?2,2?,?3,3?,?3,4?,?4,3?,?4,4?,?5,5??，证明R是A上的等价关系。 证明：写出R的关系矩阵MR，关系图如下： 二、等价类 P131 定义3-10.2 设Ｒ为集合Ａ上的等价关系，对任a?Ａ，集合[a]R={x?x?A, xRa}称为a关于Ｒ的等价类。 如例１中 [1]R = [4]R = {1,4} [2]R = [3]R = {2,3} 对例２，当k=3时，等价类为： [0]R = [3]R= [-3] R = {?, -6, -3, 0, 3, 6, ? }? [1]R = [4]R= [-2] R ={?, -5, -2, 1, 4, 7, ? }? [2]R = [5]R= [-1] R ={?, -4, -1, 2, 5, 8, ? }? P132 定理3-10.1 若R为A上等价关系，对于a, b?A，有aRb?[a]R =[b]R。 三、商集 P132 定义3-10.3 集合A上的等价关系R，其等价类集合称为A关于R的商集，记A/R. 例1中商集A／R＝{[1]R , [2]R}。 非空集A上全域关系EA是等价关系，其商集A／EA＝{A} 非空集A上的恒等关系IA是等价关系，其商集 A／IA＝{{x}?x?A} *由上可见，任两个等价类的交集为空，于是我们有下面的重要结果。 三、商集 P133 定理3-10.2 集合A上的等价关系，决定了A的一个划分，该划分就是商集A／R。 证明：把与a?A的等价元素放在一起组成一集合[a]R，所有这些集合构成商集A／R。下面证明它是A的一个划分。 1）A／R＝{[a] R ? a?A }，故 。 2）任一a?A，因R自反，故aRa，即a?[a]R。 即A的每一个元属于一个分块。 3）证明A的每一个元仅属于一个分块。反之设 a?[b]R，a?[c]R且[b]R ?[c]R，则由aRb, aRc有bRc，即[b]R =[c]R与假设矛盾。故A／R是A上对应于R的一个划分。 三、商集 下面进一步证明，集合A上的一个划分确定了A的元素间等价关系。 P133 定理3-10.3 集A上的一个划分确定了A的元素间的一个等价关系。 证明：设S={S1, S2, ?, Sm}为集A的一个划分。定义R：aRb当且仅当a, b在同一分块中。下面证明R为A上等价关系。 1）因a与a在同一块中，故aRa，即R是自反的。 2）若a, b在同一块中，则b, a也在同一块中，故有aRb,bRa，即R对称。 3）若a与b在同一块中，b与c在同一块中，则必有a与c在同