数列极限

当数列的项数无限增大时，如果数列的项无限趋近于某个确定常数A，就称A是这个数列的极限。通俗讲，n足够大之后，数列的值可以和A要多接近就有多接近。

January 1, 1996 专转本 2 分钟阅读

数列极限是高等数学和微积分的基石。简单来说，它研究的是：当一个由数字排成的序列（数列）沿着序号无限延伸下去时，这些数字是否会无限逼近某一个确定的常数。

想象这样一个数列：

$a_n = \frac{1}{n} \quad (n = 1, 2, 3, \dots)$

把前几项写出来：

$1, \; 0.5, \; 0.333, \; 0.25, \; 0.2, \; \dots, \; 0.000001, \; \dots$

随着序号 $n$ 越来越大， $\frac{1}{n}$ 会变得越来越小。虽然它永远不会真正等于 $0$ ，但只要 $n$ 足够大，它与 $0$ 之间的距离就可以要多小有多小。

这时我们就说：当 $n$ 趋于无穷大（ $n \to \infty$ ）时，数列 $a_n$ 的极限是 $0$ ，记作：

$\lim_{n \to \infty} a_n = 0$

直观上的“无限逼近”在数学上不够严谨。19世纪的数学家柯西（Cauchy）等引入了著名的 $\varepsilon-N$ （Epsilon-N）语言：

定义： 设 $\{a_n\}$ 为一个数列， $A$ 为常数。

如果对任意给定的正数 $\varepsilon$ （无论它多么小），总存在一个正整数 $N$ ，使得当 $n > N$ 时，都有：

$\vert{}a_n - A\vert{} < \varepsilon$

则称常数 $A$ 是数列 $\{a_n\}$ 当 $n \to \infty$ 时的极限，记作 $\lim_{n \to \infty} a_n = A$ 。

$\varepsilon$ （误差容忍度）： 别人提出的任意小的误差边界（比如 $0.001$ ）。
$N$ （门槛）： 你总能找到某项序号 $N$ （比如第 $1000$ 项）。
$\vert{}a_n - A\vert{} < \varepsilon$ ： 只要过了这个门槛（ $n > N$ ），后面所有项与极限 $A$ 的距离都落在这个允许的误差范围之内。

这本质上是一场“猫鼠游戏”：无论对方提出多么苛刻的精度要求（ $\varepsilon$ ），你都能找到一个临界点（ $N$ ）来满足它。

收敛（Converge）： 如果数列存在有限的极限 $A$ ，就称该数列收敛。
发散（Diverge）： 如果极限不存在，或者趋向于无穷大（ $\pm\infty$ ），就称该数列发散。

数列类型	示例 an	极限 liman	状态
常数型/递减型	$\frac{n}{n+1}$	$1$	收敛
交错收敛	$(-1)^n \cdot \frac{1}{n}$	$0$	收敛
无穷大发散	$n^2$	$\infty$	发散
震荡发散	$(-1)^n$ ( $-1, 1, -1, 1 \dots$ )	不存在	发散

为了方便计算极限，数学家总结了几条非常实用的工具：

唯一性： 如果数列收敛，它的极限是唯一的。
保号性： 如果 $\lim a_n = A > 0$ ，那么当 $n$ 足够大时，项 $a_n$ 也必然大于 $0$ 。
夹逼定理（Squeeze Theorem）：

若存在数列满足 $x_n \le y_n \le z_n$ ，且已知 $\lim x_n = A$ 且 $\lim z_n = A$ ，则夹在中间的数列极限也必然是：

$\lim_{n \to \infty} y_n = A$
单调有界准则： 单调递增且有上界（或单调递减且有下界）的数列必然收敛。

应用例： 自然常数 $e$ 的定义 $e = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n$ 就是利用这个准则证明其收敛性而得出的。

在实际计算中，我们经常借用函数极限的求导（洛必达法则）、泰勒展开等工具来算数列极限。这种方法的数学依据被称为归结原则（Heine 定理）。

数列可看作定义在正整数集上的离散函数。若连续函数在无穷远处存在极限，其采样数列必收敛于同一极限：

$\lim_{x \to +\infty} f(x) = L \implies \lim_{n \to \infty} f(n) = L$

借助函数极限，你可以合法使用以下“高级武器”：

注意： 不能直接对数列 $a_n$ 求导（因为 $n$ 是离散的），必须先转换为函数 $f(x)$ 。

例题： 求 $\lim_{n \to \infty} \frac{\ln n}{n}$
过程：
1. 构造函数 $f(x) = \frac{\ln x}{x}$ （当 $x > 0$ ）。
2. 求函数极限，使用洛必达法则（上下求导）：
  
  $\lim_{x \to +\infty} \frac{\ln x}{x} \overset{\text{L'H}}{=} \lim_{x \to +\infty} \frac{1/x}{1} = 0$
3. 由归结原则，原数列极限 $\lim_{n \to \infty} \frac{\ln n}{n} = 0$ 。

例题： 求 $\lim_{n \to \infty} n \sin\left(\frac{1}{n}\right)$
过程：
1. 令 $t = \frac{1}{n}$ ，当 $n \to \infty$ 时， $t \to 0^+$ 。
2. 转为函数极限 $\lim_{t \to 0^+} \frac{\sin t}{t}$ 。
3. 利用已知等价无穷小 $\sin t \sim t$ ，算得极限为 $1$ 。

如果函数极限 $\lim_{x \to +\infty} f(x)$ 震荡发散，数列极限依然可能收敛。

典型反例： 求 $\lim_{n \to \infty} \sin(n\pi)$
分析：
- 若看作函数 $f(x) = \sin(x\pi)$ ，当 $x \to +\infty$ 时， $\sin(x\pi)$ 在 $-1$ 和 $1$ 之间无限震荡，函数极限不存在。
- 但对数列而言， $n$ 只能取整数， $\sin(1\pi) = \sin(2\pi) = \sin(3\pi) = 0$ ，数列极限为 $0$ 。

函数求导要求变量连续。像阶乘 $n!$ 、组合数 $C_n^k$ 或 $(-1)^n$ 这类结构，不能直接改写为普通连续函数去求导（除非引入 Gamma 函数，但往往会增加不必要的复杂度）。