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

离散数学课件:6-1格的概念.ppt

  1. 1、本文档共41页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
格的定义 格的对偶原理 格同态与格同构 续证: Step2 证a?b是a, b的最大下界: 因为 (a?b)?a= =a?b a?(a?b) =(a?a)?b (a?b)?b= a?(b?b) =a?b 再由 的定义,可得 a?b a, a?b b. 说明a?b是a, b的下界. (交换律) (结合律) (吸收律(幂等律)) 定理一:设A, ?, ?是一个代数系统,其中?, ?都是二元运算且满足交换律,结合律和吸收律,则A上存在偏序关系 , 使A, 是一个格. 一、格的概念 续证: 设c是a, b的任一下界, 按 的定义有 则c a, c b. c?a=c, c?b=c. 进而有 c?(a?b)= (c?a)?b =c?b =c. 按 的定义有 c a?b. 故a?b是a, b的最大下界. 定理一:设A, ?, ?是一个代数系统,其中?, ?都是二元运算且满足交换律,结合律和吸收律,则A上存在偏序关系 , 使A, 是一个格. 一、格的概念 续证: Step3 证a?b是a, b的最小上界: 先证a?b=a与a?b=b等价: 若a?b=a, 则 a?b= (a?b)?b =b. = b?(a?b) = b?(b?a) (a?b=a) (交换律) (交换律) (吸收律) 反之,若a?b=b, 则 a?b= a?(a?b) =a. (a?b=b) (吸收律) 定理一:设A, ?, ?是一个代数系统,其中?, ?都是二元运算且满足交换律,结合律和吸收律,则A上存在偏序关系 , 使A, 是一个格. 一、格的概念 续证: ? a?b=b. 由此可见,证明开始定义的偏序关系等价于: ? a, b?A, a b 可以用证明“a?b是a, b的最大下界”类似的方法证明“a?b是a, b的最小上界”. 综上所述, A, 是格. 任意一个格 A, 可诱导一个具有两个二元运算的代数系统A, ?, ?, 其中运算满足交换律、结合律、吸收律. 反之,任意一个运算满足交换律、结合律、吸收律的代数系统也可诱导一个格. 定理一:设A, ?, ?是一个代数系统,其中?, ?都是二元运算且满足交换律,结合律和吸收律,则A上存在偏序关系 , 使A, 是一个格. 一、格的概念 * * 一、格 的 概 念 对于计算机科学来说,格与布尔代数是两个重要的代数系统. 在开关理论、计算机的逻辑设计及其它一些科学领域中,有很多直接应用. 此两个系统有一个重要特点:强调次序关系. (一) 格的定义 一、格的概念 偏序:若集合A上的二元关系 具有 (1)自反性, (2)反对称性, (3)传递性, 则称之为偏序,A, 称为偏序集. 例6.1.1 设集合X={1, 2, 3, 4, 6,12}, Y={2, 3, 6, 12, 24, 36}, X和Y上的整除关系“|”就构成两个偏序集:X, |, Y, |. 它们的哈斯图如下: 1 2 4 3 6 12 6 12 24 36 2 3 虽然都是哈斯图,但是它们有一个重要的差别: X, |中“每两个元素构成的集合”都有最大下界和最小上界. Y, |无此特点. 一、格的概念 格:若偏序集A, 中任意两个元素a, b都有最小上界(LUB{a, b})和最大下界(GLB{a, b}), 则称A, 是格(lattice). 通常记: a?b=LUB{a, b}, a?b=GLB{a, b}. 由于最小上界、最大下界若存在则唯一,所以? 、?是二元运算,分别称为并运算和交运算. 称A, ?, ? 为由格A, 所诱导的代数系统. 一、格的概念 例6.1.2判断以下偏序集是否是格. (1) Z+, | (2) P(S), ? ? m, n?Z+, 答:是格. 答:是格. m?n= LCM(m, n). m?n= GCD(m, n). ? S1, S2?P(S), S1?S2= S1∪S2. S1?S2= S1∩S2. m, n的最小公倍数. m, n的最大公约数. 一、格的概念 例6.1.2 判断以下代数系统是否是格. e f d c a b (3) 因为e ? f不存在. 答:不是格. 一、格的概念 例6.1.2 判断以下代数系统是否是格. (4) 因为3?2不存在. 答:不是格. 5 1 2 3 4 一、格的概念 例6.1.2 判断以下代数系统是否是格. (5) 因为任何两个元素都有最小上界和最大下界. 答:是格. e b c d a 一、格的概念 例6.1.2 判断以下代数系统是否是格. (6) 因为d?

文档评论(0)

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

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

1亿VIP精品文档

相关文档