跳轉到

2.3 共軛空間與伴隨算子#

本章導言#

線性代數中，矩陣 \(A\) 的轉置 \(A^T\) 與共軛轉置 \(A^*\) 承擔「對偶」的角色： \((Ax, y) = (x, A^T y)\) 。無窮維中，這個角色的承擔者變得更微妙：**共軛空間 \(X^*\) （全體有界線性泛函）本身是新的 Banach 空間，伴隨算子 \(T^*\) ** 是其上的誘導算子。本節建立這套對偶理論，並講述 Hahn–Banach 定理（1927）如何保證「共軛空間足夠大」——沒有它，整個理論是空心的。

共軛空間#

定義 2.3.1： \(X^* = \mathcal{B}(X, \mathbb{F})\) （全體有界線性泛函），範數 \(\|\varphi\| = \sup_{\|x\|\le1} |\varphi(x)|\) 。

\(X^*\) 總是 Banach 空間（因 \(\mathbb{F}\) 完備）。關鍵問題： \(X^*\) 有多大？Hahn–Banach 定理（Helly 1912 先驅、Hahn 與 Banach 1927 獨立證明）回答：

定理 2.3.2（Hahn–Banach）：設 \(M \subset X\) 為子空間， \(\varphi_0 : M \to \mathbb{F}\) 有界線性泛函，則 \(\varphi_0\) 可延拓為 \(X\) 上的有界線性泛函 \(\varphi\) ，且 \(\|\varphi\| = \|\varphi_0\|\) 。

證明思想（實情形）：歸納/超限延拓，每步只需把泛函延拓一個維度：給定 \(x \notin M\) ，需選 \(\alpha\) 使 \(\varphi(x + m) = \varphi(x) + \varphi_0(m)\) 滿足範數控制，即 \(-\|\varphi_0\|\|x+m\| \le \varphi(x) + \varphi_0(m) \le \|\varphi_0\|\|x+m\|\) 。這要求 \(\varphi(x)\) 落在區間

\[ \sup_{m \in M}\big[\varphi_0(m) - \|\varphi_0\|\|x+m\|\big] \le \varphi(x) \le \inf_{m\in M}\big[\varphi_0(m) + \|\varphi_0\|\|x+m\|\big], \]

