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

1,第五讲神秘的无穷与三次数学危机,一、“有无限个房间”的Hilbert旅馆二、无限与有限的区别和联系三、悖论（paradox）四、数学中的无限在生活中的反映五、潜无限与实无限六哲学中的无限七、无穷与数学危机,2,1.“客满”后又来1位客人（“客满”）1234k2345k+1空出了1号房间,一、“有无限个房间”的Hilbert旅馆,3,2.客满后又来了一个旅游团，旅游团中有无穷个客人1234k24682k空下了奇数号房间,4,3.客满后又来了一万个旅游团，每个团中都有无穷个客人,1234k1000120002300034000410001k给出了一万个、又一万个的空房间,5,是否有人想提什么问题？,6,Hilbert,4.思该旅馆客满后又来了无穷个旅游团，每个团中都有无穷个客人，还能否安排？“无穷大！任何一个其他问题都不曾如此深刻地影响人类的精神；任何一个其他观点都不曾如此有效地激励人类的智力；然而，没有任何概念比无穷大更需要澄清”,7,二、无限与有限的区别和联系,1.区别1）在无限集中，“部分可以等于全体”（这是无限的本质），而在有限的情况下，部分总是小于全体。当初的伽利略悖论，就是因为没有看到“无限”的这一个特点而产生的。,8,1234567891011n149162536496481100121n2该两集合：有一一对应，于是推出两集合的元素个数相等；但由“部分小于全体”，又推出两集合的元素个数不相等，这就形成悖论。思：构造一个“部分到整体的一一对应”：从0，1）0，+）。,9,2）“有限”时成立的许多命题，对“无限”不再成立（1）实数加法的结合律在“有限”的情况下，加法结合律成立:(a+b)+c=a+(b+c)，a，b，c,10,在“无限”的情况下，加法结合律不再成立。如,11,（2）有限级数一定有“和”。是个确定的数无穷级数一定有“和”。则不是个确定的数。称为该级数“发散”。反之称为“收敛”。,12,2.联系在“有限”与“无限”间建立联系的手段，往往很重要。1）数学归纳法通过有限的步骤，证明了命题对无限个自然数均成立。2）极限通过有限的方法，描写无限的过程。如：；自然数N，都，使时，。,13,0.99999=1?3）无穷级数通过有限的步骤，求出无限次运算的结果，如4）递推公式,a1=*有一个著名的例子：兔子永远追不上乌龟，箭永远射不上靶子。结果虽然可笑，但在逻辑上却耐人寻味，这就是著名的二分法悖论。,14,三、悖论（paradox）,悖论（paradox）具体是指：由一个被承认是真的命题为前提，设为B，进行正确的逻辑推理后，得出一个与前提互为矛盾命题的结论非B；反之，以非B为前提，亦可推得B。那么命题B就是一个悖论。1说谎者悖论：最早见新约全书提多书，BC6世纪古希腊哲学家伊壁孟德所创的四个悖论之一“我正在说谎”。如果他的确正在撒谎，那么这句话是真的，所以伊壁孟德不在撤谎，如果他不在撒谎，那么这句话是假的，因而伊壁孟德正在撒谎。,15,1说谎者悖论,最早见新约全书提多书，公元前6世纪古希腊哲学家伊壁孟德所创的四个悖论之一“我正在说谎”。如果他的确正在撒谎，那么这句话是真的，所以伊壁孟德不在撤谎，如果他不在撒谎，那么这句话是假的，因而伊壁孟德正在撒谎。,16,2.“说谎者循环”,A说：“下面是句谎话。”B说：“上面是句真话。”这悖论的化解法是：每句话语，必须分辨两个层次：一是enunciation，即发言者所作的发言动作和他所处的发言位置；一是statement，即句子的内容。“我正在说谎”之所以出问题，是因为我们把发言的内容，错误理解为发言者的发言动作和位置。“我正在说谎”，强调的就是enunciation与statement之间绝对不能相混,17,3.“外祖母悖论”,我会穿梭时空，回到过去，把我自己的外祖母杀了。我外祖母没了，我妈就没了，我也就没了。而我没了，就没有人杀我外祖母，我外祖母就不会死，那我又有了。而有了我，外祖母就没了，我也就没了这就是悖论，自己与自己就有矛盾。,18,4.芝诺悖论-由无限引出的芝诺（前490？前430？）是（南意大利的）爱利亚学派创始人巴门尼德的学生。他企图证明该学派的学说：“多”和“变”是虚幻的，不可分的“一”及“静止的存在”才是唯一真实的；运动只是假象。于是他设计了四个例证，人称“芝诺悖论”。这些悖论是从哲学角度提出的。我们可以从数学角度来分析。,19,1）两分法,向着一个目的地运动的物体，首先必须经过路程的中点；然而要经过这点，又必须先经过路程的四分之一点；要过四分之一点又必须首先通过八分之一点等等，如此类推，以至无穷。结论是：无穷是不可穷尽的过程，运动永远不可能开始的。,20,阿基里斯追不上乌龟。,2）阿基里斯(Achilles)悖论,21,3）飞矢不动悖论,一支飞行的箭是静止的：由于每一时刻这支箭都有其确定的位置因而是静止的，因此箭就不能处于运动状态。,22,4）“操场或游行队伍”,A、B两件物体以等速向相反方向运动。从静止的C看来，比如说，A、B都在1小时内移动了2公里；可是，从A看来，则B在1小时内就移动了4公里。由于B保持等速移动，所以移动2公里的时间应该是移动4公里时间的一半。因而一半的时间等于两倍的时间。,23,症结：无限段长度的和，可能是有限的；无限段时间的和，也可能是有限的。芝诺悖论的意义：1）促进了严格、求证数学的发展2）较早的“反证法”及“无限”的思想3）尖锐地提出离散与连续的矛盾：空间和时间有没有最小的单位？,24,芝诺的前两个悖论是反对“空间和时间是连续的”，后两个悖论则是反对“空间和时间是离散的”；第一、第三反对绝对运动，而第二、第四，反对相对运动。在芝诺看来，这两种理论都有毛病；所以，“运动只是假象，不动不变才是真实”。芝诺的哲学观点虽然不对，但是，他如此尖锐地提出了空间和时间是连续还是离散的问题，引起人们长期的讨论，促进了认识的发展，不能不说是巨大的贡献。,25,从惊讶到思考数学悖论奇景科学美国人杂志社马丁加德纳,26,四、生活中的无限观,1）大烟囱是圆的：每一块砖都是直的,整体看又是圆的;2）锉刀锉一个光滑零件：每一锉锉下去都是直的,许多刀合在一起的效果又是光滑的;,27,3）不规则图形的面积,法.求曲边梯形的面积，（不规则图形若干个曲边梯形），再设法求曲边梯形的面积：划分，求和，矩形面积之和边梯形面积；越小，就越精确；再取极限，就得到曲边梯形的面积。,28,法.用方格套，方格越小，误差越小,29,五、潜无限与实无限1潜无限与实无限简史潜无限是指把无限看成一个永无终止的过程，认为无限只存在于人们的思维中，只是说话的一种方式，不是一个实体。,30,从古希腊到康托以前的大多数哲学家和数学家都持潜无限的观点,他们认为“正整数集是无限的”来自我们不能穷举所有正整数。例如，可以想象一个个正整数写在一张张小纸条上，从1，2，3，写起，每写一张，就把该纸条装进一个袋子里，则这一过程将永无终止。因此，把全体正整数的袋子看作一个实体是不可能的，它只能存在于人们的思维里。亚里士多德只承认潜无限：不承认直线式由点构成。牛顿视无穷小量为实无限，却导致贝克莱主教的责难。高斯反对实无限：反对把无穷量作为现实的实体，认为无限只不过是一种说话的方式。,31,康托的集合论与实无限,但康托不同意这一观点，他很愿意把这个装有所有正整数的袋子看作一个完整的实体。这就是实无限观点。康托是第一位研究实无限并取得成功的人！康托的工作是划时代的，对现代数学产生了巨大的影响，但当时，康托的老师、一流数学家克罗内克尔，对康托的观点与成就进行了猛烈的攻击。Poincare，稍温和而权威性的评价，认为康托尔的集合论是一种“疾病”。康托的概念是“雾中之雾”，甚至说康托是“疯子”。,32,康托GeorgFerdinandPhilipCantor(18451918)德国数学家，集合论创始者。1845年3月3日生于圣彼得堡（今苏联列宁格勒），1918年1月6日病逝于哈雷。17岁时入瑞士苏黎世大学,翌年转入柏林大学,主修数学，从学于库默尔、魏尔斯特拉斯。1866年曾去格丁根学习一学期。1867年在库默尔指导下以数论方面的论文获博士学位。后即在该大学任讲师，1872年任副教授，1879年任教授。,33,康托尔的无穷学说从根本上否定了“整体大于部分”的观念，而且他在无限王国走得如此远，以至于同时代的数学家和哲学家都不能理解他的观点，惧怕集合论。来自数学权威们的激烈反对，使康托自己也开始怀疑自己的工作，因此变得十分沮丧。巨大精神压力终于摧垮了康托尔，患了精神分裂症，被送进精神病医院。1918年1月6日，康托在一家精神病院去世。事实上，康托的实无限与无穷集合论也直接导致了第三次数学危机。到底如何看待无限？潜无限与实无限？,34,实无限、潜无限只是一个硬币的两个面,两种无穷思想经历了此消彼长，两种无限在现代数学中都是有用武之地。微积分采用潜无限，非标准分析采用实无限无穷本身是一个矛盾体，既是一个需无穷逼近的过程，也是一个可供研究的实体。Hilbert认为：无穷是一个永恒之谜，无穷是人类心情宁静的最大敌人！,35,六哲学中的无限1哲学对“无限”的兴趣哲学是研究整个世界的科学。自从提出“无限”的概念，就引起了哲学家广泛的关注和研究。现在我们知道哲学中有下边一些命题：,36,物质是无限的；时间与空间是无限的；物质的运动形式是无限的。一个人的生命是有限的；一个人对客观世界的认识是有限的。,37,无限可分与原子论,很多思想家都研究过无穷大。古希腊的哲学家们就一条线段(或者就任何数量而言)，是不是可无限地被分割，或者说是不是可以最终得到一个不可分割的点(即“原子”)等问题，展开了无休止的争论。他们的现代追随者物理学家们今天仍然还在设法解决同一个问题，他们使用巨大的粒子加速器寻找“基本粒子”那些构成整个宇宙的基本砖块。,38,宇宙有边吗？,天文学家一直在从另一个极端的无限广阔的尺度上思索着无穷大问题。我们的宇宙真像它所呈现在晴朗的黑夜那样无穷无尽，或是它有一个边界(在这个边界之外什么东西也不存在)吗？有限宇宙的可能性似乎是对我们常识的一种挑战。我们可以在任何方向上一直走下去而永远也到不了“边”，这个事实不是很清楚吗？但是我们将不难看出，当研究无穷大时，“常识”是一个非常差劲的向导！,39,数学则更严密地研究有限与无限的关系，大大提高了人类认识无限的能力。在有限环境中生存的有限的人类，获得把握无限的能力和技巧，那是人类智慧；在获得这些成果过程中体现出来的奋斗与热情，那是人类的情感；对无限的认识成果，则是人类智慧与热情的共同结晶。一个人，若把自己的智慧与热情融入数学学习和数学研究之中，数学的学习不仅不是难事，而且会充满乐趣。,2数学对“无限”的观点的贡献,40,抢答题构造一个无穷多个运动员百米赛跑，但结果没有第一名的例子。（要求表达出每一个运动员的百米成绩，且要求接近实际：不能跑进9秒）,41,解答,42,七、无穷与数学危机,数学史上有过三次数学危机，它们都与无穷有关，也与人们对无穷的认识有关。我们已经讨论过第一次与第二次数学危机第一次数学危机的要害是不认识无理数，而无理数是无限不循环小数,43,第二次数学危机的要害，是极限理论的逻辑基础不完善，而极限正是“有穷过渡到无穷”的重要手段。贝克莱的责难，也集中在“无穷小量”上。由于无穷与有穷有本质的区别，所以，极限的严格定义，极限的存在性，无穷级数的收敛性，这样一些理论问题就显得特别重要。,44,第三次数学危机,1“数学基础”的曙光集合论到19世纪，数学从各方面走向成熟。非欧几何的出现使几何理论更加扩展和完善；实数理论（和极限理论）的出现使微积分有了牢靠的基础；群的理论、算术公理的出现使算术、代数的逻辑基础更为明晰，等等。人们水到渠成地思索：整个数学的基础在哪里？正在这时，19世纪末，集合论出现了。人们感觉到，集合论有可能成为整个数学的基础。,45,其理由是：算术以整数、分数等为对象，微积分以变数、函数为对象，几何以点、线、面及其组成的图形为对象。同时，用集合论的语言，算术的对象可说成是“以整数、分数等组成的集合”；微积分的对象可说成是“以函数等组成的集合”；几何的对象可说成是“以点、线、面等组成的集合”。这样一来，集合成了更基本的概念。,46,于是，集合论似乎给数学家带来了曙光：可能会一劳永逸地摆脱“数学基础”的危机。尽管集合论自身的相容性尚未证明，但许多人认为这只是时间问题。庞加莱甚至在1900年巴黎国际数学家大会上宣称：“借助集合论概念，我们可以建造整个数学大厦今天，我们可以说绝对的严格性已经达到了”,47,2算术的集合论基础1）人们按下列逻辑顺序把全部数学的基础归结为算术，即归结为非负整数，即自然数集合加上0现在我国中小学就把这一集合称为自然数集合。（算术）非负整数n有理数实数复数图形,48,因此，全部数学似乎都可归结为非负整数了，或者说，全部数学都可以归结为算术了。这样，如果能把算术建立在集合论的基础上，就相当于解决了整个“数学基础”的问题。法国数学家、数理逻辑先驱弗雷格（G.Frege,18481925）就做了这样的工作。他写了一本名叫算术基础的书。,49,弗雷格,算术基础,50,2)弗雷格的算术基础为了使算术建立在集合论的基础上，所有的非负整数，都需要用集合论的观点和语言重新定义。首先从0说起。0是什么？应当先回答0是什么，然后才有表示“0”的符号。,51,为此，先定义“空集”。空集是“不含元素的集合”。例如，“方程在实数集中的根的集合”就是一个空集，再例如“由最大的正整数组成的集合”也是一个空集。,52,所有的空集放在一起，作成一个集合的集合，（为说话简单我们把“集合的集合”称作类），这个类，就可以给它一个符号：0，中国人念“ling”，英国人念“Zero”。空集是空的，但由所有空集组成的类，它本身却是一个元素了，即，0是一个元素了。由它再作成一个集合0，则不是空集了。,53,弗雷格再定义两个集合间的双射：既是满射又是单射的映射叫作双射，也称可逆映射；通俗地说，就是存在逆映射的映射。它可以在两个集合间来回地映射，所以一般称为“双射”。弗雷格再定义两个集合的“等价”：，能够在其间建立双射的两个集合A、B称为“等价”。,54,下边可以定义“1”了。把与集合0等价的所有集合放在一起，作成一个集合的集合。这个类，就可以给它一个符号：1。再定义“2”。把与集合0，1等价的所有集合放在一起，作成一个集合的集合。这个类，就叫：2。然后，把与0，1，2等价的集合作成的类，叫：3。,55,一般地，在有了0，1，2，n的定义后，就把所有与集合0，1，2，n等价的集合放在一起，作成集合的集合，这样的类，定义为：n+1。这种定义概念的方法，叫作“归纳定义”的方法。,56,这样，弗雷格从空集出发，仅仅用到集合及集合等价的概念，把全部非负整数定义出来了。于是根据上边说的“可以把全部数学归结为非负整数”，就可以说，全部数学可以建立在集合论的基础上了。,57,3罗素的“集合论悖论”引发危机1）悖论引起震憾和危机正当弗雷格即将出版他的算术基础一书的时候，罗素的集合论悖论出来了。这也是庞加莱宣布“完全严格的数学已经建立起来！”之后刚刚两年，即1902年。,58,伯特兰罗素（1872-1970）Russell,BertrandArthurWilliam(ThirdEarlRussell)出生年月：1872-1970国籍：英国学科成就：英国著名哲学家、数学家、逻辑学家，分析学的主要创始人，世界和平运动的倡导者和组织者。所获奖项：1950年诺贝尔文学奖。,罗素,59,集合论中居然有逻辑上的矛盾！倾刻之间，算术的基础动摇了，整个数学的基础似乎也动摇了。这一动摇所带来的震憾是空前的。许多原先为集合论兴高采烈的数学家发出哀叹：我们的数学就是建立在这样的基础上的吗？罗素悖论引发了第三次数学危机。,60,罗素把他发现的悖论写信告诉弗雷格。弗雷格在他的算术基础一书的末尾无可奈何地写道：“一个科学家遇到的最不愉快的事莫过于，当他的工作完成时，基础崩塌了。当本书即将印刷时，罗素先生的一封信就使我陷入这样的尴尬境地。”,61,狄德金(Dedekind)原来打算把连续性及无理数第3版付印，这时也把稿件抽了回来。发现拓扑学中“不动点原理”的布劳恩(Brouwer)也认为自己过去做的工作都是“废话”，声称要放弃不动点原理。,62,2）罗素悖论在叙述罗素悖论之前,我们先注意到下边的事实：一个集合或者是它本身的成员(元素),或者不是它本身的成员(元素)，两者必居其一。罗素把前者称为“异常集合”，把后者称为“正常集合”。,63,例如,所有抽象概念的集合，本身还是抽象概念。即，它是这一集合本身的元素，所以是“异常集合”。但是，所有人的集合，不是人，即，它不是这一集合本身的元素，所以是“正常集合”。再例如，所有集合的集合，本身还是集合，即，它是这一集合本身的元素，所以是“异常集合”。但是，所有星星的集合不是星星，即，它不是这一集合本身的元素，所以是“正常集合”。,64,罗素当年的例子,“异常集合”1：不多于29个字母表达的句子所构成的集合“异常集合”2：不是麻雀的东西所构成的集合,65,罗素悖论是：以表示“是其本身成员的所有集合的集合”（所有异常集合的集合），而以表示“不是它本身成员的所有集合的集合”（所有正常集合的集合），于是任一集合或者属于，或者属于，两者必居其一，且只居其一。然后问：集合是否是它本身的成员？（集合是否是异常集合？）,66,如果是它本身的成员，则按及的定义，是的成员，而不是的成员，即不是它本身的成员，这与假设矛盾。即如果不是它本身的成员，则按及的定义，是的成员，而不是的成员，即是它本身的成员，这又与假设矛盾。即悖论在于：无论哪一种情况，都得出矛盾。,67,罗素悖论的通俗化“理发师悖论”：某村的一个理发师宣称，他给且只给村里自己不给自己刮脸的人刮脸。问：理发师是否给自己刮脸？如果他给自己刮脸，他就属于自己给自己刮脸的人，按宣称的原则，理发师不应该给他自己刮脸，这与假设矛盾。如果他不给自己刮脸，他就属于自己不给自己刮脸的，按宣称的原则，理发师应该给他自己刮脸，这又与假设矛盾。,68,4危机的消除危机出现以后，包括罗素本人在内的许多数学家作了巨大的努力来消除悖论。当时消除悖论的选择有两种，一种是抛弃集合论，再寻找新的理论基础，另一种是分析悖论产生的原因，改造集合论，探讨消除悖论的可能。人们选择了后一条路，希望在消除悖论的同时，尽量把原有理论中有价值的东西保留下来。,69,这种选择的理由是，原有的康托集合论虽然简明，但并不是建立在明晰的公理基础之上的，这就留下了解决问题的余地。罗素等人分析后认为，这些悖论的共同特征（悖论的实质）是“自我指谓”。即，一个待定义的概念，用了包含该概念在内的一些概念来定义，造成恶性循环。例如，悖论中定义“不属于自身的集合”时，涉及到“自身”这个待定义的对象。（再如“本句话是七个字”）,70,为了消除悖论，数学家们要将康托“朴素的集合论”加以公理化；并且规定构造集合的原则，例如，不允许出现“所有集合的集合”、“一切属于自身的集合”这样的集合。,危机的解决,71,“非断言的”定义方式,上面的每一个悖论都涉及一个集合S和S的一个成员M(即M是靠S定义的)。这样的一个定义被称作是“非断言的”，而非断言的定义在某种意义上是循环的。例如，考虑罗素的理发师悖论：用M标志理发师，用S标示所有成员的集合，则M被非断言地定义为“S的给并且只给不自己刮胡子人中刮胡子的那个成员”。此定义的循环的性质是显然的理发师的定义涉及所有的成员，并且理发师本身就是这里的成员。因此，不允许有非断言的定义便可能是一种解决集合论的己知悖论的办法。然而，对这种解决办法，有一个严重的责难，即包括非断言定义的那几部分数学是数学家很不愿丢弃的。,72,1908年，策梅洛（E.F.F.Zermelo,18711953）提出了由7条公理组成的集合论体系，称为Z-系统。1922年，弗兰克（A.A.Fraenkel）又加进一条公理，还把公理用符号逻辑表示出来，形成了集合论的ZF-系统。再后来，还有改进的ZFC-系统。这样，大体完成了由朴素集合论到公理集合论的发展过程，悖论消除了。,73,现代公理集合论的大堆公理，简直难说孰真孰假，可是又不能把它们都消除掉，它们跟整个数学是血肉相连的。但是，新的系统的相容性尚未证明。因此，庞加莱在策梅洛的公理化集合论出来后不久，形象地评论道：“为了防狼，羊群已经用篱笆圈起来了，但却不知道圈内有没有狼”。数学的确定性在一步一步地丧失。这就是说，第三次数学危机的解决，并不是完全令人满意的。第三次危机表面上解决了实质上更深刻地以其它形式延续,74,5无穷集合元素的“个数”并非都一样多,要确定无穷集合元素的个数，显然不能靠“数数”的办法；但若只贴一标签“无穷”，就只能表示不是有限！与“直立猿人不是奶牛”所提供的信息差不多！康托发明了用“一一对应”表征集合元素多少的思想！看似浅显，实质伟大-理解了一一对应原理的重要性，并有巨大勇气去研究与推广！,75,1）“一一对应”双射（单射+满射）2）集合的势|A|集合中元素的多少3）|N|=可数无穷势，|Q|=4）|R|=不可数无穷（称连续统势）,无理数比有理数多得多。,76,5）无穷集合可能有不同的势，其中最小的势是；不存在最大的势。6）“连续统假设”长期未彻底解决“连续统假设”：可数无穷是无限集中最小的势，连续统势是（否？）次小的势。,77,康托1882年曾认为他证明了这一假设，后来发现证明有错。直到现在，这一问题仍吸引着一些数学家的兴趣。,78,HIlbert23个问题中的NumberOne,连续统猜想是著名的Hilbert23个问题的第一个1938年，奥地利数学家、逻辑学家和哲学家哥德尔（KurtGdel，19061978），证明标准集合论与连续统假设是一致的、不矛盾。1963年，美国数学家保罗科恩(P.Cohen)证明，若否定连续统假设，也不与集合论矛盾。,79,非康托集合论,1962年之前科恩的主要工作是在调和分析方面，19591960年，他做出杰出的工作，获得美国数学会1964年度Bocher奖。这是美国在分析方面的最高奖，是个了不起的荣誉。可是，这时他已转向另一领域并取得更大的成就：在1963年证明连续统假设的独立性，这时离他转行还不到一年。由于这个成就相当于在数学中建立了非欧几何非康托尔集合论，从而荣誉纷至沓来：除了荣获菲尔兹奖之外，科恩还在1967年被选为美国国家科学院院士，同年荣获总统颁发的国家科学奖章。,80,6.第三次数学危机与“无穷”的联系,承认无穷集合，承认无穷基数，就好像一切灾难都出来了，这就是第三次数学危机的实质！第三次数学危机的直接来源，是“所有不属于自身的集合”这样界定集合的说法有毛病。但核心是涉及到无穷集合，人们犯了“自我指谓”、恶性循环的错误。由于人们习惯于有穷，习惯于有穷情况下的思维，所以一旦遇到无穷时，要格外地小心；而高等数学则是经常与无穷打交道的。,81,第二十五章：无穷的悖论,82,本节结束谢谢！,