《离散数学课件》1-2集合的基本概念_图文.pptVIP

《离散数学课件》1-2集合的基本概念_图文.ppt

  1. 1、本文档共68页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
*/69 一、全集 定义: 我们在研究某一个具体问题时,往往规定一个集合,使所涉及的集合都是它的子集合,称这个集合为全集, 记为U (或E )。 全集是个有相对性的概念,不同的问题,可以规定不同的全集。 */69 二、补运算: ā、 ?A 定义:设A是一个集合,U 是全集合,我们称集合U–A为A的补集,记为ā或?A ,即有: ā={ x│x?A且x?U } U A ā */69 定理1 A是一个任意集合,则 A∪? = A A∩U= A */69 定理2 A是一个任意集合,则 A∪ā= U A∩ ā = ? */69 定理3 ā=B当且仅当A∪B=U且A∩B=? 证明: “?” 由定理1结论成立。 “?” 设A∪B=U 且A∩B=? ,则    B =B∩U =B∩(A∪ā)=(B∩A)∪(B∩ā)     =?∪(B∩ā) = (A∩ā) ∪(B∩ā)     =(A∪B)∩ā=U∩ā=ā 任一集合的补集合是唯一的。 */69 推论:设A是任意一个集合,则 */69 定理4 德·摩根定律 三、运算定律 ?(A?B)=?A??B ?(A?B)=?A??B * 证明: ?(A ∩ B)=?A ∪ ?B 对任意的x , x??(A ∩ B) ? x?U ? x ? A ∩ B。 x?U ? ?( x?A ? x?B ) x?U ? ( ? x?A ? ? x?B ) x?U ? ( x ? A ? x ? B ) (x?U ? x ? A) ? (x?U ? x ? B) x? ?A ? x? ?B ? x?( ? A∪?B ) */69 定理5 (p83) 证明: 因而结论得证。 */69 例 (p84) (A–B)∩(A–C)=A– (B∪C) 证明: */69 解: 当仅当且A的元素不会同时为B与C的元素时, 即当仅当且A∩B∩C=? 时, 等式成立。 例1 (p78) (A-B)∪(A-C)=A在何条件下成立? 注意: 此解答比p78的解答简单清楚多了. * 集合基本运算的定义 并 A?B = { x | x?A ? x?B } 交 A?B = { x | x?A ? x?B } 相对补 A?B = { x | x?A ? x?B } 对称差 A?B = (A?B)?(B?A) = (A?B)?(A?B) 绝对补 ?A = E?A * ? ? ? 交换 A?B=B?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?C) 幂等 A?A=A A?A=A ?与? ?与? 分配 A?(B?C)=(A?B)?(A?C) A?(B?C)=(A?B)?(A?C) A?(B?C)=(A?B)?(A?C) 吸收 A?(A?B)=A A?(A?B)=A 集合运算的算律 吸收律的前提:?、?可交换 * 集合运算的算律(续) ? ? D.M 律 A?(B?C)=(A?B)?(A?C) A?(B?C)=(A?B)?(A?C) ?(B?C)=?B??C ?(B?C)=?B??C 双重否定 ??A=A ? E 补元律 A??A=? A??A=E 零律 A??=? A?E=E 同一律 A??=A A?E=A 否定 ??=E ?E=? 集合论是德国数学家康托 (G. Cantor) 在十九世纪七十年代建立的。他所做的工作一般称为朴素集合论。由于朴素集合论在定义集合的方法上缺乏限制,会导致悖论,经许多数学家的努力,在二十世纪初创立的一门更新的理论称为公理集合论。 希尔伯特是最支持康托理论的数学家之一,他赞誉康托的超限算术为“数学思想的最惊人的产物,在纯粹理性的范畴中人类活动的最美的表现。”著名哲学家罗素把康托的工作描述为“可能是这个时代所能夸耀的最巨大的工作。 康托因创立集合论而遭非难。由于被当时数学权威克罗内克(L. Kronecker)列为打假对象,康托终其一生只能在一所三流学院任教。一旦条件稍好的学校要聘康托任教,克罗内克等数学权威就出面干涉。 现代数学的发展告诉我们,康托的集合论是 自古希腊时代以来两千多年里,人类认识史上第一次给无穷建立起

文档评论(0)

kfcel5889 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档