- 35
- 0
- 约1.01万字
- 约 59页
- 2017-07-07 发布于湖北
- 举报
定理6-3.3 设?A,??为一个有界格,则对任意的a?A,必有 a∨1=1, a∧1=a a∨0=a, a∧0=0 设?A,∨,∧?是由有界格?A,??所诱导的代数系统 ,a?A有a∧0=0,因为格满足交换律,所以0∧a=0,这说明0是交运算的零元;同样的道理,0是并运算的幺元,而1是交运算的幺元和并运算的零元 定义6-3.4 设?A,??是一个有界格,对于A中的一个元素a,如果存在b?A,使得a∨b=1且a∧b=0,则称b是a的补元。 如果b是a的补元,从上述定义可以看出,a也是b的补元。因此,可以说a和b是互补的,或者说a和b互为补元。 【例】如下图所示的格中, b和c互为补元,b和d也互为补元,b有两个补元c和d。 注: 格中元素的补元并不惟一, 也可能不存在 【例】下图是一个有界格的哈斯图。找出a,b,c,d,e的补元。 a的补元: e c的补元: d d的补元: c,e e的补元: a,d b没有补元 注: 在有界格中,全上界1的惟一补元是全下界0,而全下界0的惟一补元是全上界1。 定义6-3.5 在一个有界格中,如果每个元素都至少有一个补元, 则称此格为有补格 【例】如下图所示三个格均为有补格 定理6-3.4 在有界分配格中,若有一个元素有补元,则必是唯一的 定义6-3.6 一个格如果它既是有补格又是分配格, 则称为有补分配格.并记格中任一元素a的唯一补元为ā 作业 (1) (4) (6) 6.4 布尔代数 定义6-4.1 有补分配格称为布尔格。 在布尔格中每一个元素a都有补元, 并且是唯一的, 这唯一的补元记为ā 对于一个有补分配格, 计算一个元素的补元可以确定一个一元运算, 记为 “-”, 称为补运算 定义6-4.2 由布尔格?A,??,可以诱导一个代数系统?A,∨,∧, -?, 这个代数系统称为布尔代数。 【例】S是一个非空有限集合, ?P (S), ??是一个格, ?P (S),∪,∩?是由?P (S),??导出的代数系统. 集合的并(交)对于交(并)是可分配的, 而且其全上界为S, 全下界为?. 因此?P(S),∪,∩?是有界分配格. 对任意T?P (S),都有一个补元S–T. ?P (S),∪,∩, ~?是一个布尔代数. 定理6-4.1 对于布尔代数中任意两个元素a,b, 必定有 定义 6-4.3 具有有限个元素的布尔代数称为有限布尔代数 定义 6-4.4 设?A,∨,∧, -?和?B,∨,∧, -?是两个布尔代数, 如果存在着A到B的双射f, 对于任意的a,b∈A, 都有 f(a∨b)=f(a)∨f(b) f(a∧b)=f(a)∧f(b) 则称?A,∨,∧, -?和?B,∨,∧, -?同构 接下来用同构的观点来讨论有限布尔代数的结构 定义6-4.5 设?A,??是一个格,具有全下界0,如果有元素a盖住0,则称元素a为原子。 【例】如下图所示是三个格的哈斯图, 试找出每个格的原子 注: 若a,b是原子, 且a≠b, 则a∧b=0 定理6-4.2 设?A,??是一个具有全下界0的有限格,则对于任何一个非零元素b(即b≠0),至少存在一个原子a,使得a?b。 注: 上述定理中的原子a不一定惟一 引理6-4.1 在一个布尔格中, 当且仅当b?c。 引理6-4.2 设?A,∨,∧,-?是一个有限布尔代数,若b是A中任意非零元素, a1,a2,…,ak是A中满足aj?b的所有原子,则 b=a1∨a2∨…∨ak 引理6-4.3 设?A,∨,∧, -?是一个有限布尔代数, b?A且b≠0,a1,a2,…,ak是满足ai?b(i=1,…,k)的A中的所有原子, 则b=a1∨a2∨…∨ak是将b表示为原子的并的惟一形式。 引理 6-4.4 在一个布尔代数?A,??中, 对A中任意一个原子a和另一个非零元素b, a?b和a? 两式中有且仅有一式成立. 定理6-4.3 (Stone表示定理) 设?A,∨,∧, -?是由有限布尔格?A,??所诱导的一个有限布尔代数,S是布尔格?A,??中所有原子的集合,则?A,∨,∧,- ?和?P (S),∪,∩, ~?同构。 推论6-4.1 有限布尔格的元素个数必定等于2n,其中n是该布尔格中所有原子的个数。 推论6-4.2 任何一个具有2n个元素的有限布尔代数都是同构的. 定理6-4.3 (Stone表示定理) 设?A,∨,∧, -?是由有限布尔格?A,??所诱导的一个有限布尔代数,S是布尔格
您可能关注的文档
- 第六章电路原理详解教程.ppt
- 肺部常见病的X线诊断试卷.ppt
- 第六章电视纪录片教程.ppt
- 第六章电压稳定性教程.ppt
- 第六章短期经营决策教程.ppt
- 第六章对外直接投资理论教程.ppt
- 肺癌早期诊断李凡试卷.ppt
- 第三章非均相混合物的分离3.3教程.ppt
- 第六章对映异构教程.ppt
- 第六章-俄歇电子能谱教程.ppt
- 小区绿化施工协议书.docx
- 墙面施工协议书.docx
- 1 古诗二首(课件)--2025-2026学年统编版语文二年级下册.pptx
- (2026春新版)部编版八年级道德与法治下册《3.1《公民基本权利》PPT课件.pptx
- (2026春新版)部编版八年级道德与法治下册《4.3《依法履行义务》PPT课件.pptx
- (2026春新版)部编版八年级道德与法治下册《6.2《按劳分配为主体、多种分配方式并存》PPT课件.pptx
- (2026春新版)部编版八年级道德与法治下册《6.1《公有制为主体、多种所有制经济共同发展》PPT课件.pptx
- 初三教学管理交流发言稿.docx
- 小学生课外阅读总结.docx
- 餐饮门店夜经济运营的社会责任报告(夜间贡献)撰写流程试题库及答案.doc
最近下载
- 黑龙江省园林绿化工程消耗量定额2024版.docx VIP
- N—乙酰氨基葡萄糖合成方法的改进.pdf VIP
- L-CKC L-CKC 220工业闭式齿轮油 工业润滑剂 220 说明书.pdf
- 2025年春人教版历史七年级下册全册教学课件.pptx
- 自考14653《证券投资理论与实务》高频考点串讲.docx VIP
- 2026年湖南安全技术职业学院单招职业技能考试题库及完整答案详解一套.docx VIP
- 新城商开事业部产品配置标准及成本控制手册(2020版).pdf VIP
- 四川大学《通信原理》期末试题B卷.docx VIP
- 2024年度实验室CNAS内审全套资料.pptx VIP
- 2026年度护理人员培训计划(两篇).docx VIP
原创力文档

文档评论(0)