第11章 格和布尔代数.pptVIP

  1. 1、本文档共54页,可阅读全部内容。
  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文档。上传文档
查看更多
第11章 格和布尔代数

第11章 格与布尔代数; 第11章 格与布尔代数 ; ; 【例11.2】图11.2中给出了一些偏序集的哈斯图,判断它们是否构成格。 ;;表11. 1;; 定理11.1.1 设?X,??是格,?X,∨,∧?是格?X,??导出的代数系统。则?a,b,c?X有 ⑴ a∨b=b∨a, a∧b=b∧a (交换律) ⑵ (a∨b)∨c=a∨(b∨c) (a∧b)∧c=a∧(b∧c) (结合律) ⑶ a∨a= a, a∧a= a (幂等律) ⑷ a∨(a∧b)=a a∧(a∨b)=a (吸收律) 证明:⑴?a,b?X,?a,b?=?b,a?,所以它们的最小上界相等。即a∨b=b∨a,同理可证a∧b=b∧a ⑵ a和b的最大下界一定是a、b的下界,即a∧b?a,同理,(a∧b)∧c?a∧b,所以,(a∧b)∧c?a∧b?a 同理有 (a∧b)∧c?a∧b?b 和 (a∧b)∧c?c;由以上3式得 (a∧b)∧c?b∧c和(a∧b)∧c?a∧(b∧c) 类似地可证 a∧(b∧c)?(a∧b)∧c 根据偏序关系的反对称性有(a∧b)∧c= a∧(b∧c) 由对偶原理得 (a∨b)∨c= a∨(b∨c) ⑶ 显然a?a∨a,又由?的自反性得a?a,从而推出a∨a?a,根据偏序关系的反对称性有a∨a=a 由对偶原理得a∧a=a ⑷显然 a?a∨(a∧b), 又由a?a,a∧b?a得a∨(a∧b)?a,从而得 a∨(a∧b)=a。 由对偶原理得a∧(a∨b)=a ; 定理11.1.2 设?X,∨,∧?是代数系统,其中∨,∧都是二元运算。如果∨和∧满足吸收律,则∨和∧满足幂等律。 证明:a∨a=a∨(a∧(a∨b))=a,同理可证a∧a=a 定理11.1.3 设?X,∨,∧?是代数系统,其中∨,∧都是二元运算,满足交换律、结合律和吸收律,则可适当定义X的偏序关系?,使?X,??构成一个格。 证明:定义X上的一个二元关系 ?=??a,b?|a,b?X且a∧b=a? ⑴ 证明?是X上的偏序关系。 由定理11.1.2知∧满足幂等律,即a∧a=a,所以a?a。故?是自反的。 设a?b且b?a,则a∧b=a且b∧a=b,于是a=a∧b=b∧a =b。所以?是反对称的。 设a?b且b?c,则a∧b=a且b∧c=b,于是a∧c=(a∧b)∧c =a∧(b∧c)=a∧b=a,即a?c,故?是传递的。 这就证明了?是X上的偏序关系。 ; ⑵证明?a,b?X,a∧b是集合?a,b?的最大下界。因为 (a∧b)∧a=a∧b和(a∧b)∧b=a∧b 所以a∧b?a且a∧b?b,即a∧b是?a,b?的下界。 下证a∧b是?a,b?的最大下界。 设c是?a,b?的任一下界,即c?a,c?b,那么有 c∧a=c,c∧b=c 而 c∧(a∧b)=(c∧a)∧b=c∧b=c 所以 c?a∧b,即a∧b是?a,b?的最大下界。 ⑶ 证明a∧b=a的充分必要条件是a∨b= b 设a∧b=a,由吸收律可得 a∨b=(a∧b)∨b=b∨(b∧a)=b,即a∨b= b 设a∨b=b,由吸收律可得 a∧b=a∧(a∨b)=a,即a∧b=a; ⑷ 证明?a,b?X,a∨b是集合?a,b?的最小上界。 根据⑶,偏序关系?可以等价的定义为: ?=??a,b?|a,b?X且a∨b=b?, 用这个定义和类似于⑵的方法可以证明a∨b是集合?a,b?的最小上界。 因此,?X,??构成一个格。 根据定理11.1.3,可以给出格的另一个等价定义。 定义11.1.4 设?X,*,°?是

文档评论(0)

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

教师资格证持证人

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

领域认证该用户于2024年04月12日上传了教师资格证

1亿VIP精品文档

相关文档