第一节 集　合

悖 论

　　悖论就是自相矛盾的命题，如果承认它是正确的，则可以推出它是错误的。而如果承认它是错误的，又能推出它是正确的。

　　也许你会说，哪里会有这样的事呀!如果真是这样，世界还不闹得一团糟!让我们看一看下面这个小问题，你就会明白了。在一个村子里，只有一位理发师。他为自己定下了这样一条规矩：“我只为那些不给自己刮胡子的人刮胡子”。那么理发师是否给自己刮胡子呢?
　　现在我们假设理发师可以给自己刮胡子，那么他就成“给自己刮胡子的人”。而按照他的规矩是不能给“自己刮胡子的人”刮胡子的，所以他不能给自己刮胡子。反之，如果理发师不给自己刮胡子，他就成为“不给自己刮胡子的人”。而按规矩他应该给“不自己刮胡子的人”刮胡子，因此他又应该给自己刮胡子。自作聪明的理发师，为自己制定了进退两难的规矩。
　　也许你会问，这是怎么回事?事实上，这个问题也不是我的发明。它是由19世纪数学家希尔伯特提出的著名的“理发师悖论”。这一悖论的提出，指出康托尔集合论的理论基础的不足之处，促进了集合论的发展。所以悖论的提出并不可怕，它只是表明数学理论的基础缺乏完备性。只要完善理论基础，就可以避免悖论的产生。

返回

康托尔

Kangtuoer康托尔，G.（F.P.）

Georg Ferdinand Philip Cantor (1845～1918)

　　德国数学家，集合论的创始者。1845年3月3日生于圣彼得堡（今苏联列宁格勒），1918年1月6日病逝于哈雷。其父为迁居俄国的丹麦商人。康托尔11岁时移居德国,在德国读中学。1862年17岁时入瑞士苏黎世大学,翌年转入柏林大学,主修数学，从学于E.E.库默尔、K.（T.W.）外尔斯特拉斯和L.克罗内克。1866年曾去格丁根学习一学期。1867年在库默尔指导下以数论方面的论文获博士学位。1869年在哈雷大学通过讲师资格考试，后即在该大学任讲师，1872年任副教授，1879年任教授。
　　大学期间康托尔主修数论，但受外尔斯特拉斯的影响,对数学推导的严格性和数学分析感兴趣。哈雷大学教授H.E.海涅鼓励他研究函数论。他于1870、1871、1872年发表三篇关于三角级数的论文。在1872年的论文中提出了以基本序列（即柯西序列）定义无理数的实数理论，并初步提出以高阶导出集的性质作为对无穷集合的分类准则。函数论研究引起他进一步探索无穷集和超穷序数的兴趣和要求。
　　1872年康托尔在瑞士结识了J.W.R.戴德金，此后时常往来并通信讨论。1873年他估计，虽然全体正有理数可以和正整数建立一一对应，但全体正实数似乎不能。他在1874年的论文《关于一切实代数数的一个性质》中证明了他的估计，并且指出一切实代数数和正整数可以建立一一对应，这就证明了超越数是存在的而且有无穷多。在这篇论文中，他用一一对应关系作为对无穷集合分类的准则。
　　在整数和实数两个不同的无穷集合之外，是否还有更大的无穷?从1874年初起,康托尔开始考虑面上的点集和线上的点集有无一一对应。经过三年多的探索，1877年他证明了□维形体的点和线上的点可以有一一对应。他说，“我见到了，但我不相信。”这似乎抹煞了维数的区别。论文于1878年发表后引起了很大的怀疑。P.D.G.杜布瓦－雷蒙和克罗内克都反对，而戴德金早在1877年7月就看到,不同维数空间的点可以建立不连续的一一对应关系，而不能有连续的一一对应。此问题直到1910年才由L.E.J.布劳威尔给出证明。
　　康托尔在1878年这篇论文里已明确提出“势”的概念(又称为基数)并且用“与自身的真子集有一一对应”作为无穷集的特征。
　　康托尔认为，建立集合论重要的是把数的概念从有穷数扩充到无穷数。他在1879～1884年发表的题为《关于无穷线性点集》论文6篇，其中5篇的内容大部分为点集论，而第5篇很长，此篇论述序关系，提出了良序集、序数及数类的概念。他定义了一个比一个大的超穷序数和超穷基数的无穷序列，并对无穷问题作了不少的哲学讨论。在此文中他还提出了良序定理（每一集合都能被良序），但未给出证明。
　　在1891年发表的《集合论的一个根本问题》里，他证明了一集合的幂集的基数较原集合的基数大，由此可知，没有包含一切集合的集合。他在1878年论文中曾将连续统假设作为一个估计提出，其后在1883年论文里说即将有一严格证明，但他始终未能给出。
　　19世纪70年代许多数学家只承认，有穷事物的发展过程是无穷尽的，无穷只是潜在的，是就发展说的。他们不承认已经完成的、客观存在着的无穷整体，例如集合论里的各种超穷集合。康托尔集合论肯定了作为完成整体的实无穷，从而遭到了一些数学家和哲学家的批评与攻击，特别是克罗内克。康托尔曾在1883年的论文和以后的哲学论文里对于无穷问题作了详尽的讨论。另一方面，康托尔创建集合论的工作开始时就得到戴德金、外尔斯特拉斯和D.希尔伯特的鼓励和赞扬。20世纪以来集合论不断发展，已成为数学的基础理论。
　　他的著作有：《G.康托尔全集》1卷及《康托尔-戴德金通信集》等。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（王宪钧）

