格与布尔代数

合集下载

离散数学第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 格的概念

09-格与布尔代数-8.2

09-格与布尔代数-8.2

第三节 子布尔代数、积布尔代数、布尔代数同态
定义:给定布尔代数<B, , *, ’ , 0, 1>,≠T B
2015年6月6日星期六
若T对 、* 和 ’ 是封闭的,且:0, 1 T
称<T, , *, ’ , 0, 1>是<B, , *, ’ , 0, 1>的子布尔代 数 显然:<{0, 1}, , *, ’ , 0, 1>和<B, , *, ’ , 0, 1> 都是<B, , *, ’ , 0, 1>的(平凡)子布尔代数
则:<f(B),∨,∧, , f(0), f(1)>是布尔代数 (证明参见教材P170 —— 利用布尔代数的定义证明)
布尔代数同态
结论:
2015年6月6日星期六
若 f 是从布尔代数<B, , *, ’ , 0, 1>到格<S,∨,∧>的 格同态映射,且f是满射的,
则:<S,∨,∧>是布尔代数
并且可以用基本公式来定义布尔代数
布尔代数的定义 从这4个定律,可以推出所有布尔代数的公式
有兴趣的同学可以参阅 R. L. 古德斯坦因 著的
对于a, b B , 有 定义:设<B, , *, ’ >是一个代数结构,其中:
2015年6月6日星期六
和 * 是B上的二元运算,’ 是B上的一元运算,且 0, 1 B
例9.15:设Bn是由0和1形成的n元组集合,且
2015年6月6日星期六
a = <a1, a2, …, an>,b = <b1, b2, …, bn> 0n = <0, 0, …, 0> , 1n = <1, 1, …, 1> 对任意 a, b Bn,定义: a b = < a1∨b1, a2∨b2 , …, an∨bn > a * b = < a1∧b1, a2∧b2 , …, an∧bn > a’ = < a1, a2, …, an> < Bn,∨,∧, , F, T>是布尔代数(开关代数)

格和布尔代数

格和布尔代数
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的下界。

离散数学结构 第十三章 格与布尔代数

离散数学结构 第十三章 格与布尔代数

第十三章格与布尔代数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}的最小上界。

第六章 格代数

第六章 格代数
第六章 格和布尔代数
格是一种特殊的代数系统,特殊在:在代数系统中 引入了次序关系,让一个代数系统的载体具有序结构。 1847年由英国数学家G.Boole创立的布尔代数, 最初的设想是利用代数学的方法研究人类的思维规 律。经过后继者的研究,使得它与许多数学分支发 生了联系,如集合论、数理逻辑、代数系统、图论 与组合学。而到上世纪30年代突然发现它与工程技 术又有着意想不到的联系,1950年苏联的 M.A.aBрИЛoB发表了“继电器接点网络原理”,把 基于布尔代数的演算系统发展成为接点网络实用中 的通用理论。目前布尔代数已成为计算机科学的最 重要基础理论之一。
再证a≤b a∨b=b 设a≤b,而b≤b从而a∨b≤b∨b(=b) 而b≤a∨b,故a∨b=b(由≤的反对称性) 反之,设a∨b=b,而a≤a∨b 从而a≤b.
#
15
(11)定理6-1.7 a≤c a∨(b∧c) ≤(a∨b) ∧c Proof:设a≤c 则 a∨c=c Def6-2.2 而 a∨(b∧c)≤ (a∨b)∧(a∨c) 故 a∨(b∧c)≤ (a∨b)∧c 反之,设 a∨(b∧c)≤ (a∨b)∧c, 而 a≤ a∨(b∧c), (a∨b)∧c ≤c 故 a ≤c(由≤的传递性) # (12)推论 (a∧b)∨(a∧c) ≤a∧(b∨(a∧c)) a∨(b∧(a∨c)) ≤(a∨b) ∧(a∨c) Proof:在(11)中因a∧c≤a可得第一式(以a∧c代替a,a 代c);因a≤a∨c可得第二式(以a代a,以a∨c代c). #
13
(9) 定理6-1.5 a∨(b∧c) ≤(a∨b) ∧(a∨c) (a∧b)∨(a∧c) ≤ a∧(b∨c)(分配不等式) Proof:a≤a∨b a≤a∨c 故a∧a≤(a∨b) ∧(a∨c) 而a= a∧a 故a ≤(a∨b) ∧(a∨c) 另外 b∧c≤b, b≤a∨b故b∧c≤a∨b(传递性) b∧c≤c, c≤a∨c故b∧c≤a∨c(传递性) 故b∧c =(b∧c) ∧(b∧c)≤(a∨b)∧(a∨c) 从而 a∨(b∧c)≤ (a∨b)∧(a∨c)

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

