跳轉到

1.2 Cauchy 序列與完備化#

本章導言#

「序列 \(a_n\) 收斂到 \(a\) 」需要先知道 \(a\) 是什麼。但如果我們只知道序列本身，能否不預先指認極限，就判斷它收斂？Cauchy（柯西，1789–1857） 在 1821 年《分析教程》中提出關鍵概念：基本序列（suite convergente / self-converging）——序列自己「互相靠近」，就應該收斂。這一判準在 \(\mathbb{R}\) 上成立，在 \(\mathbb{Q}\) 上失效；而正是這個失效，孕育了 1872 年 Cantor 的完備化構造：把所有基本序列「補上極限」，就是完備化。本節講述這條從 Cauchy 判準到 Cantor 構造的路。

Cauchy 的歷史語境：告別「趨近某物」#

Cauchy 之前，極限被理解為「一個量無限接近另一個量」——敘述中必須出現那個「另一個量」。Cauchy 的革命是把「靠近」內化到序列自身。他在《分析教程》中的定義（白話）：

當同一序列接連的各項，彼此之間的差可以任意小，則稱此序列收斂。

注意 Cauchy 沒有說「收斂到某個數 \(s\) 」——他刻意只要求項與項靠近。用現代語言：

定義（Cauchy 序列）：序列 \((a_n)\) 稱為基本序列，若對任意 \(\varepsilon > 0\) ，存在 \(N\) ，使得 \(m, n > N\) 時 \(|a_m - a_n| < \varepsilon\) 。

Cauchy 相信（並在 1821 年「證明」了）：基本序列必收斂。他的「證明」依賴一個未言明的假設——極限存在的空間是完備的。這個假設在有理數域上是假的，因此嚴格說來 Cauchy 證的是「若極限存在（在某更大的空間中），則序列是基本的」這個方向；逆方向就是完備性本身。

Cauchy 收斂準則與它在 \(\mathbb{Q}\) 上的失效#

定理（Cauchy 收斂準則，在 \(\mathbb{R}\) 中）：實數序列收斂 \(\iff\) 它是 Cauchy 序列。

證明思路（ \(\Rightarrow\) ）： \(|a_m - a_n| \le |a_m - a| + |a - a_n|\) ，兩項皆可任意小。( \(\Leftarrow\) )：Cauchy 序列有界（取 \(\varepsilon = 1\) 得 \(\exists N\) ， \(|a_m| \le |a_{N+1}| + 1\) 對 \(m > N\) ）；由 Bolzano–Weierstrass 定理（1.3 節，以完備性證之）取得收斂子列 \(a_{n_k} \to a\) ；再由 Cauchy 性質推得整列 \(\to a\) 。 \(\blacksquare\)

在 \(\mathbb{Q}\) 上，( \(\Leftarrow\) ) 方向失效：序列 \(1,\ 1.4,\ 1.414,\ 1.4142, \ldots\) （以有理數逼近 \(\sqrt2\) ）是 Cauchy 的（因為它在 \(\mathbb{R}\) 中收斂，而 Cauchy 性質只涉及項間距離），但 \(\mathbb{Q}\) 中無極限。同一序列，在不同空間中命運不同——這是度量結構與空間結構的第一課。

Cantor 的完備化構造（1872）#

Cantor 的想法：既然 Cauchy 序列「該有」極限而沒有，我們就把序列本身當作極限的代用品。

第一步：等價類。稱兩個 Cauchy 序列 \((a_n), (b_n)\) 等價，若 \(a_n - b_n \to 0\) 。實數定義為 Cauchy 序列的等價類：

\[ x = [(a_n)], \qquad (a_n) \sim (b_n) \iff \lim_{n\to\infty} |a_n - b_n| = 0. \]

