六、0.00…1是个什么数?

某些人仍然根据有限小数的经验,认为,0.99…不等于1。他们认为,0.99…虽然是无限小数,但是有最后一位,就是在无穷远处的那一位,因此0.9循环可以写成0.99…9,显然它与1差了0.00…1,小数点后无穷个0,最后跟了个1。
这种关于无限小数的想法当然是错误的。回忆一下在实数系中引进无限循环小数的目的和依据:有理数在实数中稠密(即处处都有,任何一个小区间里都有有理数),\( \left\{\frac{m}{10^n}|m,n\in\mathbb{Z}\right\}\)又在有理数中稠密,因此它在实数集中也稠密。因此我们可以用一个m/10^n形式有理数的数列去逼近任何的实数。因此我们的无限小数作为{m /10^n}数列的完成式,在小数点后面跟着的就是个由0-9数字组成的数列,它的每一项都跟自然数有一一对应的关系,而自然数根本就没有最后一项。可见,0.99…是无法写成0.99…9的。

那么,0.00…1是个什么数?
首先指出,它既不是有限小数,也不是我们平常所见的无限小数,因此它根本不是一个实数。
它不是个有限小数,这是显然的,因为小数点后面有无穷个0。那它为什么不是无限小数呢?前面已经说过,任何一个无限小数,后面的小数位按从左到右的顺序与自然数一一对应,任何一个小数位都对应一个有限的自然数。反观0.0…1,最后的那个1,不对应任何有限的自然数,前面的无限多个0就已经把所有自然数都对应完了。从小数运算规律来看的话,如果要把0.0…1与0.99…相加,那么0.99…中所有的9都与0.0…1中的0对应相加,0.0…1最后的那个1要加在哪一位呢?如果按无限小数对应实数的规则把它放在实数轴上,它要放在哪里呢?它非负,又小于所有形如 1/10^n的数,这样的数只有0。因此前面的无限多个0就已经决定了它只能是0了,后面的1对它的值来讲没有意义,没有存在的必要。

虽然在实数的范围内它是没有必要存在的表达式,但我们依然有必要从形式上讨论它,因为现在的数系发展早已经超越了实数,从一维的实数扩展到高维的复数、四元数等;从标准的实数扩展到了非标准的超实数、广义实数等。所以数的范围在扩大,概念并不唯一。在其它数系中是否可能有它的身影呢?我们最好先看看这个数的特征。
Continue reading

五、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