5.神秘的无穷与数学危机汇总.ppt

《5.神秘的无穷与数学危机汇总.ppt》由会员分享，可在线阅读，更多相关《5.神秘的无穷与数学危机汇总.ppt（84页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

1、第五讲第五讲 神秘的无穷与三次数学危机神秘的无穷与三次数学危机1目录一、一、“有无限个房间有无限个房间”的的Hilbert旅馆旅馆二、无限与有限的区别和联系二、无限与有限的区别和联系三、悖论（三、悖论（paradox）四、四、数学中的无限在生活中的反映数学中的无限在生活中的反映五、五、潜无限与实潜无限与实无限无限六哲学中的无限六哲学中的无限七、无穷与数学危机七、无穷与数学危机2一、一、“有无限个房间有无限个房间”的的Hilbert旅旅馆馆1.“客满客满”后又来后又来1位客人位客人（“客满客满”）1234 k 2345 k+1 空出了空出了1 1号房间号房间 32.客客 满满 后后 又又 来来

2、了了 一一 个个 旅旅 游游 团团，旅旅 游游 团团中有无穷个客人中有无穷个客人 1234 k 2468 2k 空下了奇数号房间空下了奇数号房间 43.客满后又来了一万个旅游团，每个团客满后又来了一万个旅游团，每个团中都有无穷个客人中都有无穷个客人 1234 k 10001200023000340004 10001k 给出了一万个、又一万个的空房间给出了一万个、又一万个的空房间 5全面、深刻地揭示本质的回答全面、深刻地揭示本质的回答是容易推广的。是容易推广的。62.客客 满满 后后 又又 来来 了了 一一 个个 旅旅 游游 团团，旅旅 游游 团团中有无穷个客人中有无穷个客人 1234 k 24

3、68 2k 空下了奇数号房间空下了奇数号房间 73.客满后又来了一万个旅游团，每个团客满后又来了一万个旅游团，每个团中都有无穷个客人中都有无穷个客人 1234 k 10001200023000340004 10001k 给出了一万个、又一万个的空房间给出了一万个、又一万个的空房间 8是否有人想提什么问题？是否有人想提什么问题？94.思思 该旅馆客满后又来了无穷个旅该旅馆客满后又来了无穷个旅游团，每个团中都有无穷个客人，还能游团，每个团中都有无穷个客人，还能否安排？否安排？“无穷大！任何一个其他问题都不曾如此深刻地影响人类的精神；任何一个其他观点都不曾如此有效地激励人类的智力；然而，没有任何概念

4、比无穷大更需要澄清”-Hilbert10二、无限与有限的区别和联系二、无限与有限的区别和联系 1.区别区别 1 1）在无限集中，在无限集中，“部分可以等于全体部分可以等于全体”（这是无限的本质），而在有限的情况下，（这是无限的本质），而在有限的情况下，部分总是小于全体。部分总是小于全体。11当初的当初的伽利略悖论伽利略悖论，就是因为没有看到，就是因为没有看到 “无限无限”的这一个特点而产生的。的这一个特点而产生的。1 2 3 4 5 6 7 8 9 10 11 n 1 4 9 16 25 36 49 64 81 100 121 n2 该两集合：有一一对应，于是推出两集合的该两集合：有一一对应，

