1.3 函数的极限

🙌作者简介：数学与计算机科学学院出身、在职高校高等数学专任教师，分享学习经验、生活、 努力成为像代码一样有逻辑的人！
🌙个人主页：阿芒的主页
⭐ 高等数学专栏介绍：本专栏系统地梳理高等数学这门课的知识点，参考书主要为经典的同济版第七版《高等数学》以及作者在高校使用的《高等数学》系统教材。梳理《高等数学》这门课，旨在帮助那些刚刚接触这门课的小白以及需要系统复习这门课的考研人士。希望自己的一些经验能够帮助更多的人。

数列 { x n } \{x_{n}\} {xn​} 可看作自变量为 $n$ 的函数：$x_n=f(n)，n\in {\mathbf{N}}_{+}$. 把数列极限概念中的函数为 $f(n)$ 而自变量的变化过程为 $n⟶\infty$ 等特殊性撇开，这样就引出函数极限的一般概念.

自变量趋于有限值时函数的极限

1. 描述性定义

设函数 $f(x)$ 在点 $x_0$ 的某去心邻域内有定义，若存在常数 $A$, 使得当 $x$ 无限接近 $x_0$ 时， $f(x)$ 无限接近 $A$，则称常数 $A$ 为函数 $f(x)$ 当 $x⟶x_0$ 的极限，记为
$$\begin{array}{r}\underset{x\to x_0}{\lim }f(x)=A或f(x)⟶A（x\to x_0）\end{array}$$

2. $\epsilon -\delta$ 定义

设函数 $y=f(x)$ 在 $x_0$ 的某一去心邻域 $\mathring{U}(x_0)$ 内有定义，如果存在常数 $A$ . 对于任意的正数 $\epsilon$ （无论它多么小）, 总存在 $\delta >0$ ， 使得对于适合不等式 $0<|x-x_0|<\delta$ 的一切 $x$ 所对应的函数值 $f(x)$ 都满足不等式
$$\begin{array}{r}|f(x)-A|<\epsilon \end{array}$$
那么常数 $A$ 就叫做函数 $f(x)$ 当 $x⟶x_0$ 时的极限，记为
$$\begin{array}{r}\underset{x\to x_0}{\lim }f(x)=A或f(x)⟶A（x\to x_0）\end{array}$$
如果这样的常数不存在，则称当 $x⟶x_0$ 时函数 $y=f(x)$ 的极限不存在.

---

自变量趋于无穷大时函数的极限

1. 描述性定义

设函数 $f(x)$ 在 $R$ 上有定义，若存在常数 $A$, 使得当 $|x|$ 无限增大时， $f(x)$ 无限接近 $A$，则称常数 $A$ 为函数 $f(x)$ 当 $x⟶\infty$ 的极限，记为
$$\begin{array}{r}\underset{x\to \infty }{\lim }f(x)=A或f(x)⟶A（x\to \infty ）\end{array}$$

注：同样有 ${\lim }_{x\to +\infty }f(x)=A$ 和 ${\lim }_{x\to -\infty }f(x)=A$. 可仿照写出.

2. $\epsilon -N$ 定义

设函数 $y=f(x)$ 在 $|x|\ge a$ 时有定义， $A$ 为常数. 若对 $\forall \epsilon >0$, $\exists X>0$ ($X>a$)， 当 $|x|>X$ 时，有
$$\begin{array}{r}|f(x)-A|<\epsilon \end{array}$$
恒成立，则称常数 $A$ 为函数 $y=f(x)$ 当 $x⟶\infty$ 的极限，记为
$$\begin{array}{r}\underset{x\to \infty }{\lim }f(x)=A或f(x)⟶A（x\to \infty ）\end{array}$$

注：同样有 ${\lim }_{x\to +\infty }f(x)=A$ 和 ${\lim }_{x\to -\infty }f(x)=A$ 的 $\epsilon -N$ 定义：

① ${\lim }_{x\to +\infty }f(x)=A$ 的定义：
设函数 $y=f(x)$ 在 $[a,+\infty )$ 上有定义， $A$ 为常数. 若对任意的正数 $\epsilon$, 总存在 $X>0$ ($X>a$)，使得当 $x$满足不等式 $x>X$ 时，有
$$\begin{array}{r}|f(x)-A|<\epsilon \end{array}$$
恒成立，则称常数 $A$ 为函数 $y=f(x)$ 当 $x⟶+\infty$ 时的极限，记为
$$\begin{array}{r}\underset{x\to +\infty }{\lim }f(x)=A或f(x)⟶A（x\to +\infty ）\end{array}$$
如果这样的常数不存在，则称当 $x⟶+\infty$ 时函数 $y=f(x)$ 的极限不存在.

② ${\lim }_{x\to -\infty }f(x)=A$ 的定义：

