- 2
- 0
- 约2.48千字
- 约 44页
- 2017-05-20 发布于浙江
- 举报
第六章格与与布尔代数
离 散 数 学;复习:;*;*;*;*;Evaluation only.
Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.
Copyright 2004-2011 Aspose Pty Ltd.;*;定理(格的基本性质)
设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 ;定理(格的性质:序与运算的关系)
设L是格, 则?a,b∈L有a ? b ? a∧b = a ? a∨b = b;定理(格的保序性)
设L是格, ?a,b,c,d∈L,若a ? b 且 c ? d, 则
a∧c ? b∧d, a∨c ? b∨d;定理: 设L是格, ?a,b,c∈L有
a∨(b∧c) ? (a∨b)∧(a∨c).;*; e;对偶式:格中元素用运算符∧, ∨连接起来的的一个表达式f,将f中的∧换成∨,将∨换成∧,如有0,1,将0换成1,将1换成0,所形成的表达式称为f的对偶表达式记作f* 。
对偶原理: 对于L,R中任一真命题,其对偶命题也真。;三、格的同态与同构
定义:设A1,?1和A2,?2是两个格,它们分别诱导的代数系统为A1, ∧1, ∨1和A2, ∧2, ∨2,若存在一个从A1到A2的映射f,使得对于任意的a,b∈A1,有
f(a∧1b)=f(a)∧2f(b)
f(a∨1b)=f(a)∨2f(b)
则称f是从A1, ∧1, ∨1到A2, ∧2, ∨2的格同态。亦称f(A1), ?2是A1,?1的格同态象。当f是双射的,则称f是从A1, ∧1, ∨1到A2, ∧2, ∨2的格同构,亦称格A1,?1和A2,?2是同构的。;定理:设f是格A1,?1到A2,?2格同态,则对任意的a,b∈A1,若a?1b,必有f(a) ?2 f(b)。;定理:设A1,?1和A2,?2是两个格,f是从A1到A2双射,则f是从A1,?1到A2,?2的格同构,当且仅当,对任意的a,b∈A1,a?1b?f(a) ?2 f(b)。;*;*;*;*;定理2:;*;定理4;证明:若L, ∧, ∨是分配格,且a∧c=b∧c,a∨c=b∨c,则
a=a∧(a∨c)=a∧(b∨c)
=(a∧b)∨(a∧c)
=(a∧b)∨(b∧c)=b∧(a∨c)
=b∧(b∨c)=b;*;6.3 有补格;*;例:;定理:
设L,∧,∨,0,1是有界格, 则?a∈L有:a∧0 = 0, a∨0 = a, a∧1 = a, a∨1 = 1
;注意:
(1)有限格L={a1,a2,…,an}是有界格, a1∧a2∧…∧an是L的全下界, a1∨a2∨…∨an是L的全上界.
(2)0是关于∧运算的零元,∨运算的幺元;
1是关于∨运算的零元,∧运算的幺元.
(3)对于涉及到有界格的命题, 如果其中含有全下界0或全上界1, 在求该命题的对偶命题时, 必须将0替换成1, 而将1替换成0.;*;*;*;定理 设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 = c.
;三、有补格;*;*;6.4 布尔代数;设B, ∧, ∨, ˉ, 0, 1是一个布尔代数,a, b, c是集合B中任意元素,于是,它有如下性质:
(1)因为B, ∧, ∨是一个格,所以有
a∧a=a a∨a=a
a∧b=b∧a a∨b=b∨a
(a∧b)∧c=a∧(b∧c) (a∨b) ∨c=a∨(b∨c)
a∧(a∨b)=a a∨ (a∧b)=a
(2)因为B, ∧, ∨是分配格,所以有
a∧(b???c)=(a∧b)∨(a
您可能关注的文档
最近下载
- 信阳市存量房交易合同6篇.docx VIP
- 三年级上册数学应用题220道(可打印).docx VIP
- 2025年《中国居民营养与慢性病状况报告》.docx
- 浙江省杭州市2026届高三上学期教学质量检测(一模)英语试卷(含音频).pdf
- 2024至2030年宜春市锂电池产业深度调查及投资战略研究报告.docx
- 各类抗菌药物临床的合理应用.ppt VIP
- (高清版)DB13(J)∕T 8541-2023 全过程工程咨询服务标准.pdf VIP
- 2026年辽宁轻工职业学院单招职业技能考试题库及答案详解(必刷).docx VIP
- 玻璃钢格栅板通用图集.pdf VIP
- 玻璃钢格栅与板规格.ppt VIP
原创力文档

文档评论(0)