格奥尔格·康托尔

title: 生平.
title: 青年时期.
content: 康托尔,1845年出生于俄国圣彼得堡的商人殖民地,并在城里生活直到他十一岁,他父亲是丹麦商人,母亲是俄国音乐家。他是六个孩子中最年长的一个,被认为是一位杰出的小提琴手。他的祖父弗兰兹伯姆(Franz Böhm, 1788-1846,小提琴家约瑟夫伯姆的兄弟)是俄罗斯帝国管弦乐团的著名音乐家和独奏家。康托尔的父亲曾是圣彼得堡证券交易所的成员;当他生病时,为了寻求 比圣彼得堡更温和的冬天,于 1856年他们全家先迁移到了德国的威斯巴登,然后到了法兰克福。1860年康托尔从达姆施塔特的 Realschule区中学毕业;他在数学方面的学业成绩优异,尤其是三角学。1862年康托尔进入瑞士联邦理工学院。在 1863年 6月他父亲去世后,他继承了丰厚的财产;康托尔将他的学业转移到柏林大学,研习Karl Weierstrass, Leopold Kronecker,和 Ernst Kummer的课程。1866年夏天他在哥廷根大学度过了一段时间。格奥尔格康托尔是一个好学生,在 1867年于柏林大学获得了博士学位。
title: 任教及研究生涯.
content: 康托尔于 1867年在柏林大学提交了关于数论的论文。在柏林女子学校短暂讲授后,康托尔在哈勒大学任职并在那度过了他整个的职业生涯,在 1869年他任职时所提出的数论论文,因而取得了特许任教资格。1874年康托尔与 Vally Guttmann结婚,在他们度过哈尔茨山脉的蜜月期间,康托尔花了很多时间与Richard Dedekind讨论数学,两人结识是因他两年前的瑞士度假时而遇到戴德金。他们育有六个孩子,1886年出生的鲁道夫是他们最小的孩子。尽管他任教职的薪酬很低,但康托尔能 负担这人口众多的家庭生计支出,要归功于他父亲的优渥遗产。康托尔在 1872年升任副教授,并在他三十四岁时(1879年)就成为教授,是一个显著的功名;但康托尔希望在德国柏林更有声望的领先大学中,担任主席;然而他的研究工作成果遭遇了太多的反对,每当康托尔在柏林申请更高阶的职位,他都被拒绝了。通常是因当时克罗内克有异议的关系,使其所望难以实现。所以康托尔相信因为克罗内克的反对立场,会让他无法离开哈勒。1881年康托尔的同事爱德华海涅去世,产生了一个主席空缺。哈勒大学采纳康托尔的提议,将主席此一职位依序提供给戴德金、Heinrich M. Weber 或是Franz Mertens 这三位,但他们全都拒绝了;这个职位最终任命给 Friedrich Heinrich Albert Wangerin,但他从来没有接近过康托尔。1882年康托尔和戴德金之间通信联系的数学关系告一段落,显然是由于戴德金拒绝了哈勒大学的主席一职。  在 1884年5月康托尔遭受了自身抑郁症的第一次发作。对他工作的批评让他头脑昏沉:他在 1884年写给 Mittag-Leffler 的52封信,每封信中都提到克罗内克,其中一段内文揭漏了他自信心所受到的残害: 此后康托尔康复,随后作出了进一步的重要贡献,包括他的对角论证和定理。1889年康托尔成立了德国数学学会,并于 1891年在哈勒大学主持了首次会议,在那里他首先介绍了他发明的对角线论证法;尽管克罗内克反对他的工作,但此时他的声誉已足够强大到确保当选,为这个学术社群的第一任主席。他最终撇开了克罗内克对他的敌意,并寻求与克罗内克的和解,康托尔邀请他在会上发言,但克罗内克却因为妻子因当时的滑雪事故中死亡而无法出席。而即使克罗内克在 1891年 12月 29日去世之后,康托尔也再达不到其于 1874-84年发表论文的卓越水准。分裂它们的哲学分歧和困难依旧存在。康托尔在 1897年在瑞士苏黎世举行的第一届国际数学家大会中也发挥了重要作用。
title: 晚年时期.
content: 康托尔的后半生受到躁郁症的严重影响工作,他不得不经常入院治疗。根据后来他发表的论文推测,他患的可能是躁郁症。他曾写了一篇验证1000以下的歌德巴赫猜想的论文,其实几十年前已经有人验证到了10000。他又发表了几篇文学方面的论文,试图证明弗兰西斯·培根其实是莎士比亚作品的真正作者。以及神学方面的论文,企图证明绝对无穷的概念即是上帝。第一次世界大战期间,他陷于赤贫状态,最后死于哈雷大学的精神病院。
title: 数学领域上的成就.
content: 康托尔在 1874至1884 这十年间的研究成果,是集合论的起源。在此之前追溯已往到亚里士多德时代,数学领域中的集合,从最初就隐含地使用了相当原始的集合概念。没有人意识到集合这个概念中,有任何未深入研讨的内容。在康托尔之前的集合概念,只区分为一般人直觉上容易理解的有限集合,而所谓的“无穷”集合被认为是哲学而非数学研讨的命题。康托尔证明无穷集合存在着许多可能的大小,而扩展了数学领域中对于集合概念,其真实涵义的研讨。  集合论已经发挥了现代数学基础理论的作用,因为它明确定义并解释了,几乎所有的传统数学领域(如代数,分析和拓扑)中的数学对象(例如数系和函数)的命题;根据康托尔所建立起的这一套集合理论,提供了标准的公理来证明或反证它们。因此集合论的基本概念,现在被应用在整个数学领域中。在他最早的一篇论文中,康托尔证明了实数系集合和自然数集合,在大小比较上实数系要“多更多了”;这首次表明即使两个元素都是无穷的集合,在大小上仍然会存在有不同的组合;他也是第一个理解集合论中的一对一对应关系(以下称为“一一对应关系”)的重要性的人。他用这种概念来定义有限和无穷集合,将后者再区分为可数的(或可数无穷)以及 非可数的无穷集合。  康托尔发展了拓扑中的重要概念,其与基数的关系。例如,他表明康托尔集合(Cantor set)不是密集的,而与实数系集合一样具有相同的基数,而有理数的集合是密集而且可数的。他还表明了线性稠密可数的、而没有终点的序,和有理数集合是同构的。康托尔介绍了集合论的基本结构,如formula_1集合的幂集,是对于formula_1集合其中所有元素,各种组合而构成的一个子集。他后来证明了即使 formula_1属于无穷集合, formula_1的幂集大小,也将会是严格大于 formula_1的大小,这个结果很快就被称为康托尔定理。康托尔发展了整套的集合论和无穷集合的算术,称为基数和序数,它扩充了自然数的算术。他对基数的标记符号是希伯来文 formula_6与自然数下标;对于标示序的符号他采用了希腊字母 ω。这个符号表示法目前数学界仍在使用。  康托尔的连续统(Continuum)假说,是 1900年巴黎数学家国际会议,大卫·希尔伯特提出23个尚无证明命题的第一个。康托尔的研究成果也吸引了其它人的关注。美国哲学家皮尔士赞扬他的集合论;而在 1897年苏黎世举行的第一届国际数学家会,康托尔发表的公开讲座之后,Hurwitz 和 Hadamard 也都表示了钦佩。在那次大会上康托尔重新与戴德金交换了友谊和信件。自 1905年起康托尔与英国翻译家菲利普朱尔丹就集合论的历史,和康托尔的宗教思想,进行了对谈,这些对谈后来集成出版为康托尔的讲述作品。
title: 数论,三角级数和序数.
content: 康托尔的前十篇论文题目是关于数论。在哈勒大学教授爱德华海涅的建议下,康托转向分析。海涅提出了困惑著Peter Gustav Lejeune Dirichlet、Rudolf Lipschitz,Bernhard Riemann和海涅自己的问题:如何呈现三角级数的建构函数的唯一性质?康托尔在 1869年解决了这个难题,而在研究这个三角级数唯一定理的时候,他发现了超限序数,出现在对于三角级数的集合"S",其下标为"n"的第"n"个索引的导出集合 "S"之中。  1870 至 1872年之间康托尔发表了更多关于三角函数的论文,并且还将无理数定义为有理数的收敛序列。戴德金引用了这篇论文,并在他的论文中首次提出了戴德金切割的实数定义。即使康托尔革命性地以无限基数的概念来扩大集合概念的同时,他却自相矛盾地反对同期数学分析学者 Otto Stolz 和 Paul du Bois-Reymond 的无限小理论;康托尔还发表了一个错误的“证明”,试图证明无穷小量的不一致性。
title: 集合论.
title: 一一对应和对角线证明方法.
content: 康托尔提出了通过一一对应的方法对无限集合的大小进行比较,并将能够彼此建立一一对应的集合称为等势,即可以被认为是“一样大”的。他引入了可数无穷的概念,用来指与自然数集合等势的集合,并证明了有理数集合是可数无穷,而实数集合不是可数无穷,这表明无穷集合的确存在着不同的大小,他称与实数等势(从而不是可数无穷)的集合为不可数无穷。原始证明发表于 1874年,这个证明使用了较为复杂的归纳反证法。1891年他用对角线法重新证明了这个定理。另外,他证明了代数数集合是可数集,以及 formula_7维空间与一维空间之间存在一一对应。在上述理论的基础上,康托尔又系统地研究了序数理论,提出了良序定理,即可以给任何集合内的所有元素定义一个大小关系,使得任意两个元素都可以比较大小,且该集合的任意子集都有最小元素。
title: 连续统假设.
content: 康托尔晚年致力于证明他自己提出的连续统假设,即任意实数的无穷集合或者是可数无穷或者是不可数无穷,二者必居其一,但没有成功。

