1929-開映射與閉圖像#

案發現場#

1927 年，Hahn–Banach 定理為對偶理論開鋒；Hellinger–Toeplitz 案的偵查中，Banach 逆算子的連續性已被悄悄使用卻尚未驗明正身。此時積壓著兩樁懸案：

1. 逆算子懸案： \(T : X \to Y\) 是連續線性雙射，逆算子 \(T^{-1}\) 是否連續？在有限維，任何線性算子都連續，答案是顯然的。在無窮維，連續雙射的逆可以不連續（例如從較粗拓樸到較細拓樸的恆等映射）——除非對空間本身多要求點什麼。
2. 求解懸案：積分方程與微分方程的求解，本質上是解 \(Tx = y\) 。什麼時候解連續依賴於資料 \(y\) ？（適定性問題的抽象版。）

未解之謎：完備性（Banach 空間的註冊商標）能不能把「連續⇒逆連續」這條在有限維免費的性質，在無窮維也送回去？

偵查過程#

侦查線索一：把「逆連續」翻譯成「開映射」#

偵查的第一步是換證詞。 \(T^{-1}\) 連續 \(\iff\) 開集在 \(T^{-1}\) 下原像開 \(\iff\) 開集在 \(T\) 下像集開 \(\iff\) \(T\) 是開映射。

而線性算子只要把一個特定集合映開，就全部開了：

目標鎖定：證明滿射連續線性算子把單位球「脹大」到蓋住某個小球。這就是所謂的單位球膨脹引理。

侦查線索二：Baire 綱論——完備性的槓桿#

Banach 的關鍵武器是 Baire 綱論：完備度量空間不是可數個無處稠密集的聯集；特別地，可數個閉集蓋住空間時，必有某個閉集的內部非空。

偵查路線： \(T\) 滿射 ⇒

\(Y\) 完備（Baire），故某個 \(\overline{n\,T(B_X)}\) 有內點，由齊次性得：

注意這只是「閉包」蓋小球——證據還不乾淨，需要下一條線索把閉包洗掉。

侦查線索三：膨脹迭代——把閉包洗成真像#

引理（膨脹洗滌）：若 \(\overline{T(B_X)} \supseteq B_Y(0, \rho)\) ，則 \(T(B_X) \supseteq B_Y(0, \rho/2)\) 。

推理：取 \(y \in B_Y(0, \rho/2)\) 。要找 \(x \in B_X\) 使 \(Tx = y\) 。逐次修正（neumann 級數式迭代）：

1. \(y_0 = y\) ；由閉包條件取 \(x_0 \in B_X\) 使 \(\|y_0 - T x_0\| \le \rho/2\) 。
2. 餘項 \(y_1 = y - T x_0\) ， \(\|y_1\| \le \rho/2\) ；縮小目標：取 \(x_1 \in B_X(0, 1/2)\) 使 \(\|y_1 - T x_1\| \le \rho/4\) 。
3. 第 \(k\) 步：取 \(x_k \in B_X(0, 2^{-k})\) 使 \(\|y_k - T x_k\| \le \rho \cdot 2^{-(k+1)}\) ，其中 \(y_k = y - T(x_0 + \cdots + x_{k-1})\) 。

則 \(\sum \|x_k\| \le \sum 2^{-k} < \infty\) ，由 \(X\) 完備， \(x = \sum x_k \in B_X\) 收斂，而 \(Tx = \lim T(x_0 + \cdots + x_k) = y - \lim y_{k+1} = y\) 。閉包洗成了真像——完備性在偵查中出場兩次（Baire 一次、收斂一次）。

侦查線索四：三大推論一次收網#

定理（開映射）： \(X, Y\) 為 Banach 空間， \(T : X \to Y\) 連續線性滿射，則 \(T\) 是開映射。

推論（逆算子定理）： \(T\) 連續線性雙射 ⇒ \(T^{-1}\) 連續，且 \(\|T^{-1}\| = 1/\|T^{-1} \text{ 的界}\|\) 給出定量控制：

推論（閉圖像定理）： \(T : X \to Y\) 線性，圖像 \(\Gamma(T) = \{(x, Tx)\}\) 在 \(X \times Y\) （賦 \(\|(x,y)\| = \|x\| + \|y\|\) ，完備）中閉 ⇒ \(T\) 連續。

閉圖像的偵查手法： \(\Gamma(T)\) 是 \(X \times Y\) 的閉子空間，故完備；投影 \(\pi_1 : \Gamma(T) \to X\) 是連續線性雙射，由逆算子定理 \(\pi_1^{-1}\) 連續；於是

\(T\) 連續。1927 年 Hellinger–Toeplitz 案用掉的暗樁，至此正式編入正規軍。

定理關係表#

結案報告#

判決：完備性買回了有限維免費的性質——滿射連續線性算子必開映射，雙射者逆必連續，閉圖像者必連續。

• 適定性獲得保證：積分方程、微分方程化成的算子方程 \(Tx = y\) ，只要 \(T\) 是完備空間間的雙射，解就連續依賴於資料——Hadamard 適定性的抽象基石，日後 Lax 等價定理（1948）的骨架。
• 三柱石立起第二根：Hahn–Banach（延拓）、開映射（求解）、一致有界（共振）——Banach 空間理論的三大支柱在 1927–1929 間全部豎立。
• 方法論遺產：Baire 綱論從點集拓樸的冷門結果，一躍成為泛函分析的重型武器；同年的一致有界原理案（Banach–Steinhaus）用的是同一種彈藥。
• 閉圖像的應用哲學：驗證算子連續常常很難，驗證圖像閉卻往往容易（逐項極限的交換），微分算子理論因此改用閉算子語言——直接為 1931 年 Weyl–von Neumann 奇異擾動案鋪路。

證據與工具#

證明骨架：滿射 → Baire 得閉包蓋球 → 幾何級數迭代把閉包洗成真像 → 開映射 → 逆算子定理 → 投影＋逆算子收網閉圖像。