中北大学 离散数学第六章 格和布尔代数
[定义]设<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上的一个一元运算,称为补运算, 记为“-”。

离散数学(第二版)第7章格和布尔代数和

离散数学(第二版)第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

离散数学布尔代数

离散数学布尔代数

一个非零元素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 是不可能的)

离散数学9-格与布尔代数

离散数学9-格与布尔代数
(2)类似于(1)可证,3)由(1)和(2)得证。
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表示。全下界即是格 的最小元,是唯一的。全上界即是格的最大元,是唯一的 。

第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) 是偏序.

6-4 布尔代数

6-4 布尔代数

第六章 格和布尔代数
a≼a1∨a2∨…∨ak 于是有 a≼(a1∨a2∨…∨ak)∧(a1∨a2∨…∨ak)′=0 即 a≼0 这与a是原子相矛盾。所以b∧(a1∨a2∨…∨ak)′=0,根 据引理6-4.2有 b≼a1∨a2∨…∨ak 由≼的反对称性知 b=a1∨a2∨…∨ak
第六章 格和布尔代数
引理6-4.3
设X,∨,∧,′是有限布尔代数,如果
bX且b≠0,a1,a2,…,ak是X中满足aj≼b(j=1,…,k)的 所有原子。则b=a1∨a2∨…∨ak是将b表示为原子的 唯一形式。 说明:这里唯一性的含义分为两个方面,式中任一原子
aj 都有aj≼b;所有aj≼b的原子都在式中,所以可用反
设a≼b,由于b′≼b′,根据定理有a∧b′≼b∧b′,而 b∧b′=0,所以a∧b′≼0。又因为0≼a且0≼b′,故有 0≼a∧b′。由≼的反对称性知a∧b′=0。
第六章 格和布尔代数
引理6-4.2设X,∨,∧,′是有限布尔代数,0是全下界, 如果bX且b≠0,a1,a2,…,ak 是X中满足aj≼b(j=1,…,k)的所 有原子,则b=a1∨a2∨…∨ak 证明:因为aj≼b(j=1,…,k),所以a1∨a2∨…∨ak≼b 再证b≼a1∨a2∨…∨ak,根据引理6-4.1,只需证明 b∧(a1∨a2∨…∨ak)′=0。 用反证法。设b∧(a1∨a2∨…∨ak)′≠0 由定理6-4.2,至少存在一个原子a,使得 a≼b∧(a1∨a2∨…∨ak)′ 又因为b∧(a1∨a2∨…∨ak)′≼b和 b∧(a1∨a2∨…∨ak)′≼(a1∨a2∨…∨ak)′ 由≼的传递性可得a≼b和a≼(a1∨a2∨…∨ak)′ 因为a是原子且满足a≼b,所以a必是原子a1,a2,…, ak中 的一个,因此

格与布尔代数

格与布尔代数

格与布尔代数后述,一部分关于格与一部分关于布尔代数。

关于格格是数学中的一种代数结构,它被广泛用于数学、计算机科学和逻辑学等领域。

在数学中,格是一种偏序集合,它具有两个基本运算:上下拟合和交并运算。

其中,上下拟合是指存在最小上估和最大下估,而交并运算则是指对于任意两个元素都可以求出它们的最大公共上界和最小公共下界。

