|

楼主 |
发表于 2024-11-22 01:45
|
显示全部楼层
【命题】\(\mathbb{N}\)不含超穷数.
【证】(反证法)若不然, \(\mathbb{R}\)含超限数 \(\xi> n\,(\forall n\in\mathbb{N}^+\subset\mathbb{R})\).
\(\qquad\quad\)因\(\mathbb{R}\)是有序域,\(0\le \xi^{-1}\le 1/n\overset{n\to 0}{\longrightarrow }0.\)
\(\qquad\quad\)据夹逼定理, \(\quad\xi^{-1}=0\). 据此结合乘法逆的定义得
\(\qquad\quad\,0=\xi\cdot 0=\xi\cdot\xi^{-1}=1\).可见
\(\qquad\quad\,\color{red}{\omega+1\in\mathbb{N}}\)是孬种蠢疯导致\(0=1\)矛盾的胡扯.
【注记】\(\mathbb{N}\subset\mathbb{R}\)是有加乘法幺元的自然数半环到实数城的保序嵌入.
\(\qquad\qquad\)本证明不涉及Stolz定理,也没有\(\xi^{-1}< \large\frac{1}{\xi}\)这种东西.
孬种的胡扯与主贴毫不相干,根本否证不了主贴定理.
|
|