ch43关系的逆、合成以及幂运算.ppt

设R是集合A上的二元关系，若有自然数i,j使得Ri=Rj,则 (1)对任何自然数k,有Ri+k=Rj+k; (2)对任何自然数k,有Ri+md+k=Rj+md+k;(m=j-i) (3)对任何自然数n，Rn∈ {R0 ,R1,R2,…,Rj-1} 证明： (1)Ri+k=RiRk=RjRk=Rj+k (2)(归纳法) m=0时，Ri+0+k=Ri+k; 假设m=t-1时成立，则m=t时， Ri+t(j-i)+k=Ri+(t-1)(j-i)+kR(j-i)=Ri+kRj-i=Ri+k+j-i=Rk+j=Ri+k; 所以结论成立。 (3)对任何自然数n，若nj,则结论成立； 当n=j时，则n-i=j-i0， 所以有m=0，使n-i=md+k(0=kd)，n=i+md+k, 所以由（2）Rn=Ri+md+k=Ri+k,而0=i+ki+j-i=j, 故Rn∈ {R0 ,R1,R2,…,Rj-1} ，结论成立。 在R2的关系图上，有一条a到b的弧，则在R的关系图上有a到b有一条长度为2的路径。 在Rn的关系图形，有一条a到b的弧，则在R的关系图上从a到b有一条长度为n的路径。 依次计算关系R的幂时，若R的j次幂与已计算出的R的i次幂相等，则已计算出R的所有自然数次幂。 计算有限集上的关系的所有自然数次幂的过程总会终止。 定义：设R和S是集合A到B上的两个二元关系，则R∪S，R∩S，R-S，R均是A到B上二元关系： ① x(R∪S)y?xRy?xSy ② x(R∩S)y?xRy?xSy ③ x(R-S)y?xRy?xSy ④ xRy ?xRy 关系交、并、差、补运算定义 例1．设R1={x,y｜x,y?R2 ?x2+y2≤9} R2={x,y｜x,y?R2?(1≤x≤3) ?(0≤y≤3)} R3={x,y｜x,y?R2?(x2+y2) ≤4} R1∪R2 X Y R3 R2 R1 返回关系运算定义2 R1∩R3 2 x y 返回关系运算定义2 例1．设R1={x,y｜x,y?R2 ?x2+y2≤9} R2={x,y｜x,y?R2?(1≤x≤3) ?(0≤y≤3)} R3={x,y｜x,y?R2?(x2+y2) ≤4} R1-R3 x y 返回关系运算定义2 例1．设R1={x,y｜x,y?R2 ?x2+y2≤9} R2={x,y｜x,y?R2?(1≤x≤3) ?(0≤y≤3)} R3={x,y｜x,y?R2?(x2+y2) ≤4} R3 返回关系运算定义2 R3={x,y｜x,y?R2?(x2+y2) ≤4} 2 用关系矩阵表达关系运算后的新关系 ① MR∪S=MR∨MS 其中MR∨MS [i,j] =MR [i,j] ∨MS [i,j] ② MR∩S=MR∧MS 其中MR [i,j] ∧MS [i,j] =MR [i,j] ∧MS [i,j] ③ MR=┐[MR] 其中(┐[MR]) [i,j] = ┐MR [i,j] ④ MR-S=MR∩MS 其中(MR∩MS) [i,j] = MR [i,j] ∧(┐MS [i,j]) 用关系矩阵表达关系运算 1. 逆关系的定义 2. 逆关系的一些性质 逆关系 定义 设R是集合A到B的二元关系，则R的逆是B到A的二元关系，记为 Rc 。 Rc ={y,x|x,y?R} 逆关系的定义 例1.整数集上的 ‘’ 关系的逆是 ‘’ 关系 集合族上的 ‘?’ 关系的逆是 ‘?’ 空关系的逆是空关系 A?B的全域关系的逆是B?A的全域关系 例2 .A={0,1,2,3} ,R?A×A R={0,0,0,3,3,2,1,3}, 则 Rc ?A×A , Rc ={〈0，0〉，〈3，0〉，〈2，3〉,〈3，1〉} 注 ： （1）xRy?yRcx （2）转置R 的关系矩阵的行和列，即得Rc的关系矩阵。 （3）颠倒R的关系图中每条弧的箭头方向，即得Rc的关系图. 设R,R1,R2是A到B的关系，则 a） (Rc)c=R b） (R1∪R2)c=R1c∪R2c c） (R1∩R2) c =R1 c∩ R2 c d） (R) c = ( Rc ), R=A?B-R 即R的补的逆等于逆的补 e） (R1-R2) c =R1 c -R2 c f） R1?R2?R1 c? R2 c 定理4.3.1 逆关系的一些性质 证：(a） a,b?R?b,a?Rc ?a