3_78复合关系逆关系及闭包.ppt

  1. 1、本文档共37页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
3_78复合关系逆关系及闭包

3-7 复合关系和逆关系;3-7.2逆关系;例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). # 说明: 本定理说明复合运算满足结合律. ; ;7-3.3关系矩阵的性质:;3-7.4逆关系关系图的性质:;定理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 MR2= 0 0 1 MR2c= 1 0 0 0 0 0 1 1 0 0 1 1 MR1?R2 =MR1? MR2= 0 1 1 0 0 0 R1°R2 = {a,b,a,c,b,b,b,c}.; 1 1 0 1 1 0 1 1 1 MR1?R1 =MR1? MR1= 1 0 1 ? 1 0 1 = 1 1 0 0 0 0 0 0 0 0 0 0 R1°R1 = {a,a,a,b,a,c,b,a,b,b}. 0 1 1 1 1 0 1 0 1 MR2?

您可能关注的文档

文档评论(0)

wuyoujun92 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档