离散数学(集合论)课件.ppt

关系的基本运算定义 定义域、值域 和 域 domR = { x | ?y (x,y?R) } ranR = { y | ?x (x,y?R) } fldR = domR ? ranR 例1 R={1,2,1,3,2,4,4,3}, 则 domR={1, 2, 4} ranR={2, 3, 4} fldR={1, 2, 3, 4} 关系的基本运算定义（续） 逆与合成 R?1 = {y,x | x,y?R} R°S = {x,y | ? z (x,z?S?z,y?R) } 例2 R={1,2, 2,3, 1,4, 2,2} S={1,1, 1,3, 2,3, 3,2, 3,3} R?1={2,1, 3,2, 4,1, 2,2} R°S = {1,2, 1,4, 3,2, 3,3} S°R= {1,3, 2,2, 2,3} 限制与像 定义 F 在A上的限制 F?A = {x,y | xFy ? x?A} A 在F下的像 F[A] = ran(F?A) 实例 R={1,2, 2,3, 1,4, 2,2} R?{1}={1,2,1,4} R[{1}]={2,4} R[{1,2}]={2,3,4} 注意：F?A?F, F[A] ?ranF 关系基本运算的性质 定理1 设F是任意的关系, 则 (1) (F?1)?1=F (2) domF?1=ranF, ranF?1=domF 定理2 设F, G, H是任意的关系, 则 (1) (F°G)°H=F°(G°H) (2) (F°G)?1= G?1°F?1 关系基本运算的性质（续） A上关系的幂运算 设R为A上的关系, n为自然数, 则 R 的 n次幂定义为： (1) R0={x,x | x∈A }=IA (2) Rn+1 = Rn°R 幂的求法 对于集合表示的关系R，计算 Rn 就是n个R右复合 . 矩阵表示就是n个矩阵相乘, 其中相加采用逻辑加. 例3 设A={a,b,c,d}, R={a,b,b,a,b,c,c,d}, 求R的各次幂, 分别用矩阵和关系图表示. 解 R与R2的关系矩阵分别为 同理，R0=IA, R3和R4的矩阵分别是： 因此M4=M2, 即R4=R2. 因此可以得到R2=R4=R6=…, R3=R5=R7=… 幂的求法（续） R0, R1, R2, R3,…的关系图如下图所示 幂的求法（续） 定理4 设 R 是 A 上的关系, m, n∈N, 则 (1) Rm°Rn=Rm+n (2) (Rm)n=Rmn 幂运算的性质（续） 内容提纲 集合的笛卡尔积与二元关系 关系的运算 关系的性质 关系的闭包 等价关系和偏序关系 函数的定义和性质 函数的复合和反函数 4.3 关系的性质 自反性 反自反性 对称性 反对称性 传递性 定义 自反性 反自反性 对称性 反对称性 传递性 定义 ?x?A,有x,x?R ?x?A,有x,x?R 若x,y?R 则y,x?R 若x,y?R,且x?y, 则y,x? R 若x,y?R 且y,z?R 则x,z?R 关系矩阵特点 主对角线的元素全为1 主对角线的元素全为0 矩阵为对称矩阵 如果rij=1, 且x?y 则rji =0 关系图特点 图中每个节点都有环 图中每个节点都没有环 如果两个顶点之间有边,一定是一对方向相反的边. 如果两个顶点之间有边,一定是一条有向边. 如果xi到xj有边，xj到xk有边，则xi到xk一定有边． 关系性质判别  自反 反自反 对称 反对称 传递 表达式 IA?R R∩IA=? R=R?1 R∩R?1? IA R?R?R 实例 例1 A={1,2,3}, R1, R2, R3是A上的关系, 其中 R1＝{1,1,2,2} R2＝{1,1,2,2,3,3,1,2} R3＝{1,3} R1既不是自反也不是反自反的 R2自反, R3反自反, 实例 例2 设A＝{1,2,3}, R1, R2, R3和R4都是A上的关系, 其中 R1＝{1,1,2,2}， R2＝{1,1,1,2,2,1} R3＝{1,2,1,3}， R4＝{1,2,2,1,1,3} R1 对称、反对称. R2