|
|

楼主 |
发表于 2025-10-24 19:54
|
显示全部楼层
菲赫金哥尔兹的【微积分学教程】是龚升说的
低观点的数学分析中的大全著作. 在改开前颇
为流行. 改开后发现它与高观点的分析学教程
相比非常小儿科. 尽管如此, 其第一卷第一章
42节还是介绍了上下极限并给出了重要命题:
\(\;\;\boxed{\lim a_n=a\iff \underline{\lim}a_n=\overline{\lim}a_n=a}\underset{\;}{\;}\)
春霞这辈子没读懂【微积分学教程】第一章.\(\underset{\;}{\;}\)
\(\lim a_n\)的定义是非构造性的. 对一般序列不提
供任何极限求法. 上下极限的定义对一般序列
原则上确定了它们的值. 对单增序列\(\{a_n\}\), 有
\(\color{red}{\underline{\lim}a_n\overset{\tiny 1}{=}\sup\small\,\{\,\inf\,\{a_k\mid n\le k\in\mathbb{N}\}\mid n\in \mathbb{N}\}}\)
\(\small\color{red}{\overset{\tiny 2}{=}\sup\{a_n\mid n\in\mathbb{N}\}\overset{\tiny 3}{=}\sup\{a_n\}\ge\overline{\lim}a_n\ge\underline{\lim}a_n}\)
其中等号1是下极限定义,等号2为增序使然, 等号3是简写, 而
后两个\(\ge\)号皆为上下极限定义使然.
故对增列\(\small\{a_n\}\)恒有 \(\small\underline{\lim}a_n= \overline{\lim}a_n=\sup\{a_n\}\)
可见增列\(\small\{a_n\}\)收敛且 \(\small\displaystyle\lim_{m\to\infty}a_m=\sup\{a_n\}\).
所以 \(\quad\boxed{\lim n=\sup\mathbb{N}\not\in\mathbb{N}}\huge\underset{\;}{\;}\)
【注记】单增列收敛到该序列的上确界非常
合乎直觉. \(\lim n=\sup\mathbb{N}\) 及 \(\sup\mathbb{N}\not\in\mathbb{N}\) 是
有理据的目测. 而\(\lim n\in\mathbb{N}\)是无理据瞎目测.
春霞不管龚升,不管菲赫金哥尔兹.只顾吃狗屎
哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈 |
|