lecture关系的运算.pptVIP

* 问：已经学过的关系的运算有哪一些？ 1）集合的运算：有一类运算：广义并，广义交，幂集，绝对补；和二类运算：并，交，相对补，对称差。 2）关系特有的运算：有domR、ranR、fldR、R-1、R〇A F G和 R[A]。 为了使集合表达式更为简洁，我们进一步规定：本节所定义的关系运算中逆运算优先于其它运算，而所有的关系运算都优先于集合运算，对于没有优先权的运算以括号决定运算顺序。 定理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, x∈domF-1??y(x,y∈F-1) ??y(y,x∈F)?x∈ranF 所以有domF-1=ranF。 定理7.2 设F，G，H是任意的关系，则(1)(FoG)oH=Fo(GoH)(2)(FoG)-1=F-1oG-1 证 (1)任取x,y,x,y∈(FoG)oH ?? t(x,t∈FoG∧(t,y)∈H) ?? t(?s(x,s∈F∧s,t∈G)∧t,y∈H) ?? t?s(x,s∈F∧s,t∈G∧t,y∈H) ?? s(x,s∈F∧?t(s,t∈G∧t,y∈H)) ?? s(x,s∈F∧s,y∈GoH) ? x,y∈F(GoH)所以(FoG)H=F(GoH) （2）任取x,y,x,y∈(FoG)-1 ? y,x∈FoG ?? t(y,t∈F∧(t,x)∈G) ?? t(x,t∈G-1∧(t,y)∈F-1) ? x,y∈G-1oF-1所以（FoG）-1=F-1oG-1。 定理7.3 设R为A上的关系，则RoIA=IAoR=R 证任取x,yx,y∈RoIA ?? t(x,t∈R∧(t,y)∈IA) ?? t(x,t∈R∧t=y) = x,y∈R x,y∈R = x,y∈R∧y∈A = x,y∈R∧y,y∈IA = x,y∈RoIA 综合上述有RoIA=R。 定理7.4 设F，G，H是任意关系，则(1) Fo(G∪H)=FoG∪FoH(2) (G∪H)oF=GoF∪HoF(3) Fo(G∩H)?FoG∩FoH(4) (G∩H)oF?GoF∩HoF 证 (3) 任取x,y,x,y∈Fo(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∈FoG∧x,y∈FoH ? x,y∈FoG∩FoH 所以有F(G∩H)FG∩FH。 由数学归纳法不难证明定理7.4的结论对于有限多个关系的并和交也是成立的，即有 Ro(R1∪R2∪…∪Rn)=RoR1∪RoR2∪…∪RoRn (R1∪R2∪…∪Rn)oR=R1oR∪R2oR∪…∪RnoRRo(R1∩R2∩…∩Rn)?RoR1∩RoR2∩…∩RoRn (R1∩R2∩…∩Rn)oR?R1oR∩R2oR∩…∩RnoR 定理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] 证 (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次幂定义为：（1） R0={x,x|x∈A}=IA（2） Rn+1=RnoR 由以上定义可知，对于A上的任何关系R1和R2都有R10=R20=IA 也就是说，A上任何关系的0次幂都相等，都等于A上的恒等关系IA。 此外对于