离散数学格与布尔代数
离散数学答案 第十章 格和布尔代数

第十章格和布尔代数习题10.1 1.解 ⑴不是,因为L 中的元素对{2,3}没有最小上界;⑵是,因为L={1,2,3,4,6,9,12,18,36}任何一对元素a ,b ,都有最小上界和最大下界;⑶是,与⑵同理;⑷不是,因为L 中的元素对{6,7}没有最小上界不存在最小上界。
2.证明 ⑴因为,a ≤b,所以,a ∨b=b ;又因为,b ≤c,所以,b ∧c=b 。
故a ∨b=b ∧c ;⑵因为,a ≤b ≤c,所以,a ∧b=a,b ∧c=b,而a ∨b=b ,因此,(a ∧b )∨(b ∧c )=b ;又a ∨b=b,b ∨c=c,而b ∧c=b, 因此,(a ∨b )∧(b ∨c )=b 。
即(a ∧b)∨(b ∧c)=(a ∨b)∧(b ∨c)。
习题10.21.解 由图1知:<S 1,≤>不是<L,≤>的子格,这是因为,e ∨f=g ∉S 1;<S 2,≤>不是<L,≤>的子格, ∵e ∧f=c ∉S 2;<S 3,≤>是<L,≤>的子格.2.解 S 24的包含5个元素的子格有如下的8个:S 1={1,3,6,12,24}, S 2={1,2,6,12,24}, S 3={1,2,4,12,24}, S 4={1,2,4,8,24},S 5={1,2,3,6,12}, S 6={1,2,4,6,12}, S 7={2,4,6,12,24}, S 7={2,4,8,12,24}.3.证明 因为,一条线上的任何两个元素都有(偏序)关系,所以,都有最大下界和最小上界,故它是格,又因为它是<L ,∨,∧>的子集,即是<L ,∨,∧>的子代数,故是子格。
4.证明 由(10-4)有,a ∧b ≤a ,由已知a ≤c ,由偏序关系的传递性有,a ∧b ≤c ;同理 a ∧b ≤d 。
由(10-5)和以上两式有,a ∧b ≤c ∧d .5.证明 因为由(10-4)有,a ∧b ≤a ,因此,(a ∧b )∨(c ∧d )≤a ∨(c ∧d ) ①由分配不等式有,a ∨(c ∧d )≤(a ∨c )∧(a ∨d ) ②再由由(10-4)有,(a ∨c )∧(a ∨d ) ≤a ∨c ③由偏序关系的传递性和①②③则有,(a ∧b )∨(c ∧d )≤a ∨c同理 (a ∧b )∨(c ∧d )≤b ∨d因此有, (a ∧b )∨(c ∧d )≤(a ∨c ) ∧(b ∨d )。
离散数学第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 格的概念
离散数学第五章格与布尔代数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}的最小上界。
离散数学(第二版)第7章格和布尔代数和

离散数学(第二版)第7章格和布尔代 数和
第七章 格和布尔代数
7.1 格 与 子 格
本章将讨论另外两种代数系统——格与布尔代数, 它 们与群、 环、 域的基本不同之处是: 格与布尔代数的基集 都是一个偏序集。 这一序关系的建立及其与代数运算之间 的关系是介绍的要点。 格是具有两个二元运算的代数系统, 它是一个特殊的偏序集, 而布尔代数则是一个 特殊的格。
于是, 我们有下列对偶原理。
第七章 格和布尔代数
定理7.1.2 如果命题P在任意格〈L, 〉上成立, 则
将L中符号∨, ∧,
∧, ∨,
P*在任意格〈L, 〉上也成立, 这里P*称为P的对偶式。
在上述对偶原理中, “如果命题P在任意格〈L, 〉
上成立”的含义是指当命题P中的变量取值于L中, 且上确
界运算为∨, 下确界运算为∧, 则P对于它们也成立。
第七章 格和布尔代数
再设a=a∧b, 则a∨b=(a∧b)∨b=b(由吸收律), 即
a∨b=b。
最后, 设b=a∨b, 则由a a∨b可得a b。
因此, (1)中3个命题的等价性得证。
(2) 因为 a a∨b, a a∨c, 故a (a∨b)∧(a∨c)。 又
因为
b∧c b a∨b b∧c c a∨c
条件是b a, 则〈L, 也是偏序集。 我们把偏序集〈L, 和〈L, 称为是相互对偶的。 并且它们所对应的哈
斯图是互为颠倒的。 关于格我们有同样的性质。 定理7.1.1 若〈L, 是一个格, 则〈L, 也是一
个格, 且它的并、 交运算∨r, ∧r对任意a, b∈L满足 a∨rb=a∧b,a∧rb=a∨b
证明 先证幂等性成立。 由吸收律知 a∧a=a∧(a∨(a∧b))=a a∨a=a∨(a∧(a∨b))=a
离散数学-格和布尔代数

