数列收敛（ε-N 定义）

定义陈述

数列 ${a_{n}}$ 收敛于 $L \in R$ ，记作 $n \to \infty lim a_{n} = L$ ，若

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

不存在这样的 $L$ 时，称 ${a_{n}}$ 发散。

把 $ε$ 看作”裁判给的精度要求”：

任你给出多严格的精度 $ε$ ，我都能找到一个起点 $N$ ， 从此之后所有项都落在 $L$ 的 $ε$ -邻域里。

关键是量词顺序： $N$ 依赖于 $ε$ （精度越严， $N$ 越大），但不依赖于 $n$ ——一旦确定 $N$ ，" $\forall n > N$ " 是一票全包。

✗ 写成" $\exists N, \forall ε > 0, \forall n > N : ∣ a_{n} - L ∣ < ε$ "。这要求同一个 $N$ 对所有 $ε$ 都管用，等价于” $a_{n} = L$ 当 $n > N$ “，把收敛降级成最终常数列。
✗ 认为” $∣ a_{n} - L ∣$ 单调减小”是收敛的必要条件。反例： $a_{n} = \frac{1 + ( - 1 ) ^{n}}{n}$ 收敛于 $0$ （夹逼于 $0$ 与 $2/ n$ ），但 $∣ a_{n} - 0∣$ 取值在 $0$ 与 $2/ n$ 间跳跃，不单调。收敛只要求”距离最终任意小”，并不要求”距离持续单调缩小”。