- 1、本文档共37页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
复合关系和逆关系.ppt
3-7 复合关系和逆关系 3-7.1复合关系 定义1[复合 (合成)(composite)关系]: 设R为X到Y的关系,S为从Y到Z上的关系,则R°S称为R和S的复合关系,表示为: R°S={ x,z| x?X?z?Z?(?y)(y?Y?x,y?R?y,z?S)}. 3-7.2逆关系 定义2[逆(inverse)关系] : 设R是X到Y的二元关系,则从Y到X的二元关系Rc定义为: Rc = {y,x|x,y?R}. 整数集合上的“”关系的逆关系是“”关系。 人群中的父子关系的逆关系是子父关系。 容易看出(Rc) c=R 例1: 设 R={ a,b, c,d }, S={ b,e,d,c }. 求: (1)Rc ,Sc. (2) R°S, S°R 解: (1) Rc = {b,a,d,c} Sc = {e,b,c,d}. (2) R°S={a,e ,c,c} S°R={d,d}. 例2:(书上的例题2,第115页) 定理1: 设R1,R2,R3为关系, R1 是X到Y的关系, R2是Y到Z的关系, R3是Z到W的关系则(R1°R2)°R3 = R1° (R2° R3). 证明: ?x,w, x,w?(R1 °R2) °R3 ? ?z(z?Z ? x (R1°R2)z ? zR3w ) ? ?z(z?Z ? ?y(y?Y ? xR1y ?yR2z ) ?zR3w) ? ?z?y(z?Z ? y?Y ? xR1y ?yR2z ?zR3w) ? ?yt?z(z?Z ? y?Y ? xR1y ?(yR2z ?zR3w) ) ? ?y(y?Y ? xR1y ??z(z?Z ? yR2z ?zR3w)) ? ?y(y?Y ? xR1y? y(R2°R3)w ) ? xR1°(R2°R3)w ? x,w?R1°(R2°R3) ? (R1°R2) °R3 = R1°(R2 ° R3). # 说明: 本定理说明复合运算满足结合律. 由复合关系满足结合律,可以把关系R本身所组成的复合关系写成: R°R, R°R°R,?, R°R°?°R(m个), 分别记作 R(2), R(3), ?, R(m)。 可以证明复合关系不满足交换律。 R1°R2? R2°R1 7-3.3关系矩阵的性质: (1) MRc = (MR)T. ( T表示矩阵转置) (2) MR1 ° R2 = MR1?MR2 (?表示布尔乘法, 其中加法使用逻辑?, 乘法使用逻辑? ) 3-7.4逆关系关系图的性质: 关系 Rc 的图形是将关系R图形中弧的箭头方向反置。 定理2: 设R、 R1 、 R2都是从A到B的二元关系,则有 (1)( R1? R2) c= R1 c ? R2 c (2) ( R1?R2) c= R1 c ? R2 c (3)(A×B) c= B ×A (4)(~R) c = ~ Rc, 这里~R =A×B-R (5) ( R1-R2) c = R1 c - R2 c 注:证明(1)(4)(5)见书117页。 定理3: 设R,S为二元关系, 则(R°S)c =S c °Rc. 证明: ?x,y, x,y?(R°S)c ? y,x?(R°S) ? ?z( yRz ? zSx ) ? ?z( zRcy ? xScz ) ? ?z( xScz ? zRcy) ? x,y?Sc °Rc. 定理4:设R为X上的二元关系,则 (1) R是对称的?R=Rc(证明见书118页) (2) 是反对称的?R?Rc ? IX 定理5:[P119 (2)]设R为X上的二元关系,则 (1) R是传递的? (R°R) ?R (2) R是自反的? IX ?R 例题: 设 A={a,b,c}, R1={a,a,a,b,b,a,b,c}, R2={a,b,a,c,b,c}, 用MR1, MR2确定MR1c , MR2c, MR1°R1, MR1°R2, MR2°R1, 从而求出它们的集合表达式. 1 1 0 1 1 0 MR1= 1 0 1 MR1c= 1 0 0 0 0 0 0 1 0 0 1 1 0 0
文档评论(0)