关系闭包.docVIP

  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文档。上传文档
查看更多
关系闭包

HYPERLINK /lisanshuxue/index.htm 首 页 HYPERLINK /lisanshuxue/kechengjianjie.htm 课程简介 HYPERLINK /lisanshuxue/jiaoshijianjie.htm 教师简介 HYPERLINK /lisanshuxue/jiaoxuedagang.htm 教学大纲 HYPERLINK /lisanshuxue/jiaoxuejihua.htm 教学计划 HYPERLINK /lisanshuxue/xuexifangfa.htm 学习方法 第三章 第1节 HYPERLINK /lisanshuxue/neirong/3_1.htm 集合的概念和表示法 第2节 HYPERLINK /lisanshuxue/neirong/3_2.htm 集合的运算 第3节 HYPERLINK /lisanshuxue/neirong/3_3.htm 包含排斥原理 第4节 HYPERLINK /lisanshuxue/neirong/3_4.htm 序偶与笛卡尔积 第5节 HYPERLINK /lisanshuxue/neirong/3_5.htm 关系其及表示 第6节 HYPERLINK /lisanshuxue/neirong/3_6.htm 关系的性质 第7节 HYPERLINK /lisanshuxue/neirong/3_7.htm 复合关系和逆关系 第8节 关系的闭包运算 第9节 HYPERLINK /lisanshuxue/neirong/3_9.htm 集合的划分与覆盖 第10节 HYPERLINK /lisanshuxue/neirong/3_10.htm 等价关系与等价类 第11节 HYPERLINK /lisanshuxue/neirong/3_11.htm 相容关系 第12节 HYPERLINK /lisanshuxue/neirong/3_12.htm 序关系 第8节 关系的闭包运算 1 自反、对称和传递闭包 上面所讲的关系的合成和关系的逆都可以构成新的关系。我们还可对给定的关系用扩充一些序偶的办法得到具有某些特殊性质的新关系,这就是闭包运算。 定义3-8.1 设R是X上的二元关系,如果有另一个关系R,满足: a)R′是自反的(对称的,可传递的); b)R′R; c)对于任何自反的对称的,可传递的关系R″,如果有R″R,就有RR′。则称关系R′为R的自反对称,传递闭包。记作 r(R),(s(R),t(R),) 对于X上的二元关系R,我们能够用扩充序偶的方法来形成它的自反(对称,传递)闭包,但必须注意,自反(对称,传递)闭包应是包含R的最小自反(对称,传递)关系。 2 闭包的性质及求法 定理3-8.1 设R是X上的二元关系,那么 a)R是自反的,当且仅当r(R)=R b)R是对称的,当且仅当s(R)=R c)R是传递的,当且仅当c(R)=R 证明 a )如果R是自反的;因为RR,且任何包含R的自反关系R″,有R″R,故R就满足自反闭包的定义,即 r(R)=R 反之,如果r(R)=R,根据定义3-8.1a ),R必是自反的。 b)和c)的证明完全类似。 下面几个定理介绍了由给定关系R,求,r(R),s(R)和t(R)的方法。 定理3-8.2 设R是集合X上的二元关系,则 r(R) =R∪Ix 证明 令R′=R∪Ix,对任意x∈X,因为有x,x∈Ix,故x,x∈R′,,于是R′在X上是自反的。 又 RR∪Ix 即RR′。若有自反关系R″,且R″R,显然有R″Ix,于是 R″Ix∪R=R′,故 r(R) =R∪Ix 定理3-8.3 设R是集合X上的二元关系,则 s(R)=R∪Rc 证明 令R′=R∪R,因为RR∪R,即R′R,又设x,g∈R′,则x,y∈R或x,y∈R,即y,x∈R或y,x∈R,故y,x∈R∪R,所以R′是对称的。 设R″是对称的且R″R,对任意x,y∈R′,则x,y∈R或x,y∈R。当x,y∈R则x,y∈R″,当x,y∈R时,y,x∈R,y,x∈R″,因为R″对称,所以x,y∈R″,因此R′R″,故 s(R)=R∪Rc 定理3-8.4 设R是X上的二元关系,则 证明 a)先证用归纳法。 (1) 根据传递闭包定义Rt(R) 例题1 设A={a,b,c},R是A且的二元关系,且给定R={a,b,b,c,c,a},求r(R),s(R),t(R)。 解 t(R)=R∪IA={a,b,b,c,c,a},a,a,b,b,c,c} s(R)=R∪R={{a,b,b,a,b,c,c,b,c,a,a,c} 为了求得t(R),先写出 从例题1中看到给定X上关系R求t(R

文档评论(0)

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

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

1亿VIP精品文档

相关文档