




已阅读5页,还剩68页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
格论是近代数学的一个重要分支,由它所引出的布尔代数在计算机科学中有很多直接应用。,第六章格与布尔代数,格的概念分配格有补格布尔代数布尔表达式,1、回忆偏序集A,偏序关系:满足自反性,反对称性,传递性。有限集合上的偏序集可用哈斯图来表示:,6-1格的概念,Hasse图为:a,b最小上界是c,无最大下界e,f最大下界是d,无最小上界因而任两元素未必有最小上界,最大下界。而我们要介绍的格是一种特殊的偏序集任两元素均有最小上界和最大下界,6-1格的概念,例1:I+,|a|b:a整除b偏序关系。a,b最小上界:a,b的最小公倍数LCMa,b最大下界:a,b的最大公约数GCDI+,|是格,例2:S集合P(s),偏序集。A,BP(s)A,B最小上界:ABA,B最大下界:AB这一偏序集是格,2、格A,是偏序集,若对a,bA,a,b有最大下界和最小上界,则称A,为格。一般可用Hasse图表示格。,6-1格的概念,例:用图形判断含15个元素的格:,13个元素Hasse图情况唯一,6-1格的概念,3、格A,诱导的代数系统在A上定义两个运算和:a,bA,ab:a和b的最大下界:交运算ab:a和b的最小上界:并运算则A,称为由格A,诱导的代数系统,例:A=1,2,3,6。A,|A,,也易求得A,是格A,|诱导的代数系统,6-1格的概念,4、格的对偶原理:A,有逆关系c:;而A,也是一偏序关系A,与A,是互为对偶的A,是格,则A,也是格ab=acb哈斯图互为颠倒有对偶原理:若P是A,格中真命题,若将P中换成,换成,换成,则得到另一命题P,P是P的对偶命题,且P也是真命题所以,在证明格有关的命题时,证明一个,则另一个对偶式也成立。,6-1格的概念,(3)传递性ab,bcac;ab,bcac(4)aab;aba;bab;abb(5)ac,bcabc;ac,bcabc,(6)ab,cdacbd(acbd);ab,cdacbd(acbd)(7)保序性bcabac,abac(8)交换性ab=ba;ab=ba;,5、格的基本性质:设A,是格。(1)自反性aa|对偶aa(2)反对称性ab,baa=b.|对偶ab,baa=b,6-1格的概念,(9)结合性:a(bc)=(ab)c;a(bc)=(ab)c(10)等幂性:aa=a;aa=a(11)吸收性:a(ab)=a;a(ab)=a(12)分配不等式:a(bc)(ab)(ac)(ab)(ac)a(bc)(13)abab=a;abab=b,(14)模不等式:aca(bc)(ab)c,6-1格的概念,6-1格的概念,证:只证(6)(11)其他书上有(6)bbdababdacbd.dbdcdcbd另一类似可证,(11)要证aa(ab)a(ab)a第一式显然成立aaabaa(ab)aa=a(ab),6、格的等价原理:格A,(1)引理6-1.1:A,代数系统,若,满足吸收性,则,满足幂等性证:a,bA.a(ab)=aa(ab)=a.b用ab代替(两式中b是相互独立的)a(a(ab)=a即aa=a.,(2)格的等价定理:A,代数系统,.满足交换性,结合性,吸收性,则A上存在偏序关系,使A,是一个格从格可引出代数系统A,;而从满足三个条件的A,也可导出格A,,证明见书:(格中三个性质很重要,决定了格),6-1格的概念,6-1格的概念,证:定义一个,a,bA,abab=a.可证是一偏序关系。,1)自反性aa=a,aa(吸收性导出幂等性)。,2)反对称性ab,baab=a,ba=b.交换性ab=a=ba=ba=bab,3)传递性ab,bcab=a,bc=b,ac=(ab)c=a(bc)=ab=aac.,故是一偏序关系。,6-1格的概念,4)下面证明ab就是a,b的最大下界,即要证明aba,abb且最大(ab)a=a(ba)=a(ab)=(aa)b=ab(ab)b=a(bb)=ababa,abb即ab是a和b的下界。,设c是ab的任一下界,即ca,cb则ca=c,cb=cc(ab)=(ca)b=cb=ccab故ab是a和b的最大下界,6-1格的概念,若ab=a则ab=(ab)b=b反之,若ab=b则ab=a(ab)=aab=aab=b故A上偏序关系abab=aab=b,可类似证明得ab是a,b的最小上界。因此A,是一个格,5)下面证明ab=aab=b,7、子格:由格A,诱导的代数系统为A,。设BA,且B,如果A中的这两个运算和关于B是封闭的(B中任两元在A中的最小上界和最大下界也在B中),则称B,是A,的子格,例:I+,格I+,ab=LCM(a,b)ab=GCD(a,b)又两个偶数的GCD,LCM均是偶数。E+正偶数全体,、封闭,E+,是I+,的子格。注意:A,格,BA,B,B,未必是格,且若即使是格,也未必是子格。,6-1格的概念,例:S=a,b,c,d,e,f,g,hS,是格S3=a,b,c,d,e,g,hS3,也是格,但不是S,的子格bd=fS3.在S3中bd=h,6-1格的概念,8、格同态和格同构:,设A1,1和A2,2都是格,它们诱导的代数系统分别是:A1,1,1和A2,2,2。若存在映射f:A1A2使得对a,bA1,有f(a1b)=f(a)2f(b),f(a1b)=f(a)2f(b)则称f是从A1,1,1到A2,2,2的格同态,称f(A1),2为格A1,1的格同态象。若f是双射,则称f是从A1,1,1到A2,1,1的格同构,称A1,1和A2,2格同构的。,6-1格的概念,例:A1=1,2,3,6,A1,格,A1,1,1;A2=P(s),S=a,b,A2,格,A2,2,2双射f:A1A2为:f(1)=,f(2)=a,f(3)=b,f(6)=a,b易得f(a1b)=f(a)2f(b);f(a1b)=f(a)2f(b)A1,与A2,同构,两个格同构时,其哈斯图是相同的,仅是标记不同。,6-1格的概念,9、同态的性质:(1)保序性:设f是格A1,1到A2,2的格同态,则对x,yA1,若x1y,则必有f(x)2f(y),格同态必保序,但反之未必,保序的映射未必同态。,(2)双向保序性:设A1,1和A2,2是格,f是A1到A2的双射,则f是A1,1到A2,2的格同构对a,bA1,a1b当且仅当f(a)2f(b),6-1格的概念,证:x1y,x1y=x(格性质)f(x1y)=f(x),f(x)2f(y)=f(x)f(x)2f(y),6-1格的概念,证f:A1,1A2,2的格同构由定理知a,bA,a1bf(a)2f(b)反之设f(a)2f(b)f(a)2f(b)=f(a)=f(a1b)f是双射,a1b=a,故a1b已知a,bA,a1bf(a)2f(b)要证格同构保运算设a1b=c.要证f(a1b)=f(a)2f(b)f(a1b)=f(a)2f(b)c1a,c1bf(c)2f(a)f(c)2f(b)f(a1b)=f(c)f(c)2f(a)2f(b),6-1格的概念,设f(a)2f(b)=f(d)f满射,则f(c)2f(d)而f(d)2f(a),f(d)2f(b)由条件d1a,d1bd1a1b=c从而f(d)2f(c)故f(d)=f(c)即f(a)2f(b)=f(a1b)同理可得f(a1b)=f(a)2f(b)f是格同构。,格性质中第12条有对任意格具有分配不等式:a(bc)(ab)(ac),(ab)(ac)a(bc)若上述两式变为等式,即满足分配律,则此格称为分配格,1、分配格定义:设A,是由格A诱导的代数系统,若对a,b,cA有a(bc)=(ab)(ac)和a(bc)=(ab)(ac)则称A,是分配格,6-2分配格,例:S=a,b,c,P(s),格,P(S),,对P,Q,RP(S),P(QR)=(PQ)(PR)P(QR)=(PQ)(PR)所以P(S),是分配格,格未必一定是分配格!,6-2分配格,例:(a)中:b(cd)=be=b;(bc)(bd)=aa=a(b)中:c(bd)=ca=c;(cb)(cd)=ed=d,6-2分配格,2、分配格相关定理:在一个格中,若交运算对于并运算可分配,则并运算对交运算也一定可分配,反之也成立(在分配格中定义中两个等式只要有一个成立即可将一个格判定为分配格),6-2分配格,证:对a,b,c若a(bc)=(ab)(ac)则(ab)(ac)=(ab)a)(ab)c)=a(ab)c)=a(ac)(bc)=(a(ac)(bc)=a(bc),反之易得证,2、分配格相关定理:,每个链是分配格,6-2分配格,证:A,偏序集a,bA,有ab或ba,则A,是链。它的哈斯图排成直线。显然A,是格。只要证a,b,cA有a(bc)=(ab)(ac)即可。,2、分配格相关定理:,每个链是分配格,6-2分配格,分两种情况:(1)ab或ac(a不是最大元(三者中)),(2)ba且ca(三者中a最大),无论bc或cb,a(bc)=a.(ab)(ac)=aa(bc)=(ab)(ac),bca,a(bc)=bc,(ab)(ac)=bca(bc)=(ab)(ac),2、分配格相关定理:,6-2分配格,定理:一个格是分配格(元素5)的充要条件是该格中没有任何一个子格与书P244中图6-2.2(a)或(b)中的任一个同构。,6-2分配格,a,c,e,d,f,子格,b,b,d,e,c,f,与其同构,所以不是分配格,6-2分配格,定理:分配格是模格。,6-2分配格,3、模格定义:,不是模格,也不是分配格dc,但c(db)=ca=cd(cb)=de=d,是模格,不是分配格,6-2分配格,是模格,不是分配格,6-2分配格,用定义证明任意xy,x(yz)=(xz)y.若x=y时此时显然成立(吸收性)讨论xy,xy的情形只有取x=e或y=a时才可能有x布尔格,小结,模格未必是分配格,分配格必是模格,a,bA,是格1.abab(a,b可以无关系)2.有界格未必是有限格,而有限格必是有界格,小结,1、布尔代数:由布尔格诱导的代数系统称为布尔代数,6-4布尔代数,6-4布尔代数,若:S=a,b,c,6-4布尔代数,2、性质:,3、布尔代数的同构,2)着重研究有限布尔代数之间的同构,6-4布尔代数,4、有限布尔代数:是布尔代数,若A是有限集,则称为有限布尔代数对于有限布尔代数,、若|A|=|B|,则AB,而且对任一有限布尔代数系统,元素个数必有2n,(1)原子:,是格,且存在全下界0,若aA,a盖住0,则称a为原子(第一个比0大的元素),6-4布尔代数,d,e是原子de,de=0一般来说,任两个原子交必为0,定理:A,是有下界0的有限格,则对于b0,bA,都存在原子aA,使得ab。(即一定有某条路径,往下走经过原子到达0),6-4布尔代数,定理:A,是有下界0的有限格,则对于b0,bA,都存在原子aA,使得ab。(即一定有某条路径,往下走经过原子到达0),6-4布尔代数,证:(1)若b是原子,则bb成立。(2)若b不是原子,一定存在b1,使得0b1b若b1是原子,则成立。若b1不是原子,存在b2A,使得0b2b1bA,是有限格经过有限步,找到0bib2b1b,而bi是原子bi有限布尔代数中,0bA,a1,a2ak是所有满足aib的原子,则b=a1a2ak并且这种表示是唯一的(也就是说,任一非零元,我们可用原子来唯一表示它。),6-4布尔代数,分两部分证明:,1)引理:A,有限布尔代数,0bA,a1,a2,ak是所有满足aib的原子,则b=a1a2ak,(2)Stone表示定理:,6-4布尔代数,证:记a1a2ak=c,要证b=caibb是a1,a2,ak的上界而c是a1,a2,ak的最小上界cb,下证bc用上述引理只要证b=0反证:设b0,则存在原子a,使得0)。,6-5布尔表达式,由上述定理可有如下结论:定理:布尔代数上的任一0,1的函数是布尔函数此时,不同布尔表达式有个,0,1函数有个而|A|2时,有些函数不是布尔函数!例:A0,1,2,3布尔代数g:A2A的函数,P262表65.2。证明g不是布尔函数。证:|A|42,g:A2A假设g是布尔函数。,6-5布尔表达式,g一定可写作某个析取范式。g是AA的函数,二元表达式,根据条件,6-5布尔表达式,应用2:线路设计中,开关代数也是布尔代数,含两个元素,因而任一复合命题均可用上的布尔函数来表示任一开关线路均可用上的布尔函数来表示。这些均是布尔函数的特例。,应用1:命题逻辑可用布尔函数来表示,含两个元素。命题变元布尔变元,复合命题布尔表达式,6-5布尔表达式,将布尔表达式化为析取范式的方法:1)首先利用,将求补运算深入到每个布尔变元或布尔常元2)利用可交换性,结合性,分配性,化原式为()()(),其中()是,是xi或形式(pn)3)将某个()中没有出现的布尔变元xi,用补足,再用分配律,使之化为所需析取范式合取范式类似,6-5布尔表达式,例:f(x1,x2)=(ax1()(bx2)求f(x1,x2)的
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 自考专业(电子商务)考前冲刺试卷(名师系列)附答案详解
- 中考数学总复习《旋转》预测复习【A卷】附答案详解
- 重难点解析人教版8年级数学上册《分式》综合练习试题(含详细解析)
- 中级银行从业资格之中级银行业法律法规与综合能力题库(得分题)打印含答案详解(培优b卷)
- 自考专业(工商企业管理)能力提升B卷题库(轻巧夺冠)附答案详解
- 营销团队培训与拓展实战指导
- 珠宝行业线上线下融合销售模式优化方案
- 中级银行从业资格之中级银行业法律法规与综合能力提分评估复习及完整答案详解(全优)
- 基于云平台的电网监控-洞察及研究
- 电竞公司舆情应对管理规章
- 人教版数学四年级上册全册课本练习题精心整理可编辑可打印
- 退费账户确认书
- 郑州市第四中学新初一分班(摸底)语文模拟试题(5套带答案)
- 2-第二章-各向异性材料的应力-应变关系
- 医院防爆反恐应急预案
- 云南省安全员C证考试题库及答案
- 死亡待遇申请表
- 集中供热管网系统一次网的调节方法
- 无线充电技术在汽车上的应用
- 马工程《刑法学(下册)》教学课件 第17章 危害国家安全罪
- 11科室临床路径、单病种管理目录
评论
0/150
提交评论