尽管最初格是在点集拓扑学中发现的,但它们的概念在其他领域中也扮演着重要角色,例如,它们在科学中被用来定义空间,它们被用来解决许多计算机科学问题,例如,程序正确性证明,它们与数据结构有关,在逻辑学中,格被用来理解一些推理系统。

关于布尔代数布尔代数是一种代数结构,它被广泛用于逻辑学、电子工程和计算机科学中。

布尔代数是邓纳-Bier恩论文提出的一种基于命题逻辑的代数系统,其中对于两个命题P和Q,存在两个二元运算,即并(∨)和交(∧)。

这种代数系统可以用0和1表示,其中0表示假,1表示真。

布尔代数中的一些重要性质是:交换律、结合律、分配律等。

尽管在布尔代数中并和交这两个朴素的逻辑运算都不是独立产生的概念,但该理论在数学和计算机科学中有着重要应用。

布尔代数不仅用于设计电路和硬件,还用于在计算机程序和算法中描述逻辑条件,可编程逻辑和任意逻辑等方面。

格与布尔代数的关系虽然格和布尔代数看起来似乎是两种完全不同类型的代数结构,但它们之间有着密切的联系。

一些格配合着一些次区域可以构成布尔代数;同样,对于一个布尔代数而言,它也可以被看作是某个格所描述的偏序集合。

在交集上平凡地定义结构子格也叫布尔子格。

一个布尔代数的子集都可以看做是一种决策支持系统(Decision Support System,DSS)或决策信息系统(Decision Information System,DIS)。

由此可见,布尔代数是格论的一种特例,而格论是布尔代数的一种扩展。

总体而言,格与布尔代数的关系很紧密。

事实上,这种关系已经在数学和计算机科学的广泛应用中得到了充分的体现。

格与布尔代数

格与布尔代数
格与布尔代数
布尔代数是计算机逻辑设计的基础,它是由格引出的,
格又是从偏序集引出的。所以我们先回顾一下偏序集。
<A,≤>是偏序集:≤是A上自反,反对称和传递关系(偏序).
偏序集中的元素间的次序可以通过它的Hasse图反映出来.
例如A={1,2,3,6,12,24,36}, ≤是A上整除关系 其Hasse图如图所示,B A B≠Φ
3. B的下界与上界
24。 36。 12。
6。 2。 3。
1。
y是B的下界 y∈A∧ x(x∈B y≤x)
y是B的上界 y∈A∧ x(x∈B x≤y)
{2,3,6}的下界:1 上界: 6,12,24,36
4. B的最大下界(下确界)与最小上界(上确界)
y是B的最大下界(下确界):B的所有下界x,有x≤y。
例如右边的格中a∧b=b a∨b=a b∧c=e
a
4. 子格:设<A,≤>是格, <A,∨,∧>是由
<A,≤>诱导的代数系统。B是A的非空子
集,如果∧和∨在B
上封闭,则称<B, ≤>
a
是<A, ≤>的子格。
b
cb
d
e
fe
b
cd
e a
c
a
b
c
f
<C,≤>是<A,≤>的
g
g
子格。而<B,≤>不是.
<A,≤>
<B,≤>
因b∧c=d B, (判定子格:看去掉的元素是否影响封闭)
d <C,≤>
5
二. 格的对偶原理
设<A,≤>是格,≤的逆关系记作≥,≥也是偏序关系。

布尔代数与布尔格

布尔代数与布尔格

1. 布尔代数(Boolean Algebra):
- 布尔代数是一种代数结构,它基于两个值:真(1)和假(0)。

- 布尔代数是由乔治·布尔(George Boole)于19世纪中期引入的,他开创了一种处理逻辑关系的代数体系。

- 布尔代数中的运算包括逻辑运算,如与、或、非等。

这些运算有时称为布尔运算。

- 布尔代数在逻辑电路设计、计算机科学、编程等领域中有广泛的应用,因为它提供了一种处理逻辑关系的简洁和精确的方式。

2. 布尔格(Boolean Lattice):
- 布尔格是指一个满足一些特定条件的偏序集合(partial order set),其中对于集合中的任意两个元素,都存在最小上界和最大下界。