而區間非空正是次線性函數的不等式 \(\varphi_0(m) - \varphi_0(m') \le \|\varphi_0\| \|m - m'\|\) 。∎

推論（存在性）：對每個 \(x_0 \neq 0\) ，存在 \(\varphi \in X^*\) 使 \(\|\varphi\| = 1\) 、 \(\varphi(x_0) = \|x_0\|\) 。這說明 \(X^*\) 足以分離 \(X\) 的點——對偶理論不退化的保證。

伴隨算子#

定義 2.3.3： \(T \in \mathcal{B}(X,Y)\) ，定義 \(T^* : Y^* \to X^*\) 為 \((T^*\varphi)(x) = \varphi(Tx)\) 。則 \(\|T^*\| = \|T\|\) 。

證明： \(\|T^*\varphi\| = \sup_{\|x\|\le1}|\varphi(Tx)| \le \|\varphi\| \|T\|\) ，故 \(\|T^*\| \le \|T\|\) 。反向由 Hahn–Banach 存在性推論：對 \(\|y_0\|\le1\) 取 \(\varphi\) 達到 \(\|Ty_0\|\) ，則 \(\|T\| = \sup\|Ty\| = \sup \varphi(Ty) \le \|T^*\|\) 。∎

基本恆等式： \((ST)^* = T^*S^*\) （順序反轉！）、 \((T + S)^* = T^* + S^*\) 。順序反轉使 \(T \mapsto T^*\) 是反同態，這是 8.2 節對合（involution）公理的具體來源。

例子對照表：

空間 \(X^*\) \(T\) \(T^*\)
\(\mathbb{R}^n\) \(\mathbb{R}^n\) 矩陣 \(A\) 轉置 \(A^T\)
\(l^p\) （ \(1 \le p < \infty\) ） \(l^q\) （ \(1/p + 1/q = 1\) ） 矩陣型算子 轉置矩陣型算子
\(L^p\) \(L^q\) 積分算子 \(K\) 核轉置的積分算子
\(C[a,b]\) 正則 Borel 測度（Riesz 1911） — 測度的推前
Hilbert 空間 \(H\) \(H\) （經 Riesz 表示） \(T\) 滿足 \(\langle Tx, y\rangle = \langle x, T^*y\rangle\) 的算子

最後一行是第 3 章的主題：Hilbert 空間自對偶（Riesz 表示定理 1907），伴隨算子因此「回到原空間」，自伴、酉、正算子等概念才有可能。

反射性：自反空間#

定義 2.3.4： \(X\) 自反，若典範映射 \(J : X \to X^{**}\) （ \(J(x)(\varphi) = \varphi(x)\) ）是滿射的等距同構。

定理（自反性結果）： \(L^p\) 與 \(l^p\) （ \(1 < p < \infty\) ）自反； \(L^1\) 、 \(C[a,b]\) 不自反。Hilbert 空間自反。

自反性的價值在於弱緊性：Banach–Alaoglu 定理（1930，單位球在弱*拓撲下緊）+ 自反性 ⇒ 單位球弱緊。這使變分問題（「在約束下求 \(\langle Ax,x\rangle\) 的極值」）的極值存在性有一般證明——Hilbert 1906 年的極大化迭代（1.3）中「極值達到」那一步，其一般化正是弱緊性。緊算子理論（第 5 章）與自反空間是天然搭檔：緊算子把弱收斂列映為強收斂列（1.3 的完全連續定義）。

例題#

例題 2.3.1：在 \(l^p\) （ \(1 < p < \infty\) ）上，證明泛函 \(\varphi(y) = \sum_n y_n x_n\) 對 \(x \in l^q\) 有定義且 \(\|\varphi\| = \|x\|_q\) ；並求右位移算子 \(S\) 的伴隨。

解：Hölder 不等式給 \(|\varphi(y)| \le \|x\|_q \|y\|_p\) ，故 \(\|\varphi\| \le \|x\|_q\) 。等號：取 \(y_n = |x_n|^{q-1}\operatorname{sgn}(\bar x_n)\) 歸一化，驗證 \(\varphi(y) = \|x\|_q\) 、 \(\|y\|_p = \|x\|_q^{q/p}\) 。故 \(l^p\) 的對偶恰為 \(l^q\) （ \(p \neq 1, \infty\) ； \(l^1\) 的對偶是 \(l^\infty\) ，但 \(l^\infty\) 的對偶更大——ba 空間，不自反）。

伴隨： \((Sx) = (0, x_1, x_2, \ldots)\) 。對 \(\varphi \in (l^p)^* = l^q\) ， \((S^*\varphi)(x) = \varphi(Sx) = \sum_{n\ge1} \varphi_n x_{n-1}\) （視 \(x_0 = 0\) ） \(= \sum_{n \ge 2} \varphi_n x_{n-1}\) ，即 \(S^*\varphi = (\varphi_2, \varphi_3, \ldots)\) ：右位移的伴隨是左位移。驗證 \(S^*S = I\) 但 \(SS^* = I - P_1\) ——與 2.2 節例題一致，伴隨語言使「單側可逆」的不對稱一目了然。∎

例題 2.3.2：用 Hahn–Banach 證明：若 \(M\) 是 \(X\) 的真閉子空間，則存在 \(\varphi \in X^*\) ， \(\|\varphi\| = 1\) ，使 \(M \subset \ker \varphi\) 。（提示：取 \(x_0 \notin \overline{M}\) ，在 \(M + \mathbb{C}x_0\) 上定義 \(\varphi(x_0) = 1, \varphi|_M = 0\) ，延拓。）

歷史啟示#

  • Hahn–Banach 是「對偶不空」的存在性引擎：其證明用 Zorn 引理（選擇公理），是泛函分析中非構造性論證的代表；直覺主義學派曾因此質疑整個對偶理論。
  • ** \(L^p\) 對偶（Riesz 1910）是共軛空間理論的第一個大勝利**：Hölder 不等式升級為「 \(L^q\) 恰好是 \(L^p\) 的對偶」，無窮維中的「轉置」從此有了正確的住址。
  • 弱拓撲與對偶的分工*： \(X\) 弱拓撲由 \(X^*\) 定義， \(X^*\) 弱拓撲由 \(X\) 定義；Banach–Alaoglu（弱緊）永真，弱緊需自反——「緊性在哪個拓撲下成立」成為泛函分析的中心問題**，支配了第 5、6 章的一切。

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

  • 3.1 節：Hilbert 空間的 Riesz 表示定理使 \(H^* = H\) ，伴隨成為內積空間上的內生概念，自伴性誕生。
  • 4.2 節：剩餘譜的定義（值域不稠密）用對偶語言最自然： \(\operatorname{ran}(T-\lambda)^\perp = \ker(T^* - \bar\lambda)\) 。
  • 第 5 章：Fredholm 擇一（5.3）的現代證明完全是伴隨語言： \(\lambda\) 可解性 \(\iff\) \(f \perp \ker(T^* - \lambda)\) 。
  • 第 8 章： \((ST)^* = T^*S^*\) 的順序反轉在 \(C^*\) 代數中成為對合公理；雙對偶 \(\mathcal{A}^{**}\) （8.3）是 von Neumann 代數的一般理論。
  • 第 10 章：量子力學的 Dirac 記號 \(\langle \psi | A | \phi \rangle\) 中，bra \(\langle\psi|\) 就是泛函——共軛空間是量子力學記號的數學本體。
  • 優化理論：Lagrange 對偶、Fenchel 對偶都是共軛空間理論的應用；凸分析（Moreau、Rockafellar 1960s）建立在「函數的凸共軛 \(f^*(\varphi) = \sup_x(\varphi(x) - f(x))\) 」之上。

練習#

  1. 證明 \((ST)^* = T^*S^*\) 與 \(\|T^*\| = \|T\|\) 。
  2. 求 Volterra 算子（1.1 節）在 \(L^2[0,1]\) 上的伴隨： \((T^*g)(x) = \int_x^1 g(t)\,dt\) ，並驗證 \(T\) 不自伴。
  3. 在 \(L^2[0,1]\) 上，求乘法算子 \(M_m\) 的伴隨，並說明何時 \(M_m\) 自伴。
  4. 證明 \(c_0\) （收斂到零的數列空間）的對偶是 \(l^1\) ，且 \(c_0\) 不自反。
  5. 思考題：Hahn–Banach 延拓在 \(L^2\) 中是唯一的（因為內積空間的嚴凸性），在 \(C[0,1]\) 中一般不唯一。幾何上（單位球的凸性）如何解釋？

進階研讀：三個深化場景#

場景一：Riesz 表示定理的兩個層次。F. Riesz 1911 年證明 \(C[a,b]^*\) = 有界變差函數（Stieltjes 積分 \(\int f\,d\mu\) ），這是「測度=泛函」觀念的誕生，直接啟發了 Lebesgue–Radon–Nikodym 理論與 1930 年代的測度論公理化。Kakutani（1941）證明抽象 \(M\) 空間的表示定理，Banach 格理論由此展開。

場景二：James 定理（1957）。Banach 空間自反當且僅當每個泛函在單位球上達到範數。這個「每個極值都達到」的刻畫，把 1.3 節 Hilbert 極大化迭代的「可達性」變成了空間分類的判據——變分法與空間幾何的深層聯繫。

場景三：弱緊性與進化方程。自反空間中「單位球弱緊」使 Galerkin 逼近法可行：在有限維子空間求近似解，用弱緊性取極限。Leray（1934）對 Navier–Stokes 方程的開創性工作、Lions（1969）的變分不等式理論，都以此為骨架——對偶理論是現代 PDE 弱解理論的支柱。

名詞速查表#

  • **共軛空間 \(X^*\) **：全體有界線性泛函，總是 Banach 空間。
  • Hahn–Banach 定理：保範延拓；等價於「泛函分離點」。
  • **伴隨算子 \(T^*\) **： \((T^*\varphi)(x) = \varphi(Tx)\) ； \(\|T^*\| = \|T\|\) ， \((ST)^* = T^*S^*\) 。
  • 自反空間： \(J : X \to X^{**}\) 滿射； \(L^p\) （ \(1<p<\infty\) ）自反， \(L^1, C\) 不自反。
  • Banach–Alaoglu 定理：單位球弱*緊（1930）。
  • ** \(l^p\) – \(l^q\) 對偶**： \(1/p + 1/q = 1\) ， \(1 < p < \infty\) 時完備對偶配對。

年表速查#

  • 1907：Riesz 表示定理（ \(L^2\) 情形， \(L^2 = L^{2*}\) ）。
  • 1909：Riesz 表示定理（ \(C[a,b]\) 情形，Stieltjes 積分形式）。
  • 1910：Riesz \(L^p\) 對偶理論。
  • 1912：Helly 的延拓定理先驅工作。
  • 1927：Hahn 與 Banach 獨立證明延拓定理；Banach–Steinhaus。
  • 1929：Banach 弱收斂與弱*收斂理論。
  • 1930：Banach–Alaoglu 弱*緊性定理。
  • 1932：Banach《線性運算學》總結對偶理論。
  • 1941：Kakutani 抽象表示定理。
  • 1957：James 自反性刻畫定理。

深化問答三則#

問：伴隨 \(T^*\) 與 Hilbert 伴隨（3.1 節）有什麼區別？ 答： \(T^*\) 住在 \(Y^* \to X^*\) （泛函空間），Hilbert 伴隨 \(T^\dagger\) 經 Riesz 同構「搬回」 \(Y \to X\) 。在 Hilbert 空間中兩者經同構重合，故數學家常混用；在 Banach 空間中只有 \(T^*\) 有意義。這個差別正是「Hilbert 空間自對偶」的具體含義，也解釋了為何譜理論在 Hilbert 空間中最乾淨。

問：為什麼 \(L^\infty\) 的對偶比 \(L^\infty\) 大？ 答： \(L^1 \subsetneq (L^\infty)^*\) 。 \(L^\infty\) 上存在不來自 \(L^1\) 的有界泛函（用 Hahn–Banach 從 C*-代數的狀態空間構造），它們對應「純粹有限可加測度」。這些幽靈泛函是選擇公理的產物，在 Lebesgue 積分的理論中不可構造——它們的存在性問題（是否存在可測基數）至今連接著集合論。

問：弱收斂為什麼比強收斂有用？ 答：因為弱緊性更容易獲得（Banach–Alaoglu 自由送弱*緊；強緊需要等度連續等苛刻條件）。變分法的邏輯：極小化序列在強拓撲下可能不收斂（能量泛函非強連續），但在弱拓撲下有收斂子列且能量弱下半連續——於是極值存在。Poincaré、Hilbert 的直接方法在 1920–1930 年代被 Tonelli、Leray 以弱緊性語言嚴格化，今日 PDE 的「緊性方法」全是這套邏輯。

（本節完）