第十一章

作者:威廉·邓纳姆 字数:18818 阅读:427 更新时间:2011/08/04

第十一章

第十一章

连续统的不可数性

(1874年) 

19世纪的数学

  每一个世纪都以一种奇特的方式,显示不同的数学重点和数学思维方向。18世纪显然是“欧拉世纪”,因为他在学术领域没有任何对手,始终居于统治地位,并为后代留下了珍贵的数学遗产。相比之下,19世纪虽然没有一位特别出类拔萃的数学家,但却有幸拥有许多优秀数学家,他们将数学疆界推向新的令人意想不到的方向。

  如果说19世纪不属于某一位数学家,那么,它确实呈现出几个重要的主旋律。19世纪是抽象与广义化的世纪,是对数学的逻辑基础进行深入分析的世纪,这种逻辑基础曾构成牛顿、莱布尼兹和欧拉的理论基础。数学不再受“物理实在性”的局限而变得越来越独立,而在此之前,这种“物理实在性”始终明显地将数学束缚于自然科学。

  这种脱离实在世界的倾向可以说是以 19世纪前 30年出现的非欧几何作为其独立宣言的。我们在第二章的后记中曾说过,当欧几里得的平行线公设被舍弃而代之以另一命题的时候,出现了一个“奇怪的新世界”。突然间,通过直线外一点,至少可以画两条直线与之平行;相似三角形变成了全等;而三角形的内角和也不再等于180°。然而,对于非欧几何中所有这些似乎矛盾的性质,没有一个人能够从中找出逻辑矛盾。

  欧金尼奥·贝尔特拉米证明了非欧几何与欧氏几何一样,在逻辑上是成立的。从而在这两种几何之间架起了一座桥梁。我们可以设想,比方说,数学家甲致力于研究欧氏几何,而数学家乙则专攻非欧几何。双方的工作具有等效的逻辑正确性。然而“实在的世界”却不可能既是欧氏几何的又是非欧几何的;其中的一位数学家必定要付出终生的努力去探索一种并非“实在的”体系,那么,他或她是否在虚掷年华呢?

  19世纪,数学家越来越感到对这个问题的答案应该是否定的。当然,物质世界是否如欧几里得所述,这个问题应留待物理学家去探讨。这是一个经验性问题,是通过实验与严格的观测来确定的,但却与这两种几何体系的逻辑发展无关。对于一个热中非欧几何优美定理的数学家来说,美就足够了。无需物理学家去告诉数学家哪一种几何是“实在”的,因为在逻辑王国里,两者都是正确的。听以,几何学的这一根本问题带有一种解放的性质,将数学从只依赖于实验室的实验结果中解放出来。在这个意义上,我们看到,这与当时美术摆脱对现实的依赖的情形十分相似。19世纪初期,画家的画布还像以往一样,仅仅充当了一扇窗户,人们通过这扇窗户,可以看到有趣的人和事。当然,画家可以自由设定基调,选择颜色,确定明暗,强调某一局部而弱化其他部分;但无论如何,画家的作品就像一幅屏幕,让大家看到瞬间静止的事物。

  19世纪后半期,情况发生了明显的变化。在一些美术大师如保罗·塞尚、保罗·高庚和樊尚·凡高的影响下,美术作品获得了自己的生命。画家可以视画布为发挥自己绘画技能的二维战场。例如,塞尚认为,可以任意将静物苹果与梨变形,以增强整体效果。他批评伟大的印象派画家克劳德·莫奈只有“一只眼睛”,他的意思是说,画家的艺术不仅仅限于记录眼睛所看到的事物。

  总之,美术宣告了从视觉现实中的独立,同时,数学也显示出其脱离物质世界的倾向。这种并行的情况很有趣,以塞尚、高庚和凡高为代表的绘画,连同以高斯、鲍耶和罗巴切夫斯基为代表的数学,其哲学内涵意义深远,影响持久,至今不衰。

  当然,我们也必须看到,这些发展并非得到了人们的一致认可。20世纪末,任何一个到美术馆参观的人,随时都能听到种种议论,人们对视觉艺术的现状,对在大幅画布上毫无意义地胡乱涂抹,对那些自称并不反映现实的作品(这些作品常常争议很大,而又十分昂贵)颇有微词。艺术家的赞助人则常常抱怨当代艺术家的解放走得太远了。他们渴望看到他们所熟悉的肖像画和令人赏心悦目的风景画。

  在这一方面,数学与美术也十分相似。在现代数学界中也有一种对当今数学状况不满的情绪。20世纪的数学家不但偏好非欧几何革命所带来的思想解放,而且还推动数学越来越远地脱离与实在世界的联系,直到把他们的逻辑结构变得抽象而神秘,以致使物理学家和工程师都如堕烟海,不知其所云。在许多人看来,这种趋势已把数学变成了一种毫无意义的符号游戏。数学史家莫里斯·克兰对这种倾向提出了最畅言无忌的批评,他写道:

  “随着深奥晦涩的原理被系统地阐述,已远离了最初的应用领域,而专注于抽象的形式。通过引入上百个分支概念,数学雨后春笋般地扩张为琐细而庞杂的一个个小门类,它们相互之间很少联系,且与最初的应用领域很少关联。”

  克兰认为,数学在其争取独立于物理学的来之不易的自由的过程中,走得太远了,以致成为枯燥而任意的纯粹形式主义体系。对他的严厉批评,数学界确应认真考虑。

  作为对克兰批评的回答,令人感兴趣的是,数学理论无论有多么抽象,却常常出人意料地应用于非常确实的实际问题。甚至将数学与实在断然分开的革命的非欧几何,也可以在现代物理书籍中找到它的足迹,现代相对论宇宙学就在很大程度上依据非欧几何建立了宇宙的模型。当然,19世纪的数学家是不可能预见到这种应用的,他们对于非欧几何,只是为了研究而研究;如今,非欧几何已成为应用数学的一部分,并成为物理学家的必要工具。数学有时会在最不可思议的地方出现。

  论争还在继续。最后,历史学家可能会看到,今天的数学虽然已远远地脱离了实在世界的桎梏,但令人难以置信的是,数学总能在其他学科的研究与发展中承担不可替代的角色。数学的抽象化将永远是19世纪留给人类的一笔财富。

  除了非欧几何的产生所提出的这些问题以外,另一个主要论争是关于微积分的逻辑基础。我们可以回想一下,微积分是17世纪末由牛顿和莱布尼兹奠定基础,而后在18世纪由李昂纳德·欧拉进一步完善的。然而,这些先驱者及其同时代的数学天才,都未能对微积分的基础给予充分注意。这些数学家如履薄冰,基础上的裂痕随时可能招致灭顶之灾。

  长期以来,人们始终感到,微积分有其问题。问题存在于对“无穷大”和“无穷小”概念的使用上,在牛顿的流数术和莱布尼兹的微积分中,这是必不可少的。微积分的一个核心思想是“极限”。无论微分,还是积分(还不要说级数收敛性和函数连续性的问题),都以这种或那种形式依据于这一概念。“极限”一词很有启发性,并有很强的直感。我们常常说,“我们的耐性或耐力到了极限”。然而,如果我们要从逻辑上准确地说明这一概念,就立刻出现了困难。

  牛顿曾对此作过尝试。他的流数概念要求他必须观察两个量的比,并确定当这两个量同时趋向于零时,它们的比将会怎样。用现代术语来说,他讲的正是两个无穷小量的比例极限,但他使用了一个更具特色的词“最后比”。对于牛顿来说,所谓两个正在消失的量的最后比

  “……应当理解为,既不是在两个量消失之前,也不是在它们消失之后,而是正当它们消失时的瞬间比。”

  当然,作为数学定义,这没有什么意义。我们可能赞同牛顿关于不应将极限概念基于两个量消失之前的比这一观点,但他所说两个量消失之后的比又是什么意思呢?牛顿考虑的似乎是当分子和分母刚好同时成为零时

 

