09-L02 格.pdfVIP

离散数学基础 离散数学基础 2017-11-19 • 单元内容提示 − 格的概念和性质 − 格的上下确界运算 − 有界格、分配格和有补格 • 定义：格 − 设偏序集合  (L, “≤”) ，若其中任何二元素集合 {a, b} 在  L  中都有上、下确界， 则称  (L, “≤”)  为一个格。 • 例1 ：如下的 Hasse  图描述了三个格： • 例2 ：如下的 Hasse  图描述的不是格：{a, b}  没有下确界 + + • 例3 ：(Z , “≤”) ，Z   是正整数集合，a “≤” b iff  a 整除 b 。 −任何 {x, y} ⊆ Z+ ，其上确界为其最小公倍数 LCM ，下确界为其最大公约数 GCD ， + + 均存在于 Z   中。故  (Z , “≤”) 是格（整除格）。 • 定义：格 −对于格  (L, “≤”) ，{a, b} ⊆ L，记上确界 LUB({a, b})  为 a∨b ，称为 a 和 b  的并 (join) ；记下确界 GLB({a, b})  为 a∧b ，称为 a 和 b  的交  (meet)。 + + • 例3 ：整除格  (Z , |)。对于 a, b ∈Z » a∨b = LCM(a, b)，a∧b = GCD(a, b) • 例4 ： − 设集合 S ，L 是 S  的幂集  P(S)，⊆ 是包含于关系，构造偏序结构  (L, ⊆)。对 于  L  的元素 A, B ⊆ S ：  » A∨B 就是集合 A∪B  » A∧B 就是集合 A∩B  − 所以  (L, ⊆) 是一个格  • 例5 ：   − D   是正整数  n  的所有正因数构成的集合，则 D   是整除关系下的格。下面给 − n n 出 D20 和 D30  的  Hasse  图。   • 例6 ：   − 格  (L, “≤”)  的对偶偏序  (L, “≥”)  也是一个格。  (1) 对任意 a, b ∈L,  关于  (L, “≤”)  的 LUB({a, b}) 就是关于  (L, “≥”)  的 GLB({a,  b})  (2) 对任意 a, b ∈L,  关于  (L, “≤”)  的 GLB({a, b}) 就是关于  (L, “≥”)  的 LUB({a,  b})  − 设  P(S) 是集合 S  的幂集，(P(S), ⊆) 和  (P(S), ⊇) 都是格。对于  (L, ⊇)，任意 A,  B ∈L ，有 A∨B = A∩B, A∧B = A∪B.  • 定理1.   − 设由偏序结构  (L , ≤ ) 和  (L , ≤ ) 定义了积偏序  (L, ≤)。若  (L , ≤ ) 和  (L , ≤ )  1 1 2 2 1 1 2 2 都是格，则  (L, ≤)  也是格。  » 积偏序定义：L= L × L ，对于  (a , b ), (a , b )∈L, 有  (a , b ) ≤ (a , b )  当且仅 1  2 1 1 2 2 1 1 2 2 当 a ≤ a  且 b  ≤ b   。  1  1 2 2 2 2 − 先证：  (L, ≤)  的任意两个元素有上确界。分2部分：  (1)