序列的极限
时间: 2025-07-20 09:22:06
序列极限的定义与性质
1. 序列极限的严格定义（ε-N 语言）
设 $\{a_n\}$ 是一个实数序列，$L \in \mathbb{R}$。若对任意 $\epsilon > 0$，存在正整数 $N$，使得对所有 $n \geq N$，有：
$|a_n - L| < \epsilon,$
则称 序列 $\{a_n\}$ 收敛于 $L$，记作：
$\lim_{n \to \infty} a_n = L \quad \text{或} \quad a_n \to L \ (n \to \infty).$
几何解释：
对任意小的误差范围 $\epsilon$，序列从某项 $N$ 开始永远落在区间 $(L - \epsilon, L + \epsilon)$ 内。
2. 极限的性质
1. 唯一性
若序列收敛，则极限唯一。
证明：假设 $a_n \to L_1$ 和 $a_n \to L_2$，则对任意 $\epsilon > 0$，存在 $N$ 使得 $|a_n - L_1| < \epsilon/2$ 和 $|a_n - L_2| < \epsilon/2$ 同时成立。由三角不等式：
$ |L_1 - L_2| \leq |L_1 - a_n| + |a_n - L_2| < \epsilon, $
故 $L_1 = L_2$。
2. 有界性
收敛序列必有界，即存在 $M > 0$ 使得 $|a_n| \leq M$ 对所有 $n$ 成立。
注：逆命题不成立（如 $a_n = (-1)^n$ 有界但不收敛）。
3. 保号性
若 $\lim_{n \to \infty} a_n = L > 0$，则存在 $N$ 使得对所有 $n \geq N$，有 $a_n > 0$。
4. 四则运算
若 $\lim a_n = A$，$\lim b_n = B$，则：
- $\lim (a_n + b_n) = A + B$；
- $\lim (a_n \cdot b_n) = A \cdot B$；
- 若 $B \neq 0$，$\lim (a_n / b_n) = A / B$。
3. 特殊极限与判定方法
1. 夹逼定理（Squeeze Theorem）
若 $a_n \leq b_n \leq c_n$ 且 $\lim a_n = \lim c_n = L$，则 $\lim b_n = L$。
应用：求 $\lim_{n \to \infty} \frac{\sin n}{n} = 0$（因 $-1/n \leq \sin n /n \leq 1/n$）。
2. 单调有界收敛定理
单调递增且有上界（或递减且有下界）的序列必收敛。
例子：序列 $a_n = \left(1 + \frac{1}{n}\right)^n$ 单调递增且上界为 $e$，故收敛于 $e$。
3. 柯西收敛准则
序列 $\{a_n\}$ 收敛的充要条件是：对任意 $\epsilon > 0$，存在 $N$ 使得对所有 $m, n \geq N$，有 $|a_m - a_n| < \epsilon$。
意义：无需预先知道极限值即可判断收敛性。
4. 无穷极限与发散
1. 趋于无穷大
若对任意 $M > 0$，存在 $N$ 使得 $n \geq N$ 时 $a_n > M$，则称 $a_n \to +\infty$。类似定义 $a_n \to -\infty$。
2. 发散序列
不收敛的序列称为发散序列（如 $a_n = (-1)^n$ 振荡，$a_n = n$ 趋于无穷）。
5. 应用举例
1. 计算极限
- $\lim_{n \to \infty} \frac{n^2 + 1}{2n^2 - 3} = \frac{1}{2}$（分子分母同除 $n^2$）。
- $\lim_{n \to \infty} \sqrt[n]{n} = 1$（取对数后用洛必达法则）。
2. 级数收敛性
级数 $\sum_{k=1}^\infty a_k$ 收敛的必要条件是 $\lim_{k \to \infty} a_k = 0$。
3. 函数极限与连续性
函数 $f$ 在 $x_0$ 连续等价于：对任意序列 $x_n \to x_0$，有 $f(x_n) \to f(x_0)$。
总结
- 序列极限的 ε-N 定义 是分析学的基石，严格化了“无限接近”的直观概念。
- 收敛序列 具有唯一性、有界性和运算封闭性。
- 判定方法（夹逼定理、单调有界准则、柯西准则）是计算和证明的关键工具。
- 极限理论为微积分、级数和函数连续性提供了统一框架。
