2.3 緊致性與 Heine–Borel 定理#

本章導言#

1894–1895 年，Borel（波萊爾，Émile Borel，1871–1956） 在一篇短文中證明了一個看似技術性的命題：從可數個開區間覆蓋閉區間 \([a,b]\) ，可以取出有限子覆蓋。Lebesgue（勒貝格，1875–1941）後來指出他自己 1902 年的工作核心「本質上就是 Borel 覆蓋定理」；Cousin（1895）給出更一般的有限覆蓋版本。當這條「有限子覆蓋」性質被 Fréchet（弗雷歇，1878–1973）在 1906 年命名為緊性（compactness）並推廣到度量空間時，它一躍成為 20 世紀分析的中央概念。本節證明 Heine–Borel 定理，講述覆蓋緊性與序列緊性的等價與分裂。

從 Heine 到 Borel 的證明鏈#

1872 年 Heine（海涅，Eduard Heine，1821–1881）證明閉區間上連續函數一致連續，其方法實質使用了覆蓋論證。1879 年 Cantor 在實函數論研究中提出「有限覆蓋原理」於 \(\mathbb{R}^n\) 的區間情形。Borel 1895 年把可數覆蓋版本以現代形式發表，並且首次注意到：有限性結論不依賴於覆蓋的具體形狀，只依賴於「閉 + 有界」。皮亞諾（Peano）同年也發表了相關證明，故此定理的優先權一度有爭議；今日「Heine–Borel」之名是歷史妥協——Heine 首先用，Borel 首先證，Cousin 與 Lebesgue 完成一般化。

覆蓋緊性的定義#

定義： \(K \subseteq \mathbb{R}^n\) 稱為緊，若 \(K\) 的每一個開覆蓋（一族開集 \(\{U_\alpha\}_{\alpha \in I}\) 使 \(K \subseteq \bigcup_\alpha U_\alpha\) ）都含有有限子覆蓋（有限多個 \(U_{\alpha_1}, \ldots, U_{\alpha_m}\) 仍覆蓋 \(K\) ）。

這個定義把「無窮」轉為「有限」的力量可從一個模型問題看出：要證某性質 \(P\) 在 \(K\) 上成立，若對每點 \(x\) 有局部鄰域 \(U_x\) 使 \(P\) 在 \(U_x\) 上成立，則緊性把無窮多個 \(U_x\) 壓縮為有限多個，從而由「局部成立」升級為「全局成立」——這個證明模板稱為緊性論證，是分析學最重要的證明引擎之一（Lebesgue 數引理、單位分解、Fourier 級數的一致收斂判準都是它的化身）。

Heine–Borel 定理#

定理（Heine–Borel）： \(K \subseteq \mathbb{R}^n\) 緊 \(\iff\) \(K\) 有界且閉。

證明（ \(\Leftarrow\) 方向是本體，分兩步）：

第一步： \([0,1]\) 緊（區間套法）。反設某開覆蓋 \(\mathcal{U}\) 無有限子覆蓋。將 \([0,1]\) 對半分為 \([0,\frac12]\) 、 \([\frac12,1]\) ，至少一半不能被有限覆蓋，記之為 \(I_1\) ；重複得區間套 \(I_1 \supset I_2 \supset \cdots\) ， \(|I_k| = 2^{-k}\) 。由完備性（1.1 節）取公共點 \(c \in \bigcap I_k \subseteq [0,1]\) 。 \(\mathcal{U}\) 覆蓋 \(c\) ，取 \(U \ni c\) ； \(U\) 開，故存在 \(\varepsilon\) 使 \(B(c, \varepsilon) \subseteq U\) 。取 \(k\) 大到 \(|I_k| < \varepsilon\) ，則 \(I_k \subseteq B(c,\varepsilon) \subseteq U\) ——**單一開集 \(U\) 就覆蓋了 \(I_k\) **，與「 \(I_k\) 不能被有限覆蓋」矛盾。 \(\blacksquare\)

第二步：閉有界集緊。 \(K\) 有界，含於方框 \(Q = [-M, M]^n\) 。 \(Q\) 是 \(n\) 個區間的積，由第一步逐維推廣得 \(Q\) 緊。閉集 \(K \subseteq Q\) ：設 \(\mathcal{U}\) 覆蓋 \(K\) ，則 \(\mathcal{U} \cup \{Q \setminus K\}\) 覆蓋 \(Q\) （因 \(Q \setminus K\) 開），取有限子覆蓋，刪去 \(Q \setminus K\) （若在內）後仍覆蓋 \(K\) 。 \(\blacksquare\)

