格与布尔代数.pptVIP

6.4有补格1.有界格一般来说,格L不一定存在最大元与最小元.例如,实数集R关于数的小于等于关系?所作成的格(R,?).Def设(L,?)是格,若L存在最大元素1以及最小元素0,则称(L,?)为有界格(boundedlattice).第29页，共65页，星期日，2025年，2月5日例6-12证明:对任意集合X,(P(X),?)是有界格.Hint最大元素:X;最小元素:?.显然,任意有限格是有界格(?).第30页，共65页，星期日，2025年，2月5日2.补元?有补格Def设(L,+,?)是有界格,a?L,若存在b?L,使得a+b=1且a?b=0,则称b为a的补元(complement).显然,在任意有界格中,若b为a的补元,则a为b的补元；0与1互为补元.但对于有界格,不是每个元素均有补元,同时一个元素的补元未必唯一.因此,不能定义1元运算.第31页，共65页，星期日，2025年，2月5日第32页，共65页，星期日，2025年，2月5日Def设(L,+,?)是有界格,若L中每个元素都有补元,则称(L,+,?)为有补格(latticecomplemented).例6-14证明:对任意集合X,(P(X),?)是有补格.Hint?A?P(X),X-A?P(X):A?(X-A)=X,A?(X-A)=?.右图是有补格,不是分配格.第33页，共65页，星期日，2025年，2月5日几个重要结论.Theorem6-13在分配格中,若一个元素存在补元,则补元是唯一的.Clearly.根据定理6-13知,在有补分配格中,每个元素都有唯一的补元.正因为如此,在有补分配格中可以定义一个元素的补运算“”，它是其上的1元代数运算.第34页，共65页，星期日，2025年，2月5日下述定理是有补分配格的重要性质.Theorem6-14设(L,+,?)是有补分配格,则DeMorgan律成立,即对于任意x,y?L,有(1)(2)Proof(1)(2)?第35页，共65页，星期日，2025年，2月5日Theorem6-15设(L,+,?)是有补分配格,则对于任意x,y?L,有Proof显然,(1)x?y:(2)作业习题6.4,4,5,6,7.第36页，共65页，星期日，2025年，2月5日6.5布尔代数1.布尔代数的格定义Def元素个数?2的有补分配格(B,?)称为布尔代数(Booleanalgebra)或布尔格.偏序集与各种格之间的相互关系?仅1个元素的有补分配格是布尔代数的退化情形，一般不作为布尔代数考虑，可参见布尔代数的公理化定义.显然，在任何布尔代数或布尔格中有两个特殊元素，一个是其最小元0，一个是其最大元1.当然0?1.第37页，共65页，星期日，2025年，2月5日在任意布尔代数(B,?)中可以定义3种代数运算:对于任意x,y?B,(a)布尔加“+”:x+y=sup{x,y}.(b)布尔乘“?”:x?y=inf{x,y}.(c)布尔补“”:x的补元.例6-16设|X|?1,证明:(P(X),?)是布尔代数,称为集合代数:?,X).第38页，共65页，星期日，2025年，2月5日例6-17证明:(F,?)是布尔代数,其中F是所有合式公式组成的集合,?是公式间的逻辑蕴涵关系,称为逻辑代数,F中的元素是逻辑表达式:特别地,令G是所有命题公式组成的集合,则称(G,?)为命题代数.令H是仅含命题变元p1,p2,…,pn的所有命题公式组成的集合,则(H,?)是布尔代数,这时由于集合代数和逻辑代数都是布尔代数,因此它们有完全相似的性质.第39页，共65页，星期日，2025年，2月5日2.布尔代数的性质Theorem6-16设(B,?)是布尔代数,I.(B,?)是格;II.(B,?)是分配格;III.(B,?)是有补格;IV.(B,?)是有补分配格.第40页，共65页，星期日，2025年，2月5日以下是布尔代数的特征性质,参见下面的布尔代数的公理化定义.交换律.分配律.幺元律：有补律：第41页，共65页，星期日，2025年，2月5日3.布尔代数的公理化定