离散数学第11章 格与布尔代数
格与布尔代数课件2

= {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}
离散数学课件13.4布尔代数

有限布尔代数的表示定理
定理13.11 若B是有限布尔代数,则 B含有2n个元(n∈N), 并且B与<P(S),∩,∪,~,,S>同构, 其中S是一个n元集合.
举例
格S12,gcd.lcm是布尔代数吗? 解: S12={1,2,3,4,6,12}的元素个数6, 不是2的整数幂, 故不是布尔代数. 不难看出2没有补元,因为 2∨x=lcm(2,x)=12当且仅当 x=12, 而12的补元是1而不是2.
例
集合代数<P(S),∩,∪,~,,S>是 布尔代数.
开关代数<{0,1},∧,∨,¬,0,1>是 布尔代数,其中∧为与运算,∨为或 运算, ¬为非运算.
布尔代数有以下性质.
定埋13.10 设<B,∧,∨,',0,1>是布尔代数, 则有:
a∈B,(a’)’=a(双重否定律), a,b∈B, (a∨b)'=a'∧b'
布尔格、布尔代数
定义13.12 如果格<L,∧,∨,0,1>是有 补分配格,则称L为布尔格,也叫做布 尔代数. 由于布尔代数L中的每个元都有唯一 的补元,求补运算也可以看成是L中的 一元运算. 因此,布尔代数L可记为<L,∧,∨,',0,1>, 其中'表示求补运算.
布尔代数的等价定义
定义13.13(公理化定义): 有两个二元运算的代 数B,*, 称为布尔代数,如果对任意元素 a,b,cB,成立
•此类布尔表达式可用带3个基本元件的电路来实 现.3个基本元件是:
①反相器
x
x’
②与门
x xy
y
③或门
x xy
y
实例之一
•实例1: 三人委员会表决某个提案,如有两张赞 成票即获通过,实现上述过程的表决机器的控制 电路如下图所示:
离散数学定义列表

