4-2 二元关系与函数 离散数学 教学课件.pptVIP

* 对于集合表示的关系R，计算 Rn 就是n个R左复合 . 矩阵表示就是n个矩阵相乘, 其中相加采用逻辑加. * 对于集合表示的关系R，计算 Rn 就是n个R左复合 . 矩阵表示就是n个矩阵相乘, 其中相加采用逻辑加. * 对于集合表示的关系R，计算 Rn 就是n个R左复合 . 矩阵表示就是n个矩阵相乘, 其中相加采用逻辑加. * 对于集合表示的关系R，计算 Rn 就是n个R左复合 . 矩阵表示就是n个矩阵相乘, 其中相加采用逻辑加. * 第4章 二元关系与函数 4.1 集合的笛卡儿积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数 关系基本运算的性质 定理1 设F是任意的关系, 则 (1) (F?1)?1=F (2) domF?1=ranF, ranF?1=domF 证 (1) 任取x,y, 由逆的定义有 x, y∈(F ?1)?1 ? y,x∈F?1 ? x,y∈F 所以有 (F?1)?1=F (2) ?x∈domF?1 ? ?y(x,y∈F?1) ? ?y(y,x∈F) ? x∈ranF  所以有domF?1= ranF. 同理可证: ranF ?1 = domF F?1 = {y,x | x,y?F } domR = { x | ?y (x,y?R) } ranR = { y | ?x (x,y?R) } 定理1 设F, G, H是任意的关系, 则 (3) (F°G)°H=F°(G°H) (4) (F°G)?1= G?1°F?1 证 (3) 任取x,y, x,y?(F°G)°H ? ?t (x,t∈H∧ t,y∈ F°G) ? ?t (x,t∈H∧?s(t,s∈G∧s,y∈F)) ? ?t ?s(x,t∈H ∧t,s∈G∧s,y∈F) ? ?s (?t(x,t∈H∧t,s∈G)∧s,y∈F) ? ?s (x,s∈G°H ∧s,y∈F) ? x,y∈F°(G°H) 所以 (F°G)°H = F°(G°H) 关系基本运算的性质（续） F°G = |x,y | ?z (x,z?G?z,y?F) } 关系基本运算的性质（续） 设F、G、H为任意的关系，则有 (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) 注意： 复合运算对并运算是可分配的. 复合运算对交运算是不可分配的. A上关系的幂运算 设R为A上的关系, n为自然数, 则 R 的 n次幂定义为： (1) R0={x, x | x∈A }=IA（恒等关系） (2) Rn+1 = Rn°R （n≥1） 注意： 对于A上的任何关系R1和R2都有 R10 = R20 = IA 对于A上的任何关系 R 都有 R1 = R0° R =R 幂的求法 [P85例4.8] 设A={a,b,c,d }, R={a,b,b,a,b,c,c,d}, 求R0,R1,R2,R3,R4,R5。 解：R0=IA，其关系矩阵和关系图分别为 幂的求法 设A={a,b,c,d}, R={a,b,b,a,b,c,c,d} 求R0,R1,R2,R3,R4,R5。 解：R1 = R，其关系矩阵和关系图为 幂的求法 设A={a,b,c,d}, R={a,b,b,a,b,c,c,d} 解：R2 = R°R ，关系矩阵为 关系图 幂的求法 设A={a,b,c,d}, R={a,b,b,a,b,c,c,d} 解：R3 = R2°R ，其关系矩阵为 关系图 同理， R4 = R3°R =R2， R5=R4 ° R=R3 还可以得到—— R2=R4=R6=…, R3=R5=R7=… 幂的求法（续） 说明：对于有限集A和A上的关系R，R的不同的幂只