格与布尔代数
离散数学第6章 格与布尔代数

6-1 格的概念
5)下面证明 a∧b=aa∨b=b 若a∧b=a 则 a∨b=(a∧b)∨b=b 反之,若a∨b=b 则 a∧b=a∧(a∨b)=a
b用a∨b代替(∵两式中b是相互独立的) ∴a∨(a∧(a∨b))=a 即 a∨a=a. (2)格的等价定理:〈A,∨,∧〉代数系统,∨.∧满足交换性, 结合性,吸收性,则A上存在偏序关系≤,使〈A,≤〉是一个格
从格可引出代数系统〈A,∨,∧〉; 而从满足三个条件的〈A,∨,∧〉也可导出格〈A,≤〉 证明见书:(格中⑻⑼⑾三个性质很重要,决定了格)
(11) 要证 a≤a∨(a∧b) 第一式显然成立
a∨(a∧b)≤a
a≤a
a∧b≤a
∴a∨(a∧b) ≤a
∴a=a∨(a∧b)
6-1 格的概念
6、格的等价原理:格〈A,≤〉 (1)引理6-1.1:〈A,∨,∧〉代数系统,若∨, ∧满足吸收性,
则∨, ∧满足幂等性 证:a,b∈A. a∨(a∧b)=a a∧(a∨b)=a.
第六章 格与布尔代数
格论是近代数学的一个重要分支,由它所引出的布尔 代数在计算机科学中有很多直接应用。
格的概念 分配格 有补格 布尔代数 布尔表达式
6-1 格的概念
1、回忆偏序集〈A,≤〉,≤偏序关系:满足自反性,反对称性, 传递性。有限集合上的偏序集可用哈斯图来表示:
COV (A) {a,c, b,c, c, d, d,e, d, f }
∧也易求得 ∴ A,∨,∧〉是格〈A,|〉 诱导的代数系统
6-1 格的概念
09-格与布尔代数-8.2

第三节 子布尔代数、积布尔代数、布尔代数同态
定义:给定布尔代数<B, , *, ’ , 0, 1>,≠T B
2015年6月6日星期六
若T对 、* 和 ’ 是封闭的,且:0, 1 T
称<T, , *, ’ , 0, 1>是<B, , *, ’ , 0, 1>的子布尔代 数 显然:<{0, 1}, , *, ’ , 0, 1>和<B, , *, ’ , 0, 1> 都是<B, , *, ’ , 0, 1>的(平凡)子布尔代数
则:<f(B),∨,∧, , f(0), f(1)>是布尔代数 (证明参见教材P170 —— 利用布尔代数的定义证明)
布尔代数同态
结论:
2015年6月6日星期六
若 f 是从布尔代数<B, , *, ’ , 0, 1>到格<S,∨,∧>的 格同态映射,且f是满射的,
则:<S,∨,∧>是布尔代数
并且可以用基本公式来定义布尔代数
布尔代数的定义 从这4个定律,可以推出所有布尔代数的公式
有兴趣的同学可以参阅 R. L. 古德斯坦因 著的
对于a, b B , 有 定义:设<B, , *, ’ >是一个代数结构,其中:
2015年6月6日星期六
和 * 是B上的二元运算,’ 是B上的一元运算,且 0, 1 B
例9.15:设Bn是由0和1形成的n元组集合,且
2015年6月6日星期六
a = <a1, a2, …, an>,b = <b1, b2, …, bn> 0n = <0, 0, …, 0> , 1n = <1, 1, …, 1> 对任意 a, b Bn,定义: a b = < a1∨b1, a2∨b2 , …, an∨bn > a * b = < a1∧b1, a2∧b2 , …, an∧bn > a’ = < a1, a2, …, an> < Bn,∨,∧, , F, T>是布尔代数(开关代数)
格和布尔代数

