第七章格与布尔代数

合集下载

代数结构-布尔代数与格

代数结构-布尔代数与格

布尔代数举例

({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。

第7章 格和布尔代数

第7章   格和布尔代数
m∨n=LCM(m,n) m∧n=gcd(m,n)
另外,若将〈L, 〉中的小于等于关系换成大于等 ,即对于L中任何两个元素a,b定义a b的充
分必要条件是b a,则〈L, 〉也是偏序集。我们把偏 序集〈L, 〉和〈L, 〉称为是相互对偶的。并且它们 所对应的哈斯图是互为颠倒的。关于格我们有同样的 性质。
对偶式。
在上述对偶原理中,“如果命题P在任意格
〈L, 〉上成立”的含义是指当命题P中的变量取值于L 中,且上确界运算为∨,下确界运算为∧,则P对于它 们也成立。现在我们深入地讨论格的性质。
定理7.1.3 设〈L, 〉是一个格,那么对L中任何元 素a,b,c,有
(1) a a∨b,b a∨b a∧b a,a∧b b
定理7.1.1 若〈L, 〉是一个格,则〈L, 〉也是一 个格,且它的并、交运算∨r,∧r对任意a,b∈L满足
a∨rb=a∧b a∧rb=a∨b 于是,我们有下列对偶原理。
定理7.1.2 如果命题P在任意格〈L, 〉上成立,
则将L中符号∨,∧,
∧,∨,
公式P*在任意格〈L, 〉上也成立,这里P*称为P的
(1)a b当且仅当a∧b=a当且仅当a∨b=b。 (2)a∨(b∧c) (a∨b)∧(a∨c)。 (3)a c当且仅当a∨(b∧c) a∨b)∧c。
图 7.1.1
在第四章,对偏序集的任一子集可引入上确界(最 小上界)和下确界(最大下界)的概念,但并非每个 子集都有上确界或下确界,例如在图7.1.1中哈斯图所
示的有序集里,{a,b}没有上确界,{e,f}没有下确界
。不过,当某子集的上、下确界存在时,这个上、下 确界是唯一确定的。
定义7.1.1 如果偏序集〈L 的子集都有上确界和下确界,则称偏序集〈L 格(lattice)。

格与布尔代数

格与布尔代数

对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

格与布尔代数课件2

格与布尔代数课件2
= {y | y≤x1} ∩{y | y≤x2} = f(x1) ∧2 f(x2) f (x1∨1x2) = f (max{x1,x2}) = {y | y≤max{x1,x2}}
= {y | y≤x1} ∪ {y | y≤x2} = f(x1) ∨2 f(x2)
存在一个从A1到A2的映射f,使得对 x1,x2 A, 有f(x1∨1x2)=f(x1)∨2f(x2),f(x1∧1x2)=f(x1)∧2f(x2) ∴f 是 A1 到 A2 的格同态。
吸收律:a∨(a∧b) = a、a∧(a∨b) = a
证明:幂等律 ∵ a≤a,∴ a是a的上界,而a∨a是a的最小上界, ∴a∨a≤a ,又 ∵ a≤a ∨a,
由反对称性得:a∨a = a 由对偶原理得,a∧a = a
第15页,共28页。
证明:吸收律 ∵ a ≤a a ∧b ≤a ∴ a∨(a ∧ b)≤a∨a, a∨(a ∧ b)≤a
解:< I+ , D>是格 ∵整除关系是偏序关系,对a,bI, a、b的最小上界等于a、b的最小公倍数, a、b的最大上界等于a、b的最大公约数。
第3页,共28页。
< P(S) , > 是格
∵子集关系是偏序关系,对a,b P(S),
a、b的最小上界等于a∪b,
a、b的最大上界等于a∩b。
<<=S{S<n61, ,D,1D>>>,是<2格,2,>,<偏3,序3>关,<系1,6的>,哈<1斯,2>图,<如1,下3>1:,2<2,6>,<3,6>}
{a,b,c}
a
{a,b} {a,c} {b,c}

格和布尔代数

格和布尔代数
a,bL,若a≤b a∧b = a
分三步: 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的下界。

格与布尔代数

格与布尔代数

例7.12 设B={0,1},B n=BxBx…xB,B n中的元 素a=<a1,a2,…,an>,b=<b1,b2,…,bn>, 其中ai与bi取0或1,<0,0,…,0>表示为0n, <1,1,…,1>表示为1n,定义*, ⊕ 与┐运算
如下:
a*b=<a1*b1,a2*b2,…,an*bn>,a⊕b<a1⊕b1, a2⊕b2,…, an⊕bn>, ┐a=<┐a1, ┐a2,…,┐an >,可验证:<Bn,*,⊕,┐,0n,1n>符合条件 (H1)至(H4),故可构成布尔代数。
3、分配格的判定 定理7.7 格L是分配格,当且仅当L中不含有与钻 石格或五角格同构的子格。 推论7.1 (1)小于五元的格都是分配格;(2) 任意一条链都是分配格。 证明P130
例7.7 图7.4中哪个是分配格,哪个不是?
f
f
f
d e
e d
b
c
d
b
c c
e b
a
(a)L1
a
(b)L2
图7.4 格的示意图
7.1 格的基本概念
7.1.1 格的定义 1、格定义7.1 设<A,≤>是一个偏序集,对于 Ɐa,b∈A,子集{a,b}在A中都有一个最大下界(也 称为下确界,记为inf{a,b})和一个最小上界(也称 为上确界,记为sup{a,b}),则称<A,≤>为 格。
2、诱导的代数系统 定义7.2 设<A,≤>是一个格,如果在A上定义两 个二元运算,使得对Ɐa,b∈A,a∧b等于a和b的最 大下界,a∨b等于a和b的最小上界。则称<A,∧, ∨ >为由格<A,≤>所诱导的代数系统。
⊕0 1 00 0 10 1
x ┐x
01 10
可验证<B,*,⊕ ,┐,0,1>是布尔格,也称为 二值布尔代数。

离散数学-格和布尔代数


的次序图如下
-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 布尔代数
➢定义12.10
代数系统< B,∨,∧>
(∨,∧为B上二元运算)称为布尔代数, 如果
B满足下列条:
(1)运算∨,∧满足交换律。
(2)∨运算对∧运算满足分配律,∧运算对∨
运算也满足分配律。
(3)B有∨运算么元和∧运算零元O,∧运算
么元和∨运算零元1。
(4)对B中每一元素a,均存在元素a’,使
✓定理12.5
有补分配格中每一元素的补元都是 唯一的。
✓定理12.16
对有补分配格中每一元素a,有
(a’)’= a
.
布尔代数
1.1 有界格和有补格
✓定理12.17
设< L,∨,∧>为有补分配格,那么对
L中任意元素a,b,有
(1) (a∨b)’= a’∧ b’ (2)(a∧b)’= a’∨ b’
✓定理12.18
如果 a∨b = 1, a∧b = 0
a的补常用a’来表示。
.
布尔代数
1.1 有界格和有补格
➢定义12.8
有界格< L,∨,∧>称为有补格
(complemented lettice),如果L中每个 元素都有补元。
✓定理12.4
有补格< L,∨,∧>中元素0,1的 补元是唯一的。
.
布尔ቤተ መጻሕፍቲ ባይዱ数
1.1 有界格和有补格
称为 n个变元的极大项,其中 i为变元xi或xi’.
.
布尔代数
1.4 布尔表达式与布尔函数
➢定义12.16
布尔表达式f(x1,x2,…,xn)
所定义的函数f:B→B称为布尔函数
(Booleanl functions).
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第七章 格与布尔代数1. 说明什么叫格?2. 给定偏序集<A,≤>、<B,≤>、<C,≤>如下图所示,其中哪些不是格?为什么?3下面图哪些是格?对于不是格的,要说明原因。

4. 填空: <A,≤>是平凡格,当且仅当 ( ).5.证明全序都是格。

6. 填空: 设<A, ≤>是格, <A,∨,∧>是由格<A,≤>诱导的代数系统。

其中∨与∧是在A 上定义二元运算。

: a,b ∈A 则 a ∨b 表示( )。

q(a)(b)(c)(d)325156<A,≤> <C,≤><B,≤>41 23a ∧b 表示( )。

7. 说明什么叫子格?8. 给定偏序集<A,≤>、<B,≤>、<C,≤>如下图所示,其中哪些不是格<A,≤>的子格? 为什么?9.设<A, ≤>是一个格,任取a,b ∈A,a<b (即a ≤b ∧a ≠b) ,构造集合: B={x| x ∈A 且a ≤x ≤b}, 证明<B, ≤>也是格.10.具有一、二、三个元素的格各有几种不同构形式?请分别请画出它们的哈斯图。

11.具有四个元素的格有几种不同构形式?请分别请画出它们的哈斯图。

12具有五个元素的格有几种不同构形式?请分别请画出它们的哈斯图。

13. 证明格中下面式子成立: (a ∧b)∨(c ∧d)≤(a ∨c)∧(b ∨d)aac<B,≤> <A,≤>a<C,≤>14. 请说出什么叫分配格?15. 指出判定一个格是分配格的充分且必要条件是在该格中没有任何子格与两个五元素非分配格之一同构。

请画出这两个五元素非分配格。

16. 下面具有五个元素的格中,哪些是分配格?17.具有五个元素的格中,有几个不是分配格?请画出这些非分配格的图。

18. 验证下面格不是分配格。

19. 验证下面格不是分配格。

a b c de20.下面图中哪个是分配格?对不是分配格的,说明原因。

21. 给定集合如下:A 1={1,2,4,8,16} A 2={1,2,3,5,6,10,15,30}A 3={1,2,3,5,30} A 4={1,2,3,5,10,15,30} A 5={1,2,3,4,9,36}令≤是上述集合上的整除关系。

1. 请分别画出各个偏序集<A i ,≤>的哈斯图(i=1,2,3,4,5)22. 设<A,≤>是分配格,a,b ∈A, 且a<b, 证明 f(x)=(x ∨a)∧b 是一个从A 到B 的同态映射。

其中 B={x|x ∈A 且a ≤x ≤b}。

(a)34(b)b(c)dac23 给出有界格如图(1)所示。

问 a) 哪些元素有补元? b) 该格是分配格吗? c) 该格是有补格吗?24. 证明具有两个或更多个元素的格中 不存在以自身为补元的元素。