（ \(\Rightarrow\) 方向）：不有界：取 \(\{U_m = B(0, m)\}\) 覆蓋，無有限子族覆蓋。不閉：取聚點 \(p \notin K\) ，覆蓋 \(\{ \mathbb{R}^n \setminus \overline{B}(p, 1/m) \}\) 覆蓋 \(K\) 但任何有限子族避開不了 \(p\) 的某鄰域中 \(K\) 的點，無有限子覆蓋。 \(\blacksquare\)

Lebesgue 數引理：緊性論證的標準件#

引理（Lebesgue 數）：設 \(\mathcal{U}\) 是緊集 \(K\) 的開覆蓋，則存在 \(\lambda > 0\) （Lebesgue 數），使任何直徑小於 \(\lambda\) 的子集 \(S \subseteq K\) 必含於某個 \(U \in \mathcal{U}\) 。

證明思想：反設對每 \(m\) 存在直徑 \(< 1/m\) 的 \(S_m\) 不含於任何 \(U\) 。取 \(x_m \in S_m\) ，緊性取子列 \(x_{m_j} \to x \in K\) ； \(\mathcal{U}\) 覆蓋 \(x\) ，某 \(U \ni x\) 含 \(B(x, \varepsilon)\) ； \(m_j\) 大時 \(S_{m_j} \subseteq B(x, \varepsilon) \subseteq U\) ，矛盾。 \(\blacksquare\)

應用示範（Heine 一致連續定理的第二種證明）： \(f: K \to \mathbb{R}\) 連續。對每點 \(x\) 取 \(\delta_x\) 使 \(|y - x| < 2\delta_x \Rightarrow |f(y) - f(x)| < \varepsilon/2\) 。開球族 \(\{B(x, \delta_x)\}\) 覆蓋 \(K\) ，取 Lebesgue 數 \(\lambda\) 。任給 \(u, v\) ， \(|u - v| < \lambda\) ： \(u\) 落在某 \(B(x, \delta_x)\) ，則 \(u, v\) 皆在 \(B(x, 2\delta_x)\) 內， $$|f(u) - f(v)| \le |f(u) - f(x)| + |f(x) - f(v)| < \varepsilon. $$ 統一 \(\delta = \lambda\) 證畢。對比：2.2 節的證明用「反證 + 子列」，本證明用「局部鄰域 + 有限覆蓋」——兩種緊性風格的對照。

覆蓋緊 vs. 序列緊：等價與分裂#

定理（度量空間中）：度量空間的子集覆蓋緊 \(\iff\) 序列緊。

證明依賴度量空間的第一可數性（每點有可數鄰域基）與 Lebesgue 數引理。但一般拓撲空間中兩者分裂：

經典反例：**序數空間 \([0, \omega_1)\) **（第一個不可數序數之前的部分）序列緊但不緊。20 世紀中葉（Kelley、Tychonoff 時代）以覆蓋緊為正式定義，因為 Tychonoff 定理（1930：任意積空間的緊積緊）只對覆蓋緊成立——而 Tychonoff 定理等價於選擇公理（Kelley 1950 證明），是泛函分析（Banach–Alaoglu 定理、弱緊性）的基礎。

一個具體例題#