其说的逻辑困境。

  那么,莱布尼兹如何走出这一泥淖呢?他同样需要阐明极限过程中发生的变化,但他倾向于通过对“无穷小量”的讨论来探索这一问题。莱布尼兹所谓的无穷小量尽管不是零,但却小于任意有限量。他的无穷小量,犹如化学中的原子一样,是不可再分的数学单元,是最接近于零的量。但与此相关的哲学问题显然使莱布尼兹感到困惑,他不得不作出如下晦涩的说明:

  “当我们谈及无穷小量……(即在我们的知识中是最小的),它可以被看作是……无限小……如果有人想理解这些(无穷小),可以想象它们是最终的东西……这就足够了……如此假设是充分的……即使认为这样的东西是不可能的,也完全可以利用它们作为计算的手段,就像代数中用虚根有极大好处一样。”

  在这里,除了莱布尼兹对复数的偏见以外,还可以看到他关于数学的令人莫名其妙的陈述。显然,概念的含糊不清(特别是构成微积分基础的概念)使莱布尼兹犹豫不定。

  当数学家们正因微积分遗留的逻辑基础问题而深感不安时,又受到来自上帝的仆人——乔治·贝克莱大主教(1685—1753年)的强有力的攻击。贝克莱大主教在他刻薄的文章《精神分析学家或神学家致不信教的数学家》中嘲弄那些批评神学基础是一种虚幻信仰的数学家,攻击他们所信奉的微积分,其逻辑基础同样十分脆弱。贝克莱采取以子之矛陷子之盾的策略:

  “可以说,所有这些(来自数学的)观点都是那些对宗教过于苛求的人设想和信奉的,他们自称只相信亲眼所见……那么如果他们能消化二阶或三阶流数和微分,就不会因为某一神学观点而反胃。”

  如果说这些挖苦还不够刻薄的话,贝克莱又发出了更加无情的嘲笑:

  “所谓流数是什么?数学家们说,是瞬时增量的速度。那么,这些瞬时增量又是什么?它们既不是有限量,也不是无穷小量,然而又不是虚无。我们难道称它们为消失量的幽灵吗……?”

  这真糟透了,微积分的基础居然成了“消失量的幽灵”。可以想象,对于数以百计的数学家们来说,贝克莱的冷嘲热讽会使他们多么焦躁不安。

  数学界逐渐认识到,他们必须正视这一令人头痛的问题。纵观18世纪,数学家们对微积分在实际应用上的巨大成功过于乐观,以致阻碍了对其基础理论的研究。但是数学界内部日益增多的关注及外界贝克莱的傲慢无礼,已使他们别无选择。这个问题已经迫在眉睫,不能不解决了。

  这样,我们看到一个又一个才华横溢的数学家开始探讨这一基础理论。建立严格的“极限”理论是一个困难的漫长的过程,因为这一概念的内涵非常深奥,需要精确的推理和对实数系性质的深刻理解,这绝非易事。但数学家们对这个问题的研究已逐渐有所突破。1821年,法国数学家奥古斯坦-路易·柯西(1789—1857年)提出了如下定义:

  当一个变量逐次取的值无限趋近一个定值时,如果最终使变量的值与该定值的差要多小就有多小,那么,这一定值就称为所有其他值的极限

  我们看到,柯西的定义避免了使用像“无穷小”样含糊不清的词,他没有将自己束缚于确定变量达到极限时的瞬间会如何如何。因而,这里也就不会出现消失量的幽灵。相反,他只是说,如果我们能够使变量的值与某一定值的差要多小就有多小,那么,这一定值就是该变量的极限。这就是所谓“极限回避”,柯西的定义绕开了关于达到极限的瞬间会发生什么这一哲学上的障碍。在柯西看来,最后瞬间的结局是完全不相干的,重要的是我们已经尽可能地澄清了极限这一概念,这才是我们所需要的。

  柯西的定义产生了深远的影响,以这一定义为基石,他继续阐明了微积分的许多重要概念。数学家们经过漫长的道路,进一步完善了基于这一极限定义的微积分,有力地反击了贝克莱大主教的“关心”。然而,柯西的陈述尚有一些不足之处。首先,他讲到,一个变量“趋近”某一极限,仅凭幻想就提出了一个关于运动的不明确的概念;如果我们必须依靠直觉来阐述关于点的移动和相互接近的概念,那么,我们仅仅依赖直觉提出“极限”概念难道就会更好些吗?其次,柯西使用的“无限”这一措词看起来也有点儿不确定;其意义需要进一步明确。最后,柯西的定义完全是文字叙述,有必要代之以简洁、明确、清晰的数学符号。

  于是,便出现了德国数学家卡尔·维尔斯特拉斯(1815—1897年)及其追随者。他们使用一种读来有些拗口的方法,即“微积分的算术化”,支撑起微积分的基础。维尔斯特拉斯学派的语言是“当x趋近于a时,函数f(x)以L为极限”,可以严格地表述为:

  对于任意给定的ε>0,总存在着一个δ>0,所以,如果0<|x—a|<δ,那么,|f(x)-L|<ε能够成立。

  不必全面理解这一定义,我们就可以清楚地看出,这个定义与柯西的定义明显不同。维尔斯特拉斯的定义几乎全部使用了数学符号,而且无一处暗示某一量向其他一些量的移动。总之,这是一个极限的静态定义。另外,维尔斯特拉斯的定义与前面所引牛顿和莱布尼兹的含糊不清、几乎引人发笑的陈述相比,大相径庭。维尔斯特拉斯逻辑严谨的定义虽然缺乏其前辈的某些趣味和魅力,但在数学上却是无懈可击的。在此基础上建立起的微积分大厦一直矗立至今。 

