Cauchy 列（基本列）

定义陈述

数列 ${a_{n}}$ 是 Cauchy 列（也称基本列），若

\forall ε > 0, \exists N \in N^{*}, \forall m, n > N : ∣ a_{m} - a_{n} ∣ < ε .

概念	关键差别
收敛数列 ANL-DEF-004	项与极限值 $L$ 越来越近
Cauchy 列	项与项之间越来越近，不引用极限

在 $R$ 中两者等价；在 $Q$ 中前者强于后者。

收敛数列的定义需要”先知道一个目标 $L$ “——但实际研究中目标常常未知。 Cauchy 列把判定收敛性变成了一个只关乎数列自身的内部条件：

当下标足够靠后时，任何两项之间的距离都被 $ε$ 控住。

形象地说：数列在数轴上”自己挤成一团”——挤得越后越紧。关键不是”挤向哪里”，而是”内部不再分散”。

✗ 把条件写成" $\forall ε > 0, \exists N, \forall n > N : ∣ a_{n + 1} - a_{n} ∣ < ε$ "。反例： $a_{n} = \sum_{k = 1}^{n} \frac{1}{k}$ 满足 $∣ a_{n + 1} - a_{n} ∣ = \frac{1}{n + 1} \to 0$ ，但调和级数发散。必须是任意两项 $a_{m}, a_{n}$ 而非仅相邻两项。