二元关系闭包次序等价.pptVIP

(2) A={2，3，6，12，24，36}，〈A，整除〉的哈斯图。 D={〈2, 2〉,〈3, 3〉,〈6, 6〉,〈12, 12〉,〈24, 24〉,〈36, 36〉,〈2, 6〉, 〈2, 12〉, 〈2, 24〉, 〈2, 36〉, 〈3, 6〉 〈3, 12〉, 〈3, 24〉, 〈3, 36〉, 〈6, 12〉, 〈6, 24〉, 〈6, 36〉, 〈12, 24〉, 〈12, 36〉} 2 3 6 12 24 36 第30页，共57页，编辑于2022年，星期一 (3) A={1，2，…，12}，〈A，整除〉的哈斯图。 D={〈1,1〉,〈2,2〉, …,〈6,6〉…,〈12,12〉,〈1,2〉,〈1,3〉,〈1,4〉,〈1,5〉,〈1,6〉,〈1,7〉,〈1,8〉,〈1,9〉,〈1,10〉,〈1,11〉,〈1,12〉,〈2,4〉,〈2,6〉, 〈2,8〉,〈2,10〉,〈2,12〉, 〈3,6〉,〈3,9〉,〈3,12〉,〈4,8〉,〈4,12〉,〈5,10〉,〈6,12〉} 第31页，共57页，编辑于2022年，星期一 A={a,b,c}, 〈ρ(A)，? 〉的哈斯图。 补充例 第32页，共57页，编辑于2022年，星期一 由图所示的哈斯图， 写出对应的偏序关系、 关系矩阵。 关系矩阵 A={a, b, c, d, e} 偏序关系 ={ } 解: 〈a, a〉, 〈b, b〉,〈c, c〉, 〈d, d〉, 〈e, e〉, 补充例 〈c, a〉, 〈c, b〉, 〈d,c〉， 〈d, a〉, 〈d,b〉 第33页，共57页，编辑于2022年，星期一 定义3.4―2 设〈A， ? 〉是一偏序集合，B是A的子集 (1)元素b∈B是 B 的最大元素，如果对每一元素 x∈B，x≤b 例3 (2)元素b∈B是 B 的最小元素，如果对每一元素 x∈B，b≤x 在偏序“整除”下整数1到6的集合 (1) B = {1，2，3，6} B的最大元素 B的最小元素 是1 是6 (2) B={2，3} B 没有最小元素和最大元素 (3) B ={4} B的最大元素 B的最小元素 是4 最大(小)元素要求它与其它元素都可比 第34页，共57页，编辑于2022年，星期一 定理3.4―1 设〈A, ? 〉是一偏序集合，且 B ? A，如果B有最大(最小)元素，那么它是唯一的。 证： 那么 a ? b ∧ b ? a 假设 a 和 b 都是 B 的最大元素 当 a 和 b 都是 B 的最小元素时，证明是类似的 ? 是反对称的 ? a = b ? 结论：最大(最小)元素未必存在，若存在则必唯一。 第35页，共57页，编辑于2022年，星期一 例 ρ(A)={ } 定义3.4―3 设〈A， ? 〉是一偏序集合，B是 A 的子集 (1) 如果 b∈B，且 B 中不存在元素 x，使 b≠x 且 b ? x，那么元素 b∈B 叫做 B 的极大元素。 (2) 如果 b∈B，且 B 中不存在元素 x，使 b≠x 且 x ? b，那么元素 b∈B 叫做 B 的极小元素。 集合A ={a, b, c}的幂集 ?, {a}, {b}, {c} {a , b}, {a , c},{b , c}, {a , b , c} “?”关系是一个偏序关系 设 B = {{a , b} ,{b , c} , {b}, {c}, ? } 极大元素： {a , b} ,{b , c} 极小元素 ? 最大元素： 无 最小元素： ? 极大(小)元素不要求它与其它元素都可比， 只要没有比它更大（小）的元素就可以 第36页，共57页，编辑于2022年，星期一 如果 a 是一下界并且对每一 B 的下界 a′有a′? a，那么元素 a∈A 叫做 B 的最大下界。 定义3.4―4 设〈A， ? 〉是一偏序集合，B 是 A 的子集 (1) 如果对每一 b∈B，b ? a，那么元素 a∈A 叫做 B 的上界；