5、于是推出两集合的元素个数相等；但由元素个数相等；但由“部分小于全体部分小于全体”，又推，又推出两集合的元素个数不相等。这就形成悖论。出两集合的元素个数不相等。这就形成悖论。12 思思：构造一个构造一个“部分到整体的一部分到整体的一一对应一对应”：从：从0 0，1 1）0 0，+）。）。132.2.）“有限有限”时成立的许多命题，对时成立的许多命题，对“无无限限”不再成立不再成立 （1 1）实数加法的结合律）实数加法的结合律 在在“有限有限”的情况下，加法结合律的情况下，加法结合律 成立成立:(a+b)+ca+b)+c=a+(b+ca+(b+c)，a a，b b，c c 14 在在“无限无限”的

6、情况下，加法结合律不的情况下，加法结合律不再成立。如再成立。如15（2 2）有限级数一定有）有限级数一定有“和和”。是个确定的数是个确定的数 无穷级数一定有无穷级数一定有“和和”。则不是个确定的数。称为该则不是个确定的数。称为该 级数级数“发散发散”。反之称为。反之称为“收敛收敛”。16 2.2.联系联系在在“有限有限”与与“无限无限”间建立联系的手段，往间建立联系的手段，往往很重要。往很重要。1）数学归纳法）数学归纳法 通过有限的步骤，证明了命通过有限的步骤，证明了命题对无限个自然数均成立。题对无限个自然数均成立。2）极限）极限 通过有限的方法，描写无限的过程。通过有限的方法，描写无限的过程

7、。如：如：；自然数自然数N N，都，都 ，使，使 时，时，。17 0.99999=1?3）无穷级数）无穷级数 通过有限的步骤，求出无限次运算的结果，如 4）递推公式）递推公式 ,a a1 1=*=*有一个著名的例子：有一个著名的例子：兔子永远追不上乌龟，箭永远射不上靶子。结果虽然可笑，但在兔子永远追不上乌龟，箭永远射不上靶子。结果虽然可笑，但在逻辑上却耐人寻味，这就是著名的二分法悖论。逻辑上却耐人寻味，这就是著名的二分法悖论。18三、悖论（paradox）悖论（paradox）具体是指：由一个被承认是真的命题为前提，设为B，进行正确的逻辑推理后，得出一个与前提互为矛盾命题的结论非B；反之，以非

8、B为前提，亦可推得B。那么命题B就是一个悖论。1说谎者悖论：最早见说谎者悖论：最早见新约全书新约全书提多书提多书“我正在说谎”192.“外祖母悖论外祖母悖论”，我会穿梭时空，回到过去，把我自己的外祖母杀了。我外祖母没了，我妈就没了，我也就没了。而我没了，就没有人杀我外祖母，我外祖母就不会死，那我又有了。而有了我，外祖母就没了，我也就没了这就是悖论，自己与自己就有矛盾。203.“说谎者循环”：A说：“下面是句谎话。”B说：“上面是句真话。”21 例如：“甲是乙”与“甲不是乙”这两个命题中总有一个是错的；但“本句话是七个字”与“本句话不是七个字”又均是对的，这也是悖论。224、芝诺悖论、芝诺悖论-

9、由无限引出的由无限引出的芝诺（前490？前430？）是（南意大利的）爱利亚学派创始人巴门尼德的学生。他企图证明该学派的学说：“多”和“变”是虚幻的，不可分的“一”及“静止的存在”才是唯一真实的；运动只是假象。于是他设计了四个例证，人称“芝诺悖论”。这些悖论是从哲学角度提出的。我们从数学角度看其中的一个悖论。231）两分法向着一个目的地运动的物体，首先必须经过路程的中点；然而要经过这点，又必须先经过路程的四分之一点；要过四分之一点又必须首先通过八分之一点等等，如此类推，以至无穷。结论是：无穷是不可穷尽的过程，运动永远不可能开始的。242）阿基里斯阿基里斯(Achilles)悖论悖论：阿基里斯追不

10、上乌龟。阿基里斯追不上乌龟。253）飞矢不动悖论）飞矢不动悖论一支飞行的箭是静止的：由于每一时刻这支箭都有其确定的位置因而是静止的，因此箭就不能处于运动状态。264）“操场或游行队伍”A、B两件物体以等速向相反方向运动。从静止的C看来，比如说，A、B都在1小时内移动了2公里；可是，从A看来，则B在1小时内就移动了4公里。由于B保持等速移动，所以移动2公里的时间应该是移动4公里时间的一半。因而一半的时间等于两倍的时间。27症结：症结：无限段长度的和，可能是有限的；无限段长度的和，可能是有限的；无限段时间的和，也可能是有限的。无限段时间的和，也可能是有限的。芝诺悖论的意义：芝诺悖论的意义：1）促进

11、了严格、求证数学的发展）促进了严格、求证数学的发展 2）较早的）较早的“反证法反证法”及及“无限无限”的思想的思想 3）尖锐地提出离散与连续的矛盾：）尖锐地提出离散与连续的矛盾：空间和时间有没有最小的单位？空间和时间有没有最小的单位？28 芝诺的前两个悖论是反对芝诺的前两个悖论是反对“空间和时间是连空间和时间是连续的续的”，后两个悖论则是反对，后两个悖论则是反对“空间和时间是离空间和时间是离散的散的”；第一、第三反对绝对运动，而第二、第；第一、第三反对绝对运动，而第二、第四，反对相对运动。在芝诺看来，这两种理论都四，反对相对运动。在芝诺看来，这两种理论都有毛病；所以，有毛病；所以，“运动只是假

12、象，不动不变才是运动只是假象，不动不变才是真实真实”。芝诺的哲学观点虽然不对，但是，他如此尖芝诺的哲学观点虽然不对，但是，他如此尖锐地提出了空间和时间是连续还是离散的问题，锐地提出了空间和时间是连续还是离散的问题，引起人们长期的讨论，促进了认识的发展，不能引起人们长期的讨论，促进了认识的发展，不能不说是巨大的贡献。不说是巨大的贡献。29http:/ 四、四、数学中的无限在生活中的反数学中的无限在生活中的反映映 1 1）大烟囱是圆的：每一块砖都是直的）大烟囱是圆的：每一块砖都是直的 （整体看又是圆的）（整体看又是圆的）2 2）锉刀锉一个光滑零件：）锉刀锉一个光滑零件：每一锉锉下去都是直的每一锉锉

13、下去都是直的 （许多刀合在一起的效果又是光滑的）（许多刀合在一起的效果又是光滑的）31 3 3）不规则图形的面积：正方形的面积，长方形的不规则图形的面积：正方形的面积，长方形的面积三角形的面积，多边形的面积，圆面积。面积三角形的面积，多边形的面积，圆面积。规则图形的面积规则图形的面积不规则图形的面积？不规则图形的面积？法法.用方格套（想像成透明的）。方格越小，所得面用方格套（想像成透明的）。方格越小，所得面积越准积越准 32 法法.首先转化成求曲边梯形的面积，（不规首先转化成求曲边梯形的面积，（不规则图形则图形若干个曲边梯形），再设法求曲边梯形若干个曲边梯形），再设法求曲边梯形的面积：划分，求

14、和，的面积：划分，求和，矩形面积之和矩形面积之和 曲边梯形面积；曲边梯形面积；越小，就越精确；再取极越小，就越精确；再取极 限限 ，就得到曲，就得到曲边梯形的面积。边梯形的面积。33 五、五、潜无限与实无限潜无限与实无限 1潜无限与实无限简史潜无限与实无限简史 潜无限是指把无限看成一个永无终止的过程，潜无限是指把无限看成一个永无终止的过程，认为无限只存在于人们的思维中，只是说话的一认为无限只存在于人们的思维中，只是说话的一种方式，不是一个实体。种方式，不是一个实体。34从古希腊到康托以前的大多数哲学家和数从古希腊到康托以前的大多数哲学家和数学家都持潜无限的观点学家都持潜无限的观点他们认为他们认

15、为“正整数集是无限的正整数集是无限的”来自我们不能穷举来自我们不能穷举所有正整数。例如，可以想象一个个正整数写在一所有正整数。例如，可以想象一个个正整数写在一张张小纸条上，从张张小纸条上，从1 1，2 2，3 3，写起，每写一张，就写起，每写一张，就把该纸条装进一个大袋子里，那么，这一过程将永把该纸条装进一个大袋子里，那么，这一过程将永无终止。无终止。因此，把全体正整数的袋子看作一个实体是因此，把全体正整数的袋子看作一个实体是不可能的，它只能存在于人们的思维里。不可能的，它只能存在于人们的思维里。亚里士多德只承认潜无限：不承认直线式由点构成亚里士多德只承认潜无限：不承认直线式由点构成高斯反对实

16、无限：反对把无穷量作为现实的实体，高斯反对实无限：反对把无穷量作为现实的实体，认为无限只不过是一种说话的方式认为无限只不过是一种说话的方式35康托的集合论与实无限康托的集合论与实无限 但康托不同意这一观点，他很愿意把这个装有所有正整数但康托不同意这一观点，他很愿意把这个装有所有正整数的袋子看作一个完整的实体。这就是实无限的观点。的袋子看作一个完整的实体。这就是实无限的观点。康托的工作是划时代的，对现代数学产生了巨大的影响，但康托的工作是划时代的，对现代数学产生了巨大的影响，但当时，康托的老师克罗内克尔，却激烈反对康托的观点。所以当时，康托的老师克罗内克尔，却激烈反对康托的观点。所以康托当时的处

17、境和待遇都不太好。康托当时的处境和待遇都不太好。由于康托尔的无穷学说从根本上否定了由于康托尔的无穷学说从根本上否定了“整体大于部分整体大于部分”的观念，而且他在无限王国走得如此远，以至于同时代的数学的观念，而且他在无限王国走得如此远，以至于同时代的数学家和哲学家都不能理解他的观点，惧怕集合论。有人说，康托家和哲学家都不能理解他的观点，惧怕集合论。有人说，康托尔的集合论是一种尔的集合论是一种“疾病疾病”，康托尔的概念是，康托尔的概念是“雾中之雾雾中之雾”，甚至说康托尔是甚至说康托尔是“疯子疯子”。来自数学权威们的巨大精神压力终。来自数学权威们的巨大精神压力终于摧垮了康托尔，使他心力交瘁，患了精神

18、分裂症，被送进精于摧垮了康托尔，使他心力交瘁，患了精神分裂症，被送进精神病医院。神病医院。19181918年年1 1月月6 6日，康托尔在一家精神病院去世。日，康托尔在一家精神病院去世。康托的无穷集合论也导致了第三次数学危机。康托的无穷集合论也导致了第三次数学危机。36康托康托Georg Ferdinand Philip Cantor(18451918)德国数学家，集合论的创始者。1845年3月3日生于圣彼得堡（今苏联列宁格勒），1918年1月6日病逝于哈雷。1862年17岁时入瑞士苏黎世大学,翌年转入柏林大学,主修数学，从学于E.E.库默尔、K.（T.W.）魏尔斯特拉斯。1866年曾去格丁根

19、学习一学期。1867年在库默尔指导下以数论方面的论文获博士学位。后即在该大学任讲师，1872年任副教授，1879年任教授。37实无限、潜无限只是一个硬币的两个面两种无穷思想经历了此消彼长，两种无限在现代数学中都是有用武之地。微积分采用潜无限，非标准分析采用实无限无穷本身是一个矛盾体，既是一个需无穷逼近的过程，也是一个可供研究的实体Hilbert认为：无穷是一个永恒之谜，无穷是人类心情宁静的最大敌人38 六哲学中的无限六哲学中的无限 1哲学对哲学对“无限无限”的兴趣的兴趣 哲学是研究整个世界的科学。自从提出哲学是研究整个世界的科学。自从提出“无无限限”的概念，就引起了哲学家广泛的关注和研究。的概

20、念，就引起了哲学家广泛的关注和研究。现在我们知道哲学中有下边一些命题：现在我们知道哲学中有下边一些命题：39 物质是无限的；时间与空间是无限的；物质是无限的；时间与空间是无限的；物质的运动形式是无限的。物质的运动形式是无限的。一个人的生命是有限的；一个人对一个人的生命是有限的；一个人对 客观世界的认识是有限的。客观世界的认识是有限的。40无限可分与原子论很多思想家都研究过无穷大。古希腊的哲学家们就一条线段(或者就任何数量而言)，是不是可无限地被分割，或者说是不是可以最终得到一个不可分割的点(即“原子”)等问题，展开了无休止的争论。他们的现代追随者物理学家们今天仍然还在设法解决同一个问题，他们使

21、用巨大的粒子加速器寻找“基本粒子”那些构成整个宇宙的基本砖块。天文学家一直在从另一个极端的无限广阔的尺度上思索着无穷大问题。我们的宇宙真像它所呈现在晴朗的黑夜那样无穷无尽，或是它有一个边界(在这个边界之外什么东西也不存在)吗？有限宇宙的可能性似乎是对我们常识的一种挑战。我们可以在任何方向上一直走下去而永远也到不了“边”，这个事实不是很清楚吗？但是我们将不难看出，当研究无穷大时，“常识”是一个非常差劲的向导！412数学对数学对“无限无限”的观点的贡献的观点的贡献数学则更严密地研究有限与无限的关系，大大提高数学则更严密地研究有限与无限的关系，大大提高了人类认识无限的能力。在有限环境中生存的有限的人

22、了人类认识无限的能力。在有限环境中生存的有限的人类，获得把握无限的能力和技巧，那是人类的智慧；在类，获得把握无限的能力和技巧，那是人类的智慧；在获得这些成果过程中体现出来的奋斗与热情，那是人类获得这些成果过程中体现出来的奋斗与热情，那是人类的情感；对无限的认识成果，则是人类智慧与热情的共的情感；对无限的认识成果，则是人类智慧与热情的共同结晶。一个人，若把自己的智慧与热情融入数学学习同结晶。一个人，若把自己的智慧与热情融入数学学习和数学研究之中，就会产生一种特别的感受。如果这样，和数学研究之中，就会产生一种特别的感受。如果这样，数学的学习不仅不是难事，而且会充满乐趣。数学的学习不仅不是难事，而且

23、会充满乐趣。42 抢答题抢答题 构造一个无穷多个运动员百米构造一个无穷多个运动员百米赛跑，但结果没有第一名的例子。（要求赛跑，但结果没有第一名的例子。（要求表达出每一个运动员的百米成绩，且要求表达出每一个运动员的百米成绩，且要求接近实际：不能跑进接近实际：不能跑进9 9秒）秒）43解答运动员1234百米成绩10秒9.9秒9.89秒9.889秒另解44七、无穷与数学危机七、无穷与数学危机 数学史上有过三次数学危机，它们都与无数学史上有过三次数学危机，它们都与无穷有关，也与人们对无穷的认识有关。穷有关，也与人们对无穷的认识有关。我们已经讨论过第一次与第二次数学危机我们已经讨论过第一次与第二次数学危

24、机 第一次数学危机的要害是不认识无理数，第一次数学危机的要害是不认识无理数，而无理数是无限不循环小数而无理数是无限不循环小数45 第二次数学危机的要害，是极限理论的逻第二次数学危机的要害，是极限理论的逻辑基础不完善，而极限正是辑基础不完善，而极限正是“有穷过渡到无有穷过渡到无穷穷”的重要手段。贝克莱的责难，也集中在的重要手段。贝克莱的责难，也集中在“无穷小量无穷小量”上。上。由于无穷与有穷有本质的区别，所以，极由于无穷与有穷有本质的区别，所以，极限的严格定义，极限的存在性，无穷级数的限的严格定义，极限的存在性，无穷级数的收敛性，这样一些理论问题就显得特别重要。收敛性，这样一些理论问题就显得特别

25、重要。46第三次数学危机第三次数学危机 1“数学基础数学基础”的曙光的曙光集合论集合论 到到19世纪，数学从各方面走向成熟。非欧几何世纪，数学从各方面走向成熟。非欧几何的出现使几何理论更加扩展和完善；实数理论（和的出现使几何理论更加扩展和完善；实数理论（和极限理论）的出现使微积分有了牢靠的基础；群的极限理论）的出现使微积分有了牢靠的基础；群的理论、算术公理的出现使算术、代数的逻辑基础更理论、算术公理的出现使算术、代数的逻辑基础更为明晰，等等。人们水到渠成地思索：整个数学的为明晰，等等。人们水到渠成地思索：整个数学的基础在哪里？正在这时，基础在哪里？正在这时，19世纪末，集合论出现了。世纪末，集

26、合论出现了。人们感觉到，集合论有可能成为整个数学的基础。人们感觉到，集合论有可能成为整个数学的基础。47 其理由是：算术以整数、分数等为对象，微积分其理由是：算术以整数、分数等为对象，微积分以变数、函数为对象，几何以点、线、面及其组成以变数、函数为对象，几何以点、线、面及其组成的图形为对象。同时，用集合论的语言，算术的对的图形为对象。同时，用集合论的语言，算术的对象可说成是象可说成是“以整数、分数等组成的以整数、分数等组成的集合集合”；微积；微积分的对象可说成是分的对象可说成是“以函数等组成的以函数等组成的集合集合”；几何；几何的对象可说成是的对象可说成是“以点、线、面等组成的以点、线、面等组

27、成的集合集合”。这样一来，这样一来，都是以集合为对象都是以集合为对象了。了。集合成了更基本集合成了更基本的概念。的概念。48 于是，集合论似乎给数学家带来了曙光：于是，集合论似乎给数学家带来了曙光：可能会一劳永逸地摆脱可能会一劳永逸地摆脱“数学基础数学基础”的危机。的危机。尽管集合论自身的相容性尚未证明，但许多尽管集合论自身的相容性尚未证明，但许多人认为这只是时间问题。庞加莱甚至在人认为这只是时间问题。庞加莱甚至在1900年巴黎国际数学家大会上宣称：年巴黎国际数学家大会上宣称：“现在现在 我们可以说，完全的严格性已经达到了！我们可以说，完全的严格性已经达到了！”49 2算术的集合论基础算术的集

28、合论基础 1）人人们们按按下下列列逻逻辑辑顺顺序序把把全全部部数数学学的的基基础础归归结结为为算算术术，即即归归结结为为非非负负整整数数，即即自自然然数数集集合合加加上上0现现在在我我国国中中小小学学就就把把这这一一集集合合称为自然数集合。称为自然数集合。（算术）非负整数（算术）非负整数n有理数有理数 实数实数 复数复数 图形图形50 因此，全部数学似乎都可归结为非负整数了，因此，全部数学似乎都可归结为非负整数了，或者说，或者说，全部数学都可以归结为算术了。全部数学都可以归结为算术了。这样，如果能把算术建立在集合论的基础上，这样，如果能把算术建立在集合论的基础上，就相当于解决了整个就相当于解决

29、了整个“数学基础数学基础”的问题。的问题。法国数学家、数理逻辑先驱法国数学家、数理逻辑先驱弗雷格弗雷格（G.Frege,18481925）就做了这样的工作。他写就做了这样的工作。他写了一本名叫了一本名叫算术基础算术基础的书。的书。51弗雷格弗雷格算术基础算术基础52 2)弗雷格的弗雷格的算术基础算术基础 为了使算术建立在集合论的基础上，所为了使算术建立在集合论的基础上，所有的非负整数，都需要用集合论的观点和语有的非负整数，都需要用集合论的观点和语言重新定义。言重新定义。首先从首先从0说起。说起。0是什么？是什么？应当先回答应当先回答0是什么，然后才有表示是什么，然后才有表示“0”的符号。的符号

