打字猴:1.701004015e+09
1701004015 X的奇幻之旅:在现实生活中发现数学思维之美 [:1701001385]
1701004016 X的奇幻之旅:在现实生活中发现数学思维之美 第30章 “显示满房却永远有空房”的希尔伯特酒店
1701004017
1701004018 2010年2月,我收到了一封电子邮件。邮件的发件人名叫金·福布斯,在邮件中,福布斯女士告诉我说,她6岁的儿子本向她提出了一个数学问题。因为无法回答这个问题,她才写邮件向我求助。
1701004019
1701004020 这个数学问题是这样的:
1701004021
1701004022 今天是我儿子就读学校的100周年校庆日。我的儿子非常兴奋地告诉我数字100的各种性质。他说,100是一个偶数,101是一个奇数,100万又是一个偶数。说完了这些,我的儿子问我:“妈妈,那无穷大是奇数还是偶数?”
1701004023
1701004024 我回信告诉福布斯女士,无穷大既不是奇数也不是偶数。无穷大与我们常见的那些具体的数字不同,它并不服从算术的一些定律和性质。原因在于,如果无穷大服从具体数字的所有性质的话,就会产生诸多矛盾。比如,如果无穷大是奇数,那么两倍的无穷大就是偶数,而两倍的无穷大和无穷大不应该有任何区别,因为两者都是无穷大。因此,奇偶数的概念并不适用于无穷大。
1701004025
1701004026 这封邮件发出以后,福布斯女士很快就回复了我,她在邮件中写道:
1701004027
1701004028 谢谢你,我的儿子本对你的解答非常满意。本说,无穷大太大了,大到了既是奇数又是偶数的境界,他觉得这个理念很有意思,他很喜欢。
1701004029
1701004030 虽然这封邮件在措辞上有些错误(无穷大并非既是奇数又是偶数;它既不是奇数,又不是偶数),但小男孩本的想法却揭示出一个真理:无穷大确实是一个很让人费解的概念。
1701004031
1701004032 在19世纪末期,随着格奥尔格·康托尔在集合论领域取得突破性贡献,无穷大的那些奇特的性质首次浮出了水面。康托尔致力于研究数和点的无限集合,比如{1,2,3,4,……}这个自然数集合,或者一条直线上点的集合。为了比较不同的无限集合,康托尔发明了一套非常严密的逻辑方法。令康托尔震惊的是:他发现有些无穷大比另一些无穷大的数值更大。
1701004033
1701004034 当时,数学界不仅不肯接受康托尔的理论,甚至还对他的理论产生了一些愤怒和敌对的情绪。当时非常有名望的数学家亨利·庞卡莱认为康托尔的理论是一个“毒瘤”。但是,另一位数学大师戴维·希尔伯特却认为康托尔的工作是一个巨大的突破性贡献。希尔伯特后来这样说道:“康托尔给我们建造了一座天堂,任何人都不能把我们从这座天堂里赶出去。”
1701004035
1701004036 我写作本章的目的,就是想带你去看看这个天堂到底是什么模样。不过,我不打算从数集和点集开始谈起,而是要用一个比喻来形容这个天堂的样子。这个比喻是戴维·希尔伯特本人发明的,通过这个“大酒店”的比喻,希尔伯特生动地描述出康托尔理论的诡异和美丽。这个比喻被人们称为“希尔伯特酒店”。
1701004037
1701004038 希尔伯特酒店的特殊之处在哪里呢?这个酒店的特点是:它永远显示满房,却又永远有空房间。
1701004039
1701004040 希尔伯特酒店的面积非常大,成百上千都不足以形容酒店的房间数量,它的房间数量是无穷大。每有一位新的顾客到来,酒店经理就让1号房的客人移去2号房、2号房的客人移去3号房、3号房的客人移去4号房……这样,1号房间就可以空出来给新的客人居住,而之前的所有入住客人仍然都有房间可住(除了要麻烦他们换一下房间)。
1701004041
1701004042 现在,假设突然来了无穷多个新客人,他们风尘仆仆,不耐烦地要求马上入住。这可难不倒希尔伯特酒店的经理。这次,经理另辟蹊径:让1号房的客人移去2号房,2号房的客人移去4号房,3号房的客人移去6号房……这样折腾了一番之后,所有奇数号的房间都空了出来——无穷大间奇数号的房间,完全可以容纳下无穷多位新客人。
1701004043
1701004044 这一轮腾挪,事情还没有结束。深夜时分,酒店门口突然驶来了无数辆客车,每辆客车里面都有无数位客人。这些客人全部要求入住,希尔伯特酒店仍然表示毫无压力,因为它的宗旨就是:永远有空房!
1701004045
1701004046 希尔伯特酒店的经理可是见过大世面的,这种场面一点儿也吓不倒他。首先,他故技重施:让1号房的客人移去2号房,2号房的客人移去4号房,3号房的客人移去6号房……移完之后,所有奇数号的房间都空了出来,酒店又有了无穷多间空房间。
1701004047
1701004048 但是,这么多间空房间真的够新客人居住吗?看起来有点儿悬,因为酒店需要接待的新客人的人数似乎是无穷大的平方。(因为酒店门口有无数辆客车,每辆客车里面又有无数位客人,所以客人的总数应该是无穷大乘以无穷大,虽然我们暂时不清楚无穷大乘以无穷大到底有多大。)
1701004049
1701004050 到了这一步,无穷大的逻辑似乎变得有点儿奇怪了。
1701004051
1701004052 那么,希尔伯特酒店的经理到底应该如何安置这些新客人呢?我可以通过图示来让问题变得更直观一些。
1701004053
1701004054
1701004055
1701004056
1701004057 当然,我无法画出一张有无穷多位客人的图,毕竟本书的篇幅不是无穷大的。而且,这张有限的图已经足够说明问题了。虽然图没有画全,但是我们知道,只要不断地增加图的行数和列数,任何一辆给定客车上的任何一位给定的客人(比如从路易斯维尔来度假的伊内兹女士)都会在这幅图的某一个位置上出现。从这个意义上来说,这张图已经描述了所有客人的情况。任何一位客人,只要你叫得出名字,我只需延展一下这张图,就一定能找到他的位置。
1701004058
1701004059 希尔伯特酒店的经理需要设计一种算法,通过这种算法,每个新客人最终都会被安排到一间空房间里去,在一位给定的客人被安顿下来之前,应该只有有限个步骤。
1701004060
1701004061 遗憾的是,希尔伯特酒店的经理没能理解这个算法的要求。他一直忙着安顿第一辆客车上的客人(这辆客车上有无穷多位客人),而没空理会其他客车上的客人。所以,其他客车上的客人已经等得不耐烦了,他们开始叫骂,场面一片混乱。经理的算法可以用下图中的箭头表示:经理一直在安排第一辆客车上的客人,所以这是一条从西向东的直线,这条直线只穿过第一行。
1701004062
1701004063
1701004064
[ 上一页 ]  [ :1.701004015e+09 ]  [ 下一页 ]