第二步：運算。 \([(a_n)] + [(b_n)] = [(a_n + b_n)]\) 、 \([(a_n)] \cdot [(b_n)] = [(a_n b_n)]\) 、序關係 \([(a_n)] < [(b_n)] \iff\) 存在 \(\delta > 0\) 與 \(N\) 使 \(b_n - a_n > \delta\) 對 \(n > N\) 。需驗證這些定義與代表元選取無關（well-defined）——這是全部證明的苦工所在。

第三步：嵌入。有理數 \(q\) 嵌入為常數序列的類 \([(q, q, q, \ldots)]\) 。嵌入保持加乘與序， \(\mathbb{Q}\) 成為新空間的稠密子集。

第四步：完備性。新空間中任一 Cauchy 序列 \([(a_n^{(k)})]_{k}\) 收斂到對角序列 \([(a_n^{(n)})]\) 。完備，證畢——這一步幾乎是免費的，因為我們把 Cauchy 序列全部「徵召」進了空間。

構造 起點 核心對象 直接得到的性質
Dedekind 有理數的序 切割 序完備（最小上界存在）
Cantor 有理數的距離 Cauchy 列等價類 度量完備（基本列收斂）

完備化的一般方法#

Cantor 構造的真正威力在於它對任何度量空間都有效。設 \((X, d)\) 為度量空間：

  1. 取 \(X\) 上 Cauchy 序列全體，按 \(d(a_n, b_n) \to 0\) 分等價類，得 \(\widehat{X}\) ；
  2. 定義 \(d([a_n], [b_n]) = \lim_n d(a_n, b_n)\) （由三角不等式可證此極限存在且與代表元無關）；
  3. 映射 \(x \mapsto [(x, x, x, \ldots)]\) 是等距嵌入， \(\widehat{X}\) 完備，且 \(X\) 在 \(\widehat{X}\) 中稠密。

定理（完備化的萬有性質）： \(\widehat{X}\) 是唯一的（在等距同構意義下）完備度量空間包含 \(X\) 為稠密子集。

這條定理是現代分析的基礎設施：

  • \(\mathbb{Q} \to \mathbb{R}\) （本節）；
  • 多項式空間對 \(\sup\) 範數完備化 \(\to\) 收斂半徑內的解析函數空間；
  • 簡單函數對 \(L^p\) 範數完備化 \(\to\) \(L^p\) 空間（Riesz–Fischer 1907，見 6.2 節）；
  • 光滑緊支函數 \(C_c^\infty\) 對某些範數完備化 \(\to\) Sobolev 空間（10.1 節）。

為什麼完備性如此重要：不動點定理#

Banach 不動點定理（1922）：完備度量空間上的壓縮映射 \(d(Tx, Ty) \le k\,d(x,y)\) （ \(k<1\) ）有唯一不動點，且迭代 \(x_{n+1} = T x_n\) 收斂到它。

證明骨架： \(d(x_{n+1}, x_n) \le k^n d(x_1, x_0)\) ，由三角不等式得 \((x_n)\) 為 Cauchy 列；完備性給出極限 \(x^*\) ；連續性給出 \(Tx^* = x^*\) 。每一步都要完備性。應用：Picard 定理解常微分方程、牛頓法收斂、隱函數定理、動態規劃的值函數存在性——這些定理的靈魂都是「Cauchy 列在空間中有極限」。

一個具體例題#

例題 1.2.1：證明序列 \(a_n = \sum_{k=1}^{n} \dfrac{1}{k^2}\) 是 Cauchy 序列（在 \(\mathbb{Q}\) 與 \(\mathbb{R}\) 中皆然），並說明其極限（ \(= \pi^2/6\) ）不必是有理數。

解：對 \(m > n\) ，

\[ |a_m - a_n| = \sum_{k=n+1}^{m} \frac{1}{k^2} \le \sum_{k=n+1}^{m} \frac{1}{k(k-1)} = \sum_{k=n+1}^{m} \left( \frac{1}{k-1} - \frac{1}{k} \right) = \frac{1}{n} - \frac{1}{m} < \frac{1}{n}. \]