分三步: 1) 证明’≤’是L上的偏序关系 2)证明 a,bL, {a,b}的下确界存在, 且 a∧b = glb(a,b)。 3)a,bL, {a,b}的上确界存在,且 lub(a,b) a∨b 具体证法见后面
1) 证明’≤’是L上的偏序关系 自反性:aL 由等幂律 a∧a=a, a≤a 反对称性:a,bL, 若a≤b, b≤a 则 a∧b=a, b∧a=b a = a∧b = b∧a = b 传递性:a,b,cL, 若 a≤b,b≤c 则a∧b=a, b∧c=b a∧c=(a∧b)∧c = a∧(b∧c)= a∧b=a a≤c
2、格的对偶原理
① 集合S的偏序关系≤的逆关系≥也是偏序关 系,若AS, 其中 ≤的glb(A) 对应于 ≥的lub(A), ≤的lub(A) 对应于 ≥的glb(A), 所以,若<S,≤>是格,则<S,≥>也是格, 称这两个格互为对偶。
2、格的对偶原理
② 因为<S,≤>的交是<S,≥>的并, <S,≤>的并是<S,≥>的交,
一般格只满足分配不等式: a∨(b∧c)≤(a∨b)∧(a∨c)
一、定义
设<L,∧,∨>是格,若a,b,cL,有: (1) a∧(b∨c)=(a∧b)∨(a∧c), (2) a∨(b∧c)=(a∨b)∧(a∨c), 则称 <L,∧,∨> 为分配格。
注:(1)(2)是互相等价的,由对偶原理,从一式可推
2)证明 a,bL, {a,b}的下确界存在, 且 a∧b=glb(a,b)。
a) 因为 (a∧b)∧a =(a∧a)∧b=a∧b a∧b≤a 同理a∧b≤b a∧b 是a,b的下界。
离散数学第五章格与布尔代数2

§2.布尔代数
•布尔代数的定义 •布尔代数的性质 •布尔代数中的宏运算 •有限布尔代数的原子表示 •布尔函数与布尔表达式 •布尔环与布尔代数
2021/5/22
1
离散数学
§2. 布尔代数
定义1.布尔代数(Boolean algebra) 有补的分配格(B,≼, , , , 0, 1) 称为布尔代数。
(S, ,, , , 0, 1) 是布尔代数
这里:S={0,1},00, 01, 11,其运算表如下:
2021/5/22
3
x
离散数学
x y xy 00 0 01 0 10 0
11 1
xy 0 1 1
1
xx
01 10
表2
通过变元代换,显见表2与表1是完全相同的。即,令
h:S 2X , h (0)= , h (1)= X (这里:X={a})
16
离散数学
[证].布尔代数中的对偶原理实质上来源于两个二元运 算 和 所具有的结合律、交换律、幂等律、吸收律、 分配律的对称性,半序关系≼和其逆关系≽的对称性; 最小元0和最大元1的对称性;以及任何元素x与其补元 x的对称性。
注:•布尔代数(B, ≽ , , , ,1 , 0)称为原布尔代数 (B , ≼ , , , , 0 , 1)的对偶布尔代数。实际上,它们互为对偶;
P Q = (P1 Q1, P2 Q2, , Pn Qn)
P = (P1 , P2 , , Pn) 即n元命题代数的序关系、运算、最小元和最大元的定 义都归结为一元命题代数(ℙ, ≼ , , , , F, T) 。
仿例5我们易证:
(ℙn, ≼ , , , , F, T)≅ (2X, ,, , , , X ) 这里:X={a1, a2, , an},即 n元命题代数与n元集合代数是同构的。
离散数学结构 第十三章 格与布尔代数

