柯西序列

收敛的定义需要事先指认极限，而在构造性问题中，极限恰恰是我们想造出来的对象。Cauchy 条件绕开这个死结：它不测量序列到某个外部目标的距离，只比较尾部任意两项是否越来越靠近；直观地说，任给直径多小的球，充分靠后的所有项最终都能同时装进去。这把收敛问题转化成序列内部可检验的稳定性，表达“这个序列理应有一个终点”。所有收敛序列必为 Cauchy 序列，但反过来是否真能在空间内部找到终点，取决于空间有没有缺失点，也就是是否完备。这个视角还能用于填洞：实数公理库实数系Real number system · Ordered complete field满足序域公理与上确界完备性的数系。可以由有理 Cauchy 序列的等价类构造出来，把在 $\mathbb{Q}$ 中“应该收敛却没有极限”的序列补成真正的极限。

在 $\mathbb{Q}$（通常距离）中取 $\sqrt{2}$ 的十进逼近 $1,1.4,1.41,1.414,\dots$：当 $m,n\ge N$ 时两项的前 $N$ 位小数一致，差小于 ${10}^{-N+1}$，故它是柯西序列；但它在 $\mathbb{Q}$ 中没有极限，放进 $\mathbb{R}$ 则收敛于 $\sqrt{2}$。可见"是否柯西"只由序列与度量决定，"是否收敛"还取决于空间收不收得住——这是两个概念的本质差别。

一个常见误解是把柯西条件弱化成"相邻项越来越近"。这不够：调和级数部分和 $H_n=\sum _{k\le n}1/k$ 满足 $|H_{n+1}-H_n|=\frac{1}{n+1}\to 0$，却发散到无穷（$H_{2n}-H_n\ge \frac{1}{2}$ 对所有 $n$ 成立，直接违反柯西条件）；$x_n=\sqrt{n}$ 同理。量词"任意 $m,n\ge N$"不能换成"$m=n+1$"。

完备与否依赖度量而非底层集合：$(0,1]$ 带通常度量不完备（$x_n=1/n$ 是柯西序列而无极限），但同一集合改配度量 $d(x,y)=|1/x-1/y|$ 后与 $[1,\mathrm{\infty })$ 等距，变成完备空间——此时 $1/n$ 根本不再是柯西序列。

柯西序列是完备化的原料：从 $\mathbb{Q}$ 构造 $\mathbb{R}$、从任意度量空间构造其完备化，以及把赋范空间补成 Banach 空间公理库Banach 空间Banach space关于范数诱导度量完备的赋范向量空间。，基本做法都是对 Cauchy 序列取等价类。级数的 Cauchy 判据、绝对收敛公理库级数绝对收敛Absolute convergence of series若各项绝对值组成的级数收敛，则原级数绝对收敛并必收敛。蕴含收敛以及一致收敛的尾部控制，也都把未知的外部极限转化为可估计的序列尾部。Banach 不动点定理公理库Banach 不动点定理Banach fixed-point theorem · Contraction mapping theorem完备度量空间上的压缩映射具有唯一不动点，且迭代以几何速度收敛。同样先证明迭代序列是 Cauchy 序列，再利用完备性取得极限。

数值计算中“相继迭代差足够小就停机”的习惯正借用了这种思想，但只有在空间完备且掌握收缩速率时才可靠；仅有相邻两项之差很小，并不能保证已经接近真解。怎样把更新量与残差变成尺度化的停止准则和误差证书公理库残差、误差估计与停止准则Residual and error estimation · Stopping criterion区分可计算残差与未知真误差，并说明把缺陷转成误差界和停止证书所需的条件。，还需要具体问题提供收缩因子、逆算子界或条件数。