跳轉到

3.3 Riesz 表示定理#

本章導言#

有限維中，每個線性泛函都是「與某向量做內積」： \(f(x) = \langle x, v \rangle\) 。這個顯然的事實在 Hilbert 空間中依然成立——Frigyes Riesz 表示定理（1907）斷言：Hilbert 空間上的每個連續線性泛函都由唯一的內積生成。此定理宣告：對偶空間 \(H^*\) 就是 \(H\) 自己。這個「自對偶性」是 Hilbert 空間最深的特權，也是量子力學 bra-ket 記號的數學實質。本節證明它、用它，並預告它在一般 Banach 空間的失敗與補救。

定理陳述與證明#

Riesz 表示定理（F. Riesz，1907）：設 \(H\) 為 Hilbert 空間， \(\varphi: H \to \mathbb{F}\) 為連續線性泛函。則存在唯一的 \(v \in H\) 使 $$ \varphi(x) = \langle x, v \rangle \qquad \text{對一切 } x \in H, $$ 且 \(\|\varphi\| = \|v\|\) 。

證明（兩頁的經典，值得完整走一遍）：

（一）唯一性：若 \(\langle x, v \rangle = \langle x, w \rangle\) 對一切 \(x\) ，則 \(\langle x, v - w \rangle = 0\) 對一切 \(x\) ；取 \(x = v - w\) 得 \(\|v - w\|^2 = 0\) 。

（二）存在性：若 \(\varphi = 0\) ，取 \(v = 0\) 。否則設核 \(M = \ker \varphi\) ：閉真子空間（連續性 ⟹ 閉； \(\varphi \ne 0\) ⟹ 真）。取 \(z \in M^\perp \setminus \{0\}\) ——存在性由投影定理： \(H = M \oplus M^\perp\) ，且 \(M^\perp \ne \{0\}\) （ \(M\) 真）。

（三）關鍵的一步：對任意 \(x \in H\) ，構造

\[ w = x - \frac{\varphi(x)}{\varphi(z)}\, z. \]

驗證 \(\varphi(w) = \varphi(x) - \frac{\varphi(x)}{\varphi(z)}\varphi(z) = 0\) ，故 \(w \in M\) ，而 \(z \in M^\perp\) ，所以

\[ 0 = \langle w, z \rangle = \langle x, z \rangle - \frac{\varphi(x)}{\varphi(z)}\|z\|^2 \implies \varphi(x) = \varphi(z)\,\frac{\langle x, z \rangle}{\|z\|^2} = \left\langle x,\ \frac{\overline{\varphi(z)}}{\|z\|^2} z \right\rangle. \]

取 \(v = \frac{\overline{\varphi(z)}}{\|z\|^2} z\) ，得證。

（四）範數相等：Cauchy–Schwarz 給 \(|\varphi(x)| \le \|v\|\|x\|\) 故 \(\|\varphi\| \le \|v\|\) ；取 \(x = v\) 得 \(|\varphi(v)| = \|v\|^2\) 故 \(\|\varphi\| \ge \|v\|\) 。∎

證明的方法論評註：整個證明只用了一維空間的投影（垂足 \(z\) 在 \(M^\perp\) 中）——3.1 節投影定理的「最省材料」用法。沒有基、沒有 Baire、沒有選擇公理。這是 Hilbert 空間理論「幾何自足性」的展示：在 Hilbert 空間裡，對偶理論是純幾何。

映射的性質：共軛線性的對偶之舞#

定義 \(R: H \to H^*\) ， \(Rv = \langle \cdot, v \rangle\) 。Riesz 定理說 \(R\) 是保距雙射。但注意共軛線性：

\[ R(\alpha v + \beta w) = \bar\alpha\, Rv + \bar\beta\, Rw \quad (\text{複情形}). \]

因此 \(R\) 不是線性同構，而是反線性（共軛線性）保距同構。這是複 Hilbert 空間的固有微妙處： \(H^*\) 與 \(H\) 「等同」時必須記住方向翻轉。兩次取對偶： \(H^{**} \cong H\) （通過 \(R\) 兩次，共軛兩次回到線性）——Hilbert 空間自動自反（6.3 節），且此時典範嵌入恰可由 \(R\) 實現。

實 Hilbert 空間中 \(R\) 是線性保距同構，事情更乾淨。物理記號：Dirac 把 \(\varphi(x) = \langle x, v\rangle\) 寫成 \(\langle v | x \rangle\) ——「左矢」 \(\langle v|\) 就是 \(Rv\) ，bra-ket 記號正是 Riesz 定理的日常寫法（Dirac《量子力學原理》1930）。

