极限的基本性质

数列极限的基本性质

定理 1：极限的不等式性质

设 $\lim_{n \to \infty} x_{n} = a$, $\lim_{n \to \infty} y_{n} = b$.

推论：

（1）若 $a > b$, 则 $\exists N$, 当 $n > N$ 时有 $x_{n} > y_{n}$；

（2）若 $n > N$ 时 $x_{n} \geqslant y_{n}$, 则 $a \geqslant b$.

定理 2：收敛数列的有界性

若数列 $\left\{ x_{n} \right\}$ 收敛，则数列 $\left\{ x_{n} \right\}$ 有界.

所谓“有界”就是指：$\exists$ 常数 $M > 0$, $\left| x_{n} \right| \leqslant M$, $n = 1, 2, 3, \cdots$.

函数极限的基本性质

定理 3：极限的不等式性质

设 $\lim_{x \to x_{0}} f \left( x \right) = A$, $\lim_{x \to x_{0}} g \left( x \right) = B$, 则：

（1）若 $A > B$, 则 $\exists \delta > 0$ 使得当 $0 < \left| x – x_{0} \right| < \delta$ 时有 $f \left( x \right) > g \left( x \right)$；

（2）若 $\exists \delta > 0$, 使得当 $0 < \left| x – x_{0} \right| < \delta$ 时有 $f \left( x \right) \geqslant g \left( x \right)$，则 $A \geqslant B$；

（3）若 $\exists \delta > 0$, 使得当 $0 < \left| x – x_{0} \right| < \delta$ 时有 $f \left( x \right) > g \left( x \right)$，则 $A \geqslant B$.

Tip

本文中的 $0 < \left| x – x_{0} \right| < \delta$ 表示的就是点 $x = x_{0}$ 处的一个不去心的邻域，而 $U_{0} \left( x_{0}, \delta \right) = \left\{ x \mid 0 < \left| x – x_{0} \right| < \delta \right\}$ 表示的则是点 $x = x_{0}$ 处的一个去心的邻域.

zhaokaifeng.com

推论（极限的保号性）：

设 $\lim_{x \to x_{0}} f \left( x \right) = A$, 则：

（1）若 $A > 0$, 则 $\exists \delta > 0$ 使得当 $0 < \left| x – x_{0} \right| < \delta$ 时有 $f \left( x \right) > 0$；

（2）若 $\exists \delta > 0$，使得当 $0 < \left| x – x_{0} \right| < \delta$ 时有 $f \left( x \right) \geqslant 0$，则 $A \geqslant 0$.

定理 4：存在极限的函数局部有界性

设存在极限 $\lim_{x \to x_{0}} f \left( x \right) = A$，则 $f \left( x \right)$ 在 $x_{0}$ 的某空心邻域 $U_{0} \left( x_{0}, \delta \right) = \left\{ x \mid 0 < \left| x – x_{0} \right| < \delta \right\}$ 内有界，即 $\exists \delta > 0$ 与 $M > 0$，使得当 $0 < \left| x – x_{0} \right| < \delta$ 时有 $\left| f \left( x \right) \right| \leqslant M$.

推论：

其他类似的极限过程，如 $x \to x_{0^{+}}$, $x \to x_{0^{- }}$, $x \to +\infty$ 和 $x \to -\infty$ 等也有与上面的“定理 4”类似的结论.

---