第六章 格与布尔代数

合集下载

离散数学第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 的最大下界。
  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。
相关文档
最新文档