http://www.mathrs.net/news.php?classid=42
中国数学资源网,里有古今数学史
寻找数学的基础:集合论的创立(1)
集合论的创立者格奥尔格·康托尔,1845年3月3日出生于俄国圣彼得堡(前苏联列宁格勒)一个商人家庭。他在中学时期就对数学感兴趣。1862年,他到苏黎世上大学,1863年转入柏林大学。
当时柏林大学正在形成一个数学教学与研究的中心,他在1867年的博土论文中就已经反映出“离经叛道”的观点,他认为在数学中提问的艺术比起解法来更为重要。的确,他原来的成就并不总是在于解决间题,他对数学的独特贡献在于他以特殊提问的方式开辟了广阔的研究领域。他所提出的问题一部分被他自己解决,一部分被他的后继者解决,一些没有解决的问题则始终支配着某一个方向的发展,例如著名的连续统假设。
1869年康托尔取得在哈勒大学任教的资格,不久就升为副教授,并在1879年升为教授,他一直到去世都在哈勒大学工作。哈勒是一个小地方,而且薪金微薄。康托尔原来希望在柏林找到一个薪金较高、声望更大的教授职位,但是在柏林,那位很有势力而且又专横跋扈的克洛耐克处处跟他为难,阻塞了他所有的道路。原因是克洛耐克对于他的集合论,特别是他的“超穷数”观点持根本否定的态度。由于用脑过度和精神紧张,从1884年起,他不时犯深度精神抑郁症,常常住在疗养院里。1918年1月6日他在哈勒大学附近的精神病院中去世。
集合论的诞生可以说是在1873年年底。1873年11月,康托尔在和戴德金的通信中提出了一个问题,这个问题使他从以前关于数学分析的研究转到一个新方向。他认为,有理数的集合是可以“数”的,也就是可以和自然数的集合成一对一的对应。但是他不知道,对于实数集合这种一对一的对应是否能办到。他相信不能有一对一的对应,但是他“讲不出什么理由”。
不久之后,他承认他“没有认真地考虑这个问题,因为它似乎没有什么价值”。接着他又补充一句,“要是你认为它因此不值得再花费力气,那我就会完全赞同”。可是,康托尔又考虑起集合的映射问题来。很快,他在1873年12月7日又写信给戴德金,说他已能成功地证明实数的“集体”是不可数的了,这一天可以看成是集合论的诞生日。
戴德金热烈的祝贺了康托尔取得的成功。其间,证明的意义也越来越清楚。因为康托尔还成功地证明代数数的集合也是可数的。所谓代数数就是整系数代数方程的根,而象π与e这样的不能成为任何整系数代数方程的根的数,则称为超越数。
早在1847年,刘维尔就通过构造的方法(当时大家认为是唯一可接受的方法)证明了超越数的存在,也就是具体造出超越数来。可是,康托尔1874年发表的有关集合论的头一篇论文《论所有实代数集合的一个性质》断言,所有实代数数的集合是可数的,所有实数的集合是不可数的。因此,非代数数的超越数是存在的,并且其总数要比我们熟知的实代数数多得多,也就是说超越数的集合也是不可数的。
寻找数学的基础:集合论的创立(2)
有限和无穷的这个特点可以从下面的小故事反映出来,这个故事据说是希尔伯特说的。
某一个市镇只有一家旅馆,这个旅馆与通常旅馆没有不同,只是房间数不是有限而是无穷多间,房间号码为1,2,3,4,……我们不妨管它叫希尔伯特旅馆。这个旅馆的房间可排成一列的无穷集合(1,2,3,4,…),称为可数无穷集。
有一天开大会,所有房间都住满了。后来来了一位客人,坚持要住房间。旅馆老板于是引用“旅馆公理”说:“满了就是满了,非常对不起!”。正好这时候,聪明的旅馆老板的女儿来了,她看见客人和她爸爸都很着急,就说:“这好办,请每位顾客都搬一下,从这间房搬到下一间”。于是1号房间的客人搬到2号房间,2号房间的客人搬到3号房间……依此类推。最后1号房间空出来,请这位迟到的客人住下了。
第二天,希尔伯特旅馆又来了一个庞大的代表团要求住旅馆,他们声称有可数无穷多位代表一定要住,这又把旅馆经理难住了。老板的女儿再一次来解围,她说:“您让1号房间客人搬到2号,2号房间客人搬到4号……,k号房间客人搬到2k号,这样,1号,3号,5号,……房间就都空出来了,代表团的代表都能住下了。”
过一天,这个代表团每位代表又出新花招,他们想每个人占可数无穷多间房来安排他们的亲戚朋友,这回不仅把老板难住了,连女儿也被难住了。聪明的女儿想了很久,终于也想出了办法。(因为比较繁琐,这里不详细介绍了)
希尔伯特旅馆越来越繁荣,来多少客人都难不倒聪明的老板女儿。后来女儿进了大学数学系。有一天,康托尔教授来上课,他问:“要是区间[0,1]上每一点都占一个房间,是不是还能安排?”她绞尽脑汁,要想安排下,终于失败了。康托尔教授告诉她,用对角线方法证明一切想安排下的方案都是行不通的。
由康托尔的定理,可知无穷集合除了可数集台之外还有不可数集合,可以证明:不可数集合的元素数目要比可数集合元素数目多得多。为了表示元素数目的多少,我们引进“基数”也称“势”的概念,这个概念是自然数的自然推广。可以与自然数集合N一一对应的所有集合的共同性质是它们都具有相同的数目,这是最小的无穷基数记做ω。(ω是希伯来文字母第一个,读做阿列夫)。同样,连续统(所有实数或[0,1]区间内的所有实数集合)的基数是C.康托尔还进一步证明,C=2ω。,问题是C是否紧跟着ω。的第二个无穷基数呢?这就是所谓连续统假设。