5.2 無窮維空間的誕生：函數作為空間中的「點」#

前因：一個革命性的倒轉#

19 世紀的數學把「函數」當作輸入輸出的規則。但 Volterra、Fredholm（1890s–1900s）研究積分方程時發現：把函數當成一個點、把積分/微分當成這個空間中的變換，整個問題瞬間變成線性代數：

\[\int_a^b K(x,y) u(y)\, dy = f(x) \quad \leadsto \quad Ku = f\]

Hilbert（1904–1910）與 Schmidt、Riesz、Fischer 沿此路開創了無窮維線性代數——泛函分析。

空間： \(C[0,1]\) （連續函數）、 \(L^2[0,1]\) （平方可積）、 \(\ell^2\) （平方可和數列）。範數：

\[\|f\|_{L^2} = \left(\int_0^1 |f|^2\right)^{1/2}, \qquad \|f\|_\infty = \max |f|\]

點 = 函數帶來的立即效果：

例子（Green 函數）： \(-u'' = f\) ， \(u(0)=u(1)=0\) 的解是

\[u(x) = \int_0^1 G(x,y) f(y)\, dy\]

微分方程 = 用積分算子 \(G\) 在函數空間中求逆——微分與積分在無窮維空間中互為逆算子。

graph LR
    A[積分方程 1900s] --> B[函數空間觀點]
    B --> C[希爾伯特空間 5.3]
    B --> D[巴拿赫空間 5.4]
    C --> E[譜定理 量子力學]
    D --> F[不動點定理 微分方程解的存在性]