作者:紫荆棘鸟
再看实数。这个例子是我刚才边码帖边胡思乱想而来的,看有没有道理(或者看我能不能表述得清楚)。我们来考察一个总所周知的statement:实数和数轴上的点是1-1对应的。我们通常认为这个statement没问题,无非是因为以下因素:数轴上的点构成的集合是良序的,和实数(as a 度量空间)是一样的;如果数轴上的点代表一个数,它应该是实数,因为实数是完备的……等。能smell出sth “abnormal”吗?至少,如果你假设实数和数轴能一一对应,那么你就自动假设了数轴上只有阿列夫1这么多的点,不能再多了。但“万一”数轴上有更多的点呢?我们来看看神马是实数。一个实数无非是一个收敛的有理数柯西序列,对不对。看到了么,这里有两个名词:1)有理数序列;2)收敛。收敛的必要性是因为它能保证我们能“精确”到一个特定的数,但实数能用有理数序列来描述,本质是啥?本质无非就是有理数的幂集就是实数集。现在问题来了,因为人类的无能,我们只会用“可数”的方式去描述一个序列,根据伯恩斯坦定理,我们能理解的数只能到有理数的可数序列这个level,也就是实数。但耶和华可能就完全不一样,因为他老人家神通广大。他老人家在给定的度量空间里知道如何去描述不可数的“序列”(暂且借用这个名词),假设称为“耶和华不可数列”。这样,耶和华哪怕只从有理数出发,用有理数去构造耶和华不可数列,那么收敛的耶和华不可数列所对应的“数”,就一定比实数多。