离散数学课件 格及布尔代数2.ppt

  1. 1、本文档共33页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学课件 格及布尔代数2

本节重点掌握布尔代数的性质,同构概念,Stone定理及其推论. ?Φ ?{c} {b}? ?{d} {a}? ?{a,c,d} {a,b,d}? ?{b,c,d} {a,b,c}? ?{b,c} {a,d}? ?{b,d} {a,c}? ?{a,b,c,d} {c,d} ? {a,b} ? 本章内容小结: 1. 格的概念、格的性质. 格的同构. 2. 分配格的性质、判断. 有界格 有补格 布尔格概念性质. 3. 布尔代数的性质, Stone定理的应用. 格与布尔代数 到此结束 * 第十一章 格与布尔代数 布尔代数是计算机逻辑设计的基础,它是由格引出的,格又是从偏序集引出的。所以我们先回顾一下偏序集。 A,≤是偏序集:≤是A上自反,反对称和传递关系(偏序). 偏序集中的元素间的次序可以通过它的Hasse图反映出来. 例如A={1,2,3,6,12,24,36}, ≤是A上的整除关系 其Hasse图如图所示 另设有集合B?A,且 B≠Φ 1.B的极小元与极大元 y是B的极小元??y∈B∧??x(x∈B∧x≤y) y是B的极大元??y∈B∧??x(x∈B∧y≤x) 例如{2,3,6}的极小元:2,3 极大元:6 6。 1。 3。 12。 2。 24。 36。 2.B的最小元与最大元 y是B的最小元??y∈B∧?x(x∈B?y≤x) y是B的最大元??y∈B∧?x(x∈B?x≤y) {2,3,6}的最小元:无 最大元: 6 B如果有最小元(最大元), 则是唯一的。 3.B的下界与上界 y是B的下界??y∈A∧?x(x∈B?y≤x) y是B的上界??y∈A∧?x(x∈B?x≤y) {2,3,6}的下界:1 上界: 6,12,24,36 4.B的最大下界(下确界)与最小上界(上确界) y是B的最大下界(下确界):B的所有下界x,有x≤y。 y是B的最小上界(上确界):B的所有上界x,有y≤x。 {2,3,6}下确界:1 上确界:6 (B若有下(上)确界,则唯一) 6。 1。 3。 12。 2。 24。 36。 11-1 格 (Lattice) 一 . 基本概念 1. 格的定义 A,≤是偏序集,如果任何a,b∈A,使得{a,b}都有最大下界和最小上界,则称A,≤是格。 右图的三个偏 序集, A,≤不是格, 因为{24,36} 无最小上界。 B,≤C,≤ 是格。 6。 1。 3。 12。 2。 24。 36。 30。 3。 1。 2。 5。 10。 15。 6。 A,≤ B,≤ 3。 4。 1。 2。 C,≤ 这三个偏序集,也都不是格,第一个与第三个是同构的。 因为 d和e无下界,也无最小上界;b,c虽有下界,但无 最大下界。 2,3无最大下界,4,5无最小上界。 2. 平凡格:所有全序都是格,称之为平凡格。 因为全序中任何两个元素x,y,要么x≤y, 要么y≤x。 如果x≤y,则{x,y}的最大下界为x,最小上界为y。 如果y≤x,则{x,y}的最大下界为y,最小上界为 x 。 即这{x,y}的最大下界为较小元素,最小上界为较大元素. d? a? b? ? c e? 1? 2? ? 3 4? ? 5 ? 6 d? a? b? ? c ? e 3. 由格诱导的代数系统 设A, ≤是格,在A上定义二元运算∨和∧为:?a,b∈A a∨b=LUB {a,b}, {a,b}的最小上界. Least Upper Bound a∧b=GLB {a,b}, {a,b}的最大下界. Greatest Lower Bound 称A,∨,∧是由格A,≤诱导的代数系统. (∨-并,∧-交) 例如右边的格中 a∧b=b, a∨b=a, b∧c=e 4. 子格:设A,≤是格, A,∨,∧是 由A,≤诱导的代数系统。B是A的 非空子集,如果∧ 和∨在B上封闭,则 称B, ≤是A, ≤ 的子格。 C,≤是A,≤的子格。 而B,≤不是. b∧c=d?B (运算规则要从格A,≤中找) ? e ? a b ? ? d ? c b ? ? a ? c ? f e ? ? g b ? ? a ? c ? f e ? ? g ? d B,≤ A,≤ ? a ? c b ? ? d C,≤ 二. 格的对偶原理 设A,≤是格,≤的逆关系记作≥,≥也是偏序关系。 A, ≥也是格,A,≥的Hasse图是将A,≤的Hasse图 颠倒180o即可。 格的对偶原理:设P是对任意格都为真的命题,如果将 P中的≤换成≥,∧换成∨,∨换成∧,就得到命题P’ , 称P’为P的对偶命题,则P’对任意格也是为真的命题。 例如: P: a∧b

文档评论(0)

ctuorn0371 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档