第四章二元关系和函数精选文档.ppt
《第四章二元关系和函数精选文档.ppt》由会员分享,可在线阅读,更多相关《第四章二元关系和函数精选文档.ppt(52页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第四章二元关系和函数本讲稿第一页,共五十二页4.1 4.1 集合的笛卡儿积与二元关系集合的笛卡儿积与二元关系一一.集合的笛卡儿积集合的笛卡儿积1.定义:设A,B为集合,则A和B的笛卡儿积为 AB=|xAyB 其中叫做有序对或序偶;例如:A=a,b,B=0,1,2,则 AB=,BA=,说明:如果A中有m个元素,B中有n个元素,则AB和BA中都有m*n个元素;若AB,则有 xA且yB 若 AB,则有 x A或y B本讲稿第二页,共五十二页2.性质:B=A=若 AB且A,B,则ABBA 若A,B,C,则(AB)CA(BC)A(BC)=(AB)(AC)(BC)A=(BA)(CA)A(BC)=(AB)(
2、AC)(BC)A=(BA)(CA)证明:A(BC)xAyBCxA(yByC)(xAyB)(xAyC)ABAC(AB)(AC)所以,A(BC)=(AB)(AC)本讲稿第三页,共五十二页例4.1 设A=1,2,求P(A)A解:P(A)A=,1,2,1,21,2=,;例4.2 设 A,B,C,D为任意集合,判断以下等式是否成立,说明为什麽?(1)(AB)(CD)=(AC)(BD)(2)(AB)(CD)=(AC)(BD)(3)(A-B)(C-D)=(AC)-(BD)(4)(AB)(CD)=(AC)(BD)本讲稿第四页,共五十二页解:(1)成立:(AB)(CD)xAByCD (xAxB)(yCyD)(x
3、AyC)(xByD)AC BD(AC)(BD)(2)不成立:若A=D=,B=C=1 则(AB)(CD)=BC=而(AC)(BD)=(C)(D)=(3)不成立:若A=B=1,C=2,D=则(A-B)(C-D)=C=而(AC)-(BD)=-=(4)不成立:若A=B=1,C=2,D=则(AB)(CD)=2=而(AC)(BD)=本讲稿第五页,共五十二页例4.3 设A,B,C,D为任意集合,判断以下命题的真假.(1)若 AC 且 BD,则ABCD (2)若 ABCD,则AC 且 BD解:(1)为真:ABxAyBxCyD CD (2)为假:若A=C=D=,B=1;则ABCD 但BD 3.n个(n2)集合的
4、笛卡儿积 A1A2An=|x1A1,x2A2,xnAn 当A1=A2=An=A时,An=|xiA,i=1,2,n本讲稿第六页,共五十二页二二.二元关系二元关系1.定义:若R=|x,yA;则R为A的二元关系,记作xRy,否则xRy 注)若|A|=n,则|AA|=n2,|P(AA)|=所以A上有 不同的二元关系,其中有3种特殊关系:空关系,全域关系EA和恒等关系IA.全域关系EA=x,y|xA yA=AA 恒等关系IA=x,x|xA例如:,则 EA=,IA=,本讲稿第七页,共五十二页小于等于关系:LA=|x,yA xy整除关系:DB=|x,yB x|y例如:A=4,0.5,-1,B=1,2,3,6
5、 则LA=,DB=,例:4.4 设A=a,b,R是P(A)上的包含关系 R=|x,yP(A)xy 则有P(A)=,a,b,A R=,本讲稿第八页,共五十二页2.二元关系的矩阵表示法和图表示法 设A=1,2,3,4,R=,关系矩阵关系图本讲稿第九页,共五十二页4.2 4.2 关系的运算关系的运算一一.关系的定义域关系的定义域.值域和域值域和域定义域:dom R=x|y(R)值域:ran R=y|x(R)域:fld R=domRranR例4.5 下列关系都是整数集Z上的关系,分别求他们的定义域和值域(1)R1=|x,yZ xy(2)R2=|x,yZ x2+y2=1(3)R3=|x,yZ y=2x(
6、4)R4=|x,yZ|x|=|y|=3本讲稿第十页,共五十二页解:(1)domR1=ranR1=Z (2)R2=,domR2=ranR2=0,-1,1 (3)domR3=Z,ranR3=2x|xZ (4)domR4=ranR4=-3,3图示本讲稿第十一页,共五十二页二二.关系运算关系运算F的逆:F-1=|xFyF与G的合成:FoG=|z(xGz zFy)F在A上的限制:FA=|xFy xAA在F下的像:FA=ran(FA)本讲稿第十二页,共五十二页例4.6设F,G是N上的关系,其定义为 F=|x,yN y=x2 G=|x,yN y=x+1 求G-1,FoG,GoF,F1,2,F1,2 解:G-
7、1=|x,yN y=x-1 (or G-1=|x,yN x=y-1)G-1=,FoG=|x,yN y=(x+1)2 GoF=|x,yN y=x2+1 F1,2=,F1,2=ran(F1,2)=1,4本讲稿第十三页,共五十二页例4.7 设F=,求FoF,Fa,Fa 解:FoF=Fa=Fa=ran(Fa)=a 三三.关系运算的性质关系运算的性质定理1:设F,G,H是任意的关系,则有 (1)(F-1)-1=F (2)domF-1=ranF,ranF-1=domF (3)(FoG)oH=Fo(GoH)(4)(FoG)-1=G-1oF-1本讲稿第十四页,共五十二页证明:(4)(FoG)-1 FoG z(
8、G F)z(G-1 F-1)z(F-1 G-1)G-1oF-1 所以(FoG)-1=G-1oF-1定理2:设F,G,H为任意的关系,则有 (1)Fo(GH)=FoGFoH (2)Fo(GH)FoGFoH (3)(GH)oF=GoFHoF (4)(GH)oFGoFHoF本讲稿第十五页,共五十二页证明:(1)Fo(GH)z(GH F)z(GH)F)z(GF)(HF)z(GF)z(HF)FoG FoHFoGFoH所以 Fo(GH)=FoGFoH(2)Fo(GH)z(GH F)z(G F)FoG所以 Fo(GH)FoG 同理可证Fo(GH)FoH故Fo(GH)FoGFoH本讲稿第十六页,共五十二页四四
9、.关系运算的幂关系运算的幂设R为A上的关系,n为自然数,则R的n次幂规定如下:(1)R0=|xA(R0=IA是A上的恒等关系)(2)Rn=Rn-1oR,n1例4.8 设A=a,b,c,d,R=,求R0,R1,R2,R3,R4和R5解:关系运算:R0=,R1=,R2=R1oR1=,R3=R2oR1=,R4=R3oR1=,R5=R4oR1=,本讲稿第十七页,共五十二页关系图法=,R1=,=,=,本讲稿第十八页,共五十二页关系矩阵R0=,R1=,R2=R1oR1=,R3=R2oR1=,本讲稿第十九页,共五十二页定理3:设R为A上的关系,m,n是自然数,则下面的等式成立:(1)RmRn=R m+n (
10、2)(Rm)n=Rm n本讲稿第二十页,共五十二页4.3 4.3 关系的性质关系的性质一一.关系的定义和性质关系的定义和性质:设设R R是是A A上的关系上的关系,则有则有本讲稿第二十一页,共五十二页例如:设 A=1,2,3 令 R1=,R2=,R3=,R4=,R5=,R6=R7=,则R1是自反的,反对称的;R2是反自反的,对称的;R3既是对称的,又是反对称的;R4是对称的;R5是反自反的,反对称的;R6既是对称的,又是反对称的;R7是反自反的.本讲稿第二十二页,共五十二页例4.9 试判断图中的关系性质解:(1)是对称的 (2)是反自反的,反对称的;(3)是自反的,反对称的;本讲稿第二十三页,
11、共五十二页二二.关系运算的性质关系运算的性质设R1,R2为A上的对称关系,可证R1R2也是A上的对称关系.证明:R1R2R1R2 R1 R2R1R2设R1,R2为A上反对称关系,但R1R2不一定是A上的反对称关系例如:A=x1,x2,R1=,R2=;R1R2=,本讲稿第二十四页,共五十二页4.4 4.4 关系的闭包关系的闭包定义:设R是非空集合A上的关系,R的自反闭包(对称闭包或传递闭包)是A上的R,且R满足以下条件:(1)R是自反的(对称的或传递的)(2)RR (3)对A上的任何包含R的自反关系(对称或传递关系)R”都有RR”一般:将R的自反闭包,记作r(R);对称闭包,记作s(R);传递闭
12、包,记作t(R);定理:设R为非空集合A上的关系,则有 (1)r(R)=RR0 (2)s(R)=RR-1 (3)t(R)=RR2R3本讲稿第二十五页,共五十二页例4.10 设A=a,b,c,d,R=,求R和r(R),s(R),t(R)关系运算,关系图和关系矩阵解:关系运算:r(R)=RR0=,(,=,s(R)=RR-1=,R2=RoR=,R3=R2oR=,R4=R3oR=,R5=R3;t(R)=RR2R3=,本讲稿第二十六页,共五十二页关系图本讲稿第二十七页,共五十二页关系矩阵Mr=M+E;Ms=M+M;Mt=M+M2+M3+本讲稿第二十八页,共五十二页4.5 4.5 等价关系和偏序关系等价关
13、系和偏序关系一一.等价关系等价关系1.等价关系 定义:设R为非空集合A上的关系,如果R是自反的,对称的和传递的,则R为A上的等价关系.对x,yA,若R,则记作xy例4.11 A=1,2,8,R=|x,yAxy(mod 3)其中xy(mod 3)是x-y可以被3整除.解:R1=,R2=,R3=,R=R1R2R3本讲稿第二十九页,共五十二页2.等价类定义:设R是非空集合A上的等价关系,对xA,令xR=y|yA xRy则称xR为x关于R的等价类,简称为x的等价类,简记为x.例如:例4.11有 1=4=7=1,4,7 2=5=8=2,5,8 3=6=3,6定理(等价类的性质):设R是非空集合A上的等价
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第四 二元关系 函数 精选 文档
限制150内