格与布尔代数.doc

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

格与布尔代数

1.判定图6-1所示半序集中哪些是格,哪些不是格

图6-1

解(a),(c),(e)是格,(b),(d),(f)不是格。

(b)不是格是因为A,B两元素无最小上界。

(d)不是格是因为C,D两元素无最大下界。

(f)不是格是因为E,F两元素无最大下界。

2.设(L,)是一个格,a,b是格中两元素,证明当且仅当。

证设,则=a(ab)=a(吸收律)

设,则ab=()b

=b(ba)(交换律)

=b(吸收律)证毕。

3.设(L,)是一个格,a,b,c是格中任意3个元素,ab,证明

a(bc)b(ac)

证因为ab,bcb,所以b是a和bc的一个上界,而a(bc)是a和

(bc)的最小上界,所以有a(bc)b。

因为a(ac),bcb(ac),所以(ac)是a和bc的一个上界,而a(bc)是a和(bc)的最小上界,所以有a(bc)(ac)。

因为a(bc)b,a(bc)(ac),所以a(bc)是b和(ac)的一个下界,因为b(ac)是b和(ac)的最大下界,所以

a(bc)b(ac)证毕

证明在格(L,)中,若a,b,cL,且,,则有

a(bc)=(ab)(ac)。

证因为aba,aca,所以a是ab与ac的一个上界,而(ab)(ac)是(ab)与(ac)的最小上界,所以

(ab)(ac)a

因为(ab)bbc,(ac)cbc,所以bc是(ab)与(ac)的一个上界,而(ab)(ac)是(ab)与(ac)的最小上界,所以

(ab)(ac)(bc)

因为(ab)(ac)a,(ab)(ac)(bc),所以(ab)(ac)是a与(bc)的一个下界,而a(bc)是a与(bc)的最大下界,所以有

a(bc)=(ab)(ac)(1)

因为,所以,因为,所以ac=c,所以(ab)(ac)=(bc),因为

a(bc)(bc)

所以a(bc)(ab)(ac)。(2)

由(1),(2)可以推出

a(bc)=(ab)(ac)证毕。

设(L,)是一个格,a,bL。令

S={x|xL,且axb}

其中L是格中的半序关系。证明(S,)是L的子格。

证由定义,我们只要证明S在运算下封闭即可。

设x1,x2是S中任意两个元素,则有

ax1b,ax2b

因而a是x1和x2的一个下界,b是x1和x2的一个上界。因为x1x2和x1x2分别是x1和x2的最大下界和最小上界,所以

ax1x2b,ax1x2b

此说明S在两运算下封闭。证毕

证明在格中,若ab且cd,则有

acbd,acbd.

证(ac)(bd)

=abcd(交换律)

=(ab)(cd)(结合律)

=ac(定律1,因为ab,cd)

因此,根据定理1,有

acbd。

(ac)(bd)

=()(cd)(交换律,结合律)因为

=bd.(定律1,因为ab,cd)

因此,根据定理1,有

acbd.证毕

证明在格中,对任意元素a,b,c,d有

(ab)(cd)(ac)(bd)

(ab)(bc)(ca)()(bc)(ca)。

证因为abaac,cdcac,所以(ac)是ab与cd的一个上界,而(ab)(cd)是(ab)与(cd)的最小上界,所以有

(ab)(cd)ac。

因为abbbd,cddbd

所以(bd)是(ab)与(cd)的一个上界,而(ab)(cd)是(ab)与(cd)的最小上界,所以有

文档评论(0)

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

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

1亿VIP精品文档

相关文档