交大数理逻辑课件10-3 关系.pptVIP

最大相容类 最大相容类简化关系图的特点： 最大完全多边形的顶点构成的集合是最大相容类。 孤立点构成的集合是最大相容类。 如果一条边不是任何完全多边形的边，则它的两个端点构成的集合是最大相容类 例如右图： 最大完全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)。 ② 设n =k时，Rk