数学文化十一优秀PPT.ppt

《数学文化十一优秀PPT.ppt》由会员分享，可在线阅读，更多相关《数学文化十一优秀PPT.ppt（93页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、 历史上，数学的发展有顺当也有曲折。大历史上，数学的发展有顺当也有曲折。大的挫折也可以叫做危机。危机也意味着挑战，的挫折也可以叫做危机。危机也意味着挑战，危机的解决就意味着进步。所以，危机往往危机的解决就意味着进步。所以，危机往往是数学发展的先导。数学发展史上有三次数是数学发展的先导。数学发展史上有三次数学危机。每一次数学危机，都是数学的基本学危机。每一次数学危机，都是数学的基本部分受到质疑。事实上，也恰恰是这三次危部分受到质疑。事实上，也恰恰是这三次危机，引发了数学上的三次思想解放，大大推机，引发了数学上的三次思想解放，大大推动了数学科学的发展。动了数学科学的发展。1 一、第一次数学危机一、

2、第一次数学危机 第第一一次次数数学学危危机机是是由由 不不能能写写成成两两个个 整整 数数 之之 比比 引引 发发 的的，我我 们们 以以 前前 已已 经经 专专门门 探探 讨讨 过过，现现 再再 简简 要要 回回 顾顾 一一 下下。这这一一危危机机发发生生在在公公元元前前5世世纪纪，危危机机来来源源于于：当当时时认认为为全全部部的的数数都都能能表表示示为为整整数数比比，但但突突然然发发觉觉 不不能能表表为为整整数数比比。其其实实质质是是：是是无无理理数数，全全体体整整数数之之比比构构成成的的是是有有理理数数系系，有有理理数数系系须须要要扩扩充充，需需要要添添加加无无理理数数。3 当时古希腊的

3、欧多克索斯部分地解决了这当时古希腊的欧多克索斯部分地解决了这一危机。他接受了一个特别奇妙的关于一危机。他接受了一个特别奇妙的关于“两两个量之比个量之比”的新说法，回避了的新说法，回避了 是无理数的是无理数的实质，而是用几何的方法去处理不行公度比。实质，而是用几何的方法去处理不行公度比。这样做的结果，使几何的基础牢靠了，几何这样做的结果，使几何的基础牢靠了，几何从全部数学中脱颖而出。欧几里得的几何从全部数学中脱颖而出。欧几里得的几何原本中也接受了这一说法，以致在以后的原本中也接受了这一说法，以致在以后的近二千年中，几何变成了几乎是全部严密数近二千年中，几何变成了几乎是全部严密数学的基础。学的基础

4、。但是彻底解决这一危机是在但是彻底解决这一危机是在19世纪，依世纪，依靠实数理论的建立。靠实数理论的建立。4 二、其次次数学危机二、其次次数学危机 其次次数学危机发生在牛顿创立微积分的十七世纪。当时的背景是：微积分诞生之其次次数学危机发生在牛顿创立微积分的十七世纪。当时的背景是：微积分诞生之后，数学迎来一次空前的旺盛时期。数学家们把微积分应用于各个领域，并获得了丰硕后，数学迎来一次空前的旺盛时期。数学家们把微积分应用于各个领域，并获得了丰硕的成果。在数学本身他们又发展了微分方程的理论，无穷级数的理论，大大地扩展了数的成果。在数学本身他们又发展了微分方程的理论，无穷级数的理论，大大地扩展了数学探

5、讨的范围。这一时期被称为英雄世纪。但微积分在基础理论上存在很多缺陷。第一学探讨的范围。这一时期被称为英雄世纪。但微积分在基础理论上存在很多缺陷。第一次数学危机是由毕达哥拉斯学派内部提出的，其次次数学危机则是由牛顿学派的外部、次数学危机是由毕达哥拉斯学派内部提出的，其次次数学危机则是由牛顿学派的外部、贝克莱大主教提出的，是对牛顿贝克莱大主教提出的，是对牛顿“无穷小量无穷小量”说法的质疑引起的。说法的质疑引起的。5 1危机的引发危机的引发 1）牛顿的）牛顿的“无穷小无穷小”牛顿的微积分是一项划时代的科学成就，蕴含牛顿的微积分是一项划时代的科学成就，蕴含着巨大的才智和创新，但也有逻辑上的问题。我着巨

6、大的才智和创新，但也有逻辑上的问题。我们来看一个例子。们来看一个例子。微积分的一个来源，是想求运动物体在某一时微积分的一个来源，是想求运动物体在某一时刻的瞬时速度。在牛顿之前，只能求一段时间内刻的瞬时速度。在牛顿之前，只能求一段时间内的平均速度，无法求某一时刻的瞬时速度。的平均速度，无法求某一时刻的瞬时速度。6 例如，设自由落体在时间例如，设自由落体在时间 下落的距离为下落的距离为 ，有公式有公式 ，其中，其中 是固定的重力加速度。我是固定的重力加速度。我们要求物体在们要求物体在 的瞬时速度，先求的瞬时速度，先求 。（*）7 当当 变成无穷小时，右端的变成无穷小时，右端的 也变成无穷小，因而上

