网站大量收购独家精品文档,联系QQ:2885784924

离散数学第三章集合论.pptVIP

  1. 1、本文档共37页,可阅读全部内容。
  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文档。上传文档
查看更多
PART 01 PART 02 PART 03 集合的概念及其表示 集合的运算及恒等式 有穷集的计数和包含排斥原理 主要内容 3.3 有穷集的计数和包含排斥原理 使用文氏图可以很方便的解决有穷集的计数问题。首先根据已知条件把对应的文氏图画出来。一般来说,每一条性质决定一个集合,有多少条性质,就有多少个集合。如果没有特殊的说明,任何两个集合都画成相交的,然后将已知的元素个数填入该集合的区域内。通常从 个集合的交集填起,根据计算的结果将数字逐步填入所有的空白区域。如果交集的数字是未知的,可以设为 ,之后再根据题目中的条件,列出一次方程或方程组,就可以求得所需要的结果。 * 3.3 有穷集的计数和包含排斥原理 例3.9 对24名会外语的科技人员进行掌握外语情况的调查,统计结果如下:会英、日、德和法语的人分别为13,5,10和9人,其中同时会英语和日语的有2人,会英、德和法语中任两种语言的都是4人。已知会日语的人既不懂法语也不懂德语,分别求只会一种语言(英、德、法、日)的人数和会三种语言的人数。 解:令A,B,C,D分别表示会英、德、法、日语的人的集合。根据题意画出文氏图如图3.4所示。设同时会三种语言的有 人,只会英、法或德语一种语言的分别为 , 和 人。将 x 和 , , 填入图中相应的区域,然后依次填入其他区域的人数。根据已知条件列出方程组如下: 解得 * 3.3 有穷集的计数和包含排斥原理 * 包含排斥原理 3.3 有穷集的计数和包含排斥原理 * 包含排斥原理 * 第三章 集合论 离散数学 陈志奎主编 人民邮电出版社 集合论的创立与康托尔的遭遇 19世纪末期,数学界出现了一件引人注目的事情。一位名叫格奥尔格·康托尔(G.Cantor, 1845-1918)的德国数学家提出一种令人费解的古怪理论----集合论。它的内容是如此与常识格格不入,以致于一出世就引起了一场轩然大波。 集合论的创立与康托尔的遭遇 自从17世纪牛顿和莱布尼茨创立微积分理论体系之后,在近一二百年时间里,微积分理论一直缺乏一个严格的逻辑基础。 出于这一目的,康托尔用集合的观点重新考察各种数量关系,特别是无穷数量关系。 在无穷的世界里,整体的所有元素和部分的所有元素之间可以是一 一对应的。另外,无穷集合并不都是相等的,比如所有实数和所有有理数之间就不是一一对应的。因而,无穷集合是有大小的。集合论用“基数”这个概念来表示无穷集合间的区别。 集合论的创立与康托尔的遭遇 康托尔的研究成果发表之后,遭到了德国数学家克隆尼克的激烈攻击。 “上帝创造了自然数,其余的一切才是人做的工作” 集合论的创立与康托尔的遭遇 法国数学家彭加勒说:“我个人,而且还不只我一人,认为重要之点在于,切勿引进一些不能用有限个文字去完全定义好的东西”。他把集合论当作一个有趣的“病理学的情形”来谈,并且预测说:“后一代将把(Cantor)集合论当作一种疾病,而人们已经从中恢复过来了”。 德国数学家魏尔认为,康托尔关于基数的等级观点是雾上之雾。 菲利克斯.克莱因也不赞成集合论的思想。 数学家H.A.施瓦兹原来是康托尔的好友,但他由于反对集合论而同康托尔断交 公理化集合论的建立 在1900年第二次国际数学大会上,著名数学家庞加莱就曾兴高采烈地宣布“……数学已被算术化了。今天,我们可以说绝对的严格已经达到了。” 然而这种自得的情绪并没能持续多久。不久,集合论有漏洞的消息迅速传遍了数学界。这就是1902年罗素得出的罗素悖论。 公理化集合论的建立 罗素构造了一个所有不属于自身(即不包含自身作为元素)的集合R。现在问R是否属于R? 如果R属于R,则R满足R的定义,因此R不应属于自身,即R不属于R;另一方面,如果R不属于R,则R不满足R的定义,因此R应属于自身,即R属于R。这样,不论何种情况都存在着矛盾。 公理化集合论的建立 1908年,策梅罗提出公理化集合论,后经改进形成无矛盾的集合论公理系统,简称ZF公理系统。这就是集合论发展的第二个阶段:公理化集合论。 在1908年以前由康托尔创立的集合论被称为朴素集合论。 PART 01 PART 02 PART 03 集合的概念及其表示 集合的运算及恒等式 有穷集的计数和包含排斥原理 主要内容 3.1 集合的概念及其表示 集合是一个不能精确定义的基本概念。一般地说,把具有共同性质的一些事物汇集成一个整体,就叫做集合。而这些事物就是这个集合的元素。例如,全体中国人是一个集合,每个中国人都是这个集合的元素;全体自然数是一个集合,每个自然数都是这个集合的元素;图书馆的藏书是一个集合,每本书都是这个集合的元素;全国的高校也形成一个集合,每所高校都是这个集合的元素。

您可能关注的文档

文档评论(0)

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

分享好文档!

1亿VIP精品文档

相关文档