集合论与图论2.2.docVIP

2.3 关系的运算 *关系的运算有七种,分别列出如下: 定义7.6: 设R是二元关系. R中所有有序对的第一个元素构成的集合称为R的定义域, 记作domR. domR={x | y(x,y∈R)} R中所有有序对的第二个元素构成的集合称为R的值域,记作ranR. ranR={y | x(x,y∈R)}. R的定义域和值域的并集称为R的域,记作fldR. 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} 定义7.7:设R为二元关系,R的逆关系,简称R的逆,记作R-1,定义为R-1={x,y|y,x∈R}. 定义7.8:设F,G为二元关系,G对F的右复合,记做FG,定义为FG={x,y|t(x,t∈F∧t,y∈G)} . 例2:设F={3,3,6,2}, G={2,3},则 F-1={3,3,2,6} FG={6,3} GF={2,3}. *左复合: FG={x,y|t(x,t∈G∧t,y∈F)} *有些书上用左复合,但右复合比较直观,本书用右复合. 定义7.9:设R为二元关系,A是集合 R在A上的限制,记作R|A,定义为 R|A={x,y|xRy∧x∈A} A在R下的像,记作R[A],定义为 R[A]=ran(R|A) *R|A是R的子关系,R[A]是ranR的子集. 例3:设R={1,2,1,3,2,2,2,4,3,2},则 R|{1}={1,2,1,3} R|φ=φ R|{2,3}={2,2,2,4,3,2} R[{1}]={2,3} R[φ]=φ R[{3}]={2} . *关系运算的优先级: 逆运算 关系的其它运算 集合运算 先括号里后括号外 同级运算从左到右 例子: ranF-1, FG∪FH, ran(F|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. 同理可证ranF-1 = domF. 定理7.2:设F,G,H是任意的关系,则 (1)(FG)H=F(GH) (2)(FG)-1=G-1F-1 证明:(1)任取x,y, x,y∈(FG)H t(x,t∈FG∧t,y∈H) t(s(x,s∈F∧s,t∈G)∧t,y∈H) ts(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∈GH) x,y∈F(GH) 所以(FG)H=F(GH). 的另一种证明:对任意x,y∈(FG)H,则存在t使得 x,t∈FG且t,y∈H.又由x,t∈FG,有s使得x,s ∈F且s,t∈G.由s,t∈G和t,y∈H,有s,y∈GH, 再由x,s∈F,有x,y∈F(GH). 故(FG)HF(GH). 对任意x,y∈F(GH),存在s,使得x,s∈F且s,y∈ GH.再由s,y∈GH,存在t,使得s,t∈G且t,y∈H.由 x,s∈F和s,t∈G,有x,t∈FG,再由t,y∈H,有 x,y∈(FG)H.故(FG)HF(GH). 因此(FG)H=F(GH). 任取x,y, x,y∈(FG)-1 y,x∈FG t(y,t∈F∧t,x∈G) t(t,y∈F-1∧x,t∈G-1) t(x,t∈G-1∧t,y∈F-1) x,y∈G-1F-1 . 定理7.3:设R是A上的关系,则 RIA = IAR = R . 证明:任取x,y, x,y∈RIA 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∈RIA 从而有RIA=R.同理可证IAR=R . 定理7.4:设F,G,H为任意关系,则 F(G∪H)=(FG)∪(FH) (G∪H)F=(GF)∪(HF) F(G∩H)FG∩FH (G∩H)FGF∩HF . 证明:只证(3)式.任取x,y, x,y∈F(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∈FG∧x,y∈FH x,y∈FG∩FH . 定理7.5:设F为关系,A,B为集合,则 F|(A∪B)=F|A∪F|B F[A∪B]=F[A]∪F[B]