- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
* 第六章 格与布尔代数 格是另一类代数系统。格的理论形成于1935年前后,是代数学的一个分支。 本章介绍格的基本知识,特殊的格:分配格、有补格,最后介绍布尔代数。 * 第六章 目录 第6-1讲 格的概念 第6-2讲 分配格和有补格 第6-3讲 布尔代数 第6-4讲 布尔表达式 * 第6-1讲 格的概念 1. 格的定义 2.格的对偶原理 3.格的基本性质 4.格与代数系统间的关系 5.格同态 6. 课堂练习 7. 第6-1讲 作业 * 1、格的定义(1) 如果集合A上的关系?具有自反性、反对称性和传递性,称之为偏序。A,?称之为偏序集。 设X={1,2,3,4,6,12},Y={2,3,6,12,24,36}。集合X和Y上的整除关系“|”就构成两个偏序集:X,|,Y,|。它们的哈斯图如下: 虽然都是哈斯图,但是它们有一个重要的差别: X,|中每两个元素构成的集合都有最大下界和最小上界。但Y,|无此特点。 * 1、格的定义(2) 定义2 设A,?是格,在A上定义两个二元运算?和?,对任意a,b?A,a?b等于a和b的最小上界,a?b等于a和b的最大下界,则称A,?,?是格A,?诱导的代数系统。?和?分别称为并运算和交运算。 定义1 如果偏序集A,?中任意两个元素都有最小上界和最大下界,则称A,? 是格。 注:定义2中定义的两个运算是本节证明过程中反复要用的基本依据。两个元素的集合{a,b}的上界可以属于该集合,也可以不属于该集合。但是, 如果a ? b,则a?b=b, a?b=a。 如果a 、b不可比,也应有a,b ? a?b ,a?b ? a ,b。 * 1、格的定义(3) 可以证明,子格也是格。 注意:若A,?是格, B?A且B??,则B,?任然是偏序集,但B,?不一定是格。即使是格,也不一定是A,?的子格。 定义3 设A,?是格, A,?,?是A,?诱导的代数系统。如果B?A且B??,若运算?和?在B中封闭,则称B,?是A,?的子格。 例如,设S={a,b,c},?(S), ? 是格,其哈斯图如右,取 A={?,{a},{c},{a,c}} B={?,{a},{c},{a,b},{a,c}, {b,c},{a,b,c}} 则A, ? 是?(S), ? 的子格,而B, ? 虽是格,但非子格。 * 2、格的对偶原理 对偶原理 设P是格A,?的真命题,将P中的? 、?、?分别换成? 、?、?得命题P’,则P’在格A,?中亦真。 设A,?是偏序集,用?表示偏序关系?的逆关系, 则A,?也是偏序集。将A,?的哈斯图旋转180度,就是A,?的哈斯图。称A,?为A,?彼此对偶的偏序集。如果A,?是格,则A,?也是格。 由格A,?诱导的代数系统的并(交)运算,正好是由格A,?诱导的代数系统的交(并)运算。 * 3、格的基本性质(1) 设A,?是格,a,b,c,d?A,则如下性质成立: (1)并、交定义 a?a?b, b?a?b a?a?b, b?a?b a?b?a, a?b?b a?b?a, a?b?b (2)保序性 若a?b,c?d,则a?c?b?d,a?c?b?d 若b?c,则a?b?a?c,a?b?a?c (3)交换律 a?b=b?a, a?b=b?a (4)结合律 a?(b?c)=(a?b)?c,a?(b?c)=(a?b)?c (5)等幂律 a?a=a, a?a=a * 3、格的基本性质(2) (6)吸收律 a?(a?b)=a, a?(a?b)=a (7)分配不等式 a?(b?c)?(a?b)?(a?c),a?(b?c)?(a?b)?(a?c) (8) a?b ? a?b=a ? a?b=b (9) a?c ? a?(b?c)?(a?b)?c 作为例子下面证明部分式子: 若a?b,c?d,则a?c?b?d。 证:已知a?b,c?d,由(1),b?b?d,d?b?d,再由传递性可得a?b?d,c?b?d。这说明b?d是a和c的一个上界,但a?c是a和c的最小上界,所以a?c?b?d。 * 3、格的基本性质(3) 证(4)式:a?(b?c)=(a?b)?c。 证:由(1),a? a?(b?c),b?b?c ? a?(b?c),这说明a?(b?c)是a和b的一个上界。但a?b是a和b的最小上界,所以 a?b ?a?(b?c)。 同样,c?b?c?a?(b?c),与上述理由相同,应有 (a?b)?c?a?(b?c)。 类似的可证 a?(b?c)?(a?b)?c b?
您可能关注的文档
最近下载
- 普通高中音乐课程标准(2017年版2020年修订).docx
- T_JSFPSA -001-2022_全麦面包_标准.pdf VIP
- GB50702-2011砌体结构加固设计规范.docx VIP
- 《特高压电力管廊盾构隧道结构施工及运营期验收评估标准》.pdf VIP
- 15、推理综合 举一反三 2024—2025学年度 小学二年级奥数 教学课件PPT.pptx VIP
- 项目式学习在小学英语教学中的实践教学研究课题报告.docx
- matlab课件(西工大-孙蓬).pptx
- 香港上市(IPO)全流程介绍(最完整版).pdf VIP
- GBT50319-2013建设工程监理规范表格-全部[整理].doc VIP
- 09S302雨水斗选用及安装图集(清晰).pdf VIP
文档评论(0)