30、。53 为为此此，先先定定义义“空空集集”。空空集集是是“不不含含元元素素的的集集合合”。例例如如，“方方程程 在在实实数数集集中中的的根根的的集集合合”就就是是一一个个空空集集，再再例例如如“由由最最大大的的正正整整数数组组成成的的集集合合”也也是是一一个个空集。空集。54 所有的空集放在一起，作成一个集合的所有的空集放在一起，作成一个集合的集合集合，（为说话简单我们把，（为说话简单我们把“集合的集合集合的集合”称作类），这个类，就可以给它一个符号：称作类），这个类，就可以给它一个符号：0，中国人念，中国人念“ling”，英国人念英国人念“Zero”。空集是空的，但由所有空集组成的类，它空集

31、是空的，但由所有空集组成的类，它本身却是一个元素了，即，本身却是一个元素了，即，0是一个元素了。是一个元素了。由它再作成一个集合由它再作成一个集合0，则不是空集了。，则不是空集了。55 弗雷格再定义两个集合间的弗雷格再定义两个集合间的双射双射：既是满射又是：既是满射又是单射的映射叫作双射，也称单射的映射叫作双射，也称可逆映射可逆映射；通俗地说，；通俗地说，就是存在逆映射的映射。它可以在两个集合间来回就是存在逆映射的映射。它可以在两个集合间来回地映射，所以一般称为地映射，所以一般称为“双射双射”。弗雷格再定义弗雷格再定义两个集合的两个集合的“等价等价”：，能够在其间建立双射的两个集合能够在其间建

