第四节 二元关系1.pptVIP

关系运算的性质 定理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,…的关系图如下图所示. R0 R1 R2=R4=… R3=R5=… 幂运算的性质 定理7.6 设 A 为 n 元集, R 是A上的关系, 则存在自然数 s 和 t, 使得 Rs = Rt. 证 R 为A上的关系, 由于|A|=n, A上的不同关系只有 个. 列出 R 的各次幂 R0, R1, R2, … , , …, 必存在自然数 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) 所以对一切m,n∈N 有 (Rm)n = Rmn. 定理7.8 设R 是A上的关系, 若存在自然数 s, t (st) 使得 Rs=Rt, 则 (1) 对任何 k∈N有 Rs+k = Rt+k (2) 对任何 k, i∈N有 Rs+kp+i = Rs+i, 其中 p = t?s (3) 令S = {R0,R1,…,Rt?1}, 则对于任意的 q∈N 有Rq∈S 幂运算的性质 证 (1) Rs+k = Rs?Rk = Rt ?Rk = Rt+k (2) 对k归纳. 若k=0, 则有Rs+0p+i = Rs+i 假设 Rs+kp+i = Rs+i, 其中p = t?s, 则 Rs+(k+1)p+i = Rs+kp+i+p = Rs+kp