25. 在有界分配格中,证明具有补元的那些元素组成一个子格。

26. 设<A,≤>是有界格, 对于任何x,y ∈A, 证明 a). x ∨y=0 , 则 x=y=0 b). x ∧y=1, 则 x=y=127. 填空1.<A,≤>是布尔格,当且仅当它是 ( ) 格。

28. 下面(a),(b),(c)三个格是布尔格吗?如果是,请指出各个格的原子。

cbdgedaf(1)(2)29.下面的说法是否正确?为什么? 1.不是所有格都是有界格。

2.少于五个元素的格,都是分配格。

30. 设<A,∨,∧>是由格<A,≤>诱导的代数系统,求证如果∧对∨可分配,则∨对∧也可分配。

31. 设<A,≤>是布尔格,求证,对于任何a,b,c ∈A ,如果有 a ∧b=a ∧c 和 a ∨b=a ∨c 成立,则 b=c 。

32. 判断下面命题的真值,并说明原因。

所有链都不是有补格。

33.判断下面命题的真值,并说明原因。

<A,≤>是格,如果|A|=3,则它不是有补格;如果|A|<5,则它必是分配格。

34.判断下面命题的真值,并说明原因。

d fc1b(a)(b)<A,≤>是有限布尔格,仅当它的元素个数为2n 。

