柯西收敛原理演示

柯西条件指出，对于每一个正容差 $\varepsilon$，都存在一个索引 $N$，使得对于所有大于 $N$ 的索引 $m, n$，数列项之间的距离 $|a_m - a_n|$ 严格小于 $\varepsilon$。这意味着数列中所有足够靠后的项都会彼此任意接近，无论它们的索引相隔多远。

适用条件：数列定义在实数上。；$\varepsilon > 0$ 是任意正容差。；$N$ 是依赖于 $\varepsilon$ 的整数阈值。；$m$ 和 $n$ 是任何严格大于 $N$ 的索引。

收敛的标准 $\varepsilon$-$N$ 定义要求存在一个特定的极限 $L$，使得对于所有 $n > N$，有 $|a_n - L| < \varepsilon$。相比之下，柯西条件不引用任何外部极限；它只要求项彼此接近，即对于所有 $m, n > N$，有 $|a_m - a_n| < \varepsilon$。

适用条件：比较度量空间中数列的两个定义。；标准收敛：$\exists L, \forall \varepsilon > 0, \exists N, \forall n > N: |a_n - L| < \varepsilon$。；柯西条件：$\forall \varepsilon > 0, \exists N, \forall m, n > N: |a_m - a_n| < \varepsilon$。

在柯西条件的可视化中，水平带代表容差 $\varepsilon$，定义了尾部中任意两项之间允许的最大距离。垂直截断线代表索引 $N$，标记了此后所有数列项必须相对于彼此位于带内的点。

适用条件：可视化在横轴上绘制数列索引，在纵轴上绘制值。；带以尾部项的簇为中心。；截断值是特定的索引 $N$。

仅测试连续项是不够的，因为柯西条件要求*每一对*足够靠后的项都彼此接近，而不仅仅是相邻的项。一个数列可以有趋于零的连续差，但仍然发散或在长区间上无法紧密聚集。

适用条件：数列定义在实数上。；条件检查 $|a_{n+1} - a_n| \to 0$。；柯西条件要求 $\forall \varepsilon > 0, \exists N, \forall m, n > N: |a_m - a_n| < \varepsilon$。

有限动画只能显示有限数量的项和一个特定的容差 $\varepsilon$。然而，柯西条件是一个全称陈述：它必须对*每一个*正 $\varepsilon$ 和某个 $N$ 之后的*每一对*索引都成立。

适用条件：动画显示了有限数量的数列项。；动画使用了特定的、固定的容差 $\varepsilon$。；柯西条件要求 $\forall \varepsilon > 0$ 和 $\forall m, n > N$。

实数的完备性保证了每一个实数柯西数列都收敛到一个实数极限。换句话说，在 $\mathbb{R}$ 中，柯西条件等价于收敛。

适用条件：数列由实数组成。；数列满足柯西条件。；底层空间是实数集 $\mathbb{R}$。