2.2 Banach 空間的例子#

本章導言#

抽象理論的生命力取決於例子的豐富度。Banach 空間公理（1.3 節）之所以值得信奉，正因為它同時收容了數列空間、函數空間、測度空間這些形態迥異的對象。本節系統清點最重要的 Banach 空間，逐個檢驗範數與完備性，並比較它們的「性格」——為後續章節（對偶、算子、譜）建立動物園。

數列空間家族： $\ell^p$ 與其親友#

** $\ell^p$ （ $1 \le p < \infty$ ）**：滿足 $\sum_k |a_k|^p < \infty$ 的數列，範數 $\|a\|_p = \left(\sum |a_k|^p\right)^{1/p}$ 。完備性證明模仿 $\mathbb{R}$ 的情形：Cauchy 列逐座標收斂（由 $|a^{(m)}_k - a^{(n)}_k| \le \|a^{(m)} - a^{(n)}\|_p$ ），再用 Fatou 引理（1906）把逐座標極限送回 $\ell^p$ 。

** $\ell^\infty$ **：有界數列，範數 $\|a\|_\infty = \sup_k |a_k|$ ，完備（逐座標 + sup 控制）。

** $c_0$ ：趨於零的數列，配 sup 範數，完備且是 $\ell^\infty$ 的閉**子空間。 $c_0$ 在理論上地位特殊：它「缺單位元」（無恆等近似），其對偶是 $\ell^1$ （6.1 節）。

** $c$ **：收斂數列空間。與 $c_0$ 同構（ $a \in c$ 映到 $a - (\lim a_k)\cdot \mathbf{1}$ ）。

家族關係： $\ell^1 \subset \ell^p \subset \ell^q \subset c_0 \subset c \subset \ell^\infty$ （ $1 \le p \le q < \infty$ ）。這些包含都是真包含： $(\frac{1}{k}) \in \ell^2 \setminus \ell^1$ ； $(\frac{1}{\sqrt k}) \in \ell^\infty \setminus \ell^2$ 。包含關係全部來自「質量集中 vs 尾巴衰減」的競爭——數列空間理論的第一直覺。

歷史： $\ell^2$ 由 Hilbert（1906）引入； $\ell^p$ 與 $L^p$ 由 Riesz（1910）統一； $c_0$ 、 $c$ 等的系統研究由 Banach 學派（1930s）完成。

函數空間家族： $C$ 、 $L^p$ 與 $BV$#

** $C(K)$ **（ $K$ 緊 Hausdorff，典型 $[a,b]$ ）：連續函數配 sup 範數。完備性已在 1.3 節例題證明。它是「一致收斂的世界」，Weierstrass 多項式逼近定理說多項式稠密——稠密性 + 完備性 = 可用逼近法定全空間的工作模式。

** $L^p(\Omega)$ （ $1 \le p \le \infty$ ）：Lebesgue 可積函數的等價類，範數 $\|f\|_p = \left(\int_\Omega |f|^p d\mu\right)^{1/p}$ 。完備性定理（Riesz 1910）是 20 世紀分析學的基礎設施，證明依賴 Lebesgue 積分的逐項技巧（Fatou 引理、控制收斂）。 $L^p$ 之間在有限測度空間上的包含： $L^q \subset L^p$ （ $p \le q$ ）——函數空間的包含方向與數列空間相反**（數列尾巴 vs 函數尖峰的不同競爭規則），初學者最易搞混，應常備口訣：「數列大 $p$ 小，函數大 $p$ 大」（對 $\ell^p$ ， $p$ 越大空間越大；對有限測度 $L^p$ ， $p$ 越大空間越小）。

** $BV[a,b]$ （有界變差）**： $\|f\|_{BV} = |f(a)| + V(f)$ ，其中 $V(f) = \sup \sum |f(t_{i+1}) - f(t_i)|$ 為全變差。完備。Jordan（1881）證明：有界變差函數 = 兩個單調函數之差，因此逐點可微幾乎處處。 $BV$ 是 Riemann–Stieltjes 積分理論與分布理論的橋樑。

