版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1离散数学(二)特殊格:分配格,有界格与有补格分配格11有界格和有补格2主要内容:分配格,有界格与有补格重点:
重点和难点:布尔格(布尔代数)3有补格的定义难点:
一、分配格分配格的定义:设<L,*,⊕>是一个格,若对于任何a,b,c∈L,有a*(b⊕c)=(a*b)⊕(a*c)
保交对保联可分配
(1)a⊕(b*c)=(a⊕b)*(a⊕c)
保联对保交可分配
(2)则称<L,*,⊕>是一个分配格。
Note:
上述定义中(1)和(2)是等价的,只要一个成立,应用吸收律可推出另外一个。因此,判断一个格是否是分配格只需判断(1)或(2)其中之一.例1:S={a,b,c},<ρ(S),∩,∪>为分配格,因为任取A,B,C∈ρ(S),(a)A∪(B∩C)=(A∪B)∩(A∪C)(b)A∩(B∪C)=(A∩B)∪(A∩C)一、分配格例2:图中钻石格与五角格是分配格吗?(a)
b*(c⊕d)=b*a=b(b*c)⊕(b*d)=e⊕e=e
所以b*(c⊕d)≠(b*c)⊕(b*d)(b)c*(b⊕d)=c*a=c
(c*b)⊕(c*d)=e⊕d=d
所以c*(b⊕d)≠(c*b)⊕(c*d)一、分配格定理1设<L,≤>是偏序格,则<L,≤>是分配格当且仅当
(i)在此格中不存在与钻石格同构的子格;
(ii)且不存在与五角格同构的子格。推论:设<L,≤>是格,|L|<5,则<L,≤>是分配格。定理2每个链都是分配格。证明:
设<L,≤>是链,则<L,≤>必是格.任取a,b,c∈L,讨论以下两种情况:(1)a≤b或a≤c;(2)a≥b和a≥c。对于情况(1)有:
a*(b⊕c)=a;(a*b)⊕(a*c)=a⊕a=a.对于情况(2)有:
a*(b⊕c)=b⊕c;(a*b)⊕(a*c)=b⊕c.因此有a*(b⊕c)=(a*b)⊕(a*c).所以,每个链都是分配格.一、分配格定理3设<L,*,⊕>是一个格,若*运算对⊕运算可分配,则⊕对*也可分配,反之亦然。证明:
设*运算对⊕运算可分配,即任取a,b,c∈L,满足
a*(b⊕c)=(a*b)⊕(a*c),现要证a⊕(b*c)=(a⊕b)*(a⊕c).(a⊕b)*(a⊕c)=((a⊕b)*a)⊕((a⊕b)*c)=a⊕[(a*c)⊕(b*c)]=[a⊕(a*c)]⊕(b*c)=a⊕(b*c)同理可由a⊕(b*c)=(a⊕b)*(a⊕c)推出a*(b⊕c)=(a*b)⊕(a*c).一、分配格定理4设<L,*,⊕>是一个分配格,那么对于任意a,b,c∈L,若有a*b=a*c和a⊕b=a⊕c,则必有b=c。证明:
c
=(a*c)⊕c=(a*b)⊕c
=
(a⊕c)*(b⊕c)=(a⊕b)*(b⊕c)=((a⊕b)*b)⊕((a⊕b)
*
c)
=b⊕((a*c)⊕(b*c))=b⊕((a*b)⊕(b*c))=
b⊕(a*c)
=
b⊕(a*b)
=
b二、有界格和有补格全上/下界定义:设<L,≤>是一个格,若∃a∈L,对所有x∈L均有x≤a,称a为格<L,≤>的全上界;若∃b∈L,对所有x∈L均有b≤x,称b为格<L,≤>的全下界。通常将全上界记为“1”,而将全下界记为“0”。定理5对于一个格<L,≤>,若全上界存在,那么它是唯一的(若全下界存在,则唯一).Note:
1有限格必有全上界(全下界)2无限格不一定有全上界(全下界)如<I,≤>无全上界.有界格的定义:
具有全上界和全下界的格称为有界格,记作<L,∧,∨,0,1>.二、有界格和有补格例2
(1)
S={a,b,c},偏序格是<ρ(S),⊆>,全上界S∀A∈ρ(S),有A⊆S全下界Ø∀A∈ρ(S),有Ø⊆A
(2)X={A|A是由变元p1,p2,…,pn,﹁,∧,∨,→,
构成的合式公式集}。<X,∧,∨>诱导的偏序格是<X,>.全上界T∀P∈X,有PT全下界F∀P∈X,有FP.二、有界格和有补格定理6
设<L,≤>是一个有界格,则对于∀aA,都有
a∨1=1a∧1=a(1是∨运算的零元,∧运算的幺元)
a∨0=aa∧0=0(0是∨运算的幺元,∧运算的零元)证明:
(1)证a∨1=1因为a∨1L且1是全上界,所以a∨1≤1;又因为1≤
a∨1,所以a∨1=1.
(2)证a∧1=a因为a≤
a,a≤1,所以a≤a∧1;又因为a∧1≤
a,所以a∧1=a.
(3)(4)类似可证.二、有界格和有补格补元的定义:设<L,∧,∨,0,1>是有界格a∈L,若存在b∈L使得a∨b=1和a∧b=0,则称b为a的补元。
(1)中a,b,c都不存在补元,0与1互为补元.(2)中a,b,c中任意两个都互为补元,0与1互为补元.(3)中a的补元都是b和c,而c的补元是a,0与1互为补元.Note:在格中有的元素无补元,有的元素有补元,有的元素有多个补元.二、有界格和有补格有补格定义:如果在一个有界格中,每个元素都至少有一个补元,则称这个格为有补格.上图中(2)和(3)是有补格,而(1)不是有补格.
证明:
∵0∧1=0,0∨1=1,∴0、1互为补元。设c也是0的补元,∵0∨c=1,∴必有c=1,故0的补元唯一。同理可证1的补元也唯一。定理7
在有界格<L,∧,∨,0,1>中,0和1互为补元,且是唯一的.
证明:设b,c都是a的补元,则a∧b=0=a∧c,a∨b=1=a∨c,分配格满足消去律,可知b=c.消去律:
(即对于任意a,b,c∈L有(a∧b=a∧c)∧
(a∨b=a∨c)⇒b=c)定理8
在分配格中,如果元素a∈L有一个补元a',则此补元a'是唯一的.三、布尔格(布尔代数)布尔格的定义如果格<L,∧,∨,0,1>,既是有补格,又是分配格,则称此格为布尔格(或有补分配格),也叫做布尔代数.
例3
设S是非空有限集合,<ρ(S),∩,∪>为代数格∀A,B∈ρ(S),A≤BA∩B=AA⊆B由<ρ(S),∩,∪>诱导的偏序格是<ρ(S),⊆>.说明<ρ(S),⊆>是布尔格.
证明(1)<ρ(S),⊆>是格;
(2)<ρ(S),⊆>是有界格,因为全上界S∀A∈ρ(S),有A⊆S
全下界Ø∀A∈ρ(S),有Ø⊆A;(3)<ρ(S),⊆>是有补格,因任取A∈ρ(S),A的补元是S-A;(4)<ρ(S),⊆>是分配格,因∩和∪运算满足相互分配律.综上可知,
<ρ(S),⊆>是一个布尔格。三、布尔格(布尔代数)例4
X={A|A是由变元p1,p2,…,pn,﹁,∧,∨,→,构成的合式公式集}。<X,∧,∨>诱导的偏序格是<X,>.说明<X,>是布尔格.
证明
(1)<X,>是格,
(2)<X,>是有界格,因为全上界T∀P∈X,有PT全下界F∀P∈X,有FP.(3)<X,>是有补格,因任取∀P∈X,P的补元是┒P(4)
<X,∧,∨>是分配格,因∧和∨运算满足相互分配律,综上可知,
<X,>是一个布尔格。三、布尔格(布尔代数)由于布尔代数L中的每个元都有唯一的补元.求一个元素的补元素可以看作一元运算,称为补运算.因此,布尔代数L可记为<L,∧,∨,',0,1>,其中'表示求补运算.
证明(1)由于a∧a′=1,
a∨a′=0;根据交换律有,a′∧a=1,a′∨a=0;所以(a′)′=a;
(2)
(a∨b)∧(a′∧b′)=(a∧a′∧b′)∨(b∧a′∧b′)=0
(a∨b)∨(a′∧b′)=(a∨a′∨b′)∧(b∨a′∨b′)=1根据补元的唯一性,可得(a∨b)′=a′∧b′定理8
设<L,≤>是布尔格(<L,∧,∨,0,1>),对于所有a,b∈L,有(1)(a′)′=a(2)(a∨b)′=a′∧b′(3)(a∧b)′=a′∨b′
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 化学广东湛江市2026年普通高考测试(二)(湛江二模)(4.8-4.10)
- 赣南医科大学《第二语言习得》2025-2026学年期末试卷
- 桐城师范高等专科学校《宠物解剖生理》2025-2026学年期末试卷
- 漳州城市职业学院《护理学导论与法律法规》2025-2026学年期末试卷
- 民办合肥财经职业学院《中医哲学基础》2025-2026学年期末试卷
- 2026年双鸭山市尖山区社区工作者招聘考试备考试题及答案解析
- 中国矿业大学徐海学院《播音主持创作基础》2025-2026学年期末试卷
- 池州职业技术学院《旅游接待业》2025-2026学年期末试卷
- 福建生物工程职业技术学院《西方文学理论》2025-2026学年期末试卷
- 宁德师范学院《儿童文学》2025-2026学年期末试卷
- 低钠血症的中国专家共识2023解读
- 小儿矮小症护理
- 中华医学会胃癌临床诊疗指南(全文版)
- 超声引导下动静脉内瘘穿刺
- GB/T 2423.17-2024环境试验第2部分:试验方法试验Ka:盐雾
- 商用车驾驶室的驾驶室悬置形式及主要功能
- 第4章-图像增强
- 2024年长江出版社武汉有限公司招聘笔试参考题库含答案解析
- 患者情绪疏导与心理支持
- 灰姑娘英语话剧剧本-doc
- 桂林一中小升初去年分班考试试卷
评论
0/150
提交评论