离散数学讲义(第3章).pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学讲义(第3章)

关系是序偶的集合,由于序偶的有序,可以得到关系的一些特殊运算。 3-7 复合关系和逆关系(续) 定义:R为X到Y的二元关系,将R中每一序偶的元素顺序互换,所得到的集合称为R的逆关系,记作Rc Rc = {〈y,x〉| 〈x,y〉?R} 例如:集合I上的关系的逆关系为,集合X={1,2,3,4}到Y={a,b,c}上的关系R={〈1,a〉,〈2,b〉,〈3,c〉},则逆关系为 Rc={〈a,1〉,〈b,2〉,〈c,3〉} 注:显然(Rc)c =R 证明:〈x,y〉?R ?〈y,x〉?Rc ?〈x,y〉?(Rc)c 3-7 复合关系和逆关系(续) 定理:设R,R1,R2都是从A到B的二元关系,则: (R1 ∪ R2)c = R1c ∪ R2c (R1 ∩ R2)c = R1c ∩ R2c (A ? B)c = B ? A (R)c = Rc 其中R= A ? B-R (R1 - R2)c = R1c - R2c d) 〈x,y〉? (R)c 3-7 复合关系和逆关系(续) 证明: a) 〈x,y〉? (R1 ∪ R2)c ? 〈y,x〉? R1 ∪ R2 ? 〈y,x〉? R1 ?〈y,x〉? R2 ? 〈x,y〉? R1c ?〈x,y〉? R2c ? 〈x,y〉? R1c ∪ R2c ? 〈y,x〉? R ?〈y,x〉? R ? 〈x,y〉? Rc ?〈x,y〉? Rc e) R1 - R2 = R1 ∩ R2 因此(R1 - R2)c = (R1 ∩ R2)c = R1c ∩ (R2)c = R1c ∩ R2c = R1c - R2c 3-7 复合关系和逆关系(续) 定理:设T为从集合X到集合Y的关系,S为从集合Y到集合Z的关系,则(T ? S)c = Sc ? Tc。 证明:〈z,x〉? (T ? S)c ? 〈x,z〉? T ? S 定理:设R为X上的二元关系,则 R是对称当且仅当R=Rc R是反对称的当且仅当R ∩ Rc ? IX 证明:R对称,则〈x,y〉?R ?〈y,x〉?R ?〈x,y〉? Rc得证R=Rc;反之,若R=Rc ,则〈x,y〉? R ?〈y,x〉? Rc ? 〈y,x〉? R,因此可得R是对称的。 ? (?y)(y?Y ?〈x,y〉?T ?〈y,z〉?S) ? (?y)(y?Y ?〈y,x〉?Tc ?〈z,y〉?Sc) ? 〈z,x〉? Sc ? Tc 3-7 复合关系和逆关系(续) 例4:集合X={a,b,c},R是X上的二元关系,R的关系矩阵如下,求Rc和R ? Rc的关系矩阵。 解: 3-8 关系的闭包运算 定义:设R是X上的二元关系,若另有一个关系R’满足: a) R’是自反的(对称的,可传递的) b) R’ ? R c) 对于任何自反的(对称的,可传递的)关系R’’,如果有R’’ ? R,则有R’’ ? R’。 则称关系R’为R的自反(对称,传递)闭包。记作r(R),(s(R),t(R))。 注:自反(对称,传递)闭包是包含R的最小自反(对称,传递)关系。 3-8 关系的闭包运算(续) 定理:设R为集合X上的二元关系,则: a) R是自反的,当且仅当r(R)=R b) R是对称的,当且仅当s(R)=R c) R是传递的,当且仅当t(R)=R 证明: a) 若R为自反的,则由于R ? R,且对任何包含R的自反关系R’’,有R’’ ? R,因此R满足自反闭包的定义,即R=r(R)。 反之,若R=r(R),根据定义,则R必是自反的。 b) c)的证明类似。 3-8 关系的闭包运算(续) 定理:设R为集合X上的二元关系,则:r(R)=R ∪ IX 证明: 令R’ = R ∪ IX,任意给定x ? X,〈x,x〉 ? IX ,因此〈x,x〉 ? R’,即R’在X上是自反的。 又R ? R ∪ IX ,即R ? R’。若有自反关系R’’且R’’ ? R,显然R’’ ? IX ,于是 R’’ ? IX ∪ R=R’ 因此r(R)=R ∪ IX 自反闭包的求解公式 3-8 关系的闭包运算(续) 定理:设R为集合X上的二元关系,则:s(R)=R ∪ Rc 证明: 令R’ = R ∪ Rc,由R ? R ∪ Rc,即R’ ? R。又设〈x,y〉? R’,则〈x,y〉? R或〈x,y〉? Rc,即〈y,x〉? R或〈y,x〉? Rc,因此〈y,x〉? R ∪ Rc,即R’在X上是对称的。 设R’’是对称的,且R’’ ? R,对任意的〈x,y〉? R’,则〈x,y〉? R或〈x,y

文档评论(0)

xcs88858 + 关注
实名认证
文档贡献者

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

版权声明书
用户编号:8130065136000003

1亿VIP精品文档

相关文档