离散数学07二元的关系.ppt

例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.9 (4)的证明 （4） R在A上反对称当且仅当 R∩R-1 ? IA 必要性。 任取x,y，有 x,y∈R∩R-1 ? x,y∈R ∧ x,y∈R-1 ? x,y∈R ∧ y,x∈R ? x＝y (R是反对称的) ? x,y∈IA 所以 R∩R-1 ?IA 充分性。 任取x,y, 则有  x,y∈R ∧ y,x∈R ? x,y∈R ∧ x,y∈R-1 ? x,y∈R∩R-1 ? x,y∈IA (R∩R-1 ?IA) ? x＝y 所以 R在A上是反对称的。 定理7.9 (5)的证明 （5） R在A上传递当且仅当 R?R?R 必要性。任取x,y，有 x,y∈R?R ? ?t(x,t∈R∧t,y∈R) ? x,y∈R(因为R在A上是传递的) 所以 R?R?R。 充分性。任取x,y,y,z∈R，则  x,y∈R∧y,z∈R ? x,z∈R?R ? x,z∈R (因为R?R?R) 所以 R在A上是传递的。 例7.13 例7.13 设A是集合，R1和R2是A上的关系，证明： (1)若R1，R2是自反的和对称的，则R1∪R2也是自反的和对称的。 (2)若R1和R2是传递的，则R1∩R2也是传递的。 例7.13 (1)的证明 (1)若R1，R2是自反的和对称的，则R1∪R2也是自反的和对称的。 证明 由于R1和R2是A上的自反关系，故有 IA ? R1 和 IA ? R2 从而得到 IA ? R1∪R2。 根据定理7.9可知 R1∪R2在A上是自反的。 再由R1和R2的对称性有 R1＝R1-1 和 R2＝R2-1 根据练习七第18题的结果有 (R1∪R2)-1＝R1-1∪R2-1＝R1∪R2 从而证明了R1∪R2也是A上对称的关系。 例7.13 (2)的证明 (2)若R1和R2是传递的，则R1∩R2也是传递的。 证明 由R1和R2的传递性有 R1 ? R1 ? R1 和 R2 ? R2 ? R2 再使用定理7.4得 (R1∩R2)?(R1∩R2) ? R1 ? R1∩R1 ? R2∩R2 ? R1∩R2 ? R2  ?(R1∩R2)∩R1 ? R2∩R2 ? R1 (将前面的包含式代入) ? R1∩R2 从而证明了R1∩R2也是A上的传递关系。 关系性质的特点 自反性 反自反性 对称性 反对称性 传递性 集合表达式 IA ? R R∩IA＝? R＝R-1 R∩R-1 ? IA