1929-一致有界原理#

案件檔案	內容
案件編號	CASE-1929-UNIFBOUND
案發時間	1929 年（Banach–Steinhaus，Studia Mathematica）
案發地點	波蘭 Lwów，Stefan Banach 與 Hugo Steinhaus 聯合偵辦
主嫌／主角	Stefan Banach、Hugo Steinhaus（前史：du Bois-Reymond 1876 的發散例）
涉案罪名	證明逐點有界的算子族必一致有界，把一堆發散謎案一次偵破
關鍵證物	\(\sup_n \\|T_n\\| < \infty\) 、Baire 綱論、gliding hump（滑峰）方法
判決結果	Banach–Steinhaus 定理定案，三柱石的第三根石柱豎立

案發現場#

1876 年，du Bois-Reymond 舉出了一個震驚分析界的發散例：存在連續函數，其 Fourier 級數在該點發散。這與「連續函數的 Fourier 級數應該收斂」的百年直覺正面衝突。此後半世紀，各種發散例層出不窮，但都是一案一破的個案偵查——沒有統一理論。

1929 年的 Lwów，積壓著一串性質相似的懸案：

為什麼「逐點表現良好」的算子族，會在某處集體失控？
Fourier 部分和 \(S_n f\) 、插值多項式、求積公式……這些近似手段何時集體失效？

未解之謎：能不能找到一條定理，把所有「逐點有界⇒集體失控（或集體受控）」的現象一次統一？

偵查過程#

侦查線索一：把問題翻譯成算子族語言#

設 \(X\) 為 Banach 空間， \(\{T_n\}\) 是從 \(X\) 到賦範空間 \(Y\) 的連續線性算子族。du Bois-Reymond 型現象的抽象版是：

逐點有界：對每個固定 \(x \in X\) ， \(\sup_n \|T_n x\| < \infty\) （每個函數的 Fourier 部分和逐點有限）。
問題：這能否推得一致有界 \(\sup_n \|T_n\| < \infty\) ？

反向偵查的直覺：若 \(\sup_n \|T_n\| = \infty\) ，範數是 \(\sup_{\|x\| \le 1} \|T_n x\|\) ，失控的「兇手」 \(x\) 可能隨 \(n\) 改變——每個 \(n\) 用不同的 \(x_n\) 行兇。能不能找到一個 \(x\) 讓整族同時失控？這就是所謂的「gliding hump（滑峰）」偵查法。

侦查線索二：Baire 綱論收網（正向版本）#

定理（Banach–Steinhaus，一致有界原理）： \(X\) 完備， \(\{T_n\}\) 連續線性，若逐點有界，則

\[ \sup_n \|T_n\| < \infty \]

偵查手法（與開映射案同門）：定義閉集

\[ E_k = \{x \in X : \|T_n x\| \le k \ \forall n\} = \bigcap_n \{x : \|T_n x\| \le k\} \]

（連續性保證每個集合閉，交仍閉。）逐點有界說 \(\bigcup_k E_k = X\) 。由 Baire 綱論： \(X\) 完備，故某個 \(E_{k_0}\) 的內部非空——存在球 \(B(x_0, r) \subseteq E_{k_0}\) 。

收網：對 \(\|x\| \le r\) 與任意 \(n\) ：

\[ \|T_n x\| = \|T_n(x_0 + x) - T_n x_0\| \le \|T_n(x_0 + x)\| + \|T_n x_0\| \le k_0 + k_0 = 2k_0 \]

（ \(x_0 + x \in B(x_0, r) \subseteq E_{k_0}\) ， \(x_0 \in E_{k_0}\) 。）由齊次性：

\[ \|T_n\| \le \frac{2k_0}{r}, \qquad \forall n \]

破案：完備性＋逐點有界 ⇒ 一致有界。偵查結構與開映射案完全同款——Baire 綱論是同一根槓桿。

侦查線索三：gliding hump——滑峰抓現行（反向版本）#

Banach 原始論文還提供了建設性的反向版本：若 \(\sup_n \|T_n\| = \infty\) ，則存在 \(x\) 使 \(\sup_n \|T_n x\| = \infty\) （甚至可以在單位球內找到，且失控集合在 \(X\) 中是第二綱的）。

滑峰偵查法：挑子列 \(n_k\) 與單位向量 \(z_k\) 使 \(\|T_{n_k} z_k\| \ge k^2\) 。構造