A.定义1.简单命题/原子命题、复合命题2.定义1.1:否定式、否定联结词3.定义1.2:合取式、合取联结词4.定义1.3:析取式、析取联结词定义1.4:蕴含式、前件、后件、蕴含联结词;规定19.4、20.45.定义1.5:等价式、等价联结词;规定6.联结词的定义(真值表)表1.1、优先级7.命题常项、命题变项(不是命题)、合式公式8.定义1.6:原子命题公式、公式、子公式9.定义1.7:公式层次10.定义1.8:赋值/解释、成真赋值、成假赋值11.定义1..9:真值表12.定义1..10:重言式/永真式、矛盾式/永假式、可满足式13.哑元************************重点:命题逻辑等值演算***************15.等值演算、置换规则4.116.定义2.2:文字、简单析取式、简单合取式17.定义2.3:析取范式、合取范式、范式18.定义2.4:极小项、极大项定义2.5:主析取范式、主合取范式********************************一阶逻辑**********************19.个体词、个体常项、个体变项、个体域/论域、全总个体域20.谓词、谓词常项、谓词变项、n元谓词、0元谓词量词、全称量词、存在量词全称蕴含、存在合取P71 5.3********************************集合代数**********************21.定义6.1:子集、包含22.定义6.2:相等23.定义6.3:真子集定义6.4:空集P139 124.n元集、m元子集、(单元集)25.定义6.5:幂集公式:26.定义6.6:全集27.定义6.7:并集、交集、相对补集、不交28.定义6.8:对称差集29.定义6.9:绝对补集30.定义6.10:广义并31.定义6.11:广义交幂等律、结合律、交换律、分配律、同一律、零律、排中律、矛盾律、吸收律、德摩根律、双重否定律eg6.8,P108 36****************************重点:二元关系***********************32.定义7.1:有序对/序偶33.定义7.2:笛卡尔积性质P11134.定义7.3:二元关系/关系P139 735.定义7.4:从A到B的二元关系、A上的二元关系、空关系36.定义7.5:A上的全域关系(E)、恒等关系(I)、小于等于关系(L)、整除关系(D)、包含关系(R)37.关系矩阵(x行,y列)、关系图38.定义7.6:定义域、值域、域39.定义7.7:逆关系40.定义7.8:右复合(左复合)41.定义7.9:R在A上的限制、A在R下的像42.定义7.10:关系的n次幂定义7.11:自反、反自反定义7.12:对称、反对称定义7.13:传递43.定义7.15:等价关系(性质)P142 32(4)、4144.定义7.16:等价类45.定义7.17:商集46.定义7.18:划分、划分块 P134 eg7.1847.定义7.19:偏序关系(性质)48.定义7.20:小于、可比49.定义7.21:全序关系/线序关系50.定义7.22:偏序集P13551.定义7.23:偏序集中顶点的覆盖关系(为画哈斯图)P143 43(2)***************************函数*******************************53.定义8.1:函数54.定义8.2:函数相等55.定义8.3:从A到B的函数P171 6(8)(9)56.定义8.4:从A到B的函数的集合B A57.定义8.5:A1在ƒ下的像、函数的像、完全原像定义8.6:满射、单射、双射/一一映射P173 2558.定义8.7: 常函数、恒等函数、单调递增、单调递减、严格单调递减、特征函数、自然映射59.反函数(双射)*************************代数系统*****************************60.定义9.2:一元运算定义9.3:可交换/交换律定义9.4:可结合/结合律定义9.5:幂等律、幂等元61.定义9.6:可分配/分配律62.定义9.7:吸收律63.定义9.8:左单位元(右单位元)、单位元/幺元64.定义9.9:左零元(右零元)65.定义9.10:左逆元(右逆元)、逆元、可逆66.定义9.11:消去律、左消去律(右消去律)注意P183 eg9.667.定义9.12:代数系统/代数、特异元素/代数常数68.定义9.13:具有相同的构成成分/同类型69.定义9.14:子代数系统/子代数、平凡的子代数、真子代数(函数对子集封闭)70.定义9.15:积代数、因子代数************************************群与环***************************************半群与群都是具有一个二元运算的代数系统71.定义 10.1:半群()、幺半群/独异点()、群()72.有理数加群、整数加群、实数加群、复数加群、四元群、子代数、语言73.定义 10.2:有限群、无限群、平凡群、交换群/Abel群74.定义 10.3:n次幂75.定义 10.4:(元素的)阶/周期、k阶元、无限阶元***********************************格与布尔代数**********************************格与布尔代数是具有两个二元运算的代数系统定义11.1:格(偏序集定义的)P22176.幂集格、子群格77.定义11.2:对偶命题、格的对偶原理78.定义11.3:格(代数系统定义的)79.定义11.4:子格80.定义11.5:分配格81.定义11.6:全上界、全下界82.定义11.7:有界格83.定义11.8:补元84.定义11.9:有补元定义11.10:布尔格/布尔代数(有补分配格)85.定义11.11:布尔代数(代数系统定义)86.定义11.12:原子**********************************14.图的基本概念********************************87.无序积A&B88.定义14.1:无向图、顶点集、顶点/结点、边集、无向边/边89.定义14.2:有向图、无向边/边90.(P294)图、阶、n阶图;零图、平凡图;空图;标定图、非标定图;基图;端点、关联、关联次数、环、相邻;始点、终点、孤立点;邻域、闭邻域、关联集、后继元集、先驱元集91.定义14.3:平行边、重数、多重图、简单图92.定义14.4:度数/度、出度、入度、最大度、最小度、悬挂顶点、悬挂边、偶度(奇度)顶点93.度数列、可图化的、可简单图化的,出度列、入度列94.定义14.6:n阶无向完全图/n阶完全图、n阶有向完全图、n阶竞赛图95.定义14.7:k-正则图96.定义14.8:母图、真子图、生成子图、导出的子图97.定义14.10:删除边e、删除E’、删除顶点v、删除V‘、边的收缩、新加边删点边不留,删边点还在98.定义14.11:通路、始点、终点、长度、回路、简单通路、简单回路、初级通路/路径、初级回路/圈、奇圈、偶圈、复杂通路、复杂回路99.定义14.12:连通、连通图、非连通图100.定义14.13:连通分支、连通分支数101.定义14.14:短程线、距离102.定义14.15:点割集、割点103.定义14.16:边割集/割集、割边/桥104.定义14.21:弱连通图/连通图、单向连通图、强连通图105.定义14.22:二部图/二分图/偶图,完全二部图定义14.23:无向图关联次数、关联矩阵定义14.24:有向图关联矩阵定义14.25:邻接矩阵定义14.26可达矩阵**********************************15.欧拉图与哈密顿图****************************106.定义15.1:欧拉通路、欧拉回路、欧拉图、半欧拉图107.定义15.2:哈密顿通路、哈密顿回路、哈密顿图、半哈密度图**********************************16.树*****************************************108.定义16.1:无向树/树、森林、平凡树、树叶、分支点109.定义16.2:生成树、树枝、弦、余树110.定义16.:5:权、最小生成树111.避圈法(Kruskal算法)B.定理1.定理2.1:简单析取式是重言式的充要条件;简单合取式是矛盾式的充要条件2.定理2.2:析取范式(矛盾式)、合取范式(重言式)3.定理2.3:范式存在定理4.定理2.4:极小项和极大项关系5.定理2.5:主析、主合存在并唯一6.定理6.1:子集是一切集合的子集推论:空集是唯一的7.定理7.1:逆关系性质8.定理7.2:复合结合律、逆9.定理7.3:关系与恒等关系复合10.定理7.4:复合分配律注意交11.定理7.5:限制和像的分配律注意像的交12.定理7.6:有穷集上只有又穷多个不同的二元关系13.定理7.7:关系的幂性质14.定理7.8:有穷集A上的关系R的幂序列R0,R1,R2等是一个呈现周期性变化的序列15.定理7.9:五大性质16.定理7.14:等价关系的性质17.定理8.1:函数的复合(关系的右复合)推论1:函数复合结合律推论2:ƒ:A→B,g:B→C,则ƒ。
离散数学 格与布尔代数共89页

