物理 ［论坛资料室］［TINY NSD］高等数学——函数与极限(3)
本篇为上一篇的续集，因篇幅过大无法发出，将在本帖继续更新🤓👍
$\Huge{更新进度：\color{cyan}{7.41\%}}$
$\color{red}{[2025.7.18已更新]}$
———————————————————————————————————以下是正文———————————————————————————————————
$\Huge{新手篇(2)}$
$\huge{Part~02.函数的极限}$
$\LARGE{§_2.函数极限的性质}$
收敛数列的极限有各种性质，函数极限当然也有💦～
但是与数列极限不同的是，函数极限是有两种情况的，所以性质也分两种.
然而，因为两种情况的性质是非常相似的，所以高数书只讲了一种
$\sout{我才不会告诉你那我也不写了🤓👍}$
不说废话了，它有四个性质：
$\textbf{\large{性质1.唯一性}}$
若$\lim_{x\to x_0}f(x)\quad (\lim_{x\to\infty}f(x))$存在，则它的极限唯一.
$x\to\infty$时的证明与数列极限性质1几乎完全相同，留给毒者证明🤧，这里给出$x\to x_0$时的证法(其实也相似)
$\textbf{证：}$不妨设$\lim_{x\to x_0}f(x)=a，\lim_{x\to\infty}f(x)=b，a\gt b$.
则取$ε=\frac{a-b}{2}\gt 0，∃δ_1，δ_2$，使当$x∈\overset{U}{\circ}(x_0，δ_1)，|f(x)-a|\lt\frac{a-b}{2}$.
$\implies f(x)\gt\frac{a+b}{2}~~~~~~~~(1)$.
同样当$x∈\overset{U}{\circ}(x_0，δ_2)，|f(x)-b|\lt\frac{a-b}{2}$.
$\implies f(x)\lt\frac{a+b}{2}~~~~~~~~(2)$.
取$δ=\min\{ δ_1，δ_2\}$，则当$x∈\overset{\circ}(x_0，δ)，(1)(2)$同时成立.
矛盾!
$\therefore$若$\lim_{x\to x_0}f(x)$存在，则它的极限唯一.
$Q.E.D.$
$\textbf{\large{性质2.局部有界性}}$
若$\lim_{x\to x_0}f(x)=a$，则$∃M\gt 0，δ\gt 0$，使得当$0\lt |x-x_0|\lt δ，|f(x)|\le M.$
若$\lim_{x\to\infty}f(x)=a$，则$∃M\gt 0，X\gt 0$，使得当$|x|\gt X，|f(x)|\le M.$
我在这里证一下第一个，另一个证法类似，$\color{red}{读者自证不难～}$
$\textbf{证：}\because\lim_{x\to x_0}f(x)=a$，取$ε=1，∃δ\gt 0$，当$0\lt |x-x_0|\lt δ，|f(x)-a|\lt 1.$
$\implies |f(x)|\le |f(x)-a|+|a|\lt |a|+1$.
取$M=|a|+1$，则当$0\lt |x-x_0|\lt δ，|f(x)|\lt M.$
$\color{red}{\sout{Q.E.D.???}}$
$\color{skyblue}{性质是|f(x)\le M，我们现在只证出|f(x)|\lt M，不能漏了取等的情况🤧}$
当且仅当$0\lt |x-x_0|\lt δ，f(x)=a~(a$为常数$)$时$|f(x)|=|a|$.
$Q.E.D.$
$\textbf{\large{性质3.局部保号性}}$
若$\lim_{x\to x_0}f(x)=a$，且$a\gt 0(a\lt0)$，则$∃δ\gt 0$，使得当$0\lt |x-x_0|\ltδ，f(x)\gt 0(f(x)\lt 0)$.
若$\lim_{x\to\infty}f(x)=a$，且$a\gt 0(a\lt0)$，则$∃X\gt 0$，使得当$|x|\gt δ，f(x)\gt 0(f(x)\lt 0)$.
依然证$x\to x_0$时的情况🤓👍
$\textbf{证：}\because\lim_{x\to x_0}=a，$
当$a\gt 0$时，取$ε=\frac{a}{2}，∃δ\gt 0$，
则当$0\lt |x-x_0|\lt δ，|f(x)-a[\lt\frac{a}{2}$.
$\implies f(x)\gt -\frac{a}{2}+a=\frac{a}{2}\gt 0$.
同理可证当$a\lt 0$时命题亦成立.
$Q.E.D.$
未完待续……
(作者因四肢发达，经常会出现错误😭，如有错误，请指出，感谢🤓☝️)
- 1
