跳轉到

3.3 酉算子與投影算子#

本章導言#

有兩類正規算子值得單獨成節，因為它們各承載一種「幾何」：酉算子 \(U\) 保持內積——它是 Hilbert 空間中的旋轉與對稱；投影算子 \(P\) 是自伴冪等元——它是「子空間」的算子化身。自伴算子（3.2）是「可觀測量」，酉算子是「對稱與演化」，投影是「命題」。von Neumann 的譜定理（6.3）的最終形式正是「自伴算子=投影的譜積分」——本節為此鋪路。同時，酉算子是 Fourier 變換、量子時間演化與波方程的數學形式，是本書通向第 9 章的橋。

酉算子#

定義 3.3.1： \(U \in \mathcal{B}(H)\) 酉，若 \(U^\dagger U = UU^\dagger = I\) ，等價於 \(\langle Ux, Uy\rangle = \langle x, y\rangle\) （保內積）。

酉算子滿足 \(\|U\| = 1\) 、 \(\sigma(U) \subset\) 單位圓 \(|z| = 1\) （因 \(\|Ux\| = \|\lambda x\|\) 迫使 \(|\lambda| = 1\) ，正規性把譜限制在圓周上——正規算子的譜=近似點譜，6.3 節）。經典例子：

  • Fourier 變換 \(\mathcal{F} : L^2(\mathbb{R}) \to L^2(\mathbb{R})\) （Plancherel 定理 1910： \(\|\mathcal{F}f\|_2 = \|f\|_2\) ）；
  • 位移算子 \(S\) （2.2 節）——不可逆但等距；等距不一定是酉（滿射性可能失敗），這是無窮維的另一標誌（Wold 分解：等距=酉⊕單側位移鏈）；
  • 量子時間演化：Schrödinger 方程 \(i\hbar\partial_t\psi = H\psi\) 的解 \(\psi(t) = e^{-iHt/\hbar}\psi_0\) ，酉性=機率守恆。

投影算子#

定義 3.3.2： \(P \in \mathcal{B}(H)\) 投影，若 \(P^2 = P = P^\dagger\) 。投影與閉子空間一一對應： \(P = P_M\) （向 \(M\) 的正交投影）。

定理 3.3.3（正交分解）： \(H\) 的閉子空間 \(M\) 誘發正交分解 \(H = M \oplus M^\perp\) ， \(P_M x\) 是 \(x\) 在 \(M\) 中的最佳逼近：

\[ \|x - P_Mx\| = \min_{m \in M} \|x - m\|. \]

