第三章 集合与关系案例.ppt

利用相容关系的简化关系图可以求最大相容类，方法如下： (1) 最大完全多边形的顶点构成的集合是最大相容类。 (2) 孤立点构成的集合是最大相容类。 (3) 如果一条边不是任何完全多边形的边，则它的两个端点构成的集合是最大相容类。 【例】设X=?1,2,3,4,5,6?，r是X上的相容关系，它的相容关系图如下图所示，试找出所有最大相容类。 1. 最大完全3边形的顶点构成的集合：?2,3,5?和?2,3,4?。 2. 孤立点构成的集合：?6?。 3. 不是任何完全多边形的边的两个端点构成的集合?1,5?。 最大相容类为: ?2,3,5?，?2,3,4?，?1,5?和?6?。 定理3-11.1 设r是有限集A上的相容关系，C是一个相容类，那么比存在一最大相容类Cr，使得C ? Cr A的任意元素a可以组成相容类{a}，所以由上述定理可知一定存在一个最大相容类包含a A的所有最大相容类组成的集合构成A的一个覆盖 定义3-11.4 在集合A上给定相容关系r，其最大相容的集合称作集合A的完全覆盖，记作Cr(A) 【例】设X=?1,2,3,4,5,6?，r是X上的相容关系，它的相容关系图如下图所示， 最大相容类为: ?2,3,5?，?2,3,4?，?1,5?和?6?。 这些集合也是X的一个覆盖，即为集合X的完全覆盖 定理3-11.2 给定集合A的覆盖{A1,A2,…,An}，由它确定的关系R=A1×A1∪A2×A2 ∪… ∪ An×An是相容关系 【例】设X=?1,2,3,4?，S1=??1,2,3?,?3,4??， S2=??1,2?,?2,3?,?1,3?,?3,4??是X的两个覆盖。试写出S1和S2 导出的相容关系R1和R2。 解：R1=?1,2,3?×?1,2,3?∪?3,4?×?3,4? =??1,1?,?1,2?,?1,3?,?2,1?,?2,2?,?2,3?, ?3,1?,?3,2?,?3,3?,?3,4?,?4, 3?,?4,4?? R2=?1,2?×?1,2?∪?2,3?×?2,3? ∪?1,3?×?1,3?∪?3,4?×?3,4? =??1,1?,?1,2?,?2,1?,?2,2?,?2,3?,?3,2?, ?3,3?,?1,3?,?3,1?,?3,4?,?4, 3?,?4,4?? 在上例中，S1≠S2，但是R1=R2。这说明不同的覆盖可以导出相同的相容关系。 定理3-11.3 集合A上的相容关系r与完全覆盖Cr(A)存在一一对应 作业 3.12 序关系 定义 3-12.1 设A是一个集合, 如果A上的一个关系R满足自反性, 反对称性和传递性, 则称R是A上的一个偏序关系, 并记为“?”. 序偶A, ?称作偏序集 【例】1. 设A是集合，P (A)是A的幂集合，P (A)上的包含关系?定义如下： ? =??x,y??x?P (A)∧y?P (A)∧x?y ? 试证明?是P (A)上偏序关系。 2. 在实数集R上, 证明小于等于关系“≤”是偏序关系 3. 给定集合A={2,3,6,8}, 令“?”={x,y | x整除y}, 则“?”是偏序关系 定义3-12.2 在偏序集?A,??中，如果x,y∈A，x?y，x≠y且没有其它元素z满足x?z,z?y，则称元素y盖住元素x。并且记 COV A={x,y | x,y∈A; y盖住x} 为盖住关系 【例】设A=?2,5,6,10,15,30?，A上的整除关系R定义如下： R=??x,y??x?A∧y?A∧x整除y ? 验证R是A上的偏序关系，分析哪些元素盖住了另一些元素，并求COV A。 给定偏序集?A,??, 它的盖住关系是唯一的 利用盖住关系做一图，表示该偏序集?A ,??。这个图叫做哈斯图。偏序集?A,??的哈斯图的画法如下： ① 用“°”表示A中的每一个元素。 ② 如果 x?y，则将x画在y的下方。 ③ 若?x,y??COV A，则在x和y间画一条直线。 【例】设A=?2,5,6,10,15,30?，A上的整除关系R定义如下： R=??x,y??x?A∧y?A∧x整除y ? R是A上的偏序关系 其哈斯图如右图所示 定义 2-1