集合论与无穷.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多

第1页,共16页,星期日,2025年,2月5日1.问题的引入——有限和无穷香迪悖论小说《香迪传》的讲述者香迪曾说自己用了两年时间来记录其生活中头两天的历史,然后香迪抱怨说,按照这种速度他永远也写不完自己的传记。在这一情节启发下,数学家罗素巧妙利用“无限未来”的概念提出了香迪悖论:如果香迪可以永远活下去,而且坚持不懈的写下去,那么,即是他的一生始终像开端那样充满需要记录的内容,他的传记也不会遗留任何部分。罗素的论证大致如下:假定香迪生于1700年1月1日,而写作开始于1720年1月1日。其写作进程如下:第2页,共16页,星期日,2025年,2月5日写作的年份涵盖的事件17201700年1月1日17211700年1月2日17221700年1月3日…………但是,每一天对应于一年,每一年对应于一天。对于任何一天,在未来都由指定的一年去记录它,绝无例外。“香迪的传记不会遗漏任何部分。”罗素的香迪悖论在常识看来不可思议。事实上,当我们逐渐了解集合论中的无穷观点后,就可以明白这一论证是正确的,并无荒谬之处。第3页,共16页,星期日,2025年,2月5日无穷集合的概念集合论的基础集合论的意义第4页,共16页,星期日,2025年,2月5日无穷集合(元素个数无穷)——一个“矛盾”的集合Aristotle(亚里士多德)考虑过无穷集合,他认为潜在的无穷(大)需要和真实的无穷(大)加以区别。微积分——重建数学基础微积分理论遇到严重的逻辑困难对微积分基础的严密论证成为集合论产生的一个重要原因2.无穷集合的概念第5页,共16页,星期日,2025年,2月5日在重建微积分理论的过程中,Bolzano(波尔查诺)是第一个朝着建立集合的明确理论方向采取了积极步骤的人,他维护了集合的存在,并强调了两个集合等价的概念,即两个集合元素间的一一对应关系。他注意到无限集合的部分或子集可以等价于整体,例如0到5之间的实数可以通过公式与0到12间的实数构成一一对应,虽然和第二个数集包含了第一个数集。但是他同样也遇到了一些问题在他看来属于悖论的,因此他认为这些不必深入研究。3.集合论的基础第6页,共16页,星期日,2025年,2月5日xy0012.42.560.51.2512第7页,共16页,星期日,2025年,2月5日随着实数不可列性质的确立,康托又提出一个新的,更大胆的问题。1874年,他考虑了能否建立平面上的点和直线上的点之间的一一对应。从直观上说,平面上的点显然要比线上的点要多得多。康托自己起初也是这样认识的。但三年后,康托宣布:平面和直线之间可以建立一一对应,证明简述为只需证明区间(0,1)和单位正方形上的点一样多即可。

在区间(0,1)内的点都可以表示成一个无穷小数,比如0.2574892……

如果是1/4,可以表示成0…。

以0.257489257621……为例

我们把它的奇数位和偶数位分别取出来

得到两个新的数0.278272……和0.549561……

第8页,共16页,星期日,2025年,2月5日1845.3.3-1918.1.6GeorgCantor集合论的创立者是GeorgCantor,Cantor对集合所下的定义是一些确定的,不同东西的总体,这些东西使人能意识到并判断一个给定的东西是否属于这个总体。对Cantor来说,如果一个集合能够和它的一部分构成一一对应,它就是无穷的。当他把全体自然数看作一个集合时,他是把无限的整体作为了一个构造完成了的东西,这样他就肯定了实无穷。他定义了基数,可数集合(凡是能和自然数集一一对应的集合都称作可

文档评论(0)

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

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

1亿VIP精品文档

相关文档