- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第四章 格与布尔代数
乔治.布尔(George Boole )在幂集合基础上所建立的布尔代数在命题演算和数字逻辑设计
中发挥了重大作用;比布尔代数更广泛的概念是格,它是由戴德金(Dedekind )在研究交换
环和理想时引入的。本章将在格的基础上讨论布尔代数。
§4.1 偏序与格
由偏序集出发,可引出格的概念。
定义 1.1 设(P, ≤) 是一个偏序集,如果P 中任意两个元素(构成的集合)都有上、下确界,
则称P 关于偏序≤构成一个格。以a ∪b 表示 {a ,b}的上确界lub{a, b} ,以a ∩b 表示 {a ,b}
的下确界glb{a, b} 。
例 1.1 设A 是任意集合,(ρ(A), ⊆ ) 是格。任意两元素B ,C 的上,下确界正好分别是
A
B ∪C 和B ∩C 。
例 1.2 (, ≤) 是格。a ∪b max(a, b) ,a ∩b min(a, b) 。
例 1.3 ( ,|) 是格。a ∪b lcm(a, b) ,a ∩b gcd(a,b) 。
+
例 1.4 设 B {0,1},记B n 为B 的n 次笛卡儿乘积。如下定义 B n 上的关系 ≤ :对任意
n
(a , , a ) ,(b , ,b ) ∈Bn ,(a , , a ) ≤ (b , ,b ) 当且仅当a ≤b ,1≤i ≤n 。≤ 是
1 n 1 n 1 n n 1 n i i n
偏序,且(B n , ≤ ) 是格。(a , , a ) ∪(b , ,b ) (a ∪b , , a ∪b , a ∪b ) ,
n 1 n 1 n 1 1 i i n n
(a , , a ) ∩(b , ,b ) (a ∩b , , a ∩b , a ∩b ) 。
1 n 1 n 1 1 i i n n
例 1.5 全序集(P, ≤) 是格,称为有序格。
∪,∩可看作格(P, ≤) 上的两个二元运算,分别称为并运算,交运算,下面来研究这两个
运算的性质。
1
有定义可得三个基本性质:在格(P, ≤) 中
(1)∀a,b ∈P ,a ≤a ∪b ,b ≤a ∪b ;a ∩b ≤a ,a ∩b ≤b 。
(2 )∀a,b,c, d ∈P ,若a ≤c ,b ≤d ,则a ∪b ≤c ∪d ,a ∩b ≤c ∩d 。
(3 )∀a,b ∈P ,a ∩b a ⇔ a ≤b ⇔ a ∪b b 。
证明:(1)直接由定义可得。
(2 )因为a ≤c ≤c ∪d ,b ≤d ≤c ∪d ,所以c ∪d 是{a ,b}的一个上界,所以
a ∪b ≤c ∪d 。同理可证,a ∩b ≤c ∩d 。
(3 )a ∩b a ⇒a ≤b ;a ≤b ⇒a 是{a ,b}的一个下界,且是下确界,即a ∩b a 。
同理可证a ≤b ⇔ a ∪b b 。
此后,将格记为(L, ≤) 。
′
对偶原理:设P 是对任意格都为真的一个命题,P 是将P 中“≤”与“≥”,“∪”与“∩”
互换得到的对偶命题,则P ′对任意格也为真。
这是因为由格(L, ≤) 可得到对偶格(L, ≥) (∀a,b ∈L ,a ≥b 当且仅当b ≤a ),(L, ≥) 的并
交运算恰好分别是(L, ≤) 的交并运算,关于对偶格(L, ≥) 的命题P 等价于关于(L, ≤) 的命题
P ′。
定理 1.1 设(L, ≤) 是格,对任意a,b,c ∈L ,∪,∩适合下列算律:
L1 幂等律:a ∩a
您可能关注的文档
最近下载
- 渠道护砌工程施工方案砼预制块护坡施工渠道砼工程砼格埂.docx VIP
- 气调库工程项目可行性研究报告.docx
- 2025年二级矿井维修电工(技师)技能认定理论考试题库资料(含答案).pdf
- 功能性食品学 课件 第8章 益生菌及其活性代谢物.pptx
- 实验室质量管理体系文件.docx VIP
- 电工高级技师实操考试试卷.pdf VIP
- 初中阶段初阶词汇初级-如何记单词.docx VIP
- 中文版安德森吞咽困难量表的信效度和临床应用评价.pdf VIP
- (正式版)D-L∕T 611-2016 300MW~600M级机组煤粉锅炉运行导则.docx VIP
- BSL实验室生物安全管理体系文件.docx VIP
文档评论(0)