- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学(6.7 格与布尔代数) Discrete Mathematics (Algbra Structures) 定义(偏序关系与偏序集) 设R是集合A上的一个二元关系, 如果R具有自反性, 反对称性和传递性, 那么称R为一个偏序关系(或部分序, 或半序关系); 记为≤,并称 A, ≤为偏序集。 3.集合的包含关系使得所考虑的集合全体S作成一个偏序集S,?. 4.集合A={a,b,c,d,e}在R下做成一个偏序集A,R, 这里R={a,a,a,b,a,c,a,d,a,e,b,b,b,c, b,e,c,c,c,e,d,d, d,e, e,e }。 定义(最大元和最小元) 设A,≤为偏序集,如果A中有一个元素a, 对于所有的A中元素x, 都有x≤a(a≤x), 则称a为该偏序集的最大元(最小元). 定义(上界和下界) 设A,≤为偏序集, ?≠M?A, 若A中存在元素a,对M中任意元素m, 都有m≤a(a≤m).则称a为M的一个上界(下界). 定义(上确界和下确界)设A,≤为偏序集, ?≠M?A, A中元素a称为M的最小上界即上确界(最大下界即下确界), 如果a是M的一个上界(下界), 并且对M的任意一个上界(下界)x, 都有a≤x (x≤a). 6.7.2 格的定义 定义1 (格的偏序定义) 给出一个偏序集L,≤,如果对于任意a,b?L,L的子集{a,b}在L中都有上确界: sup{a,b} 和 下确界: inf{a,b},则称L,≤是一个偏序格。 6.7.2 格的定义 6.7.2 格的定义 例. 设S是任意集合, 则 P(S),? 为偏序格。 6.7.2 格的定义 例. 设n为正整数,Sn是n的全部正因数的集合,则Sn,| 是格S24,|和 S30, |的Hasse图如下: 6.7.2 格的定义 定义2(代数格) 设L,?,*是代数, ?a,b,c?L,若满足: (1)交换律: a*b=b*a, a?b=b?a; (2)结合律: a* (b*c)=(a*b) *c,a?(b?c)=(a?b)?c; (3)吸收律: a*(a?b)=a,a?(a*b)=a 则称此代数系统L,?, * 是代数格. 6.7.2 格的定义 定理1 代数格L,?, * 关于运算具有幂等律. 证明: L,?, *满足代数格定义具有吸收律: 即对?a,b?L都有a*(a?b)=a, a?(a*b)=a.于是, 对L中任意元x,由吸收律,得 x * x=x *(x?(x * x))=x. x?x=x?(x *(x?x))=x, 即L,?, * 具有幂等律. 6.7.2 格的定义 定理2(代数格=偏序格) 在代数格L,?,*中,如果对L中任意元a,b,成立: a≤b iff a*b=a(或 a?b=b) 则“≤”就是L中的一个偏序关系。即L, ≤是偏序格 6.7.2 格的定义 (2)“≤”反对称: 对L中任意元素a,b, 若a≤b且b≤a, 即a*b=a且b*a=b,则由L, ? ,*的交换律得: a=a*b=b*a=b; (3)“≤”具有传递性: 对L中任意元a,b,c,如果a≤b且b≤c,即a*b=a且b*c=b, 则由L, ? ,*的结合律,得a*c=(a*b)*c=a*(b*c)=a*b=a,于是a≤c. 6.7.2 格的定义 证明: 在L, ? ,*中, 对L的任意元a,b, 都有: a?b=sup{a,b}=sup{b,a}=b?a 同理a*b=inf{a,b}= inf{b,a}=b*a a?(b?c)=sup{a,sup{b,c}}=sup{a,b,c} =sup{sup{a,b},c}=(a?b)?c 同理a*(b*c)=(a*b)*c 6.7.2 格的定义 下面证明吸收律:a*(a?b)=a 因为a*(a?b)是a与a?b的下确界,所以a*(a?b)≤a a是a与a?b的一个下界,而a*(a?b)是最大下界。 所以a≤a*(a?b),由反对称性, a*(a?b)=a 同理可证a?(a*b)=a 6.7.2 格的定义 6.7.3 格的性质 定理 1 (偏序对运算的保序性定理) 设L,≤,? ,* 是格, ?a,b,c?L, 若b≤c,则: a*b≤a*c; a?b≤a?c. 6.7.3 格的性质 证明: 因为 a≤a?b, a≤a?c; 得 :a≤(a?b)*(a?c).
您可能关注的文档
- 高三模拟试题(生物)重点.doc
- 高三年级下学期第五次月考分析.docx
- 告别心理问题放飞你的心灵分析.ppt
- 高三上学期期中考试生物试卷a重点.doc
- 高三上学期期中考试生物试卷-通用重点.doc
- 高三上学期月考(四)数学(文)试题word版重点.doc
- 哥本哈根(英)分析.doc
- 哥伦布竖立鸡蛋课堂实录分析.doc
- 高三生物-2016届高三上学期调研生物试卷(10月份)重点.doc
- 高三生物必修1选择题专项练习重点.doc
- 2025四川南充市公路管理局南充市水务局遴选3人笔试备考题库附答案解析.docx
- 2025年清水河县事业单位联考招聘考试历年真题完美版.docx
- 2025年正安县事业单位联考招聘考试历年真题完美版.docx
- 2025年金沙县事业单位联考招聘考试真题汇编新版.docx
- 2025年乐业县辅警招聘考试真题汇编及答案1套.docx
- 2025年新龙县事业单位联考招聘考试历年真题附答案.docx
- 2025年淮阳县事业单位联考招聘考试历年真题含答案.docx
- 2025年紫金县事业单位联考招聘考试真题汇编含答案.docx
- 2025年永福县事业单位联考招聘考试历年真题推荐.docx
- 2025年睢县事业单位联考招聘考试历年真题含答案.docx
原创力文档


文档评论(0)