四個表示定理的譜系：「表示」一詞的家族#

「Riesz 表示定理」這個名字在泛函分析中對應四個相關但不同的定理，初學者極易混淆：

定理 對象 表示為 年代 人物
Hilbert 空間版 \(H^*\) 上的泛函 內積 \(\langle \cdot, v\rangle\) 1907 F. Riesz
\(C(K)\) 版（Riesz–Markov） \((C(K))^*\) 測度 \(\int f\,d\mu\) 1909 F. Riesz；Markov 1938 一般化
\(L^p\) 對偶 \((L^p)^*\) （ \(1 \le p < \infty\) ） \(L^q\) 函數 \(\int f g\) 1910 F. Riesz（ \(1<p<\infty\) ）；Steinhaus、Nikodym 補 \(L^1\)
半純版 正定核/KMO 積分表示 測度的 Laplace 變換 1930s Haviland、Choquet 等

共性：「抽象對偶對象 = 具體經典對象」。Riesz 一個人在 1907–1909 兩年間寫下前兩個，可謂「對偶理論的牛頓年」。他的 \(C(K)\) 版本尤其深遠：把線性泛函與測度等同，從此機率論（測度）、數值積分（權重）、物理（分布）都能用泛函分析的對偶語言統一。第 6 章將系統展開這個譜系；本節聚焦 Hilbert 版，但因它最簡單，也最先在教學中出現。

應用一：正交化泛函與最佳逼近的計算#

Riesz 定理給了「泛函約束下的逼近」的乾淨解法。設 \(\{\varphi_1, \ldots, \varphi_n\}\) 為連續泛函，求 \(\min\{\|x\| : \varphi_i(x) = c_i\}\) 。解： \(x = \sum \lambda_i v_i\) （ \(v_i = R^{-1}\varphi_i\) ），係數由線性組 \(\sum_j \langle v_i, v_j \rangle \lambda_j = c_i\) （Gram 矩陣方程）確定。這是最小範數控制、樣條插值（自然樣條 = 最小能量插值）、地統計學（kriging）的共同骨架。

應用二：Lax–Milgram 定理的預告#

PDE 弱解理論的核心引擎 Lax–Milgram 定理（1954）：雙線性型 \(a(u, v)\) 連續且強制（ \(a(u,u) \ge c\|u\|^2\) ）時，方程 \(a(u, v) = \varphi(v)\) （ \(\forall v\) ）有唯一解。證明骨架正是 Riesz： \(a\) 誘導算子 \(A: H \to H\) （ \(a(u,v) = \langle Au, v\rangle\) ），方程變 \(Au = \varphi = \langle \cdot, w\rangle\) ，強制性保證 \(A\) 可逆。Riesz 定理 = 這條路在 \(a = \langle \cdot, \cdot \rangle\) 時的特例。變分法（能量極小）→ Riesz 表示 → Lax–Milgram → 有限元，是 20 世紀 PDE 理論的主動脈（10.1 節）。

一個具體例題#

例題 3.3.1：在 \(H = L^2[0,1]\) 中，考慮泛函 \(\varphi(f) = \int_0^1 t\, f(t)\,dt\) 。(1) 證明 \(\varphi\) 連續並求 \(\|\varphi\|\) ；(2) 寫出 Riesz 表示向量；(3) 對「加權」泛函 \(\psi(f) = \int_0^1 f(t)\,dt\) ，求在約束 \(\psi(f) = 1\) 、 \(f \ge 0\) 忽略不計（僅 \(L^2\) 約束）下 \(\|f\|\) 的最小值與達成者。

解：

（一）連續性與範數：由 Cauchy–Schwarz（對積分）：

\[ |\varphi(f)| \le \left(\int_0^1 t^2\,dt\right)^{1/2} \left(\int_0^1 |f|^2\,dt\right)^{1/2} = \frac{1}{\sqrt3}\,\|f\|_2, \]

故 \(\varphi\) 連續且 \(\|\varphi\| \le \frac{1}{\sqrt3}\) 。表示向量為 \(v(t) = t\) （因 \(\varphi(f) = \langle f, v \rangle = \int_0^1 f(t)\,\overline{t}\,dt\) ，實情形無共軛之別）。由 Riesz 定理 \(\|\varphi\| = \|v\| = \frac{1}{\sqrt3}\) 。（直接驗證達到：取 \(f_n = t \cdot \mathbf{1}_{[0,1]}\) 的截斷逼近 \(v\) 本身， \(\varphi(v) = \int t^2 = \frac13 = \frac{1}{\sqrt3}\cdot\frac{1}{\sqrt3}\) 。）

