关系的闭包运算.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-8 关系的闭包运算 关系的闭包概念 闭 包 的 求 法 闭 包 的 闭 包 一、关系的闭包概念 引列:设A={1,2,3},R为A上的二元关系,R={1,2, 2,3, 3,1},求包含关系R且有自反性的新关系,这种关系是唯一的吗? 解:根据自反性的定义,可知A上的自反关系都包含恒等关系IA,所以含有R且有自反性的关系为: R1=R∪IA={1,1,2,2,3,3,1,2,2,3,3,1} 在R1上继续添加序偶,还可得到含有R且有自反性的关系:R2=R1∪{2,1},R3=R1∪{3,2},…… 其中: R1是满足“含有R且有自反性”要求的最小关系, R1就是关系R的自反闭包。 类似方法可得到对称闭包和传递闭包。 定义:R是非空集合A上的关系,若A另外有一个关系R’满足如下三条: 1)R’是自反的(对称的,传递的) 2)R?R’ 3)对A上任何一个满足以上两条的关系R’’,均有R’? R’’ 则称关系R’为R的自反(对称,传递)闭包,记作r(R),(s(R),t(R))。 自反(对称、传递)闭包是包含R的最小自反(对称、传递)关系。 例:设集合A={a,b,c},A上的关系R={a,a,a,b,b,c},求r(R),s(R),t(R) 解: 自反闭包r(R)={a,a,a,b,b,c,b,b,c,c} 对称闭包s(R)={a,a,a,b,b,a,b,c,c,b} 传递闭包t(R)={a,a,a,b,b,c,a,c} 关系图如下: 从关系图中可以看出: r(R):是在R的基础上添加自回路,使得每点均有自回路; s(R):是在R中两点间只有一条弧的情况下,再添一条反向弧,使两点间或是0条弧,或是两条弧,原来两点间没有弧不能添加; t(R):是在R中如结点a通过有向路能通到x,则添加一条从a到x的有向弧,其中包括如a能达到自身,则必须添从a到a的自回路。 例:R={a,b,b,a,b,c,c,d,d,e} 求t(R)。 R的关系图: 定理:设R是非空集合A上的关系,则 1)R是自反的充要条件是R=r(R) 2)R是对称的充要条件是R=s(R) 3)R是传递的充要条件是R=t(R) (证明略) 二、闭包的求法 定理:设R是非空集合A上的关系,则r(R)=R??A。 证明:R?R??A, IA?R??A , ∴R??A是自反的。满足定义中的前两条。 下面证对A上任何一个满足以上两条的关系R’’,均有R??A ? R’’。 设R”满足R?R”,且R”是自反的, ∴Ix?R’’ ∴R ? Ix?R’’,满足定义第三条。 ∴r(R)=R??A 定理:设R是非空集合A上的关系,则s(R)=R?R-1 证明:1)(R?R-1)-1 = R-1?(R-1)-1= R-1?R = R?R-1 ∴ R?R-1是对称的,满足定义的第1条; 2)显然R?R?R-1,满足定义第2条; 3)假设R”,使得R?R”且R”是对称的, ?a,b?R-1 ,则b,a?R, ∵R?R”,∴b,a?R”, 又∵R”对称,∴a,b?R”, ∴R-1?R” ∴R?R-1?R”,则满足定义第三条; ∴ s(R)= R?R-1 定理:设R是非空集合A上的关系,则 t(R)= Ri=R?R2?…= R+ (证明过程略) 1) 利用归纳法证明右?左; 2) 证明左?右,即证明右为传递的即可。 例:集合A={a,b,c},A上的关系R={a,b,b,c, c,a}求 r(R),s(R),t(R) 解: r(R)=R?IA={a,b,b,c,c,a,a,a,b,b, c,c} s(R)=R?Rc={a,b,b,c,c,a,b,a,c,b, a,c} R={a,b,b,c,c,a} R2={a,c,b,a,c,b} R3={a,a,b,b,c,c}=IA R4=R3 ? R =IA ? R=R R5= R4 ? R =R ? R=R2 继续算,可得以下规律 : R=R4=R7=…、 R2=R5=R8=…、 R3=R6=R9=… ∴ t(R)=R?R2?R3?... = R?R2?R3={a,b,b,c,c,a, a,c,b,a,c,ba,a,b,b,c,c} 推论:设R是非空有限集合A上的关系,|A|=n,则存在一个正整数k≤n,使得t(R)=R?R2?…?Rk 证明:由定理已知t(R)=R?R2?… ∴若x,y?t(R),则存在一个正整数m,使得x,y?Rm,满足该条件的m可能有多个,设最小的一个是k,∴若要证明本推论成立,只要证明k≤n即可。 (反证法)假设kn ∵ x,y?Rk ∴在A上一定存在一个序列a0,a1,…,ak,使得a0=x,ak=

文档评论(0)

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

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

1亿VIP精品文档

相关文档