- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
二元关系 4.1二元关系基本概念 (重点) 4.2 关系的运算 4.3 关系的性质 (重点) 4.4 关系的闭包 4.5 等价关系和偏序关系 (重点及难点) 4.6 函数的基本概念 关系的闭包 引例 集合S={1,2,3,4},S上的关系 R={1,2, 4,3, 2,2, 2,1, 3,1}。 说明R是不可传递的。找出关系R ?R1,使得R1是可传递的。还能找出另一个R ?R2, R2也是可传递的吗?如何找到一个R ? R? , 使得 R? 具有传递性且最小? 关系的闭包 自反闭包 对称闭包 传递闭包 重点: 闭包的构造方法 传递闭包的应用 关系的闭包 定义: 1.自反闭包——r(R) 设 R的是集合A上的关系,其自反闭包是A上的关系R? ,且R? 满足: (1) 自反性; (2) R ? R?; (3) 对A上的任意关系R?? , 若R??也满足自反性,且也包含R,则R? ? R?? 2.对称闭包s(R)和传递闭包t(R)可类似定义。 关系的闭包是向原关系中添加最少元素,使其具有特定的性质 关系闭包的构造 设R是集合A上的二元关系,则: (1)r(R)=R∪IA。 (2)s(R)=R∪R-1。 (3)t(R)=,若|A|=n,则t(R)=。 例1 集合S={1,2,3,4},S上的关系 R={1,2, 4,3, 2,2, 2,1, 3,1},试求其r(R), s(R), t(R), tsr(R) =t(s(r(R))) 关系性质与闭包的联系 定理 设R是非空集合A上的关系, (1)若R是自反的,则s(R)与t(R)也是自反的。 (2)若R是对称的,则r(R)与t(R)也是对称的。 (3)若R是传递的,则r(R)是传递的。 自反性 对称性 传递性 r(R) √ √ √ s(R) √ √ × t(R) √ √ √ 关系性质与闭包的联系 反例 A={1,2,3}, R={1,3} 是传递的, s(R)={1,3,3,1}, 显然s(R)不是传递的。 注:如果计算关系R的自反、对称、传递的闭包,为了不失去传递性,传递闭包运算应该放在对称闭包运算的后边。 关系闭包的构造 集合法 矩阵法 关系图法 自反闭包 r(R)=R∪IA Mr = M + E 使每个结点有环 对称闭包 s(R)=R∪R-1 Ms = M + M ? 单向边变双向边 传递闭包 t(R)=。 Mt = 各次幂关系图的并 注意:布尔运算 传递闭包的应用 问题的提出: 上图若表示一个计算机网络,数据中心之间通过单向的电话线链接,如何确定两个中心之间是否有一条电话线(可能不直接)链接?或者更一般的,如何确定一个有向图中每对顶点是否“连通”? 波士顿 芝加哥 丹佛 底特律 圣地亚哥 纽约 传递闭包的图论意义 R={x,y|x可达y} Rm={x,y|x可以经过m个步长到达y} t(R)= ={x,y|x可以经过至多n个步长到达y} ={x,y|x与y“连通”} 思考:为何Rm ? t(R) (mn) ? 传递闭包的应用 解:可构造如下集合A及A上的关系R: A={纽约,圣地亚哥,波士顿,芝加哥,底特律,丹佛} R={x,y| 从x到y有电话线}(不妨用编号表示) ={1,2,3,4,3,5,4,5,5,6}, 用矩阵法求解t(R): ① ② ③ ④ ⑤ ⑥ 传递闭包的应用 由矩阵Mt可知, t(R)={1,2,3,4,3,5,3,6,4,5,4,6,5,6} 由此可以得到所有能够通过电话线链接的城市。 小结 掌握各种闭包的构造方法。 注意传递闭包在图论中的应用,可做深入思考。 作业 1.(续4.1节作业)给定集合A={1, 2, 3, 4},且A中的关系R: R ={1,1, 1,3, 2,2, 3,4, 4, 1, 4, 4} 请回答以下各问题: (1)求包含R的最小的等价关系R*。 (2)分别用关系矩阵表示出R的自反闭包r(R) 、对称闭包s(R) 。 (3)求传递闭包t(R)。(写出计算步骤) 2.举一实例证明即使R是一有限集,st(R)和ts(R)也可以不相等。 * 关系的不同表示方法之间的转换思想 * 数学中的区间闭包 * 一个计算机网络在波士顿、芝加哥、丹佛、底特律、纽约和圣地亚哥设有数据中心。从波士顿到芝加哥、波士顿到底特律、芝加哥到底特律、底特律到丹佛和纽约到圣地亚哥,都有单向的电话线。如果存在一条从数据中心a到b的电话线,a,b就属于关系
文档评论(0)