32、立双射的两个集合A、B称为称为“等价等价”。56 下边可以定义下边可以定义“1”了。把了。把与集合与集合0等价等价的所有集合放在一起，作成一个集合的集合。的所有集合放在一起，作成一个集合的集合。这个类，就可以给它一个符号：这个类，就可以给它一个符号：1。再定义再定义“2”。把。把与集合与集合0，1等价的所等价的所有集合放在一起，作成一个集合的集合。这有集合放在一起，作成一个集合的集合。这个类，就叫：个类，就叫：2。然后，把然后，把与与0，1，2等价的集合作成的等价的集合作成的类，叫：类，叫：3。57 一一般般地地，在在有有了了0，1，2，n的的定定义义后后，就就把把所所有有与与 集集 合合0，

33、1，2，n 等等 价价 的的 集集 合合 放放 在在 一一 起起，作作 成成 集集 合合 的的 集集合，这样的类，定义为：合，这样的类，定义为：n+1。这这种种定定义义概概念念的的方方法法，叫叫作作“归归 纳纳 定定义义”的方法。的方法。58 这这样样，弗弗雷雷格格就就从从空空集集出出发发，而而仅仅仅仅用用到到集集合合及及集集合合等等价价的的概概念念，把把全全部部非非负负整整数数定定义义出出来来了了。于于是是根根据据上上边边说说的的“可可以以把把全全部部数数学学归归结结为为非非负负整整数数”，就就可可以以说说，全全部部数数学学可可以以建建立立在在集集合合论论的的基基础础上上了。了。59 3 罗