（二）表示向量： \(v(t) = t\) ， \(\|v\|_2 = \sqrt{1/3}\) 。

（三）約束極小化： \(\psi(f) = \int_0^1 f = \langle f, \mathbf{1} \rangle\) ，表示向量 \(w = \mathbf{1}\) （常函數）， \(\|w\| = 1\) 。約束 \(\langle f, w \rangle = 1\) 。由 Cauchy–Schwarz：

\[ 1 = |\langle f, w \rangle| \le \|f\| \cdot \|w\| = \|f\| \implies \|f\| \ge 1, \]

等號當且僅當 \(f\) 與 \(w\) 共線： \(f = w = \mathbf{1}\) 。最小值 \(\|f\| = 1\) ，由 \(f \equiv 1\) 達成。幾何解讀：超平面 \(\{\langle f, w\rangle = 1\}\) 到原點的距離 = \(\frac{1}{\|w\|} = 1\) ，垂足 \(f = w/\|w\|^2 = \mathbf{1}\) 。Riesz 定理把「帶線性約束的極小化」變成解析幾何的「點到超平面距離」——這就是為什麼它被稱為表示定理：抽象約束世界的幾何，被具體內積空間的幾何原樣接收。

歷史啟示#

  • 對偶觀點的誕生：Riesz 1907 年的定理首次使「對偶空間」成為一等公民。此後泛函分析的句法變成：想研究 \(X\) ，先研究 \(X^*\) （第 6 章）。「表示定理」的哲學是：抽象的極限對象，往往可以被具體、可計算的對象取代——這是數學中「表示」的普遍精神（群表示論同理）。
  • 簡單證明的深遠後果：兩頁證明（投影 + 一行代數）支撐了 Lax–Milgram、有限元、RKHS、量子力學記號。數學的複利效應：投資一個好幾何結構（內積），收割無數定理。
  • Hilbert vs Banach 的分界再次顯形：一般 Banach 空間的 \(X^* \ne X\) （ \(\ell^1{}^* = \ell^\infty \ne \ell^1\) ），「泛函 = 內積」失效。Hahn–Banach（5.2 節）與 James 定理（6.3 節）是 Banach 世界的補救；但只有 Hilbert 空間做到「無損自對偶」。選擇 Hilbert 結構 = 選擇對偶透明性。
  • Riesz 的雙城記：Frigyes Riesz 在 1907–1909 的系列論文（哥廷根訪學期間受 Hilbert–Schmidt 影響）建立了 \(L^2\) 理論與兩大表示定理；其弟 Marcel Riesz 則以 Riesz 位勢與 Riesz 變換聞名於調和分析。兄弟二人分別開啟了泛函分析與調和分析的兩條主線。

與其他章節及領域的關聯#

  • 3.1 節：證明完全依賴投影定理；垂足幾何是對偶理論的引擎。
  • 3.2 節：座標化的泛函解讀—— \(\langle x, u_n \rangle\) 本身是泛函 \(x \mapsto c_n\) ，其表示向量就是 \(u_n\) 。
  • 5.2 節：Hahn–Banach 定理把「泛函可以延拓」一般化到 Banach 空間，但不保證「表示」；比較兩者可看清 Hilbert 結構的紅利。
  • 6.1 節：對偶空間例子的大圖景（ \((\ell^p)^* = \ell^q\) 、 \((C)^* =\) 測度）；本節是 \(p = 2\) 的黃金特例。
  • 6.3 節：自反性——Hilbert 空間經 \(R\) 兩次回到自身，是自反性的原型。
  • 4.2 節：伴隨算子 \(T^*\) 的定義直接使用 Riesz 定理（ \(\varphi(x) = \langle Tx, y\rangle\) 定義 \(T^*y\) ）——沒有 Riesz 就沒有乾淨的伴隨理論。
  • 8.3、10.1 節：Lax–Milgram 與 Sobolev 空間中的弱解存在性，是本節的應用主戰場。
  • 量子力學：bra-ket、測量的 Born 法則、態與觀測量的對偶——數學實質全是 Riesz 表示。
  • 機器學習：RKHS 中「求值泛函有表示向量 \(K(\cdot,t)\) 」是核技巧的嚴格基礎。