返回

康托尔定理中所存在的不足

本文版权归胡思之和人民日报读书论坛共同拥有，转载请注明作者及出处!

文章作者：[胡思之]

　　康托尔先生无疑是有史以来最伟大的数学家之一，其一一对应概念为集合论在数学上的立足开辟了新的天地，凡以集合论为进取目标的人，无不以康托尔先生为鼻祖，鄙人亦不例外。
　　然后，作为康托尔学说的信徒，若盲目对待康托尔先生的每一论点，则是裹足不前的表现，显然是有愧于信徒之称呼。故而，在以集合论为工具批判数论中所存在的谬论之同时，也不得不指出在集合论中，同样存在着不足之处，此不足之处就是著名的康托尔定理。
　　与数论中的谬误相比，康托尔定理不存在逻辑性的错误，其只是不曾将极限引入定理之中。但是，正是由于此一失误，造成数学史上最大的混乱，使之不能正确定位基数的序列，引成了数学中的公理化之缺陷。
　　那么，康托尔定理究竟所指何谓？问题之前必须对集合及其幂集合的概念作一解释。如果我们以A表示为某一集合，以p(A)表示A的幂集合，就是说若集合A中有三个元素：{1，2，3}，则幂集合p(A)中就有元素：{1}、{2}、{3}、{1,2}、{1,3}、{2,3}、{1,2,3}、{φ}等八个元素。一般而言，集合A中若有元素n个，则其幂集合p(A)就有元素2^n个。
　　集合与其幂集合之间的关系一目了然，集合中的元素比其幂集合中的元素少，这是一个不争的事实。但是，康托尔先生将其引伸到了集合的基数上，从而有了著名的康托尔定理：
　　“定理8：对于任一集合S，都有S″＜p(S)″。
　　证明：对于任一x∈S，令f(x)={x}。由于当x_1≠x_2时，有{x_1}≠{x_2}，即f(x_1)≠f(x_2)，所以f就是S→p(S)的一内射函数。因此S″≤p(S)″。下面，我们来证明这个等号是不能成立的。
　　假定不然，即存在一双射函数ψ:S→p(S)。对于任一x∈S,ψ(x)∈p(S)，即ψ(x)是S的子集。当然我们可以问这一x属于ψ(x)吗？一般说来，可能是x∈ψ(x)成立，也可能是x\∈(x)成立。令S_0为所有使得x\∈ψ(x)的那些元x所组成，亦即S_0:={x|x\∈ψ(x)∧x∈S}.(4.5)显然S_0是S的一子集合。因为ψ是一双射函数，所以在S中必有一元素y使得S_0=ψ(y)。因此，我们可以提出y∈S_0是否成立这样一个问题。按照通常逻辑的排中律，y∈S_0或y\∈S_0，两者必居其一。
　　若y∈S_0，由(4.5)式得到y\∈ψ(y)。但是，由y的定义，S_0=ψ(y)，所以y\∈S_0；若y\∈S_0，由S_0=ψ(y)，得到y\∈(y)，但是，由(4.5)式，y∈S_0。
这样，不管y是否属于S_0，都要导出矛盾。因此，这样的双射函数ψ是不存在的，亦即证明了定理8。”(见张锦文著《集合论与连续统假设浅说》第四章第四节康托尔定理。第48页到第四49页)。
　　在上述定理中，以符号“″”表示集合的基数，以符号“\∈”表示不属于。
诚然，当集合A是有限元素的集合时，A→p(A)的内射函数是同态映射的，既然是同态映射，则必不是一一对应，否则就成了同构映射。然而，当集合A为无穷集合时，情况就未必如此。
　　我们知道，自然数集N的幂集合之基数等价于实数集R的基数，是所知的基数中唯一大于可数集基数的集合。若根据康托尔定理，则实数集R的幂集合之基数也有大于实数集R的基数。但是，根据选择公理，对实数集R的幂集合进行商集化分割，其良序化之链与实数集R的良序化之链却是一样的。
　　根据实数集R的基数等价于自然数集N的幂集合，因此，我们可以将实数集R中的所有的点同构映射于自然数集N的幂集合上。于是，实数集R的幂集合也就是等价于自然数集N的幂集合之幂集合。
　　分割自然数集N的幂集合中的元素，使之每一元素属于且仅属于某一商集化子集。按照自然数集N的元素可知，自然数集N的幂集合由自然数的组合而成。例如，有{1}、{2}、{3}、{1,2}、{1,3}、{2,3}、...等。则其商集化子集可按自然数1、2、3、...等来分割，其最小元素集即其良序化之链乃是自然数列。
　　对于自然数集N的幂集合之幂集合，用商集合的概念进行分割，其最小元素集依然可以用自然数1、2、3、...，因为自然数集N的幂集合之幂集合，依旧是由自然数组合的。所以其良序化之链依旧是自然数列。
　　由于自然数集N的幂集合与自然数集N的幂集合之幂集合，都是无穷集合，其商集化子集中的元素也都具有无穷多个元素。因此，根据集合论的一一对应概念，用商集化概念来分割这两个集合，其元素完全可以一一对应。所以，两个集合的基数是相同的。
从自然数集N的幂集合与自然数集N的幂集合之幂集合具有相同的基数中可知，康托尔定理只是将有限集时集合与其幂集合不能一一对应的情况，错误地应用于基数上，而没有考虑到对无穷集合的分割其商集化子集有极限存在。

