关于$0.\overline{9}=1$的证明、无穷小及$10^{-\infty}$是否为0的技术问询

嘿，这个问题刚好戳中了实数体系里几个容易绕晕的点，咱们一个个拆解清楚：

1. 0.(\overline{9})=1的证明，和实数的“相邻间隙” #

首先得明确：0.(\overline{9})不是“趋近于1”，它就是1——这是同一个实数的两种不同十进制表示而已，就像1/2和0.5是同一个数一样。

那有没有“相邻实数”这回事？答案是没有。实数的一个核心性质叫稠密性：任意两个不同的实数之间，一定能找到第三个实数（比如它们的平均值((a+b)/2)）。这意味着不存在所谓的“下一个实数”，自然也就没有“相邻实数的间隙”这种说法——间隙都无从谈起，更别说等于0了。

2. 无穷小量是不是等于0？ #

这得分语境说：

• 在咱们平时用的标准实数体系里，不存在非零的无穷小量。因为如果有一个数(x>0)，且(x)小于所有正实数，那(x/2)也会是正实数，而且比(x)更小，这就矛盾了。所以标准实数里，要么是0，要么是正/负的实数，没有“比所有正数都小但不是0”的数。
• 但在非标准分析这个数学分支里，会引入无穷小量（和无穷大量）作为“超实数”，这些无穷小量不等于0，但比所有正实数都小。不过日常讨论的实数都是标准体系，所以不用考虑这个。

3. (10^{-\infty})等于0吗？ #

严格来说，这个表达式在标准实数里是没有定义的——因为(\infty)不是一个实数，不能直接拿来做指数运算。

如果从极限的角度理解：当(n)（正整数）趋向于无穷大时，(10^{{-n})的极限是0。但极限描述的是“当(n)越来越大时，(10}{-n})越来越接近0”，不是说“当(n)等于无穷大时，(10^{-n})等于0”——毕竟无穷大不是一个具体的数，没法代入计算。

关于你提到的“最小非零数0.0...1” #

这个数其实是不存在的！你说的“0.0...1”里，中间有无限个0，那“最后一位的1”永远不会出现——无限的意思就是没有尽头，不存在“最后一位”。所以这个“数”在实数体系里根本没有定义，自然也不能用1去减它得到0.(\overline{9})。

而0.(\overline{9})本身就是1，这是由无限循环小数的定义决定的：它是有限截断序列0.9, 0.99, 0.999,...的极限，而这个极限就是1，所以两者是同一个数。

内容的提问来源于stack exchange，提问作者user526955