2.3 緊性與有限維的特權#

本章導言#

在 \(\mathbb{R}^n\) 中，有界閉集必緊（Bolzano–Weierstrass, 1870 前後），這是分析學的基石。但在無窮維空間，這條定理徹底失效。本節證明一個深刻的刻畫：單位球（閉球）緊 ⟺ 空間有限維。「緊性」這個有限維的特權，在無窮維只以受限的形式（緊算子、Arzelà–Ascoli、弱緊性）倖存，而這些倖存形式恰是泛函分析大部分深度定理的來源。

緊性在度量空間中的三副面孔#

緊集 \(K\) （任何開覆蓋有有限子覆蓋）在度量空間中等價於：

1. 序列緊：每個序列有收斂子列（極限在 \(K\) 中）；
2. 完全有界 + 完備：對任意 \(\varepsilon > 0\) 可被有限個 \(\varepsilon\) -球覆蓋；
3. 開覆蓋性質（定義本身）。

三者的等價（Borel–Lebesgue 定理與 Hausdorff、Alexandrov–Urysohn 1920s 的整理）是點集拓撲的成就；在一般拓撲空間中序列緊與緊不等價（需可數緊、網收斂等修正），但在度量空間中一切和諧。本節主要用「序列緊」這副面孔：它最接近「極限留在屋內」的分析直覺。

無窮維的第一課：單位向量列逃逸#

設 \(X\) 為無窮維賦範空間。用 Riesz 引理（Frigyes Riesz，1918）構造「彼此遠離的單位向量列」：

Riesz 引理：設 \(Y \subsetneq X\) 為閉真子空間， \(\theta \in (0,1)\) 。則存在 \(x_\theta \in X\) ， \(\|x_\theta\| = 1\) ，且 \(\|x_\theta - y\| \ge \theta\) 對一切 \(y \in Y\) 。

證明思想：取 \(x \notin Y\) ，令 \(d = \inf_{y \in Y} \|x - y\| > 0\) （ \(Y\) 閉），選 \(y_0 \in Y\) 使 \(\|x - y_0\| \le d / \theta\) ，令 \(x_\theta = \frac{x - y_0}{\|x - y_0\|}\) ，則對 \(y \in Y\) ：

（ \(y_0 + \|x-y_0\| y \in Y\) 因 \(Y\) 是子空間。）

現在遞推：取 \(\theta = \frac12\) ，先取單位向量 \(x_1\) ；令 \(Y_1 = \mathrm{span}(x_1)\) （有限維故閉），得 \(x_2\) 距 \(Y_1\) 至少 \(\frac12\) ；一般地令 \(Y_n = \mathrm{span}(x_1, \ldots, x_n)\) ，得 \(x_{n+1}\) 。於是得到序列 \(\{x_n\}\) ： \(\|x_n\| = 1\) 且 \(\|x_n - x_m\| \ge \frac12\) （ \(n \ne m\) ）。

立即推論： \(\{x_n\}\) 有界（在單位球上）但沒有 Cauchy 子列（任意兩項距離 \(\ge \frac12\) ）。因此：

• 無窮維賦範空間的單位球不是緊的；
• Bolzano–Weierstrass 定理在無窮維死亡；
• 更強的結論（Riesz 1918 的定理）：單位球緊 ⟺ \(X\) 有限維（反向：有限維時球緊，因 \(\mathbb{R}^n\) 的 Heine–Borel 性質 + 線性同胚）。

這個「逃逸序列」是無窮維分析的永久背景音。凡定理依賴「有界序列有收斂子列」（例如極小化序列取極限、譜的離散性），都必須在無窮維中另尋出路——出路有三條：加平滑性換緊性（Arzelà–Ascoli）、縮小算子（緊算子）、放寬收斂（弱拓撲）。

出路一：Arzelà–Ascoli——用等連續性買緊性#

Arzelà–Ascoli 定理（Cesare Arzelà 1883–95、Giulio Ascoli 1884 提出，1900s 定型）： \(A \subset C(K)\) （ \(K\) 緊度量空間）相對緊（閉包緊）⟺

1. 一致有界： \(\sup_{f \in A} \|f\|_\infty < \infty\) ；
2. 等度連續： \(\forall \varepsilon > 0\ \exists \delta > 0\) ，使 \(|t - s| < \delta\) 時 \(|f(t) - f(s)| < \varepsilon\) 對一切 \(f \in A\) 同時成立。

單獨的一致有界不夠： \(f_n(t) = \sin nt\) 有界但振盪無界地加劇，無收斂子列。等度連續是「集體平滑」的條件——它禁止序列成員各自為政地振盪。經驗法則：微分方程的解族天然等度連續（導數一致有界則 Lipschitz 一致），這正是 8.2、8.3 節 Peano 存在定理與 Schauder 不動點的燃料。