- 布尔格中的元素通常是布尔代数中的子集。

- 布尔格结构在理论计算机科学、模型检测等领域中具有重要意义。

- 布尔格与布尔代数的关系在于,布尔代数的运算可以用来定义布尔格上的偏序关系,从而形成一个布尔格。

总体而言,布尔代数提供了一种处理逻辑关系的代数结构,而布尔格是一种数学结构,其中包含了布尔代数中的元素,并定义了它们之间的偏序关系。

这两者在计算机科学中有广泛的应用,特别是在逻辑电路设计、编程语言设计和形式化方法中。

6.3格与布尔代数

6.3格与布尔代数

格的性质(续)
6)、保序性:如果b≤c,那么a∧b≤a∧c a ∨ b≤a∨c 7)、分配不等式: •
a∨(b∧c)≤(a∨b)∧(a∨c); a∧(b∨c)≥(a∧b)∨(a∧c); 8)、模不等式: a≤b a∨(b∧c) ≤b∧(a∨c)
下一页
证明: (a∨b)∨c=a∨(b∨c)
先证: (a∨b)∨c ≤ a∨(b∨c) ∵ a ≤ a∨(b∨c) b ≤ b∨c ≤a∨(b∨c) ∴a∨b≤ a∨(b∨c) 又:c ≤ a∨(b∨c) 从而, (a∨b)∨c ≤ a∨(b∨c) 同理有 a∨(b∨c) ≤(a∨b)∨c , 由偏序的反传递性知,(a∨b)∨c=a∨(b∨c)
5的补元是2和3。
例:在<S24,|> 中
24 12 6 4 2 1 S24 8
最大元为24,最小元为1, 1和24互为补元, 3和8互为补元,
3
2,4,6,12均不存在补元。
例:
1 在如上图有界格中0和1互为补 a b c d 元而 a,b,c,d的补元均有三个, 譬如,a的补元是b,c,d。 0 1 a c 0 b 在下图中的有界格中,0和1互 为补元, 但a,b,c均不存在补元。
返回
代数格
定义10:设L是一个非空集合,∧,∨是L中的两 个二元运算,两个运算还满足a,b,c∈L (1)交换律 (2)结合律 a∧b=b∧a,a∨b=b∨a; (a∧b)∧c= a∧(b∧c), (a∨b)∨c=a∨ (b∨c); (3)吸收律 a∧(b∨c)= a, a∨(b∧c)= a
例1:
记作(L,≤,1,0)或记(L,∧,0,0,1)
例:(Sn,|)是格,则其是有界格,其中最大元是n,最小元 是1,因x∈Sn,1|x,x|n。

分配格、有补格与布尔代数

分配格、有补格与布尔代数

离散结构分配格、有补格与布尔代数教学目标基本要求(1)掌握分配格和有补格的定义(2)了解布尔代数的定义重点难点(1)分配格和有补格的判定分配格定义:设<L, ∧,∨>是格,若∀a, b, c∈L,有a∧(b∨c) = (a∧b)∨(a∧c)a∨(b∧c) = (a∨b)∧(a∨c)则称L为分配格.说明:•可以证明以上两个条件互为充分必要条件实例例:判断下列各格哪些是分配格。

L1和L2是分配格,L3和L4不是分配格。

特别的,称L3为钻石格,L4为五角格.L3 :b∧(c∨d) =b∧e= b(b∧c)∨(b∧d)=a∨a= aL4 :d∧(b∨c) =d∧e= d(d∧b)∨(d∧c)=a∨c= c分配格判定定理定理:设L是格,则L是分配格当且仅当L不含有与钻石格或五角格同构的子格。

