离散数学离散第十一章.pptxVIP

  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文档。上传文档
查看更多
1 第十一章 格与布尔代数 主要内容 11.1 格的定义及性质 11.2 分配格、有补格与布尔代数 2 11.1 格的定义与性质 定义11.1 设S, ≼是偏序集,如果x, yS,{x, y}都有最小上 界和最大下界,则称S关于偏序≼作成一个格. 求{x, y} 最小上界和最大下界可看作 x 与 y 的二元运算∨和∧。 例1 设n是正整数,Sn是n的正因子的集合. D为整除关系,则偏序集Sn, D构成格. x, y∈Sn,x∨y是lcm(x, y),即x与y的最小公倍数. x∧y是gcd(x, y),即x与y的最大公约数. 3 实例 例2 判断下列偏序集是否构成格,并说明理由. (1) P(B), ,其中P(B)是集合B的幂集. (2) Z, ≤,其中Z是整数集,≤为小于或等于关系. (3) 偏序集的哈斯图分别在下图给出. 解:(1) 幂集格. x, y∈P(B),x∨y就是x∪y,x∧y就是x∩y. (2) 是格. x, y∈Z,x∨y = max(x, y),x∧y = min(x, y), (3) 都不是格. 可以找到两个结点缺少最大下界或最小上界 4 实例:子群格 例3 设G是群,L(G)是G 的所有子群的集合. 即 L(G) = { H | H≤G } 对任意的H1, H2∈L(G),H1∩H2是G 的子群,H1∪H2是由 H1∪H2生成的子群(即包含着H1∪H2的最小子群). 在L(G)上定义包含关系,则L(G)关于包含关系构成一个 格,称为G的子群格. 在 L(G)中, H1∧H2 就是 H1∩H2 H1∨H2 就是 H1∪H2 5 格的性质1:对偶原理 定义11.2 设 f 是含有格中元素以及符号 =, ≼, ≽, ∨和∧的命题. 令 f*是将 f 中的≼替换成≽, ≽替换成≼,∨替换成∧,∧替换成∨ 所得到的命题. 称 f* 为 f 的对偶命题. 例:在格中令 f 是 (a∨b)∧c ≼ c, 则 f*是 (a∧b)∨c ≽ c. 格的对偶原理: 设 f 是含有格中元素以及符号=, ≼, ≽, ∨和∧等的命题. 若 f 对 一切格为真, 则 f 的对偶命题 f*也对一切格为真. 例:如果对一切格L都有 a, b∈L, a∧b ≼ a,那么对一切格L 都有 a, b∈L, a∨b ≽ a 注意:对偶是相互的,即 ( f*)* = f 6 格的性质2:算律 定理11.1 设L, ≼是格, 则运算∨和∧适合交换律、结合律、幂等律和吸收律, 即 (1) a, b∈L 有 a∨b = b∨a, a∧b = b∧a (2) a, b, c∈L 有 (a∨b)∨c = a∨(b∨c), (a∧b)∧c = a∧(b∧c) (3) a∈L 有  a∨a = a, a∧a = a (4) a, b∈L 有  a∨(a∧b) = a, a∧(a∨b) = a 7 格的性质2:算律 证明 定理11.1 设L, ≼是格, 则运算∨和∧适合交换律、结合律、幂等律和吸收律, 即 (2) a, b, c∈L 有 (a∨b)∨c = a∨(b∨c), (a∧b)∧c = a∧(b∧c) 证明:由最小上界的定义有  (a∨b)∨c ≽ a∨b ≽ a (1)  (a∨b)∨c ≽ a∨b ≽ b  (2)  (a∨b)∨c ≽ c    (3) 由式(2)和(3)有 (a∨b)∨c ≽ b∨c    (4) 由式(1)和(4)有 (a∨b)∨c ≽ a∨(b∨c) 同理可证 (a∨b)∨c ≼ a∨(b∨c) 根据反对称性 (a∨b)∨c = a∨(b∨c) 由对偶原理, (a∧b)∧c = a∧(b∧c) 8 格的性质2:算律 证明(续) 定理11.1 设L, ≼是格, 则运算∨和∧适合交换律、结合律、幂等律和吸收律, 即 (4) a, b∈L 有  a∨(a∧b) = a, a∧(a∨b) = a 证明:显然  a∨(a∧b) ≽ a  (5) 由 a ≼ a, a∧b ≼ a 可得

文档评论(0)

158****9376 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档