高等数学极限的保序性（保号性）定理
极限的保序性（又称保号性）是高等数学中极限理论的核心定理之一。它揭示了函数极限值与函数局部取值之间的深刻关系，是后续学习连续函数性质、微分中值定理和积分理论的重要基础。
一、保号性定理（基本形式）
定理1（保号性）：若 $\lim\limits_{x \to x_0} f(x) = A$，且 $A > 0$（或 $A < 0$），则存在 $\delta > 0$，使得当 $0 < |x - x_0| < \delta$ 时，$f(x) > 0$（或 $f(x) < 0$）。
直观理解：如果函数在某点的极限大于零，那么在该点附近（去心邻域内），函数值也一定大于零。极限的符号决定了附近函数值的符号。
推论：若 $\lim\limits_{x \to x_0} f(x) = A \neq 0$，则存在 $x_0$ 的某个去心邻域，使得在该邻域内 $f(x)$ 与 $A$ 同号。
二、保序性定理（一般形式）
定理2（保序性）：若 $\lim\limits_{x \to x_0} f(x) = A$，$\lim\limits_{x \to x_0} g(x) = B$，且 $A > B$，则存在 $\delta > 0$，使得当 $0 < |x - x_0| < \delta$ 时，恒有 $f(x) > g(x)$。
证明思路：令 $F(x) = f(x) - g(x)$，则 $\lim\limits_{x \to x_0} F(x) = A - B > 0$，由保号性定理即得结论。
三、保序性的逆命题
定理3（保序性的逆命题）：若存在 $\delta > 0$，使得当 $0 < |x - x_0| < \delta$ 时 $f(x) \geq g(x)$（或 $f(x) \leq g(x)$），且 $\lim\limits_{x \to x_0} f(x) = A$，$\lim\limits_{x \to x_0} g(x) = B$，则 $A \geq B$（或 $A \leq B$）。
特别注意：即使 $f(x) > g(x)$ 在去心邻域内恒成立，也只能推出 $A \geq B$，不能推出 $A > B$。例如取 $f(x) = x^2$，$g(x) = 0$，在 $x=0$ 的去心邻域内 $f(x) > g(x)$，但 $\lim\limits_{x \to 0} f(x) = \lim\limits_{x \to 0} g(x) = 0$。极限的不等式是"带等号"的。
四、归结原则（Heine定理）
保序性定理的一个重要推论是归结原则，它将函数极限与数列极限联系起来：
归结原则：$\lim\limits_{x \to x_0} f(x) = A$ 的充要条件是：对于任意满足 $\lim\limits_{n \to \infty} x_n = x_0$ 且 $x_n \neq x_0$（对所有 $n$）的数列 $\{x_n\}$，都有 $\lim\limits_{n \to \infty} f(x_n) = A$。
简言之：函数极限存在，等价于沿任何趋于 $x_0$ 的数列的函数值都趋于同一极限。这一等价关系为利用数列极限研究函数极限提供了桥梁。
归结原则的两个应用方向：
- 正用：若已知函数极限 $\lim_{x \to x_0} f(x) = A$，则对任何 $x_n \to x_0$（$x_n \neq x_0$），都有 $f(x_n) \to A$
- 反用（证明极限不存在）：若能找到两个数列 $x_n \to x_0$ 和 $y_n \to x_0$，使得 $\lim f(x_n) \neq \lim f(y_n)$，则 $\lim_{x \to x_0} f(x)$ 不存在
五、典型例题
例1：已知 $\lim\limits_{x \to 1} \dfrac{x^2 - 2x + a}{x - 1} = 3$，求 $a$ 的值。
解：由 $\lim\limits_{x \to 1}(x^2 - 2x + a) = \lim\limits_{x \to 1}\left[(x-1) \cdot \dfrac{x^2 - 2x + a}{x-1}\right] = 0 \times 3 = 0$，代入得 $1 - 2 + a = 0$，故 $a = 1$。
例2：利用归结原则证明 $\lim\limits_{x \to 0} \sin\dfrac{1}{x}$ 不存在。
证：取 $x_n = \dfrac{1}{2n\pi}$，则 $x_n \to 0$ 且 $\sin\dfrac{1}{x_n} = \sin(2n\pi) = 0 \to 0$。再取 $y_n = \dfrac{1}{2n\pi + \frac{\pi}{2}}$，则 $y_n \to 0$ 且 $\sin\dfrac{1}{y_n} = \sin(2n\pi + \frac{\pi}{2}) = 1 \to 1$。两个子数列极限不同，故原极限不存在。
六、定理体系总结
| 定理 | 条件 | 结论 |
|---|---|---|
| 保号性 | $\lim f(x) = A > 0$ | $\exists \delta > 0$，使 $0<|x-x_0|<\delta$ 时 $f(x)>0$ |
| 保序性 | $\lim f(x) = A > \lim g(x) = B$ | $\exists \delta > 0$，使 $0<|x-x_0|<\delta$ 时 $f(x)>g(x)$ |
| 逆命题 | $0<|x-x_0|<\delta$ 时 $f(x) \geq g(x)$ | $\lim f(x) \geq \lim g(x)$ |
| 归结原则 | $\forall \{x_n\}$：$x_n \to x_0$ 且 $x_n \neq x_0$ | $\lim f(x_n) = \lim f(x)$ |
📖 符号说明：$\exists$ 读作"存在" | $\forall$ 读作"任意"或"对所有" | $\delta$（delta，德尔塔）是一个很小的正数，表示 $x$ 偏离 $x_0$ 的范围。
