第七章 二元关系精选PPT.ppt
《第七章 二元关系精选PPT.ppt》由会员分享,可在线阅读,更多相关《第七章 二元关系精选PPT.ppt(99页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第七章第七章二元关系二元关系1第1页,本讲稿共99页7.1有序对与笛卡儿积有序对与笛卡儿积定义定义7.1由两个元素由两个元素x 和和y,按照一定的顺序组成的二元组,按照一定的顺序组成的二元组称为称为有序对有序对(序偶序偶),记作,记作.有序对性质有序对性质:(1)有序性有序性(当(当x y时)时)(2)与与相等的充分必要条件是相等的充分必要条件是=x=u y=v.注:与二元集的区别注:与二元集的区别2第2页,本讲稿共99页例例 已知已知=,=,求求x x和和y.y.3第3页,本讲稿共99页笛卡儿积笛卡儿积定义定义7.2设设A,B为集合,为集合,A与与B的的笛卡儿积笛卡儿积记作记作A B,且,且
2、A B=|x A y B.例1A=1,2,3,B=a,b,c AB=,BA=,A=,B=P(A)A=,P(A)B=4第4页,本讲稿共99页笛卡儿积的性质笛卡儿积的性质(1)不适合交换律不适合交换律A B B A(A B,A,B)(2)不适合结合律不适合结合律(A B)C A(B C)(A,B,C)(3)对于并或交运算满足分配律对于并或交运算满足分配律A(B C)=(A B)(A C)(B C)A=(B A)(C A)A(B C)=(A B)(A C)(B C)A=(B A)(C A)(4)若若A 或或B 中有一个为空集,则中有一个为空集,则A B 就是空集就是空集.A=B=(5)若若|A|=m
3、,|B|=n,则则|A B|=mn(6)A CB DAB CD5第5页,本讲稿共99页性质证明性质证明证明证明A(B C)=(A B)(A C)证证任取任取A(BC)xAyBC xA(yByC)(xAyB)(xAyC)ABAC(AB)(AC)所以有所以有A(BC)=(AB)(AC).6第6页,本讲稿共99页性质性质6 6的逆命题不成立的逆命题不成立,分以下情况讨论分以下情况讨论.(1)(1)当当A=B=A=B=时时,显然有显然有A A C C和和B B D D成立成立.(2)(2)当当AA且且BB时时,也有也有A A C C和和B B D D成立成立,证明如下:证明如下:任取任取xA,xA,由
4、于由于B B,必存在必存在yB,yB,因此有因此有xAyBxAyBABABCDCDxCyD xCyD xCxC 从而证明了从而证明了A A C C.同理可证同理可证B B D.D.(3)(3)当当A=A=而而BB时时,有有A A C C成立成立,但不一定有但不一定有B B D D成立成立.反例:令反例:令A=A=,B=1,C=3,D=4.,B=1,C=3,D=4.(4)(4)当当AA而而B=B=时时,有有B B D D成立成立,但不一定有但不一定有A A C C成立成立.7第7页,本讲稿共99页实例实例例例2(1)证明证明A=B,C=D A C=B D(2)A C=B D是否推出是否推出A=B
5、,C=D?为什么?为什么?(3)AB=ACB=C(4)A-(BC)=(A-B)(A-C)(5)存在集合存在集合A,使得使得A AA解(1)任取ACxAyCxByDBD(2)不一定.反例如下:A=1,B=2,C=D=,则AC=BD但是A B.8第8页,本讲稿共99页解解 (3)(3)不一定为真不一定为真.当当A=A=,B=1,C=2,B=1,C=2时时,有有AB=AC,AB=AC,但但BC.BC.(4)(4)不一定为真不一定为真.当当A=B=1,C=2A=B=1,C=2时有时有 A-(BC)=1=1A-(BC)=1=1(A-B)(A-C)=(A-B)(A-C)=1=1=(5)(5)为真为真.当当
6、A=A=时有时有A A AA AA成立成立 9第9页,本讲稿共99页7.2 二元关系二元关系定义定义7.3如果一个集合满足以下条件之一:如果一个集合满足以下条件之一:(1)集合非空集合非空,且它的元素都是且它的元素都是有序对有序对(2)集合是空集集合是空集则称该集合为一个则称该集合为一个二元关系二元关系,简称为关系,记作简称为关系,记作R.如果如果R,可记作可记作xRy;如果;如果 R,则记作则记作xy实例:实例:R=,S=,a,b.R是二元关系是二元关系,当当a,b不是有序对时,不是有序对时,S不是二元关系不是二元关系根据上面的记法,可以写根据上面的记法,可以写1R2,aRb,a c等等.1
7、0第10页,本讲稿共99页A到到B的关系与的关系与A上的关系上的关系定义定义7.4设设A,B为集合为集合,AB的任何子集所定义的二元关系叫做的任何子集所定义的二元关系叫做从从A到到B的二元关系的二元关系,当当A=B时则叫做时则叫做A上的二元关系上的二元关系.例例3A=0,1,B=1,2,3,那么那么R1=,R2=AB,R3=,R4=R1,R2,R3,R4是从是从A 到到B 的二元关系的二元关系,R3和和R4也是也是A上的二元关系上的二元关系.计数计数:|A|=n,|AA|=n2,AA的子集有的子集有个个.所以所以A上有上有个不同的二元关系个不同的二元关系.例如例如|A|=3,则则A上有上有=5
8、12个不同的二元关系个不同的二元关系.11第11页,本讲稿共99页A上重要关系的实例上重要关系的实例定义定义7.5设设A 为集合为集合,(1)是是A上的关系,称为上的关系,称为空关系空关系(2)全域关系全域关系EA=|xAyA=AA 恒等关系恒等关系IA=|xA小于等于关系小于等于关系 LA=|x,yAxy,A为实数子集为实数子集 整除关系整除关系DB=|x,yBx整除整除y,A为非为非0整数子集整数子集 包含关系包含关系 R=|x,yAx y,A是集合族是集合族.12第12页,本讲稿共99页实例实例例如例如,A=1,2,则则EA=,IA=,例如例如A=1,2,3,B=a,b,则则LA=,DA
9、=,例如例如A=P(B)=,a,b,a,b,则则A上的包含关系是上的包含关系是R=,类似的还可以定义:类似的还可以定义:大于等于关系大于等于关系,小于关系小于关系,大于关系大于关系,真包含关系等真包含关系等.13第13页,本讲稿共99页关系的表示关系的表示1.关系矩阵关系矩阵若若A=x1,x2,xm,B=y1,y2,yn,R是从是从A到到B的的关系,关系,R的的关系矩阵关系矩阵是布尔矩阵是布尔矩阵MR=rijm n,其中其中rij=1 R.即即则则14第14页,本讲稿共99页关系的表示关系的表示2.关系图关系图若若A=x1,x2,xm,R是从是从A上的关系,上的关系,R的关系图是的关系图是GR
10、=,其中其中A为结点集,为结点集,E为边集为边集.如果如果属于属于关系关系R,在图中就有一条从,在图中就有一条从xi 到到xj 的的有向边有向边.注意:注意:l关系矩阵适合表示从关系矩阵适合表示从A到到B的关系或的关系或A上的关系(上的关系(A,B为有为有穷集)穷集)l关系图适合表示有穷集关系图适合表示有穷集A上的关系上的关系即即ExiRxj15第15页,本讲稿共99页实例实例例例4 A=1,2,3,4,R=,R的关系矩阵的关系矩阵MR和关系图和关系图GR如下:如下:16第16页,本讲稿共99页7.3关系的运算关系的运算*基本概念基本概念1.1.定义域、值域、域、逆关系定义域、值域、域、逆关系
11、 关系的基本运算有七种关系的基本运算有七种,分别定义如下:分别定义如下:定义定义7.6 7.6 设设R R是二元关系是二元关系.(1)R(1)R中所有的有序对的第一元素构成的集合称为中所有的有序对的第一元素构成的集合称为R R的定义域的定义域,记为记为domR.domR.形式化表示为:形式化表示为:domR=x|y(R)17第17页,本讲稿共99页(2)R(2)R中所有有序对的第二元素构成的集合称为中所有有序对的第二元素构成的集合称为R R的值域的值域,记作记作ranR.ranR.形式化表示为形式化表示为 ranR=y|ranR=y|x(R)x(R)(3)R(3)R的定义域和值域的并集称为的定
12、义域和值域的并集称为R R的域的域,记作记作fldR.fldR.形式化形式化表示为表示为 fldR=domRranRfldR=domRranR例例5 5 设设R=,R=,则则 domR=1,2,4 domR=1,2,4 ranR=2,3,4 ranR=2,3,4 fldR=1,2,3,4 fldR=1,2,3,47.3关系的运算关系的运算18第18页,本讲稿共99页关系运算关系运算(逆与合成逆与合成)定义定义7.7关系的关系的逆运逆运算算 R 1=|R 定义定义7.8关系的关系的合成合成运算运算 R S=|y(R S)例6R=,S=,R1=,RS=,SR=,19第19页,本讲稿共99页合成的图
13、示法合成的图示法利用图示(不是关系图)方法求合成利用图示(不是关系图)方法求合成R S=,S R=,20第20页,本讲稿共99页关系运算关系运算(限制与像限制与像)定义定义7.9设设R为二元关系为二元关系,A是集合是集合(1)R在在A上的上的限制限制记作记作 R A,其中其中R A=|xRyxA(2)A在在R下的下的像像记作记作RA,其中其中RA=ran(R A)说明:说明:lR在在A上的限制上的限制R A是是R 的子关系,即的子关系,即R A RlA在在R下的像下的像RA是是ranR 的子集,即的子集,即RA ranR21第21页,本讲稿共99页实例实例例例7设设R=,则则R 1=,R=R
14、2,3=,R1=2,3R=R3=222第22页,本讲稿共99页关系运算的性质关系运算的性质定理定理7.1设设F是任意的关系是任意的关系,则则(1)(F 1)1=F(2)domF 1=ranF,ranF 1=domF证证(1)任取任取,由逆的定义有由逆的定义有(F 1)1F 1F.所以有所以有(F 1)1=F.(2)任取任取x,xdomF 1 y(F 1)y(F)xranF所以有所以有domF 1=ranF.同理可证同理可证ranF 1=domF.23第23页,本讲稿共99页定理定理7.2设设F,G,H是任意的关系是任意的关系,则则(1)(F G)H=F(G H)(2)(F G)1=G 1 F
15、1关系运算的性质关系运算的性质证证(1)任取任取,(F G)H t(F GH)t(s(FG)H)t s(FGH)s(F t(GH)s(FG H)F(G H)所以所以(F G)H=F(G H)24第24页,本讲稿共99页证明证明(2)任取任取,(F G)1F G t(FG)t(G 1F 1)G 1 F 1所以所以(F G)1=G 1 F 125第25页,本讲稿共99页关系运算的性质关系运算的性质定理定理7.3设设R为为A上的关系上的关系,则则R IA=IA R=R证证任取任取R IA t(RIA)t(Rt=yyA)R26第26页,本讲稿共99页关系运算的性质关系运算的性质定理定理7.4(1)F(
16、G H)=F GF H (2)(GH)F=G FH F(3)F(GH)F GF H (4)(GH)F G FH F只证只证(3)任取任取,F(GH)t(FGH)t(FGH)t(FG)(FH)t(FG)t(FH)F GF HF GF H所以有所以有F(GH)=F GF H27第27页,本讲稿共99页推广推广定理定理7.4的结论可以推广到有限多个关系的结论可以推广到有限多个关系R(R1R2Rn)=R R1R R2R Rn(R1R2Rn)R=R1 RR2 RRn RR(R1R2Rn)R R1R R2R Rn(R1R2Rn)R R1 RR2 RRn R28第28页,本讲稿共99页关系运算的性质关系运算
17、的性质定理定理7.5设设F 为关系为关系,A,B为集合为集合,则则(1)F (AB)=F AF B(2)F AB=F AF B(3)F (AB)=F AF B(4)F AB F AF B29第29页,本讲稿共99页证明证明证证只证只证(1)和和(4).(1)任取任取F (AB)FxABF(xAxB)(FxA)(FxB)F AF BF AF B所以有所以有F (AB)=F AF B.30第30页,本讲稿共99页证明证明(4)任取任取y,yF AB x(FxAB)x(FxAxB)x(FxA)(FxB)x(FxA)x(FxB)yF AyF ByF AF B所以有所以有F AB=F AF B.31第3
18、1页,本讲稿共99页关系的幂运算关系的幂运算定义定义7.10设设R 为为A 上的关系上的关系,n为自然数为自然数,则则R 的的n 次幂次幂定义为:定义为:(1)R0=|xA=IA(2)Rn+1=Rn R注意:注意:l对于对于A上的任何关系上的任何关系R1和和R2都有都有R10=R20=IAl对于对于A上的任何关系上的任何关系R 都有都有R1=R32第32页,本讲稿共99页例例8设设A=a,b,c,d,R=,求求R的各次幂的各次幂,分别用矩阵和关系图表示分别用矩阵和关系图表示.解解 R 与与 R2的关系矩阵分别是:的关系矩阵分别是:幂的求法幂的求法33第33页,本讲稿共99页R3和和R4的矩的矩
19、阵阵是:是:因此因此M4=M2,即即R4=R2.因此可以得到因此可以得到R2=R4=R6=,R3=R5=R7=R0的关系矩阵是的关系矩阵是幂的求法幂的求法34第34页,本讲稿共99页关系图关系图R0,R1,R2,R3,的关系图如下图所示的关系图如下图所示.R0R1R2=R4=R3=R5=35第35页,本讲稿共99页幂运算的性质幂运算的性质定理定理7.6设设A 为为n 元集元集,R 是是A上的关系上的关系,则存在自然数则存在自然数s 和和t,使得使得Rs=Rt.证证R 为为A上的关系上的关系,由于由于|A|=n,A上的不同关系只有上的不同关系只有个个.列出列出R 的各次幂的各次幂 R0,R1,R
20、2,必存在自然数必存在自然数s 和和t 使得使得Rs=Rt 36第36页,本讲稿共99页定理定理7.7设设R 是是A上的关系上的关系,m,nN,则则(1)Rm Rn=Rm+n(2)(Rm)n=Rmn幂运算的性质幂运算的性质证证用归纳法用归纳法(1)对于任意给定的对于任意给定的mN,施归纳于施归纳于n.若若n=0,则有则有Rm R0=Rm IA=Rm=Rm+0 假设假设Rm Rn=Rm+n,则有则有Rm Rn+1=Rm (Rn R)=(Rm Rn)R=Rm+n+1,所以对一切所以对一切m,nN有有Rm Rn=Rm+n.37第37页,本讲稿共99页证明证明(2)对于任意给定的对于任意给定的mN,施
21、归纳于施归纳于n.若若n=0,则有则有(Rm)0=IA=R0=Rm0假设假设(Rm)n=Rmn,则有则有(Rm)n+1=(Rm)n Rm=(Rmn)Rn =Rmn+m=Rm(n+1)所以对一切所以对一切m,nN有有(Rm)n=Rmn.38第38页,本讲稿共99页定理定理7.8设设R是是A上的关系上的关系,若存在自然数若存在自然数s,t(st)使得使得Rs=Rt,则则(1)对对任何任何kN有有Rs+k=Rt+k(2)对对任何任何k,iN有有Rs+kp+i=Rs+i,其中其中p=t s(3)令令S=R0,R1,Rt 1,则对则对于任意的于任意的qN有有RqS幂运算的性质幂运算的性质证(1)Rs+k
22、=RsRk=Rt Rk=Rt+k(2)对k归纳.若k=0,则有Rs+0p+i=Rs+i假设Rs+kp+i=Rs+i,其中p=ts,则Rs+(k+1)p+i=Rs+kp+i+p=Rs+kp+iRp=Rs+iRp=Rs+p+i=Rs+ts+i=Rt+i=Rs+i由归纳法命题得证.39第39页,本讲稿共99页证明证明(3)任取任取 qN,若若 q t,显然有显然有 RqS,若若q t,则存在自然数则存在自然数 k 和和 i 使得使得 q=s+kp+i,其中其中0ip 1.于是于是Rq=Rs+kp+i=Rs+i 而而s+i s+p 1=s+t s 1=t 1从而从而证明了证明了RqS.40第40页,本
23、讲稿共99页7.4关系的性质关系的性质定义定义7.11设设R 为为A上的关系上的关系,(1)若若 x(xA R),则称则称R 在在A 上是上是自反自反的的.(2)若若 x(xA R),则称则称R 在在A 上是上是反自反反自反的的.实例:自反:全域关系EA,恒等关系IA,小于等于关系LA,整除关系DA反自反:实数集上的小于关系、幂集上的真包含关系.A=1,2,3,R1,R2,R3是A上的关系,其中 R1,R2,R3R2自反,R3反自反,R1既不是自反的也不是反自反的.41第41页,本讲稿共99页对称性与反对称性对称性与反对称性定义定义7.12设设R 为为A上的关系上的关系,(1)若若 x y(x
24、,yARR),则称则称R 为为A上上对对称称的关系的关系.(2)若若 x y(x,yARRx=y),则称则称R 为为A上的上的反对称反对称关系关系.实例:对称关系:A上的全域关系EA,恒等关系IA和空关系反对称关系:恒等关系IA和空关系也是A上的反对称关系.设A1,2,3,R1,R2,R3和R4都是A上的关系,其中 R1,,R2,R3,,R4,R1:对称和反对称;R2:只有对称;R3:只有反对称;R4:不对称、不反对称42第42页,本讲稿共99页传递性传递性定义定义7.13设设R为为A上的关系上的关系,若若 x y z(x,y,zARRR),则称则称R 是是A上的上的传递传递关系关系.实例:A
25、上的全域关系EA,恒等关系IA和空关系,小于等于和小于关系,整除关系,包含与真包含关系设A1,2,3,R1,R2,R3是A上的关系,其中 R1,R2,R3R1和R3是A上的传递关系,R2不是A上的传递关系.43第43页,本讲稿共99页关系性质成立的充要条件关系性质成立的充要条件定理定理7.9设设R为为A上的关系上的关系,则则(1)R 在在A上自反上自反当且仅当当且仅当 IA R(2)R 在在A上反自反上反自反当且仅当当且仅当 RIA=(3)R 在在A上对称上对称当且仅当当且仅当 R=R 1(4)R 在在A上反对称上反对称当且仅当当且仅当 RR 1 IA(5)R 在在A上传递上传递当且仅当当且仅
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第七章 二元关系精选PPT 第七 二元关系 精选 PPT
限制150内