8.1 引 言 8.2 格的定义.pptVIP

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

第八章 格与布尔代数 §8.1 引 言 集合代数:(ρ(S), ∩ , ∪ ) 对?A,B,C∈ρ(S),运算∪,∩满足:? 等幂律 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∩(B∪C)=(A∩B)∪(A∩C), A∪(B∩C)=(A∪B)∩(A∪C), 吸收律 A∩(A∪B)=A, A∪(A∩B)=A 若引进余集ˉ的概念,有De Morgan定律: 命题代数(S,∧,∨) 对?A,B,C∈S,运算∧,∨满足:? 等幂律 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∧(B∨C)=(A∧B)∨(A∧C), A∨(B∧C) = (A∨B) ∧(A∨C) 吸收律 A∧(A∨B)=A,A∨(A∧B)=A, 若引进否定?的概念,有De Morgan定律: ?(A∧B )= ?A∨?B, ?(A∨B )= ?A∧?B, 美国数学家George David Birkhoff(1884-1944年) 1905年在哈佛大学毕业 1907年在芝加哥大学获博士学位 先后执教于威斯康星、普林斯顿和哈佛大学。 第二次世界大战期间美国数学界公认的领袖人物。 最重要的工作是在动力系统的研究方面 在20世纪30年代提出格 指导的许多博士生成为20世纪中期最多产的数学家。其子Garrett Birkhoff也是著名数学家。 英国数学家、哲学家 George Boole(1815-1864) 因家境窘迫,1831年(16岁)开始从教,利用业余时间钻研数学 1847年著文《 The Mathematical Analysis of Logic》,后又著《 An Investigation of the Laws of Thought》,发展成为布尔代数。给19世纪数学带来新的转机,并成为后来计算机理论的基础。 为逻辑代数化作出了决定性的贡献, 利用代数语言使逻辑推理更简洁清晰 1857年当选为伦敦皇家学会会员(唯一没有上过大学的皇家学会会员),不久荣获该会皇家奖章。 §8.2 格 的 定 义 半序格 定义A 给出一个部分序集(L,≤), 如果对于任意a,b∈L,L的子集{a,b} 在L中都有一个最大下界(记为inf{a,b}) 和一个最小上界(记为sup{a,b}),则 称(L,≤)为一个格。 半序格的例 例. S是任意一个集合,ρ(S)是S的幂集合, 则,部分序集(ρ(S),?)是一个格。 因为对?A,B∈ρ(S), sup{A,B}=A∪B∈ρ(S),inf{A,B}=A∩B∈ρ(S) 例.设I+是所有正整数集合,D是I+中的“整除关系”,对任意a,b∈I+,aDb当且仅当a整除b,于是,(I+,D)是一个格。 sup{a,b}=a,b的最小公倍∈I+, inf{a,b}= a,b的最高公因∈I+ 。 半序格的例 例. 设n是一个正整数,Sn是n的所有正因数的集合,于是,(Sn,D)是格。因为 sup{a,b}=a,b的最小公倍∈ Sn, inf{a,b}= a,b的最高公因∈ Sn。 例. 设S是所有的命题集合,定义“ ” 如下: A B 当且仅当 B蕴涵A。 则(S, )是一个格。因为 sup{A,B}=A∧B∈S, inf{A,B}=A∨B∈S。 半序子格 定义A′ 设(L,≤)是格,S ? L, 如果(S,≤)是格, 则称(S,≤)是格(L,≤)的子格。 例.(S6,D)是(S24,D)的子格。 note: 设(L,×,⊕)是格,则(L,×)和(L,⊕)均为交换半群。 定义B中由×,⊕ 满足吸收律可推出它们一定满足等幂律。 证明:任取L中元素a,由×,⊕满足吸收律知, a×(a⊕a)=a, a ⊕(a×a)=a。 故 a×a=a×(a⊕(a×a)), a⊕a=a⊕(a×(a ⊕a))。 又由×,⊕满足吸收律知,上面两式的等式右 端都等于a。因此, a×a = a, a ⊕ a = a。 即, 定义B中的×,⊕运算亦满足等幂律。 代数格的例 例. 设S是一个集合,ρ(S)是S的幂集合,于是,(ρ(S),∩,∪)

文档评论(0)

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

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

1亿VIP精品文档

相关文档