第六章 格与布尔代数

合集下载

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

离散数学第6章 格与布尔代数
设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 故 a∧b是a和b的最大下界
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 格的概念

《离散数学及其应用》魏雪丽第6章 格与布尔代数

《离散数学及其应用》魏雪丽第6章 格与布尔代数

6.1.1 格的概念(lattices) 格的概念( ) 虽然偏序集合的任何子集的上确界、 虽然偏序集合的任何子集的上确界、下确界并不一 定都存在,但存在,则必唯一, 定都存在,但存在,则必唯一,而格的定义保证了 任意两个元素的上确界、下确界的存在性。 任意两个元素的上确界、下确界的存在性。因此我 们通常用a∨b表示 ,b}的上确界,用a∧b表示 , 表示{a, 的上确界 的上确界, 表示{a, 们通常用 ∨ 表示 ∧ 表示 b}的下确界,即 的下确界, 的下确界 a∨b=LUB{a,b}(Least upper bound), ∨ ( ) a∧b=GLB{a,b}(Greatest lower bound), ∧
LUB{a, b} = LUB{a, b}, GLB{a, b} = GLB{a, b}
L B L B
为此我们考察下面的例子。 为此我们考察下面的例子。 如图6.1.4), 取 【例6.1.4】设〈A,≤〉是一个格 如图 】 , 〉是一个格(如图
B1 = {b, d , h}, B2 = {a, b, d , h}, B3 = {a, b, d , f } B4 = {c, e, g , h}, B5 = {a, b, c, d , e, g , h},
计算机科学与技术学院
第6章 格和布尔代数 章
6.1.1 格的概念(lattices) 格的概念( )
表示正整数集, ”表示Z 上整除关系, (3)设Z+表示正整数集,“|”表示 +上整除关系,那么 ) 〈 Z+ ,|〉为格,其中并、交运算即为求两正整数最小公倍数 〉为格,其中并、 和最大公约数的运算, 和最大公约数的运算,即 m∨n=LCM(m,n) m∧n=GCD(m,n), ∨ = ( ) ∧ = ) 由〈 Z+ ,|〉所诱导的代数系统为〈 Z+ , ∨,∧ 〉。 〉所诱导的代数系统为〈 (4)任一全序集〈A, 〉是一个格。因为 a,b ∈A, )任一全序集〈 , 是一个格。 , ∀

代数结构-布尔代数与格

代数结构-布尔代数与格

布尔代数举例

({0, 1}, +, ⋅ , , 0, 1)为布尔代数 n度布尔函数全体也构成一个布尔代数

布尔和 布尔积 补函数 全取0的函数、全取1的函数

A的幂集也构成一个布尔代数(ρ(A), ⋂, ⋃, ∼, ∅, A)
布尔代数举例

Bn={(x1, …, xn)| xi∈B, i =1, …, n}构成布尔代数 x= (a1 , …, an), y=(b1 , …, bn), ai∈B, bi∈B
111 110
Bn as Product of n B’s

B1, ({0,1}, ∧, ∨, 1, 0, ’), is denoted as B. For any n≥1, Bn is the product B×B×...×B of B, n factors, where B×B×...×B is given the product partial order.
格中的原子
a
a a b c d (1) e (2) b c d b
c 原子 d e (3)
有限布尔代数的表示定理

