序列极限的性质与夹逼定理

小象实战讲义 · 人工智能数学基础

在掌握了序列极限的严格定义（ε-N 语言）之后，我们自然要追问：收敛的序列有哪些普遍的性质？这些性质如何帮助我们更高效地计算极限？本节将系统介绍收敛序列的六大核心性质，并重点讲解一个威力强大的计算工具——夹逼定理。学完本节，你将能够运用这些性质，严谨地证明极限的唯一性、有界性，并解决一系列形式复杂的极限计算问题。

💡 核心导读

本节将带你掌握以下关键内容：

1. 收敛序列的六大性质：唯一性、有界性、保序性、四则运算法则、子序列收敛性、单调收敛原理。
2. 性质的应用与证明：学习如何运用 ε-N 语言严谨证明唯一性、有界性和保序性，理解证明背后的直观思想。
3. 极限的计算技巧：掌握处理“多项式比多项式”型极限的通用方法（上下同除最高次幂）。
4. 夹逼定理：理解并证明这个同时给出极限存在性与值的强大定理。
5. 夹逼定理的典型应用：学会处理 $n^{1/n}$ 和 $\sqrt[n]{a_1^n + a_2^n + \cdots + a_m^n}$ 型极限的经典套路。

序列极限的基本性质

设 $\{x_n\}$ 和 $\{y_n\}$ 为实数序列，且 $\lim_{n \to \infty} x_n = a$, $\lim_{n \to \infty} y_n = b$。收敛序列具有以下重要性质：

1. 唯一性：若序列收敛，则其极限唯一。即不可能同时收敛到两个不同的值 $a$ 和 $b$（$a \neq b$）。
2. 有界性：收敛序列必有界。即存在 $M > 0$，使得对一切 $n \in \mathbb{N}$，有 $|x_n| \le M$。
3. 保序性：若存在 $N_0$，使得当 $n > N_0$ 时恒有 $x_n \le y_n$，则 $a \le b$。
4. 四则运算法则：若两序列收敛，则它们的和、差、积、商（分母极限不为零）的序列也收敛，且极限等于对应极限的和、差、积、商。 $$\begin{aligned} &\lim_{n \to \infty} (x_n \pm y_n) = a \pm b, \\ &\lim_{n \to \infty} (x_n \cdot y_n) = a \cdot b, \\ &\lim_{n \to \infty} \left(\frac{x_n}{y_n}\right) = \frac{a}{b} \quad (b \neq 0). \end{aligned}$$
5. 子序列的收敛性：若序列收敛于 $a$，则它的任一子序列也收敛于 $a$。
6. 单调收敛原理：单调有界的实数序列必收敛。这是一个存在性定理，常用于证明极限存在。

下面我们选择其中几个性质进行证明，以加深对 ε-N 语言的理解。

唯一性的证明

证明：（反证法）假设序列 $\{x_n\}$ 同时收敛到两个不同的极限 $a$ 和 $b$，且 $a > b$。 取 $\varepsilon = \frac{a - b}{2} > 0$。根据极限定义：

• 存在 $N_1$，当 $n > N_1$ 时，$|x_n - a| < \varepsilon$。
• 存在 $N_2$，当 $n > N_2$ 时，$|x_n - b| < \varepsilon$。 取 $N = \max\{N_1, N_2\}$，则当 $n > N$ 时，上述两式同时成立。由此可得： $$x_n > a - \varepsilon = a - \frac{a-b}{2} = \frac{a+b}{2}, \quad x_n < b + \varepsilon = b + \frac{a-b}{2} = \frac{a+b}{2}.$$ 这导致 $x_n$ 既大于 $\frac{a+b}{2}$ 又小于 $\frac{a+b}{2}$，矛盾。故假设不成立，极限唯一。

有界性的证明

证明：因为 $\lim_{n \to \infty} x_n = a$，取 $\varepsilon = 1$，则存在 $N$，使得当 $n > N$ 时，有 $|x_n - a| < 1$。 由三角不等式，$|x_n| = |(x_n - a) + a| \le |x_n - a| + |a| < 1 + |a|$。 对于前 $N$ 项 $x_1, x_2, \dots, x_N$，这是有限个数，必存在 $M_0 = \max\{|x_1|, |x_2|, \dots, |x_N|\}$。 取 $M = \max\{M_0, 1 + |a|\}$，则对一切 $n \in \mathbb{N}$，都有 $|x_n| \le M$。故序列有界。

保序性的证明

