- 1、本文档共19页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
3-8关系的闭包
3-8 关系的闭包
本节讲述关系的闭包运算。要求会求关系的自反(对称、传递)闭包。
现在来讨论另一种重要关系——闭包. 所谓闭包是指,对于给定的关系R和一种性质P, 则把包含R并且满足性质P的最小关系称为R对于P的闭包, 记为P(R). 若P是自反的, 则称R是自反闭包, 记为r(r), 若P是对称的,则称R是对称闭包, 记为s(R); 若P是传递的, 则称R是传递闭包,记为t(R).
也可形式地给出下面的定义和定理.
一、关系的闭包定义
定义3-8.1:设R是X上的二元关系,如果另外有一个关系R’满足:
(1)R’是自反的(对称的,传递的);
(2)R’?R;
(3)对于任何自反的(对称的,传递的)关系R’’,如果有R’’?R,就有R’’?R’。则称关系R’为R的自反(对称,传递)闭包。记作r(R),(s(R),t(R))
例:设集合X={x,y,z},X上的关系
R={x,x,x,y,y,z},则自反闭包
r(R)={x,x,x,y,y,z,y,y,z,z}
对称闭包
s(R)={x,x,x,y,y,z,y,x,z,y}
传递闭包
t(R)={x,x,x,y,y,z,x,z}
由闭包的定义可以知道,构造关系R的闭包方法就是向R中加入必要的有序对,使其具有所希望的性质。下面定理体现了这一点。
二、关系的性质与闭包的关系
1、定理3-8.1:设R是X上的二元关系,则
(1)R是自反的,当且仅当r(R)=R
(2)R是对称的,当且仅当s(R)=R
(3)R是传递的,当且仅当t(R)=R
证明 只证明①
①必要性: 令R为自反. 由于R?R, 并取右方R为S, 以及任何包含R的自反关系 T, 有S ?T, 可见R满足自反闭包定义, 即r(R) = R.
充分性: 由自反闭包定义R是自反的.
下面再给出关于闭包的三个构造性定理.
2、定理3-8.2:设R是集合X上的二元关系,则r(R)=R??x
证明:R?R??x,R??x是自反的,定义的前两条满足了。设R”满足R?R”,R”是自反的,
?x,y?R??x,则x,y?R或x,y??x。如果x,y?R则由R?R”,x,y?R”。如果x,y??x则必有x=y,即x,x??x,由R”的自反性,则x,y?R”,总之均有x,y?R”,所以R??X?R”,满足定义第三条。得r(R)=R??x。
对关系矩阵而言,r(R)的关系矩阵只要将MR的对角元置1即可。
3、定理3-8.3:设R是集合X上的二元关系,则s(R)=R?Rc。
证明:R?R?Rc满足定义第一条。
?x,y?R?Rc?x,y?R?x,y?Rc?y,x?Rc?y,x?R?y,x?R?Rc,所以R?Rc是对称的,满足定义的第二条。
如果R?R”,且R”是对称的,?x,y?R?Rc,则x,y?R或x,y?Rc,如x,y?R,由R?R”,则x,y?R”,如x,y?Rc则y,x?R则y,x?R”,又因R”对称,所以x,y?R”,所以R?Rc?R”,满足定义第三条。得s(R)=R?Rc。
4、定理3-8.4:设R是集合X上的二元关系,则
t(R)= R(i)=R?R(2)?R(3)?…
证明
首先证明 R? t(R). 用归纳法证明如下:
基础步: 根据传递闭包定义, R?t(R);
归纳步: 假设n≥1时Rn?t(R), 欲证Rn+1?t(R)令 x,y? X, 则:
x Rn+1y?x Rn * Ry
? (?z)(xRnz∧zRy)
? xRnz∧zRy
? xt(R)z∧zt(R)y
? xt(R)y
因此, Rn?t(R). 于是, Ri ?t(R).
次证t(R)? Ri, 由于包含 R的传递关系都包含t(R),且R ? Ri, 因此只需证明 Ri是传递即可. 令x, y, z ? X, 则
x( Ri)y∧y( Ri)z ? (?j)(xRjy) ∧(?k)(yRkz)
? xRjy∧yRkz
? xRjy * yRkz
? xRj+kz
? x( Ri)z
因此, Ri是传递的. 综上可知, t(R) = Ri.
例题1:设A={a,b,c},R是A上的二元关系,且给定R={a,b,b,c,c,a},求r(R),s(R),t(R)。
解:r(R)={a,b,b,c,c,a,a,a,b,b,c,c}
s(R)={a,b,b,a,b,c,c,b,c,a,a,c}
为了求t(R),先写出
0 1 0
MR= 0 0 1
您可能关注的文档
- (信息)毕业设计(论文)中期答辩分组-安徽建筑大学.doc
- (GPS)简介.doc-郭艳光.doc
- 0.解题报告范例(cata)-算法设计与分析.ppt
- 023310000数据结构课程考试说明.doc.doc
- 05资讯安全-攻击.ppt
- 06年《线性代数与几何》(下)第1次课-北京大学力学系.ppt
- 051230@52RD_实验5低噪声放大器的设计制作与调试.ppt-微波EDA网.ppt
- 07.图形结构.doc.doc
- 06图02-数据结构课程教学网站.ppt
- 09-3-9离散命题逻辑3.doc.doc
- 第十一章 电流和电路专题特训二 实物图与电路图的互画 教学设计 2024-2025学年鲁科版物理九年级上册.docx
- 人教版七年级上册信息技术6.3加工音频素材 教学设计.docx
- 5.1自然地理环境的整体性 说课教案 (1).docx
- 4.1 夯实法治基础 教学设计-2023-2024学年统编版九年级道德与法治上册.docx
- 3.1 光的色彩 颜色 电子教案 2023-2024学年苏科版为了八年级上学期.docx
- 小学体育与健康 四年级下册健康教育 教案.docx
- 2024-2025学年初中数学九年级下册北京课改版(2024)教学设计合集.docx
- 2024-2025学年初中科学七年级下册浙教版(2024)教学设计合集.docx
- 2024-2025学年小学信息技术(信息科技)六年级下册浙摄影版(2013)教学设计合集.docx
- 2024-2025学年小学美术二年级下册人美版(常锐伦、欧京海)教学设计合集.docx
文档评论(0)