34、素的罗素的“集合论悖论集合论悖论”引发危机引发危机 1）悖论引起震憾和危机悖论引起震憾和危机 正正 当当 弗弗 雷雷 格格 即即 将将 出出 版版 他他 的的 算算 术术 基基础础一一书书的的时时候候，罗罗素素的的集集合合论论悖悖论论出出来来了了。这这也也是是庞庞加加莱莱宣宣布布“完完全全严严格格的的数数学学已已经经建建立立起起来来！”之之后后刚刚刚刚两两年年，即即1902年。年。60 伯特兰伯特兰罗素（罗素（1872-1970）Russell,BertrandArthurWilliam(ThirdEarlRussell)出生年月：1872-1970国籍：英国学科成就：学科成就：英国著名哲学家

35、、数学家、逻辑学家，分析学的主要创始人，世界和平运动的倡导者和组织者。所获奖项：1950年诺贝尔文学奖。罗素罗素61 集合论中居然有逻辑上的矛盾！集合论中居然有逻辑上的矛盾！倾倾 刻刻 之之 间间，算算 术术 的的 基基 础础 动动 摇摇 了了，整整 个个数数 学学 的的 基基 础础 似似 乎乎 也也 动动 摇摇 了了。这这 一一 动动 摇摇 所所 带带来来 的的 震震 憾憾 是是 空空 前前 的的。许许 多多 原原 先先 为为 集集 合合 论论 兴兴高高 采采 烈烈 的的 数数 学学 家家 发发 出出 哀哀 叹叹：我我 们们 的的 数数 学学 就就是建立在这样的基础上的吗？是建立在这样的基础