Summary: 格奥尔格·费迪南德·路德维希·菲利普·康托尔(,1845年-3月3日-1918年-1月6日),出生于俄国的德国数学家(波罗的海德国人)。他创立了现代集合论,是实数系以至整个微积分理论体系的基础,还提出了势和良序概念的定义;康托尔确定了在两个集合中的成员,其间一对一关系的重要性,定义了无限且有序的集合,并证明了实数比自然数更多。康托尔对这个定理所使用的证明方法,事实上暗示了“无限的无穷” 的存在。他定义了基数和序数及其算术。康托尔很清楚地自知自觉他的成果,富有极浓厚的哲学兴趣。康托尔提出的超越数,最初被当时数学界同侪认为如此反直觉-甚至令人震惊-因而拒绝接受他的理论,且以利奥波德·克罗内克为首的众多数学家长期攻击。克罗内克反对代数数为可数的,而超越数为不可数的证明。

Georg Cantor: Georg Ferdinand Ludwig Philipp Cantor (, ; – January 6, 1918) was a German mathematician. He created set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets, and proved that the real numbers are more numerous than the natural numbers. In fact, Cantor's method of proof of this theorem implies the existence of an "infinity of infinities". He defined the cardinal and ordinal numbers and their arithmetic. Cantor's work is of great philosophical interest, a fact he was well aware of.