离散数学第09章_格与布尔代数教材教学课件.pptVIP

定义9.2.1 设B,?,*, ’是一代数结构，其中?和*是B上的二元运算，’是B上的一元运算。0,1?B。若对任意a,b?B，有 ① a?b=b?a，a*b=b*a （交换律） ② a?(b*c)=(a?b)*(a?c)，a*(b?c)=(a*b)?(a*c) （分配律） ③ a?0=a，a*1=a （幺律） ④ a?a’=1，a*a’=0 （互补律） 则称B,?,*, ’是布尔代数，称?、*和’分别是B上的并、交和补运算，0和1分别称为?和*的零元和幺元。 代数结构B,?,*, ’,0,1满足定义9.2.1的条件，所以它是布尔代数，它是二元布尔代数。二元布尔代数其哈斯图是链的唯一布尔代数。 9.3 子布尔代数、积布尔代数和布尔代数同态 把子代数、积代数和同态的概念应用到布尔代数上，便得到了相应论题，本节不准备详尽叙述它，仅就其特点讨论之。 定义9.3.1 给定布尔代数B，?，⊙，’，0，1，?≠T?B，若T对所有运算封闭，且0，1∈T，则称T，?，⊙，’是子布尔代数。 显然，B，?，⊙，’，0，1和{0，1}，?，⊙，’，0，1是子布尔代数。 应该指出，没有必要对所有三个运算?，⊙和’都要检查封闭性，也没有必要验证0与1是否在T中，只要对运算集合{?，’}或{⊙，’}检查其封闭性即可。这可从布尔代数中这两个运算集合是全功能集得出。因为对任意x，y∈S，有x⊙y=(x’?y’)’，0=(x’?x)’，1=x?x’，故对于?和’的封闭便保证了⊙的封闭以及0，1∈T。 对于{⊙，’}可用同样论证。 显然，每个子布尔代数都是布尔代数。 布尔代数的子集可以是个布尔代数，但也可能不是布尔代数，因为这可从它对运算是否封闭而定。 定义9.3.2 给定两个布尔代数B1，?1，⊙1，’，01，11和B2，?2，⊙2，″，02，12，则两个布尔代数的积也是布尔代数，称为积布尔代数，记作B1×B2，?3，⊙3，’’’，03，13，其中对任意b11，b21，b12，b22∈B1×B2，有 b11，b21?3b12，b22=b11?1b12，b21?2b22 b11，b21⊙3b12，b22=b11⊙1b12，b21⊙2b22 b11，b21’’’=b11’，b21″ 03=01，02，13=11，12 可见，积布尔代数能够生成新的布尔代数。 定义9.3.3 给定两个布尔代数B，+，·，’，0，1和T，?，⊙，ˉ，α，β，则 B，+，·，’，0，1?T，?，⊙，ˉ，α，β：=(?f)(f∈TB∧(?x)(?y)(x，y∈S→(f(x+y)=f(x) ?f(y)∧f(x·y)=f(x)⊙f(y)∧f(x’)= ∧f(0)=α∧f(1)=β))) 并称f为从B，+，·，’，0，1到T，?，⊙，ˉ，α，β的布尔同态映射。 如前所述，同态的定义仍可简化成：若保持运算{?，’}或{⊙，’}则f∈TB为布尔同态映射。又若f为双射，则f为布尔同构映射。 定理9.3.1 若f为从B，+，·，’，0，1到T，?，⊙，ˉ，α，β的布尔同态映射，且|f(B)|≥2，其中f(B)={y|f(x)=y∈T∧x∈B}，则f(B)，?，⊙，ˉ，f(0)，f(1)是布尔代数。 9.4 布尔代数的原子表示 在布尔集合代数中，每个子集可表成单元集的并，而且这种表示在不计项的次序情况下是唯一的。对于任何有限布尔代数，也将有同样的结果，这里起着单元集作用的那些元素，称它们是原子。 定义9.4.1 给定布尔代数B，?，⊙，’，0，1且0≠a∈B，则a为原子：=(?x)(x∈B→a⊙x=a∨a⊙x=0) 因为a⊙x=a?a?x，所以上述定义又可表为 a为原子：=(?x)(x∈S→a?x∨a⊙x=0) 若a为原子且x?a，则x=0或x=a。这表明原子在偏序图中是那些紧位于零元之上的元素。 定理9.4.1 若a1和a2为布尔代数B，?，⊙，’的原子，且a1⊙a2≠0，则a1=a2。 定理9.4.2 若x是有限布尔代数B，?，⊙，’的非零元，则存在原子a∈S，使得a?x。 定理9.4.3 若a，a1，a2，…，an为有限布尔代数B，?，⊙，’，0，1的原子，则 a?a1?a2?…?an?(?i)(i∈{1，2，…，n}∧a=ai) 定理9.4.4 设有限布尔代数B，?，⊙，’，0，1的所有原子是a1，a2，…，an，且y∈B，则 y=0?(?i)(i∈{1，2，…，n}→y⊙ai=0) 定理9.4.5(原子表示定理) 给定布尔代数B，?，⊙，’，0，1，0≠x∈B以及i=1，2，…，n，ai?x，则x= ai，且不计原子的次序表示式是唯一的。 定理9.4.6 (斯通(Stone)定理) 设B，?，