7、式右端就可以认为也变成无穷小，因而上式右端就可以认为是是 ，这就是物体在，这就是物体在 时的瞬时速度，时的瞬时速度，它是两个无穷小之比。它是两个无穷小之比。牛顿的这一方法很好用，解决了大量过牛顿的这一方法很好用，解决了大量过去无法解决的科技问题。但是逻辑上不严去无法解决的科技问题。但是逻辑上不严格，遭到责难。格，遭到责难。8 2）贝克莱的发难 英国的贝克莱大主教发表文章猛烈攻击牛顿的理论。贝克莱问道：“无穷小”作为一个量，原委是不是0？9 假如是假如是0，上式左端当，上式左端当 成无穷小后分母为成无穷小后分母为0，就没有意，就没有意义了。假如不是义了。假如不是0，上式右端的，上式右端的 就不能

8、随意去掉。就不能随意去掉。在推出上式时，假定了在推出上式时，假定了 才能做除法，所以才能做除法，所以上式的成立是以上式的成立是以 为前提的。那么，为什么又为前提的。那么，为什么又可以让可以让 而求得瞬时速度呢？而求得瞬时速度呢？因此，牛顿的这一套运算方法，就犹如从因此，牛顿的这一套运算方法，就犹如从 动身，两端同除以动身，两端同除以0，得出，得出5=3一样一样的荒谬。的荒谬。（*）10 贝克莱还讽刺挖苦说：即然贝克莱还讽刺挖苦说：即然 和和 都变成都变成“无穷小无穷小”了，而无穷小作为一了，而无穷小作为一个量，既不是个量，既不是0，又不是非，又不是非0，那它确定是，那它确定是“量的鬼魂量的鬼魂

9、”了。了。这就是著名的这就是著名的“贝克莱悖论贝克莱悖论”。对牛顿微积分的这一责难并不是由数学家提出的，但是，特别击中要害。对牛顿微积分的这一责难并不是由数学家提出的，但是，特别击中要害。11贝克莱的质问是击中要害的贝克莱的质问是击中要害的数学家在将近数学家在将近200年的时间里，不能彻底年的时间里，不能彻底反对贝克莱的责难。反对贝克莱的责难。直至柯西创立极限理论，才较好地反对了直至柯西创立极限理论，才较好地反对了贝克莱的责难。贝克莱的责难。直至魏尔斯特拉斯创立直至魏尔斯特拉斯创立“”语言，语言，才彻底地反对了贝克莱的责难。才彻底地反对了贝克莱的责难。12 3）实践是检验真理的唯一标准）实践是

10、检验真理的唯一标准 应当承认，贝克莱的责难是有道理的。应当承认，贝克莱的责难是有道理的。“无无穷小穷小”的方法在概念上和逻辑上都缺乏基础。牛的方法在概念上和逻辑上都缺乏基础。牛顿和当时的其它数学家并不能在逻辑上严格说清顿和当时的其它数学家并不能在逻辑上严格说清“无穷小无穷小”的方法。数学家们信任它，只是由于的方法。数学家们信任它，只是由于它运用起来便利有效，并且得出的结果总是对的。它运用起来便利有效，并且得出的结果总是对的。特殊是像海王星的发觉那样鼓舞人心的例子，显特殊是像海王星的发觉那样鼓舞人心的例子，显示出牛顿的理论和方法的巨大威力。所以，人们示出牛顿的理论和方法的巨大威力。所以，人们不大

11、信任贝克莱的指责。这表明，在大多数人的不大信任贝克莱的指责。这表明，在大多数人的脑海里，脑海里，“实践是检验真理的唯一标准。实践是检验真理的唯一标准。”13 2危机的实质危机的实质 第一次数学危机的实质是第一次数学危机的实质是“不不是有理数，而是无理数是有理数，而是无理数”。那么其次次数学。那么其次次数学危机的实质是什么？应当说，是极限的概念危机的实质是什么？应当说，是极限的概念不清晰，极限的理论基础不坚固。也就是说，不清晰，极限的理论基础不坚固。也就是说，微积分理论缺乏逻辑基础。微积分理论缺乏逻辑基础。14 其实，在牛顿把瞬时速度说成其实，在牛顿把瞬时速度说成“物体所走物体所走的无穷小距离与

12、所用的无穷小时间之比的无穷小距离与所用的无穷小时间之比”的时的时候，这种说法本身就是不明确的，是模糊的。候，这种说法本身就是不明确的，是模糊的。当然，牛顿也曾在他的著作中说明，所谓当然，牛顿也曾在他的著作中说明，所谓“最终的比最终的比”，就是分子、分母要成为，就是分子、分母要成为0还不还不是是0时的比时的比例如（例如（*）式中的）式中的gt，它不是，它不是“最终的量的比最终的量的比”，而是，而是“比所趋近的极限比所趋近的极限”。他这里虽然提出和运用了他这里虽然提出和运用了“极限极限”这个词，这个词，但并没有明确说清这个词的意思。但并没有明确说清这个词的意思。15 德国的莱布尼茨虽然也同时独创了

