离散数学第09章 格与布尔代数.ppt

第九章 格与布尔代数 9.1 格 9.2 布尔代数 9.3 子布尔代数、积布尔代数 和布尔代数同态 9.4 布尔代数的原子表示 9.5 布尔代数Br2 9.6 布尔表达式及其范式定理 9.1 格 1．格作为偏序集 定义9.1.1 设L,≤是一个偏序集，若对任意a,b,?L，存在glb{a,b}和lub{a,b}，则称L,≤为格，并记为a*b=glb{a,b}，a?b=lub{a,b}，称?和?分别为L上的交（或积）和并（或和）运算。称L,?,*为L,≤所诱导的代数结构的格。若L是有限集合，称L,≤为有限格。 格的对偶性原理是成立的： 令L,≤是偏序集，且L,≥是其对偶的偏序集。若L,≤是格，则L,≥也是格，反之亦然。这是因为，对于L中任意a和b，L,≤中lub{a,b}等同于L,≥中glb {a,b}，L,≤中glb{a,b}等同于L,≥中的lub{a,b}。若L是有限集，这些性质易从偏序集及其对偶的哈斯图得到验证。 从上讨论中，可知两格互为对偶。互为对偶的两个L,≤和L,≥有着密切关系，即格L,≤中交运算?正是格L,≥中的并运算?，而格L,≤中的并运算?正是格L,≥中的交运算?。因此，给出关于格一般性质的任何有效命题，把关系≤换成≥（或者≥换成≤），交换成并，并换成交，可得到另一个有效命题，这就是关于格的对偶性原理。 定义9.1.2 设L,≤是格，且S?L。若对任意a,b?S，有a*b?S和a?b?S，则称S,≤是格L,≤的子格。 2．格的基本性质 在证明格的性质前，回忆一下a*b和a?b的真正含义是有好处的。 ①a*b≤a和a?b≤b，则表明a*b是a和b的下界。 ②若c≤a和c≤b，则c≤a*b，这表明a*b是a和b的最大下界。 ①’a≤a?b和b≤a?b，则表明a?b是a和b的上界。 ②’若a≤c，且b≤c，则a?b≤c，这表明a?b是a和b的最小上界。 定理9.1.1 设L,≤是格，对任意a,b?L，有 ① a?b=b?a≤b ② a*b=a?a≤b ③ a*b=a?a?b=b 亦即 a≤b?a?b=b?a*b=a 定理9.1.2 设L,≤是格，对任意a,b?L，有 ① a*b=a, a?a=a。 （幂等律） ② a*b=b*a, a?b=b?a。 （交换律） ③ a*(b*c)=(a*b)*c a?(b?c)=(a?b)?c （结合律） ④ a*(a?b)=a a?(a*b)=a （吸收律） 定理9.1.3 设L,≤是格，对任意a,b,c?L，有 ①若a≤b和c≤d，则a*c≤b*d，a?c≤b?d。 ②若a≤b，则a*c≤b*c，a?c≤b?c。 ③c≤a和c≤b c≤a*b ④a≤c和b≤c a?b≤c 定理9.1.4 设L,≤是格，对任意的a,b,c?L，有 a?(b*c)≤(a?b)*(a?c) (a*b)?(a*c)≤a*(b?c) 通常称上二式为格中分配不等式。 定理9.1.5 设L,≤是格，对任意的a,b,c?L，有 a≤c?a?(b*c) ≤(a?b)*c 推论：在格L,≤中，对任意的a,b,c?L，有 (a*b)?(a*c)≤a*(b?(a*c)) a?(b*(a?c))≤(a?b)*(a?c) 3．特殊的格 定义9.1.3 设L,≤是格，若L中有最大元和最小元，则称L,≤为有界格。一般把格中最大元记为1，最小元记为0。 由定义可知，对任意a?L，有 0≤a≤1 a*0=0, a?0=a a*1=a, a?1=1 定理9.1.6 设L,≤是有限格，其中L={a1,a2,···,an}，则L,≤是有界格。 定义9.1.4 设L,≤是有界格，对于a?L，存在b?L，使得 a*b=0，a?b=1 称b为a的补元，记为a’。 由定义可知，若b是a的补元，则a也是b的补元，即a与b互为补元。 显然，0’=1和1’=0，且易证补元是唯一的。 一般说来，一个元素可以有其补元，未必唯一，也可能无补元。 定义9.1.5 设L,≤是格，对任意的a,b,c?L，有 ① a*(b?c)=(a*b)?(a*c) ② a?(b*c)=(a?b)*(a?c) 则称L,≤为分配格，称①和②为格中分配律。 定义9.1.6 设L,≤是格，对任意的a,b,c?L，有 a≤c?a?(b*c)=(a?b)*c 称L,≤为模格。 定理9.1.7 分配格是模格 定理9.1.8 每个链都是分配格。 定理9.1.9 一个格为分配格，当且仅当它不含有任何子格与这两个五元素格中任一个同构。 定理9.1.10 设L,≤是分配格，对任意a,b,c?L，有 (a*b=a*c)且(a?b=a?c