胡思之写于00-07-05.23:04

康托尔与集合论

　　康托尔是19世纪末20世纪初德国伟大的数学家，集合论的创立者。是数学史上最富有想象力，最有争议的人物之一。19世纪末他所从事的关于连续性和无穷的研究从根本上背离了数学中关于无穷的使用和解释的传统，从而引起了激烈的争论乃至严厉的谴责。然而数学的发展最终证明康托是正确的。他所创立的集合论被誉为20世纪最伟大的数学创造，集合概念大大扩充了数学的研究领域，给数学结构提供了一个基础，集合论不仅影响了现代数学，而且也深深影响了现代哲学和逻辑。

1．康托尔的生平
　　1845年3月3日，乔治·康托生于俄国的一个丹麦—犹太血统的家庭。1856年康托和他的父母一起迁到德国的法兰克福。像许多优秀的数学家一样，他在中学阶段就表现出一种对数学的特殊敏感，并不时得出令人惊奇的结论。他的父亲力促他学工，因而康托在1863年带着这个目地进入了柏林大学。这时柏林大学正在形成一个数学教学与研究的中心。康托很早就向往这所由外尔斯托拉斯占据着的世界数学中心之一。所以在柏林大学，康托受了外尔斯特拉斯的影响而转到纯粹的数学。他在1869年取得在哈勒大学任教的资格，不久后就升为副教授，并在1879年被升为正教授。1874年康托在克列勒的《数学杂志》上发表了关于无穷集合理论的第一篇革命性文章。数学史上一般认为这篇文章的发表标志着集合论的诞生。这篇文章的创造性引起人们的注意。在以后的研究中，集合论和超限数成为康托研究的主流，他一直在这方面发表论文直到1897年，过度的思维劳累以及强列的外界刺激曾使康托患了精神分裂症。这一难以消除的病根在他后来30多年间一直断断续续影响着他的生活。1918年1月6日，康托在哈勒大学的精神病院中去世。