練習#

  1. 證明 Riesz 映射 \(R\) 的共軛線性，並說明為什麼 \(R^2 = \mathrm{id}_H\) （把 \(H^{**}\) 與 \(H\) 等同的具體機制）。
  2. 在 \(H = \ell^2\) 中，對泛函 \(\varphi(a) = \sum_k \frac{a_k}{k}\) ，證明 \(\varphi\) 連續，求表示向量與 \(\|\varphi\|\) （答案： \(v = (1/k)_k\) ， \(\|\varphi\| = \pi/\sqrt6\) ）。
  3. 求 \(\min\{\|f\|_{L^2[0,1]} : \int_0^1 f = 0,\ \int_0^1 t f(t)\,dt = 1\}\) 及其解 \(f\) （用 Gram 矩陣法；答案 \(\|f\| = \sqrt{12}\) ， \(f(t) = 6t - 4\) ——驗證兩個約束並計算範數）。
  4. 證明 \(L^2\) 上的泛函 \(f \mapsto f(t_0)\) （逐點取值）不連續，因此 Riesz 定理不適用；並解釋 RKHS 如何修改空間使求值泛函連續。
  5. 思考題：比較三個表示—— \(\varphi(x) = \langle x, v\rangle\) （Hilbert）、 \(\varphi(f) = \int f\,d\mu\) （ \(C(K)\) ）、 \(\varphi(f) = \int f g\) （ \(L^p\) ）。請指出「表示的唯一性」在三個定理中各依賴什麼結構（正定性 / 緊性 + 正則性 / 對偶指數），以及唯一性為何在一般賦範空間中全面失效。

進階研讀：表示定理的五個深化場景#

場景一：Lax–Milgram 定理全文。設 \(H\) Hilbert， \(a: H \times H \to \mathbb{R}\) 雙線性，滿足連續性 \(|a(u,v)| \le C\|u\|\|v\|\) 與強制性 \(a(u,u) \ge c\|u\|^2\) （ \(c > 0\) ）。則對每個 \(\varphi \in H^*\) 存在唯一 \(u\) ： \(a(u, v) = \varphi(v)\ \forall v\) ，且 \(\|u\| \le \frac{\|\varphi\|}{c}\) 。證明：Riesz 定理給 \(u_0\) （ \(\varphi = \langle \cdot, u_0\rangle\) ）與算子 \(A\) （ \(a(u,v) = \langle Au, v\rangle\) ），方程化為 \(Au = u_0\) ；強制性 ⟹ \(\|Au\| \ge c\|u\|\) （值域閉）且 \(\mathrm{Range}(A)^\perp = \ker A^* = \{0\}\) ⟹ 滿射。Poisson 方程的弱解、彈性力學、有限元收斂分析（Céa 引理）皆由此定理直接落地。

場景二：Riesz–Markov 定理與機率的接入。 \((C[0,1])^* \ni \varphi \iff \mu\) （正則 Borel 測度）， \(\varphi(f) = \int f\,d\mu\) ， \(\|\varphi\| = |\mu|([0,1])\) （全變差）。機率測度 = 範數為 1 的正泛函——機率論的整座大廈（弱收斂、中心極限定理的泛函形式、Prokhorov 定理）可以全部改寫為 \(C(K)^*\) 的拓撲。Riesz 1909 的這條定理是「機率 = 分析」統一的法律依據。

場景三：半內積與凸分析的接入。凸函數 \(F\) 的次微分 \(\partial F(x) = \{v : F(y) \ge F(x) + \langle v, y - x\rangle\}\) ——次梯度仍是 Riesz 表示的向量，只是不唯一。Rockafellar（1970）的凸分析、單調算子理論（Minty 1962 的 \(\mathrm{Range}(I + T) = H\) 定理）、proximal 演算法（ \(x_{n+1} = \mathrm{prox}_{\gamma F}(x_n)\) ），把 Riesz 表示從「線性泛函」推廣到「集值映射」。優化理論的每一個投影步，都是一次 Riesz 表示的計算。

場景四：量子力學的 bra-ket 與密度矩陣。Dirac 記號： \(\langle \phi|\psi \rangle\) ，其中 \(|\psi\rangle \in H\) 、 \(\langle \phi | = \langle \phi, \cdot \rangle \in H^*\) ——Riesz 定理使「每個左矢來自右矢」成立，兩個空間的對偶舞步嚴格化。混合態（密度矩陣 \(\rho\) ，跡類正算子）把表示再推一層：期望值 \(\mathrm{tr}(\rho A)\) ——泛函 \(A \mapsto \mathrm{tr}(\rho A)\) 的表示對象是 \(\rho\) 本身，這是迹類算子空間與有界算子空間的對偶（9.2 節的雙對偶舞）。

