logo

您所在位置网站首页 > 海量文档  > 高等教育 > 理学

交大数理逻辑课件关系.ppt 34页

本文档一共被下载: ,您可全文免费在线阅读后下载本文档。

  • 支付并下载
  • 收藏该文档
  • 百度一下本文档
  • 修改文档简介
全屏预览

下载提示

1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
2.该文档所得收入(下载+内容+预览三)归上传者、原创者。
3.登录后可充值,立即自动返金币,充值渠道很便利
最大相容类 最大相容类简化关系图的特点: 最大完全多边形的顶点构成的集合是最大相容类。 孤立点构成的集合是最大相容类。 如果一条边不是任何完全多边形的边,则它的两个端点构成的集合是最大相容类 例如右图: 最大完全3边形的顶点构成的集合: {2,3,5}和{2,3,4}。 孤立点构成的集合:{6}。 不是任何完全多边形的边的 两个端点构成的集合{1,5}。 。 最大相容类的存在性 定理10.7.1 设R是有限集合A上的相容关系,C是R产生的相容类,那么必存在最大相容类CR,使得 C?CR。 证明: 设A={a1,a2,… ,an},令C0=C。 如下构造相容类序列: C0?C1?C2?… Ci+1=Ci∪{aj} 其中:j是使 aj?Ci 且aj与Ci的每一个元素都有相容关系R的最小下标。 因为|A|=n,所以至多经过n-|C|步,可结束此过程。 序列的最后一个集合就是要求的最大相容类CR。 作业12 P190: 24 P190: 27(1) P191: 30 P191: 33 * * 我们经常希望关系具有自反性、对称称和传递性,对于不具有这些性质的关系,可以扩充这个关系为更大的关系,使新关系有这些性质,这种作法就是闭包的思想。 * 目前对等价关系的研究是深入而完备的。 * 如:集合中的恒等关系IA和全域关系EA,同一平面上三角形之间的相似关系 朋友关系不一定是等价关系,(可以不是传递的),自反的对称的关系——相容关系,等价关系是它的子集 * 三个互不连通的部分,每一部分中的所有结点构成一个等价类。 * 结合例子解释性质 * 结合例子解释性质 模3等价关系R的等价类有以下三个:[0]R,[1]R和[2]R, 第10章 关 系 10.1 二元关系 10.2 关系矩阵和关系图 10.3 关系的逆、合成、限制和象 10.4 关系的性质 10.5 关系的闭包 10.6 等价关系和划分 10.7 相容关系和覆盖 10.8 偏序关系 关系性质的充要条件 设R为A上的二元关系, 则 R在A上自反当且仅当 IA ?R R在A上反自反当且仅当 R∩IA=? R在A上对称当且仅当 R=R?1 R在A上反对称当且仅当 R∩R?1?IA R在A上传递当且仅当 R?R?R 证:必要性: R是传递 ? R?R?R <x, y>∈ R?R ?(?z)(?x,z??R∧?z,y??R) ?<x, y>?R ∴ R?R?R 充分性: R?R?R ? R是传递 ?x,z??R∧?z,y??R ?<x, y>? R?R ?<x, y>? R ∴ R是传递的 ∵ R 是传递的 ∵ R?R?R 10.5.2 关系闭包的定义 闭包的定义 包含R的最小自反关系是R的自反闭包 包含R的最小对称关系是R的对称闭包 包含R的最小传递关系是R的传递闭包 一般地,将 R 的 自反闭包记作 r(R), 对称闭包记作 s(R), 传递闭包记作 t(R). 10.5.3 闭包的性质 定理10.5.4 对非空集合A上的关系R,有 若R是自反的? r(R)=R; 若R是对称的? s(R)=R; 若R是传递的? t(R)=R. 定理10.5.5 对非空集合A上的关系R1、R2, 若R1?R2 则 r(R1) ? r(R2) s(R1) ? s(R2) t(R1) ? t(R2) 定理10.5.5 对非空集合A上的关系R1、R2,则 r(R1) ∪r(R1) = r(R1∪R2) s(R1) ∪r(R1) = s(R1∪R2) t(R1) ∪r(R1) = t(R1∪R2) 10.5.4 闭包的构造方法 设R为A上的关系, 则有 定理10.5.7: r(R) = R∪R0 = R∪IA 定理10.5.8: s(R) = R∪R-1 定理10.5.9: t(R) = R∪R2∪R3∪… 定理10.5.10: 设A为非空集合,|A|=n,则存在一个正整数k≤n,使得 t(R) = R∪R2∪R3∪… ∪Rk (k≤n) t(R) = R∪R2∪R3∪… ∪Rn 以上分别是自反闭包r(R) 、对称闭包s(R)和传递闭包t(R)的构造方法 证明: t(R) = R∪R2∪R3∪… 先证R∪R2∪R3∪… ? t(R) ① 当n =1时,R1= R ? t(R)。 ② 设

发表评论

请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
用户名: 验证码: 点击我更换图片

“原创力文档”前称为“文档投稿赚钱网”,本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有【成交的100%(原创)】。原创力文档是网络服务平台方,若您的权利被侵害,侵权客服QQ:3005833200 电话:19940600175 欢迎举报,上传者QQ群:784321556