- 1、本文档共46页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
引理15-4.1 设在一个布尔格中,b∧c=0当且仅当b ?c。 ? 证明:(1)先证 b∧c=0 ? b ?c 若 b∧c=0, 因为 0∨c=c , 则 (b∧c)∨c=c 根据分配性,就有 (b∨c) ∧ (c∨c) =c 即 (b∨c) ∧1 =c 所以 b∨c =c 又因为 b? b∨c 所以 b? c (2)再证 b?c ? b∧c=0 若b?c,则b∧c?c∧c,即b∧c?0,所以b∧c=0 ? 引理15-4.2 设A,∨,∧,- 是一个有限布尔代数,若b是A中 任意非零元素, a1, a2, … , ak是A中满足aj?b 的所有原子(j=1,2,…,k) ,则 b = a1∨a2∨…∨ak ? 证明:(1)先证 a1∨a2∨…∨ak ?b 记a1∨a2∨…∨ak =c,因为aj?b,所以c ?b。 (2)再证 b ? a1∨a2∨…∨ak 由引理6-4.1知,要证b? c若是原子,只需证b∧c=0, 反设b∧c≠0,于是必有一个原子a,使得a?b∧c。 又因b∧c?b,和 b∧c?c, 所以 a?b 和 a?c , 因为a是原子,且a?b,所以a必是a1, a2, …, ak中的一 个,因此 a?c,已有a?c,得a?c∧c,即a?0, 与a是原子矛盾。 b∧c≠0假设不成立 。综合(1)和(2)定理得证。? 引理15-4.3 设A,∨,∧,- 是一个有限布尔代数,若b是A中 任意非零元素, a1, a2, … ,ak是A中满足aj?b的所有原子(j=1,2,…,k) ,则b = a1∨a2∨…∨ak是将b表示为原子之并的唯一形式。 ? 证明:设有另一种表示形式为b=aj1∨aj1∨…∨ajt 其中aj1,aj1,…,ajt是原子。因为b是aj1,aj1,…,ajt的最小上界,所以必有aj1?b, aj2?b,..., ajt?b。而a1, a2, … , ak是A中所有满足ai?b (i=1,2,…,k)的不同原子。 所以必有 t≤k 反设t?k,那么在a1, a2, … , ak中必有aj0且aj0≠ajl 于是,由aj0∧(aj1∨aj1∨…∨ajt)= aj0∧(a1∨a2∨…∨ak) 即 (aj0∧aj1)∨ (aj0∧aj2)∨ … ∨ (aj0∧ ajt) = (aj0∧a1)∨ (aj0∧a2)∨ … ∨ (aj0∧ ak) 导致的0= aj0矛盾。t?k假设不成立 。 T=k定理得证。? 引理15-4.4 在一个布尔格A, ?中,对A中 任意一个原子a和另一个非零元素b,a?b 和a?b两式中有且仅有一式成立。 ? 证明:(1)先证a?b 和a?b两式不可能同时成立 反设a?b 和a?b同时成立,就有a?b∧b=0,这与a是原子相矛盾,即a?b 和a?b同时成立。 (2)再证a?b 和a?b两式中必有一式成立 因为a∧b?a, a是原子,所以只能是 a∧b=0 或 a∧b=a 若a∧b=0,则 a∧(b) =0 ,由引理6-4.1得 a?b; 若a∧b=a,由引理6-1.6得a?b。 ? 定理15-4.3(Stone 表示定理) 设A,∨,∧,- 是由有限布尔格A, ?所诱导的一个有限布尔代数, S是布尔格中的所有原子的集合,则A,∨,∧,- 和?(S), ∪,∩,~同构。 ? 证明:本定理的证明过程分三部分 (1)构造一个映射,并证明它是双射(既是入射又是满射); (2)描述代数系统A,∨,∧,- 和?(S), ∪,∩,~同构并证明之; (3)总结概括结论。 第(1)部分证明:对于任意a?A,必有的唯一表示: a=a1∨a2∨…∨ ak (引理15-4.2a的原子表示) 其中ai?a (i=1,2,…,k),作映
您可能关注的文档
最近下载
- 通信工程师:通信专业综合能力考试题库(三).docx VIP
- 创业:道与术(中南财政)中国大学MOOC慕课 章节测验期末考试答案.docx VIP
- 2025至2030半导体气体检测行业产业运行态势及投资规划深度研究报告.docx
- 建筑工程资料管理:工程实施阶段的施工资料PPT教学课件.pptx
- 《数字供应链管理实务》课程标准.pdf VIP
- 大学课程《水利工程制图与AutoCAD》PPT课件:2 投影基本知识.pptx VIP
- 精酿啤酒行业研究报告.pdf VIP
- 园林景观工程施工组织设计方案.doc VIP
- 配送人员组织架构及分工职责描述.docx VIP
- 人民大2024《人工智能与Python程序设计》课件(教材配套版)第7章-数据可视化.pdf VIP
文档评论(0)