Cauchy 数列与完备性的意义

没有目标的接近

迄今每个判据都需要先有极限 L。Cauchy 数列去掉了它：若 (a_n) 的各项彼此靠近，则称它为 Cauchy 数列。精确地说——对每个 epsilon > 0，存在 N，使得对所有 m, n > N 有 |a_m - a_n| < epsilon。任何地方都不出现 L。你只被问及尾部是否聚拢。

两个简短事实确立容易的方向。其一，每个收敛数列都是 Cauchy 的：若 a_n -> L，则由三角不等式 |a_m - a_n| <= |a_m - L| + |L - a_n|，越过某个 N 后两部分都很小。其二，每个 Cauchy 数列都有界，理由与有界收敛数列的一步论证相同。所以 Cauchy 介于“收敛”与“有界”之间。深刻的问题是反向的第一支箭。

为什么 Cauchy 数列在 R 中收敛

这就是为本路径加冕的定理：在实数中，每个 Cauchy 数列都收敛。证明是此前一切的美妙协作。Cauchy 数列有界；由 Bolzano–Weierstrass 它有收敛于某 L 的子列；随后 Cauchy 条件迫使“整个”数列都趋于同一个 L。逐行阅读它。

Theorem: every Cauchy sequence (a_n) in R converges.

Step 1 (bounded). A Cauchy sequence is bounded.
Step 2 (a candidate limit). By Bolzano-Weierstrass, some subsequence
        a_{n_k} -> L for some real L.
Step 3 (the whole sequence catches up). Let e > 0.
   Cauchy: choose N so that |a_m - a_n| < e/2 for all m, n > N.
   Subsequence: choose k with n_k > N and |a_{n_k} - L| < e/2.
   Then for every n > N, using the triangle inequality:
       |a_n - L| <= |a_n - a_{n_k}| + |a_{n_k} - L|
                 <    e/2        +     e/2      = e.
   Hence a_n -> L.  QED

The Cauchy condition does the heavy lifting in step 3:
it lets ONE good subsequence term L drag the whole tail along.

Cauchy + 有界 + Bolzano–Weierstrass = 收敛。子列找到极限；Cauchy 条件把它扩散到每一项。

完备性恰是此事

这条蕴含成立，正是完备性的含义。实数的完备性可表述为：每个实数 Cauchy 数列都收敛到一个实数。聚拢的数列没有任何缝隙可掉入。有理数不具备这一点——这正是我们终究需要实数的原因。

The rationals are NOT complete -- a Cauchy sequence with no rational limit.

Define rationals by truncating the decimal expansion of sqrt(2):
  a_1 = 1.4,  a_2 = 1.41,  a_3 = 1.414,  a_4 = 1.4142, ...
Each a_n is rational. For m > n the terms agree to n decimals, so
  |a_m - a_n| <= 10^{-n}  ->  0,  so (a_n) is Cauchy.
In R it converges to sqrt(2). But sqrt(2) is irrational, so inside Q
the sequence bunches up around a HOLE -- it has no rational limit.

Moral: Cauchy means "trying to converge." Whether it succeeds
depends on the space. R fills every such hole; Q does not.

同一个 Cauchy 数列在 R 中收敛，却在 Q 中无处落脚。完备性就是 R 没有此类缝隙的承诺。

这是通往数轴之外的门户。完备度量空间是任何“每个 Cauchy 数列都收敛”的空间，而当看不见候选极限时，Cauchy 判据便成为证明收敛的标准工具——在函数空间中、在真正的实分析中，乃至更远之处。你如今已从 epsilon 与 N 出发，建立了大部分分析学所倚赖的那一个想法。