36、上的吗？罗罗 素素 悖悖 论论 引引 发发 的的 危危 机机，就就 称称 为为 第第 三三 次次数学危机。数学危机。62 罗罗 素素 把把 他他 发发 现现 的的 悖悖 论论 写写 信信 告告 诉诉 弗弗 雷雷格格。弗弗雷雷格格在在他他的的算算术术基基础础一一书书的的末末尾尾无无可可奈奈何何地地写写道道：“一一个个科科学学家家遇遇到到的的最最 不不 愉愉 快快 的的 事事 莫莫 过过 于于，当当 他他 的的 工工 作作 完完 成成时时，基基础础崩崩塌塌了了。当当本本书书即即将将印印刷刷时时，罗罗素素先先生生的的一一封封信信就就使使我我陷陷入入这这样样的的尴尴尬尬境境地。地。”63狄德金(Ded

37、ekind)原来打算把连续性及无理数第3版付印，这时也把稿件抽了回来。发现拓扑学中“不动点原理”的布劳恩(Brouwer)也认为自己过去做的工作都是“废话”，声称要放弃不动点原理。64 2）罗素悖论罗素悖论 在在叙叙述述罗罗素素悖悖论论之之前前,我我们们先先注注意意到到下下边边的的事事实实：一一个个集集合合或或者者是是它它本本身身的的成成员员(元元 素素),或或者者不不是是它它本本身身的的成成员员(元元 素素)，两两者者必必居居其其一一。罗罗素素把把前前者者称称为为“异异 常常 集集合合”，把后者称为，把后者称为“正常集合正常集合”。65 例如例如,所有抽象概念的集合，本身还是抽象概念。所有抽

