离散数学-2015第四章二元关系2nd zhou.pptxVIP

第四章 二元关系回顾关系的定义和性质关系的表示方法关系图关系矩阵关系的运算关系的合成关系合成的规则关系的幂/45/45三、合成关系的求逆运算例：给定关系矩阵MR和MS。则：关系运算的性质定理7.3 设R为A上的关系, 则 R?IA= IA?R=R证:任取x,y x,y∈R?IA ? ?t (x,t∈R∧t,y∈IA) ? ?t (x,t∈R∧t=y∧y∈A) ? x,y∈R关系运算的性质定理7.4 (1) F?(G?H) = F?G∪F?H (2) (G∪H)?F = G?F∪H?F (3) F?(G∩H) ? F?G∩F?H(4) (G∩H)?F ? G?F∩H?F只证 (3) 任取x,y, x,y∈F?(G∩H) ? ?t (x,t∈F∧t,y∈G∩H) ? ?t (x,t∈F∧t,y∈G∧t,y∈H) ? ?t ((x,t∈F∧t,y∈G)∧(x,t∈F∧t,y∈H)) ? ?t (x,t∈F∧t,y∈G)∧?t (x,t∈F∧t,y∈H) ? x,y∈F?G∧x,y∈F?H ? x,y∈F?G∩F?H所以有 F?(G∩H) ? F?G∩F?H 推广定理7.4 的结论可以推广到有限多个关系 R?(R1∪R2∪…∪Rn) = R?R1∪R?R2∪…∪R?Rn (R1∪R2∪…∪Rn)?R = R1?R∪R2?R∪…∪Rn?R R?(R1∩R2∩ … ∩Rn) ? R?R1∩R?R2∩ … ∩R?Rn (R1∩R2∩ … ∩Rn)?R ? R1?R∩R2?R∩ … ∩Rn?R 关系运算的性质定理7.5 设F 为关系, A, B为集合, 则(1) F ?(A∪B) = F ?A∪F ?B(2) F [A∪B] = F [A]∪F [B](3) F ?(A∩B) = F ?A∩F ?B(4) F [A∩B] ? F [A]∩F [B]证明证 只证 (1) 和 (4). (1) 任取x,y x,y∈F ?(A∪B) ? x,y∈F∧x∈A∪B ? x,y∈F∧(x∈A∨x∈B) ? (x,y∈F∧x∈A)∨(x,y∈F∧x∈B) ? x,y∈F ?A∨x,y∈F ?B ? x,y∈F ?A∪F ?B 所以有F ?(A∪B) = F ?A∪F ?B. 证明(4) 任取y, y∈F [A∩B]? ?x (x,y∈F∧x∈A∩B)? ?x (x,y∈F∧x∈A∧x∈B)? ?x ((x,y∈F∧x∈A)∧(x,y∈F∧x∈B))? ?x (x,y∈F∧x∈A)∧?x (x,y∈F∧x∈B)? y∈F [A]∧y∈F [B]? y∈F [A]∩F [B]所以有F [A∩B]=F [A]∩F [B]. 关系的幂运算定义7.10设 R 为 A 上的关系, n为自然数, 则 R 的 n 次幂（Power）定义为：(1) R0 = { x,x | x∈A } = IA(2) Rn+1 = Rn?R注意：对于A上的任何关系 R1 和 R2 都有 R10 = R20 = IA 对于A上的任何关系 R 都有 R1 = R幂的求法例 8 设A = {a,b,c,d}, R = {a,b,b,a,b,c,c,d}, 求R的各次幂, 分别用矩阵和关系图表示. 解 R 与 R2的关系矩阵分别是：幂的求法R3和R4的矩阵是：因此M4=M2, 即R4=R2. 因此可以得到 R2=R4=R6=…， R3=R5=R7=…R0的关系矩阵是关系图R0, R1, R2, R3,…的关系图如下图所示. R1R0R2=R4=…R3=R5=…证 R 为A上的关系, 由于|A|=n, A上的不同关系只有 个. 列出 R 的各次幂 R0, R1, R2, … , , …, 必存在自然数 s 和 t 使得 Rs = Rt 幂运算的性质定理7.6 设 A 为 n 元集, R 是A上的关系, 则存在自然数 s 和 t, 使得 Rs = Rt.幂运算的性质定理7.7 设 R 是 A上的关系, m, n∈N, 则 (1) Rm?Rn = Rm+n(2) (Rm)n = Rmn 证 用归纳法(1) 对于任意给定的m∈N, 施归纳于n.若n=0, 则有 Rm?R0 = Rm?IA = Rm = Rm+0 假设 Rm?Rn = Rm+n, 则有 Rm?Rn+1 = Rm ?(Rn ?R) = (Rm ?Rn)?R = Rm+n+1 , 所以对一切m,n∈N 有 Rm?Rn = Rm+n. 证明(2) 对于任意给定的m∈N, 施归纳于n.若n=0, 则有 (Rm)0 = IA = R0 = Rm×0 假设 (Rm)n = Rmn, 则有 (Rm)n+1 = (Rm)n?Rm = (Rmn)?Rm = Rmn+m = Rm(n+1