13、微积德国的莱布尼茨虽然也同时独创了微积分，但是也没有明确给出极限的定义。分，但是也没有明确给出极限的定义。正因为如此，此后近二百年间的数学家，正因为如此，此后近二百年间的数学家，都不能满足地说明贝克莱提出的悖论。都不能满足地说明贝克莱提出的悖论。所以，由所以，由“无穷小无穷小”引发的其次次数学引发的其次次数学危机，实质上是缺少严密的极限概念和极限危机，实质上是缺少严密的极限概念和极限理论作为微积分学的基础。理论作为微积分学的基础。16牛顿莱布尼茨17 3危机的解决危机的解决 1）必要性）必要性 微积分虽然在发展，但微积分逻辑微积分虽然在发展，但微积分逻辑基础上存在的问题是那样明显，这终归基础上

14、存在的问题是那样明显，这终归是数学家的一块心病。是数学家的一块心病。18 而且，随着时间的推移，探讨范围的而且，随着时间的推移，探讨范围的扩大，类似的悖论日益增多。数学家在扩大，类似的悖论日益增多。数学家在探讨无穷级数的时候，做出很多错误的探讨无穷级数的时候，做出很多错误的证明，并由此得到很多错误的结论。由证明，并由此得到很多错误的结论。由于没有严格的极限理论作为基础。数学于没有严格的极限理论作为基础。数学家们在有限与无限之间随意通行（不考家们在有限与无限之间随意通行（不考虑无穷级数收敛的问题）。虑无穷级数收敛的问题）。19 因因此此，进进入入19世世纪纪时时，一一方方面面微微积积分分取取得得

15、的的成成就就超超出出人人们们的的预预料料，另另一一方方面面，大大量量的的数数学学理理论论没没有有正正确确、坚坚固固的的逻逻辑辑基基础础，因因此此不不能能保保证证数数学学结结论论是是正正确确无无误误的的。历历 史史 要要 求求 为为 微微 积积 分分 学学 说说 奠奠 基基。20 2）严格的极限理论的建立）严格的极限理论的建立 到到19世纪，一批杰出数学家辛勤、世纪，一批杰出数学家辛勤、天才的工作，最终逐步建立了严格的极限天才的工作，最终逐步建立了严格的极限理论，并把它作为微积分的基础。理论，并把它作为微积分的基础。应当指出，严格的极限理论的建立是应当指出，严格的极限理论的建立是逐步的、漫长的。

16、逐步的、漫长的。21 在在18世纪时，人们已经建立了极世纪时，人们已经建立了极限理论，但那是初步的、粗糙的。限理论，但那是初步的、粗糙的。达朗贝尔在达朗贝尔在1754年指出，必需用年指出，必需用牢靠的理论去代替当时运用的粗糙的极牢靠的理论去代替当时运用的粗糙的极限理论。但他本人未能供应这样的理论。限理论。但他本人未能供应这样的理论。19世纪初，捷克数学家波尔查诺世纪初，捷克数学家波尔查诺起先将严格的论证引入数学分析，他写起先将严格的论证引入数学分析，他写的无穷的悖论一书中包含很多真知的无穷的悖论一书中包含很多真知灼见。灼见。22 而做出确定性工作、可称为分析学的而做出确定性工作、可称为分析学的

17、奠基人的是法国数学家柯西奠基人的是法国数学家柯西（A.L.Cauchy,17891857）。他在）。他在18211823年间出版的分析教程和无穷小计年间出版的分析教程和无穷小计算讲义是数学史上划时代的著作。他对极算讲义是数学史上划时代的著作。他对极限给出比较精确的定义，然后用它定义连续、限给出比较精确的定义，然后用它定义连续、导数、微分、定积分和无穷级数的收敛性，导数、微分、定积分和无穷级数的收敛性，已与我们现在教科书上的差不太多了。已与我们现在教科书上的差不太多了。23柯西波尔查诺波尔查诺24 3）严格的实数理论的建立）严格的实数理论的建立 对以往理论的再相识对以往理论的再相识 后来的一些发

18、觉，使人们相识到，极限后来的一些发觉，使人们相识到，极限理论的进一步严格化，须要实数理论的严格理论的进一步严格化，须要实数理论的严格化。微积分或者说数学分析，是在实数范围化。微积分或者说数学分析，是在实数范围内探讨的。但是，下边两件事，表明极限概内探讨的。但是，下边两件事，表明极限概念、连续性、可微性和收敛性对实数系的依念、连续性、可微性和收敛性对实数系的依靠比人们想象的要深邃得多。靠比人们想象的要深邃得多。25 一件事是，一件事是，1874年德国数学家魏尔斯特年德国数学家魏尔斯特拉斯（拉斯（K.T.W.Weirstrass，18151897）构）构造了一个造了一个 “点点连续而点点不行导的函