证明：（反证法）假设结论不成立，即 $a > b$。 取 $\varepsilon = \frac{a - b}{2} > 0$。根据极限定义：

• 存在 $N_1$，当 $n > N_1$ 时，$|x_n - a| < \varepsilon$，即 $x_n > a - \varepsilon$。
• 存在 $N_2$，当 $n > N_2$ 时，$|y_n - b| < \varepsilon$，即 $y_n < b + \varepsilon$。 取 $N = \max\{N_0, N_1, N_2\}$，则当 $n > N$ 时，有 $$x_n > a - \varepsilon = \frac{a+b}{2} = b + \varepsilon > y_n.$$ 这与条件“当 $n > N_0$ 时 $x_n \le y_n$”矛盾。故假设错误，必有 $a \le b$。

极限的计算：四则运算的应用

利用极限的四则运算法则，我们可以计算许多常见序列的极限。

例1：计算极限 $\lim_{n \to \infty} \frac{3n^2 + 4n - 100}{4n^2 - 5n + 10}$。

解：这是 $\frac{\infty}{\infty}$ 型未定式。处理多项式比值极限的通用方法是分子分母同除以 $n$ 的最高次幂（此处为 $n^2$）。 $$\begin{aligned} \lim_{n \to \infty} \frac{3n^2 + 4n - 100}{4n^2 - 5n + 10} &= \lim_{n \to \infty} \frac{3 + \frac{4}{n} - \frac{100}{n^2}}{4 - \frac{5}{n} + \frac{10}{n^2}} \\ &= \frac{\lim_{n \to \infty}3 + \lim_{n \to \infty}\frac{4}{n} - \lim_{n \to \infty}\frac{100}{n^2}}{\lim_{n \to \infty}4 - \lim_{n \to \infty}\frac{5}{n} + \lim_{n \to \infty}\frac{10}{n^2}} \\ &= \frac{3 + 0 - 0}{4 - 0 + 0} = \frac{3}{4}. \end{aligned}$$

例2：计算极限 $\lim_{n \to \infty} \sum_{k=0}^{n} q^k$，其中 $|q| < 1$。

解：这是等比数列求和。等比数列前 $n+1$ 项和公式为 $S_n = \frac{1 - q^{n+1}}{1 - q}$（首项为1）。 $$\lim_{n \to \infty} \sum_{k=0}^{n} q^k = \lim_{n \to \infty} \frac{1 - q^{n+1}}{1 - q}.$$ 由于 $|q| < 1$，有 $\lim_{n \to \infty} q^{n+1} = 0$。根据四则运算法则： $$\lim_{n \to \infty} \frac{1 - q^{n+1}}{1 - q} = \frac{1 - 0}{1 - q} = \frac{1}{1 - q}.$$

夹逼定理及其应用

夹逼定理是计算极限和证明极限存在的利器。

定理内容与证明

定理（夹逼定理）：设三个序列 $\{x_n\}$, $\{y_n\}$, $\{z_n\}$ 满足：存在 $N_0 \in \mathbb{N}$，使得当 $n > N_0$ 时，有 $$x_n \le z_n \le y_n.$$ 如果 $\lim_{n \to \infty} x_n = \lim_{n \to \infty} y_n = a$，那么序列 $\{z_n\}$ 也收敛，且 $\lim_{n \to \infty} z_n = a$。

证明：对于任意 $\varepsilon > 0$，因为 $\lim_{n \to \infty} x_n = \lim_{n \to \infty} y_n = a$，存在 $N$（不妨设 $N > N_0$），使得当 $n > N$ 时，同时有 $$|x_n - a| < \varepsilon \quad \text{和} \quad |y_n - a| < \varepsilon.$$ 这意味着 $a - \varepsilon < x_n$ 且 $y_n < a + \varepsilon$。结合条件 $x_n \le z_n \le y_n$，得到当 $n > N$ 时， $$a - \varepsilon < x_n \le z_n \le y_n < a + \varepsilon.$$ 即 $|z_n - a| < \varepsilon$。由极限定义，$\lim_{n \to \infty} z_n = a$。

典型应用示例

例3：证明 $\lim_{n \to \infty} \sqrt[n]{n} = 1$。

