四根牙签拼出的最大数字(7)

由实数所构成的集合形成更高一级的无穷集，康托称之为阿列夫1。康托的辉煌成就之一就是著名的“对角论证法”，它说的是阿列夫1的元素不可能与阿列夫0的元素构成一一对应关系。阿列夫1也就是在一条线段上全部点的数目。康托证明了这些点怎样能与一条无限直线上的点一一对应，怎样与一方块上的点、与一无限大平面上的点；与一立方体中的点、与无限大空间中的点一一对应，如此下去还可以与超立方体或更高维空间中的点一一对应。阿列夫1又称为“连续统的势”
阿列夫2是一切可能的数学函数——连续函数和不连续函数的数目。因为任何一个函数都可画为一曲线，我们把“曲线”取广义以包括不连续曲线，则阿列夫2就是一切可能的曲线数目。同样，如果我们所指的曲线是在一张邮票上，或者在一个无穷空间里，或者在一个无穷超空间里的全部曲线，这一切都没有问题，仍是阿列夫2。康托还证明了阿列夫2不可能与阿列夫1一一对应。
当一个阿列夫数被升级为它本身的幂，则产生一个更高级的阿列夫数，它不能与产生它的阿列夫数一一对应。因此，阿列夫数的阶梯向上是无穷的。
欢迎订阅《升华洞察》。