例題 2.3.1：證明開覆蓋 \(\{(1/n, 2) : n \in \mathbb{N}\} \cup \{(0, 1)\}\) 覆蓋 \(K = (0, 1)\) ，但沒有有限子覆蓋；再驗證對 \(K' = [0, 1]\) ，同型的覆蓋必有有限子覆蓋（以 \(\{(−1/m, 1−1/m) : m \in \mathbb{N}\}\) 為例）。

解： 1. ** \((0,1)\) 不緊：對 \(x \in (0,1)\) ，取 \(n > 1/x\) ，則 \(x > 1/n\) 且 \(x < 2\) ，故 \(x \in (1/n, 2)\) ；覆蓋成立。但任何有限子族 \(\{(1/n_i, 2)\} \cup \{(0,1)\}\) （若含 \((0,1)\) 則已有限覆蓋——注意：這提醒我們覆蓋族的選擇必須不含「致命」成員。改用不含 \((0,1)\) 的覆蓋 \(\{(1/n, 2)\}\) ：它覆蓋 \((0,1)\) ，任何有限子族的左端點最小值為 \(1/N > 0\) ，點 \(\frac{1}{2N} \in (0,1)\) 未被覆蓋）。故存在開覆蓋無有限子覆蓋， \((0,1)\) 不緊。 2. ** \([0,1]\) 對任意開覆蓋皆有有限子覆蓋：由 Heine–Borel（ \([0,1]\) 閉且有界）。具體到 \(\mathcal{V} = \{(-1/m, 1 - 1/m)\}\) ：對 \(x \in [0,1)\) ，取 \(m > 1/(1-x)\) ，則 \(1 - 1/m > x\) ，且 \(-1/m < 0 \le x\) ，故 \(x \in (-1/m, 1-1/m)\) ； \(x = 1\) 不被覆蓋——所以 \(\mathcal{V}\) **根本不覆蓋 \([0,1]\) **（缺了右端點）。補上 \((2/3, 2)\) 得 \(\mathcal{V}'\) ，則有限子族 \((2/3, 2)\) 與 \((-1/m, 1-1/m)\) （取 \(m = 4\) ，得 \((-1/4, 3/4)\) ）已覆蓋 \([0,1]\) 。

教學重點：緊性的本質是「端點不能漏」—— \((0,1)\) 的病來自兩端（ \(0\) 處需無窮多套圈逼近， \(1\) 處徹底漏出）。加回端點（閉包）＋限制範圍（有界）後，任何覆蓋都逃不掉。 \(\blacksquare\)

歷史啟示#

• 「有限」是數學家對付「無窮」的終極武器：覆蓋緊性的定義赤裸地宣告這一點——所有無窮論證都能化約為有限情形的空間才是好分析的舞台。
• 命名與優先權：同一個定理被冠以兩個人的名字（Heine 用之、Borel 證之），加上 Cousin、Lebesgue、Peano 的並行工作，說明概念成熟的同時性。
• 選擇公理的浮現：Tychonoff 定理（緊性的積保持）等價於選擇公理——緊性理論在深處觸及集合論基礎，這是 20 世紀數學基礎研究與分析學交會的著名案例。

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

• 1.1、1.3 節：本節證明的引擎是完備性（區間套公共點）與 B–W 定理；三者構成實數理論鐵三角。
• 2.1、2.2 節：緊性的集合定義與緊性上的連續函數定理。
• 3.2 節：Dini 定理（單調遞增收斂 + 緊性 ⇒ 一致收斂）是緊性論證的直接應用。
• 4.2 節：緊集是 Lebesgue 測度論中「有限測度的骨幹」（Radon 測度、正則性：測度由緊集逼近）。
• 6.2 節：無窮維中緊性退場（單位球不緊），逼出弱拓撲與 Banach–Alaoglu 定理。
• 《微積分》7–9 章：Green、Gauss、Stokes 定理的證明核心是緊支集上的分部積分——緊支撐性保證邊界項消失。

練習#

1. 完整寫出 Heine–Borel 定理中「閉方框 \([-M,M]^n\) 緊」的歸納證明（從 \(n = 1\) 的區間套證明出發）。
2. 證明緊集的閉子集仍緊；並證明 \(\mathbb{R}^n\) 中緊集必是有界閉集。
3. 用 Lebesgue 數引理證明：緊集上連續函數一致連續（完整寫出，與 2.2 節子列法對照）。
4. 考慮度量空間 \(\mathbb{Q}\) （子空間度量）：證明 \([0, \sqrt2] \cap \mathbb{Q}\) 閉（在 \(\mathbb{Q}\) 中）且有界，但不緊——指出 Heine–Borel 失效的位置（不完備性）。
5. 思考題：證明「緊 = 全有界 + 完備」在度量空間中成立（1.2 節場景與本節的合流）。

進階研讀：緊性的五個深化場景#

場景一：Dini 定理。緊集上連續函數列單調遞增收斂到連續函數，則收斂自動是一致的。證明：對每 \(x\) 取 \(n_x\) 使 \(f(x) - f_{n_x}(x) < \varepsilon\) ；由連續性此不等式在 \(x\) 的鄰域成立；緊性取有限子覆蓋，取 \(n = \max n_x\) 。這是「逐點收斂何時自動一致」最乾淨的答案，3.2 節將正式登場。

場景二：單位分解。緊集上，對有限開覆蓋可構造光滑函數 \(\{\varphi_i\}\) ， \(\sum \varphi_i = 1\) ， \(\varphi_i\) 支撐在第 \(i\) 個覆蓋集內。流形上的積分理論、Sobolev 空間的局部化、微分幾何的向量叢理論都靠它——緊性的又一次「無窮變有限」。

場景三：弱緊性與泛函分析。無窮維單位球不緊（強拓撲），但 Banach–Alaoglu 定理說對偶球的弱* 拓撲緊。弱緊性使「極小化序列有收斂子列」重獲新生，是變分法、機率論（緊測度、Prokhorov 定理）、譜理論的共同基礎。

場景四：拓撲空間的緊化。 \(\mathbb{R}\) 的單點緊化是圓（複分析中 Riemann 球是 \(\mathbb{C}\) 的單點緊化）；Stone–Čech 緊化 \(\beta X\) 是「最大」緊化，任何 \(X\) 上的有界連續函數唯一延拓到 \(\beta X\) 。緊化理論把「不緊的空間」全部納入緊性的管轄。

場景五：代數幾何中的 Zariski 緊性。代數簇在 Zariski 拓撲中擬緊（quasi-compact，不要求 Hausdorff），「任意理想含於有限多極大理想」這類有限性定理是緊性的代數化身。緊性是跨領域的「有限性」抽象，不限於幾何圖像。

名詞速查表#

• 開覆蓋／有限子覆蓋：覆蓋集合的開集族／其中有限多個仍覆蓋者。
• 覆蓋緊：每個開覆蓋有有限子覆蓋（現代正式定義）。
• 序列緊：每個序列有收斂子列（度量空間中與覆蓋緊等價）。
• Lebesgue 數：使「直徑夠小的子集必落入某覆蓋成員」的正數。
• Heine–Borel 定理： \(\mathbb{R}^n\) 中緊 ⟺ 有界且閉。
• Tychonoff 定理：緊空間的任意積仍緊（等價於選擇公理）。
• 單位分解：附屬於開覆蓋、和為 1 的函數族；局部到全局的橋樑。

年表速查#

• 1872：Heine 一致連續定理（覆蓋論證之始）。
• 1879：Cantor 的有限覆蓋原理（ \(\mathbb{R}^n\) 區間情形）。
• 1895：Borel 可數覆蓋定理；Cousin 有限覆蓋定理；Peano 並行工作。
• 1902：Lebesgue 指出覆蓋定理是其積分理論的引擎。
• 1906：Fréchet 命名「緊性」並推廣到度量空間。
• 1914：Hausdorff 拓撲空間；緊性進入一般拓撲。
• 1930：Tychonoff 積緊性定理。
• 1950：Kelley 證明 Tychonoff 定理等價於選擇公理。

深化問答三則#

問：為什麼現代教科書以覆蓋緊而非序列緊為正式定義？ 答：三個理由：Tychonoff 定理只對覆蓋緊成立；覆蓋緊的定義不需要可數性公理（更一般）；「無窮化有限」的證明動力在覆蓋語言中最透明。序列緊則在計算與反例中更順手——兩者並存，各司其職。

問：Heine–Borel 在 \(\mathbb{Q}\) 上失效，具體壞在哪裡？ 答： \([0, \sqrt2] \cap \mathbb{Q}\) 閉（相對拓撲）且有界，但覆蓋 \(\{(q : q < r_n)\}\) （ \(r_n \downarrow \sqrt2\) ， \(r_n\) 有理）無有限子覆蓋——因為 \(\sqrt2\) 這個「洞」需要無窮多開集去逼近。完備性缺席使「閉」失去捕極限的能力，緊性隨之崩塌。

問：緊性與完備性如何分工？ 答：完備性管「Cauchy 列有極限」（純內部性質），緊性管「有界序列有收斂子列且不逃逸」（內部 + 邊界）。公式「緊 = 全有界 + 完備」給出分工：完備性防「洞」，全有界防「逃向無窮」。泛函分析中兩者分開使用（完備的 Banach 空間大而不緊；緊的空間小而完備）。

（本節完）