推论:•小于五元的格都是分配格.•任何一条链都是分配格.实例例:说明图中的格是否为分配格,及其原因?解:都不是分配格.{a,b,c,d,e}是L1的子格,同构于钻石格{a,b,c,e,f }是L2的子格,同构于五角格有界格定义:设L是格,(1) 若存在a∈L使得∀x∈L有a ≼x, 则称a为L的全下界(2) 若存在b∈L使得∀x∈L有x ≼b, 则称b为L的全上界说明:•格L若存在全下界或全上界, 一定是惟一的.•一般将格L的全下界记为0, 全上界记为1.定义:设L是格,若L存在全下界和全上界, 则称L 为有界格,一般将有界格L记为<L, ∧, ∨, 0, 1>.有界格的性质定理:设<L,∧,∨,0,1>是有界格, 则∀a∈L有a∧0 = 0, a∨0 = a, a∧1 = a, a∨1 = 1说明:•有限格L={a1,a2,…,a n}是有界格, a1∧a2∧…∧a n是L的全下界, a1∨a2∨…∨a n是L 的全上界.•0是关于∧运算的零元,∨运算的单位元;1是关于∨运算的零元,∧运算的单位元. •对于涉及到有界格的命题, 如果其中含有全下界0或全上界1, 在求该命题的对偶命题时, 必须将0替换成1, 而将1替换成0.有界格中的补元及实例定义:设<L, ∧, ∨, 0, 1>是有界格, a∈L, 若存在b∈L使得 a∧b = 0 和a∨b = 1成立, 则称b是a的补元.说明:•若b是a的补元, 那么a也是b的补元. a和b互为补元.实例例:考虑下图中的格. 针对不同的元素,求出所有的补元。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

