Chapter5(格与布尔代数).pptVIP

  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文档。上传文档
查看更多
离散数学 (格与布尔代数) Discrete Mathematics (Algbra Structures) 第五章 格与布尔代数 在第一章我们介绍了命题逻辑。当时被侧重的只是形式系统。如果视P为全体命题的集合,于是逻辑联词∨,∧就可以被看作P上的两个二元代数运算。因而,(P,∨,∧)是一个代数,即通常所说的命题代数。 在命题代数中,运算∨,∧满足幂等律,交换律,结合律,分配律和吸收律。 第五章 格与布尔代数 在第三章我们介绍了集合的最为一般的一些理论,被关心的只是集合的基本概念,集合的运算和基数等方面的事实。如果我们令S=2A,对于?X,Y?S,则都有X∪Y,X∩Y?S。在这两种二元运算下,(S,∪,∩)是代数,即所谓幂集代数。 第五章 格与布尔代数 在幂集代数中, 运算∪, ∩满足幂等律, 交换律, 结合律, 分配律和吸收律. 在幂集代数中引进了补集的概念和在命题代数中引进了否定的概念之后, 则在这两种代数中, 都具有了De Morgan律. 第五章 格与布尔代数 从代数的观点出发,我们是否能对一种更为抽象的代数系统进行研究, 使得幂集代数, 命题代数仅仅是它的特例? 回答是肯定的. 这种抽象的代数系统就是格和布尔代数. 研究布尔代数首先要研究格, 因为布尔代数是一种特殊的格. 第五章 格与布尔代数 格作为数学中一个很有特色的分支, 大体上说形成于二十世纪的三十到四十年代. 格作为一种理论, 它不只是代数学的一个部分, 而且在近代解析几何, 半序空间等方面也都有重要的作用. 布尔代数的问世比格要早,在十九世纪中叶,由英国数学家乔治·布尔研究并提出。 第五章 格与布尔代数 格和布尔代数在计算机科学中有广泛的应用,象有限自动机理论,开关网络理论,逻辑设计等领域都直接地应用了格和布尔代数的结论。 第五章 格与布尔代数 一个布尔代数是一个有补分配格. 一个格是这样的一个偏序集, 在这个偏序集中, 每两个元素都有唯一一个最小上界和唯一一个最大下界. 可见, 我们首要的任务是讨论偏序和确界的一些有关的性质, 以作为我们本章要讲述内容的基础. 定义(偏序关系与偏序集) 设R是集合A上的一个二元关系, 如果R具有自反性, 反对称性和传递性, 那么称R为一个偏序关系(或部分序, 或半序关系); 集合A在偏序关系R下做成一个偏序集,记为A,R. 第五章 格与布尔代数 例如: 1.集合A={a,b,c,d,e}在R下做成一个偏序集A,R, 这里R={a,a,a,b,a,c,a,d, a,e,b,b,b,c,b,e,c,c,c,e, d,d, d,e, e,e }。 2.正整数集I+关于整除关系D作成一个偏序集I+,D。 第五章 格与布尔代数 3.集合的包含关系使得所考虑的集合全体S作成一个偏序集S,?. 4.实数集合R关于它上面的小于等于关系做成一个偏序集R,≤. 5.科技资料集合S关于资料内容的包含关系作成偏序集S,?. 第五章 格与布尔代数 定义(链) 一个偏序集A称为一条链, 如果A中任意两个元素a,b都是可比的, 即在A 上偏序关系下, 对于A中任意两个元素a,b,必有a≤b或b≤a. 链亦称全序. 链的子链仍是链. 例: ①政治实体中, 同一系统关于领导层机构的“领属”关系, 自下向上看作成一条链. ②自然数关于大小关系作成一条链。 ③{2n|n=1,2,…}关于整除关系作成一条链。 第五章 格与布尔代数 定义(最大元和最小元) 设A,≤为偏序集,如果A中有一个元素a, 对于所有的A中元素x, 都有x≤a(a≤x), 则称a为该偏序集的最大元(最小元). 定义(极大元和极小元) 设A,≤为偏序集, A中元素a称为一个极大(小)元, 如果除a之外, A中没有元素x, 使得a≤x(x≤a); 或者等价地, ?x?A, a≤x(x≤a), 则a=x. 第五章 格与布尔代数 定义(上界和下界) 设A,≤为偏序集, MA, A中元素a称为A子集M的一个上界(下界), 如果对M中任意元素m, 都有m≤a(a≤m). 注意:由定义可以看出, M的上(下)界未必在M中, 而且M未必一定有上(下)界. 第五章 格与布尔代数 定义(上确界和下确界)设A,≤为偏序集, MA, A中元素a称为M的最小上界即上确界(最大下界即下确界), 如果a是M的一个上界(下界), 并且对M的任意一个上界(下界)x, 都有a≤x (x≤a). 第五章 格与布尔代数 注意: 1.偏序关系具有反对称性,由最大元和最小元定义,可知“最”元唯一,即如果偏序集A,≤有最大(小)元a1,a2,那么a1=a2。显然最大(小)元必定是极大(小)元,但反之不真。 2.有限偏序集A,的极大元和极小元必存在且未必唯一,这是定义的明显结果。图1中A,≤有两个极大元a,b和一个极小

文档评论(0)

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

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

1亿VIP精品文档

相关文档