(3)--1.2----无穷大与无穷大的比较.pdfVIP

无穷大与无穷大的比较

有一些无穷大的数，它们比我们所能写出来的无论多长的数字都要大。

例如：所有的整数的个数和一条线上所有的几何点的个数，显然都是无穷

大的。难道我们能比较一下上面那两个无穷大的数字，哪个更大一些吗？

“所有整数的个数和一条线上所有几何点的个数，究竟哪个更大些？”－－

这个问题有意义吗？乍一看，提这个问题可真是头脑发昏，但是，著名数学家

康托尔（GeorgCantor）首先思考了这个问题。因此，他确实可被称为“无穷

大数算术”的奠基人。

当我们要比较几个无穷大的数的大小时，就会面临这样的一个问题：这些

数既不能读出来，也无法写出来，该怎样比较呢？这下子，我们自己可有点像

一个想要弄清自己的财物中，究竟是玻璃珠子多，还是铜币多的原始部族人了。

那些人只能数到三。难道他会因为数不清大数而放弃比较珠子和铜币数目的打

算？根本不会如此。如果他足够聪明，他一定会通过把珠子和铜币逐个相比的

办法来得出答案。他可以把一粒珠子和一枚铜币放在一起，另一粒珠子和另一

枚铜币放在一起，并且一直这样做下去。如果珠子用光了，而还剩下些铜币，

他就知道，铜币多于珠子；如果铜币先用光了，珠子却还有多余，他就明白，

珠子多于铜币；如果两者同时用光，他就晓得，珠子和铜币数目相等。

康托尔所提出的比较两个无穷大数的方法正好与此相同：我们可以给两组

无穷大数列中的各个数一一配对。如果最后这两组都一个不剩，这两组无穷大

就是相等的；如果有一组还有些没有配出去，这一组就比另一组大些，或者说

强些。

这显然是合理的、并且实际上也是唯一可行的比较两个无穷大数的方法。

但是，当你把这个方法讨诸实用时，你还得准备再吃一惊。举例来说，所有偶

数和所有奇数这两个无穷大数列，你当然会直觉地感到它们的数目相等。应用

上述法则也完全符合，因为这两组数间可建立如下的一一对应的关系。

但是，且慢。你再想一想：所有整数（奇偶数都在内）的数目和单单偶数的数

目，哪个大呢？当然，你会说前者大一些，因为所有的整数不但包含了所有的

偶数，还要加上所有的奇数啊。但这不过是你的印象而已。只有应用上述比较

两个无穷大数的法则，才能得出正确的结果。如果你应用了这个法则，你就会

吃惊地发现，你的印象是错误的。事实上，下面就是所有整数和偶数的一一对

应表：

按照上述比较无穷大数的规则，我们得承认，偶数的数目正好和所有整

数的数目一样大。当然，这个结论看来是十分荒谬的，因为偶数只是所有整

数的一部分。但是不要忘了，我们是在与无穷大数打交道，因而就必须做好

遇到异常的性质的思想准备。

在无穷大的世界里，部分可能等于全部！

如果研究一下前面出现过的那个比较一条线段上的点数和整数的个数的

多少的问题，我们就会发现，这两个数目是不一样大的。线段上的点数要比整

数的个数多得多。

大家一定还记得在算术课上学过的这样一条规则：每一个普通分数都可以

分成无穷循环小数。如。我们已经证明过，所有分数的数目和所有整数的数目

相等，所以，所有循环小数的数目必定与所有整数的数目相等。但是，一条线

段上的点可不能完全由循环小数表示出来，绝大多数的点是由不循环的小数表

示的。因此就很容易证明，在这种情况下，一一对应的关系是无法建立的。

按照“无穷算术”的奠基者康托尔的意见，无穷大数是用希伯来字母阿莱夫

表示的，在字母的右下角，再用一个小号数字表示这个无穷大数的级别。这样

一来，数目字（包括无穷大数）的数列就成为

我们说“一条线段上有阿莱夫1个点”或曲线的样子有阿莱夫2种“，就和我们

平常说“世界有七大洲”或“一付扑克牌有五十四张”一样。

结束关于无穷大数的讨论时，我们要指出，无穷大数的级只要有几个，就

足够把人们所能想象出的任何无穷大数都包括进去了。大家知道,阿莱夫0表

示所有整数的数目，阿莱夫1示所有几何点的数目，阿莱夫2表示所有曲线的

数目，但到目前为止，还没有人想得出一种能用阿莱夫3来表示的无穷大数来。

看来，头三级无穷大数就足以包括我们所能想到的一切无穷大数了。因此，我

们现在的处境，正好跟我们前面的原始部族人相反：他有许多个儿子，可却数

不过三；我们什么都数得清，却又没有那么多东西让我们来数！