《关系及其运算》PPT课件

上传人:xt****7 文档编号:176277088 上传时间:2022-12-21 格式:PPT 页数:43 大小:639.50KB
收藏 版权申诉 举报 下载
《关系及其运算》PPT课件_第1页
第1页 / 共43页
《关系及其运算》PPT课件_第2页
第2页 / 共43页
《关系及其运算》PPT课件_第3页
第3页 / 共43页
资源描述:

《《关系及其运算》PPT课件》由会员分享,可在线阅读,更多相关《《关系及其运算》PPT课件(43页珍藏版)》请在装配图网上搜索。

1、关系及其运算关系及其运算离散数学集合论南京大学计算机科学与技术系回顾回顾l集合的基本概念l集合及其描述l集合相等、子集关系l幂集、笛卡尔乘积l集合运算l交并补、广义交、广义并l集合恒等式l集合相关命题的证明方式提要提要l关系的定义l关系的表示l关系的运算l0-1矩阵运算l关系的性质有序对(有序对(Ordered pair)l(a,b)是集合a,a,b的简写l次序的体现l(x,y)=(u,v)iff x=u 且 y=v若x,x,y=u,u,v,则x=u或x=u,v,因此x=u。假设yv(1)若x=y,左边=x,而vx,右边x;(2)若xy,则必有x,y=u,v,但y既非u,又非v,矛盾。笛卡尔乘

2、积(笛卡尔乘积(Cartesian Product)l对任意集合A,B笛卡尔积 AB=(a,b)|aA,bBl例:1,2,3a,b=(1,a),(3,a),(3,a),(1,b),(2,b),(3,b)l若A,B是有限集合,|AB|=|A|B|例题例题lA=1,2,(A)A=?l|A|=m,|B|=n,|AB|=?(二元)关系的定义(二元)关系的定义l若A,B是集合,从A到B的一个关系是AB的一个子集.l集合,可以是空集l集合的元素是有序对l关系意味着什么?l两类对象之间建立起来的联系!从从A到到B的二元关系的二元关系l笛卡尔乘积的子集l“从A到B的关系”R;RABl若A=B:称为“集合A上的

3、(二元)关系”l例子l常用的数学关系:不大于、整除、集合包含等 l网页链接、文章引用、相互认识特殊的二元关系特殊的二元关系 l集合A上的空关系:空关系即空集l全域关系 EA:EA=(x,y)|x,yA l恒等关系 IA:IA=(x,x)|xA 函数是一种特殊的关系函数是一种特殊的关系 l函数 f:ABlR=(x,f(x)|xA 是一个从A到B的一个关系关系的表示关系的表示 假设A=a,b,c,d,B=,/假设为有限集合l集合表示:R1=(a,),(b,),(c,),(c,)0-1矩阵 有向图000101001010abcd adcb AB二元关系和有向图二元关系和有向图关系 RABA和B是集合

4、有序对集合(x,y)R若A=B,R中存在序列:(x1,x2),(x2,x3),(xn-1,xn)有向图(VD,ED)顶点集 VD=AB有向边集ED从x到y有一条边图D中存在从 x1 到 xn 的长度为 n-1的通路关系的运算(关系的运算(1)l关系是集合,所有的集合运算对关系均适用l例子:l自然数集合上:“”“=”等同于 “”l自然数集合上:“”“”等同于“=”l自然数集合上:“”等同于关系的运算(关系的运算(2)l与定义域和值域有关的运算ldom R=x|y(x,y)Rlran R=y|x(x,y)Rlfld R=dom R ran RlR A=(x,y)|xA xRy RlRA=y|x(x

5、A (x,y)R)=ran(RA)ranRl例:A=1,2,3,4,5,B=1,3,5,6,A上关系R:R=(1,2),(1,4),(2,3),(3,5),(5,2),求 RB、RB、R(1)和R(2)关系的运算(关系的运算(3)l逆运算lR-1=(x,y)|(y,x)Rl注意:如果R是从A到B的关系,则R-1是从B到A的。l(R-1)-1=Rl例子:(R1R2)-1=R1-1R2-1 l(x,y)(R1R2)-1 (y,x)(R1R2)l(y,x)R1 或(y,x)R2 l(x,y)R1-1 或(x,y)R2-1关系的关系的运算(运算(4)l关系的复合(合成,Composition)设 R1

6、AB,R2BC,R1与R2的复合(合成),记为 R2 R1,定义如下:R2 R1=(a,c)AC|bB(a,b)R1(b,c)R2)复合关系的图示复合关系的图示l(a,c)R2 R1 当且仅当 aA,cC,且存在bB,使得(a,b)R1,(b,c)R2abcR1R2关系的复合运算:举例关系的复合运算:举例l设A=a,b,c,d,R1,R2为A上的关系,其中:R1=(a,a),(a,b),(b,d)R2=(a,d),(b,c),(b,d),(c,b)则:R2 R1=(a,d),(a,c),(a,d)R1 R2=(c,d)R12=(a,a),(a,b),(a,d)关系的复合运算的性质(关系的复合运

7、算的性质(1)l结合律l给定R1AB,R2BC,R3CD,则:(R3 R2)R1=R3 (R2 R1)l证明左右两个集合相等.关系的复合运算的性质(关系的复合运算的性质(2)l复合关系的逆关系l给定R1AB,R2BC,则:(R2 R1)-1=R1-1 R2-1 l同样,证明左右两个集合相等l(x,y)(R2 R1)-1 (y,x)R2 R1 tB (y,t)R1 (t,x)R2)tB(t,y)R1-1(x,t)R2-1)(x,y)R2-1 R1-1 关系的复合运算的性质(关系的复合运算的性质(3)l对集合并运算满足分配律l给定FAB,GBC,HBC,则:(GH)F=(G F)(H F)l对集合

8、交运算:(G H)F (G F)(H F)l注意:等号不成立。A=a,B=s,t,C=b;F=(a,s),(a,t),G=(s,b),H=(t,b);GH=,(G F)(H F)=(a,b)0-1 矩阵运算矩阵运算l令0-1矩阵M1=aij,M2=bij:lC=M1 M2:cij=1 iff.aij=bij=1lC=M1 M2:cij=1 iff.aij=1或bij=1l令rs矩阵M1=aij;st矩阵M2=bij:lC=M1 M2:cij=1 iff.11011011110110101010001110)11(kjikbak关系运算的矩阵关系运算的矩阵法(法(1)l命题2121RRRRMMM

9、2121RRRRMMM2112RRRRMMM11011011110110101010001110证明:111),(,1MMDMCMBMA;:;:2112RRR1R2RR212121ijkjikjkkikjijidbaRzyRyxYyRRzxcZYRYXR有,令令factors)(have we,set finite aon relation a and,2For nMMMMARnRRRRn2112RRRRMMM关系的性质:自反性关系的性质:自反性 reflexivityl集合A上的关系 R 是:l自反的 reflexive:定义为:对所有的 aA,(a,a)Rl反自反的 irreflexive

10、:定义为:对所有的aA,(a,a)R注意区分”非”与”反”l设 A=1,2,3,RAAl(1,1),(1,3),(2,2),(2,1),(3,3)是自反的l(1,2),(2,3),(3,1)是反自反的l(1,2),(2,2),(2,3),(3,1)既不是自反的,也不是反自反的自反性与恒等关系自反性与恒等关系lR 是 A 上的自反关系 IAR,这里IA是集合A上的恒等关系,即:IA=(a,a)|aA 直接根据定义证明:l 只需证明:对任意(a,b),若(a,b)IA,则(a,b)Rl 只需证明:对任意的a,若aA,则(a,a)R自反关系的有向图和自反关系的有向图和0-1矩阵矩阵abcA=a,b,

11、c110111001RM关系的性质:对称性关系的性质:对称性 Symmetryl集合A上的关系R是:l对称的 symmetric:定义为:若(a,b)R,则(b,a)Rl反对称的 anti-:定义为:若(a,b)R 且(b,a)R,则a=bl设 A=1,2,3,RAAl(1,1),(1,2),(1,3),(2,1),(3,1),(3,3)是对称的l(1,2),(2,3),(2,2),(3,1)是反对称的理解对称性理解对称性l关系R满足对称性:对任意(a,b),若(a,b)R,则(b,a)Rl注意:是对称关系。l反对称并不是对称的否定:(令:A=1,2,3,RAA)l(1,1),(2,2)既是对

12、称的,也是反对称的l是对称关系,也是反对称关系。),(,RRabRbaba是对称的关系对称性与逆关系对称性与逆关系lR 是集合A上的对称关系 R-1=R l证明一个集合等式R-1=R l若(a,b)R-1,则(b,a)R,由R的对称性可知(a,b)R,因此:R-1R;同理可得:RR-1;l 只需证明:对任意的(a,b)若(a,b)R,则(b,a)R对称关系的对称关系的有向图和有向图和0-1矩阵矩阵110101011RMabcA=a,b,c关系的性质:传递性关系的性质:传递性 transitivityl集合A上的关系R是l传递的 transitive:若(a,b)R,(b,c)R,则(a,c)R

13、l设 A=1,2,3,RAAl(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,3)传递的l(1,2),(2,3),(3,1)是非传递的l(1,3)?l?),(),(),)(,(RRcaRcbRbacba是传递关系关系传递性与关系的乘幂传递性与关系的乘幂 l关系的复合(乘)运算满足结合律,可以用 Rn 表示R R R (n是正整数)l命题:(a,b)Rn 当且仅当:存在t1,t2,tn-1A,满足:(a,t1),(t1,t2),(tn-2,tn-1),(tn-1,b)R。l对n=1用数学归纳法:n=1,trivial.奠基n=2,直接由关系复合的定义可得;归纳基于:

14、Rn=Rn-1 Rl集合A上的关系R是传递关系 R2Rl必要性:任取(a,b)R2,根据上述命题以及R的传递性可得(a,b)Rl充分性:若(a,b)R,(b,c)R,则(a,c)R2,由R2R可得:(a,c)R,则 R是传递关系传递关系的有向图和传递关系的有向图和0-1矩阵矩阵abcA=a,b,c110111101RM一些常用关系的性质一些常用关系的性质=|-1|3|-1|。s s不是反对称的,如不是反对称的,如-3|2|-3|2|,2|-3|2|-3|,但,但-32-32。s s不是可传递的,不是可传递的,100|-101|100|-101|,-101|2|-101|2|,但,但100|2|100|2|习题举例一习题举例一小结小结l关系:笛卡尔积的子集l关系的运算l集合运算;复合运算;逆l0-1矩阵运算l关系的性质lreflexivity,ir-;symmetry,anti-;transitivity l图特征;矩阵特征作业作业l教材内容:、8.1 节 节l课后习题:lp.88(英文教材 p.120):30 lpp.404-405(英文教材 pp.528-529):25,30,37,39,43lpp.41-417:14,32,34

展开阅读全文
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!