19、数点点连续而点点不行导的函数”。“连续函数连续函数”在直观上是在直观上是“函数曲线没有函数曲线没有间断，连在一起间断，连在一起”，而，而“函数在一点可导函数在一点可导”直直观上是观上是“函数曲线在该点有切线函数曲线在该点有切线”。所以，在。所以，在直观上直观上“连续连续”与与“可导可导”有亲密的联系。有亲密的联系。这之前甚至有人还证明过：函数在连续这之前甚至有人还证明过：函数在连续点上都可导（当然是错误的）。因此根本不行点上都可导（当然是错误的）。因此根本不行想象，还会有想象，还会有“点点连续而点点不行导的函数点点连续而点点不行导的函数”。26 魏尔斯特拉斯(18151897)德国数学家。18

20、15年10月31日生于威斯特法伦州的奥斯滕费尔德，1897年2月19日卒于柏林。1834年入波恩高校学习法律和财政。1838年转学数学。18421856年，先后在几所中学任教。1854年3月31日获得柯尼斯堡高校名誉博士学位。1856年10月受聘为柏林高校助理教授，同年成为柏林科学院成员，1864年升为教授。27 魏尔斯特拉斯魏尔斯特拉斯 关于关于 “点点连续而点点不行导的函数点点连续而点点不行导的函数”的例子是的例子是 其中其中 是奇数，是奇数，使使 。28 另一件事是德国数学家黎曼另一件事是德国数学家黎曼（B.Riemann，18261866）发觉，）发觉，柯西把定积分限制于连续函数是没有

21、必柯西把定积分限制于连续函数是没有必要的。黎曼证明白，被积函数不连续，要的。黎曼证明白，被积函数不连续，其定积分也可能存在。其定积分也可能存在。黎曼还造出一个函数，当自变量取黎曼还造出一个函数，当自变量取无理数时它是连续的，当自变量取有理无理数时它是连续的，当自变量取有理数时它是不连续的。数时它是不连续的。29 黎曼 1826年9月17日，黎曼生于德国北部汉诺威的布雷塞伦茨村，父亲是一个乡村的穷苦牧师。他六岁起先上学，14岁进入高校预科学习，19岁按其父亲的意愿进入哥廷根高校攻读哲学和神学，1847年，黎曼转到柏林高校学习，成为雅可比、狄利克莱、施泰纳、艾森斯坦的学生。1849年重回哥廷根高校

22、攻读博士学位，成为高斯晚年的学生。30 这这些些例例子子使使数数学学家家们们越越来来越越明明白白，在在为为分分析析建建立立一一个个完完善善的的基基础础方方面面，还还须须要要再再前前进进一一步步：即即须须要要理理解解和和阐阐明明实实数数系系的的更更深深刻刻的的性性质质。31 魏尔斯特拉斯的贡献魏尔斯特拉斯的贡献 德国数学家魏尔斯特拉斯（德国数学家魏尔斯特拉斯（Karl Weierstrass，18151897）的努力，最终使）的努力，最终使分析学从完全依靠运动学、直观理解和几何概分析学从完全依靠运动学、直观理解和几何概念中解放出来。他的成功产生了深远的影响，念中解放出来。他的成功产生了深远的影响

23、，主要表现在两方面，一方面是建立了实数系，主要表现在两方面，一方面是建立了实数系，另一方面是创建了精确的另一方面是创建了精确的“”语言。语言。32柯西的贡献柯西的贡献柯西柯西（A.L.Cauchy,1789-A.L.Cauchy,1789-18571857），法国数学家，），法国数学家，在数学分析和置换群在数学分析和置换群理论方面做了开拓性理论方面做了开拓性的工作，是最宏大的的工作，是最宏大的近代数学家之一。他近代数学家之一。他在在1821-18231821-1823年出版年出版的分析教程和的分析教程和无穷小计算讲义无穷小计算讲义是数学史主划时代的是数学史主划时代的著作。著作。33魏尔斯特拉斯

24、的规划魏尔斯特拉斯的规划魏尔斯特拉斯提出一个规划：魏尔斯特拉斯提出一个规划：逻辑地构造实数系；逻辑地构造实数系；从实数系动身去定义极限概念、连从实数系动身去定义极限概念、连续性、可微性、收敛和发散。续性、可微性、收敛和发散。这一规划被称为分析的算术化。这一规划被称为分析的算术化。34魏尔斯特拉斯的规划魏尔斯特拉斯的规划魏尔斯特拉斯规划成功的影响：魏尔斯特拉斯规划成功的影响：既然分析能从实数系导出，所以，假照实数既然分析能从实数系导出，所以，假照实数系是相容的，那么全部分析是相容的。系是相容的，那么全部分析是相容的。欧氏几何通过笛卡尔坐标系也能奠基于实数欧氏几何通过笛卡尔坐标系也能奠基于实数系上

