- 1、本文档共55页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第十四篇 章 代数系统简介 离散数学及其应用课件.ppt
* * * * * * * * * * * * * * * * * * * * * * * * * * * * 格作为代数系统的定义 设S,?,?是具有两个二元运算的代数系统, 若对于?和?运算 适合交换律、结合律、吸收律, 则可以适当定义S中的偏序 ?, 使得 S,? 构成格, 且?a,b∈S 有 a∧b = a?b, a∨b = a?b. 格的等价定义:设S, ?, ? 是代数系统, ?和?是二元运算, 如 果?和?满足交换律、结合律和吸收律, 则S, ?,?构成格. * 分配格、有补格与布尔代数 定义14.18 设L,∧,∨是格, 若?a,b,c∈L,有 a∧(b∨c) = (a∧b)∨(a∧c) a∨(b∧c) = (a∨b)∧(a∨c) 则称L为分配格. 注意:可以证明以上两个条件互为充分必要条件 L1 和 L2 是分配格, L3 和 L4不是分配格. 称 L3为钻石格, L4为五角格. 实例 * 分配格的判别 分配格的判别:设 L 是格, 则 L 是分配格当且仅当 L 不含有 与钻石格或五角格同构的子格. 小于五元的格都是分配格. 任何一条链都是分配格.? 例6 说明图中的格是否为分配格, 为什么? 解 都不是分配格. { a,b,c,d,e }是L1的子格, 同构于钻石格 { a,b,c,e,f }是L2的子格, 同构于五角格; { a,c,b,e,f } 是L3的子格 同构于钻石格. * 有补格的定义 定义14.19 设L是格, (1) 若存在a∈L使得?x∈L有 a ? x, 则称a为L的全下界, 记 为0;若存在b∈L使得?x∈L有 x ? b, 则称b为L的全上界 ,记为1. ? (2) 若L存在全下界和全上界, 则称L 为有界格, 一般将有界 格L记为L,∧,∨,0,1. 定义14.20 设L,∧,∨,0,1是有界格, a∈L, 若存在b∈L 使得 a∧b = 0 和 a∨b = 1 成立, 则称b是a的补元. 定义14.21 设L,∧,∨,0,1是有界格, 若L中所有元素都有补 元存在, 则称L为有补格. * 补元的性质 注意: 在任何有界格中, 全下界0与全上界1互补. 对于一般元素, 可能存在补元, 也可能不存在补元. 如果存在补元, 可能是惟一的, 也可能是多个补元. 对于有界分配格, 如果元素存在补元, 一定是惟一的. * 有界格中的补元及实例 例7 L1:a 与 c 互补, a 为全下界, c为全上界, b 没有补元. L2:a 与 d 互补, a 为全下界, d 为全上界, b与 c互补. L3:a 与 e 互补, a 为全下界, e 为全上界, b 的补元是 c 和 d ; c 的补元是 b 和 d ; d 的补元是 b 和 c .? L4:a 与 e 互补, a 为全下界, e 为全上界, b 的补元是 c 和 d ; c 的补元是 b ; d 的补元是 b . L2, L3和L4是有补格, L1不是有补格. * 布尔代数的定义与实例 定义14.22 如果一个格是有补分配格, 则称它为布尔格或布 尔代数. 布尔代数标记为B,∧,∨,?, 0, 1, ?为求补运算. 例8 设 S110 = {1, 2, 5, 10, 11, 22, 55, 110}是110的正因子集合,gcd表示求最大公约数的运算,lcm表示求最小公倍数的运算,问S110, gcd, lcm是否构成布尔代数?为什么? 解 (1) 不难验证S110关于gcd 和 lcm 运算构成格. (略) (2) 验证分配律 ?x, y, z∈S110 有 gcd(x, lcm(y, z)) = lcm(gcd(x, y), gcd(x, z)) (3) 验证它是有补格, 1作为S110中的全下界, 110为全上界, 1和110互为补元, 2和55互为补元, 5和22互为补元, 10和 11互为补元, 从而证明了S110, gcd, lcm为布尔代数. * 实例 例9 设B为任意集合, 证明B的幂集格P(B), ∩,∪, ~, ? , B 构成布尔代数, 称为集合代数. 证 (1) P(B)关于∩和∪构成格, 因为∩和∪运算满足交换律, 结合律和吸收律. (2) 由于∩和∪互相可分配, 因此P(B)是分配格. (3) 全下界是空集?, 全上界是B. (4) 根据绝对补的定义, 取全集为B, ? x∈
您可能关注的文档
- 第十二讲鼓励出口 和 与出口管制 《国际贸易》课件.ppt
- 第十二讲:中华民国南京国民政府 中国法制史课件幻灯片课件.ppt
- 第十二课 的语法(把字句) 初级汉语 汉语(外国老师使用的资料)幻灯片课件.ppt
- 第十二课 把对联贴在大门两边 语法(把字句) 初级汉语 汉语(外国老师使用的资料)幻灯片课件.ppt
- 第十二课 新闻报道2 中韩翻译教程课件 中文韩文翻译教程课件 韩语幻灯片课件.ppt
- 第十二课 Corporation Law 法律英语课件培训资料.ppt
- 第十二课 处所 泰语教程文件.ppt
- 第十五篇 章 融资租赁合同 合同法 .ppt
- 第十五篇 章 刑事诉讼移转管辖 国际刑法 .ppt
- 第十五篇 章 厂房定位轴线 房屋建筑学课件.ppt
- 北师大版(2024)八年级数学上册课件 3.2 平面直角坐标系 第2课时 点的坐标特征.pptx
- 北师大版(2024)八年级数学上册课件 3.2 平面直角坐标系 第3课时 建立适当的平面直角坐标系.pptx
- 北师大版(2024)八年级数学上册课件 4.3 一次函数的图象 第1课时 正比例函数的图象及性质.pptx
- (人教A版数学选择性必修三)讲义第15讲7.1.1条件概率(学生版+解析).docx
- (人教A版数学选择性必修三)讲义第19讲8.1成对数据的统计相关性(8.1.1变量的相关关系+8.1.2样本相关系数)(学生版+解析).docx
- 北师大版(2024)八年级数学上册课件 5.2 二元一次方程组的解法 第2课时 加减消元法.pptx
- (人教A版数学选择性必修一)2025年秋季学期讲义第01讲1.1.1空间向量及其线性运算(学生版+教师版).docx
- 北师大版(2024)八年级数学上册课件 5.2 二元一次方程组的解法 第1课时 代入消元法.pptx
- 北师大版(2024)八年级数学上册课件 5.3 二元一次方程组的应用 第3课时 二元一次方程组的应用(3).pptx
- 北师大版(2024)八年级数学上册课件 5.4 二元一次方程与一次函数 第2课时 用二元一次方程组确定一次函数表达式.pptx
文档评论(0)