\[ x = \sum_{k=1}^\infty \varepsilon_k z_k, \qquad \varepsilon_k > 0 \text{ 迅速遞減} \]

讓每個「峰」 \(\varepsilon_k z_k\) 的質量集中在越來越小的係數上（峰值滑動），使得對每個 \(n_k\) ：

\[ \|T_{n_k} x\| \ge \varepsilon_k \|T_{n_k} z_k\| - \sum_{j \ne k} \varepsilon_j \|T_{n_k} z_j\| \ge \varepsilon_k k^2 - (\text{小項}) \]

選 \(\varepsilon_k\) 遞減夠快（例如靠算子範數上界的逐步控制），尾項壓不住主項，故 \(\|T_{n_k} x\| \to \infty\) 。一個 \(x\) 抓到整族現行——這就是 du Bois-Reymond 型發散例的統一構造原理。

侦查線索四：du Bois-Reymond 懸案偵破#

把定理套回 Fourier 級數：設 \(X = C[0, 2\pi]\) ， \(S_n\) 為第 \(n\) 個 Fourier 部分和算子。計算範數（Lebesgue 常數）：

\[ \|S_n\| = \frac{1}{2\pi} \int_0^{2\pi} \left| \frac{\sin((n + 1/2)t)}{\sin(t/2)} \right| dt \sim \frac{4}{\pi^2} \log n \to \infty \]

由滑峰版本： \(\sup_n \|S_n\| = \infty\) ⇒ 存在 \(f \in C[0,2\pi]\) 使 \(\sup_n |S_n f(0)| = \infty\) ——連續函數的 Fourier 級數在 0 點發散。半世紀的個案偵查，一次統一偵破。

發散案對照表#

懸案	算子族	範數發散速率	結論
Fourier 部分和	\(S_n\) （ \(C[0,2\pi]\) ）	\(\sim \frac{4}{\pi^2}\log n\)	處處發散例存在
插值多項式（Lagrange）	節點列的插值算子	可任意發散	選錯節點必失控
求積公式	\(L_n f = \sum \lambda_k^{(n)} f(x_k^{(n)})\)	依節點分佈	節點須一致分佈
部分和的一般教訓	任意 \(\{T_n\}\)	\(\sup\\|T_n\\| = \infty\)	必有集體失控點

結案報告#

判決：Banach–Steinhaus 定理成立——完備性把「逐點有界」升級為「一致有界」；反向版本則把「範數失控」兌換成「集體發散點存在」。

三柱石補齊：Hahn–Banach（延拓）、開映射（求解）、一致有界（共振）——Banach 空間理論三大支柱全部到位，1932 年教科書的骨架完成。
發散例的統一解釋：du Bois-Reymond 之後半世紀的各種發散現象，全部納入「 \(\sup\|T_n\| = \infty\) ⇒ 集體失控」的框架；1960 年 Baire 綱論的進一步應用（處處發散 Fourier 級數）也由同一條路線出發。
共振方法遺產：gliding hump 成為構造反例的標準技術，一直沿用到現代 Banach 空間理論（如 Enflo 反例的前身技巧）。
數值分析伏筆：求積公式、插值、近似解的「集體失效判據」，成為數值分析中穩定性分析的理論核心。

證據與工具#

證物	陳述	用途
Baire 綱論	完備空間非可數個無處稠密集之聯	正向版本槓桿
閉集 \(E_k\)	\(\bigcap_n \{\\|T_n x\\| \le k\}\)	把逐點條件閉化
收網估計	\(\\|T_n\\| \le 2k_0 / r\)	一致有界
gliding hump	滑峰構造 \(\varepsilon_k z_k\)	反向版本引擎
Lebesgue 常數	\(\\|S_n\\| \sim \frac{4}{\pi^2}\log n\)	Fourier 懸案的關鍵證據
Banach–Steinhaus	逐點有界 ⇒ \(\sup\\|T_n\\| < \infty\)	主判決

證明骨架：逐點有界 → 閉集 \(E_k\) 蓋住 \(X\) → Baire 得某 \(E_{k_0}\) 內部非空 → 平移夾擊收網 \(\|T_n\| \le 2k_0/r\) ；反向：滑峰構造單一 \(x\) 使 \(\|T_{n_k} x\| \to \infty\) 。