25、。所以，假照实数系是相容的，那么欧系上。所以，假照实数系是相容的，那么欧氏几何也是相容的，几何学的其它分支也是氏几何也是相容的，几何学的其它分支也是相容的。相容的。实数系可用来说明代数的很多分支，所以很实数系可用来说明代数的很多分支，所以很多代数的相容性也依靠于实数系的相容性。多代数的相容性也依靠于实数系的相容性。35魏尔斯特拉斯的规划魏尔斯特拉斯的规划总之，其次次数学危机的核心是微积总之，其次次数学危机的核心是微积分的基础不稳固。分的基础不稳固。柯西的贡献在于将微积分建立在极限柯西的贡献在于将微积分建立在极限论的基础上，遗留的问题是，任何实论的基础上，遗留的问题是，任何实数列的极限存在吗？数

26、列的极限存在吗？魏尔斯特拉斯的贡献在于，先逻辑地魏尔斯特拉斯的贡献在于，先逻辑地构造实数系，因而建立分析基础的逻构造实数系，因而建立分析基础的逻辑依次是实数系辑依次是实数系极限论极限论微积分。微积分。36从有理数谈起从有理数谈起有理数系是稠密的，并且四则运算有理数系是稠密的，并且四则运算封闭，是我们遇到的第一个比较完封闭，是我们遇到的第一个比较完备的数系。但它仍存在严峻的缺陷。备的数系。但它仍存在严峻的缺陷。从几何角度，有理数没有填满整个从几何角度，有理数没有填满整个数轴。数轴。从代数角度，有理数系对开方运算从代数角度，有理数系对开方运算不封闭。不封闭。从变量角度考虑，有理数在极限运从变量角度

27、考虑，有理数在极限运算下不封闭。算下不封闭。37从有理数谈起从有理数谈起38戴德金分割戴德金分割戴德金关于分划的定义：定义 把全体有理数的集合分成两个集合A和A，满足下面三个条件：集合A和A都是非空的（不空）；每一个有理数在而且只在A与A两个集合的一个之中（不漏）；集合A中的每一个数a都小于集合A中的每一个数a(不乱)39戴德金分割戴德金分割q命题命题 不存在不存在Q Q的这样的分划的这样的分划A|AA|A，使使A A中有最大数，中有最大数，AA中有最小数。中有最小数。分划有三种类型：分划有三种类型：1)1)在上类中没有最小数，而在下类中有最在上类中没有最小数，而在下类中有最大数大数r r；2

28、)2)在上类中有最小数在上类中有最小数r,r,而在下类中没有最大而在下类中没有最大数；数；3)3)在上类中没有最小数，在下类中也没有在上类中没有最小数，在下类中也没有最大数。最大数。40戴德金分割戴德金分割q定义定义任何属于类型任何属于类型3 3）的分划定义）的分划定义了一个无理数了一个无理数a.a.对于每个有理数对于每个有理数r r，存在两个定义它的分，存在两个定义它的分划，定义其归入上类，则下类划，定义其归入上类，则下类A A中没最大中没最大数。数。41实数的性质实数的性质实数有三种基本性质：实数有三种基本性质：q实数的有序性实数的有序性q实数的连续性实数的连续性q实数的代数结构实数的代数

29、结构42实数集合的有序化实数集合的有序化v定义定义由分划由分划A|AA|A和和B|BB|B分别定义分别定义的两个实数的两个实数 ,当且仅当这两个分划当且仅当这两个分划相同时才相等。相同时才相等。v定义定义若若A A类完全包含类完全包含B B类，且不与类，且不与B B类相同，则称类相同，则称 或或v定理定理1 1任何两个实数和之间必有下列任何两个实数和之间必有下列三种关系之一：三种关系之一：43实数集合的有序化实数集合的有序化v引理引理1 1设设 是两个随意的实数。若是两个随意的实数。若 v 则总可以找到有理数则总可以找到有理数r r，使之介，使之介于于 之间：之间：v引理引理2 2设设 是两个

30、给定的实数，是两个给定的实数，假如对无论怎样小的有理数假如对无论怎样小的有理数e0e0，总能使，总能使 夹在两个同样的有理数中间：夹在两个同样的有理数中间：v 44实数集合的连续性实数集合的连续性v定理定理2 2（戴德金）（戴德金）对实数集合的任何对实数集合的任何分划分划A|AA|A，都存在产生这个分划的实数，都存在产生这个分划的实数a a，这个数，这个数 或者是下类或者是下类A A中的最大数，或者中的最大数，或者是上类是上类AA中的最小数。中的最小数。这个定理是实数理论的第一个重要定理，这个定理是实数理论的第一个重要定理，又称为戴德金基本定理。又称为戴德金基本定理。45确界存在定理确界存在定

31、理几个基本概念：几个基本概念：设设E E是一个实数集合，假如存在数是一个实数集合，假如存在数M M，使，使得对全部的得对全部的 都有都有 我们就说集合我们就说集合E E是有界集是有界集假如假如E E不满足上述条件，即对随意的正数不满足上述条件，即对随意的正数M M，不管它多大，总有，不管它多大，总有 ，使得，使得 ，我们就称，我们就称E E为无界集为无界集46确界存在定理确界存在定理几个基本概念：几个基本概念：对于集合对于集合E E来说，假如存在数来说，假如存在数K K（或（或k k），），使得对全部数使得对全部数 都有都有 ，我们就称集合，我们就称集合E E有上界（或者有下界）。有上界（或者

