离散数学-3-7 复合关系和逆关系.ppt_第1页
离散数学-3-7 复合关系和逆关系.ppt_第2页
离散数学-3-7 复合关系和逆关系.ppt_第3页
离散数学-3-7 复合关系和逆关系.ppt_第4页
离散数学-3-7 复合关系和逆关系.ppt_第5页
已阅读5页,还剩12页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、1,第三章 集合与关系,3-7 复合关系和逆关系 授课人:李朔 Email:,2,一关系的复合,二元关系是以序偶为元素的集合,可以进行集合运算,产生新的集合,本课介绍关系的一种新的运算,关系的复合。 定义3.7.1 设R为X到Y的关系,S为从Y到Z的关系,则RS称为R和S的复合关系,表示为 RSxXzZy(yYRS) 易见RS是从X到Z的关系。 *从R和S,求RS称为关系的合成运算。 合成运算由两个关系生成一个新的关系 *P114例如:R1是关系“是兄弟”,R2是关系“是父亲”,那么R1R2是关系“是的叔伯” 若R1是关系“是的父亲”,那么R1R2是关系“是的祖父”,3,一关系的复合,例题1:

2、R=,S=,则 RS=, SR=, (RS)R=? R(SR)=? SS= RR=, RRR=, 可以证明,关系的复合运算满足结合律,即: (RS)TR(ST) 故可记为 RST P115 例题2 *当R与自己复合时,记RRR2。 一般定义 Rn+1=RnR,4,一关系的复合,例:设X=0,1,2,3, 则 R=, R2=RR=? , R3= R2R =? , *关系可用矩阵表示,故复合关系亦可用矩阵表示。(类似矩阵乘法,但采用逻辑加)P115,5,例,例题3 A=1,2,3,4,5,A上的二元关系R和S定义如下: R=1,2,2,2,3,4 S=1,3,2,5,3,1,4,2 试求MR S和

3、MR MS,它们是否相等 ? 解:按照R 和S的定义,求出 RS=1,5,2,5 ,3,2 写出R 、S和R S关系矩阵如下: MR= MS= MR S=,6,例,MR MS= =,所以MR S=MR MS,7,二、关系的逆,关系是序偶的集合,由于序偶的有序性,关系还有一些特殊的运算。 P117 定义3.7.2 设R为X到y的二元关系,如将R中每一序偶的元素顺序互换,所得的集称为R的逆关系,记为Rc,即:Rc=R 例如:R=, 则 Rc =, 易见 (Rc)c = R 又如集合Z上,关系“”,8,二、关系的逆,P117 定理3.7.1 设R,S,T都是从A到B的二元关系,则 1)(ST)C=S

4、CTC 2)(ST)C =SCTC 3)(AB)C =BA 4)(R)C =RC (R=AB-R, RC=BA-RC) 5)(S-T)C =SCTC,9,二、关系的逆,证: 1)(ST)CST ST S C T c S C T C 4)(R) CR RR C (R) C 5)因STST,故 (S-T) C =( ST) C =S C (T) C =S C T C =S C -T C,10,二、关系的逆,P117 定理3.7.2 设T为从X到Y的关系,S为从Y到Z的关系,则(TS)CS CT C 证:(TS)C TS y(yYTS) y(yYT C S C) S CT C,11,二、关系的逆,定

5、理3.7.3 设R为X上的二元关系,则: 1)R是对称的,当且仅当RR C; 2)R是反对称的,当且仅当RR C IX。 证:1)R对称,故 RRR C, 故RR C 反之R CR,则 RR CR,即R对称。,12,二、关系的逆,定理3.7.3 设R为X上的二元关系,则: 1)R是对称的,当且仅当RR C; 2)R是反对称的,当且仅当RR C IX。 证:2)设R反对称 RR C 则 R且 R C 故有R x=y 即 IX RRC IX, 反之设RR C IX R且R 则 R C RR C 即有IX x=y R是反对称的。,13,二、关系的逆,*关于R C的图形,是R的图形中将其弧线的箭头反置即得,而R C的关系矩阵是R的关系矩阵的转置。 例:X=a, b, c其上二元关系R关系阵为 则R C的关系阵为,14,例,例 设X=1,2,3,4,Y=a,b,c,X到Y二元关系 R=1,a,2,b,4,c, 试求RC,写出MR和 ,验证 =MRT 画出R和RC的关系图,验证将R关系图中的弧线的箭头反置可得到RC关系图。 解:RC=a,1,b,2,c,4 R和RC的关系矩阵是:

温馨提示

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

评论

0/150

提交评论