38、象概念的集合，本身还是抽象概念。即，它是这一集合本身的元素，所以是即，它是这一集合本身的元素，所以是“异常集合异常集合”。但是，所有人的集合，不是人，即，它不是这一集合但是，所有人的集合，不是人，即，它不是这一集合本身的元素，所以是本身的元素，所以是“正常集合正常集合”。再例如，所有集合的集合，本身还是集合，即，再例如，所有集合的集合，本身还是集合，即，它是这一集合本身的元素，所以是它是这一集合本身的元素，所以是“异常集合异常集合”。但。但是，所有星星的集合不是星星，即，它不是这一集合是，所有星星的集合不是星星，即，它不是这一集合本身的元素，所以是本身的元素，所以是“正常集合正常集合”。66罗

39、素当年的例子罗素当年的例子“异常集合异常集合”1：不多于不多于29个字母表达的句子所构成的集合个字母表达的句子所构成的集合“异常集合异常集合”2：不是麻雀的东西所构成的集合不是麻雀的东西所构成的集合67 罗罗素素悖悖论论是是：以以 表表示示“是是其其本本身身成成员员的的所所有有集集合合的的集集合合”（所所有有异异常常集集合合的的集集合合），而而以以 表表示示“不不是是它它本本身身成成员员的的所所有有集集合合的的集集合合”（所所有有正正常常集集合合的的集集合合），于于是是任任一一集集合合或或者者属属于于 ，或或者者属属于于 ，两两者者必必居居其其一一，且且只只居居其其一一。然然后后问问：集集合合

40、 是是否否是是它它本本身身的的成员？（集合成员？（集合 是否是异常集合？）是否是异常集合？）68 如果如果 是它本身的成员，则按是它本身的成员，则按 及及 的定的定义，义，是是 的成员，而不是的成员，而不是 的成员，即的成员，即 不不是它本身的成员，这与假设矛盾。即是它本身的成员，这与假设矛盾。即 如果如果 不是它本身的成员，则按不是它本身的成员，则按 及及 的定义，的定义，是是 的成员，而不是的成员，而不是 的成员，即的成员，即 是它本身的成员，这又与假设矛盾。即是它本身的成员，这又与假设矛盾。即 悖论在于：悖论在于：无论哪一种情况，都得出矛盾。无论哪一种情况，都得出矛盾。69 罗素悖论的通

41、俗化罗素悖论的通俗化“理发师悖论理发师悖论”：某村的：某村的一个理发师宣称，他给且只给村里自己不给自己刮脸一个理发师宣称，他给且只给村里自己不给自己刮脸的人刮脸。问：理发师是否给自己刮脸？的人刮脸。问：理发师是否给自己刮脸？如果他给自己刮脸，他就属于自己给自己刮脸的如果他给自己刮脸，他就属于自己给自己刮脸的人，按宣称的原则，理发师不应该给他自己刮脸，这人，按宣称的原则，理发师不应该给他自己刮脸，这与假设矛盾。如果他不给自己刮脸，他就属于自己不与假设矛盾。如果他不给自己刮脸，他就属于自己不给自己刮脸的，按宣称的原则，理发师应该给他自己给自己刮脸的，按宣称的原则，理发师应该给他自己刮脸，这又与假设

42、矛盾。刮脸，这又与假设矛盾。70 4 危机的消除危机的消除 危机出现以后，包括罗素本人在内的许多数学危机出现以后，包括罗素本人在内的许多数学家作了巨大的努力来消除悖论。当时消除悖论的选家作了巨大的努力来消除悖论。当时消除悖论的选择有两种，一种是择有两种，一种是抛弃抛弃集合论，再寻找新的理论基集合论，再寻找新的理论基础，另一种是分析悖论产生的原因，础，另一种是分析悖论产生的原因，改造改造集合论，集合论，探讨消除悖论的可能。探讨消除悖论的可能。人们选择了后一条路，希望在消除悖论的同人们选择了后一条路，希望在消除悖论的同时，尽量把原有理论中有价值的东西保留下来。时，尽量把原有理论中有价值的东西保留下

43、来。71 这种选择的理由是，原有的康托集合论虽然简这种选择的理由是，原有的康托集合论虽然简明，但并不是建立在明晰的公理基础之上的，这就明，但并不是建立在明晰的公理基础之上的，这就留下了解决问题的余地。留下了解决问题的余地。罗素等人分析后认为，这些悖论的共同特征罗素等人分析后认为，这些悖论的共同特征（悖论的实质）是（悖论的实质）是“自我指谓自我指谓”。即，。即，一个待定义一个待定义的概念，用了包含该概念在内的一些概念来定义的概念，用了包含该概念在内的一些概念来定义，造成恶性循环。造成恶性循环。例如，悖论中定义例如，悖论中定义“不属于自身的集合不属于自身的集合”时，时，涉及到涉及到“自身自身”这个

44、待定义的对象。这个待定义的对象。（再如（再如“本句话是七个本句话是七个字字”）72 为为了了消消除除悖悖论论，数数学学家家们们要要将将康康托托“朴朴素素的的集集合合论论”加加以以公公理理化化；并并且且规规定定构构造造集集合合的的原原则则，例例如如，不不允允许许出出现现“所所有有集集合合的的集集合合”、“一一切切属属于于自自身身的的集集合合”这这样的集合。样的集合。危机的解决73“非断言的”定义方式上面的每一个悖论都涉及一个集合S和S的一个成员M(既M是靠S定义的)。这样的一个定义被称作是“非断言的”，而非断言的定义在某种意义上是循环的。例如，考虑罗素的理发师悖论：用M标志理发师，用S标示所有成