32、有下界）。数数K(K(或或k)k)称为集合称为集合E E的一个上界（或下界）。的一个上界（或下界）。47确界存在定理确界存在定理几个基本概念：几个基本概念：48确界存在定理确界存在定理v定理定理3 3假如假如H=xH=x是有上（下）界的集是有上（下）界的集合，则它确定有上（下）确界。合，则它确定有上（下）确界。v 证明略证明略49根的存在性根的存在性v单调序列必有极限单调序列必有极限v区间套定理区间套定理:确定能套住一个点确定能套住一个点v从任何有界的序列中总能选出收敛于有限极限的子序从任何有界的序列中总能选出收敛于有限极限的子序列列.v v （柯西准则）（柯西准则）50 “”语言的成功，表现

33、在：语言的成功，表现在：这一语言给出极限的精确描述，消退这一语言给出极限的精确描述，消退了历史上各种模糊的用语，诸如了历史上各种模糊的用语，诸如“最终最终比比”、“无限地趋近于无限地趋近于”，等等。，等等。这样一来，分析中的全部基本概念都这样一来，分析中的全部基本概念都可以通过实数和它们的基本运算和关系精可以通过实数和它们的基本运算和关系精确地表述出来。确地表述出来。51 4）极限的）极限的“”定义及定义及“贝克莱贝克莱悖悖论论”的消退的消退 极限的极限的“”定义定义52 定义：设函数定义：设函数 在在 的旁边都有定的旁边都有定义，假如有一个确定的实数义，假如有一个确定的实数 （无论多（无论多

34、么小的正数么小的正数 ）。）。都都 （都能找到一个正数（都能找到一个正数 ，依靠，依靠于于 ），使当），使当 时（满足不等式时（满足不等式 的全部不等于的全部不等于 的的 ），有），有 （这些（这些 对应的函数值对应的函数值与与 的差小于预先给定的随意小的的差小于预先给定的随意小的 ）我们就）我们就说说“函数函数 在在 趋近于趋近于 时，有极限时，有极限 ”。记为记为 。53 由由极极限限的的这这个个“”定定义义，可可以以求求出出一一些些基基本本的的极极限限，并并严严格格地地建建立立一一整整套套丰丰 富富 的的 极极 限限 理理 论论。简简 洁洁 说说，例例 如如 有有 两两个个相相等等的的函

35、函数数，取取极极限限后后仍仍相相等等；两两个个函函数数，和和的的极极限限等等于于极极限限的的和和。等等等等。由由 此此 再再 建建 立立 严严 格格 的的 微微 积积 分分 理理 论论。54 “贝克莱悖论贝克莱悖论”的消退的消退 回到牛顿的（回到牛顿的（*）式上：）式上：（*）这是在这是在 （即（即 ）条件下，得）条件下，得到的等式；它表明到的等式；它表明 时间内物体的平均时间内物体的平均速度为速度为 。（。（*）式等号两边都）式等号两边都是的函数。然后，我们把物体在是的函数。然后，我们把物体在 时时刻的瞬时速度定义为：上述平均速度当刻的瞬时速度定义为：上述平均速度当 趋于趋于0时的极限，即时

36、的极限，即 物体在物体在 时刻的瞬时速度时刻的瞬时速度=。55 下边我们对（下边我们对（*）式的等号两边同时取）式的等号两边同时取极限极限 ，依据，依据“两个相等的函数取两个相等的函数取极极限后仍相等限后仍相等”，得，得 瞬时速度瞬时速度=再依据再依据“两个函数和的极限等于极限的两个函数和的极限等于极限的和和”，得，得然后再求极限得然后再求极限得 56 上述过程所得结论与牛顿原先的结论上述过程所得结论与牛顿原先的结论是一样的，但每一步都有了严格的逻辑基是一样的，但每一步都有了严格的逻辑基础。础。“贝克莱悖论贝克莱悖论”的焦点的焦点“无穷小量无穷小量 是是不是不是0？”，在这里给出了明确的回答：

37、，在这里给出了明确的回答：。这里也没有这里也没有“最终比最终比”或或“无限趋近无限趋近于于”那样模糊不清的说法。那样模糊不清的说法。57 总之，其次次数学危机的核心是微积总之，其次次数学危机的核心是微积分的基础不稳固。柯西的贡献在于，将分的基础不稳固。柯西的贡献在于，将微积分建立在极限论的基础。魏尔斯特微积分建立在极限论的基础。魏尔斯特拉斯的贡献在于，逻辑地构造了实数系，拉斯的贡献在于，逻辑地构造了实数系，建立了严格的实数理论，使之成为极限建立了严格的实数理论，使之成为极限理论的基础。所以，建立数学分析（或理论的基础。所以，建立数学分析（或者说微积分）基础的者说微积分）基础的“逻辑依次逻辑依次