然后说明(L, 是格 对任意a, 是格。 然后说明 ≼)是格。对任意 b ∈ L, , *a)*b=a*b得 a*b≼a * * * * * * * * * 得 * ≼ 由(a*b)*b=a*(b*b)=a*b得 a*b≼b, * * * * * 得 * ≼ , 所以a* 是 的下界; 所以 *b是{a, b}的下界; 的下界 设c是{a, b}的下界,则c ≼a, c ≼b, 即c =c*a, c =c*b, 是 的下界, * * 的下界 故c=c*c=(c*a)*(c*b)=(c*c)*(a*b)=c*(a*b), 即c ≼a*b * * * * * * * * * * 所以a* 是 的最大下界, 所以 *b是{a, b}的最大下界 即 的最大下界 a∧b = glb(a,b) = a*b ∧ * 类似地说明, ∨ 类似地说明,a∨b=lub(a, b)=a∘b ∘ 设a, b∈L, a≼b, 则a =a∗b, 由吸收律知 ∈ ≼ ∗ a∘b=(a∗b)∘b=b ∘ ∗ ∘
定理9.1.1 若( L, ≼ )是格,则其对偶偏序集 L, ≽ ) 是格, 定理 是格 则其对偶偏序集( 也是格。 也是格。 例如,由于 是格, 也是格, 例如,由于(P(S), ⊆)是格,所以 是格 所以(P(S), ⊇)也是格,并 也是格 且在格(P(S), ⊇)中,A∨B = A∩B, A∧B= A∪B。 且在格 中 ∨ ∩ ∧ ∪ 。 • 设( L, ≼ )是格,由于 的任意两个元素 a和 b均有 是格, 是格 由于L的任意两个元素 和 均有 唯一的最小上界和最大下界,因此“ 唯一的最小上界和最大下界,因此“∨”和“∧” 是格中的两个二元运算, 是格中的两个二元运算,所以格可以看作具有两 个二元运算“ 的代数系统。 个二元运算“∨”和“∧”的代数系统。
第九章 格与布尔代数
9.1 格的定义及性质
是一个偏序集, 定义 9.1.1 设 ( L, ≼ ) 是一个偏序集,若对于任意 {a,b}⊆L都有最小上界 ⊆ 都有最小上界lub(a,b)和最大下界 和最大下界glb(a,b), 都有最小上界 和最大下界 则称( 是格, 则称 L, ≼ )是格 记lub(a,b)为a∨b, glb(a,b)为a∧b. 是格 为 ∨ 为 ∧ 是集合, 的幂集合, 例9.1.1 设S是集合,P(S)是S的幂集合,则偏序集 是集合 是 的幂集合 (P(S), ⊆)是格。 是格。 是格 若A, B ⊆ S, 则lub(A, B)=A∪B, glb(A,B)=A∩B ∪ ∩ 即A∨B = A∪B, A∧B= A∩B ∨ ∪ ∧ ∩
是正整数集合,偏序“ 定义为: 例9.1.2 设Z+是正整数集合,偏序“≼”定义为: a ≼ b ⇔ a|b (a整除 。则(Z+, ≼)是格。 整除b)。 是格。 | 整除 是格 设a, b∈ Z+, 则lub(a,b)=lcm(a,b), 即a∨b=lcm(a,b), ∈ ∨ 同理, 同理 glb(a,b)=gcd(a,b), 即a∧b=gcd(a,b), ∧ 其中, 的最小公倍数; 其中 lcm(a,b)为a和b的最小公倍数 为 和 的最小公倍数 gcd(a,b)为a和b的最大公约数。 的最大公约数。 为 和 的最大公约数
试问图9.1.1所示的偏序集中哪些是格。 所示的偏序集中哪些是格。 例9.1.3 试问图 所示的偏序集中哪些是格
图9.1.1
• 全序集都是格。 全序集都是格。 • 群G的全体子群 的全体子群S(G)对于偏序 ⊆ 构成格。 对于偏序 构成格 的全体子群 对于
G; H∩K
• 群G的全体正规子群 的全体正规子群H(G)对于偏序 ⊆ 构成格。 对于偏序 构成格 的全体正规子群 对于 H, K 的最小上界 最小上界HK={ hk|h∈H, k∈K }, 最大下界 ∩K 最大下界H ∈ ∈ • 环R的全体理想 的全体理想I(R)对于偏序 ⊆ 构成格。 对于偏序 构成格 的全体理想 对于 I, J 的最小上界 最小上界I+J={ i+j|i∈I, j∈J } , 最大下界 ∩J 最大下界I ∈ ∈ • 线性空间 的全体子空间 线性空间V的全体子空间 的全体子空间S(V)对于偏序⊆ 构成格。 对于偏序 对于偏序⊆ 构成格
对任意a, ∈ ,由于*是幂等的,因此a * , 对任意 b∈L,由于*是幂等的,因此 =a*a,于 是自反的。 是a ≼ a,故≼是自反的。 , 如果a 如果 ≼ b 且 b ≼ a,则a = a*b 且 b = b*a,由于* , * * ,由于* 是交换的,因此a=a*b=b*a=b,故≼是反对称的。 是交换的,因此a=a*b=b*a=b, 是反对称的。 如果a 如果 ≼ b, b ≼ c,则a=a*b,b=b*c,由于*是结合的, 则 * , * ,由于*是结合的, 因此a=a*b=a*(b*c)=(a*b)*c=a*c,即a ≼ c,故≼是 因此 * * * * * * , , 传递的。 传递的。 所以(L, 是偏序集 是偏序集。 所以 ≼)是偏序集。
由a∨(b∨c)是{a, (b∨c)}的最小上界知 a≼a∨(b∨c), b∨c≼a∨(b∨c) ∨ ∨ 是 ∨ 的最小上界知 ≼ ∨ ∨ ∨ ≼ ∨ ∨ 的最小上界, 由传递性知: 而b∨c是{b, c}的最小上界,故b≼b∨c, c ≼b∨c, 再由传递性知 ∨ 是 的最小上界 ≼ ∨ ∨ b, c ≼a∨(b∨c)。所以 ∨(b∨c)是{a, b}的上界,而a∨b是{a, b}的 的上界, ∨ 是 ∨ ∨ 。所以a∨ ∨ 是 的上界 的 最小上界, 的上界, 最小上界,因此 a∨b≼a∨(b∨c), 故a∨(b∨c)是{a∨b, c}的上界, ∨ ≼ ∨ ∨ ∨ ∨ 是 ∨ 的上界 的最小上界, 而(a∨b)∨c是{a∨b, c}的最小上界,于是 ∨b)∨c≼a∨(b∨c);同 ∨ ∨ 是 ∨ 的最小上界 于是(a∨ ∨ ≼ ∨ ∨ ; 理,a∨(b∨c) ≼ (a∨b)∨c 故由反对称性知 ∨ ∨ ∨ ∨ 故由反对称性知: (a∨b)∨c=a∨(b∨c) ∨ ∨ ∨ ∨
定义9.1.2 设 (L, ∨, ∧)是一个代数系统,二元运 是一个代数系统, 定义 是一个代数系统 满足幂等律,交换律,结合律, 算“∨”和“∧” 满足幂等律,交换律,结合律, 吸收律,则称代数系统(L, 为格。 吸收律,则称代数系统 ∨, ∧)为格。 为格 是整数集合, 上定义二元运算“ 例9.1.4 设Z是整数集合,在Z上定义二元运算“∨” 是整数集合 上定义二元运算 如下: 和“∧”如下:对任意 x, y ∈ Z,x∨y =max{x,y}, , ∨ x∧y = min{x, y}, 则(Z, ∨, ∧)是格。 是格。 ∧ 是格
是有两个运算的代数系统, 定理 9.1.3 设(L, ∘, ∗)是有两个运算的代数系统,并 是有两个运算的代数系统 且运算“ 满足幂等律,交换律, 且运算“∘”和“∗”满足幂等律,交换律,结合 吸收律,则可以在L上定义一个偏序关系 上定义一个偏序关系“ 律,吸收律,则可以在 上定义一个偏序关系“≼” 使得( 是格, 使得 L, ≼ )是格,并对任意 x, y∈ L, 有 是格 ∈ x ∘ y= x ∨ y,x ∗ y= x ∧ y , 上定义关系“ 如下: 证. 在L上定义关系“≼”如下:a ≼ b ⇔ a = a ∗b 。 上定义关系 首先说明“ 首先说明“≼”是偏序关系
是格, 定理 9.1.2 设( L, ≼ )是格,则 是格 1.(1) a∨a = a, (2) a∧a = a 幂等律 . ∨ , ∧ 2.(1) a∨b=b∨a, (2) a∧b=b∧a 交换律 . ∨ ∨ , ∧ ∧ 3.(1) (a∨b)∨c=a∨(b∨c), (2) (a∧b)∧c=a∧(b∧c)结合律 . ∨ ∨ ∨ ∨ ∧ ∧ ∧ ∧ 结合律 4.(1) a∨(a∧b)=a, (2) a∧(a∨b)=a 吸收律 . ∨ ∧ , ∧ ∨
只需验证“∨”和“∧”满足幂等律,交换律,结合律和 只需验证“ 满足幂等律,交换律, 吸收律
反之, 所以a≼ 。 反之,设a∘b=b,则 a∗b=a∗(a∘b)=a, 所以 ≼b。 ∘ , ∗ ∗ ∘ 综合得: 综合得:a ≼ b ⇔ a ∘b=b。 。 由(a∘b)∘a = (a∘a)∘b = a ∘b 得 a ≼ a ∘b, ∘ ∘ ∘ ∘ 由(a∘b)∘b = a∘(b∘b) = a ∘b 得 b ≼ a ∘b, ∘ ∘ ∘ ∘ 所以a∘ 是 的上界; 所以 ∘b是{a, b}的上界; 的上界 的上界, 设c是{a, b}的上界,则 a≼c, b≼c, 即 a∘c =c, b∘c =c 是 的上界 ≼ ≼ ∘ ∘ 故c=c∘c=(a∘c)∘(b∘c)=(a∘b)∘(c∘c)=(a∘b)∘c, 即(a∘b)≼c ∘ ∘ ∘ ∘ ∘ ∘ ∘ ∘ ∘ ∘ ≼ 所以a∘ 是 的最小上界, 所以 ∘b是{a, b}的最小上界,即 的最小上界 a∨b = lub(a, b) = a∘b ∨ ∘
相关文档
最新文档