45、员的集合，则M被非断言地定义为“S的给并且只给不自己刮胡子人中刮胡子的那个成员”。此定义的循环的性质是显然的理发师的定义涉及所有的成员，并且理发师本身就是这里的成员。因此，不允许有非断言的定义便可能是一种解决集合论的己知悖论的办法。然而，对这种解决办法，有一个严重的责难，即包括非断言定义的那几部分数学是数学家很不愿丢弃的。74 1908年，策梅洛（年，策梅洛（E.F.F.Zermelo,18711953）提出了由提出了由7条公理组成的集合论体系，称为条公理组成的集合论体系，称为Z-系统。系统。1922年，弗兰克（年，弗兰克（A.A.Fraenkel）又加进一条）又加进一条公理，还把公理用符号逻

46、辑表示出来，形成了集合公理，还把公理用符号逻辑表示出来，形成了集合论的论的ZF-系统。再后来，还有改进的系统。再后来，还有改进的ZFC-系统。系统。这样，大体完成了这样，大体完成了由朴素集合论到公理集合论的由朴素集合论到公理集合论的发展过程，悖论消除了。发展过程，悖论消除了。75 现代公理集合论的大堆公理，简直难说孰真孰假，可是又不现代公理集合论的大堆公理，简直难说孰真孰假，可是又不能把它们都消除掉，它们跟整个数学是血肉相连的。能把它们都消除掉，它们跟整个数学是血肉相连的。但是，新的系统的相容性尚未证明。因此，庞加莱在策梅洛但是，新的系统的相容性尚未证明。因此，庞加莱在策梅洛的公理化集合论出来

47、后不久，形象地评论道：的公理化集合论出来后不久，形象地评论道：“为了防狼，羊为了防狼，羊群已经用篱笆圈起来了，但却不知道圈内有没有狼群已经用篱笆圈起来了，但却不知道圈内有没有狼”。数学的确定性在一步一步地丧失。数学的确定性在一步一步地丧失。这就是说，第三次数学这就是说，第三次数学危机的解决，并不是完全令人满意的。危机的解决，并不是完全令人满意的。第三次危机表面上解决了实质上更深刻地以其它形式延续第三次危机表面上解决了实质上更深刻地以其它形式延续 765无限集合也有无限集合也有“大小大小”从从“一一对应一一对应”说起说起 实无限的观点让我们知道，同样是无限集合，也可能实无限的观点让我们知道，同样

48、是无限集合，也可能有不同的有不同的“大小大小”。正整数集合是最正整数集合是最“小小”的无限集合。的无限集合。实数集合比正整数集实数集合比正整数集“大大”。实数集合上全体连续函。实数集合上全体连续函数的集合又比实数集合更大。数的集合又比实数集合更大。不存在最不存在最“大大”的无限集合（即对于任何无限集合，的无限集合（即对于任何无限集合，都能找到更都能找到更“大大”的无限集合）。的无限集合）。77 这需要这需要“一一对应一一对应”的观点。的观点。1 1）“一一对应一一对应”双射（单射双射（单射+满射）满射）2 2）集合的势）集合的势|A|A|集合中元素的多少集合中元素的多少 3 3）|N|=|N|

49、=可数无穷势可数无穷势 ，|Q|=|Q|=4 4）|R|=|R|=不可数无穷（称连续统势不可数无穷（称连续统势 ）,无理数比有理数多得多。无理数比有理数多得多。78 5 5）无穷集合可能有不同的势，其中最小的势）无穷集合可能有不同的势，其中最小的势是是 ；不存在最大的势。；不存在最大的势。6 6）“连续统假设连续统假设”长期未彻底解决长期未彻底解决 “连续统假设连续统假设”：可数无穷：可数无穷 是无限集中最小的是无限集中最小的势，连续统势势，连续统势 是（否？）次小的势。是（否？）次小的势。79 康康 托托1 18 88 82 2年年曾曾认认为为他他证证明明了了这这一一假假 设，后来发现证明有

50、错。设，后来发现证明有错。直到现在，这一问题仍吸引着一些数学家直到现在，这一问题仍吸引着一些数学家的兴趣。的兴趣。80HIlbert23个问题中的NumberOne连续统猜想是著名的Hilbert23个问题的第一个1938年，奥地利数学家、逻辑学家和哲学家哥德尔（KurtGdel，19061978），证明标准集合论与连续统假设是一致的、不矛盾。1963年，美国数学家保罗科恩(P.Cohen)证明，若否定连续统假设，也不与集合论矛盾。81非康托集合论1962年之前科恩的主要工作是在调和分析方面，19591960年，他做出杰出的工作，获得美国数学会1964年度Bocher奖。这是美国在分析方面的最