2．集合论的背景
　　为了较清楚地了解康托在集合论上的工作，先介绍一下集合论产生的背景。
　　集合论在19世纪诞生的基本原因，来自数学分析基础的批判运动。数学分析的发展必然涉及到无穷过程，无穷小和无穷大这些无穷概念。在18世纪，由于无穷概念没有精确的定义，使微积分理论不仅遇到严重的逻辑困难，而且还使实无穷概念在数学中信誉扫地。19世纪上半叶，柯西给出了极限概念的精确描述。在这基础上建立起连续、导数、微分、积分以及无穷级数的理论。正是这19世纪发展起来的极限理论相当完美的解决了微积分理论所遇到的逻辑困难。但是，柯西并没有彻底完成微积分的严密化。柯西思想有一定的模糊性，甚至产生逻辑矛盾。19世纪后期的数学家们发现使柯西产生逻辑矛盾的问题的原因在奠定微积分基础的极限概念上。严格地说柯西的极限概念并没有真正地摆脱几何直观，确实地建立在纯粹严密的算术的基础上。于是，许多受分析基础危机影响的数学家致力与分析的严格化。在这一过程中，都涉及到对微积分的基本研究对象─连续函数的描述。在数与连续性的定义中，有涉及关于无限的理论。因此，无限集合在数学上的存在问题又被提出来了。这自然也就导致寻求无限集合的理论基础的工作。总之，为寻求微积分彻底严密的算术化倾向，成了集合论产生的一个重要原因。
3．集合论的建立
　　康托在柏林大学的导师是外尔斯托拉斯，库曼和克罗内克。库曼教授是数论专家，他以引进理想数并大大推动费马大定理的研究而举世闻名是。克罗内克是一位大数学家，当时许多人都以得到他的赞许为荣。外尔斯托拉斯是一位优秀教师也是一位大数学家。他的演讲给数学分析奠定了一个精确而稳定的基础。例如，微积分中著名的观念就是他首先引进的。正是由于这些人的影响，康托对数论较早产生兴趣，并集中精力对高斯所留下的问题作了深入的研究。他的毕业论文就是关于++=0的素数问题的。这是高斯在《算术研究》中提出而未解决的问题。这片论文写得相当出色，它足以证明作者具有深刻的洞察力和对优秀思想的继承能力。然而，他的超穷集合论的创立，并没有受惠于早期对数论的研究。相反，他很快接受了数学家海涅的建议转向了其他领域。海涅鼓励康托研究一个十分有趣，也是较困难的问题：任意函数的三角级数的表达式是否唯一？对康托来说这个问题是促使他建立集合论的最直接原因。函数可用三角级数表示，最早是1822年傅立叶提出来的。此后对于间断点的研究，越来越成为分析领域中引人注目的问题，从19世纪30年代起，不少杰出的数学家从事着对不连续函数的研究，并且都在 一定程度上与集合这一概念挂起了钩。这就为康托最终建立集合论创造了条件。1870年，海涅证明，如果表示一个函数的三角级数在区间[-π,π]中去掉函数间断点的任意小邻域后剩下的部分上是一致收敛的，那么级数是唯一的。至于间断点的函数情况如何，海涅没有解决。康托开始着手解决这个以如此简洁的方式表达的唯一性问题。于，他跨出了集合论的第一步。
　　康托一下子就表现出比海涅更强的研究能力。他决定尽可能多地取消限制，当然这会使问题本身增加难度。为了给出最有普遍性的解，康托引进了一些新的概念。在其后的三年中，康托先后发表了五篇有关这一题目的文章。1872年当康托将海涅提出的一致收敛的条件减弱为函数具有无穷个间断点的情况时，他已经将唯一性结果推广到允许例外值是无穷集的情况。康托1872年的论文是从间断点问题过度到点集论的极为重要的环节，使无穷点集成为明确的研究对象。
　　集合论里的中心，难点是无穷集合这个概念本身。从希腊时代以来，无穷集合很自然地引起数学家们和哲学家们的注意。而这种集合的本质以及看来是矛盾的性质，很难象有穷集合那样来把握它。所以对这种集合的理解没有任何进展。早在中世纪，人们已经注意到这样的事实：如果从两个同心圆出发画射线，那么射线就在这两个圆的点与点之间建立了一一对应，然而两圆的周长是不一样的。16世纪，伽俐略还举例说，可以在两个不同长的线段ab与cd之间建立一一对应，从而想象出它们具有同样的点。
他又注意到正整数可以和它们的平方构成一一对应，只要使每个正整数同它们的平方对应起来就行了:

　　但这导致无穷大的不同的“数量级”，伽俐略以为这是不可能的.因为所有无穷大都一样大。不仅是伽俐略，在康托之前的数学家大多不赞成在无穷集之间使用一一对应的比较手段，因为它将出现部分等于全体的矛盾.高斯明确表态：“我反对把一个无穷量当作实体，这在数学中是从来不允许的。无穷只是一种说话的方式… …”柯西也不承认无穷集合的存在。他不能允许部分同整体构成一一对应这件事。当然，潜无穷在一定条件下是便于使用的，但若把它作为无穷观则是片面的。数学的发展表明，只承认潜无穷，否认实无穷是不行的。康托把时间用到对研究对象的深沉思考中。他要用事实来说明问题，说服大家。康托认为，一个无穷集合能够和它的部分构成一一对应不是什么坏事，它恰恰反应了无穷集合的一个本质特征。对康托来说，如果一个集合能够和它的一部分构成一一对应，它就是无穷的。它定义了基数,可数集合等概念。并且证明了实数集是不可数的代数数是可数的.康托最初的证明发表在1874年的一篇题为《关于全体实代数数的特征》的文章中,它标志着集合论的诞生。
　　随着实数不可数性质的确立，康托又提出一个新的，更大胆的问题。1874年，他考虑了能否建立平面上的点和直线上的点之间的一一对应。从直观上说，平面上的点显然要比线上的点要多得多。康托自己起初也是这样认识的。但三年后，康托宣布：不仅平面和直线之间可以建立一一对应，而且一般的n维连续空间也可以建立一一对应！这一结果是出人意外的。就连康托本人也觉得“简直不能相信”。然而这又是明摆着的事实，它说明直观是靠不住的，只有靠理性才能发现真理，避免谬误。
　　既然n维连续空间与一维连续统具有相同的基数，于是，康托在1879到1884年间集中于线性连续统的研究，相继发表了六篇系列文章，汇集成《关于无穷的线性点集》。前四篇直接建立了集合论的一些重要结果，包括集合论在函数论等方面的应用。其中第五篇发表于1883年，它的篇幅最长，内容也最丰富。它不仅超出了线性点集的研究范围，而且给出了超穷数的一个完全一般的理论，其中借助良序集的序型引进了超穷序数的整个谱系。同时还专门讨论了由集合论产生的哲学问题，包括回答反对者们对康托所采取的实无穷立场的非难。这篇文章对康托是极为重要的。1883年，康托将它以《集合论基础》为题作为专著单独出版。
　　《集合论基础》的出版，是康托数学研究的里程碑。其主要成果是引进了作为自然数系的独立和系统扩充的超穷数。康托清醒地认识到，他这样做是一种大胆的冒进。“我很了解这样做将使我自己处于某种与数学中关于无穷和自然数性质的传统观念相对立的地位，但我深信，超穷数终将被承认是对数概念最简单、最适当和最自然的扩充。”《集合论基础》是康托关于早期集合理论的系统阐述，也是他将做出具有深远影响的特殊贡献的开端。
　　康托于1895年和1897年先后发表了两篇对超限数理论具有决定意义的论文。在该文中,他改变了早期用公理定义(序)数的方法，采用集合作为基本概念。他给出了超限基数和超限序数的定义，引进了它们的符号；依势的大小把它们排成一个“序列”；规定了它们的加法，乘法和乘方… …。到此为止，康托所能做的关于超限基数和超限序数理论已臻于完成。但是集合论的内在矛盾开始暴露出来。康托自己首先发现了集合论的内在矛盾。他在1895年的文章中遗留下两个悬而未决的问题：一个是连续统假说；另一个是所有超穷基数的可比较性。他虽然认为无穷基数有最小数而没有最大数，但没有明显叙述其矛盾之处。一直到1903年罗素发表了他的著名悖论。集合论的内在矛盾才突出出来，成为20世纪集合论和数学基础研究的出发点。