任一有限布尔代数B 同构于 B中所有的原子构成的 集合A的幂集代数系统P(A)。 即(B, ∧, ∨, ', 0, 1) ≅ (P(A), ⋂, ⋃, ∼, ∅, A)

备注(关于无限布尔代数)

若 x∧y =x,则 x∨y = (x∧y) ∨ y = y //吸收律
若 x∨y =y,则 x∧ y = x∧ (x∨y) = x //吸收律


证明这个关系满足自反性、反对称性、传递性。 这个偏序构成一个格。

lub{x,y} 即为 x∨y。 glb{x,y} 即为 x∧y。

格与布尔代数

格与布尔代数

对P(S)中任一元素A,S与A的差集S-A是其唯一补元
因为:
(S-A)∪A=S和(S-A)∩A=Φ.
36
7.5 几种特殊的格
定义4(分配格) 格<L, ,*>称作一个分配格,如果对L中 任意元素a,b,c都有: (1) a*(bc)=(a*b)(a*c); (2) a(b*c)=(ab)*(ac). 例:幂集格<P(S),∩,∪>都是分配格. 格<P(S),∩,∪> 的两个二元运算分别是S幂集合上的交和并运算,交 对并和并对交都具有分配律;
M={c,d}
无上确界,下确界为e 上确界为a,下确界为b
12
7.1 偏序集
M={{a},{b}}
上确界{{a,b}},下确界为
M={{a},{a,b}}
上确界{{a,b}},下确界为{a}
M={{a},{b,c}}或 M={{a},{b},{c}}或
上确界{{a,b,c}},下确界为
M={{a,b},{b,c}}
31
7.5 几种特殊的格
定义1 (有界格) 若格<L,≤>存在最大元和最小元,则称该格为有界格。
记最大元为1,最小元为0。记有界格为<L,≤,0,1>。
例: <P(S), , ,S>有界格。
32
7.5 几种特殊的格
定义2 (补元) 有界格<L,≤,0,1>中,如果a*b=0且ab=1. 则称元素b为a的补元。
18
7.2 格的定义
例. 设S是任意集合, 则< P(s), >为偏序格。
|S|=1
|S|=2
|S|=3 两个集合A,B的上确界是A∪B,下确界是A∩B

中北大学离散数学第六章格和布尔代数分析

中北大学离散数学第六章格和布尔代数分析
证明:(反证法)设有两个全上界a和b,则由定义 a≤b,且b≤a,由“≤”的反对称性, a=b。
[定义]设<L,≤>是一个格,格中存在全上界和全下 界,则称该格为有界格。
16
§6.3 有补格
[定理]如果<L,≤>是有界格,全上界和全下界分别 是1和0,则对任意元素aL,有: a1=1a=1 ,a1=1a=a, a0=0a=a ,a0=0a=0。
证明:因为1≤a1, 又因(a1)L且1是全上界,∴a1≤1, ∴ a1=1。由交换律:1a=a1=1。 因为a≤a,a≤1,∴a a≤a1,即:a≤a1, 又a1≤a, ∴ a1=a。仿此可得另两式。
17
§6.3 有补格
[定义]设<L,≤>是一个有界格,对于L中的一个元素 a,如果存在bL,使得ab=1和ab=0,则称元素 b是元素a的补元。
6
§6.1格的概念
(2)对格<L,≤>中任意a和b,有a≤ab及ab≤a。 (3)<L,≤>是格。对任意a,b,c,dL,如a≤b,
c≤d,则ac≤ bdபைடு நூலகம் ac≤bd
(4)(交换律)交和并运算是可交换的。 (5)(结合律)交和并运算是可结合的。
7
§6.1 格的概念
(6)(幂等律)对L中每一个a,有aa=a,aa=a。
2
§6.1 格的概念
1.偏序集合格
L,
[定义]格是一个偏序集合
,其中每一对元素
a,b L都拥有一个最小上界和最大下界。通常用
a b表示a和b的最大下界,用 a b 表示a和b的最 小上界。即:
GLB{a,b} a b ——称为元素a和b的保交运算,
LUB{a,b} a b——称为元素a和b的保联运算。

地六章-格和布尔代数(1)

地六章-格和布尔代数(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}。

中北大学 离散数学第六章 格和布尔代数

中北大学 离散数学第六章 格和布尔代数
[定义]设<L,≤>是一个格,格中存在全上界和全下 界,则称该格为有界格。
16
§6.3 有补格
[定理]如果<L,≤>是有界格,全上界和全下界分别 是1和0,则对任意元素aL,有: a1=1a=1 ,a1=1a=a, a0=0a=a ,a0=0a=0。 证明:因为1≤a1, 又因(a1)L且1是全上界,∴a1≤1, ∴ a1=1。由交换律:1a=a1=1。 因为a≤a,a≤1,∴a a≤a1,即:a≤a1, 又a1≤a, ∴ a1=a。仿此可得另两式。
3
§6.1 格的概念
例:以下均为偏序集合格(D为整除关系,Sn为n的因 子集合)。
4
§6.1 格的概念
2.代数系统格 L, [定义]设 是一个格,如果在A上定 义两个二元运算和,使得对于任意的a,bA, ab等于a和b的最小上界,ab等于a和b的最大 下界,那么就称<L, ,L,> 为由格 所诱导的代数系统。
2
§6.1 格的概念
1.偏序集合格 L, [定义]格是一个偏序集合 ,其中每一对元素 a, b L 都拥有一个最小上界和最大下界。通常用 a b表示a和b的最大下界,用 a b 表示a和b的最 小上界。即: GLB{a, b} a b ——称为元素a和b的保交运算,
LUB{a, b} a b ——称为元素a和b的保联运算。
20
§6.3 有补格
[定理]在有界分配格中,若有一个元素有补元,则 必是唯一的。 证明:
21
§6.4 布尔代数
[定义]一个有补分配格称为布尔格。
[定义]一个格<L,≤>如果它既是有补格,又是分配格, 则它为有补分配格。我们把有补分配格中任一元 素a的唯一补元记为a。 讨论定义: (1)布尔格中,每个元素有唯一的补元。 (2)我们可以定义L上的一个一元运算,称为补运算, 记为“-”。

离散数学-格和布尔代数

离散数学-格和布尔代数

的次序图如下
-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 的最大下界。

第六章 格与布尔代数

第六章 格与布尔代数

第六章格与布尔代数教学重点:掌握格、子格的定义,理解并且学会证明格的几个基本性质;透彻理解分配格和有补格的定义和性质的证明。

教学难点:格、子格、分配格和有补格的定义和性质的证明。

教学要求:格、子格、分配格和有补格的定义和性质的证明。

6-1 格 (Lattice)一 . 基本概念1. 格的定义<A,≤>是偏序集,如果任何a,b∈A,使得{a,b}都有最大下界和最小上界,则称<A,≤>是格。

2. 由格诱导的代数系统设<A, ≤>是格,在A上定义二元运算∨和∧为:∀a,b∈A a∨b=LUB {a,b} {a,b}的最小上界.Least Upper Bound a∧b=GLB {a,b} {a,b}的最大下界.Greatest Lower Bound,称<A,∨,∧>是由格<A,≤>诱导的代数系统. (∨-并,∧-交)例如右边的格中a∧b=b a∨b=a b∧c=e3. 子格:设<A,≤>是格, <A,∨,∧>是由<A,≤>诱导的代数系统。

B是A的非空子集,如果∧和∨在B上封闭,则称<B, ≤>是<A, ≤>的子格。

二. 格的对偶原理设<A,≤>是格,≤的逆关系记作≥,≥也是偏序关系。

<A, ≥>也是格,<A,≥>的Hasse图是将<A,≤>的Hasse图颠倒180º即可。

格的对偶原理:设P是对任何格都为真的命题,如果将P中的≤换成≥,∧换成∨,∨换成∧,就得到命题P’ , 称P’为P的对偶命题,则P’对任何格也是为真的命题。

例如:P: a∧b≤a P’: a∨b≥a{a,b}的最大下界≤a {a,b}的最小上界≥a三. 格的性质<A,∨,∧>是由格<A,≤>诱导的代数系统。

∀a,b,c,d∈A1. a≤a∨b b≤a∨b a∧b≤a a∧b≤b此性质由运算∨和∧的定义直接得证。

离散数学讲义(第6章)

离散数学讲义(第6章)

18
6-2 分配格(续)
定理:如果在一个格中交运算对并运算可分配,则并运算 对交运算一定可分配。反之亦然。
定理:每个链是分配格。
定理:设〈A, ≤ 〉为一个分配格,则对任意的a,b,c A,如果有a b = a c且a b = a c,则b=c。
19
6-2 分配格(续)
定义:设〈A,,〉是由格〈A, ≤ 〉所诱导的代数系统。 如果对任意的a,b,cA,当b ≤ a时,有: a (b c) = b (a c) 则称〈A, ≤ 〉是模格。
5
6-1 格的概念(续)
偏序集但不是格
e d f

c a b
6
6-1 格的概念(续)
代数系统
设〈A, ≤ 〉是一个格,如果在A上定义两个二元运 算和,使得对于任意的a,bA,ab等于a和b的最小 上界,ab等于a和b的最大下界,那么就称〈A, , 〉 为由格〈A, ≤ 〉所诱导的代数系统。二元运算, 分 别称为并运算和交运算。
定理:分配格一定是模格。
21
6-3 有补格
定义:设〈A, ≤ 〉是一个格,如果存在元素aA,对 任意的xA,都有a ≤ x, 则称a为格〈A, ≤ 〉的全下界。记作 0。 定义:设〈A, ≤ 〉是一个格,如果存在元素bA,对 任意的xA,都有x ≤ b, 则称b为格〈A, ≤ 〉的全上界。记作 1。
{a,b} {a,b} {a,b} {a,b} {a,b}
{b} {a,b}
6-4 布尔代数(续)
定理:对布尔代数中的任意两个元素a,b,有
(a ) a
ab a b
a b ab
定义:具有有限个元素的布尔代数称为有限布尔代数。
26

第六章 格代数

第六章 格代数
同样地 a ∧(a ∨(a∧b))=a (第二式中以a∧b代b) 从而 a ∧a=a (由第一式即得) #
17
定理6-1.4 设<A,∨,∧>是一个代数系统,其中的∨、 ∧都是二元运算且满足交换性、结合性、吸收性, 则A上存在偏序关系≤,使<A, ≤>是一个格。 Proof:在A上定义二元关系≤为: a , b A,<a,b>∈≤a∧b=a ≤是自反的:a∧a=a(因∨、∧满足吸收性从而幂等) 故<a,a> ∈≤ ≤是反对称的:设a≤b,b≤a,从而a∧b=a, b∧a=b 而∧满足交换律故a=b; ≤是传递的:设a≤b , b≤c , 从而a∧b=a , b∧c=b a∧c=(a∧b)∧c=a∧(b∧c)=a∧b=a 从而≤是一个偏序关系;
22
定理6-1.8 设f为从<A1, ≤1>到<A2, ≤2>的格同态,则 对x,yA1, 如果x≤1y,必有f(x)≤2f(y)(格的保序性) Proof:因为x≤1y 故 x∧1y=x f(x∧1y)=f(x) 而 f(x∧1y)= f(x) ∧2 f(y) 从而 f(x) ∧2 f(y)=f(x) 从而 f(x)≤2f(y) #
2
例2:设S是一个非空集合,则<2S, >是一个格; 设B={T , F},则<B,>也是一个格。 因集合{a,b}的上确界和下确界均唯一,我们可定义 两个运算: 定义6-1.2 设<A, ≤>是一个格,在A上定义并运算∨ 与交运算∧如下,对任意的 a , b A,a∨b等于a与 b的最小上界,a∧b等于a与b的最大下界,并称<A, ∨, ∧>为由格<A, ≤>所诱导的代数系统。 例3:设A={1,2,3,4,6,12},则<A , | >是一个格,且 4∨6=12 , 4∧6=2。

第6章 格与布尔代数

第6章 格与布尔代数



借助于子代数给子格下的定义: Def 设(L, +, ∙)是格, M L, 若(M, +, ∙)是 格, 则称(M, +, ∙)为(L, +, ∙)的子格(sunlattice).

显然, (M, +, ∙)为(L, +, ∙)的子格 M关于+和 ∙封闭.
Remark 设(L, +, ∙)是格, M L, (M, )是 格与(M, )是子格存在差异. 正因为这样, 才 借助于子代数对子格定义.



(L, )与(L, )? Def 对于任意关于格(L, )的命题, 将命题前 提和结论中的(1) 改为; (2)+ 改为; (3) 改 为+;(4)0改为1;(5)1改为0所得到的命题称 为原命题的对偶命题. Theorem 6-2 对于任意关于格(L, )的真命题, 其对偶命题亦为真.
Chapter 6 格与布尔代数


格论(1935)是一种重要的代数结构, 它是计算机语 言的指称语义的理论基础,在计算机应用逻辑研 究中有着重要作用. 布尔代数是英国数学家George Boole在1847年左右 在对逻辑思维法则进行研究时提出的,后来很多 数学家特别是E. V. Hungtington和E. H. Stone对布 尔代数的进行了一般化研究,在1938年C. E. Shannon发表的A Symbolic Analysis of Relay and Switching Circuits 论文,为布尔代数在工艺技术


2.格的两种定义的等价性 格的这两种定义是否是一回事? Theorem 6-7 偏序格(L, )与代数格(L, +, ∙)是 等价的. Proof () () x, y L : x y x y x. (1) 是偏序.

格与布尔代数

格与布尔代数

a∨0=a 和 a∧1=a 互为对偶命题。
有界格中的补元
定义 设<L,∧,∨,0,1>是有界格,a∈L, 若存在b∈L 使得 a∧b=0 和 a∨b=1 成立,则称b是a的补元。
说明 若b是a的补元,那么a也是b的补元。
换句话说,a和b互为补元。
有界格中补元的说明
在任何有界格中, 全下界0与全上界1互补。 对于其他元素,可能存在补元,也可能不存在补元。 如果存在,可能是唯一的,也可能是多个补元。
格与布尔代数
格的定义与性质
定义 设<S,≤>是偏序集,如果x,y∈S,{x,y}都有最小上界 和最大下界,则称S关于偏序≤作成一个格。
说明:由于最小上界和最大下界的唯一性,可以把求{x,y}的最 小上界和最大下界看成x与y的二元运算∨和∧。
x∨y:表示x与y的最小上界
x∧y:表示x和y的最大下界。
本章出现的∨和∧符号只代表格中的运算,而不再有其它的 含义。
格的实例
例 设n是正整数,Sn是n的正因子的集合。D为整除关系,则 偏序集<Sn,D>构成格。x,y∈Sn, x∨y是lcm(x,y),即x与y的最小公倍数。 x∧y是gcd(x,y),即x与y的最大公约数。 下图给出了格<S8,D>,<S6,D>和<S30,D>。
定义 设<L,∧,∨>是格,若a,b,c∈L,有
a∧(b∨c)=(a∧b)∨(a∧c) a∨(b∧c)=(a∨b)∧(a∨c)
则称L为分配格。
说明 上面两个等式互为对偶式。 在证明L为分配格时,只须证明其中的一个等式即可。
分配格的判别
定理 设L是格,则L是分配格当且仅当L中不含有与钻石格或 五角格同构的子格。

格和布尔代数

格和布尔代数
15
定义6-1.4 设<A1,≼1>和<A2,≼2>都是格,由它们
分别诱导的代数系统为<A1,1,1>和<A2,2,2>,
如果存在一个从A1到A2的映射f, 使得对于任意的
a,b∈A1,有 f(a1b)=f(a)2f(b) f(a1b)=f(a)2f(b) 则称f为从<A1,1,1 >到<A2,2 ,2 >的格同态, 亦可称<f(A1),≼2>是<A1,≼1>的格同态象。 此外,当f是双射时,则称f为从<A1,1,1 >到 <A2,2,2 >的格同构,亦称<A1,≼1> 和<A2,≼2>
20
定理6-2.1 如果在一个格中交运算对于并运算可 分配,则并运算对交运算也一定是可分配的。 定理6-2.2 每个链都是分配格。 定理6-2.3 设<A,≼>是一个分配格,那么,对于 任意的a,b,cA,如果有 a∧b=a∧c 和 成立,则必有 b=c。 a∨b=a∨c
证明: (a∧b)∨c=(a∧c)∨c=c (吸收律)
例:设A为非空集合,则<P(A),,,~,,A>是布 尔代数。对应的偏序关系是包含关系()。
设S是命题公式的集合,则<S,∨,∧, , F, T>是 布尔代数,对应的偏序关系是蕴含关系()。
28
定理6-4.1 对于布尔代数中任意两个元素a,b,必 定有:
11
推论 设<A,≼>是一个格,对任意a,b,c∈A,如 果b ≼ c,则a b ≼ a c, a b ≼ a c。 (格的保序性) 证: 因为a≤a, b≤c,由定理6-1.2可知, a b ≼ a c, a b ≼ a c 。

6-2 分配格

6-2 分配格

推论2 设A,≼是Байду номын сангаас,如果A,≼是全序集(线性集),则
A,≼一定是分配格。
第六章 格和布尔代数
【例6-2.4】图给出了两个格的哈斯图。试证明它们都不是分
配格。
证明:在图 (a)中含有与五角格同构的子格,所以不是分 配格;在图 (b)中含有与钻石格同构的子格,所以不是分 配格。
第六章 格和布尔代数
第六章 格和布尔代数
2、分配格的性质 (1)定理6-2.1 分配律两公式互为对偶,其一成立,另一必 成立。 证明过程见讲义。
第六章 格和布尔代数
(2) 定 理 6-2.3 设 X,≼ 是 分 配 格 , 如 果 有 a,b,cX , 当
a∧b=a∧c且a∨b=a∨c成立,则必有b= c 证明:设X,≼是分配格,a,b,cX, a∧b=a∧c且a∨b=a∨c b=b∨(b∧a)=b∨(a∧b) (吸收律和交换律)
第六章 格和布尔代数
P,Q,RP (A) P∪(Q∩R)=(P∪Q)∩(P∪R) P∩(Q∪R)=(P∩Q)∪(P∩R) 所以,P (A),∨,∧分配格。
第六章 格和布尔代数
【例6-2.2】A=a,b,c,d,e,A,≼是格,其哈斯图如图6.3所 示,证明A,≼不是分配格。 证明: b∨(c∧d)=b∨e=b (b∨c)∧(b∨d)=a∧a=a b∨(c∧d)≠(b∨c)∧(b∨d) 所以,A,≼不是分配格。 本例中的格叫做钻石格,钻石格不是分配格。
每个链均是格
a,b,cA,在这三个元素中每个元素的位置只有三种 情况: 1) a是最大元 2) a是最小元 3) a是中间元
第六章 格和布尔代数
(4)分配格的子格也是分配格 (5) 两个典型的五元素非分配格:五角格和钻石格 (6)定理 一个格是分配格的充分必要条件是该格中不含有与 钻石格或五角格同构的子格。 这个定理的证明已经超过了本书的范围,故略去。 推论1 设A,≼是格,如果|A|<5,则A,≼一定是分配格。

