跳轉到

泛函分析的歷史年表（科學史）#

泛函分析是「無窮維空間的幾何學」：把函數當成點，把微分方程、積分方程、量子力學、最優控制寫成空間與算子的語言。從 Volterra 的積分方程、Hilbert 的平方可和序列、Fréchet 的度量空間，到 Banach 空間三柱石（Hahn–Banach、開映射、一致有界）、Riesz 表示、Schauder、自伴算子譜論，再到分布理論、算子代數、橢圓正則性、PDE 現代理論，直到小波與壓縮感知——這部歷史就是人類追問「無窮維能否像歐氏空間一樣推理」的一百年探案史。

本書以「推理探案」的方式，為每個歷史事件寫一篇 wiki，包含前因後果、理論與公式。每篇檔名以年份開頭。

目錄（Wiki 書篇目）#

第一幕：先聲 — 積分方程與無窮維空間的誕生（1887–1910）#

年份 事件 Wiki
1887 Volterra 積分方程：第二類方程的解的存在性 1887-Volterra積分方程.md
1900 Fredholm 二擇一：積分方程的行列式理論，線性代數的無窮維迴聲 1900-Fredholm二擇一.md
1906 Hilbert 空間 \(l^2\) ：平方可和序列，無窮維歐氏幾何 1906-Hilbert空間l2.md
1906 Fréchet 度量空間：把距離抽象成公理，泛函分析的地基 1906-Frechet度量空間.md
1907 Riesz–Fischer 定理： \(L^2\) 完備性，Fourier 收斂之謎終結 1907-RieszFischer定理.md
1907 Riesz 表示定理（ \(C[a,b]\) ）：泛函即 Stieltjes 積分 1907-Riesz表示C.md
1909 Riesz 表示定理（ \(C[a,b]\) 定稿）：測度從泛函中長出來 1909-Riesz表示定理.md

第二幕：波蘭學派 — Banach 空間的黃金年代（1920–1932）#

年份 事件 Wiki
1920 Banach 論文：公理化完備賦範空間， \(L^p\) 全家入籍 1920-Banach論文.md
1927 Hahn–Banach 定理：延拓而不增範數，對偶理論的第一把刀 1927-HahnBanach定理.md
1927 Hellinger–Toeplitz：處處有界，對稱算子的緊箍咒 1927-HellingerToeplitz.md
1929 開映射與閉圖像定理：Banach 的聯合作戰 1929-開映射與閉圖像.md
1929 一致有界原理（Banach–Steinhaus）：共振方法抓現行 1929-一致有界原理.md
1932 《線性算子理論》：Théorie des opérations linéaires 集大成 1932-Banach教科書.md

第三幕：四大定理與譜論 — 量子力學的數學母體（1913–1932）#

年份 事件 Wiki
1913 Weyl 等距譜：Sturm–Liouville 的譜不變量 1913-Weyl等距譜.md
1916 Riesz 緊算子：Fredholm 理論的抽象化，譜只有 0 與特徵值 1916-Riesz緊算子.md
1926 Schrödinger 與譜：物理等價性之謎，von Neumann 接案 1926-Schrodinger與譜論.md
1929 von Neumann 自伴譜定理：投影值測度，量子力學的數學地基 1929-vonNeumann譜定理.md
1930 Stone–Weierstrass：代數逼近， \(C(X)\) 的稠密判據 1930-StoneWeierstrass.md
1931 閉算子與譜移：Weyl–von Neumann 的奇異擾動 1931-Weyl奇異擾動.md
1932 《量子力學的數學基礎》：Hilbert 空間公理化量子力學 1932-vonNeumann量子力學.md
1932 Lax–Milgram 前身之變分法：Ritz–Galerkin 的收斂理論 1932-RitzGalerkin收斂.md
1934 Krein–Milman：緊凸集是端點的閉凸包，凸性的化石紀錄 1934-KreinMilman.md

第四幕：空間理論與對偶 — 巴拿赫空間的解剖學（1936–1955）#