设函数 $y=f(x)$ 在 $（-\infty ，a]$ 上有定义， $A$ 为常数. 若对任意的正数 $\epsilon$, 总存在 $X>0$ ($-X<a$)，使得当 $x$满足不等式 $x<-X$ 时，有
$$\begin{array}{r}|f(x)-A|<\epsilon \end{array}$$
恒成立，则称常数 $A$ 为函数 $y=f(x)$ 当 $x⟶-\infty$ 时的极限，记为
$$\begin{array}{r}\underset{x\to -\infty }{\lim }f(x)=A或f(x)⟶A（x\to -\infty ）\end{array}$$

说明 ① 定义中 $\epsilon$ 具有任意性.
        ~~~~~~~         ② 定义中 $x>X$ 指的是大于 $X$ 的所有实数 $x$ .

3. 极限存在定理

${\lim }_{x\to \infty }f(x)=A$ 的充分必要条件是 ${\lim }_{x\to -\infty }f(x)=A$ 且 ${\lim }_{x\to +\infty }f(x)=A$

---

单侧极限

1. 右极限定义

设 $y=f(x)$ 在 $x_0$ 的右邻域 $(x_0，x_0+\delta )$ 内有定义，如果存在常数 $A$ . 对于任意 $\forall \epsilon$ , $\exists \delta >0$ ， 使得对于适合不等式 $x_0<x<x_0+\delta$ 的一切 $x$ 所对应的函数值 $f(x)$ 都满足不等式
$$\begin{array}{r}|f(x)-A|<\epsilon \end{array}$$
那么常数 $A$ 就叫做函数 $f(x)$ 当 $x⟶x_0$ 时的右极限，记为
$$\begin{array}{r}\underset{x\to x_0^{+}}{\lim }f(x)=A或f(x_0+0)=A\end{array}$$

2. 左极限定义

设 $y=f(x)$ 在 $x_0$ 的左邻域 $(x_0-\delta ，x_0)$ 内有定义，如果存在常数 $A$ . 对于任意 $\forall \epsilon$ , $\exists \delta >0$ ， 使得对于适合不等式 $x_0-\delta <x<x_0$ 的一切 $x$ 所对应的函数值 $f(x)$ 都满足不等式
$$\begin{array}{r}|f(x)-A|<\epsilon \end{array}$$
那么常数 $A$ 就叫做函数 $f(x)$ 当 $x⟶x_0$ 时的左极限，记为
$$\begin{array}{r}\underset{x\to x_0^{-}}{\lim }f(x)=A或f(x_0-0)=A\end{array}$$

左极限和右极限统称为单侧极限.

3. 极限存在定理

${\lim }_{x\to x_0}f(x)=A$ 成立的充分必要条件是 ${\lim }_{x\to x_0^{-}}f(x)=A$ = ${\lim }_{x\to x_0^{+}}f(x)=A$

---

函数极限的性质

上面讨论了函数 $y=f(x)$ 在自变量 $x⟶+\infty$, $x⟶-\infty$, $x⟶\infty$, $x⟶x_0$, $x⟶x_0^{+}$, $x⟶x_0^{-}$ 这六种变化过程中相应函数 $f(x)$ 的极限情况. 本文仅以自变量 $x⟶x_0$ 的情形讨论性质，自变量的其他情形只需要做出相应的修改即可.

1. 函数极限的唯一性

如果 ${\lim }_{x⟶x_0}f(x)$ 存在， 则极限唯一.

2. 函数极限的局部有界性

如果极限 ${\lim }_{x⟶x_0}f(x)$ 存在， 则在点 $x_0$ 某个去心邻域 $\mathring{U}(x_0,\delta )$ 内，函数 $f(x)$ 有界，即存在正数 $\delta$ 和 $M$，使得当 $0<|x-x_0|<\delta$ 时，有 $|f(x)|\le M$ .

3. 函数极限的局部保号性

如果极限 ${\lim }_{x⟶x_0}f(x)=A$ , 且 $A>0$ (或$A<0$), 则存在正数 $\delta$, 使得当 $0<|x-x_0|<\delta$ 时，有 $f(x)>0$ （或 $f(x)<0$）.

推论1: 如果 ${\lim }_{x⟶x_0}f(x)=A$, 且存在正数 $\delta$, 当 $0<|x-x_0|<\delta$ 时有 $f(x)\ge 0$ （或 $f(x)\le 0$）, 则 $A\ge 0$ （或 $A\le 0$）.

推论2: 如果 ${\lim }_{x⟶x_0}f(x)=A$, 且存在正数 $\delta$, 当 $0<|x-x_0|<\delta$ 时有 $f(x)>0$ （或 $f(x)<0$）, 则 $A\ge 0$ （或 $A\le 0$）

---