- 1、本文档共37页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学十一节.
第十一章 格与布尔代数 主要内容 格的定义及性质 子格 分配格、有补格 布尔代数 11.1 格的定义与性质 定义11.1 设S, ?是偏序集,如果?x,y?S,{x,y}都有最小上 界和最大下界,则称S关于偏序?作成一个格. 求{x,y} 最小上界和最大下界看成 x 与 y 的二元运算∨和∧, 实例:子群格 例3 设G是群,L(G)是G 的所有子群的集合. 即L(G) = { H | H≤G }, 对任意的H1, H2∈L(G),H1∩H2是G 的子群,H1∪H2是由 H1∪H2生成的子群(即包含着H1∪H2的最小子群). 在L(G)上定义包含关系?,则L(G)关于包含关系构成一个 格,称为G的子群格. 在 L(G)中, H1∧H2 就是 H1∩H2 H1∨H2 就是 H1∪H2 格的性质:对偶原理 定义11.2 设 f 是含有格中元素以及符号 =,? ,? ,∨和∧的命题. 令 f*是将 f 中的?替换成?,?替换成?,∨替换成∧,∧替换成∨ 所得到的命题. 称 f* 为 f 的对偶命题. 例如, 在格中令 f 是 (a∨b)∧c?c, f*是 (a∧b)∨c?c . 格的性质:算律 定理11.1 设L, ?是格, 则运算∨和∧适合交换律、结合律、 幂等律和吸收律, 即 (1) ?a,b∈L 有 a∨b = b∨a, a∧b = b∧a (2) ?a,b,c∈L 有(a∨b)∨c = a∨(b∨c), (a∧b)∧c = a∧(b∧c) (3) ?a∈L 有 a∨a = a, a∧a = a (4) ?a,b∈L 有 a∨(a∧b) = a, a∧(a∨b) = a 证明 (1) a∨b是{ a, b }的最小上界, b∨a是{ b, a }的最小上界. 由于 { a, b } = { b, a }, 所以 a∨b = b∨a. 由对偶原理, a∧b = b∧a. 证明 (3) 显然 a ? a∨a, 又由 a ? a 可得 a∨a ?a. 根据反对称性有a∨a = a . 由对偶原理, a∧a = a 得证. (4) 显然 a∨(a∧b)? a (5) 由 a ?a, a∧b ? a 可得 a∨(a∧b) ?a (6) 由式(5)和(6) 可得 a∨(a∧b) = a, 根据对偶原理, a∧(a∨b) = a 格的性质:序与运算的关系 定理11.2 设L是格, 则?a,b∈L有a ? b ? a∧b = a ? a∨b = b 格的性质:保序 定理11.3 设L是格, ?a,b,c,d∈L,若a ? b 且 c ? d, 则 a∧c ? b∧d, a∨c ? b∨d 格作为代数系统的定义 定理11.4 设S,?,?是具有两个二元运算的代数系统, 若对于 ?和?运算适合交换律、结合律、吸收律, 则可以适当定义S中 的偏序 ?,使得 S,? 构成格, 且?a,b∈S 有 a∧b = a?b, a∨b = a?b. 证明省略. 根据定理11.4, 可以给出格的另一个等价定义.? 子格及其判别法 11.2 分配格、有补格与布尔代数 定义11.5 设L,∧,∨是格, 若?a,b,c∈L,有 a∧(b∨c) = (a∧b)∨(a∧c) a∨(b∧c) = (a∨b)∧(a∨c) 则称L为分配格. 注意:可以证明以上两个条件互为充分必要条件 分配格的判别及性质 定理11.5 设L是格, 则L是分配格当且仅当L不含有与钻石格 或五角格同构的子格. 证明省略. 推论 (1) 小于五元的格都是分配格. (2) 任何一条链都是分配格.? 例6 说明图中的格是否为分配格, 为什么? 有界格的定义 定义11.6 设L是格, (1) 若存在a∈L使得?x∈L有 a ? x, 则称a为L的全下界 (2) 若存在b∈L使得?x∈L有 x ? b, 则称b为L的全上界? 说明: 格L若存在全下界或全上界, 一定是惟一的. 一般将格L的全
您可能关注的文档
- 道德讲堂管理制度、全部上墙资料..doc
- 湖南龙山学校2013-2014学年九年级上册语文全册测试卷..doc
- 发声练习 快速识谱..ppt
- 孟德尔的豌豆杂交实验一说课课件..doc
- 牛顿教育 苏教一年级语文上册 一类字 二类字练习 总括全上册..doc
- (教学设计说课稿)..doc
- 数字与编码说课稿本人版..doc
- 新余一直都上升不到省直高强度投资的视野..doc
- 严也是一种爱说课稿文本..doc
- 小学三年级英语上册PEP版导学案全集(自己写)..doc
- 第12课 大一统王朝的巩固 课件(20张ppt).pptx
- 第17课 君主立宪制的英国 课件.pptx
- 第6课 戊戌变法 课件(22张ppt).pptx
- 第三章 物态变化 第2节_熔化和凝固_课件 (共46张ppt) 人教版(2024) 八年级上册.pptx
- 第三章 物态变化 第5节_跨学科实践:探索厨房中的物态变化问题_课件 (共28张ppt) 人教版(2024) 八年级上册.pptx
- 2025年山东省中考英语一轮复习外研版九年级上册.教材核心考点精讲精练(61页,含答案).docx
- 2025年山东省中考英语一轮复习(鲁教版)教材核心讲练六年级上册(24页,含答案).docx
- 第12课近代战争与西方文化的扩张 课件(共48张ppt)1.pptx
- 第11课 西汉建立和“文景之治” 课件(共17张ppt)1.pptx
- 唱歌 跳绳课件(共15张ppt内嵌音频)人音版(简谱)(2024)音乐一年级上册第三单元 快乐的一天1.pptx
最近下载
- 2024年政务服务行政办事员职业技能考试题库及答案3.docx
- 2024年政务服务行政办事员职业技能考试题库及答案2.docx
- 2024年政务服务行政办事员职业技能提升题库及答案1.docx
- 小学五年级上册数学期末考试试卷含答案【能力提升】.docx
- 天文知识科普文档.doc VIP
- 相许-卿卿日常配乐-五线谱+简谱.pdf
- 2022江西抚州市政务服务大厅面向社会公开招聘2名行政办事员【共500题附答案解析】模拟检测试卷0.docx
- 2024年政务服务行政办事员职业技能考试题库及答案5.docx
- 中医执业医师资格考试时间2023年.pdf
- 浙教版信息科技五年级上册 第三单元 用算法解决问题 大单元整体教学设计.docx
文档评论(0)