38、”是：是：实数理论实数理论极限理论极限理论微积分。微积分。而而“历史依次历史依次”则正好相反。则正好相反。58学问的逻辑依次与历史依次学问的逻辑依次与历史依次有时是不同的有时是不同的.59 三、第三次数学危机三、第三次数学危机 1“数学基础数学基础”的曙光的曙光集合论集合论 到到19世纪，数学从各方面走向成熟。非欧几何世纪，数学从各方面走向成熟。非欧几何的出现使几何理论更加扩展和完善；实数理论（和的出现使几何理论更加扩展和完善；实数理论（和极限理论）的出现使微积分有了牢靠的基础；群的极限理论）的出现使微积分有了牢靠的基础；群的理论、算术公理的出现使算术、代数的逻辑基础更理论、算术公理的出现使算

39、术、代数的逻辑基础更为明晰，等等。人们水到渠成地思索：整个数学的为明晰，等等。人们水到渠成地思索：整个数学的基础在哪里？正在这时，基础在哪里？正在这时，19世纪末，集合论出现了。世纪末，集合论出现了。人们感觉到，集合论有可能成为整个数学的基础。人们感觉到，集合论有可能成为整个数学的基础。60 其理由是：算术以整数、分数等为对象，微积分其理由是：算术以整数、分数等为对象，微积分以变数、函数为对象，几何以点、线、面及其组成以变数、函数为对象，几何以点、线、面及其组成的图形为对象。同时，用集合论的语言，算术的对的图形为对象。同时，用集合论的语言，算术的对象可说成是象可说成是“以整数、分数等组成的以整

40、数、分数等组成的集合集合”；微积；微积分的对象可说成是分的对象可说成是“以函数等组成的以函数等组成的集合集合”；几何；几何的对象可说成是的对象可说成是“以点、线、面等组成的以点、线、面等组成的集合集合”。这样一来，这样一来，都是以集合为对象都是以集合为对象了。了。集合成了更基本集合成了更基本的概念。的概念。61 于是，集合论似乎给数学家带来了于是，集合论似乎给数学家带来了曙光：可能会一劳永逸地摆脱曙光：可能会一劳永逸地摆脱“数学基数学基础础”的危机。尽管集合论自身的相容性的危机。尽管集合论自身的相容性尚未证明，但很多人认为这只是时间问尚未证明，但很多人认为这只是时间问题。庞加莱甚至在题。庞加莱

41、甚至在1900年巴黎国际数学年巴黎国际数学家大会上宣称：家大会上宣称：“现在现在 我们可以说，完全的严格性已经达到了！我们可以说，完全的严格性已经达到了！”62 2算术的集合论基础算术的集合论基础 1）人们按下列逻辑依次把全部数学的基）人们按下列逻辑依次把全部数学的基础归结为算术，即归结为非负整数，即自然数础归结为算术，即归结为非负整数，即自然数集合加上集合加上0现在我国中小学就把这一集合现在我国中小学就把这一集合称为自然数集合。称为自然数集合。（算术）非负整数（算术）非负整数n有理数有理数 实数实数 复数复数 图形图形63 因此，全部数学似乎都可归结为非因此，全部数学似乎都可归结为非负整数了

42、，或者说，全部数学都可以归负整数了，或者说，全部数学都可以归结为算术了。结为算术了。这样，假如能把算术建立在集合论这样，假如能把算术建立在集合论的基础上，就相当于解决了整个的基础上，就相当于解决了整个“数学数学基础基础”的问题。的问题。法国数学家、数理逻辑先驱弗雷格法国数学家、数理逻辑先驱弗雷格（G.Frege,18481925）就做了这样的）就做了这样的工作。他写了一本名叫算术基础的工作。他写了一本名叫算术基础的书。书。64弗雷格弗雷格算术基础算术基础65 2)弗雷格的算术基础弗雷格的算术基础 为了使算术建立在集合论的基础上，为了使算术建立在集合论的基础上，全部的非负整数，都须要用集合论的观

43、全部的非负整数，都须要用集合论的观点和语言重新定义。点和语言重新定义。首先从首先从0说起。说起。0是什么？是什么？应当先回答应当先回答0是什么，然后才有表示是什么，然后才有表示“0”的符号。的符号。66 为为此此，先先定定义义“空空集集”。空空集集是是“不不含含元元素素的的集集合合”。例例如如，“方方程程 在在实实数数集集中中的的根根的的集集合合”就就是是一一个个空空集集，再再例例如如“由由最最大大的的正正整整数数组组成成的的集集合合”也也是是一一个个空集。空集。67 全部的空集放在一起，作成一个集合的全部的空集放在一起，作成一个集合的集合，（为说话简洁我们把集合，（为说话简洁我们把“集合的集

44、合集合的集合”称作类），这个类，就可以给它一个符号：称作类），这个类，就可以给它一个符号：0，中国人念，中国人念“ling”，英国人念，英国人念“Zero”。空集是空的，但由全部空集组成的类，它空集是空的，但由全部空集组成的类，它本身却是一个元素了，即，本身却是一个元素了，即，0是一个元素了。是一个元素了。由它再作成一个集合由它再作成一个集合0，则不是空集了。，则不是空集了。68 弗雷格再定义两个集合间的弗雷格再定义两个集合间的双射双射：既是满射又是：既是满射又是单射的映射叫作双射，也称单射的映射叫作双射，也称可逆映射可逆映射；通俗地说，；通俗地说，就是存在逆映射的映射。它可以在两个集合间来回