在 \(\ell^p\) 中的類似物： \(\ell^p\) （ \(1 \le p < \infty\) ）中集合相對緊 ⟺ 一致有界 + 尾一致趨零（ \(\sup_{a \in A} \sum_{k > N} |a_k|^p \to 0\) 當 \(N \to \infty\) ）。單位向量列 \(e_n\) 違反尾條件——逃逸的 \(\ell^p\) 版描述。

出路二：有限維的具體特權清單#

有限維空間 \(X\) （ \(\dim X = n\) ）擁有一長串無窮維沒有的免費午餐：

「所有範數等價」的證明是緊性的標準應用：設 \(\|\cdot\|_a\) 、 \(\|\cdot\|_b\) ，單位球面 \(S_a\) 緊，函數 \(x \mapsto \|x\|_b\) 連續（1 節反向三角不等式），故在 \(S_a\) 上有最小值 \(c > 0\) （範數正定保證 \(c \ne 0\) ）與最大值 \(C\) ，於是 \(\|x\|_b \ge c \|x\|_a\) （齊次化）與 \(\|x\|_b \le C\|x\|_a\) 。

「線性映射自動連續」同理： \(\|Tx\| \le \max_{\|u\| \le 1}\|Tu\| \cdot \|x\|\) ，右端最大值存在（緊性）。在無窮維，連續性是必須逐一假設的稀缺資源——這解釋了為何泛函分析處處以「有界算子」為對象（4.1 節），也解釋了為何不連續線性泛函的存在（Hamel 基上任意取值構造）只是選擇公理的幽靈，在「好」空間的實際理論中被 Hahn–Banach 的連續延拓取代（5.2 節）。

出路三：弱收斂的預告#

單位向量列 \(e_n \in \ell^2\) ：對任何 \(a \in \ell^2\) ，內積 \(\langle e_n, a \rangle = \overline{a_n} \to 0\) （ \(a \in \ell^2\) 故尾項趨零）。於是 \(e_n\) 弱收斂於 \(0\) ：每個連續線性泛函「看不見」它的逃逸。弱拓撲把單位球變成（在自反空間中）弱緊集（Banach–Alaoglu–Bourbaki、Kakutani，第 6 章），救回了某種「子列極限」——但代價是弱極限可能丟失範數質量（ \(e_n \rightharpoonup 0\) 而 \(\|e_n\| = 1\) 恆成立）。變分法中的「Lion 缺失緊性」（1973）正是處理「弱收斂但質量逃逸」的專業技術。本節只立旗幟，第 6 章詳述。

一個具體例題#

例題 2.3.1：在 \(C[0,1]\) 中考慮集合 \(A = \{f_n : n \ge 1\}\) ， \(f_n(t) = \frac{t^n}{n}\) 。判定 \(A\) 是否相對緊（即其閉包是否緊），並在 \(A\) 中加入 \(f_0(t) \equiv 0\) 後考察其閉包結構。

解：

（一）一致有界： \(\|f_n\|_\infty = \frac{1}{n} \le 1\) 。✓

（二）等度連續： \(f_n'(t) = t^{n-1}\) ，故 \(|f_n'(t)| \le 1\) 對一切 \(n, t\) 成立，由中值定理 \(|f_n(t) - f_n(s)| \le |t - s|\) 對所有 \(n\) 一致成立。取 \(\delta = \varepsilon\) 即得等度連續。✓

由 Arzelà–Ascoli， \(A\) 相對緊。

（三）極限是什麼： \(f_n \to f_0 \equiv 0\) 一致收斂（ \(\|f_n\|_\infty = \frac1n \to 0\) ）。故 \(\overline{A} = A \cup \{0\}\) ，是一個緊集（收斂序列加極限，緊性直接驗證：任何序列若無窮多次取同一元素則有常數子列，否則下標 \(\to \infty\) 收斂到 \(0\) ）。

