离散数学格与布尔代数.ppt

7－3布尔代数BooleanAlgebra一.定义由布尔格B,≤诱导的代数系统B,∨,∧,ˉ称之为布尔代数。其中ˉ是取补元运算。如果A是有限集合，则称它是有限布尔代数。例如：令B＝{F,T}，∧表示合取，∨表示析取，?表示否定，B,∨,∧,?就是个由右面格所诱导的布尔代数。E={a,b},P(E),∪,∩,~也是个由右面格所诱导的布尔代数。?T?F?Φ?{a,b}{a}??{b}第30页，共87页，星期日，2025年，2月5日二.布尔代数的性质设B,∨,∧,ˉ布尔代数,任意x,y,z∈B,有⑴交换律x∨y=y∨xx∧y=y∧x⑵结合律x∨(y∨z)=(x∨y)∨zx∧(y∧z)=(x∧y)∧z⑶幂等律x∨x=xx∧x=x⑷吸收律x∨(x∧y)=xx∨(x∧y)=x⑸分配律x∨(y∧z)=(x∨y)∧(x∨z)x∧(y∨z)=(x∧y)∨(x∧z)⑹同一律x∨0=xx∧1=x⑺零律x∨1=1x∧0=0⑻互补律x∨=1x∧=0⑼对合律⑽底－摩根定律第31页，共87页，星期日，2025年，2月5日上述性质都可以由格，分配格，有界格，布尔格得到。下面只证明底－摩根定律。所以。类似可证另一个。第32页，共87页，星期日，2025年，2月5日三.布尔代数的同构1.定义：令B1,∨1,∧1,ˉ和B2,∨2,∧2,~是两个布尔代数，如果存在映射f:B1?B2，对任何a,b∈B1，有f(a∨1b)=f(a)∨2f(b)f(a∧1b)=f(a)∧2f(b)f()=则称f是A1,∨1,∧1到A2,∨2,∧2的同态映射。与格同构比较，多了一个关于补运算的同构关系等式。为了引出有限布尔代数的stone的定理，下面介绍原子的概念。~f(a)第33页，共87页，星期日，2025年，2月5日2.原子定义1:设设B,∨,∧,ˉ布尔代数,元素a∈B,a≠0,对任何元素x∈B,有x∧a=a,或x∧a=0,则称a是原子。定义2:A,≤是布尔格,在A,≤的哈斯图中称盖住全下界0的元素为原子。例如：1。e。0。d。f。b。c。a。0。1。?0?1a??b第34页，共87页，星期日，2025年，2月5日下面先介绍原子的判定定理7-3.1设B,∨,∧,ˉ是布尔代数，a∈B,且a≠0,则a是原子的充分且必要条件是对任何y∈B，如果y≤a,则y=0或y=a。证明:必要性.设a是原子,且对任何y∈B，有y≤a(往证y=0或y=a),由原子定义得y∧a=a,或y∧a=0,而由y≤a得y∧a=y,所以有y=0或y=a.充分性.已知对任何y∈B，如果y≤a,则y=0或y=a。(往证a是原子,即证出对任何x∈B有x∧a=a,或x∧a=0),任取x∈B,令y=x∧a,因x∧a≤a,所以y≤a,由已知条件得y=0或y=a,所以有x∧a=a,或x∧a=0,所以a是原子.第35页，共87页，星期日，2025年，2月5日定理7-3.2设a,b是布尔代数B,∨,∧,ˉ中的原子，如果a≠b,则a∧b=0,(如果a∧b≠0,则a=b)即不同两个原子的下确界为0证明:设a和b是B中原子,(由原子定义得:对任何x∈B有x∧a=a,或x∧a=0,)因为a是原子,而b∈B,所以b∧a=a∧b=a,或b∧a=a∧b=0,于是:如果a∧b≠0,必有a∧b=a.类似地,b是原子,而a∈B,所以a∧b=b,或a∧b=0,于是:如果a∧b≠0,必有a∧b=b,最后得a=b.所以得出,如果a∧b≠0,则a=b.等价的如果a≠b,则a∧b=0.第36页，共87页，星期日，2025年，2月5日定理7-3.3设a,b1,b2…bn是布尔代数B,∨,∧,ˉ中的原子，则a≤b1∨b2∨…∨bn的充分且必要条件为对于某个i(1≤i≤n),有a=bi.证明:充分性显然成立,