第四章 格及布尔代数(集合论讲义).pdfVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 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

文档评论(0)

xuefei111 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档