格和布尔代数.ppt

（2）证明f是满射。S∈P(A),则SA。令b=a∈Sa,由引理2得b=a∈A(b)a。由唯一性有S=A(b)=f(b)。若S==A(b)=f(b),所以f为满射得证。第94页,共113页，星期六，2024年，5月(3)接着要证明f保持运算，即f满足式（7.3.4）、式（7.3.5）和式（7.3.6）。设b，c为B中任意两个元素且b≠0，c≠0。对任意的原子x,x∈A(b∧c)xb∧cxb且xcx∈A(b)且x∈A(c)x∈A(b)∩A(c)所以A(b∧c)=A(b)∩A(c),即f(b∧c)=f(b)∩f(c)。第95页,共113页，星期六，2024年，5月对任意的原子x,x∈A(b∨c)xb∨cxb或xcx∈A(b)或x∈A(c)x∈A(b)∪A(c)所以A(b∨c)=A(b)∪A(c),即f(b∨c)=f(b)∪f(c)。b∈B,且b≠0,对任意的原子x,x∈A(b′)x∧b=0x∧b≠xx≤bxA(b)x∈∽A(b)所以A(b′）=∽A(b),即f(b′)=∽(f(b))，定理得证。第96页,共113页，星期六，2024年，5月本定理有如下推论：推论1若有限布尔代数有n个原子，则它有2n个元素。推论2任何具有2n个元素的布尔代数互相同构。注意这一定理对无限布尔代数不能成立。根据这一定理，有限布尔代数的基数都是2的幂。同时在同构的意义上对于任何2n，n为自然数，仅存在一个2n元的布尔代数，如图7.3.2中的Hasse图所示的1元、2元、4元、8元的布尔代数。第97页,共113页，星期六，2024年，5月图7.3.2第98页,共113页，星期六，2024年，5月7.4例题选解【例7.4.1】设〈L，≤〉是格，a,b,c∈L，a≤b，证明：(a∨b∧c))∨c=(b∧(a∨c))∨c证明因为a≤b，且a≤a∨c，所以a≤b∧(a∨c)，故a∨c≤（b∧(a∨c)）∨c。由格的吸收律、结合律知（a∨b∧c)）∨c=a∨c，所以（a∨(b∧c)）∨c≤（b∧(a∨c)）∨c第99页,共113页，星期六，2024年，5月又由格的分配不等式知（b∧(a∨c)）∨c≤（b∨c）∧(a∨c)，而（b∨c）∧(a∧c)≤a∨c=（a∨(b∧c)）∨c故（a∨(b∧c)）∨c=(b∧(a∨c))∨c第100页,共113页，星期六，2024年，5月【例7.4.2】设〈L，≤〉是格，a、b、c、d∈L，证明：(a∧b)∨(c∧d)≤（a∨c）∧(b∨d）证明a、b、c、d∈L，因为a∧b≤a，a∧b≤b，c∧d≤c，c∧d≤d，所以(a∧b)∨(c∧d)≤a∨c，(a∧b)∨(c∧d)≤b∨d因此(a∧b)∨(c∧d)≤（a∨c）∧（b∨d）?第101页,共113页，星期六，2024年，5月【例7.4.3】一个格〈A，≤〉是分配格iffa,b,c∈A有(a∨b)∧c≤a∨(b∧c)。证明先证必要性：设〈A，≤〉是分配格。a,b,c∈A，由a∧c≤a，b∧c≤b∧c，可得（a∧c）∨（b∧c）≤a∨（b∧c）而（a∨b）∧c=（a∧c）∨（b∧c）所以（a∨b）∧c≤a∨(b∧c)第102页,共113页，星期六，2024年，5月再证充分性：假设a,b,c∈A有(a∨b)∧c≤a∨(b∧c)，则有(a∨b)∧c=((a∨b)∧c）∧c≤（a∨(b∧c)）∧c=((b∧c)∨a）∧c≤（b∧c）∨（a∧c）而任意格中均成立分配不等式（b∧c）∨（a∧c）≤(a∨b)∧c，因此有(a∨b)∧c=（b∧c）∨（a∧c）即〈A，≤〉是分配格。第103页,共113页，星期六，202