Motivation：单调有界定理要求数列单调，但很多数列是振荡着逼近极限的（比如 $a_n = (-1)^n/n$ 收敛到 0，但不单调）。我们需要一个不依赖单调性、也不需要预先猜出极限值的收敛判别法。
数列 $\{a_n\}$ 称为柯西列，如果：
对任意 $\varepsilon > 0$，存在 $N$，当 $m, n > N$ 时：
$$ |a_m - a_n| < \varepsilon $$
📄 直观：不需要知道极限在哪里，只要数列的尾巴上任意两项彼此足够靠近，就说明它们在"集体奔赴"同一个目的地。
在实数系 $\mathbb{R}$ 中：
$$ \{a_n\} \text{ 收敛} \iff \{a_n\} \text{ 是柯西列} $$
📄 双向含义
| 方向 | 含义 | 难度 |
|---|---|---|
| 收敛 $\Rightarrow$ 柯西列 | $A$如果都挤在 $A$ 的 $\varepsilon$ 邻域里，彼此距离自然 $< 2\varepsilon$ | 容易（直接用三角不等式） |
| 柯西列 $\Rightarrow$ 收敛 | 自己越靠越近 $\Rightarrow$ 一定有个实数极限在等着 | 必须依赖实数完备性 |
| 单调有界定理 | 柯西收敛准则 | |
|---|---|---|
| 条件 | 单调 + 有界 | 任意两项彼此靠近 |
| 强度 | 充分条件（更强） | 充要条件（更一般） |
| 是否需要单调 | ✅ 必须 | ❌ 不需要 |
| 是否需要预知极限 | ❌ 不需要 | ❌ 不需要 |
| 依赖的完备性 | 确界原理 | 致密性定理 |
| 适用场景 | 递推数列、级数部分和 | 振荡逼近、抽象空间中的收敛 |
$$ a_n = 1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} $$
证明它不是柯西列：取 $m = 2n$，则：
$$ |a_{2n} - a_n| = \frac{1}{n+1} + \frac{1}{n+2} + \dots + \frac{1}{2n} > n \cdot \frac{1}{2n} = \frac{1}{2} $$
对 $\varepsilon = \frac{1}{2}$，不存在这样的 $N$ 使得 $m, n > N$ 时 $|a_m - a_n| < 1/2$。故 $\{a_n\}$ 不是柯西列，从而发散（即调和级数发散）。