|

楼主 |
发表于 2025-7-21 16:38
|
显示全部楼层
滚驴指望啼猿声驴打滚获戈培尔效应,畜生不如
回到滚驴不敢面对,拼命回避搪塞的主贴:
【定理A】\(\displaystyle\lim_{n\to\infty}n=\sup\mathbb{N}\)
【证明】作为\(\mathbb{N}\)全序列\(\{n\}\)的单增极限, 显然
\(\qquad \;v=\displaystyle\lim_{n\to\infty}n\) 是\(\mathbb{N}\) 的一个上界. 设 \(\mu\) 为\(\mathbb{N}\)
\(\qquad\)的上界, 则 \((^*)\quad n\le \mu\,(\forall n\in\mathbb{N})\). 对此关
\(\qquad\)于\(n\)取极限得\(\displaystyle\lim_{n\to\infty}n\le\mu\)(极限的保序性)
\(\qquad\)即\(v= \displaystyle\lim_{n\to\infty}n\)是\(\small\mathbb{N}\)的最小上界\(\sup\small\mathbb{N}.\quad\square\).
【定理B】\(\displaystyle\lim_{n\to\infty}n\not\in\mathbb{N}\) (\(\lim n\) 非自然数)
【证明】若不然, \(\displaystyle\lim_{n\to\infty}n=\sup\mathbb{N}\in\mathbb{N}\) , 则
\(\qquad\;\sup\mathbb{N}=\max\mathbb{N}\). 这与\(\mathbb{N}\)无最大元矛盾!\(\small\square\)
|
|