的次序图如下
-1 的次序图如下
6 2 1 3 2
1 3 6
若 < L; > 是一个偏序集,则对于任意元素 l1, l2, l3 L,有以 下六个关系式成立: l1 l1 若 l1 l2,l2 l1,则 l1 = l2 若 l1 l2,l2 l3,则 l1 l3 l1 l1 若 l1 l2,l2 l1,则 l1 = l2 (7-1) (7-2) (7-3) (7-1) (7-2)
60以上说明与格一样布尔代数也是一个代数系统该代数系统可取交换律分配律同一律和互补律作为公二元运算是一元运算若这些运算满足交换律分配律同一律和互补律则称称作集合代数它是一个布尔代数
第二部分 抽象代数
0
第七章
格和布尔代数
格是 Birkhoff (1884 - 1944) 在 20 世纪 30 年代提出的,格的提出 以子集为背景。 历史上最初出现的格是英国数学家 George Boole 于 1854 年提出 的,是他在研究命题演算中发现的,通常称为布尔格或布尔代 数。 格和布尔代数的理论成为计算机硬件设计和通讯系统设计中的 重要工具。格论是计算机语言的指称语义的理论基础。格是一 种特殊的偏序集,也可以看作是有两个二元运算的代数系统, 布尔代数是一种特殊的格。在保密学、开关理论、计算机理论 和逻辑设计以及其他一些科学和工程领域中,都直接应用了格 与布尔代数。 1
7.2 格及其性质
一、格的定义
定义7-5 设 < L; > 是一个偏序集,如果 L 中任意两个元素都 存在着最大下界和最小上界,则称 < L; > 是格。 由于每对元素的最大下界和最小上界唯一,故引入记号: l1 l2 = glb(l1, l2),l1 l2 = lub(l1, l2), 其中 和 均可看作是集合 L 上的二元运算,分别称为交和并。 注:若 < L; > 是一个格,则意味着 < L; > 也是一个形为 < L; , > 的代数系统,其中 和 是 L 上的两个二元运算, 对于任意 l1, l2 L,l1 l2 表示在偏序 “ ” 意义下,l1 和 l2 的最小上界,l1 l2 表示 l1 和 l2 的最大下界。
离散数学布尔代数

一个非零元素b,至少存在一个原子a,使得a ≤ b。 1
证明:若b本身就是一个原子,则b ≤ b,得证。c
df
若b不是原子,肯定存在b1,使得0 ≤ b1 ≤ b, a
be
若b1是原子,则定理得证;
0
否则,若b1不是原子,则必存在b2,使得0 ≤ b2 ≤ b1 ≤ b
∵<A, ≤>是一个有全下界的有限格,
定理1:对于布尔代数中任意两个元素 a, b,必定有
(1) ( a ) = a, (2) a∨b = a∧b , (3) a∧b = a∨b
3
❖ 布尔代数
定义3:设<A,∨1,∧1, - > 和<B,∨2,∧2, ~ >是两个布尔代数, 如果存在A到B的双射 f,对于a,bA,有
f (a∨1b) = f (a) ∨2 f (b)
2、对a,bA,有 f (a∧b) = f (a)∩f (b)
9
❖ 格与布尔代数
定理3 ( Stone表示定理 ) :
设<A,∨,∧, - >是由有限布尔格<A, ≤>所诱导的一个有 限布尔代数,S是布尔格<A, ≤>中的所有原子的集合,则 < A,∨,∧, - >< P(S),∪,∩, ~ >同构。 分析:要证两个代数系统同构,分为以下几步:
1、找一个双射函数 f: A P(S)
∴a ≤ c ,又∵a ≤ c, ∴a ≤ c ∧ c,即 a ≤ 0,
这与a是原子相矛盾, ∴假设错
∴b ∧ c = 0,由引理1得: b≤c ∴b=c,即:b= a1∨a2∨... ∨ak
7
❖ 格与布尔代数
证明(2):设b的另一种表示形式为 b = aj1∨aj2∨... ∨ajt 其中aj1,aj2,……,ajt是A中原子。∵b是 aj1,aj2,……,ajt 的最小上界, ∴有aj1≤b, aj2≤b,…,ajt≤b,而a1,a2,……,ak是A中满足 a j ≤b的所有原子, {aj1,aj2,…,ajt}是{a1,a2,…,ak}的子集,即 |{aj1,aj2,…,ajt}|<=|{a1,a2,…,ak}|, 即:t ≤ k。(下面证 t < k 是不可能的)
离散数学格与布尔代数

