网站大量收购独家精品文档,联系QQ:2885784924

第十一章 格与布尔代数课件.ppt

  1. 1、本文档共18页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第十一章 格与布尔代数 11.1 格的定义与性质 偏序集A,?:自反性、反对称性、传递性 其中每对元素不一定都有上确界或下确界. 在这一章, 我们将讨论其中每对元素都有上确界和下确界的偏序集, 并将这种偏序集称为格. 定义1. 设S,?是偏序集,如果?x,y∈S, {x,y}都有上确界和下确界, 则称S关于?构成一个格. 注:(1) x∨y表示x和y的上确界(x,y取大) x∧y表示x和y的下确界(x,y取小) (2) S,?是格当且仅当?x,y∈S, x∨y, x∧y存在且x∨y, x∧y?S. 例1. 设n为正整数, Sn为n的正因子的集合, D为整除关系,则Sn, D构成格. 15 5 证明: 对任意的x,y∈Sn, x∨y=lcm(x, y)∈Sn, x∧y=gcd(x, y)∈Sn, 所以Sn, D构成格. 例2. 证明偏序集P(A), ?是格. 证明: 对任意的x,y∈P(A), 有 x∨y=x∪y∈P(A), x∧y=x∩y∈P(A), 所以P(A),?是格. 例3. 证明: 偏序集Z,≤是格. 证明: 对任意的x,y∈Z, 有 x∨y=max(x,y)∈Z, x∧y=min(x,y)∈Z, 故Z,≤是格. 注: (3)不是每个偏序集都是格. 如A={2,3,4,6,8,12,36,60}, D为A上整除关系, 因8∨12和2∧3不存在, 故偏序集A, D不是格. 例4. 判断下图中偏序集是否构成格, 并说明理由. 解: (1) 不是(a?b不存在); (2) 不是(b?d不存在); (3) 不是(b?c不存在). 在格L,?中, 对任意的a, b, x∈L都有 (1) a∧b ? a, a∧b ? b; (2) a∨b ? a, a∨b ? b; (3) 若x ? a, x ? b, 则x ? a∧b; (4) 若x ? a, x ? b, 则x ? a∨b. 观察上述不等式可以发现,它们都是有规律的成对出现.这就是我们下面介绍的对偶原理. 定义2. 设f是含有格中元素以及符号=,?,?,∨和∧的命题,将f中的?替换成?, ?替换成?,∨替换成∧,∧替换成∨所得到的命题称为f的对偶命题,记为f*. 例如: a∧b? a与a∨b? a互为对偶命题. 格的对偶原理 设f是含有格中元素以及符号=,?,?,∨和∧的命题. 若f对一切格为真, 则f的对偶命题f*对一切格也为真. 例: 对一切格L都有?a,b?L, a?b ?a,那么对一切格L都有?a,b?L, a?b ? a. 定理1. 设L,?为格,则运算∨和∧满足交换律、结合律、幂等律和吸收律,即 (5)?a,b∈L有a∨b=b∨a, a∧b=b∧a (6)?a,b,c∈L有(a∨b)∨c=a∨(b∨c), (a∧b)∧c=a∧(b∧c) (7)?a∈L有a∨a=a, a∧a=a (8)?a,b∈L有a∨(a∧b)=a, a∧(a∨b)=a. 定理2. 设L是格, 则?a, b?L有 a?b?a?b=a?a?b=b. 定理3. 设L是格, ?a,b,c,d?L, 若a?b且c?d, 则 a?c?b?d, a?c?b?d. 定理4. 设L是格, 则?a,b,c?L,有 a?(b?c)?(a?b)?(a?c). 定理5. 设S,*,?是具有两个二元运算的代数系统, 且对于*和?运算适合交换律、结合律、吸收律, 则可以适当定义S中的偏序?, 使得S,?构成一个格, 且?a, b∈S有a∧b=a*b, a∨b=a?b. 定义3. 设S,*,?是代数系统, *和?是二元运算, 若*和?满足交换律、结合律和吸收律, 则S,*,?构成格. 注:以后不再区分是偏序集定义的格, 还是代数系统定义的格, 统称为格. 定义4. 设L,?,?是格, S是L的非空子集, 若S关于L中的运算?和?仍构成格, 则称S是L的子格. 例5. 设格L如下图所示, S1={a,e,f,g}, S2={a,b,e,g}, 问S1和S2是L的子格吗? 解:S1不是L的子格 (e?f=c ? S1), S2是L的子格. 11.2 分配格、有补格与布尔代数 定义1. 设L,∨,∧是格, 若?a,b,c∈L, 有 a∧(b∨c)=(a∧b)∨(a∧c) a∨

文档评论(0)

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

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

1亿VIP精品文档

相关文档