康托与无穷的挑战

  科学中常常会出现这种情况,一个问题的解决打开了解决另一个问题的大门。随着越来越少地依赖直觉构造概念而越来越多地依靠维尔斯特拉斯数学中的ε和δ,数学家们开始从更高的视角严格地审查微积分。他们得到了一些非常奇特和令人不安的发现。

  例如,考虑有理数与无理数两者之间的区别。有理数全都可以写成分数的形式,可以表示为整数的比。如果把有理数化为小数,则很容易确定:

循环小数,而是无限不循环小数。

  我们可以说,不论有理数,还是无理数,在实数轴上是处处稠密的,即:在任意两个有理数之间,分布着无穷多个无理数;反之亦然,在任何两个无理数之间也分布着无穷多个有理数。自然而然,我们会放心地推断,实数轴上一定均匀地分布着两个基本相等的巨大的有理数族与无理数族。

  然而,19世纪,随着时间的推移,越来越多的数学发现表明,与上述认识相反,这两个数族并不相等。这些发现一般需要非常高深的技巧和精妙的推理。例如,要证明函数在每一个无理点连续(直觉上不间断),并在每一个有理点不连续(间断),就必须证明在每一个有理点不存在连续的函数,而在每一个无理点不存在不连续的函数。这里有一个明显的指标,即在有理数族与无理数族之间不存在对称或平衡。这就表明,从某种根本意义上说,有理数与无理数是不可交换的数族,但当时的数学家对这两个数族的根本性质,尚不十分明了。

  因而,对实数系性质的深刻理解就促成了我们本章将要讨论的定理的产生。虽然柯西、维尔斯特拉斯及其同事们成功地用“极限”概念建立了微积分大厦,但数学家们越来越清楚地认识到,最重要、最基本的问题是将微积分最终置于集合的严格基础之上。探索这个问题,并单枪匹马地创立了奇妙的集合论的是一位时而被人恶意中伤,又曾一度精神崩溃的天才,他的名字叫乔治·费迪南德·路德维希·菲利普·康托。

  康托1845年出生于俄国,但他12岁的时候,随家移居到德国。宗教是康托家庭的重要组成部分。康托的父亲原是犹太教徒,后来皈依了新教,而他的母亲则生来就是罗马天主教徒。由于家庭中这种混合的宗教信仰,所以,毫不奇怪,小乔治对神学产生了一种终生的兴趣,特别是那些与无穷性质有关的神学问题对成年康托的数学产生了很大的影响。

  并且,康托的家庭还显示了明显的艺术素质。在康托家庭中,音乐受到特别的尊崇。康托有几个亲戚在大交响乐团演奏。乔治本人是一个很不错的素描画家,他留给后人一些很能表现他天才的铅笔画。总之,我们可以说康托具备了“艺术家”的天性。

  这位敏感的年轻人特别擅长数学,1867年,他在柏林大学获得博士学位。在此,他从师于维尔斯特拉斯,并完全掌握了前面所介绍的有关微积分的严谨的推理方法。康托对数学分析的深入研究使他越来越多地考虑各种数集之间的本质区别。特别是,他开始认识到,创立一种比较数集大小的方法是十分重要的。

  表面看来,比较数集大小似乎轻而易举:只要会数数,就会比较。如果有人问你,“你左手与右手的手指一样多吗?”你只要分别数一数每只手的手指,确认每只手都有5个手指,然后,就可以作出肯定的回答。看来,原始的“数数”方法似乎对于确定更复杂的“同样大小”或“相同基数”概念也是必要的。然而,乔治·康托以一种貌似天真的方法,颠倒了前人传统的观念。

  我们来看一看他是如何论证的。首先假设我们生活在一种数学知识非常有限的文化中,人们最多只能数到“3”。这样,我们就无法用数数的方法来比较左手与右手的手指数目,因为我们的数系不能使我们数到“5”。在超出我们计数能力的情况下,是否就无法确定“相同基数”了呢?完全不是。实际上,我们不必去数手指,而只需将两手合拢,使左手拇指与右手拇指,左手食指与右手食指……一一对齐,就能够回答这个问题了。这种方法展示了一种纯粹的一一对应关系,然后,我们可以回答,“是的,我们左手与右手的手指一样多”。

  我们再来看另一个例子。假设许多观众涌入一个大礼堂。那么,观众与座椅是否一样多呢?要回答这个问题,我们可以分别数一数观众与座椅,然后将两个数字加以比较,但这种方法过于繁琐。我们其实只需要求礼堂中的所有观众坐下。如果每个人都有座位,或者,每个座位都有人,那么答案就是肯定的,因为坐下这个过程已显示了一种完全的一一对应关系。

  这些例子阐明了一个关键的论据,我们无须去数集合中元素的个数,以确定这些集合是否具有同样数值。相反,根据一一对应关系来确定同等数量的概念已成为一种更原始和更基本的概念;相形之下,数数的方法却成了更复杂和更高级的方法。

  乔治·康托对这一概念作出了如下定义:

  如果能够根据某一法则,使集合M与集合N中的元素建立一一对应的关系……那么,集合M与集合N等价。

  如果集合M与集合N符合上述康托的等价定义,那么,按现代学家的语言,集合M与集合N“等势”或具有“相同基数”。然而,我们暂且抛开这些术语不谈。这一定义之所以重要,就在于它并未限定集合M与集合N必须包含有限个元素;因此它同样适用于那些包含无限多个元素的集合。

  据此,康托进入了一片未开垦的处女地。在数学发展的历程中,人们始终以一种怀疑的眼光(即使不是敌对的眼光)看待无穷,并尽可能回避这一概念。从古希腊时期直到康托时代,哲学家和数学家们都只承认“潜无穷”的存在。也就是说,他们能够在如下意义上同意整数集是无穷的:对于整数集中的任何一个数我们都能找到下一个比它更大的整数,但我们决不可能穷举所有整数。例如,可以想象把每一个整数都写在一张纸条上,然后把这些纸条放进一个(非常大的)袋子里,那么,即使地老天荒我们的工作也永远不会终止。

  但是,康托的前辈们反对“实无穷”的概念——即,他们反对认为这一过程能够结束或袋子能够装满的观点。用卡尔·弗里德里希·高斯的话说:

  “……我首先反对将无穷量作为一个实体,这在数学中是从来不允许的。所谓无穷,只是一种说话的方式……”

  康托不同意高斯的观点。与其他无穷集相比,他极愿意将这个装有所有整数的袋子看作一个自足的和完整的实体。与高斯不同,他不是将“无穷”仅仅看作一种说话的方式而不予考虑。对于康托来说,“无穷”是一个应予以高度重视的确实的数学概念,值得我们对其进行严格的理性论证。

  这样,乔治·康托仅仅依据这两个基本前提(即可以通过一一对应的方法来确定相同基数和实无穷是一个确实的概念),就创立了最令人兴奋和意义十分深远的理论。这一理论使我们进入了一个难以捉摸的奇特世界,虽然一些数学权威时时嘲笑他的努力,但康托没有因此而气馁。终于,凭着天才和勇气,康托以完全前所未有的方式,正面探讨无穷。

  我们首先设自然数集N={1,2,3,……},并设偶数集E={2,4,6,……}。注意到这两个数集都是完全集,而不必顾忌他们的无穷性质。根据康托的定义,我们可以很容易看出集合N与集合E具有“相同基数”,因为我们可以列出这两个数集之间单纯的一一对应关系:

  

  这种对应关系明确地显示出,N集中的每一个元素都被一个、并且只被一个偶数(即其2倍)所指定;反之,每一个偶数也都被一个、并且只被一个自然数(即其一半)指定。康托认为,这两个无穷数集显然是等价的。当然,乍一看,似乎很矛盾,这里人们本来会以为,偶数的个数应该是整数个数的一半。那么,我们依据什么才能够非难康托的演绎推理呢?我们或者抛弃实无穷的概念,甚至否认自然数集是一个自足的实体;或者拒绝承认简明的相同基数定义,而把它看作是荒谬的。但只要我们承认这两个前提,那么,就不可避免地会得出结论:偶数的个数绝不少于自然数。

  同样,如果设Z={……-3,-2,-1,0,1,2,3,……},即所有整数(正数、负数和零)的集合,那么,我们会看到,N与Z也有相同的基数,因为它们可以构成如下一一对应关系:

  

  对于这一对应关系,我们可以进行检验,集合N中的每一个自然数n都与集合Z中的

 

  相对应。

  据此,康托迈出了勇敢的一步。他说,任何能够与集合N构成一一对应关系的集合都是可列或可数无穷集。特别是,他引进了“超限”基数的新概念,用以表示可数集中元素的个数。他选用希伯来文的第一个字母0(读作“阿列夫零”)来表示超限基数。

  康托通过对无穷集的研究,创造了一种新的数字和一种新的数字类型。我们可以想象,他的许多同代人都会对这个异想天开的可怜虫摇头叹息。然而,不要忘记在我们所假设的原始数学文化中,人们只能数到三。在这种文化中,一个富有革新精神的天才也许会突发灵感,通过引入一个新的基数五来扩大原有数系:如果一个集合的元素能够与她右手的手指一一对应,那么,她就可以说,这个集合包含了个元素。

  这样一个定义是非常有效的,它提供了一个明确的方法,以确定一个集合在什么情况下具有五个元素(只要手指不受损伤)。在这个意义上,她的手指就成为确定集合是否具有五个元素的标准参考点。这一切看起来是非常合理的。

  而这恰恰是康托的证明方法,所不同的只是他采用自然数集合N作为扩大我们数系的基准。对于他来说,N是基数为0的原型集合。引入符号

 

 

  如果我们接下来讨论有理数集合Q,情形又会如何呢?如前所述,有理数是处处稠密的。在这个意义上说,有理数与整数不同,整数是一个紧跟一个,循规蹈矩地分布在数轴上的,其中的每一个数字都与前一个数字保持相同的距离。实际上,在任何两个整数之间(比如在0与1之间),都有无限多的有理数。因此,任何人都会猜想,有理数的个数远远超过自然数。 

  

