




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、07级数学试点班 王渊1.问题的引入有限和无穷w香迪悖论w小说的讲述者香迪曾说自己用了两年时间来记录其生活中头两天的历史,然后香迪抱怨说,按照这种速度他永远也写不完自己的传记。在这一情节启发下,数学家罗素巧妙利用“无限未来的概念提出了香迪悖论:如果香迪可以永远活下去,而且坚持不懈的写下去,那么,即是他的一生始终像开端那样充满需要记录的内容,他的传记也不会遗留任何部分。w罗素的论证大致如下:假定香迪生于1700年1月1日,而写作开始于1720年1月1日。其写作进程如下:w写作的年份 涵盖的事件w 1720 1700年1月1日w 1721 1700年1月2日w 1722 1700年1月3日w w
2、但是,每一天对应于一年,每一年对应于一天。对于任何一天,在未来都由指定的一年去记录它,绝无例外。“香迪的传记不会遗漏任何部分。”w 罗素的香迪悖论在常识看来不可思议。事实上,当我们逐渐了解集合论中的无穷观点后,就可以明白这一论证是正确的,并无荒谬之处。w无穷集合的概念w集合论的基础w集合论的意义w无穷集合元素个数无穷)一个“矛盾的集合wAristotle亚里士多德考虑过无穷集合,他认为潜在的无穷大需要和真实的无穷大加以区别。w微积分重建数学基础w 微积分理论遇到严重的逻辑困难w 对微积分基础的严密论证成为集合论产生的一个重要原因w w 2.无穷集合的概念w在重建微积分理论的过程中,Bolzan
3、ow(波尔查诺是第一个朝着建立集合的明w 确理论方向采取了积极步骤的人,他维w 护了集合的存在,并强调了两个集合等价的概念,即两个集合元素间的一一对应关系。他注意到无限集合的部分或子集可以等价于整体,例如0到5之间的实数可以通过公式 与0到12间的实数构成一一对应,虽然和第二个数集包含了第一个数集。但是他同样也遇到了一些问题在他看来属于悖论的,因此他认为这些不必深入研究。 3.集合论的基础512xy x y 00 1 2.4 2.5 6 0.5 1.2 5 12512 xyw随着实数不可列性质的确立,康托又提出一个新的,更大胆的问题。1874年,他考虑了能否建立平面上的点和直线上的点之间的一一
4、对应。从直观上说,平面上的点显然要比线上的点要多得多。康托自己起初也是这样认识的。但三年后,康托宣布:平面和直线之间可以建立一一对应,证明简述为w只需证明区间(0,1)和单位正方形上的点一样多即可。 在区间(0,1)内的点都可以表示成一个无穷小数,比如0.2574892 如果是1/4,可以表示成0.25000000。 以0.257489257621为例 w我们把它的奇数位和偶数位分别取出来 得到两个新的数0.278272和0.549561 1845.3.31918.1.6wGeorg Cantorw 集合论的创立者是Georg Cantor, w Cantor对集合所下的定义是一些确定w 的,
5、不同东西的总体,这些东西使人w 能意识到并判断一个给定的东西是否w 属于这个总体。对Cantor来说,假如w 一个集合能够和它的一部分构成一一w 对应,它就是无穷的。当他把全体自w 然数看作一个集合时,他是把无限的整体作为了一个构造完成了的东西,这样他就肯定了实无穷。他定义了基数,可数集合凡是能和自然数集一一对应的集合都称作可数集,也叫可列集等概念。w过去数学家认为靠得住的只有有限,而无穷最多只是模模糊糊的一个记号。而康托尔把无穷分成许多“层次”。在最初阶段,康托尔主要证明了无穷之间也有差别,既存在可数的无穷,比如自然数集,也存在那种像实数集合那样不可数的无穷。w我们不妨看一些有关这些无穷集合
6、分类的最基本的证明,了解一些最基本的数学思想 。w首先康托尔证明了有理数是可数集w随后他又证明了实数是不可数集 实数不可数集(局部化思想) 在0,1上考虑 实数可表示为 0. 为非负整数 1 0. 2 0. 3 0. 令 b=0. 当 =5, =4; 当 5 =5。 b=0. = 矛盾! 反证法aaaa14131211aaaa24232221aaaa34333231bbbb4321aaaa4321aiaiiaiibibiaaaakkkk4321akkakkbkw随着实数不可列性质的确立,康托又提出一个新的,更大胆的问题。1874年,他考虑了能否建立平面上的点和直线上的点之间的一一对应。从直观上
7、说,平面上的点显然要比线上的点要多得多。康托自己起初也是这样认识的。但三年后,康托宣布:平面和直线之间可以建立一一对应,证明简述为w只需证明区间(0,1)和单位正方形上的点一样多即可。 在区间(0,1)内的点都可以表示成一个无穷小数,比如0.2574892 如果是1/4,可以表示成0.25000000。 以0.257489257621为例 w我们把它的奇数位和偶数位分别取出来 得到两个新的数0.278272和0.549561 w以它们作为横坐标和纵坐标的点是单位正方形内的一个点 。所以区间(0,1)内的任意点都可以在单位正方形内找到唯一的对应点。 反过来,单位正方形内的一个点, (0.2782
8、72,0.549561) 可以对应为一个数0.257489257621, 即单位正方形内的任意一个点都可以在区间(0,1)上找到唯一的对应点 。所以区间(0,1)和单位正方形上的点一样多 同理可证直线和平面上的点一样多w这一结果是出人意外的。就连康托本人也觉得“简直不能相信”。然而这又是明摆着的事实,它说明直观是靠不住的,只有靠理性才能发现真理,避免谬误。w集合论基础w我们知道,在有限集合中,两个元素是可以比较大小的,自然数集中的元素是同样可以比较大小的。在一般的无限集合中是怎样的情况呢?康托尔系统地研究了序数理论,提出了良序原理,即可以给任何集合内的所有元素定义一个大小关系,使得任意两个元素都可以比较大小,且该集合的任意子集都有最小元素。w集合论本身出现矛盾 w 20世纪集合论和数学基础研究的出发点 从无穷集合发展起来的集合论是现代数学中重要的基础理论。它的概念和方法已经渗透到代数、拓扑和分析等许多数学
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年建筑工地抹灰安全题库解析集
- 2025年康复训练面试高频题
- 2025年机械工程师初级面试模拟题及答案全解
- 2025年AI主播入门初级题库解析
- 2025年卡丁车教练员考试通关秘籍模拟题集与答题技巧
- 2025年化学初级工无机题解
- 2025年市委党校教师招聘面试问题解答
- 2025年高压电工模拟题及答案
- 2025年AI智能语音技术实战指南及考试题库
- 2025年汽车工程师专业技术资格考试试题及答案解析
- JG/T 503-2016承插型盘扣式钢管支架构件
- 落户防离职协议书
- T/SFABA 5-2024食品配料天然度检测
- 铁路团体车票协议书
- 2025新人教版英语八上单词默写单(先鸟版)
- 养老护理移乘技能课件
- 物业服务接待课件
- 2025年度专业技术人员继续教育公需科目考试题(附答案)
- 广东2025年03月珠海市市直机关事业单位公开招考合同制职员笔试历年参考题库考点剖析附解题思路及答案详解
- 供应商有效管理方案
- 铝合金门窗安装与质量控制
评论
0/150
提交评论