1927-HahnBanach定理#

案件檔案	內容
案件編號	CASE-1927-HAHNBANACH
案發時間	1927 年（Hahn 1927；Banach 1929 正式發表於 Studia Mathematica）
案發地點	維也納（Hans Hahn）與 Lwów（Stefan Banach），兩地獨立破案
主嫌／主角	Hans Hahn、Stefan Banach
涉案罪名	把子空間上的泛函「偷偷延拓」而不增加任何範數
關鍵證物	\(\\|f\\| = \\|F\\|\) 延拓、次線性泛函 \(p\) 、單步延拓引理、凸性論證
判決結果	對偶理論第一把刀開鋒，Zorn 引理的前身現形

案發現場#

1920 年 Banach 的論文雖然把 \(L^p\) 空間集體入籍，但偵查時留下一個懸案：稠密子空間上的連續線性泛函可以延拓——那如果不是稠密的呢？

在 Hilbert 空間，這不難：用內積投影， \(F(y) = \langle y, x\rangle\) 天生有最短延拓。
但一般 Banach 空間沒有內積、沒有投影、沒有正交基。泛函 \(f\) 定義在子空間 \(M\) 上，想要延拓到全空間 \(X\) 且範數不變——直覺上似乎必須付出代價。

未解之謎：延拓是否可能「零代價」？如果可能，對偶空間 \((L^p)^*\) 就會豐富到足以表示每一個泛函，對偶理論才能真正開工。

Hahn 與 Banach 的共同靈感：與其說「延拓後範數不變」，不如把控制條件換成更抽象的次線性泛函。設 \(p : X \to \mathbb{R}\) 滿足：

注意 \(p\) 不必是範數（可以取負值、不必對稱）。範數是特例： \(p(x) = c\|x\|\) 。取 \(p(x) = \|f\|_{_M} \cdot \|x\|\) ，延拓定理就現身為範數保持版。

引理：設 \(f\) 定義在 \(M\) 上且 \(f \le p|_M\) ， \(x_0 \notin M\) ，則 \(f\) 可延拓到 \(M \oplus \operatorname{span}\{x_0\}\) 上仍受 \(p\) 控制。

推理核心（凸性論證）：要在 \(M \oplus \mathbb{R} x_0\) 上定義 \(F(x + t x_0) = f(x) + t\alpha\) ，唯一待定的是 \(\alpha\) 。受控條件是：

\[ f(x) + t\alpha \le p(x + t x_0), \quad \forall x \in M,\ t \in \mathbb{R} \]

把 \(t\) 拆成 \(t > 0\) 與 \(t < 0\) 兩案，整理成一組對 \(\alpha\) 的夾擊條件：

\[ \sup_{y \in M} \left( \frac{f(y)}{1} - p(y - x_0) \right) \le \alpha \le \inf_{z \in M} \left( p(z + x_0) - \frac{f(z)}{1} \right) \]

這個 sup \(\le\) inf 恰好成立，因為次可加性給出（凸性夾擊的樞紐）：

\[ f(y) + f(z) \le p(y + z) = p\big((y - x_0) + (z + x_0)\big) \le p(y - x_0) + p(z + x_0) \]

移項即得 \(\big(f(y) - p(y-x_0)\big) \le \big(p(z+x_0) - f(z)\big)\) ，對所有 \(y, z \in M\) 。一句話破案：凸性保證夾擊區間非空， \(\alpha\) 挑得到。

單步延拓一次只能多收一個維度。要收完全空間 \(X\) ，需要「不斷重複延拓直到無法再延」。Hahn 與 Banach 用的是超限歸納（well-ordering 原理）：

這套「用良序化逐維擴張再取聯集」的論證，正是 Zorn 引理的前身——現代教科書改用 Zorn 引理敘述：取「所有受控延拓」按延拓關係偏序，鏈的聯集仍是受控延拓，故存在極大元；若極大元定義域不是全空間，單步引理立刻打臉，故定義域必為 \(X\) 。

取 \(p(x) = \|f\|_M \, \|x\|\) （次線性，驗證： \(\|f\|_M\|\alpha x\| = \alpha \|f\|_M \|x\|\) ； \(\|f\|_M \|x+y\| \le \|f\|_M\|x\| + \|f\|_M\|y\|\) ），代入抽象定理：

\[ F|_M = f, \qquad \|F\|_X = \|f\|_M \]

零代價延拓成立：範數一分不多、一分不少。

版本	控制條件	結論	用途
實抽象版	\(f \le p\) ， \(p\) 次線性	\(F\) 延拓且 \(F \le p\)	凸幾何、分離定理
複數版	\(\\|f\\|\) 有界	\(\\|F\\| = \\|f\\|\) （經 \(f = \operatorname{Re} f + i \operatorname{Re}(i^{-1}f)\) 化約）	複 Banach 空間
範數保持版	\(p(x) = c\\|x\\|\)	\(\\|F\\| = \\|f\\|\)	對偶理論主力
幾何版（Mazur 1936）	凸集分離	超平面分離凸集	凸分析

判決：延拓不僅可能，而且零代價。Hahn（維也納）與 Banach（Lwów）獨立完成，Banach 1929 年在《Studia Mathematica》刊出，從此定理以兩人姓名並列。

對偶理論第一把刀：有了 \(\|F\| = \|f\|\) ，立刻推得關鍵推論——對任意 \(x_0 \ne 0\) ，存在泛函 \(F\) 使 \(\|F\| = 1\) 且 \(F(x_0) = \|x_0\|\) 。這證明「對偶空間夠多」，把點與泛函分得開開的： \(\bigcap_{f \in X^*} \ker f = \{0\}\) 。
** \((L^p)^* \cong L^q\) 的工具**：Riesz 表示定理造出的積分泛函，配上延拓定理，對偶理論全面開工。
選擇公理的祖先：超限歸納論證催生 Zorn 引理（1922–1935 定型），成為泛函分析標準配備。
遺產：Mazur 1936 年的幾何形式（超平面分離）開出凸分析與最優控制的整片疆土；Hahn 的學生 von Neumann 則把對偶思想帶進 Hilbert 空間的算子理論。

證明骨架：抽象定理 → 單步引理（凸性夾擊） → 超限歸納／Zorn 引理收網 → 取 \(p(x) = c\|x\|\) 得範數保持版 → 推論：泛函可分離點。