明方法是在有理数集与自然数集之间构成一一对应的关系。为了弄清他是怎样构成这种对应关系的,我们把有理数排列成如下形式:

  

  注意第一列中所有数字的分子是1,第二列所有数字的分子是-1,等等;而第一行中所有数字的分母为1,第二行所有数字的分母为2,依此类推。总之,任何分数,都能够在这一排列中找到它的固定的归宿。例

  

  这一排列包含了集合Q中的所有元素。

  现在,我们按照这一排列中箭头所示方向,列出集合Q的元

  素,由此便产生了以下对应关系:

 

个有理数相对应;更令人吃惊的是,每一个有理数也将被一个且仅被一个自然数所指定。根据康托的定义,我们可以直接得出结论:有理数与自然数一样多。 

  康托1874年论文中关于连续统不可数性的最初证明

  至此,似乎所有的无穷集都是可列的,也就是说,每一个无穷集都能与正整数构成一一对应的关系。但是,在看到康托1874年的一篇论文后,数学界彻底放弃了这个一相情愿的念头。这篇论文有一个平铺直叙的题目:《论所有代数数集合的性质》。在这篇论文中,康托明确地提出了不可数无穷集的问题。

  仅从文章平凡的标题来看,人们丝毫不会感到这篇论文的革命性。这恰恰与美术界的根本变革形成了鲜明的对照,美术作品常常明显地表现出它的革新。1874年,任何人,即便是门外汉,只要在巴黎看到过莫奈的作品,都会对他“印象派”的绘画方法感到震惊。只需随意看一眼,也会从莫奈表现光的手法中看出他的作品与其前辈,如德拉克洛瓦或安格尔,有着明显的区别。显然,莫奈作了某些根本的变革。同是1874年,乔治·康托在其划时代的数学论文中,开创了同样不乏革命性的事业。然而,这一惊人的数学思想恰恰缺乏美术作品那样的直接冲击。

  康托发现的不可数集是所有实数的集合。实际上,他1874年的论文指出,没有任何实数区间(不论其长度多么小)能够与自然数集构成一一对应的关系。他最初的证明使他进入了分析的王国,同时,这一证明需要借助某些相关的比较先进的数学工具。然而,1891年,康托再次回到这个问题上来,提出了一个非常简单的证明。我们下面将讨论这个证明。 

