- 1、本文档共12页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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)的最小上界,所以有
您可能关注的文档
- 函谷关的衰落与潼关的兴起.doc
- 楚汉争雄刘邦遇上张良.doc
- 初二语文必背课文.doc
- 《电气设备火灾事故的原因及预防》.doc
- 运动出汗越多就越健康吗.docx
- GB/T 17215.302-2024电测量设备(交流) 特殊要求 第2部分:静止式谐波有功电能表.pdf
- 中国国家标准 GB/T 17215.302-2024电测量设备(交流) 特殊要求 第2部分:静止式谐波有功电能表.pdf
- 《GB/T 17215.302-2024电测量设备(交流) 特殊要求 第2部分:静止式谐波有功电能表》.pdf
- GB/T 18910.12-2024液晶显示器件 第1-2部分:术语和符号.pdf
- 中国国家标准 GB/T 18910.12-2024液晶显示器件 第1-2部分:术语和符号.pdf
- 中国国家标准 GB/T 4797.3-2024环境条件分类 自然环境条件 第3部分:生物.pdf
- GB/T 4797.3-2024环境条件分类 自然环境条件 第3部分:生物.pdf
- 《GB/T 10395.28-2024农业机械 安全 第28部分:移动式谷物螺旋输送机》.pdf
- 中国国家标准 GB/T 10395.28-2024农业机械 安全 第28部分:移动式谷物螺旋输送机.pdf
- GB/T 10395.28-2024农业机械 安全 第28部分:移动式谷物螺旋输送机.pdf
- 高中数学学考复习优化练习20空间点、直线、平面之间的位置关系含答案.docx
- 刘静心 82003005 材加概论结课论文(2).pdf
- 社会实践登记表1.doc
- 刘静心 82003005 材加概论结课论文.docx
- 十三五全面二孩政策解读.ppt
文档评论(0)