分析：显然 $\sqrt[n]{n} > 1$（$n>1$）。令 $h_n = \sqrt[n]{n} - 1 > 0$，则 $n = (1+h_n)^n$。利用二项式定理展开： $$n = (1+h_n)^n = \sum_{k=0}^{n} \binom{n}{k} h_n^k \ge \binom{n}{2} h_n^2 = \frac{n(n-1)}{2} h_n^2.$$ 这里我们只保留了展开式中的 $k=2$ 项（因为所有项非负）。由此可得： $$h_n^2 \le \frac{2}{n-1} \quad \Rightarrow \quad 0 < h_n \le \sqrt{\frac{2}{n-1}}.$$ 由于 $\lim_{n \to \infty} \sqrt{\frac{2}{n-1}} = 0$，根据夹逼定理，$\lim_{n \to \infty} h_n = 0$。因此， $$\lim_{n \to \infty} \sqrt[n]{n} = \lim_{n \to \infty} (1 + h_n) = 1.$$

例4：设 $a_1, a_2, \dots, a_m$ 为正数，求极限 $\lim_{n \to \infty} \sqrt[n]{a_1^n + a_2^n + \cdots + a_m^n}$。

解：令 $A = \max\{a_1, a_2, \dots, a_m\}$。显然 $A > 0$。对每个 $a_i$，有 $a_i^n \le A^n$，因此 $$a_k^n \le a_1^n + a_2^n + \cdots + a_m^n \le m A^n, \quad \text{其中 } a_k = A.$$ 特别地，有 $A^n \le a_1^n + a_2^n + \cdots + a_m^n \le m A^n$。两边同时开 $n$ 次方： $$A \le \sqrt[n]{a_1^n + a_2^n + \cdots + a_m^n} \le \sqrt[n]{m} \cdot A.$$ 由于 $\lim_{n \to \infty} \sqrt[n]{m} = 1$（可类似例3证明），根据夹逼定理： $$\lim_{n \to \infty} \sqrt[n]{a_1^n + a_2^n + \cdots + a_m^n} = A = \max\{a_1, a_2, \dots, a_m\}.$$

import numpy as np

# 示例：数值验证夹逼定理的应用
# 例3: 验证 lim_{n->∞} n^(1/n) = 1
n_vals = np.array([10, 50, 100, 500, 1000, 5000])
limits_n = np.power(n_vals, 1/n_vals)
print("例3: lim n^(1/n)")
for n, val in zip(n_vals, limits_n):
    print(f"  n={n:4d}, n^(1/n) = {val:.6f}")

# 例4: 验证 lim_{n->∞} (a1^n + a2^n + a3^n)^(1/n) = max(a1, a2, a3)
a = np.array([2.0, 3.0, 5.0])
A = np.max(a)
print(f"\n例4: a = {a}, 理论极限 max(a) = {A}")
for n in [10, 20, 30, 40, 50]:
    sum_powers = np.sum(np.power(a, n))
    limit_val = np.power(sum_powers, 1/n)
    print(f"  n={n:2d}, 计算值 = {limit_val:.6f}, 误差 = {abs(limit_val - A):.6f}")

📝 动手练一练

1. 计算极限：求 $\lim_{n \to \infty} \frac{2n^3 - n + 7}{5n^3 + 3n^2 - 2}$。

   👉 点击查看参考答案

   参考答案：分子分母同除以 $n^3$，极限为 $\frac{2}{5}$。

2. 应用夹逼定理：设 $0 < a < b$，证明 $\lim_{n \to \infty} \sqrt[n]{a^n + b^n} = b$。 参考答案：由于 $b^n < a^n + b^n < 2b^n$，两边开 $n$ 次方得 $b < \sqrt[n]{a^n + b^n} < \sqrt[n]{2} \cdot b$，利用 $\lim_{n \to \infty} \sqrt[n]{2} = 1$ 和夹逼定理即得结论。

本章小结

本节深入探讨了收敛序列的核心性质，并引入了强大的夹逼定理。

• 性质是基石：唯一性、有界性、保序性、四则运算法则等是分析序列行为的基础，其证明过程是运用 ε-N 语言的绝佳练习。
• 计算有套路：对于有理分式极限，上下同除最高次幂是标准方法；夹逼定理是处理形式复杂或不易直接求极限问题的关键工具。
• 存在性与值：单调收敛原理保证了单调有界序列极限的存在性；夹逼定理在给出极限值的同时，也证明了极限的存在。

📋 行动清单

1. 默写性质：尝试默写收敛序列的六大性质，并理解其直观含义。
2. 动手证明：选择保序性或有界性，独立用 ε-N 语言完成一次证明。
3. 代码验证：运行讲义中的 Python 代码，改变参数，观察数值结果如何逼近理论极限，加深对夹逼定理的理解。

—— 小象教研组