离散数学格与布尔代数
离散数学答案 第十章 格和布尔代数
第十章格和布尔代数习题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},
离散数学 第9讲 格
一、格的两种定义
定理2:如果<L, *,⊕>是代数格,定义L上一个二元关系≤如下,即 对∀a,b∈L, a≤ba*b=aa⊕b=b,则<L, ≤>是偏序格。
证明:
(2) 对任意a,b∈L,{a,b}均有上确界和下确界,下面只证有下确界 a*b即为{a,b}的下确界: ① 先证下界 (a*b)*a = a*(b*a)= a*(a*b) = (a*a)*b = a*b,即 (a*b)*a = a*b,则a*b ≤a; 同理可得(a*b)*b = a*b,则a*b≤b. ②证明对{a,b}的任一下界c,有c≤ a*b,即c*(a*b) = c.设c是{a,b} 的任意下界,即有c≤a且c≤b,则有c*a=c且c*b=c.而 c*(a*b)=(c*a)*b=c*b=c,即c*(a*b)=c,所以有c≤a*b。
一、格的两种定义
例3(1):S={a,b,c}, <ρ(S),∩,∪>为代数格,∀A,B∈ρ(),
A≤B A∩B=A A包含于B
所以<ρ(S),∩,∪>诱导的偏序格是 <ρ(S),包含于>. 例3(2):X={A|A是由变元p1,p2,…,pn, ﹁,∧,∨,→,构成的合 式公式集。∀P,Q∈X, P≤Q P∧Q=PPQ <X,∧,∨>诱导的偏序格是 <X, >。
保联
(a,b的最大公约数) (a,b的最小公倍数)
一、格的两种定义
代数格的定义: 设<L, *,⊕>是代数系统,*和⊕是载体L上的二元运算,若满足 (1)交换律 a * b=b * a a⊕b=b⊕a (2)结合律 a *(b * c)=(a * b) * c a⊕(b⊕c)=(a⊕b)⊕c (3)吸收律 a⊕(a * b)=a a * (a⊕b)=a 则称<L,*,⊕>是代数格。
离散数学课件_7 格与布尔代数
有限布尔代数同构于某个集合上的幂集构 成的布尔代数;
两个有限布尔代数同构当且仅当它们所含 的元素个数相同.
返回本章首页
5 2019/12/4
本章小结
第七章 格与布尔代数
布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识,应掌握格与布尔代数的一般理论和方法, 除§3 Stone定理的证明细节可根据具体情 况删减外,其他内容应很好地掌握.
返回首页
1 2019/12/4
本章我们介绍了代数格、偏序格,并证 明了这两种格的等价性,此外我们还介 绍了对偶原理、分配格、有补格、布尔 代数等概念.布尔代数是数字逻辑的基 础、在学习数字逻辑时会更深刻地体会 到布尔代数在计算机中的应用.
返回本章首页
6 2019/12/4
第一节 格的概念(1)
格有两种等价的定义:一种是从偏序集 的角度给出格的定义,这种定义可以借 助哈斯(Hasse)图来表示,因而比较 直观,易于理解,这样定义的格称为偏 序格;另一种是从代数系统的角度来给 出格的定义,这种定义方法我们在上一 章的群、环的定义中已有所体会,用代 数系统的方法定义的格称为代数格.
主要概念有:有界格、余元素(或补元素) 、 有余格、分配格等.
主要结论有: 1.格的基本性质(见教材定理7.2.1); 2.序集构成的格是分配格; 3.在有界分配格中,若某个元素有补元,
则补元惟一.ຫໍສະໝຸດ 返回本章首页4 2019/12/4
第三节 布尔代数
离散数学9-格与布尔代数
17
定理4: 设<A, ∨, ∧>是格,对任意a, b, cA,有 (1)若a≤b和c≤d,则a∧c≤b∧d,a∨c≤b∨d (2)若a≤b,则a∧c≤b∧c,a∨c≤b∨c
18
证明:(1)如果a≤b,又b≤b∨d, 由传递性得 a≤b∨d, 类似由c≤d, d≤b∨d,由传递性得 c≤b∨d,这说明b∨d是{a, c}的上界,而a∨c是{a, c}的最小上界,所以a∨c≤b∨d。类似可证 a∧c≤b∧d。
则称b是a的补元,记为a′。若b是a的补元,则a也是b的补 元,即a与b互为补元。 一般说来,一个元素可以有其补元 ,未必唯一,也可能无补元。0′=1和1′=0。
37
定义12: 在有界格中,如果每个元素都有补元,则称格是有 补格。
由于补元的定义是在有界格中给出的,可知,有补格一定是 有界格。
38
定理11: 在有界分配格中,如果某元素有补元,则补元是唯 一的。
34
定理9: 设<A, ∧,∨, 0, 1>是有界格,则对于A中任意元素 a 都有 a∨1 = 1 a∧1 = a a∨0 = a a∧0 = 0
1称为全上界或最大元,0称为全下界或最小元。
图9-6中(a)(b)(c)都有最大元和最小元,所以都是有界格。
35
定理10: 有限格必定是有界格。
36
定义11: 设<A,∨,∧>是有界格,aA,如果存在bA使得 a∨b = 1 a∧b = 0
31
定义8: 设<A,∨,∧>是格,如果A中存在元素a,使得对于A中 任意元素x 都有a≼x,则称a为格(A , ≤)的全下界,用0表 示。如果L中存在元素 a, 使得对于L中任意元素 x 都有 x≼a则称a为格(A , ≤)的全上界,用1表示。全下界即是格 的最小元,是唯一的。全上界即是格的最大元,是唯一的 。
离散数学 第五章 格与布尔代数
由于这里的*和⊕就是上面格中的*运算和⊕运算,故有
a*b=glb{a,b}= GLB{a,b} a⊕b=lub{a,b}= LUB{a,b}
下面证明半序关系≤等于半序关系≤’。 1)若a≤b,则有GLB{a,b}=a ,又因为a*b=GLB{a,b}, 故有a*b=a,即a≤’b,由(a,b) 的任意性知≤ ≤’。 2)若a≤’b,则有a*b=a ,又因为a*b=GLB{a,b},故有 a=GLB{a,b},由下确界的定义知有a≤b,由(a,b)的任意性知 ≤’ ≤。
例2. 设I是整数集合, a,b∈I, 定义运算*和⊕如下: a*b=min{a,b} a⊕b=max{a,b} 则<I, *,⊕>是代数系统。 1)由于 a∈I, a*a=min{a,a}=a a⊕a=max{a,a}=a
故由定义1知,*和⊕运算均满足幂等律。 2)任取a,b∈I,由于有
a*(a⊕b)=min{a,max{a,b}}=a
由集合相等的定义知≤’=≤,即≤和≤’是同一个半序关 系。
由此可知,格与任意两个元素有上、下确界的半序集 是等价的,即格就是格。于是得到 格的另一种等价的定义。
定义3’ 设<L, ≤>是半序集,若L中的任意两个元素有上、 下确界存在,则称<L, ≤>是格。 由于定义3和定义3’的等价性,以后关于格,既可以用 <L,*,⊕>表示,也可以用 表示。当用<L,*,⊕>表示时,半序 关系是用a*b=a或a⊕b=b定义的。当用<L, ≤>表示时,两个运 算是用
故*运算和⊕运算满足结合律。
2)由于 a,b∈I,有 a*b=min{a,b}=min{b,a}=b*a a⊕b=max{a,b}=max{b,a}=b⊕a 故*运算和⊕运算满足交换律。
离散数学第七章格与布尔代数
contents
目录
• 格的概述 • 布尔代数 • 格与布尔代数的应用 • 格与布尔代数的关系 • 格与布尔代数的扩展知识
01
CATALOGUE
格的概述
格的定义与性质
定义
格是一个有序的二元组(L,≤),其中L 是非空集合,≤是L上的二元关系, 满足自反性、反对称性和传递性。
布尔代数性质
布尔代数具有一些基本性质,如交换 律、结合律、吸收律等,这些性质使 得布尔代数成为逻辑推理和电路设计 等领域的重要工具。
布尔代数的运算
逻辑与运算
逻辑与运算用符号"∧"表示,表示两个逻辑量同时 为真时结果才为真。
逻辑或运算
逻辑或运算用符号"∨"表示,表示两个逻辑量至少 有一个为真时结果才为真。
布尔代数的扩展运算
布尔函数的复合
01
通过将两个或多个布尔函数连接在一起,形成更复杂的布尔函
数。
布尔函数的展开
02
将一个复杂的布尔函数分解为简单的布尔函数,以便更好地理
解和分析。
布尔函数的化简
03
通过消除冗余的输入和输出,简化布尔函数的表示。
格与布尔代数在其他领域的应用
计算机科学
01
格与布尔代数在计算机科学中有着广泛的应用,例如
布尔代数用于描述命题逻辑和谓词逻辑中的各种关系和运算,而格理论则用于描述集合论和集合运算。
格与布尔代数的理论框架为逻辑推理提供了数学基础,有助于深入研究和理解逻辑推理的本质和规律。
计算机科学中的应用
01 02 03 04
计算机科学是离散数学的另一个重要应用领域,其中格与布尔代数在 计算机算法、数据结构和程序设计语言等方面有广泛应用。
离散数学--十一章格与布尔代数
离散数学--⼗⼀章格与布尔代数格的定义与性质:布尔代数是计算机逻辑设计的基础,它是由格引出的。
格⼜是从偏序集引出的。
所以我们先回顾⼀下偏序集中的⼀些概念。
偏序集简单来说就是集合A中有⾃反,反⾃反,传递的关系具体可以看第七章我们结合Hasse图看如下关系:假如 A={1,2,3,6,12,24,36} 且有如下关系如果:B={2,3,6}最⼤|⼩元定义:y是B的最⼩元⇔∃y∈B∧∀x(x∈B→y≤x)y是B的最⼤元⇔∃y∈B∧∀x(x∈B→x≤y)最⼤|⼩元是唯⼀的(类⽐函数的最值)⽽极⼤|⼩元不唯⼀B最⼤元6 ,最⼩元⽆B中Hasse图的最底(顶)层,且这⼀层只有⼀个点才能是最⼩(⼤)元极⼤|⼩元定义:y是B的极⼩元⇔∃y∈B∧¬∃x(x∈B∧x≤y)y是B的极⼤元⇔∃y∈B∧¬∃x(x∈B∧y≤x)这⾥⾯B的极⼩元是 {2,3},极⼤元是 {6}B中Hasse图的最底(顶)层,则是极⼩(⼤)元上下界定义:y是B的下界⇔∃y∈A∧∀x(x∈B→y≤x)y是B的上界⇔∃y∈A∧∀x(x∈B→x≤y)⽐如 B上界 {12,24,36} 下界 {1}Hasse图中B的最底(顶)层,包括这⼀层和这⼀层下⾯(上⾯)的所有元素构成的集合则是下(上)界确界定义:B的上确界(最⼩上界)下确界(最⼤下界)就是上界的min,下界的max结合Hasse 图理解若B={2,3,6} 有如上图的关系格讲这么多终于到格的定义了其实只要⼀个偏序集中任意⼦集都有上下确界就是格了莫名很简洁暗⽰判断格要疯狂枚举格诱导的代数系统交并运算设<A, ≤>是格,在A上定义⼆元运算∨和∧为:∀a,b∈Aa∨b=LUB {a,b} |{a,b}的最⼩上界.Least Upper Bounda∧b=GLB {a,b} |{a,b}的最⼤下界.Greatest Lower Bound称<A,∨,∧>是由格<A,≤>诱导的代数系统. (∨-并,∧-交)就是⽤符号定义了上下确界⽽已并且有:设<L, ≼>是格则有运算∨和∧适合交换律、结合律、幂等律和吸收律<==> 设<S, ∗, ◦ >是代数系统, ∗和◦是⼆元运算, 如果∗和◦满⾜交换律、结合律和吸收律, 则<S, ∗,◦>构成格.注意⼀下吸收率就好了:a∨(a∧b) = a, a∧(a∨b) = a各种格分配格如果交并还满⾜分配率就叫分配格有界格如果B是A时仍有上下确界则此时的格为有界格,这个确界分别称为全上|下界⼀般将全上界记为1 ,全下界记为0,⼀般将有界格L记为<L,∧,∨,0,1>.有限格L={a1,a2,…,an}是有界格, 则a1∧a2∧…∧an是L的全下界, a1∨a2∨…∨an是L的全上界.0是关于∧运算的零元,∨运算的单位元;1是关于∨运算的零元,∧运算的单位元.有补格有补元的格称为有补格a∧b = 0 和 a∨b = 1成⽴, 则称b是a的补元在任何有界格中, 全下界0与全上界1互补对于⼀般元素, 可能存在补元, 也可能不存在补元. 如果存在补元, 可能是惟⼀的, 也可能是多个补元.对于有界分配格, 如果元素存在补元, ⼀定是惟⼀的⼦群格没有特别懂对⼀个群先找出它的所有⼦群⽐如Z12 <0>,<1>,<2>,<3> ,<6>就是所有⼦群|也满⾜格的定义?也是⼦格然后再画所有⼦群(⼦格)的Hasse图就⾏了布尔代数本质上就是⼀个集合如果⼀个格是有补分配格, 则称它为布尔格或布尔代数. 布尔代数标记为<B,∧,∨,′, 0, 1>, ′为求补运算这⾥⾯的 ' 的运算规律相当于 ‘否’(a' )' =a∀a,b∈B, (a∧b)′ = a′∨b′, (a∨b) ′= a′∧b′(0∧b)∨(a∧0) = 0∨0 = 0(1∨b′)∧(a′∨1) = 1∧1 = 1(a∧b)∧(a′∨b′) = (a∧b∧a′)∨(a∧b∧b′)注意⼀下:Sn代表 n的因⼦所构成的集合|别到时候不知道⽐如 s6={1,2,3,6}。
离散数学第09章 格和布尔代数
在定义9.1.10中,若f是双射函数,则称f是 格同构。或称<L,,*>和<S,,>两个格同构。 由于同构是相互的,又是保序的,故对任意 a,bL,有
a≤bf(a)≤’f(b) 和
f(a)≤’f(b)a≤b 这表明同构的两个格的哈斯图是一样的, 只是各结点的标记不同而已。
定义9.1.11 设<L,,*>和<S,,>是格,定 义一个代数结构<LS,+,o>如下:
9.3 子布尔代数、积布尔代数 和布尔代数同态
把子代数、积代数和同态的概念应用 到布尔代数上,便得到了相应论题,本节 不准备详尽叙述它,仅就其特点讨论之。
定义9.3.1 给定布尔代数<B,,⊙,’, 0,1>,≠TB,若T对所有运算封闭,且0, 1∈T,则称<T,,⊙,’>是子布尔代数。
亦即
a≤bab=ba*b=a
定理9.1.2 设<L,≤>是格,对任意a,bL, 有
① a*b=a, aa=a。
(幂等律)
② a*b=b*a, ab=ba。 (交换律)
③ a*(b*c)=(a*b)*c
a(bc)=(ab)c (结合律)
④ a*(ab)=a
a(a*b)=a
(吸收律)
由定义可知,对任意aL,有
0≤a≤1
a*0=0, a0=a
a*1=a, a1=1
定理9.1.6 设<L,≤>是有限格,其中 L={a1,a2,···,an},则<L,≤>是有界格。
定义9.1.4 设<L,≤>是有界格,对于aL, 存在bL,使得
a*b=0,ab=1 称b为a的补元,记为a’。 由定义可知,若b是a的补元,则a也是b的 补元,即a与b互为补元。 显然,0’=1和1’=0,且易证补元是唯一的。 一般说来,一个元素可以有其补元,未必 唯一,也可能无补元。
离散数学第7章 格
4
2
3
7.2
格及其性质
1.格的定义
定义7-4
设<L;≤>是一个偏序集,如果L中任
意两个元素都存在着最大下界和最小上界,则称<L;≤> 是格. 在格上定义两个二元运算“˄” 和 “˅” 如下:
l1˄ l2=glb(l1, l2), l1˅ l2=lub(l1, l2). 因此 <L;≤>是一个格意味着 <L;≤> 也是一个形为<L; ˄ ,˅>的代数系统,其中˄和˅是L上的两个二元运算, 对于任意l1,l2 L , l1˅ l2表示在偏序“≤”意义下, l1 和l2的最小上界, l1˄ l2表示l1和l2的最大下界.
l1 ≤ l 1 (7-1) (7-2) (7-3) (7-1')
若 l1 ≤ l2 , l2 ≤ l1, 则 l1= l2 若 l1 ≤ l2 , l2 ≤ l3, 则 l1 ≤ l3 l1 ≥ l1
若 l1 ≥ l2 , l2 ≥ l1 , 则 l1 = l2
若 l1 ≥ l2 , l2 ≥ l3, 则 l1 ≥ l3
非分配格非有补格75布尔代数布尔代数的定义定义710如果一个格是有补分配格则称其为布尔代数一般记作具有如下性质对于b中任意元素上定义的集合的并交和补运算与称作集合代数它是一个布尔代数
第7章 格和布尔代数
7.1 偏序集
7.2 格及其性质 7.3 格是一种代数系统 7.4 分配格和有补格 7.5 布尔代数
可以证明关系 ≤ 是 L 上的自反,反对称和可传递
的关系,因此 ≤ 是 L 上的偏序关系. 进一步还可以证明,对任意 l1 , l2 L , l1 ∨ l2 是在 偏序关系 ≤ 意义下 l1 和 l2 的最小上界, l1 ∧ l2 是 l1
- 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