年份 事件 Wiki
1936 Mazur 幾何形式：超平面分離，凸性的幾何之眼 1936-Mazur分離定理.md
1938 自反性判據：James 前史，Pettis 可測性 1938-Pettis積分.md
1948 Lax 等價定理：一致性＋穩定性＝收斂性，數值分析的第一定律 1948-Lax等價定理.md
1950 弱拓樸與 Goldstine：單位球在弱拓樸下稠密 1950-Goldstine定理.md
1951 Kakutani 不動點：廣義對局與納許均衡的數學母體 1951-Kakutani不動點.md

第五幕：現代浪潮 — 分布、算子代數與應用爆發（1935–2006）#

年份 事件 Wiki
1935 Sobolev 空間：把導數分給弱拓樸，PDE 的現代語言 1935-Sobolev空間.md
1945 Schwartz 分布理論：把 \(\delta\) 函數扶正，1950 Fields 1945-Schwartz分布理論.md
1950 Lax–Milgram 定理：橢圓邊值問題的萬能鑰匙 1950-LaxMilgram定理.md
1956 Gårding 不等式：橢圓估計的一致支柱 1956-Garding不等式.md
1958 Grothendieck《張量積與核空間》：拓樸向量空間的哥白尼轉向 1958-Grothendieck核空間.md
1960 Baire 綱論大反攻：處處發散的 Fourier 級數存在 1960-Baire綱論應用.md
1971 Enflo 反例：逼近性質與一致拓樸不變量，Schaefer 之問落幕 1971-Enflo反例.md
1973 Daubechies 前史之調和革命：Calderón–Zygmund 奇異積分的算子觀 1973-CalderonZygmund算子.md
1986 Daubechies 緊支撐小波：多分辨分析與壓縮感知前的最後鋪路 1986-Daubechies小波.md
2006 壓縮感知：Candès–Romberg–Tao 與 Donoho，欠定系統的奇蹟 2006-壓縮感知.md

因果鏈總覽#

Volterra (1887) ── 積分方程 ── Fredholm (1900) ── 二擇一 ── Hilbert l² (1906)
     │                                                              │
     │                                                              ├─ Fréchet (1906) ── 度量公理
     │                                                              ├─ Riesz–Fischer (1907) ── L² 完備
     │                                                              └─ Riesz 表示 (1909) ── 測度即泛函 ── 對偶理論
     │
     ├─ Banach (1920) ── 公理化 ── Hahn–Banach (1927) ── 對偶刀
     │         │                    │
     │         │                    ├─ Hellinger–Toeplitz (1927) ── 無界之戒
     │         │                    ├─ 開映射/閉圖像 (1929) ── Baire 槓桿
     │         │                    ├─ 一致有界 (1929) ── 共振法
     │         │                    └─ 教科書 (1932) ── 黃金年代定稿
     │         │
     │         └─ Weyl (1913) ── 譜不變量 ── Riesz緊算子 (1916) ── Fredholm抽象化
     │                                          │
     │                                          └─ von Neumann (1929/1932) ── 自伴譜論 ── 量子力學公理化
     │
     ├─ Sobolev (1935) ── 弱導數 ── Schwartz (1945) ── 分布 ── Lax–Milgram (1950) ── PDE 現代理論
     │                                                              │
     │                                                              └─ Gårding (1956) ── 橢圓估計 ── 數值分析（Lax等價 1948）
     │
     ├─ Mazur (1936) ── 凸幾何 ── Krein–Milman (1934) ── Kakutani (1951) ── 納許均衡
     │
     └─ Calderón–Zygmund (1973 前身) ── 調和分析 ── Daubechies (1986) ── 小波 ── 壓縮感知 (2006)
              │
              └─ Grothendieck (1958) ── 拓樸向量空間 ── Enflo (1971) ── 空間分類

寫作方式說明#

每篇 wiki 採「推理探案」結構：

  1. 案發現場（前因）：當時的未解之謎是什麼？誰遇到的？為何重要？
  2. 偵查過程（推理）：主角如何思考？關鍵靈感為何？核心技術（定理、證明、空間構造）如何推導，含數學式與表格。
  3. 結案報告（後果）：謎題如何解？留下什麼遺產？影響了哪些後續事件？
  4. 證據與工具：關鍵公式、定理陳述表、證明骨架、範例說明（非必要不硬寫程式，優先講清理論）。