1701004054
1701004055
1701004056
1701004057
当然，我无法画出一张有无穷多位客人的图，毕竟本书的篇幅不是无穷大的。而且，这张有限的图已经足够说明问题了。虽然图没有画全，但是我们知道，只要不断地增加图的行数和列数，任何一辆给定客车上的任何一位给定的客人（比如从路易斯维尔来度假的伊内兹女士）都会在这幅图的某一个位置上出现。从这个意义上来说，这张图已经描述了所有客人的情况。任何一位客人，只要你叫得出名字，我只需延展一下这张图，就一定能找到他的位置。
1701004058
1701004059
希尔伯特酒店的经理需要设计一种算法，通过这种算法，每个新客人最终都会被安排到一间空房间里去，在一位给定的客人被安顿下来之前，应该只有有限个步骤。
1701004060
1701004061
遗憾的是，希尔伯特酒店的经理没能理解这个算法的要求。他一直忙着安顿第一辆客车上的客人（这辆客车上有无穷多位客人），而没空理会其他客车上的客人。所以，其他客车上的客人已经等得不耐烦了，他们开始叫骂，场面一片混乱。经理的算法可以用下图中的箭头表示：经理一直在安排第一辆客车上的客人，所以这是一条从西向东的直线，这条直线只穿过第一行。
1701004062
1701004063
1701004064
1701004065
1701004066
为了控制混乱的场面，希尔伯特酒店赶紧又派来一位经理。这位经理非常聪明，他不是只安排第一辆客车上的乘客，而是从下图的一个角开始，沿着折线向前依次安排客人。
1701004067
1701004068
1701004069
1701004070
1701004071
这位更聪明的经理最先安置1号客车上的1号客人，接着安置1号客车上的2号客人，再接着安排2号客车上的1号客人（上图中的第二条对角线）。随后他依次安置第3条对角线上的客人：3号客车上的1号客人、2号客车上的2号客人、1号客车上的3号客人。
1701004072
1701004073
希望看过上面这幅图以后，你已经搞清楚这位经理所用的方法了：沿着矩阵的一条条对角线依次安置客人，每个客人都能在有限的步骤之内被安排妥当。
1701004074
1701004075
通过这种算法，希尔伯特酒店又一次兑现了它的服务承诺：永远有空房！
1701004076
1701004077
我上面所说的算法，是无穷集合理论中的一种著名的算法。康托尔正是用这种算法证明了正分数（p/q, 其中p、q为任意正整数）的数量和自然数（1，2，3，4……）的数量一样多。显然，这个命题比“正分数集和自然数集各自都有无穷多个元素”要强大很多。康托尔证明，正分数集和自然数集都有无穷多个元素，而且这两个无穷大是同等量级的无穷大，因为正分数集和自然数集的元素之间可以形成一种一一对应的关系。
1701004078
1701004079
这种一一对应的关系就好像一种择偶关系，每一个自然数都能找到自己的正分数，反之亦然。这种一一对应关系的存在与我们的常识和直觉是严重抵触的，所以，庞卡莱才会拒不接受这种理论，并认为它是一种诡辩。按照这种理论，我们可以在一张清单上极尽所能地列出所有正分数，但是我们却无法指出其中哪一个正分数是最小的，这真是令人抓狂。
1701004080
1701004081
事实上，在希尔伯特酒店里，这张清单已经列好了：正分数p/q相当于客车q上的客人p，酒店的房间号1、2、3、4……正是自然数集。那位聪明的酒店经理已经为我列好了一张一一对应的清单。
1701004082
1701004083
更让人震惊的是，康托尔还证明了“有一些无限集比另一些无限集要大”。比如，0和1之间的实数就是不可数的——0和1之间的实数无法与自然数建立起一一对应的关系。对于希尔伯特酒店来说，这意味着，如果所有0和1之间的实数都来到酒店前台要求入住，那么希尔伯特酒店就无法再维持自己“永远有空房”的服务承诺：有无数间房间的希尔伯特酒店，也住不下0和1之间的所有实数。
1701004084
1701004085
怎么证明这个结论呢？康托尔使用了矛盾法。首先，假设0和1之间的每个实数都能被安置在希尔伯特酒店的一间客房里。那么，此时希尔伯特酒店的房客登记簿应该是以下这种情况（用小数形式表示这些实数）。
1701004086
1701004087
房间1：0.670 811 234 5……
1701004088
1701004089
房间2：0.191 867 605 3……
1701004090
1701004091
房间3：0.437 285 467 5……
1701004092
1701004093
房间4：0.284 563 548 0……
1701004094
1701004095
记住，这个登记簿应该是一张安置下所有房客的清单。0和1之间的每一个实数都应该出现在这份清单的某个位置上（排在有限位上）。
1701004096
1701004097
康托尔证明，很多0和1之间的实数都不在这份清单上，这就是矛盾的地方。我们可以构造出一个不在上面这张清单上的实数，比如，我们用下面画线的数字组成一个新的实数。
1701004098
1701004099
房间1：0.670 811 234 5……
1701004100
1701004101
房间2：0.191 867 605 3……
1701004102
1701004103
房间3：0.437 285 467 5……