|

楼主 |
发表于 2023-7-20 14:34
|
显示全部楼层
令 \(R_0=\{10^mk\mid \gcd(k,10)\}=1\;(k,m\in\mathbb{Z})\}\) 则 \(R_0\) 是非零有限
小数全体。易见其闭包 \(\bar{R}_0=\mathbb{R}.\) 所以实数集可以被定义为无尽小数全体.
换句话说, 对任意 \(x>0,\,\exists d_x:\,\mathbb{N}^+\to \{0,1,2,3,4\,5,6,7,8,9\}\) 使
\(x=\lfloor x\rfloor+\small\displaystyle\sum_{n=1}^\infty \frac{d_{x,n}}{10^n}\). 这跟jzkyllcjl 的算不到底毫不相干。所以实数
都可表为无尽小数: \(x=\lfloor x\rfloor+0.d_{x,1}d_{x,2}d_{x,3}\ldots\) |
|