- 1、本文档共125页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第7章 格与布尔代数 ;7.1 格 ; 7.1.1 格的定义
定义7.1―1 设〈L,≤〉是一个偏序集合,如果L中每一对元素a,b,都有最大下界和最小上界,则称此〈L,≤〉为格。
通常用ab表示{a,b}的最大下界,用a b表示{a,b}的最小上界。即
a * b=glb{a,b}
a b=lub{a,b}
; 例7.1-1
(a)设D是正整数集合I+中的整除关系,则〈I+,D〉是格,因为对任意a,b∈I+,
a*b=glb{a,b}=GCD{a,b} (a,b的最大公因数)
a b=lub{a,b}=LCM{a,b} (a,b的最小公倍数)
(b)设n是一正整数,Sn是n的所有因子的集合。例如S6={1,2,3,6},S8={1,2,4,8},D是整除关系,则〈Sn,D〉是格,例如〈S8,D〉,〈S6,D〉,〈S30,D〉的哈斯图如图7.1―1(a),(b),(c)所示。; (c) 设S是任意集合,ρ(S) 是它的幂集,偏序集合〈ρ(S),〉是格,因为对S的任意子集A,B,A∪B就是A,B的最小上界,A∩B就是A,B的最大下界。
当集合S仅含有二个或三个元素时,相应的格的哈斯图亦如图7.1―1(b)和(c)所示。
(d)设S是非空集合,π(S)是S的所有划分,π(S)中的偏序关系≤可定义为细分,πi≤πj当且仅当πi中的每一块都在πj的某一块中。于是划分积与划分和+分别是保交和保联。所以〈π(S),≤〉是格。 ;例如S={a,b,c},则
π(S)={π1,π2,π3,π4,π5}
π1={{a,b,c}},π2={{a,b},{c}},
π3={{a,c},{b}}, π4={{a},{b,c}}
π5={{a},{b},{c}}
〈π(S),≤〉的哈斯图如图7.1―1(d)所示。
(e)图7.1―1(e)所示的哈斯图也是一个格。
;图 7.1―1 ;图 7.1―2 ; 7.1.2 格的对偶性原理和基本性质
给定一个偏序集合〈S,≤〉,≤的逆关系≥也是S中的偏序关系,〈S,≥〉也是偏序集合,我们称偏序集合〈S,≤〉和〈S,≥〉互为对偶。从图形上看,后者的哈斯图就是前者哈斯图的上下颠倒。如果A S,则关系≤的lub(A)和glb (A)就分别等同于关系≥的glb(A)和lub(A)。因此,如果〈L,≤〉是一个格,则〈L,≥〉也是一个格,我们说这两个格互为对偶。互为对偶的两个格〈L,≤〉和〈L,≥〉有着密切关系:格〈L,≤〉中的保交正是格〈L,≥〉中的保联, ; 而格〈L,≤〉中的保联正是格〈L,≥〉中的保交。因此,给出关于格一般性质的任何有效命题,把关系≤换成≥,(或把≥换成≤),把保交换成保联,保联换成保交,我们能够得到另一个有效命题,这就是关于格的对偶性原理。
格的基本性质如表7.1―1所示。如果一个公式的对偶公式是其自身,则对偶式不重复列出。
;表7.1―1 格的基本性质;表7.1―1 格的基本性质; 现证明表中各公式。
证
公式(1)~(3)是偏序集合定义所要求的,对一切偏序集合均成立,格是偏序集合,所以对一切格也成立。公式(4)~(5)是根据保交和保联的定义所得的,所以对一切格成立。
(6) 交换律的证明。
由保联的定义得ab=lub{a,b}=lub{b,a}=ba。
? 由对偶原理得a*b=b*a。(下边都仅证两对偶恒等式中的一个。); (7) 结合律的证明。
设R=a (b c)和R′=(a b) c,由公式(4′)(加撇表示右侧的公式,下同)得R≥a,R≥b c,根据公式(4′)和(3′)得R≥b和R≥c。这样,根据公式(5′)得R≥a b;由R≥a b和R≥c得R≥(a b) c=R′。类似地可证R′≥a (b c)=R。因此,根据公式(2′)
得(a b) c=a (b c)。
结合律说明,无括号表达式a1
您可能关注的文档
- 厦门大学有机化学课件-第1章绪论.ppt
- 南京林业大学 线性代数课件 第二章 行列式.pptx
- 西南石油大学概率论与数理统计课件-第3章随机向量.pptx
- 宁夏大学概率论与数理统计课件-第4章随机变量的数字特征.pptx
- 南京航空航天大学大学物理课件-第13章.pptx
- 西南大学大学物理课件-第6章静电场.pdf
- 同济大学大学物理课件-第3章 刚体力学.pdf
- 长安大学线性代数课件-第3章向量组的线性相关性.pdf
- 湘潭大学概率论与数理统计课件-第5章大数定律和中心极限定理.ppt
- 厦门大学内科学课件-第2章肠梗阻.pptx
- 五个管好的意识形态工作总结.docx
- 在学校党员大会上的讲话:今年国际教育发展的四个主题.docx
- 在区廉政谈话会上的讲话.docx
- 学习贯彻2024年中央经济工作会议精神 打好政策“组合拳”保持经济稳定增长.pptx
- (7篇)学习贯彻中央经济工作会议精神研讨发言心得体会汇编.docx
- 关于“时代新人”视阈下高职思政课教学实践探究报告.docx
- (2025.01.05)关于城市营商环境现状与优化路径探索报告.docx
- 教育工作会议主题发言材料和讲话材料汇编(6篇).docx
- 镇党委副书记兼派出所所长关于2024年度民主生活会个人对照查摆剖析材料.docx
- 县委常委班子2024年度民主生活会对照检查.docx
文档评论(0)