第十三章格与布尔代数13.1 格的定义与性质一、格作为偏序集的定义1.格的定义定义13.1设<S,>是偏序集,如果x,y S,{x,y}都有最小上界和最大下界,则称S 关于偏序作成一个格。
由于最小上界和最大下界的唯一性,可以把求{x,y}的最小上界和最大下界看成x与y的二元运算∨和∧,即求x∨y和x∧y分别表示x与y的最小上界和最大下界。
这里要说明一点,本章中出现的∨和∧符号只代表格中的运算,而不再有其它的含义。
2.格的实例例13.1设n是正整数,S n是n的正因子的集合。
D为整除关系,则偏序集<S n,D>构成格。
x,y∈S n,x∨y是lcm(x,y),即x与y的最小公倍数。
x∧y是gcd(x,y),即x与y的最大公约数。
图13.1给出了格<S8,D>,<S6,D>和<S30,D>.图13.1例13.2 判断下列偏序集是否构成格,并说明理由。
(1) <P(B),>,其中P(B)是集合B的幂集。
(2) <Z,≤>,其中Z是整数集,≤为小于或等于关系。
(3) 偏序集的哈斯图分别在图13.2中给出。
二.格的性质1.对偶原理定义13.2设f是含有格中元素以及符号=,,,∨和∧的命题。
令f*是将f中的替换成,替换成,∨替换成∧,∧替换成∨所得到的命题。
称f*为f的对偶命题。
例如,在格中令f是(a∨b)∧c c, 则f*是(a∧b)∨c c .格的对偶原理设f是含有格中元素以及符号=,,,∨和∧等的命题。
若f对一切格为真,则f的对偶命题f*也对一切格为真。
例如,对一切格L都有a,b∈L,a∧b a那么对一切格L都有a,b∈L,a∨b a许多格的性质都是互为对偶命题的。
有了格的对偶原理,在证明格的性质时,只须证明其中的一个命题就可以了。
2. 运算性质定理13.1设<L,>是格,则运算∨和∧适合交换律、结合律、幂等律和吸收律,即(1) a,b ∈L 有a∨b=b∨a, a∧b=b∧a(2) a,b,c∈L 有(a∨b)∨c=a∨(b∨c), (a∧b)∧c=a∧(b∧c)(3) a∈L 有a∨a=a, a∧a=a(4) a,b∈L 有a∨(a∧b)=a, a∧(a∨b)=a证(1)a∨b和b∨a分别是{a,b}和{b,a}的最小上界。
第六章 格代数

格是一种特殊的代数系统,特殊在:在代数系统中 引入了次序关系,让一个代数系统的载体具有序结构。 1847年由英国数学家G.Boole创立的布尔代数, 最初的设想是利用代数学的方法研究人类的思维规 律。经过后继者的研究,使得它与许多数学分支发 生了联系,如集合论、数理逻辑、代数系统、图论 与组合学。而到上世纪30年代突然发现它与工程技 术又有着意想不到的联系,1950年苏联的 M.A.aBрИЛoB发表了“继电器接点网络原理”,把 基于布尔代数的演算系统发展成为接点网络实用中 的通用理论。目前布尔代数已成为计算机科学的最 重要基础理论之一。
再证a≤b a∨b=b 设a≤b,而b≤b从而a∨b≤b∨b(=b) 而b≤a∨b,故a∨b=b(由≤的反对称性) 反之,设a∨b=b,而a≤a∨b 从而a≤b.
#
15
(11)定理6-1.7 a≤c a∨(b∧c) ≤(a∨b) ∧c Proof:设a≤c 则 a∨c=c Def6-2.2 而 a∨(b∧c)≤ (a∨b)∧(a∨c) 故 a∨(b∧c)≤ (a∨b)∧c 反之,设 a∨(b∧c)≤ (a∨b)∧c, 而 a≤ a∨(b∧c), (a∨b)∧c ≤c 故 a ≤c(由≤的传递性) # (12)推论 (a∧b)∨(a∧c) ≤a∧(b∨(a∧c)) a∨(b∧(a∨c)) ≤(a∨b) ∧(a∨c) Proof:在(11)中因a∧c≤a可得第一式(以a∧c代替a,a 代c);因a≤a∨c可得第二式(以a代a,以a∨c代c). #
13
(9) 定理6-1.5 a∨(b∧c) ≤(a∨b) ∧(a∨c) (a∧b)∨(a∧c) ≤ a∧(b∨c)(分配不等式) Proof:a≤a∨b a≤a∨c 故a∧a≤(a∨b) ∧(a∨c) 而a= a∧a 故a ≤(a∨b) ∧(a∨c) 另外 b∧c≤b, b≤a∨b故b∧c≤a∨b(传递性) b∧c≤c, c≤a∨c故b∧c≤a∨c(传递性) 故b∧c =(b∧c) ∧(b∧c)≤(a∨b)∧(a∨c) 从而 a∨(b∧c)≤ (a∨b)∧(a∨c)
(优选)第篇格与布尔代数