(n 是正整数)35.设<A,∨,∧, ->是布尔代数,* 是A 上的二元运算,定义如下: a *b=a ∨b 其中a,b ∈A1.化简表达式 a b a a b a *****)(())(( 2.<A,*>是否为半群?为什么?36. 设<S,∨,∧,¯>是布尔代数,x,y ∈S, 证明:x ≤y 当且仅当 x y ≤37. 举例说明并非有补格都是分配格。

并非分配格都是有补格。

(画出图说明即可)38. 给定布尔代数<{0,1},∨,∧,―>中的布尔表达式E(x,y,z)如下,请用最简单的方法对它化简。

(提示:考虑析取范式与合取范式的关系))()()()()()(),,(z y x z y x z y x z y x z y x z y x z y x E ∧∧∨∧∧∨∧∧∨∧∧∨∧∧∨∧∧=39.给定布尔代数<{0,1},∨,∧,―>中的布尔表达式E(x,y,z)如下,请用最简单的方法对它化简。

(提示:考虑析取范式与合取范式的关系))()()()()()(),,(z y x z y x z y x z y x z y x z y x z y x E ∧∧∨∧∧∨∧∧∨∧∧∨∧∧∨∧∧=40.给定布尔代数<{0,1},∨,∧, ¯ >上的一个布尔表达式如下:)()()(),,(323221321x x x x x x x x x E ∧∨∧∨∧=分别写出它的析取范式与合取范式。

1.答案:<A,≤>是偏序集,如果任何a,b ∈A,使得{a,b}都有最大下界和最小上界,则称<A,≤>是格。

2.答案:<A,≤>不是格。

因为{24,36}无上界,所以无上确界。

所以不是格。

3.(a) 不是格,因为d 和e 没有下确界,也没有上确界.(d) 不是格,因为5和6没有下确界,7和8既没下确界,也没上确界. 4.答案:(<A,≤>是全序 ) 5.答案:设<A,≤>是全序。

所以A 中任何两个元素x,y ,要么有x ≤y, 要么有y ≤x 。

如果x ≤y ,则{x,y}的最大下界为x ,最小上界为y 。

如果y ≤x ,则{x,y}的最大下界为y ,最小上界为 x 。

即{x,y}的最大下界为较小元素,最小上界为较大元素。

所以全序都是格。

6.答案:a ∨b 表示(LUB {a,b}, 或者{a,b}的最小上界)a ∧b 表示(GLB {a,b}, 或者{a,b}的最大下界)7.答案:设<A,≤>是格, <A,∨,∧>是由<A,≤>诱导的代数系统。

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

8.答案:<B,≤>不是格<A,≤>的子格。

因为在<A,≤>中,b ∧c=d ,而d ∉B,,所以<B,≤>不是格<A,≤>的子格。

9.答案:证明:显然B 是A 的非空子集, (因为a ≤a ≤b,a ≤b ≤b,所以a,b ∈B)。

只要证明∧和∨在B 上封闭即可。

任取x,y ∈B, 由B 的构成得a ≤x ≤b,a ≤y ≤b, 于是由格的性质得,a ≤x ∨y ≤b ,a ≤x ∧y ≤b, 于是有 x ∨y ∈B ,x ∧y ∈B , 说明∨和∧在B 上封闭 。

所以<B, ≤>也是格。

10.答案:含有一、二、三个元素的格都是链。

都各有一种不同构形式。

它们的哈斯图如下:11.答案:具有四个元素的格不同构形式有2钟。

任何一个具有四个元素的格必同构于下面两种格形式之一: 它们的哈斯图如下:∙ aababc12.答案:具有五个元素的格有五种不同构的形式,其图形如下: 设a,b 是格<A, ≤>中的两个元素,证明: a). a ∧b=b 当且仅当a ∨b=a.b). a ∧b<b 和a ∧b<a,当且仅当 a 与b 是不可比较的. 答案:证明:a) 充分性:已知a ∨b=a ,b=b ∧(b ∨a)= b ∧(a ∨b) =b ∧a=a ∧b 必要性:已知a ∧b=b , a=a ∨(a ∧b)=a ∨bb) 充分性:已知a 与b 是不可比较的. 因a ∧b ≤b, a ∧b ≤a,如果a ∧b=b, 则有b ≤a, 如果a ∧b=a, 则有a ≤b,都与a 与b 是不可比较的矛盾. 所以有:a ∧b ≤b ∧ a ∧b ≠b,于是有 a ∧b<b a ∧b ≤a ∧ a ∧b ≠a,于是有 a ∧b<a必要性:已知a ∧b<b 和a ∧b<a, 假设a 与b 是可比较的,则要么a ≤b,要么b ≤a. 于是要么a ∧b=a 要么a ∧b=b. 这与a ∧b<b 和a ∧b<a 矛盾。

