柯西序列

柯西序列（Cauchy sequence）是数学分析与度量空间理论中的核心概念，以法国数学家奥古斯丁-路易·柯西（Augustin-Louis Cauchy）命名。直观而言，一个序列被称为柯西序列，当且仅当其项随着序号的增大而任意地彼此靠近——即对于任意小的正数 $\varepsilon$，总存在一个截断位置 $N$，使得所有下标大于 $N$ 的项两两之间的距离都小于 $\varepsilon$。这一概念的精妙之处在于，它完全在没有提及极限的情况下刻画了序列的内在收敛趋势。

形式定义

设 $(X, d)$ 是一个度量空间。序列 $(x_n)_{n=1}^\infty \subseteq X$ 称为柯西序列，若对任意 $\varepsilon > 0$，存在正整数 $N$，使得对所有 $m, n > N$，有

在实数的标准度量 $d(x, y) = |x - y|$ 下，该定义退化为：对任意 $\varepsilon > 0$，存在 $N \in \mathbb{N}$，使得当 $m, n > N$ 时，$|x_m - x_n| < \varepsilon$。

柯西序列与收敛序列的关系

在任意度量空间中，收敛序列必为柯西序列，但反之不一定成立。若一个度量空间中所有柯西序列都收敛，则称该空间是完备的。这一区分是分析学中最深刻的思想之一。

• 实数集 $\mathbb{R}$ 在标准度量下是完备的——这是实数区别于有理数 $\mathbb{Q}$ 的关键性质之一。例如，由 $\sqrt{2}$ 的十进制逼近构成的序列 $(1, 1.4, 1.41, 1.414, \dots)$ 在 $\mathbb{Q}$ 中是柯西序列但不收敛，而在 $\mathbb{R}$ 中收敛到 $\sqrt{2}$。实数的完备性保证了微积分中极限运算的合法性。
• 有理数集 $\mathbb{Q}$ 在标准度量下不完备——这是导致实数构造（如戴德金分割、柯西构造法）的根本原因。康托尔正是利用有理数中所有柯西序列的等价类构造了实数系统。
• 有限维欧几里得空间 $\mathbb{R}^n$ 在欧几里得度量下完备。
• 连续函数空间 $C([0,1])$ 在一致度量（上确界范数）下完备（即巴拿赫空间 $C([0,1])$），但在 $L^1$ 度量下不完备。

重要性质

1. 有界性：柯西序列必定有界。
2. 子列收敛准则：若柯西序列存在一个收敛的子列，则该柯西序列本身收敛到同一个极限。这一定理是连接柯西性与收敛性的重要桥梁。
3. 压缩映射原理（巴拿赫不动点定理）：在完备度量空间中，压缩映射存在唯一的不动点。这一定理依赖于空间的完备性，广泛应用于微分方程、积分方程和数值分析中。
4. 序列紧致性：在度量空间中，紧致性等价于序列紧致性（每个序列都有收敛子列），而完备性与全有界性共同刻画了紧致性。
5. 柯西判据：在实数系中，级数 $\sum a_n$ 收敛当且仅当部分和序列是柯西序列，即对任意 $\varepsilon > 0$，存在 $N$ 使得对任意 $m > n > N$ 有 $\left|\sum_{k=n+1}^m a_k\right| < \varepsilon$。这一判据无需事先知道级数的和。

例子

• 序列 $x_n = 1/n$ 在 $\mathbb{R}$ 中是柯西序列（收敛到 0）。对于任意 $\varepsilon > 0$，取 $N > 1/\varepsilon$ 即可。
• 序列 $x_n = (-1)^n$ 不是柯西序列，因为相邻项的间距恒为 2，不会趋于零。
• 序列 $x_n = 1 + 1/2 + \cdots + 1/n$（调和级数部分和）在 $\mathbb{R}$ 中不是柯西序列，因为调和级数发散，其部分和之差 $x_{2n} - x_n = \sum_{k=n+1}^{2n} 1/k > n \cdot 1/(2n) = 1/2$ 不趋于零。
• 在 $l^p$ 空间中，坐标逐点收敛的序列若满足范数收敛条件，则构成柯西序列。

历史与意义

柯西在 1821 年的著作《分析教程》（Cours d'Analyse）中首次系统性地使用 $\varepsilon$-$\delta$ 语言刻画极限与连续性，虽然当时并未明确提炼出"柯西序列"这一术语，但其思想已完全具备。后来，康托尔（Georg Cantor）利用有理数中的柯西序列构造了实数系统，这种方法被称为康托尔构造法。如今，柯西序列与完备性已成为泛函分析、拓扑学和微分几何等领域的基石工具，贯穿于从傅里叶分析到量子力学的广泛数学物理分支中。