离散数学 第9讲 格.ppt

* 离散数学（二） 格和布尔代数 格与布尔代数：它们都是具有两个二元运算的代数系统， 这两个代数系统与前面讨论的代数系统之间存在着一个重要 区别：在格与布尔代数中，偏序关系具有重要意义。 为了强调偏序关系的作用，我们将分别从偏序集和代数系 统两个方面引入格的概念，给格附加一定的限制之后，格就 转化为布尔代数，即布尔代数是特殊的格。 格和布尔代数 起源与发展: 布尔代数最初是作为对逻辑思维法则的研究出现的。英国哲学家布尔(George Boole)于1847年利用数学方法研究了类与类(集合与集合)之间的关系法则。他的研究后来发展成为一个数学分支—布尔代数。 自布尔之后，许多数学家对布尔代数一般化作了努力。在奠基工作方面，丰廷顿(E. V. Huntington)、雪弗尔(H. M. Sheffer)和斯通(M. H. Stone)都作出了贡献。毕克霍夫(Garrett Birkhoff)和麦克朗(Saunders Maclane)的研究进一步使布尔代数得到严谨的处理。 格和布尔代数 格是一种兼有序和代数的重要结构，它和模糊数学等现代数学有十分紧密的联系； 格与布尔代数具体应用： 格与布尔代数在计算机科学中具有非常重要的应用。如在保密学、计算机语义学、开关理论、计算机理论和逻辑设计以及其他一些科学和工程领域中都直接应用了格与布尔代数。 格和布尔代数 格(lattice)在闪存(flash memory)编码中的应用: 格的定义与基本性质 格的两种定义 11 子格和格同态 2 主要内容: 格的定义和性质 重点: 重点和难点: 格的两种定义 难点: 一、格的两种定义 预备知识： 1. 若集合A上的二元关系R是自反的、反对称的、传递的，则称R为A上的偏序，记为A,≤。 2 设 A,≤ 是一偏序集合,B?A (i) 若a∈A，对于每一x∈B, 均有x≤a, 称a∈A为B的上界； (ii) 若b∈A，对于每一x∈B, 均有b≤x, 称b∈A为B的下界； (iii) c为B的上界, 若对B的任一上界c, 均有c≤ c, 称c为B的 上确界(最小上界)； (iv) d为B的下界，若对B的任一下界d, 均有d ≤ d,称d为 B的下确界(最大下界)。 一、格的两种定义 偏序格的定义： 设 L,≤ 是一偏序集合,若对于任意a,b∈L, {a,b}均有上确界(最小上界)和下确界(最大下界),则称此偏序集合 L,≤ 为格。 一、格的两种定义 代数格的引入： 设 L,≤ 是一偏序集合，在L上定义两运算*与⊕如下, 即对任意a,b∈ L： a * b={a,b }的下确界=glb{a,b} 保交 a⊕b={a,b }的上确界=lub{a,b} 保联 那么L, *, ⊕是代数吗？ 例1：I+,整除对任意a,b∈I+,有 a*b={a,b}的下确界=GCD{a,b} (a,b的最大公约数) a⊕b={a,b}的上确界=LCM{a,b} (a,b的最小公倍数) 一、格的两种定义 代数格的定义： 设L, *,⊕是代数系统,*和⊕是载体L上的二元运算,若满足 (1)交换律 a * b=b * a a⊕b=b⊕a (2)结合律 a *(b * c)=(a * b) * c a⊕(b⊕c)=(a⊕b)⊕c (3)吸收律 a⊕(a * b)=a a * (a⊕b)=a 则称L,*,⊕是代数格。 事实上代数格也满足等幂律，a⊕a=a, a*a=a, 由吸收律可推出 等幂律, 因为a*a=a*(a⊕(a*a))=a。类似地可证a⊕a=a。 例3 (1) S={a,b,c}, ρ(S),∩,∪为代数格； (2) 定义X:由命题变元p1,p2,…,pn, ﹁,∧,∨,→,? 构成的合式公式集。则 X,∧,∨为代数格。 一、格的两种定义 定理1：如果L, ≤ 是偏序格,定义L上两运算*与⊕如下: a*b=glb{a,b}, a⊕b=lub{a,b} ,则L,*,⊕是代数格。 证明: (1)可交换：由*与⊕的定义可知*与⊕是可交换的。 (2)可结合：证明 ?a,b,c∈L有a⊕(b⊕c)=(a⊕b)⊕c成立 即要证明① a⊕(b⊕c