《格和布尔代数》课件

《格和布尔代数》课件

第二部分:格的基础知识
有限格和无限格
介绍有限格和无限格的概念, 讨论其特点和应用。
笛卡尔积和格的同构
解释格的笛卡尔积以及同构 关系,揭示它们在格理论中 的重要性。
原子性和可分性
详细阐述格的原子性和可分 性,论述它们在实际问题中 的应用价值。
第三部分:布尔代数
1
ቤተ መጻሕፍቲ ባይዱ
3.2 布尔代数运算
2
系统阐述布尔代数的与、或、非运算,
总结格和布尔代数的重要性及其在学术和实
多研究和应用探索,促进学科的发展与创新。
践中的潜力,并对未来的研究方向进行展望。
《格和布尔代数》PPT课 件
本《格和布尔代数》PPT课件将带您深入了解格和布尔代数的基础知识、运 算规则以及其在现实世界中的重要应用。全方位解析格和布尔代数,帮助您 掌握这一重要数学领域的核心概念与技巧。
第一部分:引言
什么是格和布尔代数?探讨格和布尔代数的定义、特性和相关领域应用,以 及其在数学、计算机科学和工程中的重要性。
以及相关的异或和置位运算。
3
3.1 布尔代数的起源和发展
探索布尔代数的历史渊源与发展轨迹, 重点介绍George Boole对其的贡献。
3.3 布尔代数的完备性和最小化
讲解布尔代数的完备性定理、最小化方 法和卡诺图的应用。
第四部分:格和布尔代数的应用案例
逻辑电路设计
展示格和布尔代数在逻辑电路设 计中的重要应用,以及其在计算 机工程领域的意义。
程序设计中的控制流分析
阐述格和布尔代数在程序设计中 的控制流分析应用,帮助程序员 编写高效的代码。
数据库查询优化
探究格和布尔代数在数据库查询 优化中的关键作用,提高查询效 率和性能。