**Sobolev 空間 $W^{k,p}$ **（10.1 節）：把「函數 + 弱導數」都放進 $L^p$ ，PDE 理論的主舞台，此處先佔位。

對照表：Banach 空間動物園#

空間	元素	範數	完備	可分	對偶（6.1 節）	備註
$\mathbb{R}^n$	向量	任意	✓	✓	自身	一切幾何的模板
$\ell^1$	絕對可和數列	$\sum	a_k	$	✓	✓
$\ell^p$ （ $1<p<\infty$ ）	$p$ 次可和	$(\sum	a_k	^p)^{1/p}$	✓	✓
$\ell^2$	平方可和	平方根範數	✓	✓	$\ell^2$	Hilbert 空間
$c_0$	趨零數列	sup	✓	✓	$\ell^1$	非自反
$\ell^\infty$	有界數列	sup	✓	✗	$ba$ （不友好）	不可分！
$C[a,b]$	連續函數	sup	✓	✓	正則測度（Riesz 1909）	「一致收斂世界」
$L^p[0,1]$ （ $1\le p<\infty$ ）	可積等價類	積分範數	✓	✓	$L^q$ ； $L^1{}^* = L^\infty$	$p=\infty$ 非可分
$BV[a,b]$	有界變差函數	全變差	✓	✗	—	Jordan 結構定理

（「可分」列預告 2.3 節與 6.2 節的內容：可分性控制著弱緊性與座標化的可能性。）

完備性檢驗的三種武器#

逐一驗證完備性是枯燥的，但有三個省力定理：