6
<S15,|>,
2
2019/10/12
30
10
15
3
5
1
§7.1 格
例 判断图中的哈斯图表示的偏序集是否构成格,说明为什么。
d c
b a
(a)
e d
c b
a (b)
f
d
e
d
e
c
b
c
a (c)
a
b
(d)
e
c
d
a
b
(e)
2019/10/12
§7.1 格
例 设Z+为正整数集合,对于a,b Z+,关系“≤”定义为: a≤b当 且仅当a整除b。则偏序集<Z+,≤>构成格,
Input A B Cin
00 0 00 1 01 0 01 1 10 0 10 1 11 0 11 1
Output S Cout
00 10 10 01 10 01 01 11
S A BCin A BCin A BCin A BCin
Cout A B Cin A B Cin A B Cin A B Cin
§7.2 格——代数系统
证〈L,≤〉为要求的格
a,b∈L,(a * b)* a = a*(a * b)=(a * a)*b=a*b,
故a*b≤a,
L3
L1
同理a*b≤b,因此a*b是{a,b}的下界,
又设c是{a,b}的任一下界,即c≤a,c≤b,则a * c=c,b * c=c,于是(a * b)* c=a *(b * c)=a * c=c,即c≤a * b, 所以a * b是{a,b}的最大下界,即a * b=inf{a,b},
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
记法 将格L的全下界记为0,全上界记为1。
有界格
定义11.7 设L是格,若L存在全下界和全上界,则称L为有界格, 并将L记为<L,∧,∨,0,1>。
说明 有限格L一定是有界格。
举例 设L是n元格,且L={a1,a2,…,an},那么a1∧a2∧…∧an是L的 全下界,而a1∨a2∨…∨an是L的全上界。因此L是有界格。 对于无限格L来说,有的是有界格,有的不是有界格。 如集合B的幂集格<P(B),∩,∪>,不管B是有穷集还是无穷集, 它都是有界格。它的全下界是空集,全上界是B。 整数集Z关于通常数的小于或等于关系构成的格不是有界格, 因为不存在最小和最大的整数。
{a,c,b,e,f}是L3的子格,也同构于钻石格。
格的全下界和全上界
定义11.6 设L是格, 若存在a∈L使得x∈L有a≤x,则称a为L的全下界;
若存在b∈L使得x∈L有x≤b,则称b为L的全上界。
命题 格L若存在全下界或全上界,一定是唯一的。 证明 以全下界为例,假若a1和a2都是格L的全下界, 则有a1≤a2和a2≤a1。 根据偏序关系的反对称性必有a1=a2。
例11.3
例11.3 设G是群,L(G)是G的所有子群的集合。即 L(G)={ H|H≤G } 对任意的H1,H2∈L(G),H1∩H2也是G的子群,而<H1∪H2>是由 H1∪H2生成的子群(即包含着H1∪H2的最小的子群)。 在L(G)上定义包含关系,则L(G)关于包含关系构成一个格, 称为G的子群格。 易见在L(G)中,H1∧H2就是H1∩H2,H1∨H2就是<H1∪H2>。
(13.1)
(a∨b)∨c≥a∨b≥b (13.2) (a∨b)∨c≥c (13.3) 由式13.2和13.3有 (a∨b)∨c≥b∨c (13.4) 再由式13.1和13.4有 (a∨b)∨c≥a∨(b∨c) 同理可证 (a∨b)∨c≤a∨(b∨c) 根据偏序关系的反对称性有 (a∨b)∨c=a∨(b∨c) 由对偶原理,(a∧b)∧c=a∧(b∧c)得证。
11.2 分配格、有补格与布尔代数
一般说来,格中运算∨对∧满足分配不等式, 即a,b,c∈L,有 a∨(b∧c)≤(a∨b)∧(a∨c) 但是不一定满足分配律。满足分配律的格称为分配格。
定义11.5 设<L,∧,∨>是格,若a,b,c∈L,有
a∧(b∨c)=(a∧b)∨(a∧c) a∨(b∧c)=(a∨b)∧(a∨c)
由 a≤a,b∧c≤c 得
a∨(b∧c)≤a∨c 从而得到 a∨(b∧c)≤(a∨b)∧(a∨c)
说明 在格中分配不等式成立。
一般说来,格中的∨和∧运算并不是满足分配律的。
本节小结
偏序集构成格的条件:任意二元子集都有最大下界和最 小上界。
格的实例:正整数的因子格,幂集格,子群格。
格的性质:对偶原理,格中算律(交换、结合、幂等、 吸收),保序性,分配不等式。
中国地质大学本科生课程
离散数学
第11章 格与布尔代数
本章内容
11.1 格的定义与性质 11.2 分配格、有补格与布尔代数 本章总结 作业
11.1 格的定义与性质
定义11.1 设<S,≤>是偏序集,如果x,y∈S,{x,y}都有最小 上界和最大下界,则称S关于偏序≤作成一个格(lattice)。
为证a*b是{a,b}的最大下界, 先证 ab=b a*b=a (13.7) 首先由ab=b 可知 a*b =a*(ab) =a 反之由a*b=a 可知 ab =(a*b)b =b(b*a) =b
再由式(13.7)和≤的定义有 a≤b a*b=a, 依照前边的证明, 类似地可证 a*b是{a,b}的最大下界, 即 a∧b=a*b。
a∨0=a 和 a∧1=a 互为对偶命题。
有界格中的补元
(a∨b)∨c=a∨(b∨c)
(3)幂等律 a∈L 有 a∨a=a (4)吸收律 a,b∈L 有 a∨(a∧b)=a
(a∧b)∧c=a∧(b∧c)
a∧a=a a∧(a∨b)=a
定理11.1
(1)a∨b和b∨a分别是{a,b}和{b,a}的最小上界。 由于{a,b}={b,a},所以a∨b=b∨a。 由对偶原理,a∧b=b∧a得证。 (2)由最小上界的定义有 (a∨b)∨c≥a∨b≥a
格作为代数系统的定义。
格的证明方法
子格
定义11.4 设<L,∧,∨>是格,S是L的非空子集,若S关于L中 的运算∧和∨仍构成格,则称S是L的子格。 例11.6 设格L如右图所示。令 S1={a,e,f,g} S2={a,b,e,g} 则S1不是L的子格,S2是L的子格。 因为对于e和f,有e∧f=c, 但cS1。
例11.2
例11.2 判断下列偏序集是否构成格,并说明理由。 (1) <P(B),>,其中P(B)是集合B的幂集。
(2) <Z,≤>,其中Z是整数集,≤为小于或等于关系。
(3) 偏序集的哈斯图分别在下图给出。
例11.2
解答 (1)是格。 x,y∈P(B),x∨y就是x∪y,x∧y就是x∩y。
五角格
分配格的判别
定理11.5 设L是格,则L是分配格当且仅当L中不含有与钻石 格或五角格同构的子格。
证明 略。
推论 (1) 小于五元的格都是分配格。 (2) 任何一条链都是分配格。
例11.8
说明下图中的格是否为分配格,为什么?
L1, L2和L3都不是分配格。 {a,b,c,d,e}是L1的子格,并且同构于钻石格。 {a,b,c,e,f}是L2的子格,并且同构于五角格。
有界格的性质
定理(补充) 设<L,∧,∨,0,1>是有界格,则a∈L有 a∧0=0 a∨0=a
a∧1=a
说明 在有界格中,
a∨1=1
证明 由 a∧0≤0 和 0≤a∧0 可知 a∧0=0。 全下界0是关于∧运算的零元,∨运算的单位元。 全上界1是关于∨运算的零元,∧运算的单位元。 对偶原理 对于涉及到有界格的命题,如果其中含有全下界0或 全上界1,在求该命题的对偶命题时,必须将0替换成1,而 将1替换成0。 例如 a∧0=0 和 a∨1=1 互为对偶命题,
则称L为分配格。
说明 上面两个等式互为对偶式。 在证明L为分配格时,只须证明其中的一个等式即可。
例11.7
钻石格
L1和L2是分配格,L3和L4不是分配格。 在L3中, 在L4中, b∧(c∨d) =b∧e=b (b∧c)∨(b∧d)=a∨a=a c∨(b∧d) =c∨a=c (c∨b)∧(c∨d)=e∧d=d
那么对一切格L都有
a,b∈L,a∨b≥a
说明 许多格的性质都是互为对偶命题的。 有了格的对偶原理,在证明格的性质时, 只须证明其中的一个命题即可。
格的运算性质
定理11.1 设<L,≤>是格,则运算∨和∧适合交换律、结合 律、幂等律和吸收律,即 (1)交换律 a,b∈L 有 a∨b=b∨a (2)结合律 a,b,c∈L 有 a∧b=b∧a
定理11.2
a,b,c∈S 有 aRb且bRc ab=b 且 bc=c ac=a(bc) ac=(ab)c
ac=bc=c
aRc 这就证明了R在S上是传递的。
综上所述,R为S上的偏序。
以下把R记作≤。
定理11.2
(3) 证明<S,≤>构成格。 即证明a∨b=ab,a∧b=a*b 。 a,b∈S 有 a(ab)=(aa)b=ab
格的性质
定理11.3 设L是格,则a,b∈L 有 a≤b a∧b=a a∨b=b
证明 先证 a≤b a∧b=a
由a≤a和a≤b可知,a是{a,b}的下界, 故a≤a∧b。显然又有a∧b≤a。 由反对称性得a∧b=a。 再证 a∧b=a a∨b=b。 根据吸收律有 b=b∨(b∧a) 由a∧b=a得 b=b∨a, 即a∨b=b。 最后证a∨b=b a≤b。
格的等价定义
根据定理11.2,可以给出格的另一个等价定义。 定义11.3 设<S,*,>是代数系统,*和是二元运算,如果*和满 足交换律,结合律和吸收律,则<S,*,>构成一个格(lattice)。 说明 格中的幂等律可以由吸收律推出。 以后我们不再区别是偏序集定义的格, 还是代数系统定义的格,而统称为格L。
b(ab)=a(bb)=ab 根据≤的定义有 a≤ab和b≤ab, 所以ab是{a,b}的上界。 假设 c为{a,b}的上界, 则有ac=c和bc=c,从而有 (ab)c = a(bc) = ac = c 这就证明了ab≤c, 所以ab是{a,b}的最小上界,即 a∨b=ab
定理11.1
(3)显然a≤a∨a, 又由a≤a可得 a∨a≤a。
根据反对称性有 a∨a=a,
由对偶原理,a∧a=a 得证。 (4)显然 a∨(a∧b)≥a a∨(a∧b)≤a (13.5) (13.6) 又由 a≤a,a∧b≤a 可得
由式13.5和13.6可得
a∨(a∧b)=a,
根据对偶原理,a∧(a∨b)=a 得证。
定理11.2
定理11.2 设<S,*,>是具有两个二元运算的代数系统,若对 于*和运算适合交换律、结合律、吸收律,则可以适当定 义S中的偏序≤,使得<S,≤>构成一个格,且a,b∈S有 a∧b=a*b,a∨b=ab。 思路 (1)证明在S中*和运算都适合幂等律。
(2)在S上定义二元关系R,并证明R为偏序关系。
由a≤a∨b得 a≤a∨b=b。
格的性质
定理11.4 设L是格,a,b,c,d∈L,若a≤b且c≤d,则
a∧c≤b∧d,
证明 a∧c≤a≤b a∧c≤c≤d 因此, a∧c≤b∧d。 同理可证 a∨c≤b∨d。
a∨c≤b∨d