場景五：表示失效的地方——病態泛函的博物館。在 \(\ell^1\) 上，泛函 \(\varphi(a) = \sum a_k b_k\) 要求 \(b \in \ell^\infty\) ； \((\ell^1)^* = \ell^\infty \ne \ell^1\) ——表示向量可能「飛出」原空間。更極端：非連續線性泛函（Hamel 基上取值 0/1）根本無表示。而在 \(L^1\) 上， \(\varphi(f) = \int f g\) 要求 \(g \in L^\infty\) ；但不是所有 \((L^1)^*\) 元素都如此嗎？是—— \((L^1)^* = L^\infty\) ，這恰好成立；真正崩壞的是 \((L^\infty)^* \supsetneq L^1\) （含純粹有限加性「測度」，ba 空間）。表示定理的成立範圍，恰恰是空間品質的度量衡。

名詞速查表（本節出現的核心術語）#

  • 連續線性泛函：有界線性的 \(H \to \mathbb{F}\) ；全體記 \(H^*\) 。
  • Riesz 表示定理： \(H^* \ni \varphi = \langle \cdot, v \rangle\) ， \(v\) 唯一， \(\|\varphi\| = \|v\|\) 。
  • **Riesz 映射 \(R\) **： \(v \mapsto \langle \cdot, v\rangle\) ；反線性保距雙射。
  • 共軛線性（反線性）： \(R(\alpha v) = \bar\alpha Rv\) 。
  • Riesz–Markov 定理： \((C(K))^* =\) 正則測度。
  • Gram 矩陣： \(\left(\langle v_i, v_j \rangle\right)\) ；約束極小化的代數核心。
  • Lax–Milgram 定理：強制雙線性型 ⟹ 變分方程唯一可解。
  • 次微分：凸函數的廣義導數集；元素由 Riesz 型不等式定義。
  • bra-ket：Dirac 的對偶記號，Riesz 定理的物理化身。
  • 跡類對偶： \(B(H)^* =\) 迹類算子（量子混合態的居所）。

年表速查（本節涉及的關鍵年份）#

  • 1907：F. Riesz 證 Hilbert 空間表示定理（與 Riesz–Fischer 同年系列工作）。
  • 1909：Riesz 表示定理 \(C(K)\) 版（Riesz–Markov）。
  • 1910：Riesz \(L^p\) 對偶。
  • 1930：Dirac《量子力學原理》，bra-ket 記號。
  • 1938：Markov 一般化到局部緊空間。
  • 1954：Lax–Milgram 定理。
  • 1962：Minty 單調算子定理。
  • 1970：Rockafellar《凸分析》。

深化問答三則#

問：Riesz 定理與 Hahn–Banach 定理的分工是什麼？ 答：Hahn–Banach（5.2 節）管「存在性與延拓」：任何子空間上的連續泛函可保範延拓，任何點有分離泛函——它在任何賦範空間成立，但不給出具體形態。Riesz（本節）管「形態」：在 Hilbert 空間，泛函必然是內積。兩者合作：先用 Hahn–Banach 造泛函，再（若空間是 Hilbert）用 Riesz 認出它。Banach 空間只有前者，因此對偶空間陌生而巨大；Hilbert 空間兩者兼得，因此對偶透明。

問： \(\|\varphi\| = \|v\|\) 為什麼重要？ 答：它使 \(R\) 是等距——對偶空間不僅同構，而且幾何完全保真。應用上：逼近論的誤差下界（泛函在逼近子空間上的值 vs 範數）、數值分析的穩定性常數、量子力學的 Born 法則（機率 \(|\langle \phi,\psi\rangle|^2 \le \|\phi\|^2\|\psi\|^2\) 的歸一），都直接消費這個等式。失去等距，對偶理論只剩代數空殼。

問：如果內積改變，表示向量怎麼變？ 答：設兩個等價內積 \(\langle \cdot,\cdot\rangle_1\) 、 \(\langle\cdot,\cdot\rangle_2\) ，同一泛函的表示向量 \(v_1 \ne v_2\) （由 \(G = \langle \cdot, \cdot\rangle_2 - \langle\cdot,\cdot\rangle_1\) 的正定算子聯繫： \(v_2 = G^{-1}v_1\) 型）。物理中這是「度規變換」：座標系/度規的選擇改變表示向量但不改變泛函本身。RKHS 理論中這正是「核變換 = 特徵空間變換」的原理——表示定理是「等價描述」之間的翻譯機。

（本節完）