4．对康托集合论的不同评价
　　康托的集合论是数学上最具有革命性的理论。他处理了数学上最棘手的对象---无穷集合。因此，他的发展道路也自然很不平坦。他抛弃了一切经验和直观，用彻底的理论来论证，因此他所得出的结论既高度地另人吃惊，难以置信，又确确实实，毋庸置疑。数学史上没有比康托更大胆的设想和采取的步骤了。因此，它不可避免地遭到了传统思想的反对。
　　19世纪被普遍承认的关于存在性的证明是构造性的。你要证明什么东西存在，那就要具体造出来。因此，人只能从具体得数或形出发，一步一步经过有限多步得出结论来。至于“无穷”，许多人更是认为它是一个超乎于人的能力所能认识的世界，不要说去数它，就是它是否存在也难以肯定，而康托竟然“漫无边际地”去数它，去比较它们的大小，去设想没有最大基数的无穷集合的存在……这自然遭到反对和斥责。
集合论最激烈的反对者是克罗内克，他认为只有他研究的数论及代数才最可靠。因为自然数是上帝创造的，其余的是人的工作。他对康托的研究对象和论证手段都表示强烈的　　反对。由于柏林是当时的数学中心，克罗内克又是柏林学派的领袖人物，所以他对康托及其集合论的发展前途的阻碍作用是非常大的。另一位德国的知觉主义者魏尔认为，康托把无穷分成等级是雾上之雾。法国数学界的权威人物庞加莱曾预言：我们的“后一代将把（康托的）集合论当作一种疾病”等等。由于两千年来无穷概念数学带来的困难，也由于反对派的权威地位,康托的成就不仅没有得到应有的评价，反而受到排斥。1891年，克罗内克去世之后，康托的处境开始好转。
　　另一方面，许多大数学家支持康托的集合论。除了狄德金以外，瑞典的数学家米大格---列夫勒在自己创办的国际性数学杂志上把康托的集合论的论文用法文转载，从而大大促进了集合论在国际上的传播。1897年在第一次国际数学家大会上，霍尔维次在对解析函数的最新进展进行概括时，就对康托的集合论的贡献进行了阐述。三年后的第二次国际数学大会上，为了捍卫集合论而勇敢战斗的希尔伯特又进一步强调了康托工作的重要性。他把连续统假设列为20世纪初有待解决的23个主要数学问题之首。希尔伯特宣称:“没有人能把我们从康托为我们创造的乐园中驱逐出去。”特别自1901年勒贝格积分产生以及勒贝格的测度理论充实了集合论之后，集合论得到了公认，康托的工作获得崇高的评价。当第三次国际数学大会于1904年召开时，“现代数学不能没有集合论”已成为大家的看法。康托的声望已经得到举世公认。