證明：設 \(d = \inf_{m\in M}\|x - m\|\) ，取極小化列 \(m_n\) ；平行四邊形恆等式給 \(\|m_n - m_k\| \le \ldots \to 0\) （Cauchy），故 \(m_n \to m \in M\) （ \(M\) 閉）， \(d = \|x - m\|\) 。最佳性：對 \(m' \in M\) ， \(\|x - m'\|^2 = d^2 + \|m - m'\|^2 \ge d^2\) 。正交性： \(\langle x - m, m'\rangle\) 由 \(\|x - m - \epsilon m'\|^2\) 的變分論證得 \(0\) 。∎

投影的代數： \(P_M P_N = P_N P_M \iff\) 兩投影可交換，此時 \(P_MP_N = P_{M \cap N}\) ； \(P_M + P_N = P_{M \oplus N}\) （ \(M \perp N\) 時）； \(P_M^\perp = I - P_M\) 。交換投影格的結構正是「量子邏輯」的基礎（Birkhoff–von Neumann 1936）：不可交換的投影違反分配律——量子命題的代數不是布爾代數。

例題#

例題 3.3.1：在 \(L^2[0,1]\) 上，(a) 求 \(M = \{f : \int_0^1 f = 0\}\) 的投影；(b) 證明 Fourier 變換滿足 \(\mathcal{F}^4 = I\) ，從而其譜 \(\subset \{1, -1, i, -i\}\) 。

解：(a) \(P_M f = f - \left(\int_0^1 f\right)\mathbf{1}\) （減去平均值——投影=去均值！）。驗證 \(P_M^2 = P_M\) （再減一次均值不變）、 \(P_M^\dagger = P_M\) （積分運算自伴）、 \(\operatorname{ran} P_M = M\) 。

(b) \(\mathcal{F}^2 f(x) = f(-x)\) （反射）， \(\mathcal{F}^4 = I\) 。由譜映射（多項式演算，6.1） \(\sigma(\mathcal{F}) \subset \{z : z^4 = 1\}\) 。事實上四個值都是特徵值：Hermite 函數 \(h_n\) 滿足 \(\mathcal{F}h_n = (-i)^n h_n\) ——Fourier 變換的譜由 Hermite 基對角化，Fourier 變換是四階酉算子。∎

例題 3.3.2：證明兩個投影 \(P, Q\) 可交換當且僅當 \(PQ\) 是投影；並證明一般情況下 \(PQP\) 不必等於 \(Q\) ，給出 \(L^2\) 中的例子。

解：若 \(PQ = QP\) ， \((PQ)^2 = PQPQ = PPQQ = PQ\) 且 \((PQ)^\dagger = QP = PQ\) ，故是投影。反之若 \(PQ\) 是投影： \(PQP = (PQ)^\dagger(PQ) \ge 0\) 的論證（或直接計算 \(\langle PQP x, (I-Q)x\rangle\) ）迫使 \(\operatorname{ran}(I - Q) \perp \operatorname{ran}(PQP)\) ，推出 \(PQ = QP\) 。例子： \(H = L^2[0,1]\) ， \(P\) =投影到偶函數（關於 \(x = 1/2\) 對稱）， \(Q\) =投影到常數函數的子空間的一個「斜」子空間……簡單例子取 \(H = \mathbb{C}^2\) ： \(P\) 投影到 \(x\) 軸， \(Q\) 投影到直線 \(y = x\cdot\frac{1}{2}\) （斜投影——但正交投影在 \(\mathbb{C}^2\) 中 \(Q\) 的矩陣 \(\frac{1}{5}\begin{pmatrix}1 & 2\\2&4\end{pmatrix}\) 與 \(P = \begin{pmatrix}1&0\\0&0\end{pmatrix}\) 乘積非對稱， \(PQ \neq QP\) ）。∎

酉算子群與 Stone 定理預告#

酉算子的單參數群 \(U(t) = e^{itA}\) （ \(A\) 自伴）是量子力學的時間演化與調和分析的平移（ \((U(s)f)(x) = f(x+s)\) 的生成元是 \(-i\frac{d}{dx}\) ）。Stone 定理（1932）：強連續單參數酉群 \(\Longleftrightarrow\) 自伴生成元。這是第 9 章 Hille–Yosida 定理的酉特例，也是「對稱群→自伴算子」的橋（Wigner 定理：物理對稱=酉或反酉算子）。波方程 \(u_{tt} = -A^2 u\) 的一階化寫法使用酉群 \(e^{\pm itA}\) ——9.3 節展開。

歷史啟示#

  • 投影=子空間的代數化：有了投影，「子空間」成為可以相加、相乘、取補的代數對象。譜定理的最終形式（6.3）「 \(T = \int \lambda\, dE_\lambda\) 」中， \(E_\lambda\) 是投影值測度——譜理論=投影的微積分。
  • 酉性=守恆律： \(\frac{d}{dt}\|U(t)\psi\|^2 = 0\) 。Noether 思想的算子版：對稱（酉群）↔守恆量（自伴生成元）。von Neumann–Stone 框架使這成為定理而非格言。
  • 等距非滿射的意義：單側位移是「耗散」的最簡模型（能量流向無窮遠），其 Wold 分解連接了平穩過程理論（Kolmogorov 1941、Wiener 的預測理論）——酉半群與訊號處理（10.2）的接口。

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

  • 3.2 節：投影是自伴冪等元；酉算子與自伴算子經Cayley 變換互相轉化 \(U = (A - i)(A + i)^{-1}\) ——7.3 節自伴擴張理論的技術核心。
  • 第 4 章：投影的譜 \(\subset \{0, 1\}\) ；酉算子的譜在單位圓——兩類最「馴服」的譜。
  • 第 6 章：譜積分 \(T = \int \lambda\, dE_\lambda\) 是本節投影代數的無窮維完成。
  • 第 7 章：Cayley 變換把對稱算子的擴張問題化為酉擴張問題（虧格指數）。
  • 第 9 章：Stone 定理與 Hille–Yosida；酉群是收縮半群的特殊情形。
  • 第 10 章：量子力學（演化酉性、命題投影、測量=投影）、訊號處理（Fourier=酉對角化平移算子）、壓縮感知（投影=稀疏子空間）。

練習#

  1. 證明 \(U\) 酉 \(\iff\) \(U\) 等距且滿射 \(\iff\) \(U^\dagger U = I\) 且 \(UU^\dagger = I\) ，並舉一個等距非酉的例子。
  2. 在 \(L^2[-\pi, \pi]\) 上，求投影到 \(\operatorname{span}\{1, \cos x, \sin x\}\) 的投影算子的積分核。
  3. 證明：投影 \(P \le Q\) （即 \(\|Px\| \le \|Qx\|\) 對一切 \(x\) ） \(\iff\) \(PQ = QP = P\) 。
  4. 用 Hermite 函數驗證 \(\mathcal{F}h_n = (-i)^n h_n\) （至少驗證 \(n = 0, 1\) ），並求 \(\mathcal{F}\) 的全部特徵空間。
  5. 思考題：Birkhoff–von Neumann 量子邏輯中，命題格不滿足分配律。用 \(\mathbb{C}^2\) 中三個投影（ \(P_x\) 、 \(P_y\) 、 \(P_{(1,1)/\sqrt2}\) ）驗證 \(P \wedge (Q \vee R) \neq (P \wedge Q) \vee (P \wedge R)\) 。

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

場景一：Wold 分解與預測理論。Kolmogorov（1941）與 Wiener（1949）：平穩隨機過程的最優預測問題化為「單位圓上 H^2 空間相對於酉算子（平移）的不變子空間」問題；Wold 分解把任意平穩過程分為「純正則（可預測）+奇異（MA 無窮）」兩部分。單側位移與酉算子的幾何直接變成了時間序列理論。

場景二：Cayley 變換的歷史。von Neumann 1929 年用 Cayley 變換 \(U = (A-i)(A+i)^{-1}\) 處理無界對稱算子，把「自伴擴張」化為「酉擴張」，後者由虧空間的任意酉映射給出。這個把無界問題「壓縮」為有界問題的技巧，是第 7 章最重要的技術遺產，也預告了壓縮算子理論（Sz.-Nagy 1953）。

場景四：酉系統的現代化身——Fock 空間與高斯函數。Bosonic Fock 空間 \(\mathcal{F} = \bigoplus_n H^{\otimes n}\) 上的創生湮滅算子滿足 CCR（10.1 節），其位移表示與 Weyl 算子 \(W(z) = e^{a^\dagger z - a\bar z}\) 構成酉系統 \(W(z)W(w) = e^{-i\operatorname{Im}\langle z, w\rangle}W(z + w)\) ——Stone–von Neumann 定理的無窮維推廣是量子場論與諧波分析的共同對象（Segal–Bargmann 空間）。「酉算子的參數族」是比單個酉算子更基本的對象——這條線連接了相干態、Bargmann 表示與今日的量子計算（Gottesman–Knill：Clifford 酉群的可高效模擬）。

場景三：投影格與 von Neumann 代數。 \(\mathcal{B}(H)\) 的投影全體按 \(\le\) 構成完備正交模格；von Neumann 代數（8.3）可以定義為「在該格運算下封閉的投影族」。幾何（子空間）、代數（投影）、序（格）三種語言在此等價——Murray–von Neumann 因子分類正是以投影的等價關係為原子的維數理論。

本節要點清單#

  • 酉=保內積：等距+滿射；譜鎖在單位圓上；Stone 定理把它與自伴生成元配對。
  • 等距未必酉：單側位移是「能量外流」的最小模型；Wold 分解=酉部分⊕位移鏈。
  • 投影=閉子空間： \(P^2 = P = P^\dagger\) ；投影與子空間一一對應。
  • 投影=最佳逼近： \(\|x - P_Mx\| = \min_{m \in M}\|x - m\|\) ——最小二乘的算子形式。
  • 交換的投影才可同時觀測： \(PQ = QP \iff PQ\) 是投影；量子邏輯由此非布爾。
  • Cayley 變換：把自伴問題壓縮為酉問題——無界理論向有界理論借力的典範。
  • 譜定理的最終原料：6.3 節的投影值測度正是本節投影代數的連續化。

名詞速查表#

  • 酉算子： \(U^\dagger U = UU^\dagger = I\) ；保內積；譜在單位圓。
  • 等距算子： \(V^\dagger V = I\) ；無窮維中未必酉（Wold 分解）。
  • **投影 \(P_M\) **： \(P^2 = P = P^\dagger\) ；向閉子空間的正交投影=最佳逼近。
  • 正交分解： \(H = M \oplus M^\perp\) （需 \(M\) 閉且 \(H\) 完備）。
  • Cayley 變換： \(U = (A - i)(A + i)^{-1}\) ，自伴 \(A\) ↔ 酉 \(U \neq I\) 的對應。
  • Stone 定理：強連續酉群 \(U(t)\) ↔ 自伴生成元（1932）。
  • 量子邏輯：投影的正交模格（Birkhoff–von Neumann 1936）。

年表速查#

  • 1910：Plancherel 定理，Fourier 變換的 \(L^2\) 酉性。
  • 1929：von Neumann 用 Cayley 變換研究無界對稱算子。
  • 1932：Stone 定理；von Neumann 譜定理的投影值測度形式。
  • 1936：Birkhoff–von Neumann 量子邏輯。
  • 1938：Wold 分解（平穩過程）。
  • 1941：Kolmogorov 預測理論。
  • 1949：Wiener《平穩時間序列的外推、內插與平滑》。
  • 1953：Sz.-Nagy 壓縮算子膨脹理論。

深化問答三則#

問：為什麼時間演化必須是酉而不是收縮？ 答：量子力學的機率詮釋要求 \(\|\psi(t)\| = \|\psi(0)\|\) （總機率守恆）且演化可逆（ microscopic 可逆性）。收縮半群（9.1）只保證不增，對應開系統/耗散；酉群對應閉系統。數學上，酉群=自伴生成元（Stone），收縮半群=耗散生成元（Hille–Yosida 的 \(m\) -耗散條件）——「守恆 vs 耗散」在算子層次的精確對應。

問：投影的「最佳逼近」性質有什麼實用價值？ 答：它是所有最小二乘法的理論根。Galerkin 法=投影到有限維子空間；Fourier 部分和=投影到多項式子空間；Wiener 濾波=投影到由過去數據生成的子空間。「投影算子」把「最優近似」從形容詞變成名詞。

問：Cayley 變換為什麼取 \(\pm i\) ？ 答：因為自伴算子的譜在實軸， \((A - i)(A + i)^{-1}\) 把實軸映到單位圓（Möbius 變換 \(z \mapsto \frac{z-i}{z+i}\) ），且 \(A + i\) 恒可逆（ \(i\) 不在實譜中）。任何遠離實軸的複數都可以（取 \(i\) 是慣例），但要保證可逆性——這正是「譜避開分母」的原則，8.1 節 Gelfand 理論將把它變成一般定理： \(\lambda \notin \sigma(a) \iff a - \lambda e\) 可逆。

（本節完）