- 4
- 0
- 约3.34千字
- 约 18页
- 2016-12-09 发布于重庆
- 举报
81引言82格的定义(离散数学)
第八章 格与布尔代数 §8.1 引 言 集合代数:(ρ(S),∪,∩) 对?A,B,C∈ρ(S),运算∪,∩满足:? 等幂律 A∩A = A, A∪A = A, 交换律 A∩B = B∩A, A∪B = B∪A, 结合律 A∩(B∩C) = (A∩B)∩C, A∪(B∪C) = (A∪B)∪C, 分配律 A∩(B∪C) =(A∩B)∪(A∩C), A∪(B∩C)=(A∪B)∩(A∪C), 吸收律 A∩(A∪B)=A, A∪(A∩B)=A, 若引进余集ˉ的概念,有De Morgan定律: 命题代数(S,∧,∨) 对?A,B,C∈S,运算∧,∨满足:? 等幂律 A∧A = A, A∨A = A, , 交换律 A∧B = B∧A,A∨B = B∨A 结合律 A∧(B∧C)=(A∧B)∧C, A∨(B∨C) = (A∨B)∨C 分配律 A∧(B∨C)=(A∧B)∨(A∧C), A∨(B∧C) = (A∨B) ∧(A∨C) 吸收律 A∧(A∨B)=A,A∨(A∧B)=A, 若引进否定?的概念,有De Morgan定律: ?(A∧B )= ?A∨?B, ?(A∨B )= ?A∧?B, §8.2 格 的 定 义 半序格 定义A 给出一个部分序集(L,≤), 如果对于任意a,b∈L,L的子集{a,b} 在L中都有一个最大下界(记为inf{a,b}) 和一个最小上界(记为sup{a,b}),则 称(L,≤)为一个格。 半序格的例 例. S是任意一个集合,ρ(S)是S的幂集合, 则,部分序集(ρ(S),?)是一个格。 因为对?A,B∈ρ(S), sup{A,B}=A∪B∈ρ(S),inf{A,B}=A∩B∈ρ(S) 例.设I+是所有正整数集合,D是I+中的“整除关系”,对任意a,b∈I+,aDb当且仅当a整除b,于是,(I+,D)是一个格。 sup{a,b}=a,b的最小公倍∈I+, inf{a,b}= a,b的最高公因∈I+ 。 半序格的例 例. 设n是一个正整数,Sn是n的所有正因数的集合,于是,(Sn,D)是格。因为 sup{a,b}=a,b的最小公倍∈ Sn, inf{a,b}= a,b的最高公因∈ Sn。 例. 设S是所有的命题集合,定义“ ” 如下: A B 当且仅当 B蕴涵A。 则(S, )是一个格。因为 sup{A,B}=A∧B∈S, inf{A,B}=A∨B∈S。 半序子格 定义A′ 设(L,≤)是格,S ? L, 如果(S,≤)是格, 则称(S,≤)是格(L,≤)的子格。 例.(S6,D)是(S24,D)的子格。 note: 定义B中由×,⊕ 满足吸收律可推出它们一定满足等幂律。 证明:任取L中元素a,由×,⊕满足吸收律知, a×(a⊕a)=a, a ⊕(a×a)=a。 故 a×a=a×(a⊕(a×a)), a⊕a=a⊕(a×(a ⊕a))。 又由×,⊕满足吸收律知,上面两式的等式右 端都等于a。因此, a×a = a, a ⊕ a = a。 即, 定义B中的×, 运算亦满足等幂律。 代数格的例 例. 设S是一个集合,ρ(S)是S的幂集合,于是,(ρ(S),∩,∪)是一个代数格。而(ρ(S),?)是半序格。易见对?A,B∈ρ(S), A ? B A∩B = A A∪B = B。 例. 设I+是所有正整数集合,两个正整数的最高公因×,最小公倍⊕是I+上两个代数运算,于是,(I+, ×,⊕)是一个代数格。而(I+,D)是半序格,D是整除关系。易见,对任意a,b∈I+, a D b a×b = a a⊕b = b。 例. 设n是一个正整数,Sn是n的所有正因数的集合,两个正整数的最高公因×,最小公倍⊕可是Sn上两个代数运算,于是,(Sn,×,⊕)是一个代数格。 代数格与半序格的等价性 定理8.2.1 定义A所定义的格和定义B所定义的格是等价的,亦即,一个半序格必是一个代数格;反之亦然。 证明:i)若(L,≤)是一个半序格,则对?a,b∈L,记 inf{a,b}为a×b; sup{a,b}为a⊕b。 由于对任意a,b,其inf{a,b},sup{a,b}是唯一的,所以,如上定义的×,⊕是集合L上的两种二元代数运算。 不难证明,对于×,⊕满足交换律,结合律,吸收律。则根据定义B,(L,×,⊕)是一个代数格。 证明 我们只证明吸收律: a×(
您可能关注的文档
- 81单稳态触发器.ppt
- 81可能性.ppt
- 81勿为小恶(阅读).ppt
- 81向量的坐标表示及其运算(阅读).ppt
- 81同底数幂的乘法.ppt
- 81可编程逻辑器件概述.ppt
- 81国家财政cong(阅读).ppt
- 81国际社会的成员主权国家和国际组织导学案(阅读).ppt
- 81国际社会的主要成员(阅读).ppt
- 81国际社会的成员主权国家和国际组织(阅读).ppt
- 人教版九年级英语Unit 4曾害怕课件3a-4c.pdf
- 雅思口语考题回顾:朗阁海外考试研究中心2019年10月10日Part 1考题总结.pdf
- 2026届高三地理一轮复习课件小专题河流袭夺.pptx
- 【名师原创】复习专题5 三角函数 作者:合肥市第八中学 蒲荣飞名师工作室.docx
- 高中数学一轮复习 微专题2 抽象函数.docx
- 高中数学——复习专题4 空间向量与立体几何.docx
- 高中数学一轮复习 微专题3 空间几何体中的截面、轨迹问题.docx
- 高中数学一轮复习 微专题4 空间几何体的最值、范围问题.docx
- 导流洞施工质量通病防治手册.docx
- 江苏省徐州市第一中学、徐市第三中学等五校2026届高三上学期12月月考历史试题含答案.docx
最近下载
- 使用Microsoft Visual C++实现对TwinCAT3 PLC状态的读取和控制.docx VIP
- 五年级语文寒假阅读理解专题训练(每个专题5篇共25篇含答案).docx VIP
- 领导班子2025年度民主生活会对照检查发言材料(5个带头).docx VIP
- 缉查布控.ppt VIP
- 交警缉查布控系统培训课件.pptx VIP
- 陕西省金太阳2026届高三上学期1月期末联考生物试卷(含答案详解).pdf
- 鸿蒙智能体框架白皮书.docx VIP
- 城市轨道环控系统与灾害防护系统.ppt VIP
- 信息流中级认证终极难题130.docx VIP
- 中国成人患者肠内肠外营养临床应用指南(2025版).docx
原创力文档

文档评论(0)