- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
证明:A∩(B∪C)=(A∩B)∪(A∩C) 证明:先证A∩ (B∪C) ?(A∩B)∪(A∩C)。 任取 a∈A∩ (B∪C),则a∈A 并且 a∈ B∪C。 由a∈ B∪C知,a∈B或a∈ C。 (1)若a∈B,则a∈A∩B; (2)若a∈C,则a∈A∩C。 因此,a∈A∩B或a∈A∩C,即 a∈(A∩B)∪(A∩C)。 再证(A∩B) ∩(A∩C) ? A∩ (B∪C) 。 任取 a∈(A∩B)∪(A∩C),则a∈A∩B或a∈A∩C。 (1)若a∈A∩B,则a∈A且a∈ B; (2)若a∈A∩C,则a∈A且a∈ C。 总之,a∈A,且a∈B或a∈C,即a∈A且 a∈ B∪C,即 a∈A∩(B∪C)。综上:(A∩B)∩(A∩C)=A∩(B∪C)。 证明:A∩(B∪C)=(A∩B)∪(A∩C) 证明: 证明:任取 ,即a?A∪B,亦即a?A且a?B,于是 且 ,故 ,所以任取 ,即 且 ,亦即a?A且a?B,于是a?A∪B,故 所以, 综上, 。得证。 证明: 容斥原理 (principle of inclusion-xclusion) 结论1 设A1,A2是有限集,且不相交,则 | A1 ∪ A2 |= | A1| + |A2 |。 结论2 设A1,A2是任意有限集,则 | A1 ∪ A2 |= | A1| + |A2 |- | A1 ∩ A2 |。 证明: A1∪A2可表为不相交的A1 和A2–A1的并, 于是, | A1 ∪ A2 |= | A1| + | A2 – A1 |。 (1) A2 可表为不相交的A2 – A1和A1 ∩ A2的并, 于是 | A2 |= | A2 – A1 | + | A1 ∩ A2 | 。 (2) 由此得: | A1 ∪ A2 |= | A1| + |A2 |- | A1 ∩ A2 |。 容斥原理 (principle of inclusion-xclusion) 结论3 设A1,A2 ,A3是任意有限集,则 |A1∪A2∪A3|=|A1| + |A2| + |A3| - |A1∩A2|- |A1∩A3|-|A2∩A3|+|A1∩A2∩A3| 证明: |A1∪A2∪A3| = |(A1∪A2 ) ∪A3| = | A1∪A2 | + |A3| - |(A1∪A2)∩A3| = |A1|+|A2|-|A1∩A2|+|A3|-|(A1∩A3)∪(A2∩A3)| =|A1| +|A2|+|A3|-|A1∩A2|- |A1∩A3|-|A2∩A3|+|A1∩A2∩A3|。 容斥原理 (principle of inclusion-xclusion) 设A1,A2,…,An是n个有限集合,则 称为包含排斥原理,简称容斥原理。 其它算律: 例,证明: 从而有: 证明: 小结:证明集合的包含关系的常用方法 令A,B是两个集合,证A?B的常用方法: 方法1 利用定义来证明集合的包含关系。 要证明A?B,首先任取x?A,再演绎地证出x ? B成立。特别,当A是无限集时,因为我们不能对x ?A,逐一地证明x ? B成立,所以证明时“x是任取的”就特别重要。 证明集合的包含关系的常用方法 方法2 设法找到一个集合T,满足A?T且T?B,由包含关系的传递性有A?B. 例. 证明:A-C ?A ?B 证明集合的包含关系的常用方法 方法3 利用A?B的等价定义,即A?B=B,A?B=A或A-B=?来证. 例. 证明 A?C且B?C 当且仅当 A?B?C. 证明:必要性. (A?B)?C=(A?B)?C?C=(A?C)?(B?C) =C?C=C, 所以A?B?C. 充分性. A?C?(A?C)?B=(A?B)?C=C 所以A?C, 同理可证B?C. er 证明集合的包含关系的常用方法 方法4 反证法 如 (证明A?C?B?C且A-C?B-C则A?B.), 若不然,则有x?A 且x?B. 若x?C ,则x?A?C但x?B?C,与A?C?B?C矛盾; 若x?C,则x?A–C但x?B-C,与A-C?B-C矛盾。 证明集合
您可能关注的文档
- 李建策《医学影像学精品教学》心脏疾病的超声诊断.ppt
- 李建策《医学影像学精品教学》循环系统影像诊断.pptx
- 李建策《医学影像学精品教学》医学影像学第七版2015年3月讲课版.docx
- 李建策《医学影像学精品教学》医学影像学见习大纲.doc
- 李建策《医学影像学精品教学》医学影像学名词解释集锦.doc
- 李建策《医学影像学精品教学》呼吸系统临床专业大课.ppt
- 李建策《医学影像学精品教学》医学影像学模拟试题集.doc
- 李建策《医学影像学精品教学》医学影像学实验报告病例.ppt
- 李建策《医学影像学精品教学》医学影像学整理.doc
- 李建策《医学影像学精品教学》影像07-08试题2.doc
- 刘杰《离散数学1》精品教学2-命题逻辑-new.ppt
- 刘杰《离散数学1》精品教学4.1-图.ppt
- 刘杰《离散数学1》精品教学3-谓词逻辑-new.ppt
- 刘杰《离散数学1》精品教学4.2-树-new.ppt
- 刘杰《离散数学1》精品教学4.4-Hamilton图-new简.ppt
- 刘杰《离散数学1》精品教学4.3-有向图 Euler路-new.ppt
- 刘杰《离散数学1》精品教学5-1整除性 辗转相除-new.ppt
- 刘杰《离散数学1》精品教学5-3合同 一次同余式.ppt
- 刘杰《离散数学1》精品教学5-4秦九韶定理 Euler函数.ppt
- 刘杰《离散数学1》精品教学5-3合同 一次同余式-new.ppt
最近下载
- 无人机驾驶员技能考核内容结构表二级.pdf VIP
- 中国康养产业消费趋势报告(2025).pdf VIP
- 小区消防设施维修方案.docx VIP
- 无人机驾驶员技能考核内容结构表一级.pdf VIP
- 第三单元 珍爱我们的生命 测试卷(含答案)道德与法治七年级上册(2024).doc VIP
- TSIOT 803-2020 虚拟现实用户界面设计规范.pdf VIP
- 医院保洁员感控培训课件.pptx VIP
- 【完整正版高清】T_CFLP 0016-2023《国有企业采购操作规范》【2023修订版】.doc VIP
- 2025年一级建造师之一建民航机场工程实务考试题库【历年真题】.docx VIP
- Reading explorer-F级教学精品课件-U3A.pptx VIP
文档评论(0)