- 1、本文档共47页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学 格与布尔代数1
格 (Lattice) 一 . 基本概念 1. 格的定义 A,≤是偏序集,如果任何a,b∈A,使得{a,b}都 有下确界和上确 界,则称A,≤ 是格。 右图的三个偏 序集中,哪个 不是格, 哪个是格。 例:下列三个偏序集中,哪个不是格,哪个是格. 2. 平凡格:所有全序都是格,称之为平凡格。 3. 由格诱导的代数系统 设A, ≤是格,在A上定义二元运算∨和∧为:?a,b∈A a∨b={a,b}的上确界. a∧b={a,b}的下确界. 称A,∨,∧是由格A,≤诱导的代数系统. 4. 子格:设A,≤是格, A,∨,∧是 由A,≤诱导的代数系统。B是A的 非空子集,如果∧ 和∨在B上封闭,则 称B, ≤是A, ≤ 的子格。 例: B,≤,C,≤ 是否是A,≤ 的子格。 二. 格的对偶原理 格的对偶原理:设P是对任何格都为真的命题,如果 将P中的≤换成≥,∧换成∨,∨换成∧,就得到命 题P’ , 称P’为P的对偶命题,则P’对任何格也是为真的 命题。 例如:P: a∧b≤a P’: a∨b≥a {a,b}的最大下界≤a {a,b}的最小上界≥a 三. 格的性质 A,∨,∧是由格A,≤诱导的代数系统。?a,b,c,d∈A 1. a≤a∨b b≤a∨b a∧b≤a a∧b≤b 2.如果a≤b,c≤d,则 a∨c≤b∨d,a∧c≤b∧d。 证明:如果a≤b,又b≤b∨d, 由传递性得a≤b∨d, 类似由c≤d, d≤b∨d,由传递性得c≤b∨d, 这说明b∨d是a,c的上界,而a∨c是a,c的上确界,所以 a∨c≤b∨d。 推论:在一个格中,任何 a,b,c∈A,如果b≤c,则 a∨b≤a∨c,a∧b≤a∧c。 三. 格的性质 3. ∨和∧都满足交换律。即 a∨b=b∨a,a∧b=b∧a。 4. ∨和∧都满足幂等律。即 a∨a=a a∧a=a 证明:由性质1 得 a≤a∨a (再证a∨a≤a) 又≤自反得a≤a, 这说明a是a的上界,而a∨a是a的上确界,所以 a∨a≤ a。最后由反对称得 a∨a=a 。 由对偶原理得 a∧a=a 三. 格的性质 5. ∨和∧都满足结合律。即 (a∨b)∨c =a∨(b∨c) , (a∧b)∧c =a∧(b∧c) 。 证明:⑴先证明(a∨b)∨c ≤a∨(b∨c) ∵ a≤ a∨(b∨c) b≤b∨c ≤ a∨(b∨c) (性质1) 即a∨(b∨c) 为{a,b}的上界。 ∴ (a∨b) ≤a∨(b∨c) 又 ∵ c≤b∨c ≤ a∨(b∨c) (性质1) 即a∨(b∨c) 为{a∨b ,c}的上界 ∴ (a∨b)∨c ≤a∨(b∨c) ⑵同理可证 a∨(b∨c)≤(a∨b)∨c 最后由反对称得 (a∨b)∨c =a∨(b∨c) 三. 格的性质 6. ∨和∧都满足吸收律。即 a∨( a∧b) =a, a∧(a∨b) =a。 证明:⑴显然有 a≤a∨( a∧b) ⑵证明 a∨( a∧b) ≤a ∵ a≤ a a∧b ≤a ∴ a∨( a∧b) ≤a 最后由反对称得 a∨( a∧b) =a, 7. A,∨,∧是代数系统,如果∨和∧是满足吸收律的二元运算,则∨和∧必满足幂等律。 证明:任取a∈A ∵ ∨和∧是满足吸收律。 ∴有 a∨a= a∨(a∧(a∨b))=a 8. ∨和∧不一定满足分配律。但有分配不等式: a∨(b∧c)≤ (a∨b)∧(a∨c) , (a∧b)∨(a∧c)≤ a∧(b∨c) 。 证明:⑴ ∵ a≤a∨b a≤a∨c ∴a ≤(a∨b)∧(a∨c) ∵ b∧c≤b≤ a∨b b∧c≤c≤ a∨c ∴ b∧c ≤(a∨b)∧(a∨c) 于是有 a∨(b∧c) ≤(a∨b)∧(a∨c) 由对偶原理得 a∧(b∨c)≥ (a∧b)∨(a∧c) 。 即 (a∧b)∨(a∧c)≤ a∧(b∨c) 。 *9. a≤b? a∨b=b ? a∧b=a 证明:下面只证明a≤b? a∨b=b 先证a≤b? a∨b=b 设 a≤b,又b≤b ∴ a∨b≤ b 又∵ b≤a∨b 由反对称得 a∨b=b 再证 a∨b=b ? a≤b 已知 a∨b=b ∵ a≤ a∨b
您可能关注的文档
- 电工安全生产职责和电工安全操作规程.doc
- 电控车间员工近期学习与培训计划.doc
- 电教器材使用借还制度.doc
- 电放行为与诈货可能.doc
- 电算化4答案.doc
- 电脑不能上网只能上qq解决方法.doc
- 申论原来要这么练!.doc
- 电脑键盘上各个键的用处.doc
- 电气焊方案初.doc
- 电脑高手_如何提高网速.doc
- 新高考生物二轮复习讲练测第6讲 遗传的分子基础(检测) (原卷版).docx
- 新高考生物二轮复习讲练测第12讲 生物与环境(检测)(原卷版).docx
- 新高考生物二轮复习讲练测第3讲 酶和ATP(检测)(原卷版).docx
- 新高考生物二轮复习讲练测第9讲 神经调节与体液调节(检测)(原卷版).docx
- 新高考生物二轮复习讲练测第11讲 植物生命活动的调节(讲练)(原卷版).docx
- 新高考生物二轮复习讲练测第8讲 生物的变异、育种与进化(检测)(原卷版).docx
- 新高考生物二轮复习讲练测第5讲 细胞的分裂、分化、衰老和死亡(讲练)(原卷版).docx
- 新高考生物二轮复习讲练测第5讲 细胞的分裂、分化、衰老和死亡(检测)(原卷版).docx
- 新高考生物二轮复习讲练测第12讲 生物与环境(讲练)(原卷版).docx
- 新高考生物二轮复习讲练测第11讲 植物生命活动的调节(检测)(原卷版).docx
文档评论(0)