格与布尔代数(离散数学)

格与布尔代数(离散数学)

定理6-1.4 设<A,∨,∧>是一个代数系统,其中 ∨,∧都是二元运算且满足交换律、结合律和吸收律,
哈尔滨理工大学本科生课程
离 散 数 格与分配格 学
计算机系
第六章 格与布尔代数
这一章将介绍另一类代数系统,这就是格。
格论大体上是在1935年左右形成的,它不仅是
代数学的一个分支,而且在近代解析几何,半
序空间等方面也都有重要的作用。我们在这里
只介绍格的一些基本知识以及几个具有特别性
质的格——分配格、有补格。
则<T,≤>是 <S,≤>的一个子格。
解 对于任意的x,yT,必有x≤a 和y≤a, 所以x∨y≤a,x∧y≤a 而 x∨yS,x∧yS 故x∨yT,x∧yT
因此<T,≤>是 <S,≤>的一个子格。
同样地,可以证明,如果取Q={x|xS且a≤x},
则<Q,≤>也是 <S,≤>的一个子格。
4. 上界、下界 定义3-12.7:设<A,≤>是一偏序集,对于BA,如有a∈A,
且对任意元素x∈B,都有x≤a,则称a为B的上界。同理,对
任意元素x∈B,都有a≤x,则称a为B的下界。 5. 上确界、下确界 定义3-12.8:设<A,≤>是一偏序集且BA,a是B的任一上 界,若对B的所有上界y均有a≤y,则称a是B的最小上界(上
二、知识点
1 .格的概念,偏序集上的并运算、 偏序集上的交运算。
2.分配格、有补格; 3.布尔代数、Stone表示定理及其推 论,布尔表达式、布尔函数、开关代数的 概念。
三、要求
1.识记 根据哈斯图识别是否是格,分配格、有补格, 模格,布尔格、布尔代数。 2.领会
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

21
4. 格的半分配律
格中一般地不满足分配律
定理6-1.5:设<A, ≼>是一个格,对任意的a,b,c,d∈A,都有 (1) a∨( b∧c) ≼ (a∨b)∧( a∨c) (2) (a∧b)∨( a∧c) ≼ a∧( b∨c) 证明:(1)因为a≼a∨b,a≼a∨c, 所以a∧a≼(a∨b)∧(a∨c) 又a=a∧a,故a≼(a∨b)∧(a∨c) 又因b≼a∨b,c≼a∨c,所以由保序性 b∧c≼(a∨b)∧(a∨c) 故(a∨b)∧(a∨c)是a和b∧c的上界, 所以a∨(b∧c)≼(a∨b)∧(a∨c)
由(3)(4)式 a∨a=a, ∨满足等幂性。 同理可证:∧都满足等幂性。
2
回顾
1. 极大(极小)元: B⊆A,b∈B,B中无元素x满足b≺x (x≻b)。 不一定存在;若存在也不一定唯一。 2. 最大(最小)元: a B⊆A,b∈B,B中每一元素x都满足x≼b (b≼x)。 不一定存在;若存在也不一定唯一。 3. 上界(下界 ): B⊆A,a∈A,B中每一元素x有x≼a (a≼x)。 不一定存在;若存在也不一定唯一。 4. 最小上界、最大下界。不一定存在;若存在则必唯一。
24
四、格的代数结构
根据前面的讨论: 格<A, ≼>可以诱导出具有结合律、交换律、吸收律的两个 代数运算∨和∧的代数系统<A,∨,∧> 。
反之,什么样的代数系统<A,*, °> 可确定一个格。 一个代数系统<A,*, °>,如果运算*和°满足结合律、交 换律、吸收律,则可诱导出一个格<A, ≼>,其中偏序 ≼ 定 义为:a ≼b ⇔ a°b=a, 或 a ≼b ⇔ a*b=b
例:<I+, |>是偏序集。 最小上界:两个元素的最小公倍数; 最大下界:两个元素的最大公约数。 <I+, |>是格.
7
2. 格所诱导的代数系统 定义6-1.2:设<A, ≼>是一个格,如果在A上定义两个二元运 算∧、∨,使得对于任意的a,b∈A: a∨b =元素a,b的最小上界,(并运算) a∧b =元素a,b的最大下界,(交运算) 称<A,∨,∧>为由格<A, ≼>所诱导的代数系统。

9
3. 子格 定义6-1.3:设<A, ≼>是一个格,由格<A, ≼>所诱导的代数系 统为<A,∨,∧>,B⊆A且B≠φ。 如果A中的两个运算∧、∨关于B是封闭的, 则称<B, ≼>是<A, ≼>的子格。 B中元素a,b在<A, ≼>中找出的最小上界和最大下界仍在B中。
10
例:<I+,|>是一个格,其诱导的代数系统为<I+,∨,∧>, 即: a∨b=a与b的最小公倍数,a∧b=a与b的最大公约数。 <E+,|>是子格吗? E+是正偶数的全体,两个正偶数的最小公倍数与最大公 约数仍是正偶数,所以∨与∧关于E+是封闭的。 <E+,|>是<I+,|>的子格。 例 设<S, ≼>是一个格,任取a∈S,T={x|x∈S, x≼a},则 <T,≼> 是<S, ≼>的一个子格。 证明:任意x, y∈T,有x≼a,y≼a,所以a是x和y的上界。 作为最小上界,x∨y≼a。同理,x∧y≼a。 从而,x∨y∈T,x∧y∈T,<T, ≼>是<S, ≼>的一个子格。
12
设 <A, ≼>是格,B⊆A,则<B, ≼>必是偏序集,但不一定是格; 即使<B, ≼>是格,也不一定是<A, ≼>的子格。 a 例:<S, ≼>是一个格. S1={a, b, d, f}. 可验证<S1, ≼>自身是格, 也是<S, ≼>的子格。 S3={a, b, c, d, e, g, h}. 可验证<S3, ≼>自身是一个格; 但不是<S, ≼>的子格。 因为b与d在S中的最小下界为f, 不在S3中. b e c f h d b g e h a c d g
22
定理6-1.2
由对偶原 理可得(2)
5. 序关系的运算刻画 定理6:在格<A, ≼>中,对任意a,b∈A,都有 a ≼ b ⇔ a∧b=a ⇔ a∨b=b 证明:(1) 首先证明 a ≼ b ⇔ a∧b=a。 “必要性”:因为a ≼ a, 所以由a ≼ b,根据保号性可得: a∧a ≼ a∧b,即a ≼ a∧b。 另一方面,由定义知 a∧b ≼ a。故 a∧b=a。 “充分性”:若a∧b=a,则由a∧b ≼ b 知a ≼ b。 (2) 同理可证明a ≼ b ⇔ a∨b=b。结论成立。
16
2. 格中运算的保序性 定理6-1.2:在一个格<A, ≼>中,由格<A, ≼>所诱导的代数系 统为<A,∨,∧>,则对任意的a, b, c, d∈A, 如果有 a≼b和c≼d,则 是b,d的一个下界, 而 b∧d是b,d的最大下界。 故 a ∧ c ≼ b∧d。 同理可证 a∨c ≼ b∨d 。
11
4. 格与子格的关系 a,b在<A, ≼>和<B, ≼>中找出的最小上界和最大下界可能是不 一样的. 如果B是A的子格,那么<B, ≼>一定是格吗? 如果<B, ≼>是格,那么B一定是A的子格吗? (1) 子格一定是格 证明: (1)若<B, ≼>是<A, ≼>的子格,则任给B中的两个元素a,b, a与b在A中的最大下界c也在B中。c ≼a, c ≼b,c= a∧b. c是a与 b在B中的下界. (2) 设d是a与b在B中的任意下界,则d ≼a, d≼b. 将a,b,c,d都视为<A, ≼>的元素,则d也是a与b在A中的下界, 从 而d≼ a∧b, d≼c. 证得c为a与b在B中的最大下界. 同理可证, B中的两个元素在B中存在最小上界。故B是格。
5
一、格、子格、格诱导的代数系统
1. 格的概念 一般地,偏序集中的子集不一定存在最小上界和最大下界。 特别地,如果偏序集中的任意两个元素都存在最小上界 和最大下界,则称之为格。 定义6-1.1:设<A, ≼>是一个偏序集。如果A中任意两个元素 都有最小上界和最大下界,则称<A, ≼>是格。
6
如:下列哈斯图所表示的偏序集都是格。
15
三、格的性质
1、格的基本性质 定理6-1.1:在一个格<A, ≼>中,由格<A, ≼>所诱导的代数系 统为<A,∨,∧>,则对任意的a, b∈A,都有 a ≼ a∨b, a∧b ≼ a, b ≼ a∨b a∧b ≼ b
证明:∵a∨b是a,b的一个上界,∴ a ≼ a∨b,b ≼ a∨b 由对偶定理可得:a∧b ≼ a, a∧b ≼ b
23
6. 半分配律的特殊情况 定理7:在格<A, ≼>中,对任意 a,b∈A,都有 a ≼ c ⇔ a∨(b∧c) ≼ (a∨b)∧c 证明:(1) “必要性”:若a ≼ c,则 a∨c=c。 由半分配律, a∨(b∧c) ≼ (a∨b)∧( a∨ c) a∨(b∧c) ≼ (a∨b)∧c (2) “充分性”:a ≼ a ∨ (b∧c) ≼ (a ∨ b) ∧ c ≼ c,即a ≼ c。 两个可比较大小的元素,针对第三个元素, 小者并另两个的交 小于等于 大者交另两个的并。
3
e d c
f
b
回顾
偏序集的任意子集,不一定存在最小上界或最大下界。 约定{a, b}的最小上界称为元素a和b的最小上界。 约定{a, b}的最大下界称为元素a和b的最大下界。
4
6-1 格的概念
目的要求 1. 从偏序集与代数学两个角度理解格的概念 2. 熟练理解掌握格的性质 3. 掌握格同态的性质
8
例:给定S={a, b}, 格<P (S), ⊆>如下图所示,列出该格所诱 导的代数系统<P (S), ∧, ∨>中运算的运算表 {a,b} ∧ {a} {b} ∅ {a} {b} {a,b} ∅ {a} {b} {a,b} ∅ ∅ ∅ ∅ ∅ {a} ∅ {a} ∅ ∅ {b} {b} ∅ {a} {b} {a,b}
第六章
格和布尔代数
格,是一种特殊的代数系统。格论是代数学的一个 分支,形成于1935年。 格有两种解释:代数学的观点,偏序集的观点。 本章内容: 格的定义及其性质 特殊的格—分配格、模格、有补格 布尔格—布尔代数(在计算机科学中有重要应用)
1
回顾
偏序关系:自反性、反对称性、传递性。 偏 序 集:由一个集合A和偏序关系“≼”组成的序偶<A, ≼>。 盖 住:<A, ≼>,x,y∈A, x≼y, x≠y, 且不存在x≼z, z≼y, 称元素y盖住x。 哈 斯 图:体现了集合中元素的盖住关系。
13
二、格的对偶原理
1. 对偶现象: 命题逻辑中的析取与合取,集合运算中的并与交。 交通规则中的“左行规则”与“右行规则”。 偏序集中的对偶现象: 设<A, ≼>是一个偏序集,在A上定义一个二元关系≼R,使 得对于A中的两个元素a,b有关系a≼Rb当且仅当b≼a,则 <A,≼R>也是一个偏序集。≼R 一般用≽来表示。 显然格<A, ≼>所诱导的代数系统中的∨(∧)是<A, ≽>所诱导 代数系统的∧(∨)。
19
(3) 由定义易得运算的等幂性。 (4) 因为 a ≼ a, a∧b ≼ a,所以根据保序性可得: a∨(a∧b) ≼ a∨a, 亦即 a∨(a∧b) ≼ a, 另一方面,显然 a ≼ a∨(a∧b) , 故有a∨(a∧b)=a。 由对偶原理得: a∧(a∨b)=a。
相关文档
最新文档