- 1、本文档共30页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第三部分 代数系统 ——格 西安工程大学 计算机科学学院 王爱丽 一、主要内容 格的定义 格的性质 子格 特殊格:分配格、有界格、有补格、布尔代数 二、基本要求 能够判别给定偏序集或者代数系统是否构成格 能够证明格中的等式和不等式 能判别格L的子集S是否构成子格 能够判别给定的格是否为分配格、有补格 能够判别布尔代数并证明布尔代数中的等式 格的定义 定义11.1 设S, ?是偏序集,如果?x,y?S,{x,y}都有最小上界和最大下界,则称S关于偏序?作成一个格(lattice)。 求{x,y} 最小上界和最大下界看成 x 与 y 的二元运算∨和∧。通常,将∧称为保交运算,将∨称为保联运算。 例1 设n是正整数,Sn是n的正因子的集合. D为整除关系,则偏序集Sn,D构成格. ?x,y∈Sn,x∨y是lcm(x,y),即x与y的最小公倍数. x∧y是gcd(x,y),即x与y的最大公约数. 例2 判断下列偏序集是否构成格, 偏序集的哈斯图分别在下图给出. 子格 定义11.2 设L,∧,∨是格, S是L的非空子集, 若S关于L中的运算∧和∨仍构成格, 则称S是L的子格. 例3 设格L如图所示. 令 S1={a, e, f, g}, S2={a, b, e, g} S1不是L的子格, 因为e, f?S1 但 e∧f = c?S1. S2是L的子格. 分配格 定义11.3 设L,∧,∨是格, 若?a,b,c∈L,有 a∧(b∨c) = (a∧b)∨(a∧c) a∨(b∧c) = (a∨b)∧(a∨c) 则称L为分配格(distributive lattice). 注意:可以证明以上两个条件互为充分必要条件 L1 和 L2 是分配格, L3 和 L4不是分配格. 称 L3为钻石格, L4为五角格. 例4 判断下面哪些是分配格 L3中, b∧(c∨d) ≠ (b∧c)∨(b∧d), L4中, c∨(b∧d) = (c∨b)∧(c∨d) 分配格的判别 定理11.4 设L是格, 则L是分配格当且仅当L不含有与钻石格或五角格同构的子格. 推论 (1) 小于五元的格都是分配格. (2) 任何一条链都是分配格.? 例5 说明图中的格是否为分配格, 为什么? 解 都不是分配格. { a,b,c,d,e }是L1的子格, 同构于钻石格 { a,b,c,e,f }是L2的子格, 同构于五角格; { a,c,b,e,f } 是L3的子格 ,同构于钻石格. 有界格 定义11.4 设L是格, (1) 若存在a∈L使得?x∈L有 a ? x, 则称a为L的全下界 (2) 若存在b∈L使得?x∈L有 x ? b, 则称b为L的全上界? 说明: 格L若存在全下界或全上界, 一定是惟一的. 一般将格L的全下界记为0, 全上界记为1. 定义11.5 设L是格,若L存在全下界和全上界, 则称L 为有界 格(bounded lattice), 一般将有界格L记为L,∧,∨,0,1. 有界格的性质 定理11.5 设L,∧,∨,0,1是有界格, 则?a∈L有a∧0 = 0, a∨0 = a, a∧1 = a, a∨1 = 1 有界格中的补元 定义11.6 设L,∧,∨,0,1是有界格, a∈L, 若存在b∈L 使得 a∧b = 0 和 a∨b = 1 成立, 则称b是a的补元. 注意: 若b是a的补元, 那么a也是b的补元. a和b互为补元. 一个元素可以有几个补元。但0是1的唯一补,1也是0的唯一补。 例6 考虑下图中的格. 针对不同的元素,求出所有的补元. 有界分配格的补元惟一性 定理11.6 设L,∧,∨,0,1是有界分配格. 若L中元素 a 存在补元, 则这个补元是唯一的. 证明:假设 c 是 a 的补元, 则有 a∨c = 1, a∧c = 0, 又知 b 是 a 的补元, 故 a∨b = 1, a∧b = 0 从而得到 a∨c = a∨b, a∧c = a∧b, 由于L是分配格, b = c. 注意: 在任何有界格中, 全下界0与全上界1互补. 对于一般元素, 可能存在补元, 也可能不存在补元. 如果存在补元, 可能是惟一的, 也可能是多个补元. 对于有界分配格, 如果元素存在补元, 一定是惟一的. 有补格 定义11.7 设L,∧,∨,0,1是有界格, 若L中所有元素都有补元存在, 则称L为有补格(complemented lattice)
您可能关注的文档
- 第3册补教详解-PDF.PDF
- 第3章关系数据库的规范化理论.ppt
- 第3章基本物件3BasicObjects.PDF
- 第一章信号与系统综合实验概述.doc
- 第一章信号分析与处理.PDF
- 第一章力向量.doc
- 第一章地图与地理资讯.ppt
- 第一章多元函数微分学-Read.ppt
- 第一章实数集与函数的教学设计.PDF
- 第一章招标项目基本内容及要求-濮阳市政府采购网-河南省政府采购网.doc
- 2023年江苏省公务员录用考试《行测》题(A类)(网友回忆版).docx
- 安全产业研究2024年第3期(总第58期)-我国无人化安全应急装备发展研究-水印版.pdf
- 智慧增长2.0-破译价值主张时代的管理密码.pdf
- 电动汽车 -新能源汽车轴承长寿命技术.pdf
- 乡村巾帼力量 乡村民宿女性消费与民宿女主人经营行为研究 2024.pdf
- 电动汽车 -渐开线齿轮基本知识.pdf
- 【长城证券】海外AI浪潮热度不减,看好AI端侧、具身智能领域产业链发展.pdf
- 2023年度浙江省党政机关选调应届优秀大学毕业生《行测》题(网友回忆版).docx
- 2022年山东省公务员录用考试《行测》试题(网友回忆版).docx
- 质量月知识竞赛策划.docx
文档评论(0)