伟大的定理:连续统的不可数性

  这里“连续统”一词的意思是指某一实数区间,我们可以用符号(a,b)来表示(图11.1),即

  (a,b)表示满足于不等式a<x<b的一切实数x的集合

  在以下的证明中,我们将要证明的不可数区间是(0,1),即所谓“单位区间”。在这一区间的实数都可以写成无穷小数。例如,

 

  ……出于技术上的原因,我们必须谨慎地避免采用两个不同的小数来表示 

在这种情况下,我们选择以一连串0结尾的小数展开式,而不选择以一连串9结尾的小数,这样,在(0,1)区间中的任何实数都只有一种小数表示。

  我们现在来看康托关于区间(0,1)不可数的证明。康托的证明采用了反证法,他从假定自然数集合N与区间(0,1)内的实数存在一一对应关系这一前提出发,然后,由此推导出逻辑矛盾。这一漂亮的证明可以当之无愧地排在伟大的定理之列。 

定理 0与1之间的所有实数不可数。 

证明 我们首先假定区间(0,1)内的实数能够与自然数一一对应,然后,从这一假定出发最终推出逻辑矛盾。为了讲清楚康托的论证,我们假定存在如下的对应关系:

  

  如果这是真正的一一对应关系,那么,右边一列区间(0,1)内的每一个实数都应该唯一地与左边一列中的一个自然数相对应。康托定义了一个区间(0,1)内的实数b,令b=0.b1b2b3b4b5……bn……。其中:

  选择b1(b的第一位小数)为与x1的第一位小数不同且不等于0或9的任何数字。

  选择b2(b的第二位小数)为与x2的第二位小数不同且不等于0或9的任何数字。

  选择b3(b的第三位小数)为与x3的第三位小数不同且不等于0或9的任何数字。

  一般地,选择bn(b的第n位小数)为与xn的第n位小数不同且不等于0或9的任何数字。

  为便于理解这一过程,我们可以参照上述的对应表。x1的第一位小数为“3”,因而,我们可以选择b1=4;x2的第二位小数是“0”,我们可以选择b2=1;x3的第三位小数是“2”,我们选择b3=3;x4的第四位小数是“8”,所以,我们选择b4=7;等等,依此类推。所以,我们的数字b就是

  b=0.b1b2b3b4b5……=0.41378……

  现在,我们只需要来看两个十分简单,但却是相互矛盾的事实:

  (1)因为b是一个无穷小数,所以,b是实数。由于我们禁止选择0或9,因而,数字b既不可能是0.00000……=0,也不可能是0.99999……=1。换言之,b一定严格地位于0与1之间。所以,b一定会在我们上述对应表的右边一列中出现。但是

  (2)b不可能出现在数字x1,x2,x3,……xn,……中的任何位置,因为 b与x1的第一位小数不同,b≠x1;b与x2的第二位小数不同,b≠x2;总之,b与xn的第n位小数不同,b≠xn

  这样,(1)告诉我们b一定位于上表的右列,而同时(2)又告诉我们,b不可能列入上表,因为它已被明确地“设计”为不与x1、x2……xn等等数字中的任何一个数字相同。这一逻辑矛盾说明,我们最初的假定,即单位区间内的所有实数与自然数之间存在一一对应的关系是不正确的。可以断定,这种对应关系是根本不可能的,所以,0与1之间的所有实数是不可列的。证讫。

  我们在选择b的数值时之所以避免采用“9”,还有一个原因。我们再来看看上述对应表,但这一次我们选用9作为bn的数值(当然,按规定,它们必须与xn的第n位小数不同)。那么,我们可以选择b1=4,b2=9,b3=9,b4=9,等等。因而,我们最后选定的数字是b=0.49999……。

  

  这样,我们所寻求的矛盾(确定一个不能列入表右列的实数b)就消失了。但是,如果我们在选定b值时避免采用“9”,我们就可以消除因无尽小数的这一双重表示所造成的技术陷阱,从而使证明有效。

  康托自己显然对这个证明感到非常满意,他称这一证明“……很不寻常……因为证明方法非常简单”。证明中他把焦点集中在右边一列小数的某些位置特殊的数字上,这些数字恰好连成一条下降的对角线——第一个实数的第一位小数,第二个实数的第二位小数,等等。这一方法因此被称为康托的“对角线法”。

  应特别注意的是,在证明中,我们并没有依赖上述假定的对应关系中的具体数字去说明问题。仅仅通过抽象的讨论就证明了这种一一对应的关系是不可能存在的。

  持怀疑态度的人常常一方面承认康托找出的数字b不能出现在原始对应表中,一方面又提出以下补救方法:为什么不将b与自然数1对应,并将表中右边的每一个数字都下移一个位置呢?这样,2将与x1对应,3与x2对应,等等。因而,康托所推出的矛盾似乎也就消失了,因为b出现在表中右边一列的最上端。

  然而,对于这些怀疑论者,遗憾的是,康托可以悠闲地坐等他们将最初的对应表调整完毕,然后再次应用对角线法找出一个新表中没有的实数b'。如果我们多疑的朋友又将b'插入了表的最上端,那么,我们可以如法炮制,得出一个表中不存在的b"。总而言之,在N与(0,1)之间是不可能存在一一对应关系的。至此,我们神经过敏的朋友心中的疑团一定会烟消云散了。

  这样,康托证明了许多无穷集合(特别是有理数集合)都具有基数0。然而,尽管同是无穷,0与1之间的实数似乎是“更高一级的”无穷。这一区间内的点如此之多,其数量绝对超过了正整数。

  在这一意义上,单位区间(0,1)不失一般性。对于任意给出的有限区间(a,b),我们可以引入函数y=a+(b-a),使区间(0,1)内的点(x轴上的点)与区间(a,b)内的点(y轴上的点)之间建立起一一对应的关系,如图11.2所示。这种一一对应的关系保证了区间(0,1)与(a,b)具有相同的(不可数)基数。也许会令人感到吃惊的是,区间的基数与其长度无关;0与1之间的所有实数并不比2与1000之间的所有实数少(在这种情况下,函数y=998x+2提供了必要的一一对应关系)。初一看,这似乎是违反直觉的,但当人们熟悉了无穷集合的性质,便不再相信幼稚的直觉。

  在此基础上,再向前迈一小步,我们便可以证明,所有实数的集合同样具有与区间(0,1)相同的基数。这一次,确定一一对应关系的函数是

 

  如图11.3所示,区间(0,1)内的每一个点x都有唯一的一个实数y与它相伴,反之,每一个实数y,也都有一个且仅有一个区间(0,1)内的点x与之相对应。总之,这就是必要的一一对应关系。

  现在,我们可以跟随康托,再向前迈出勇敢的一步。正像我们曾把N作为基本集合而引入了第一个超限基数0一样,区间(0,1)也将作为定义一个新的、更大的超限基数的标准。也就是说,我们可以规定这一单位区间的基数为c(英文“连续统”一词的第一个字母)。我们前面的讨论表明,不仅区间(0,1)有基数c,而且,任何有限长的区间,以及所有实数集合本身,都具有这一相同的基数。另外区间(0,1)的不可数性说明,c是一个与0不同的基数。这样,康托就用他的方法建立了超限数的序列。

  所有这些讨论在认识有理数集与无理数集的内在区别方面开始显示出它的重要意义。有理数集与无理数集的区别绝不仅仅是前者可以写成有限小数或无限循环小数而后者则不能的问题。为了更清楚地说明这一点,康托只需要再增加一个结果:

  