閉子空間繼承完備性：完備空間的閉子空間完備（Cauchy 列在子空間收斂，極限因閉性留在子空間）。例： $c_0 \subset \ell^\infty$ 閉 ⟹ 完備。
稠密子空間的完備化唯一：不完備空間 $X$ 的完備化是唯一的（等距同構意義下）。例： $C[0,1]$ 配 $L^p$ 範數的完備化是 $L^p[0,1]$ ；有限支撐列 $c_{00}$ 的完備化（ $\ell^p$ 範數）是 $\ell^p$ 。
積（乘積）空間： $X \times Y$ 配 $\|(x,y)\| = \|x\|_X + \|y\|_Y$ 完備 ⟺ $X, Y$ 各自完備。例：Sobolev 空間 $W^{1,p} = \{f : f \in L^p,\ f' \in L^p\}$ 的完備性本質上是乘積構造。

稠密性：每個空間的「好算內核」#

工作模式「稠密子集上證明 + 延拓」需要知道各空間的稠密子集：

$C[a,b]$ ：多項式（Weierstrass 1885）、分段線性函數、三角多項式。
$L^p[0,1]$ （ $1 \le p < \infty$ ）：階梯函數、連續函數（稠密；但 $p = \infty$ 時連續函數不稠密於 $L^\infty$ ——閉包是「連續 + 遠處跳躍可修」的類）、簡單函數。
$\ell^p$ （ $p < \infty$ ）：有限支撐列 $c_{00}$ ； $c_0$ 中 $c_{00}$ 稠密， $\ell^\infty$ 中 $c_0$ 是真閉子空間。

歷史注腳：連續函數在 $L^\infty$ 不稠密這一事實，意味著 $L^\infty$ 中的「函數」可以任意野（Borel 可測、本質有界即可）。Lebesgue 積分的寬容使 $L^p$ （ $p<\infty$ ）擁有可分性與良好對偶，而 $L^\infty$ 、 $\ell^\infty$ 的不可分性則使它們的對偶空間（ba 空間、 $\ell^\infty{}^*$ ）成為泛函分析中最幽暗的角落——那裡需要選擇公理（Hahn–Banach）與超濾子。

一個具體例題#

例題 2.2.1：證明 $\ell^1$ 完備。

解：設 $\{a^{(n)}\}$ 是 $\ell^1$ 中的 Cauchy 列，其中 $a^{(n)} = (a^{(n)}_1, a^{(n)}_2, \ldots)$ 。

第一步（座標極限）：對每個固定座標 $k$ ，

\[ |a^{(m)}_k - a^{(n)}_k| \le \sum_j |a^{(m)}_j - a^{(n)}_j| = \|a^{(m)} - a^{(n)}\|_1 \to 0, \]

故 $(a^{(n)}_k)_n$ 是 $\mathbb{R}$ 的 Cauchy 列，有極限 $a_k := \lim_n a^{(n)}_k$ 。

第二步（候選屬於 $\ell^1$ ）：取 $\varepsilon = 1$ ，存在 $N$ 使 $m, n \ge N$ 時 $\|a^{(m)} - a^{(n)}\|_1 < 1$ 。對任意 $K$ 個座標，

\[ \sum_{k=1}^{K} |a_k| \le \sum_{k=1}^K |a_k - a^{(N)}_k| + \|a^{(N)}\|_1 \le \liminf_{m\to\infty} \|a^{(m)} - a^{(N)}\|_1 + \|a^{(N)}\|_1 < 1 + \|a^{(N)}\|_1. \]

（有限和上取極限可移入 liminf。）右邊與 $K$ 無關，令 $K \to \infty$ 得 $\sum_k |a_k| \le 1 + \|a^{(N)}\|_1 < \infty$ ，即 $a \in \ell^1$ 。

第三步（範數收斂）：固定 $n > N$ 與 $\varepsilon > 0$ 。先取 $K$ 使 $\sum_{k > K} |a_k| < \frac{\varepsilon}{3}$ 且 $\sum_{k>K}|a^{(n)}_k| < \frac{\varepsilon}{3}$ （兩個 $\ell^1$ 元素的尾巴皆小），再取 $m$ 充分大使前 $K$ 個座標滿足 $\sum_{k \le K} |a^{(m)}_k - a_k| < \frac{\varepsilon}{3}$ 。合併：

\[ \|a^{(m)} - a\|_1 \le \sum_{k \le K} |\cdot| + \sum_{k > K}|a^{(m)}_k| + \sum_{k > K}|a_k| < \varepsilon. \]

即 $\|a^{(m)} - a\|_1 \to 0$ 。證畢。

點評：三步法（座標極限 → 空間成員資格 → 範數收斂）是「函數/數列空間完備性」的通用模板； $\ell^p$ 、 $L^p$ 的證明骨架完全相同，只把「座標」換成「測度論技巧（Fatou 引理替代 liminf 步驟）」。掌握模板比記憶單獨證明更經濟。

歷史啟示#

例子庫是理論的燃料：Banach 1932 年的書一半篇幅是例子與習題。抽象定理的每個假設（完備、可分、自反）都要用例子檢驗「是否必需」——否則定理只是形式。
同一個空間可以有多種範數： $C[0,1]$ 配 sup 範數（Banach）與配 $L^1$ 範數（不完備）是不同的數學世界。做分析前先問：我的極限過程用哪把尺量？
包含與對偶的方向感： $\ell^1 \subset \ell^2 \subset \ell^\infty$ 而對偶方向相反（ $(\ell^\infty)^* \supset \ell^1$ ）。空間論的許多「反直覺」都源於方向搞反，畫圖是最佳防呆。
不可分空間的警示： $\ell^\infty$ 、 $L^\infty$ 不可分，其上不存在可數座標系、序列式論證大量失效。現代分析優先在可分空間工作，必要時用「弱*拓撲的 Banach–Alaoglu 緊性」（6.2 節）救場。

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

2.1 節：本節範數的驗證依賴 Hölder/Minkowski 不等式。
2.3 節：可分性與緊性的對比（ $\ell^\infty$ 的單位向量列、 $C[0,1]$ 的 Arzelà–Ascoli）。
3.1 節： $\ell^2$ 與 $L^2$ 因內積而昇級為 Hilbert 空間，是本節動物園中「最貴的展品」。
4.3 節： $C(K)$ 上積分算子的緊性（Arzelà–Ascoli 是驗證工具）。
6.1 節：對偶表格 $(\ell^p)^* = \ell^q$ 、 $C^* =$ 測度，是本節的續集。
8.2 節：Schauder 不動點定理需要緊凸集，其驗證多在 $C(K)$ 或 $L^p$ 中進行。
10.1 節：Sobolev 嵌入定理把 $W^{k,p}$ 放回本節的包含關係圖譜。
數值分析：有限元素法在 $L^2$ / $H^1$ 中定誤差；譜方法在 $C$ 或加權空間中估超範數——空間選擇即演算法設計。

練習#

證明 $c_0$ 是 $\ell^\infty$ 的閉子空間（給定 Cauchy 列在 $c_0$ 中收斂到 $a \in \ell^\infty$ ，用「 $a$ 的尾巴由收斂列的尾巴一致控制」）。
證明對 $1 \le p < q$ ： $\ell^p \subsetneq \ell^q$ 且 $\|a\|_q \le \|a\|_p$ ；並構造 $(\frac{1}{k^{1/p}})$ 屬於 $\ell^q$ （ $q > p$ ）但不屬於 $\ell^p$ 的修正例，說明包含是真包含。
證明連續函數在 $L^\infty[0,1]$ 中不稠密（考慮 $f = \mathbf{1}_{[0,1/2]}$ ，證任何連續 $g$ 滿足 $\|f - g\|_\infty \ge \frac12$ ）。
對例題 2.2.1 的三步法，指出哪一步在 $\ell^\infty$ 中依然成立、哪一步需要修改，並完成 $\ell^\infty$ 的完備性證明。
思考題： $BV[0,1]$ 配全變差範數中，考慮 $f_n(t) = \sin(n\pi t)/n$ 。計算 $\|f_n\|_\infty \to 0$ ，但 $V(f_n) = 2$ 對一切 $n$ 成立。這說明全變差範數與 sup 範數不等價；進一步說明 $BV$ 的對偶角色（它「控制」跳躍與振盪），為什麼在分析跳躍型現象（震波、金融路徑）時 $BV$ 是合適的空間？

進階研讀：空間動物園的五個深化場景#

場景一：Schur 性質—— $\ell^1$ 的奇蹟。 $\ell^1$ 中弱收斂 ⟹ 範數收斂（Schur 1921）：這是極罕見的性質（一般空間弱收斂嚴格弱於範數收斂，6.2 節）。後果： $\ell^1$ 的單位向量列 $e_n$ 不弱收斂（一般空間中它弱收斂於 0！見 2.3 節）。 $\ell^1$ 的「固執」使它成為反例工廠，也使它的對偶幾何（Dunford–Pettis 性質）獨樹一幟。

場景二： $C(K)$ 的 Riesz 表示定理（1909）。 $(C[a,b])^* =$ 全體正則 Borel 測度（配全變差範數）。線性泛函 $=$ 「加權求和」： $\varphi(f) = \int f\,d\mu$ 。這條定理把「泛函分析」與「測度論」焊接起來：對偶空間是測度空間！機率論（測度即分佈）與本節的 $C(K)$ 由此接軌，6.1 節將詳述。

場景三：James 空間與非自反的詭計。R. C. James（1951）構造了一個 Banach 空間 $J$ ： $J \cong J^{**}$ （典範嵌入是同構！）卻不自反——因為嵌入不是那個「自然典範」嵌入。這個精巧反例說明：自反性的定義（6.3 節）必須指明典範映射，等距同構的粗略說法會出大錯。反例教學法：一個好反例勝過十個同義反覆的證明。

場景四：Tsirelson 空間——沒有 $\ell^p$ 或 $c_0$ 的影子。1974 年 B. S. Tsirelson 構造第一個不含任何 $\ell^p$ 或 $c_0$ 同構副本的 Banach 空間，推翻了 Banach 學派的隱含猜想。此後「奇異空間」的構造學（Gowers–Maurey 1993 的 hereditarily indecomposable 空間）發展為精深技術，並聯繫到無條件收斂級數與算子理論的分類問題。Banach 空間的宇宙遠比經典例子豐富。

場景五：非交換推廣——從 $C(K)$ 到 von Neumann 代數。Gelfand 理論（1941）證明交換 $C^*$ 代數都是 $C(K)$ （9.1 節）；非交換版本則是算子代數（第 9 章）。空間動物園的每個成員都有「非交換雙親」： $C(K) \to B(H)$ 、測度 → 投影值測度、 $L^\infty \to$ von Neumann 代數。20 世紀後半葉泛函分析的主線之一，就是把本節的動物園整體翻譯成非交換語言。

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

** $\ell^p$ 空間**： $p$ 次可和數列； $p = \infty$ 為有界數列。
** $c_0$ / $c$ **：趨零數列 / 收斂數列。
** $C(K)$ **：緊集上連續函數，sup 範數。
** $L^p$ 空間**：Lebesgue 可積函數等價類。
** $BV$ （有界變差）**：全變差有限的函數；Jordan 分解為單調函數之差。
閉子空間：對極限封閉的線性子空間，繼承完備性。
稠密子集：閉包為全空間的子集；「好算內核」。
可分空間：有可數稠密子集。
Schur 性質：弱收斂 ⟹ 範數收斂（ $\ell^1$ 獨有）。
完備化：最小的完備擴張（如 $C$ 配 $L^p$ 範數完備化為 $L^p$ ）。

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

1881：Jordan 全變差與單調分解。
1902：Lebesgue 積分誕生（ $L^p$ 的原材料）。
1906：Hilbert 研究初版 $\ell^2$ ；Fatou 引理。
1909：Riesz 表示定理（ $C^* =$ 測度）。
1910：Riesz $L^p$ 完備性。
1921：Schur 性質。
1932：Banach《線性算子理論》系統整理空間例子。
1951：James 空間（非自反但 $J \cong J^{**}$ ）。
1974：Tsirelson 空間。
1993：Gowers–Maurey 不可分解空間。

深化問答三則#

問：為什麼 $L^\infty$ 要用「本質上確界」而不是「上確界」？ 答：因為 $L^p$ 空間的元素是等價類（零測集上任意修改視為同一）。上確界依賴代表元的選取（改一點點的值就能抬高端點），而本質上確界 $\inf\{M : |f| \le M \text{ 幾乎處處}\}$ 是等價類不變量。這是「先取等價類、後定範數」順序的必然要求。

問： $\ell^2$ 到底特別在哪？不就是 $\ell^p$ 家族一員嗎？ 答： $\|x\|_2$ 滿足平行四邊形恆等式，由內積生成；第 3 章將證明唯有 $p = 2$ 如此。內積帶來：正交投影（最佳逼近的顯式公式）、Parseval 等式（能量守恆）、Riesz 表示定理（泛函 = 內積）、以及自伴算子的譜定理（7.1 節）。 $\ell^p$ （ $p \ne 2$ ）世界裡這些一概沒有——幾何紅利使 $p=2$ 成為物理與工程的通用語言。

問：動物園那麼大，初學者該記住哪些？ 答：五個就夠支撐全書： $\mathbb{R}^n$ （直覺）、 $\ell^p$ 與 $L^p$ （家族規律）、 $C[a,b]$ （一致收斂 + 測度對偶）、 $\ell^2/L^2$ （Hilbert 紅利）。每章新定理出現時，回到這五個空間各驗證一次——Banach 學派的方法就是如此，蘇格蘭書上大量問題以「在 $L^p$ 或 $C[0,1]$ 中如何」開頭。

（本節完）