07二元关系解释.ppt

关系性质与闭包运算之间的联系 定理7.13 设R是非空集合A上的关系， （1）若R是自反的，则s(R)与t(R)也是自反的。 （2）若R是对称的，则r(R)与t(R)也是对称的。 （3）若R是传递的，则r(R)是传递的。 证明：只证（2）。  定理7.13 (2)的证明 （2）若R是对称的，则r(R)与t(R)也是对称的。 证明r(R)是对称的。 由于R是A上的对称关系，所以R＝R-1，同时IA＝IA-1。 r(R)-1 ＝(R∪R0)-1 ＝(R∪IA)-1 ＝R-1∪IA-1 ＝R∪IA ＝r(R) 所以，r(R)是对称的。 定理7.13 (2)的证明 （2）若R是对称的，则r(R)与t(R)也是对称的。 下面证明t(R)的对称性。 任取x,y x,y∈t(R) ? ?n(x,y∈Rn) ? ?n(y,x∈Rn) （因为Rn是对称的） ? y,x∈t(R) 所以，t(R)是对称的。 定理7.13的讨论 从这里可以看出，如果计算关系R的自反、对称、传递的闭包，为了不失去传递性，传递闭包运算应该放在对称闭包运算的后边，若令tsr(R)表示R的自反、对称、传递闭包，则 tsr(R)=t(s(r(R))) 自反性 对称性 传递性 r(R) √ √ √ s(R) √ √ ×(反例) t(R) √ √ √ 反例 A={1，2，3}， R={1,3} 是传递的 s(R)={1,3,3,1} 显然s(R)不是传递的。 7.6 等价关系与划分 定义7.15 设R为非空集合上的关系。如果R是自反的、对称的和传递的，则称R为A上的等价关系(equivalent relation)。设R是一个等价关系，若x，y∈R，称x等价于y，记做x～y。 举例 (1)平面上三角形集合中，三角形的相似关系。 (2)人群中的同性关系。 例7.16 例7.16 设A＝{1,2,…,8}，如下定义A上的关系R：R＝{x，y|x，y∈A∧x≡y(mod 3)}其中x≡y(mod 3)叫做x与y模3相等，即x除以3的余数与y除以3的余数相等。不难验证R为A上的等价关系，因为 ?x∈A，有x≡x(mod 3) ?x,y∈A，若x≡y(mod 3)，则有y≡x(mod 3) ?x,y,z∈A，若x≡y(mod 3)，y≡z(mod 3)，则有x≡z(mod 3) 等价类 定义7.16 设R为非空集合A上的等价关系，?x∈A，令[x]R={y|y∈A∧xRy}称[x]R为x关于R的等价类，简称为x的等价类，简记为[x]或 x 。 x的等价类是A中所有与x等价的元素构成的集合。 例7.16中的等价类是： [1]＝[4]＝[7]＝{1,4,7} [2]＝[5]＝[8]＝{2,5,8} [3]＝[6]＝{3,6} 整数集合Z上的模n等价关系 设x是任意整数，n为给定的正整数，则存在唯一的整数q和r，使得x＝qn+r其中0≤r≤n-1，称r为x除以n的余数。 例如n＝3，那么－8除以3的余数为1，因为 -8＝-3×3+1 对于任意的整数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]＝{nz+i|z∈Z}，i=0，1，…，n-1 等价类的性质 定理7.14 设R是非空集合A上的等价关系，则 （1）?x∈A，[x]是A的非空子集。 （2）?x,y∈A，如果xRy，则[x]＝[y]。 （3）?x,y∈A，如果x,y?R，则[x]与[y]不交。 （4）∪{[x]|x∈A}＝A。 证明（1） 由等价类的定义可知， ?x∈A有[x]?A。 又由于等价关系的自反性有x∈[x]，即[x]非空。 定理7.14 （2）?x,y∈A，如果xRy，则[x]=[y]。 任取z，则有 z∈[x] ? x,z∈R ? z,x∈R (因为R是对称的) ? z,x∈R ∧ x,y∈R ? z,y∈R (因为R是传递的) ? y,z∈R (因为R是对称的) ? z∈[y]。 所以 [x]?[y]。 同理可证 [y]?[x]。 因此，[x]=[y]。 定理7.14 （3）?x,y∈A，如果x,y?R，则[x]与[y]不交。 假设 [x]∩[y]≠? ， 则存在 z∈[x]∩