7-6 等价关系与划分.ppt

7.6 等价关系与划分 ; 等价关系是一类重要的关系。 定义7.15(等价关系) 设R非空集合上的关系，如果R是自反的、对称的和传递的，则称R为A上的等价关系。 设R是一个等价关系，若x，y?R，称x等价于y，记作x?y。; 例 设A为某班学生的集合，讨论下列关系是否为等价关系。 R1={x, y|x, y?A ? x与y同年生} R2={x, y|x, y?A ? x与y同姓} R3={x, y|x, y?A ? x的年龄比y小}; 如tsr(R)必为一个等价关系 例 A={1,2,3}，A上的关系R={1,1,2,2,1,2} tsr(R)={1,1,2,2,3,3,1,2,2,1}; 对R求三种闭包共有6种顺序，问每种顺序的运算结果是否一定为等价关系？ 不一定。 由于对称闭包不一定保持关系的传递性，因此先求传递闭包后求对称闭包得到的关系不一定是等价关系 例 A={1,2,3}，A上的关系R={1,2,3,2} str(R)=IA?{1,2,2,1,3,2,2,3} 显然str(R)不是等价关系; 例 设A?N，R={x, y|x, y?A∧x≡y (mod 3)} 为A上的关系，其中x≡y (mod 3)叫做x与y模3相等，其含义为x除以3的余数与y除以3的余数相等。证明R为A上的等价关系。 证明: ?x?A，有x≡x (mod 3)，即x, x?R，所以R是自反的。 ?x,y?A，若x≡y (mod 3)，则有y≡x (mod 3)。所以R是对称的。 ?x,y,z?A，若x≡y (mod 3)，y≡z (mod 3)，则有x≡z (mod 3)。所以R是传递的。 综上R为A上的等价关系。 ;例：已知A=P(X), C?X, ?x, y?A, x,y?R ? x?y?C。 证明R为A上的等价关系. 证明： （1）?x?A，由于x?x=??C ? x,x?R, 所以R是自反的。 （2）?x,y?A，x,y?R?x?y?C?y?x?C?y,x?R, 所以R是对称的。 （3）?x,y,z∈A，若x, y∈R，y, z∈R， 则有x?y?C， y?z?C。 x?z=(x?y)?(y?z)?C ?x,z∈R. 所以R是传递的。 综上所证，R是A上的等价关系。; 画出等价关系R={x,y|x,y?A∧x≡y(mod 3)}的关系图 ，其中A={1,2,…,8}。; 定义7.16（等价类） 设R为非空集合上的等价关系，?x?A，令[x]R={y|y?A∧xRy}，称[x]R为x关于R的等价类，简称为x的等价类，简记为[x]。 说明： x的等价类是A中所有与x等价的元素构成的集合。; 集合A={1,2,…,8}上的等价关系 R={x, y|x, y?A∧x≡y（mod 3）}; 将模3的等价关系加以推广，可以得到整数集合Z上的模n等价关系。 对于任意的整数x和y，定义模n相等关系?： x?y?x≡y（mod n） 易证?是整数集合Z上的等价关系。;将Z中所有的整数根据它们除以n的余数分类如下： 余数为0的数，其形式为nz，z?Z 余数为1的数，其形式为nz+1，z?Z … 余数为n-1的数，其形式为nz+n-1，z?Z 以上构成了n个等价类： [i]=[n+i]=[2n+i]=…={nz+i|z?Z}，i=0,1,…n-1; 定理7.14（等价类的性质） 设R为非空集合A上的等价关系，则 （1）[x]是A的非空子集 （2）?x，y?A，如果xRy，则[x]=[y] （3）?x，y?A，如果xRy，则[x]与[y]不交 （4）∪{[x]|x?A }=A; 例集合A={1,2,…,8}上的等价关系R={x, y|x, y?A∧x≡y（mod 3）} 等价类是{1, 4, 7}、{2, 5, 8}、{3, 6}; 定义7.17（商集）设R为非空集合A上的等价关系，以R的所有等价类为元素的集合叫做A在R下的商集，记作A/R，即A/R={[x]R|x?A }