0·定理U 如果集合B与C是可数的,而集合A的所有元素属于B或者属于C(或者属于两者),那么,集合A是可数的。(在这种情况下,我们说A是B与C的并集,记作A=B∪C。)

证明 所设的B与C的可数性保证了它们各自与自然数的一一对应关系:

  

  在集T合B的元素中均匀地插入集合C的元素,我们可以在N与A=B∪C之间建立起一一对应的关系:

  

  所以,集合A也是可数的。这一定理说明,两个可数集的并集也是可数的。证讫。

  现在我们可以证明有理数集与无理数集的一个较重要的区别:我们已证明前者是可数的,对于后者,我们将断定它不可数。因为,假设无理数集是可数集。那么,根据定理U,所有有理数(我们已证明其可数性)与所有无理数(我们假设其可数)的并集也应该同样是可数集。但是,这个并集恰恰是全部实数的集合,是一个不可数集。用反证法,我们可以断定,无理数过于丰富,以致无法与集合N构成一一对应关系。

  不太正规地说,这意味着无理数在数量上大大超过有理数。实数远比有理数多的原因恐怕只能解释为实数轴几乎被漫无边际的无理数所淹没。数学家有时说“大部分”实数,常常是对无理数而言;至于有理数集,公认是一个非常重要的无穷集,尽管有理数在数轴上处处稠密,然而与无理数相比不过是沧海一粟。数不胜数的有理数当初是如此丰富,现在在实数集中却突然变得似乎无足轻重了。其实,有理数果真那样多吗?并非如此,对于康托来说,从基数的意义上讲,有理数的确非常稀少,而无理数则占据着统治地位。

  为深入探索微积分的奥秘,康托证明了一些奇特的定理。他的研究对于认识实数集之间的内在区别当然有着重要意义,并有助于解释某些迄今为止尚不能解释的现象。如果说康托开始研究的还只是微积分的算术化问题的话,那么,他由此创立的集合论则呈现出极大的活力,对此,我们将在下章进行讨论。 

