|

楼主 |
发表于 2025-4-15 01:04
|
显示全部楼层
假定良序集\(\Omega(\supset\mathbb{N})\)使序列\(\{n+j\}\)在\(\Omega\)上有极限
\(\omega=\underset{n\to\infty}{\lim}n\). 则 \(\omega\)显然是\(\mathbb{N}\)在\(\Omega\)的上确界. 但\(\mathbb{N}\)无
最大元, 故 \(m< \omega\)对每个\(m\in\mathbb{N}\)成立. 可见 \(\omega\not\in\mathbb{N}\)
即\(\underset{n\to\infty}{\lim}n\) 不是自然数.
对\(n\le n+j < \omega\)关于\(n\) 取极限得\(\underset{n\to\infty}{\lim}(n+j)=\omega\)
\((\forall j\in\mathbb{N})\). 所以 \(\underset{n\to\infty}{\lim}(n+1)\)不是\(\omega\)的后继, 余类推.
\(\{n+j\}\)非柯西列, 据柯西收敛准则它发散故无自然数极限.
即 \(\underset{n\to\infty}{\lim}(n+j) \) 在\(\mathbb{R}(\supset\mathbb{N})\)上不存在. 从而不是自然数.
\(\mathbb{N}\)中的无穷大量\(\{n+j\}\)没有Weierstrass意义上的极限,
在扩集\(\small\Omega=\{0,1,\ldots,n,\ldots,n+j,n+j+1,\ldots,\omega,\ldots\}\)
\(=\mathbb{N}\cup\{\omega,\omega+1,\ldots\}\)上可定义\(\{n+j\}\)的极限为
\(\displaystyle\lim_{n\to\infty}(n+j)=\min\small\{z\in\Omega: n+j\le z\,( n\in\mathbb{N})\}=\omega\)
这个极限与\(j\)无关. 因为\(\{n+j\}\)是\(\{n\}\)子序列,它们有
相同的极限. 注意\(\mathbb{N}\)的算术性质不能完全延拓到\(\Omega\)上,如
方程\(n+1=\omega\)在\(\Omega\)中没有解等等。
所以\(\displaystyle\lim_{n\to\infty}(n+j)\)作为自然数不存在,作为最小超限序数
存在于\(\mathbb{N}\)之外.
【注记】极限的四则运算法则仅对Weierstrass意义上的
\(\qquad\quad\;\)极限才适用. 回一傻问{自然数何时起无后继}
\(\qquad\quad\;\)自然数均有后继, 故\(\mathbb{N}\)没有最大元, 可见\(\underset{n\to\infty}{\lim}n\)
\(\qquad\quad\;\)不能是自然数(否则它将是最大自然数).
数学白痴蠢疯顽瞎对集合, 映射, 对等,无穷,
自然数等概念持全方位畜生不如之理解. |
|