所以a 与b 是不可比较的。

13. 答案:证明:∵ (a ∧b)≤a ≤(a ∨c) ∴ (a ∧b)≤(a ∨c) ∵ (c ∧d)≤c ≤(a ∨c) ∴ (c ∧d)≤(a ∨c) ∴ (a ∧b)∨(c ∧d)≤(a ∨c)同理 (a ∧b)≤(b ∨d) (c ∧d)≤(b ∨d) ∴ (a ∧b)∨(c ∧d)≤(b ∨d) ∴(a ∧b)∨(c ∧d)≤(a ∨c)∧(b ∨d)14.答案:<A,∨,∧>是由格<A,≤>诱导的代数系统。

如果对 a,b,c ∈A ,有 a ∨(b ∧c) =(a ∨b)∧(a ∨c) , a ∧(b ∨c)= (a ∧b)∨(a ∧c)则称<A,≤>是分配格。

15.答案:16.答案:a,d,e 是分配格。

17.答案:有两个。

图形如下:dacdab18.答案:2∧(3∨5)=2∧30=2 (2∧3)∨(2∧5)=1∨1=1 2∧(3∨5)≠ (2∧3)∨(2∧5) 19.答案:c ∧(b ∨d)=c ∧a=c (c ∧b)∨(c ∧d)=e ∨d=d c ∧(b ∨d) ≠(c ∧b)∨(c ∧d) 20.答案:(a)和(b)是分配格。

(c)不是分配格。

因为(c)图等价于下面图(d),而其中结点bfged 构成的子格就是与五元素非分配格(e)同构的子格。

相关文档
最新文档