集合论的创立

1 集合论的创立和传播

　　集合论的创立者格奥尔格·康托尔，1845年3月3日出生于俄国圣彼得堡（前苏联列宁格勒）一个商人家庭。他在中学时期就对数学感兴趣。1862年，他到苏黎世上大学，1863年转入柏林大学。

　　当时柏林大学正在形成一个数学教学与研究的中心，他在1867年的博土论文中就已经反映出“离经叛道”的观点，他认为在数学中提问的艺术比起解法来更为重要。的确，他原来的成就并不总是在于解决间题，他对数学的独特贡献在于他以特殊提问的方式开辟了广阔的研究领域。他所提出的问题一部分被他自己解决，一部分被他的后继者解决，一些没有解决的问题则始终支配着某一个方向的发展，例如著名的连续统假设。

　　1869年康托尔取得在哈勒大学任教的资格，不久就升为副教授，并在1879年升为教授，他一直到去世都在哈勒大学工作。哈勒是一个小地方，而且薪金微薄。康托尔原来希望在柏林找到一个薪金较高、声望更大的教授职位，但是在柏林，那位很有势力而且又专横跋扈的克洛耐克处处跟他为难，阻塞了他所有的道路。原因是克洛耐克对于他的集合论，特别是他的“超穷数”观点持根本否定的态度。由于用脑过度和精神紧张，从1884年起，他不时犯深度精神抑郁症，常常住在疗养院里。1918年1月6日他在哈勒大学附近的精神病院中去世。

　　集合论的诞生可以说是在1873年年底。1873年11月，康托尔在和戴德金的通信中提出了一个问题，这个问题使他从以前关于数学分析的研究转到一个新方向。他认为，有理数的集合是可以“数”的，也就是可以和自然数的集合成一对一的对应。但是他不知道，对于实数集合这种一对一的对应是否能办到。他相信不能有一对一的对应，但是他“讲不出什么理由”。

　　不久之后，他承认他“没有认真地考虑这个问题，因为它似乎没有什么价值”。接着他又补充一句，“要是你认为它因此不值得再花费力气，那我就会完全赞同”。可是，康托尔又考虑起集合的映射问题来。很快，他在1873年12月7日又写信给戴德金，说他已能成功地证明实数的“集体”是不可数的了，这一天可以看成是集合论的诞生日。

　　戴德金热烈的祝贺了康托尔取得的成功。其间，证明的意义也越来越清楚。因为康托尔还成功地证明代数数的集合也是可数的。所谓代数数就是整系数代数方程的根，而象π与e这样的不能成为任何整系数代数方程的根的数，则称为超越数。

　　早在1847年，刘维尔就通过构造的方法（当时大家认为是唯一可接受的方法）证明了超越数的存在，也就是具体造出超越数来。可是，康托尔 1874年发表的有关集合论的头一篇论文《论所有实代数集合的一个性质》断言，所有实代数数的集合是可数的，所有实数的集合是不可数的。因此，非代数数的超越数是存在的，并且其总数要比我们熟知的实代数数多得多，也就是说超越数的集合也是不可数的。

　　康托尔的这种证明是史无前例的。他连一个具体的超越数都没有举出来，就“信口开河”的说超越数存在，而且比实代数数的“总数”多得多，这怎么能不引起当时数学家的怀疑甚至愤怒呢？

　　其实，康托尔的著作主要是证明了无穷之间也有差别，既存在可数的无穷，也存在那种像实数集合那样不可数的、具有“连续统的势”的无穷。过去数学家认为靠得住的只有有限，而无穷最多只是模模糊糊的一个记号。而康托尔把无穷分成许多“层次”，这真有点太玄乎了。

　　1878年，康托尔发表了集合论第二篇文章，其中把隐含在1847年文章中的“一一对应”概念提出来，作为判断两个集合相同或不同的基础，这就是最原始的等价观念。而两个集合相互之间如果能够一一对应就称为等势，势的概念于是应运而生。

　　从1879年到1884年，康托尔发表了题为“论无穷线性点集”的一系列文章，共有六篇，这些文章奠定了新集合论的基础。特别是在1883年的文章中引进生成新的超穷数概念，并且提出了所谓连续统假设，即可数基数后面紧接着就是实数基数。他相信这个假设正确，但没能证明。这个假设对于二十世纪数学基础的发展起着极其重大的作用。

　　康托尔最后的集合论著作是1895年和1897年发表的两篇文章，其中最重要的是引进“序型”的概念，并定义相应的序数。这个时期，反对集合论的势力逐渐削弱，但是集合论的内在矛盾已经开始暴露出来了。

　　康托尔自己最早发现了集合论的内在矛盾。他在1895年文章中遗留下两大问题未解决：一个是连续统假设，另一个是所有超穷基数的可比较性。他虽然认为无穷基数有最小数但没有最大数，但没有明显叙述其矛盾之处。

　　第一个发表集合论悖论的是意大利数学家布拉里·福蒂，他指出所有序数的集合这个概念的内在矛盾，但是当时认为这也许能够补救。一直到1903年罗素发表他的著名悖论，集合论的内在矛盾才突出出来，并成为二十世纪集合论和数学基础研究的出发点。

　　康托尔的集合论是数学上最具有革命性的理论，因此它的发展道路自然很不平坦。在当时，占统治地位的观念是：你要证明什么，你就要具体造出什么来。因此，人们只能从具体的数或形出发，一步一步经过有限多步得出结论来。至于“无穷”的世界，即完全是超乎人的能力之外，决不是人所能掌握和控制得了的。

　　反对集合论最激烈的克洛耐克认为只有他研究的数论及代数才最可靠。他有一句著名的话：“上帝创造了正整数，其余的是人的工作”。他认为除了由数经过有限多步推出的事实，其他一概无效。他甚至认为圆周率 π都不存在，证明 π是超越数也毫无意义。当时柏林是世界数学的中心之一，克洛耐克又是柏林学派的领袖人物，因此他对集合论发展的阻碍作用是非常大的。克洛耐克在1891年去世之后，阻力一下子减少了，康托尔发挥出自己的组织才能，积极筹建德国数学联合会（1891年成立）以及国际数学家大会（1897年第一届大会在苏黎世召开），给集合论获得承认铺平了道路。

　　另—方面，许多大数学家支持康托尔的集合论。除了戴德金以外，瑞典的数学家米太格－莱夫勒在自己创办的国际性数学杂志“数学学报”（1882年创刊）上，把康托尔集合论的论文译成法文转载，从而大大促进了集合论在国际上的传播。柏林大学教授威尔斯持拉斯也是集合论的同情者，为了捍卫集合论而勇敢战斗的则是希尔伯特。

　　从此，围绕集合论形成了二十世纪初关于数学基础的大论战。