无限论题暂停公告

经过好几个月这个话题一直没有再更新,因为遇到了两个不太好过的坎儿。
引入无穷的概念对数学家们来说是习以为常的。但我觉得从数学哲学的角度还是有些疑问。无穷在数学中处于什么样的地位?是必不可少还是可以绕道而走?在一个原本有限的公理系统中人为地加入一些无穷的对象,并加入了关于无穷对象的公理之后,新的系统与原来的系统相比,客观性保持不变还是减少了?需要先对哥德尔定理和模型论有深入地了解才能思考这个问题。现在我还缺少这方面的背景知识,几次试探地继续写,自己都无法满意。
还有一个回避不了的问题是悖论。看清楚悖论产生的根源比知道如何解决悖论更重要(更准确地说,如果不理解它们是如何产生的,就无法理解它们是如何被解决的,充其量只能算是回避)。因此接下来的论题就是讨论为什么会产生这些悖论,它们到底是些什么东西。这方面的内容我觉得我看过的所有的书中说的都不清楚,我怀疑写这些书的人是否真正把这些悖论想清楚了,他们只是人云亦云。从罗素的论著中摘抄出只言片语,不求甚解地写到自己的书里了。我想真正把悖论看得清析一些,这方面我自己有一些想法,但不成熟。也不会轻易地写出来。

过了这两个坎儿,后面的内容就相对平坦了:计划要从非标准分析的角度重新认识无穷小和无穷大,讨论超实数的形态。虽然最初的非标准分析是从模型论中发展而来的,但后来出现了非标准分析的一些简易模型,这部分还是很好理解的。然后试探地在超实数系统下引入无限小数。因为有理数在超实数系统中并不稠密,也就是说无法找到一个有理数列去逼近一个非零的无穷小,所以一般的无限小数无法精确地表示每个超实数,它们只能精确到无穷小单子的级别,为了对无穷小单子内部进行刻画,需要某种“超级”无限小数。

写这些东西对我来说还是太费时,本来业余时间就少,有那么多重要的事情要做,那么多东西要学,不可能把有限的业余时间都花在写作上面。另外,对这些“没用”问题的思考也让我错过了另外一些更重要更有趣的内容,现在是想办法弥补一下的时候了。

五、10X=9+X成立吗?

这是第二部分的开始,在这一部分里将接触到完完全全的无穷观念。无穷,因为充满神秘又扑朔迷离,所以它也就吸引了历史上大多数智慧头脑的兴趣,也引起了很多人的困惑和排斥。
下面进入正题:若X=0.99…,那么10X=9+X真的成立吗?

通常一些书上证明0.99…=1时是给出的这样的方式:
设0.99…=X,那么根据小数乘法的法则,一个小数乘以10小数点要向后移动一位,则
10X=9.99… (1)
但是因为0.999…为循环的,它有无穷多个9,小数点向后移动一位之后还是有无穷多个9,和以前一样都是无穷多个9在循环出现,因此应有
9.99…=9+0.99…=9+X (2)
故10X=9+X,得X=1.

有些人根据有限小数的经验,这样的反驳:虽然(1)式右边也是无限个9,但它是10*0.99…得到的,因为在0.99…基础上小数点向右移动一位才得到9.99…,所以(1)中的无限小数位数应为无穷大-1,比无穷大还少一个。虽然都是无穷大,但两个无穷大不一样。
如果你这样想,那么下面的论证你能解释吗?
1/3=0.3333…
10*0.3333…=3.333…
10*0.3333…=10/3=3+1/3=3.3333…
假设1/3的无限小数表示中循环的3的个数为k,那么在第二个式子中,用“小数点右移一位”得到3.333…的循环节3的出现次数为k-1,而在第三个式子中,把0.3333…转化为1/3,10*1/3=3+1/3,这个1/3,按前面的假设有循环3的为数为k,那么3+1/3小数点后也应该有k个3。
为什么同样的10*0.3333…,采用不同的计算方法得出循环节的个数不一样呢?难道跟计算途径有关吗?
Continue reading