离散数学(第二版)第7章 节 格和布尔代数和.pptVIP

故 　　　a∨X＝a∨Y (7.3.1)　　　a′∨X=a′∨( a∧(b∧c)) 　　 ＝(a′∨a)∧(a′∨(b∧c)) (分配律)　　 =1∧(a′∨(b∧c)) (补元律)　　 =(a′∨(b∧c)) (同一律) 　　 =(a′∨b)∧(a′∨c) (分配律) a′∨Y=a′∨((a∧b)∧c) =(a′∨(a∧ b))∧(a′∨c) (分配律) =((a′∨a)∧(a′∨b))∧(a′∨c) (分配律) =(1∧(a′∨b))∧(a′∨c) (补元律) =(a′∨b)∧(a′∨c) (同一律)故 a′∨X=a′∨Y (7.3.2) 　　由式(7.3.1)和(7.3.2)得　　　(a∨X)∧(a′∨X)＝(a∨Y)∧(a′∨Y)　　(a∧a′)∨X=(a∧a′)∨Y (分配律)　　　　0∨X=0∨Y (补元律)　　　　　　X＝Y (同一律)　　故a∧(b∧c)＝(a∧b)∧c得证。 　　注意　当B只有一个元素0时， 可以认为〈 {0}， ∨， ∧， ′， 0〉是退化了的布尔代数(它满足定义7.3.2), 在此我们不讨论该种情况。 　【例7.3.3】〈P， ∧， ∨，， 0, 1〉为布尔代数。 这里P为命题公式集， ∧， ∨， 为合取、 析取、 否定的真值运算， 0， 1分别为假命题、 真命题。 　　定义7.3.3　设〈B， ∧， ∨， ′， 0， 1〉是布尔代数， SB, 若S含有0, 1, 且在运算∧， ∨， ′下是封闭的， 则称S是B的子布尔代数， 记作〈S，∧， ∨， ′， 0， 1〉。 图7.3.1 　　定理7.1.8　双射f是格〈L,1〉到格〈S,2〉的格同构的充分必要条件是a,b∈L， 有a1bf(a)2f(b)。　　证明　设双射f是格〈L, 1〉到格〈S, 2〉的格同构。 由定理7.1.7可知a, b∈L， 有a1bf(a)2f(b)。 反之， 　　　　　　　　　f(a)2f(b)　　　　　　　　f(a)∧f(b)=f(a)　　　　　　　　f(a*b)=f(a)　　　　　　　　a*b=a　　　(f是双射)　　　　　　　　a1b 　　设a, b∈L， 有a1bf(a)2f(b)。 设a*b=c(要证f(c)是f(a)、 f(b)的最大下界), 有　　　　　　　　c1af(c)2f(a)　　　　　　　　c1bf(c)2f(b)　　所以f(c)是f(a)、 f(b)的一个下界。 再设x是f(a), f(b)的任意下界， 因为f 是满射，所以有d∈L, 使x=f(d) 且　　　f(d)2f(a)d1a f(d)2f(b)d1b 　　所以d1a*b, 即d1cf(d)2f(c)。 　　因此f(c)是f(a), f(b)的最大下界， 即　　　f(c)=f(a*b)=f(a)∧f(b)。　　类似可证 f(ab)=f(a)∨f(b)。 所以f是〈L, 1〉到〈S, 2〉的格同构。 　　　　　　　　　　　证毕 　　【例 7.1.5】在同构意义下， 具有1个、 2个、 3个元素的格分别同构于元素个数相同的链。 　　4个元素的格必同构于图7.1.5中给出的含4个元素的格之一； 5个元素的格必同构于图7.1.5中的含5个元素的格之一。 其中图7.1.5(g)称作五角格， 图7.1.5(h)称作钻石格， 这两个格在讨论特殊格时会很有用。 图7.1.5 　　本节讨论几个特殊的格。 　　定义7.2.1　如果在格〈L, 〉中， 存在一个元素a∈L, 均有　　　　　　　　　　ax(xa)则称a为格的全下界(全上界)(相应于偏序集中的最小元、 最大元)， 且记全下界为0， 全上界为1。