2014格与布尔代数.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文档。上传文档
查看更多
* 第9章 格与布尔代数 第9章 格与布尔代数 9.1 格的定义与性质 9.2 子格与格同态 9.3 特殊的格 9.4 布尔代数 9.1 格的定义与性质 根据第4章的知识,我们将集合L上具有自反性、反对称性和传递性的关系称为集合L上的偏序关系,记为 ,并将L和偏序关系 一起称为偏序集,用L, 来表示,并讨论了L的子集上的最大下界、最小上界等概念。 对于一个偏序集来说,其中的每一对元素不一定都有最大下界或最小上界,我们在这一章将讨论其中每一对元素都有最大下界或最小上界的偏序集,并将这种偏序集称为格。 定义9.1 设L, 是偏序集,若对任意的a、b∈L,{a,b}都有最小上界和最大下界(分别记为a∨b和a∧b),则称L, 为偏序格,简称为格。 如果格L中的元素有限,则称其为有限格。 例1 设n是正整数,Sn是n的正因数的集合, 为整除关系,则偏序集Sn, 构成格。 证明 对任意的x、y∈Sn,有x∨y是x与y的最小公倍数,x∧y是x与y的最大公约数,且x∨y、x∧y∈Sn,所以Sn, 构成格。 例2 偏序集P(A),?是格。 证明 对任意的x、y∈P(A),有x∨y=x∪y,x∧y=x∩y,且x∨y、x∧y∈P(A),所以P(A),?是格。 例3 偏序集Z,≤是格。 证明 对任意的x、y∈Z,有x∨y=max(x,y),x∧y=min(x,y),且它们都是整数,所以Z,≤是格。 要注意的是,并不是每个偏序集都是格。如A={2,3,4,6,8,12,36,60},对A上的整除关系 ,因为8∨12和2∧3不存在,所以偏序集A, 不是格。 由于最大下界也是下界,最小上界也是上界,由下界和上界的定义可得,在格L, 中,对任意的a、b∈L都有 a∧b a,a∧b b a∨b a,a∨b b 由最大下界和最小上界的定义可得,在格L, 中,对任意的a、b、x∈L,有: 若x a,x b,则x a∧b 若x a,x b,则x a∨b 需要特别说明的是,上述不等式常用来证明各种等式和不等式。 观察上述不等式可以发现,它们都是有规律的成对出现。这就是我们下面介绍的对偶原理。 定义9.2 设f是含有格中元素以及符号=、 、 、∨和∧的命题,而 是将f中的 替换成 , 替换成 ,∨替换成∧,∧替换成∨所得到的命题,则称 为f的对偶命题。 例如,a∧b a与a∨b a、a∧b b与a∨b b都互为对偶命题。 格的对偶原理 设f是含有格L, 中元素以及符号=、 、 、∨和∧的命题。若f为真,则f的对偶命题 也为真。 定理9.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。 证明 (1)因为a∨b和b∨a分别是{a,b}和{b,a}的最小上界,而{a,b}={b,a},所以a∨b=b∨a。由对偶原理,a∧b=b∧a。 (2)由最小上界的定义有 (a∨b)∨c a∨b a (*) (a∨b)∨c a∨b b (**) (a∨b)∨c c (***) 由(**)和(***)有 (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)。 (3)显然a a∨a。又由a a可得a∨a a。根据偏序关系的反对称性有a∨a=a。 同理可证a∧a=a。 (4)显然a∨(a∧b) a。又由a a和a∧b a可得a∨(a∧

文档评论(0)

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

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

1亿VIP精品文档

相关文档