66、节制使快乐增加并使享受加强。 ——德 谟克利 特 67、今天应做的事没有做,明天再早也 是耽误 了。——裴斯 泰洛齐 68、决定一个人的一生,以及整个命运 的,只 是一瞬 之间。 ——歌 德 69、懒人无法享受休息之乐。——拉布 克 70、浪费时间是一桩大罪过。——卢梭
离散数学 格与布尔代数
21、没有人陪你走一辈子,所以你要 适应孤 独,没 有人会 帮你一 辈子, 所以你 要奋斗 一生。 22、当眼泪流尽的时候,留下的应该 是坚强 。 23、要改变命运,首先改变自己。
24、勇气很有理由被当作人类德性之 首,因 为这种 德性保 证了所 有其余 的德性 。--温 斯顿. 丘吉尔 。 25、梯子的梯阶从来不是用来搁脚的 ,它只 是让人 们的脚 放上一 段时间 ,以便 让别一 只脚能 够再往 上登。
离散数学格与布尔代数

§7.1 格
例 < P(S) , >是格 表示为<P(S), , * > 又可表示为< P(S) ,∪,∩>
例 <Z+,≤>,或 <Z+,|> <Z+, , * > <Z+, LCM,GCD>
§7.2 格——代数系统
格〈L,≤〉中自然存在两个运算 和 * ,从而 派生出一个代数系统〈L,,*〉
6
<S15,|>,
2
2019/10/5
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/5
§7.1 格
例 设Z+为正整数集合,对于a,b Z+,关系“≤”定义为: a≤b当 且仅当a整除b。则偏序集<Z+,≤>构成格,
并、交 运算的性质
定理1 设〈L,≤〉是一个格,并运算与交运算 * 满足 如下性质:
L1 a a = a
a*a=a
(幂等律)
L2 a b = b a a * b = b * a (交换律)
L3 (a b) c = a (b c)
离散数学-格和布尔代数