5．集合论的意义
　　集合论是现代数学中重要的基础理论。它的概念和方法已经渗透到代数、拓扑和分析等许多数学分支以及物理学和质点力学等一些自然科学部门，为这些学科提供了奠基的方法，改变了这些学科的面貌。几乎可以说，如果没有集合论的观点，很难对现代数学获得一个深刻的理解。所以集合论的创立不仅对数学基础的研究有重要意义，而且对现代数学的发展也有深远的影响。
　　康托一生受过磨难。他以及其集合论受到粗暴攻击长达十年。康托虽曾一度对数学失去兴趣，而转向哲学、文学，但始终不能放弃集合论。康托能不顾众多数学家、哲学家甚至神学家的反对，坚定地捍卫超穷集合论，与他的科学家气质和性格是分不开的。康托的个性形成在很大程度上受到他父亲的影响。他的父亲乔治·瓦尔德玛·康托在福音派新教的影响下成长起来。是一位精明的商人，明智且有天份。他的那种深笃的宗教信仰强烈的使命感始终带给他以勇气和信心。正是这种坚定、乐观的信念使康托义无返顾地走向数学家之路并真正取得了成功。
　　今天集合论已成为整个数学大厦的基础，康托也因此成为世纪之交的最伟大的数学家之一。

为科学而疯的人——康托儿

　　由于研究无穷时往往推出一些合乎逻辑的但又荒谬的结果(称为“悖论”)，许多大数学家唯恐陷进去而采取退避三舍的态度。在1874—1876年期间，不到30岁的年轻德国数学家康托儿向神秘的无穷宣战。他靠着辛勤的汗水，成功地证明了一条直线上的点能够和一个平面上的点一一对应，也能和空间中的点一一对应。这样看起来，1厘米长的线段内的点与太平洋面上的点，以及整个地球内部的点都“一样多”，后来几年，康托儿对这类“无穷集合”问题发表了一系列文章，通过严格证明得出了许多惊人的结论。
　　康托儿的创造性工作与传统的数学观念发生了尖锐冲突，遭到一些人的反对、攻击甚至谩骂。有人说，康托儿的集合论是一种“疾病”， 康托儿的概念是“雾中之雾”，甚至说康托儿是“疯子”。来自数学权威们的巨大精神压力终于摧垮了康托儿，使他心力交瘁，患了精神分裂症，被送进精神病医院。
　　真金不怕火炼，康托儿的思想终于大放光彩。1897年举行的第一次国际数学家会议上，他的成就得到承认，伟大的哲学家、数学家罗素称赞康托儿的工作“可能是这个时代所能夸耀的最巨大的工作。”可是这时康托儿仍然神志恍惚，不能从人们的崇敬中得到安慰和喜悦。1918年1月6日，康托儿在一家精神病院去世。
　　康托儿(1845—1918)，生于俄国彼得堡一丹麦犹太血统的富商家庭，10岁随家迁居德国，自幼对数学有浓厚兴趣。23岁获博士学位，以后一直从事数学教学与研究。他所创立的集合论已被公认为全部数学的基础。