給定 \(\varepsilon > 0\) ，取 \(N > 1/\varepsilon\) ，則 \(m > n > N\) 時 \(|a_m - a_n| < \varepsilon\) 。故 \((a_n)\) 為 Cauchy 序列。

在 \(\mathbb{R}\) 中由完備性， \(a_n \to \sum_{k=1}^\infty k^{-2} = \pi^2/6\) （Euler 1735 年的著名求和）。由 \(\pi\) 為超越數（Lindemann 1882）， \(\pi^2/6\) 是無理數，因此該 Cauchy 列在 \(\mathbb{Q}\) 中不收斂。這個例子把三件事串在一起：Cauchy 判準是空間無關的檢驗；收斂是空間相關的結論；完備化就是把「判準通過」與「收斂成立」之間的落差補平。 \(\blacksquare\)

歷史啟示#

  • 把「缺失」變成「對象」：Cantor 把不存在的極限換成等價類——凡是「應該存在而不可得」的對象，都可以成為新空間的點。這一思想在現代數學中反覆出現（理想、超濾子、Stone–Čech 緊化）。
  • 判準與存在分離：Cauchy 判準回答「收斂與否可由序列自身判斷」，完備性回答「判準通過是否兌現」。兩者的分離是度量空間理論的起點。
  • 數學家的謙遜：Cauchy 1821 年的「證明」有缺口，四十年後由 Dedekind、Cantor 補齊基礎——嚴格化是接力賽，不是個人英雄主義。

與其他章節及領域的關聯#

  • 1.1 節：Dedekind 與 Cantor 的兩種構造等價（經典邏輯下）；本節補全其對照表。
  • 1.3 節：Bolzano–Weierstrass 定理是本節 ( \(\Leftarrow\) ) 證明的引擎。
  • 2.1 節：完備度量空間上的閉集繼承完備性，是開閉集理論的第一個應用。
  • 6.2 節：Riesz–Fischer 定理＝ \(L^p\) 空間的完備性，是 Cantor 完備化的最大規模應用。
  • 7.1 節：絕對連續函數空間 \(AC\) 的完備性支撐微積分基本定理的 Lebesgue 版。
  • 《泛函分析》：Banach 空間＝完備賦範空間；本節的構造與不動點定理是全書引擎。
  • 《微積分》5.1 節：級數收斂＝部分和序列收斂，本節給出其嚴格地基。

練習#

  1. 證明：收斂序列必為 Cauchy 序列；並構造一個 Cauchy 但不單調的序列。
  2. 證明 Cauchy 序列必有界，且若某子列收斂到 \(a\) 則整列收斂到 \(a\) 。
  3. 在 \(\mathbb{Q}\) 上判斷 \(a_n = \sum_{k=1}^n \frac{(-1)^k}{k!}\) 是否為 Cauchy 序列；其在 \(\mathbb{R}\) 中的極限是無理數嗎（提示： \(e = \sum 1/k!\) 為無理數）？
  4. 設 \((X,d)\) 為度量空間，證明映射 \(x \mapsto [(x,x,\ldots)]\) 是等距嵌入，且其值域在 \(\widehat X\) 中稠密。
  5. 思考題：若 \(f: X \to Y\) 是一致連續映射，證明它唯一地延拓到 \(\widehat X\) 上（這是完備化萬有性質的「函子性」）。

進階研讀：完備化的五個深化場景#

場景一：一致空間與拓扑群完備化。度量空間的完備化可推廣到一致空間（uniform space）；拓撲群的完備化是調和分析中「Fourier 變換在群上」的基礎（10.2 節），例如整數群 \(\mathbb{Z}\) 的 p-進完備化 \(\mathbb{Z}_p\) 。