（四）對照組： \(B = \{g_n\}\) ， \(g_n(t) = \sin(nt)\) 。一致有界（ \(\|g_n\|_\infty = 1\) ）但非等度連續： \(g_n'(\frac{\pi}{2n}) = n\) 隨 \(n\) 增大。 \(B\) 無一致收斂子列（對角論證：極限若存在須逐點為某 \(g\) ，但 \(\lim \sin(nt_k)\) 對適當子列可指向任意「振盪痕跡」，且 \(g_n\) 的頻率差異使 \(\|g_m - g_n\|_\infty\) 有下界，如 \(\|\sin mt - \sin nt\|_\infty \ge c > 0\) 對 \(m \ne n\) ）。故 \(B\) 不相對緊。同一個空間、同一種有界，等度連續一票定生死。

歷史啟示#

• 失效即信息：Bolzano–Weierstrass 在無窮維失效，不是理論的缺陷，而是它告訴我們無窮維在哪裡與有限維分道揚鑣。Riesz 1918 年的刻畫（球緊 ⟺ 有限維）把這個分界線畫成定理。
• 用條件購買緊性：Arzelà–Ascoli 的精神是「緊性可以用定量條件（等度連續、尾部控制）換取」。Peano（1890）、Hilbert（1900s）的解存在性證明本質上都在執行這種交易，Arzelà–Ascoli 把交易契約標準化。
• 無窮維的三條出路是全書地圖：緊算子（第 4、7 章）= 讓算子替你買緊性；弱拓撲（第 6 章）= 換一種收斂讓球重新緊；直接方法（8.2 節）= 用下半連續性直接抓極小值。現代分析的全部存在性技術幾乎都在這三條路上。
• 有限維直覺的用法：不是拋棄，而是檢驗與嚮導——在 \(\mathbb{R}^n\) 中先看定理長什麼樣，再到無窮維逐條檢查哪些假設（緊性！）需要替換。

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

• 1.2 節：單位向量列 \(e_n\) 的逃逸已在「無窮維第一課」預演，本節把它鑄成定理。
• 4.3 節：緊算子的定義（把有界集映成相對緊集）直接依賴本節的相對緊判據（Arzelà–Ascoli、尾條件）。
• 5.1 節：開映射定理的證明用 Baire 綱而非緊性——是有限維工具失效後的另一條路（完備性路線）。
• 6.2 節：Banach–Alaoglu 定理（弱*緊性）是「出路三」的正式版。
• 7.1、7.2 節：緊算子的譜由緊性「馴服」——Fredholm 的離散譜正是逃逸序列被緊性消滅的結果。
• 8.2、8.3 節：Peano 與 Schauder 定理是 Arzelà–Ascoli 的直接應用。
• 變分法：直接方法（Tonelli 1920s）= 下半連續 + 緊性；Lions 的集中緊性原理處理緊性缺失。
• 動力系統：LaSalle 不變性原理需要軌道預緊——緊性在長時間行為分析中是標配假設。

練習#

1. 證明 Riesz 引理的關鍵步驟： \(d = \inf_{y \in Y}\|x - y\| > 0\) （ \(Y\) 閉且 \(x \notin Y\) ），並完成不等式鏈。
2. 用 Riesz 引理證明：若單位閉球緊則空間有限維（提取逃逸序列後用序列緊性導出矛盾）。
3. 證明 \(f_n(t) = \sin(nt)\) 在 \(C[0, 2\pi]\) 中無一致 Cauchy 子列（提示：對任何 \(m < n\) ，估計 \(\int_0^{2\pi}|\sin mt - \sin nt|^2 dt\) ，再由 Cauchy–Schwarz 從積分下界推 sup 下界）。
4. 驗證 \(\ell^2\) 中集合 \(A = \{a : |a_k| \le 2^{-k}\}\) 緊（尾條件 + 完全有界構造有限 \(\varepsilon\) -網）。
5. 思考題：Heine–Borel 定理「有界閉 ⟺ 緊」在無窮維只剩「緊 ⟹ 有界閉」。請分別找出（a）有界閉但不緊、（b）閉但不有界、（c）完全不緊的凸集例子，並討論「凸性 + 緊性」的組合（如 8.2 節 Schauder 定理的要求）在無窮維為何如此稀缺而珍貴。

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

場景一：Krein–Milman 定理與端點。緊凸集 = 其端點集的閉凸包（Krein–Milman，1940，需局部凸拓撲）。在無窮維，單位球不緊，Krein–Milman 需要弱拓撲（單位球弱緊時適用）。應用： \(C[0,1]^*\) 的單位球端點 = \(\pm \delta\) 測度——「純狀態」概念的數學原型，量子力學與 Choquet 理論（1960）由此展開。

場景二：Kolmogorov–Riesz 緊性判據（ \(L^p\) 版）。 \(L^p(\mathbb{R}^n)\) 中相對緊 ⟺ 一致有界 + 平移一致連續（ \(\|f(\cdot + h) - f(\cdot)\|_p \to 0\) 對 \(f \in A\) 一致， \(h \to 0\) ）+ 尾部緊（ \(\|f\|_{L^p(|x|>R)} \to 0\) 一致）。這是 Arzelà–Ascoli 的 \(L^p\) 化（Kolmogorov 1931、Tulajkov 1933、Riesz 1933 整理），是變分法與 PDE 中「緊性檢查」的日常工作準則。

場景三：緊性的拓撲升級——Banach–Alaoglu。單位對偶球的弱緊性（Banach 1932、Alaoglu 1940）不需要空間自反，且證明不靠 Baire 而靠 Tychonoff 緊性（ \(B_{X^*} \subset \prod_{x} \overline{D}\) 的閉子集）。弱緊 + 可分空間 ⟹ 序列式子列存在——這是 6.2 節「可分性拯救序列論證」的原理。緊性從度量空間的直觀概念升級為一般拓撲的資源庫。

場景四：Hamel 基 vs Schauder 基。Hamel 基（代數基，每向量唯一有限線性組合）在無窮維不可數且線性泛函可在其上任意取值——不連續泛函的源頭。Schauder 基（ \(x = \sum a_n e_n\) 範數收斂，1927）才是「無窮維座標」的正解： \(\ell^p\) 、 \(c_0\) 、 \(C[0,1]\) （Schauder 1927 年構造的三角系）都有。但 Enflo（1973）構造了無 Schauder 基的空間（解決蘇格蘭書第 153 題）——「座標化」在無窮維再次不是免費的。

場景五：無窮維拓撲學的禁區。有限維拓撲的許多基石在無窮維失效：單位球緊性沒了，導致無窮維空間的拓撲同倫類出奇地少——Klee（1955）、Anderson（1966）證明：無窮維可分 Hilbert 空間的單位球同胚於整個空間！更驚人： \(\ell^2\) 的單位球面也同胚於 \(\ell^2\) 。「有限維的形狀分類學」在無窮維塌縮為同一個東西——拓撲學與分析的直覺在這裡徹底分手，逼出無窮維流形（Hilbert 流形、Banach 流形，1956 起 Lang、Eells–Elworthy）的獨立理論。

名詞速查表（本節出現的核心術語）#

• 緊集 / 序列緊：有限子覆蓋性質 / 每序列有收斂子列（度量空間中等價）。
• 完全有界：任意 \(\varepsilon\) 有有限 \(\varepsilon\) -網；緊 = 完全有界 + 完備。
• Riesz 引理：閉真子空間外可取與其保持距離的單位向量。
• 逃逸序列：範數恆正且兩兩分離的序列，是無窮維緊性失效的標準證人。
• 等度連續：一族函數共享同一個連續模數。
• Arzelà–Ascoli 定理： \(C(K)\) 相對緊 ⟺ 一致有界 + 等度連續。
• 尾條件： \(\ell^p\) 緊性的「尾巴一致趨零」判據。
• Hamel 基：代數基；產生不連續線性泛函。
• Schauder 基：範數收斂意義的無窮座標基。
• 弱收斂：對一切連續泛函收斂；第 6 章的主角。

年表速查（本節涉及的關鍵年份）#

• 1883–1895：Arzelà 研究函數列的緊性條件。
• 1884：Ascoli 提出等度連續概念。
• 1890：Peano 以「一致連續 + 逼近」證 ODE 存在定理（Arzelà–Ascoli 的前身應用）。
• 1918：Riesz 刻畫「球緊 ⟺ 有限維」並證 Riesz 引理。
• 1927：Schauder 構造 \(C[0,1]\) 的基。
• 1931–1933：Kolmogorov–Riesz \(L^p\) 緊性判據。
• 1940：Krein–Milman 定理。
• 1973：Enflo 構造無 Schauder 基的空間。

深化問答三則#

問：Riesz 引理中 \(\theta\) 不能取 \(1\) ，這個缺口重要嗎？ 答：在構造逃逸序列時 \(\theta = \frac12\) 已足夠。但在某些深層應用（如刻畫「幾乎可分」空間、證明單位球面的極端點性質）中， \(\theta = 1\) （能否取到與 \(Y\) 距離恰為 \(1\) 的向量）恰是「空間是否具備好幾何」的分水嶺：對偶特徵 \(\theta = 1\) 可達 ⟺ \(Y\) 是「proximinal（近端）」子空間。一個引理的參數極限，藏著一整個研究領域。

問：為什麼 PDE 論文裡處處是「緊性嵌入」？ 答：因為極小化序列（變分法）或近似解序列（數值格式）天然有界，但有界不緊（本節主題）。Sobolev 嵌入定理（10.1 節）提供「 \(H^1 \hookrightarrow L^2\) 緊」這類免費緊性，使弱收斂 + 緊嵌入 = 強收斂，從而極限真正是解。可以說：Sobolev 緊嵌入定理是 Arzelà–Ascoli 思想的現代量產版。

問：有限維直覺在無窮維最危險的一條是什麼？ 答：「有界序列有收斂子列」。它幾乎處處被默認引用，又幾乎處處為假（ \(e_n\) 逃逸）。第二危險的是「閉 + 有界 ⟹ 緊」衍生的一切（極值可達、距離可達、不動點存在）。養成習慣：每當寫下「取子列」三個字，先問緊性從何而來——是 Arzelà–Ascoli、Sobolev 嵌入、弱緊性，還是緊算子的平滑作用？

（本節完）