后记

  所有这一切已足以震古烁今,但康托1874年的论文中还包含着一个更加令人震惊的结果。康托不但证明了实数的不可数性,而且还把这一性质应用于一个长期困扰数学家的难题——超越数的存在。

  我们已经注意到,所有实数的集合可以再细分为相对稀有的有理数集和比较丰富的无理数集。然而,让我们回忆一下,在第一章的后记中曾提到,实数还可以详尽无遗地分为两个相互排斥的数系——代数数和超越数。

  代数数看来可以构成一个庞大的集合。所有有理数都是代数数,因为 

合。相比之下,超越数就极难得到。虽然欧拉最早猜测超越数的存在(即,并非所有实数都是比较驯顺的代数数簇),但第一个具有某种形式的超越数实例却是由法国数学家约瑟夫·刘维尔于1844年给出的。1874年,当康托开始研究这个问题的时候,林德曼关于π是超越数的证明还没有出台。直到将近10年以后,这个证明才问世。也就是说,在康托发展他的无穷论时,人们还只发现了非常少的超越数。也许,这些超越数只是实数中的一种例外,而不是一种常规。

  然而,乔治·康托已习惯于将例外转变为常规,在超越数问题上,他又一次成功地实现了这种转变。他首先证明了全部代数数的集合是可数的。基于这一事实,康托开始探索看似稀有的超越数问题。

  首先设任意区间(a,b)。他已证明在这一区间中的代数数构成了一个可数集;如果超越数也同样可数,那么,根据定理U,(a,b)本身也应该可数。但是,他已经证明,区间是不可数的。这就表明,

  无论在任何区间,超越数在数量上都一定大大超过代数数!

  从另一个角度说,康托认识到,在(a,b)区间实数远远多于代数数,这也许就是代数数相对比较少的原因。然而,所有这些实数是从哪里来的呢?它们必定是极大量存在的超越数。

  这是一个真正引起争论的定理,因为人们毕竟只知道极少数几个非代数数的存在。而康托却十分自信地说,绝大多数实数是超越数,但他在作出这种推断的时候却没有展示出任何一个具体的超越数实例!相反,他只是“数”区间中的点,并由此认为,区间中的代数数只占很小一部分。这种证明超越数存在的间接方法真是令人吃惊。一位受人欢迎的数学史作家埃里克·坦普尔·贝尔以充满诗意的语言概述了这种情况:

  “点缀在平面上的代数数犹如夜空中的繁星;而沉沉的夜空则由超越数构成。”

  这就是康托1874年划时代的杰出论文所留下的宝贵遗产。许多数学家看到康托的结论,都惊异地摇头或干脆表示怀疑。在保守的数学家看来,比较无穷的大小简直就像是这位有点儿神秘兮兮的年青学者搞的一场浪漫而荒唐的恶作剧;断言有大量的超越数存在,却又举不出一个实例,真是十足的愚蠢。

  乔治·康托听到了这些批评。但是,他坚信他的事业是正确的,他所做的还仅仅是开始。他后来的研究与他目前的这些发现相比,确实更见其辉煌。

  • 首页
    返回首页
  • 栏目
    栏目
  • 设置
    设置
  • 夜间
  • 日间

设置

阅读背景
正文字体
  • 宋体
  • 黑体
  • 微软雅黑
  • 楷体
文字大小
A-
14
A+
页面宽度
  • 640
  • 800
  • 960
  • 1280
上一篇:第十二章 下一篇:第十章

小说推荐