的次序图如下
-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、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
注意:一般说来, 格中的∨和∧运算不满足分配律.
5
格作为代数系统的定义
定理11.4 设<S,∗,◦>是具有两个二元运算的代数系统, 若对于 ∗和◦运算适合交换律、结合律、吸收律, 则可以适当定义S中 的偏序 ≼,使得 <S,≼> 构成格, 且a,b∈S 有 a∧b = a∗b, a∨b = a◦b. 证明省略. 根据定理11.4, 可以给出格的另一个等价定义. 定义11.3 设<S, ∗, ◦ >是代数系统, ∗和◦是二元运算, 如果 ∗和◦满足交换律、结合律和吸收律, 则<S, ∗,◦>构成格.
11
有界分配格的补元惟一性
定理11.7 设<L,∧,∨,0,1>是有界分配格. 若L中元素 a 存在 补元, 则存在惟一的补元. 证 假设 c 是 a 的补元, a∨c = 1, a∧c = 0, 又知 b 是 a 的补元, 故 a∨b = 1, a∧b = 0 从而得到 a∨c = a∨b, a∧c = a∧b, 由于L是分配格. b=b ∧ (b∨a) = b ∧ (c∨a )= (b ∧ c)∨ (b ∧ a )= (a∨c ) ∧c=c 注意: 在任何有界格中, 全下界0与全上界1互补. 对于一般元素, 可能存在补元, 也可能不存在补元. 如果 存在补元, 可能是惟一的, 也可能是多个补元. 对于有界 分配格, 如果元素存在补元, 一定是惟一的. 12
8
有界格的性质
定理11.6 设<L,∧,∨,0,1>是有界格, 则a∈L有 a∧0 = 0, a∨0 = a, a∧1 = a, a∨1 = 1
注意: 有限格L={a1,a2,…,an}是有界格, a1∧a2∧…∧an是L的全下 界, a1∨a2∨…∨an是L的全上界. 0是关于∧运算的零元,∨运算的单位元;1是关于∨运算的 零元,∧运算的单位元.
1
实例
例2 判断下列偏序集是否构成格,并说明理由. (1) <P(B), >,其中P(B)是集合B的幂集. (2) <Z, ≤>,其中Z是整数集,≤为小于或等于关系. (3) 偏序集的哈斯图分别在下图给出.
(1) 幂集格. x,y∈P(B),x∨y就是x∪y,x∧y就是x∩y. (2) 是格. x,y∈Z,x∨y = max(x,y),x∧y = min(x,y), 图2 (3) 都不是格. 可以找到两个结点缺少最大下界或最小上界
3
Байду номын сангаас
格的性质:序与运算的关系
定理11.3 设L是格, 则a,b∈L有 a ≼ b a∧b = a a∨b = b
可以用集合的例子来验证 幂集格
<P(B), >,其中P(B)是集合B的幂集. 幂集格. x,y∈P(B),x∨y就是x∪y,x∧y就是x∩y.
4
格的性质:保序
定理11.4 设L是格, a,b,c,d∈L,若a ≼ b 且 c ≼ d, 则 a∧c ≼ b∧d, a∨c ≼ b∨d 证 a∧c ≼ a ≼ b, a∧c ≼ c ≼ d 因此 a∧c ≼ b∧d. 同理可证 a∨c ≼ b∨d 例4 设L是格, 证明a,b,c∈L有 a∨(b∧c) ≼ (a∨b)∧(a∨c). 证 由 a ≼ a, b∧c ≼ b 得 a∨(b∧c) ≼ a∨b 由 a ≼a, b∧c ≼ c 得 a∨(b∧c) ≼ a∨c a∨(b∧c) ≼ (a∨b)∧(a∨c) (注意最大下界)
7
有界格的定义
定义11.6 设L是格, (1) 若存在a∈L使得x∈L有 a ≼ x, 则称a为L的全下界 (2) 若存在b∈L使得x∈L有 x ≼ b, 则称b为L的全上界 说明: 格L若存在全下界或全上界, 一定是惟一的. 一般将格L的全下界记为0, 全上界记为1. 定义11.7 设L是格,若L存在全下界和全上界, 则称L 为有界 格, 一般将有界格L记为<L,∧,∨,0,1>.
2
格的性质:算律
定理11.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) L1中 a 与 c 互为补元, 其中 a 为全下界, c为全上界, b 没有 补元. (2) L2中 a 与 d 互为补元, 其中 a 为全下界, d 为全上界, b与 c 也互为补元. (3) L3中a 与 e 互为补元, 其中 a 为全下界, e 为全上界, b 的补 元是 c 和 d ; c 的补元是 b 和 d ; d 的补元是 b 和 c ; b, c, d 每个元素都有两个补元. (4) L4中 a 与 e 互为补元, 其中 a 为全下界, e 为全上界, b 的补 元是 c 和 d ; c 的补元是 b ; d 的补元是 b .
6
11.2 分配格、有补格与布尔代数
定义11.5 设<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为五角格.
9
有界格中的补元及实例
定义11.8 设<L,∧,∨,0,1>是有界格, a∈L, 若存在b∈L 使得 a∧b = 0 和 a∨b = 1 成立, 则称b是a的补元. 注意:若b是a的补元, 那么a也是b的补元. a和b互为补元.
例7 考虑下图中的格. 针对不同的元素,求出所有的补元.
10
解答
11.1 格的定义与性质
定义11.1 设<S, ≼>是偏序集,如果x,yS,{x,y}都有最小上 界和最大下界,则称S关于偏序≼作成一个格. (偏序关系 P126) 求{x,y} 最小上界和最大下界看成 x 与 y 的二元运算∨和∧, 例1 设n是正整数,Sn是n的正因子的集合. D为整除关系,则 偏序集<Sn,D>构成格. x,y∈Sn,x∨y是lcm(x,y),即x与y的 最小公倍数. x∧y是gcd(x,y),即x与y的最大公约数.