場景二：不完備的代價——兩個經典病態。在 \(C[0,1]\) 上取積分範數 \(\|f\|_1 = \int_0^1 |f|\) ，此空間不完備：可以造連續函數列收斂（在 \(L^1\) 意義下）到 Dirichlet 函數這種非連續對象。完備化自動把「壞極限」收編為新空間的點——這正是 \(L^1\) 空間的來源，也是 Lebesgue 理論優於 Riemann 理論的結構性理由（5.3 節）。

場景三：Baire 綱理論。完備度量空間是 Baire 空間（可數個稠密開集之交稠密）。由此得一致有界原理、開映射定理、逆算子定理——泛函分析三大定理全靠完備性。Baire 的 1899 年論文是「完備性如何產生存在性定理」的典範。

場景四：數值分析的視角。計算機能算的都是有理數；每次浮點運算都在 \(\mathbb{Q}\) 中逼近 \(\mathbb{R}\) 中的 Cauchy 列。捨入誤差理論本質上是「不完備空間中的 Cauchy 列何時可信」的工程學；向前誤差分析（Wilkinson 1960s）把 Cauchy 收斂速率變成可操作的界。

場景五：構造主義下的完備化。直覺主義者不接受「所有 Cauchy 序列的集合」這個實無窮，改用「附帶模長的 Cauchy 列」（每列自帶收斂速率證書）構造實數；Bishop《Constructive Analysis》(1967) 證明主要定理在此框架下仍可重建。對比 1.1 節場景三，可見構造主義在兩種構造上的不同取捨。

名詞速查表#

  • Cauchy 序列（基本列）：項彼此任意靠近的序列；判準「空間無關」。
  • 完備（complete）：空間中每個 Cauchy 序列都收斂。
  • 完備化：把 Cauchy 列等價類收編為新點，得到含原空間為稠密子集的唯一完備空間。
  • 等價類：差趨於零的序列歸為同一點（Cantor 構造的核心動作）。
  • 壓縮映射：使距離至少縮小固定比例 \(k<1\) 的映射；Banach 不動點定理的主角。
  • Baire 空間：可數稠密開集之交仍稠密的空間；完備度量空間皆為 Baire 空間。
  • 等距同構：保持距離的雙射；完備化的唯一性即在此意義下。

年表速查#

  • 1821：Cauchy《分析教程》提出基本序列與其收斂性主張。
  • 1847：Bolzano 以基本列為基礎的實數理論手稿（生前未發表）。
  • 1869：Méray 獨立提出基本列完備化。
  • 1872：Cantor 發表基於基本列等價類的實數構造。
  • 1883：Cantor 開始超窮數研究（完備化的哲學延伸）。
  • 1899：Baire 建立綱理論。
  • 1907：Fischer、Riesz 證明 \(L^p\) （ \(L^2\) ）完備性。
  • 1922：Banach 不動點定理。

深化問答三則#

問：Cauchy 判準既然「空間無關」，為何不能直接定義收斂？ 答：判準是必要條件，不是收斂本身。「項彼此靠近」不代表它們靠近到某個點——除非空間保證那個點存在。判準把「收斂與否」從「知道極限」解放出來，但「兌現」要靠完備性。

問：為何等價類定義要驗證 well-defined？ 答：實數 \(x = [(a_n)]\) 有無窮多代表元；若加法結果依賴代表元選取， \(x + y\) 就不是 \(x, y\) 的函數。驗證本質：改代表元 \(a_n' \to 0\) 差異時， \(a_n' + b_n\) 與 \(a_n + b_n\) 的差仍趨於零。這是「以集合代表對象」方法的普遍義務。

問：完備化是否唯一「正確」的補洞方式？ 答：在度量幾何上唯一（萬有性質保證）；但「洞」的種類不同（1.1 節的序洞 vs 本節的度量洞），非阿基米德範數還給出 \(\mathbb{Q}_p\) 。補洞方式由你想保留的結構決定——這是現代數學「結構優先」哲學的教科書案例。

（本節完）