45、就是存在逆映射的映射。它可以在两个集合间来回地映射，所以一般称为地映射，所以一般称为“双射双射”。弗雷格再定义弗雷格再定义两个集合的两个集合的“等价等价”：，能够在其间建立双射的两个集合能够在其间建立双射的两个集合A、B称为称为“等价等价”。69 下边可以定义下边可以定义“1”了。把与集合了。把与集合0等价等价的全部集合放在一起，作成一个集合的集合。的全部集合放在一起，作成一个集合的集合。这个类，就可以给它一个符号：这个类，就可以给它一个符号：1。再定义再定义“2”。把与集合。把与集合0，1等价的全等价的全部集合放在一起，作成一个集合的集合。这部集合放在一起，作成一个集合的集合。这个类，就叫：

46、个类，就叫：2。然后，把与然后，把与0，1，2等价的集合作成的等价的集合作成的类，叫：类，叫：3。70 一一般般地地，在在有有了了0，1，2，n的的定定义义后后，就就把把全全部部与与集集合合0，1，2，n等等价价的的集集合合放放在在一一起起，作作成成集集合合的的集集合合，这这 样样 的的 类类，定定 义义 为为：n+1。这这种种定定义义概概念念的的方方法法，叫叫作作“归归纳纳定定义义”的的方方法法。71 这这样样，弗弗雷雷格格就就从从空空集集动动身身，而而仅仅仅仅用用到到集集合合及及集集合合等等价价的的概概念念，把把全全部部非非负负整整数数定定义义出出来来了了。于于是是依依据据上上边边说说的的

47、“可可以以把把全全部部数数学学归归结结为为非非负负整整数数”，就就可可以以说说，全全部部数数学学可可以以建建立立在在集集合合论论的的基基础础上上了了。72 3 罗素的罗素的“集合论悖论集合论悖论”引发危机引发危机 1）悖论引起震憾和危机悖论引起震憾和危机 正值弗雷格即将出版他的算术基正值弗雷格即将出版他的算术基础一书的时候，罗素的集合论悖论出来础一书的时候，罗素的集合论悖论出来了。这也是庞加莱宣布了。这也是庞加莱宣布“完全严格的数学完全严格的数学已经建立起来！已经建立起来！”之后刚刚两年，即之后刚刚两年，即1902年。年。73 伯特兰伯特兰罗素（罗素（1872-1970）Russell,Ber

48、trand Arthur William(Third Earl Russell)诞生年月：诞生年月：1872-1970 国籍：英国籍：英国国学科成就：英国著名哲学家、数学科成就：英国著名哲学家、数学家、逻辑学家，分析学的主要学家、逻辑学家，分析学的主要创始人，世界和平运动的提倡者创始人，世界和平运动的提倡者和组织者。和组织者。所获奖项：所获奖项：1950年诺贝尔文学奖。年诺贝尔文学奖。罗素罗素74 集合论中尽然有逻辑上的冲突！集合论中尽然有逻辑上的冲突！倾刻之间，算术的基础动摇了，整个倾刻之间，算术的基础动摇了，整个数学的基础似乎也动摇了。这一动摇所带数学的基础似乎也动摇了。这一动摇所带来的震

49、憾是空前的。很多原先为集合论兴来的震憾是空前的。很多原先为集合论兴高采烈的数学家发出哀叹：我们的数学就高采烈的数学家发出哀叹：我们的数学就是建立在这样的基础上的吗？是建立在这样的基础上的吗？罗素悖论引发的危机，就称为第三次罗素悖论引发的危机，就称为第三次数学危机。数学危机。75 罗罗素素把把他他发发觉觉的的悖悖论论写写信信告告知知弗弗雷雷格格。弗弗雷雷格格在在他他的的算算术术基基础础一一书书的的末末尾尾无无可可奈奈何何地地写写道道：“一一个个科科学学家家遇遇到到的的最最不不开开心心的的事事莫莫过过于于，当当他他的的工工作作完完成成时时，基基础础倒倒塌塌了了。当当本本书书即即将将印印刷刷时时，罗

50、罗素素先先生生的的一一封封信信就就使使我我陷陷入入这这样样的的尴尴尬尬境境地地。”76 2）罗素悖论罗素悖论 在叙述罗素悖论之前在叙述罗素悖论之前,我们先留意到我们先留意到下边的事实：一个集合或者是它本身的成下边的事实：一个集合或者是它本身的成员员(元素元素),或者不是它本身的成员或者不是它本身的成员(元素元素)，两者必居其一。罗素把前者称为两者必居其一。罗素把前者称为“异样集异样集合合”，把后者称为，把后者称为“正常集合正常集合”。77 例如例如,全部抽象概念的集合，本身还是抽象全部抽象概念的集合，本身还是抽象概念。即，它是这一集合本身的元素，所以是概念。即，它是这一集合本身的元素，所以是“