第2式证明由对偶原理从上式直接可得。
定理15-1.6 设<A, >是一个格,那么,对于任意的 a,bA, 都有:
ab(a∧b)=a(a∨b)=b
ab(a∧b)证明思路:
(1)先证 ab (a∧b)=a
由ab和a a ,根据定理15-1.2得 a a∧b
又根据a∧b的定义, 有
a∧b a
由二元关系的反对称性得 :
(优选)第篇格与布尔代数
通常用a∨b 表示{a,b}的上确界,用a∧b 表示{a, b}的下确界,∨和∧分别称为保联(join)和保交(meet) 运算。由于对任何a,b,a∨b及a∧b都是A 中确定 的成员,因此 ∨,∧均为A上的运算。
例3 设S={a,b} , (S) ={, {a},{b},{a,b}} 由格< (S), >诱导的代数系统为< (S),∨,∧> 。 其中∨为集合的并运算和∧为集合的交运算。
a∧b = a
(2) 再证 (a∧b)=a ab
设a∧b=a,则a =a∧bb ,这就证明了
(a∧b)=a ab
综合(1)和(2)得: ab(a∧b)
定理15-1.7 设<A, >是一个格,那么,对于任意的
a,b,cA, 都有: aca∨(b∧c) (a∨b)∧c
证明思路: (1)先证 ac a∨(b∧c) (a∨b)∧c 根据定理15-1.6有 ac (a∨c)=c 根据定理15-1.5有a∨(b∧c)(a∨b)∧(a∨c)
可以证明,若<A,>是格,则<A,R>也是格。 称R是的逆关系。记为。
格对偶原理可以叙述为:设P是对任意格都真的命题, 如果在命题P中把换成 ,∨换成∧,∧换成∨,就
地六章-格和布尔代数(1)

