《无穷集合论的创立》课件-优质公开课-人教A版选修3-1精品

Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,11/7/2009,#,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,无穷集合论的创立课件-优质公开课-人教A版选修3-1精品,无穷集合论的创立课件-优质公开课-人教A版选修3-1精品,1.,问题的引入,有限和无穷,香迪悖论,小说,香迪传,的讲述者香迪曾说自己用了两年时间来记录其生活中头两天的历史，然后香迪抱怨说，按照这种速度他永远也写不完自己的传记。在这一情节启发下，数学家罗素巧妙利用“无限未来”的概念提出了香迪悖论：如果香迪可以永远活下去，而且坚持不懈的写下去，那么，即是他的一生始终像开端那样充满需要记录的内容，他的传记也不会遗留任何部分。,罗素的论证大致如下：假定香迪生于,1700,年,1,月,1,日，而写作开始于,1720,年,1,月,1,日。其写作进程如下：,1.问题的引入有限和无穷香迪悖论,写作的年份 涵盖的事件,1720 1700,年,1,月,1,日,1721 1700,年,1,月,2,日,1722 1700,年,1,月,3,日,但是，每一天对应于一年，每一年对应于一天。对于任何一天，在未来都由指定的一年去记录它，绝无例外。“香迪的传记不会遗漏任何部分。”,罗素的香迪悖论在常识看来不可思议。事实上，当我们逐渐了解集合论中的无穷观点后，就可以明白这一论证是正确的，并无荒谬之处。,写作的年份,无穷集合的概念,集合论的基础,集合论的意义,无穷集合的概念,无穷集合（元素个数无穷）,一个“矛盾”的集合,Aristotle,（亚里士多德）考虑过无穷集合，他认为潜在的无穷（大）需要和真实的无穷（大）加以区别。,微积分,重建数学基础,微积分理论遇到严重的逻辑困难,对微积分基础的严密论证成为集合论产生的一个重要原因,2.,无穷集合的概念,无穷集合（元素个数无穷）一个“矛盾”的集合2.无穷集合的,在重建微积分理论的过程中，,Bolzano,（波尔查诺）是第一个朝着建立集合的明,确理论方向采取了积极步骤的人，他维,护了集合的存在，并强调了两个集合等价的概念，即两个集合元素间的一一对应关系。他注意到无限集合的部分或子集可以等价于整体，例如,0,到,5,之间的实数可以通过公式 与,0,到,12,间的实数构成一一对应，虽然和第二个数集包含了第一个数集。但是他同样也遇到了一些问题在他看来属于悖论的，因此他认为这些不必深入研究。,3.,集合论的基础,在重建微积分理论的过程中，Bolzano 3.集合论的基础,x,y,0,0,1,2.4,2.5,6,0.5,1.2,5,12,x,随着实数不可列性质的确立，康托又提出一个新的，更大胆的问题。,1874,年，他考虑了能否建立平面上的点和直线上的点之间的一一对应。从直观上说，平面上的点显然要比线上的点要多得多。康托自己起初也是这样认识的。但三年后，康托宣布：平面和直线之间可以建立一一对应，证明简述为,只需证明区间,(0,1),和单位正方形上的点一样多即可。在区间,(0,1),内的点都可以表示成一个无穷小数，比如,0.2574892,如果是,1/4,，可以表示成,0.25000000,。以,0.257489257621,为例,我们把它的奇数位和偶数位分别取出来 得到两个新的数,0.278272,和,0.549561,无穷集合论的创立课件-优质公开课-人教A版选修3-1精品,1845.3.3,1918.1.6,Georg Cantor,集合论的创立者是,Georg Cantor,，,Cantor,对集合所下的定义是一些确定,的，不同东西的总体，这些东西使人,能意识到并判断一个给定的东西是否,属于这个总体。对,Cantor,来说，如果,一个集合能够和它的一部分构成一一,对应，它就是无穷的。当他把全体自,然数看作一个集合时,他是把无限的整体作为了一个构造完成了的东西,这样他就肯定了实无穷。他定义了基数,可数集合（凡是能和自然数集一一对应的集合都称作可数集，也叫可列集）等概念。,1845.3.31918.1.6Georg,过去数学家认为靠得住的只有有限，而无穷最多只是模模糊糊的一个记号。而康托尔把无穷分成许多“层次”。在最初阶段，康托尔主要证明了无穷之间也有差别，既存在可数的无穷，比如自然数集，也存在那种像实数集合那样不可数的无穷。,我们不妨看一些有关这些无穷集合分类的最基本的证明，了解一些最基本的数学思想。,首先康托尔证明了有理数是可数集,随后他又证明了实数是不可数集,过去数学家认为靠得住的只有有限，而无穷最多只是模模糊糊的一个,实数不可数集,（局部化思想）在（,0,，,1,）上考虑,实数可表示为,0.,为非负整数,1 0.,2 0.,3 0.,令,b=0.,当,=5,，,=4,；,当 ,5 =5,。,b=0.=,矛盾！,反证法,反证法,随着实数不可列性质的确立，康托又提出一个新的，更大胆的问题。,1874,年，他考虑了能否建立平面上的点和直线上的点之间的一一对应。从直观上说，平面上的点显然要比线上的点要多得多。康托自己起初也是这样认识的。但三年后，康托宣布：平面和直线之间可以建立一一对应，证明简述为,只需证明区间,(0,1),和单位正方形上的点一样多即可。在区间,(0,1),内的点都可以表示成一个无穷小数，比如,0.2574892,如果是,1/4,，可以表示成,0.25000000,。以,0.257489257621,为例,我们把它的奇数位和偶数位分别取出来 得到两个新的数,0.278272,和,0.549561,无穷集合论的创立课件-优质公开课-人教A版选修3-1精品,以它们作为横坐标和纵坐标的点是单位正方形内的一个点。所以区间,(0,1),内的任意点都可以在单位正方形内找到唯一的对应点。反过来，单位正方形内的一个点，,(0.278272,0.549561),可以对应为一个数,0.257489257621,，即单位正方形内的任意一个点都可以在区间,(0,1),上找到唯一的对应点。所以区间,(0,1),和单位正方形上的点一样多 同理可证直线和平面上的点一样多,这一结果是出人意外的。就连康托本人也觉得“简直不能相信”。然而这又是明摆着的事实，它说明直观是靠不住的，只有靠理性才能发现真理，避免谬误。,以它们作为横坐标和纵坐标的点是单位正方形内的一个点。所以区,集合论基础,我们知道，在有限集合中，两个元素是可以比较大小的，自然数集中的元素是同样可以比较大小的。在一般的无限集合中是怎样的情况呢？康托尔系统地研究了序数理论，提出了良序原理，即可以给任何集合内的所有元素定义一个大小关系，使得任意两个元素都可以比较大小，且该集合的任意子集都有最小元素。,集合论本身出现矛盾,20,世纪集合论和数学基础研究的出发点,集合论基础,从无穷集合发展起来的集合论是现代数学中重要的基础理论。它的概念和方法已经渗透到代数、拓扑和分析等许多数学分支以及物理学和质点力学等一些自然学科中，为这些学科提供了奠基的方法，改变了这些学科的面貌。几乎可以说，如果没有集合论的观点，很难对现代数学获得一个深刻的理解。所以集合论的创立不仅对数学基础的研究有重要意义，而且对现代数学的发展也有深远的影响。,4.,集合论的意义,从无穷集合发展起来的集合论是现代数学中重要的基础,谢 谢,谢 谢,感谢聆听,感谢聆听,