定义6.7 集合 L 中的偏序关系 R 与其逆关系 R1,称为互 相对偶的两个关系。 对任意 x, y∈L,xR1y yRx。 6.1.1 节例 6.4 中的 关系即为蕴涵关系 的逆关系。 因此,对任意 P, Q∈S, (P Q) (Q P)
【例6.7】设 n 是一个正整数,Sn 是 n 的所有因数的集合, 两个正整数的最大公因数 ,最小公倍数 可看作是 Sn 上两个代数运算,于是,(Sn, , ) 是一个格。
定理6.1 关于格的两种定义(以对应一个代数格;任意一个代 数格也都可以对应一个偏序格。
定义中没有要求 , 运算满足等幂律,实际上由 , 满足吸收律即可推出它们一定满足等幂律。任取 L 中元素
a,由 , 满足吸收律知
a(aa)=a
a(aa)=a
故
aa=a(a(aa))
aa=a(a(aa))
又由 , 满足吸收律知,上面两式的等式右端都等于 a。
因此,
aa=a
aa=a
即定义 6.3 中的 , 运算亦满足等幂律。
【例6.4】设 S 是所有的命题集合,定义 “” 关系如下: A B 当且仅当 B 蕴涵 A
则 (S, ) 是一个格。对 A, B∈S, sup{A, B}=A∧B∈S inf{A, B}=A∨B∈S
定义6.2 若格 L 的一个子集 M≠Ф 对于运算 和 封闭, 则 M 称作子格。
例如:a 是格 L 的一个固定元素,则使 X≥a(或 X≤a) 的 L 中元素 X 的集合,显然是一个子格。若 a≥b,则使 a≥X≥b 的 L 中元素 X 的集合是一个子格,这样的子格 叫作一个闭区间(商),记作 M(a,b)。
例如,S6={1, 2, 3, 6}, S24={1, 2, 3, 4, 6, 8, 12, 24}。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一、格的引入在上一章中讨论过偏序集与偏序关系时,已经把格定义为一种特殊的偏序集。
下面, 先回顾一下几个有关概念。
设<A;≤>是偏序集合, B 是A 的子集, 若任意 b∈B,b≤a,则a 是子集B 的上界。
若a′也是B 的上界, 有a≤a′,也即a是B的上界集合的最小元,这时称a 是子集B 的最小上界, 记为lub(B);类似地,若任意b∈B,a≤b,则a是B 的下界。
若a′也是B 的下界, 有a′≤a, 称a 是子集B 的最大下界, 记为glb(B)。
由最大元、最小元的唯一性可知,最大下界、最小上界若存在, 则唯一。
此外, 若b≤a 且b≠a, 则可用b<a 表示。
例子:1) 设有集合U={a, b, c}, U 的幂集P(U)上的包含关系⊆是一个偏序关系, 根据它的哈斯图(图9.5(a))可见, {a, b, c}是{a, b}和{b, c}的上界, 它也是{a, b}和{b, c} 的最小上界, {b}和∅均是{a, b}和{b, c}的下界, 其中{b}是它们的最大下界。
{a, b, c} 和{a, b}是{a, b}和{b}的上界, 其中{a, b}是最小上界。
2) 集合A={2, 3, 4, 6, 8, 12, 36, 60}上的整除关系“|”是一个偏序, 由它的哈斯图可以看出, 2 和3 没有下界, 因而没有最大下界;8 和12 没有上界, 因而也没有最小上界。
▊由上述例子可以看出:对任意一个偏序集来说, 其中每一对元素不一定都有最大下界或最小上界。
对于其中每一对元素有最大下界和最小上界的一类偏序集, 就是这里所要讨论的格。
二、格的定义和例子定义1:设<A;≤>是一个偏序集, 如果A 中任意两个元素均有最小上界和最大下界, 那么就说A 关于偏序“≤”作成一个格(Lattice), 有时直接称A 为格。
当一个格A 中的元素是有限时, 称格A 是个有限格。
对于一个有限格<A;≤>来说, A中的偏序关系可以通过偏序集A 的哈斯图表示, 这个图也称为格A 的次序图。
例子1) 偏序集<P(U);⊆>, 对于任意 S1, S2∈P(U), S1, S2⊆U, 有S1⊆S1∪S2,S2⊆S1∪S2, 并且若有子集S⊆U, 使得S1⊆S, S2⊆S, 必有S1∪S2⊆S。
因此, 对于任意 S1, S2∈P(U),lub(S1, S2)=S1∪S2;同理可得, 对于任意 S1, S2∈P(U), glb(S1, S2)=S1∩S2, 于是<P(U);⊆>是一个格。
2) 设n 是一个正整数, S n 是n 的所有因子的集合。
例如, 当n=30 时, S30={1, 2, 3, 5, 6, 10, 15, 30}。
设“|”是整除关系, 则由偏序集<S30;|>的哈斯图易知它是格。
类似地, 也容易判断<S6;|>, <S8;|>, <S24;|>也是格。
其实, 对于偏序关系“|”, S n 中子集{i,j}的最小上界就是i, j 的最小公倍数, 最大下界就是i,j 的最大公因数。
3) 设P 是所有的命题集合, “→”为蕴涵关系, 则对任意P1, P2∈P, glb(P1, P2)=P1∧P2,lub(P1, P2)=P1∨P2, 因此<P; →>是一个格。
注意, 如果偏序集<S;≤>是格, 则任意两个元素a、b 在格内存在唯一的最小上界和最大下界。
于是, 求最小上界和最大下界是格<S;≤>中的两个二元运算。
这两个运算可分别用符号“∨”、“∧”表示。
即在格<S;≤>中, 任意a, b ∈ S, lub(a,b)=a∨b,glb(a,b)=a∧b。
三、格的对偶原理及基本性质。
格的对偶原理是格的一个主要性质, 它与数理逻辑部分介绍的对偶定理是类似的, 这将有利于处理“对一切格都成立”的这一类成对出现的命题。
这里不对格的对偶原理作具体证明。
集合S 的偏序关系≤的逆关系≥也是偏序关系, 若A⊆S,其中≤的glb(A)对应于≥的lub(A),≤的lub(A)对应于≥的glb(A),所以, 若<S;≤>是格, 则<S;≥>也是格, 称这两个格互为对偶。
定理一(格的对偶原理)因为<S;≤>的∧是<S;≥>的∨, <S;≤>的∨是<S;≥> 的∧, 所以, 关于格的一般性质的任意命题P, 如用≥替换≤, 用∨替换∧, 用∧替换∨, 所得到的命题P′仍成立, 这称为格的对偶原理。
下面定理给出了格的基本性质。
定理二(格的基本性质):设<L;≤>是一个格, ∨, ∧为求任意二元素最小上界和最大下界的二元运算,则对于任意a, b, c, d∈L, 满足1) 自反性 a≤a, 对偶命题 a≥a。
2) 反对称性 a≤b 且a≥b⇒a=b 对偶命题 a≥b 且a≤b⇒a=b。
3) 传递性 a≤b 且b≤c⇒a≤c 对偶命题 a≥b 且 b≥c ⇒a≥c4) 幂等律 a∧a=a 对偶命题 a∨a=a5) 交换律 a∧b=b∧a 对偶命题 a∨b=b∨a6) 最大下界描述a∧b≤a,a∧b≤b 对偶命题 a∨b≥a,a∨b≥bc≤a,c≤b⇒c≤a∧b 对偶命题 c≥a,c≥b⇒c≥a∨b7) 结合律 a∧(b∧c)=(a∧b)∧c 对偶命题 a∨(b∨c)=(a∨b)∨c8) 吸收律 a∧(a∨b)=a 对偶命题 a∨(a∧b)=a9) a≤b⇔a∧b=a⇔a∨b=b 对偶命题 a≥b⇔a∨b=a⇔a∧b=b10) a≤c,b≤d⇒a∧b≤c∧d 且a∨b≤c∨d11) 保序性 b≤c⇒a∧b≤a∧c 且a∨b≤a∨c12) 分配不等式 a∨(b∧c)≤(a∨b)∧(a∨c) 对偶命题 a∧(b∨c)≥(a∧b)∨(a∧c)四、格的第二定义:定义2 设有代数结构<L;∧,∨>,其中是集合, ∧,∨是L 上两个二元运算, 若∧,∨均满足结合律、交换律、∧和∨吸收律, 则称<L;∧,∨>是格, 称该代数结构为格代数。
例如,幂集格<P(U);⊆>也可以认为是<P(U);∩,∪>要证明这两个定义等价,只须证明由这两个二元运算可以唯一的确定一个偏序关系即可,这里从略。
五、分配格定义3 称格< L; ∨,∧>为分配格(Distributive lattice)。
如果它满足分配律, 即对任意a,b,c ∈L,a∧(b∨c)=(a∧b)∨(a∧c) (1)a∨(b∧c)=(a∨b)∧(a∨c) (2)需要说明的是, 上述定义中的两个等式事实上是等价的, 因此可以去掉其中一个。
因为根据等式(1) 有, a∨(b∧c)=(a∨(a∧c))∨(b∧c)=a∨((a∧c)∨(b∧c))=a∨((a∨b)∧c)=((a∨b)∧a)∨((a∨b)∧c)=(a∨b)∧(a∨c), 即等式(2)。
反之, 也可以由(2)得到等式(1)。
例1设A 是任意的集合, 则幂集格<P(A);∪, ∩>为分配格。
由集合的并∪和集合的交∩的性质容易得到此结论。
例2 设<S;∨, ∧>是一个分配格, 对于任意的a, b, c∈S, 如果a∧b=a∧c, a∨b=a ∨c,则有b=c。
证明b=b∨(b∧a)=b∨(c∧a)=(b∨c)∧(b∨a)=(c∨b)∧(c∨a)=c∨(b∧a)=c∨(c ∧a)=c。
证毕。
六、格的最大元和最小元----有界格类似于偏序集, 格中也可能存在最大元、最小元, 且如果存在则惟一。
定义4设<S;∨, ∧>是一个格, 如果存在一个元素a∈S, 对于任意的x∈S, 均有x≤a(或a≤x), 则称a 是格S 的一个最大(或最小)元。
当一个格中最大元、最小元均存在时, 则称S 是个有界格。
格的最大元、最小元如果存在, 其惟一性是容易证明的。
设a, b 是格S 的两个最大元素, 则有a≤b 和b≤a。
而<S;≤>是个偏序集, 所以由反对称性知a=b。
于是格L 中最大元是惟一的。
同理, 可证最小元素也必定是惟一的。
如果格的最大元、最小元如果存在, 通常用1 来表示这个惟一的最大元, 用0 来表示这个最小元。
例在幂集格<P(A);∪, ∩>中, 1=A, 0=∅。
七、有补格定义5 设< L;∨,∧>为有界格, a 为L 中一元素, 如果a∨b=1, a∧b=0,则称b 为a 的补元或补( Complements ). 有界格< L, ∨,∧>称为有补格(Complemented lattice) 如果L 中每个元素都有补元。
显然, 补元是相互的, 即b 是a 的补元, 那么a 也是b 的补元。
此外, 0 和1 互为补元。
有补格中, 元素0, 1 的补元是惟一的。
假设a 也是1 的补元, 那么a∧1=0,即a=0. 因此1 的补元仅为0. 同样0 的补元仅为1 。
例幂集格<P(A);∪, ∩>是一个有补格。
P(A)含有最大元素1(=A), 最小元素0(=∅), 于是<P(A);∪, ∩>是一个有界格, 对于任意A1∈P(A), 则有A-A1=B∈P(A)满足A1∪B=A, A1∩B=∅, 于是A1 有补元A-A1∈P(A), 故<P(A);∪, ∩>是有补格。
八、布尔代数定义6 如果格<L;∨, ∧>既是分配格, 又是有补格, 则称为布尔代数(也称为有补分配格或布尔格), 如果一个布尔代数的元素是有限的, 则称它是一个有限布尔代数。
例如,幂集格< P(A);∪, ∩>就是一个有补分配格。
容易证明有补分配格中每个元素的补都是唯一的。
于是, 求补运算“′”是一个布尔代数S 中的一个一元运算。
这样, 布尔代数L 是一具有两个二元运算∨, ∧, 一个一元运算′(求补)的代数结构。
以后用<L;∨, ∧, ′>或<L;+, •, ->来表示布尔代数。
也常常用<L;∨, ∧, ′,0,1>或<L;+, •, -, 0, 1>来表示布尔代数, 其中0, 1 分别为最小元、最大元。
代数是个有补分配格, 从而关于格、分配格和有补格中成立的一切性质或运算定律在一个布尔代数中也都成立, 包括交换律、结合律、等幂律、吸收律、分配律、同一律、零一律、互补律、对合律以及德·摩根律等。
下面的定理3 指出了有补分配格中补运算的部分性质。
定理3 设<S;∨, ∧>是一个有补分配格, 则有:1) 对合律成立, 即对于S 中任意元素a 有(a′)′=a;2) 德·摩根律成立, 即对于任意a, b∈S, 有:(a∨b)′=a′∧b′, (a∧b)′=a′∨b′3) 对于任意a, b∈S, 有:(a≤b)⇔(a∧b′=0)⇔(a′∨b=1)。