跳轉到

3.2 自伴算子與正算子#

本章導言#

在所有有界算子中，自伴算子（ \(T = T^\dagger\) ）是性質最好的一類：譜全實、範數由二次型達到、正交對角化可能。這不是數學家的偏好，而是被物理逼出來的分類：量子力學的可觀測量必須自伴（實測量值、完備譜分解），von Neumann 1932 年的《量子力學的數學基礎》把這個需求變成了數學定理。本節建立自伴與正算子的基本理論，重點是自伴算子範數公式——它是 Hilbert 1906 年二次型極大化（1.3 節）的現代完成。

自伴算子的基本性質#

定義 3.2.1： \(T \in \mathcal{B}(H)\) 自伴（Hermitian/symmetric），若 \(T = T^\dagger\) ，即 \(\langle Tx, y\rangle = \langle x, Ty\rangle\) 對一切 \(x, y\) 。

定理 3.2.2：自伴算子滿足： 1. \(\langle Tx, x\rangle \in \mathbb{R}\) 對一切 \(x\) ； 2. 特徵值全為實數；不同特徵值的特徵向量正交； 3. \(\|T\| = \max\{\sup_{\|x\|=1}\langle Tx,x\rangle,\ \sup_{\|x\|=1}(-\langle Tx,x\rangle)\}\) ，特別地 \(\|T\| = \sup_{\|x\|=1} |\langle Tx, x\rangle|\) 。

證明要點：(1) \(\overline{\langle Tx,x\rangle} = \langle x, Tx\rangle = \langle Tx, x\rangle\) 。(2) 若 \(Tx = \lambda x\) ，則 \(\lambda\|x\|^2 = \langle Tx,x\rangle\) 實數，故 \(\lambda \in \mathbb{R}\) ；若 \(Tx = \lambda x\) 、 \(Sy = \mu y\) （ \(S=T\) ），則 \(\lambda\langle x,y\rangle = \langle Tx, y\rangle = \langle x, Ty\rangle = \bar\mu\langle x, y\rangle\) ， \(\lambda \neq \mu\) 迫使 \(\langle x,y\rangle = 0\) 。(3) 記 \(M = \sup_{\|x\|=1}|\langle Tx,x\rangle|\) 。3.1 節例題 3.1.2 已得 \(\|T\| \le 2M\) ；精確化需要技巧：考慮平移 \(T + it\alpha\) （ \(\alpha = \langle Tx,x\rangle\) 型論證）或用二次型的凸性，證明 \(\|T\| \le M\) ，而 \(M \le \|T\|\) 顯然。∎

公式 (3) 的意義：自伴算子的「大小」完全由其二次型決定。對非自伴算子這徹底失敗： \(T = \begin{pmatrix} 0 & 1 \\ 0 & 0\end{pmatrix}\) 滿足 \(\langle Tx,x\rangle \equiv 0\) 但 \(\|T\| = 1\) 。二次型「看不見」反對稱部分——自伴性使二次型與算子一一對應（再次是 Riesz 表示定理）。

正算子與平方根#

定義 3.2.3： \(T\) 正（記 \(T \ge 0\) ），若 \(\langle Tx, x\rangle \ge 0\) 對一切 \(x\) 。

定理 3.2.4：每個 \(T \ge 0\) 有唯一正平方根 \(T^{1/2} \ge 0\) ，且 \(T^{1/2}\) 是 \(T\) 的多項式（依範數）的極限。

證明思想：這裡譜定理還沒到，但有初等路線：考慮迭代 \(A_0 = 0\) 、 \(A_{n+1} = A_n + \frac{1}{2}(T - A_n^2)\) （牛頓法在算子上的版本）。需證 \(A_n \ge 0\) 、 \(\|A_n\|\) 有界、Cauchy。這個構造（von Neumann 1929/1932 年的原始證明路線）顯示算子級數可以逐項收斂到非多項式對象——演算的誕生。有了平方根，正算子理論獲得序結構： \(A \ge B \iff A - B \ge 0\) ，且 \(A \ge 0, B \ge 0\) 不保證 \(AB \ge 0\) 除非 \(AB = BA\) 。∎

正算子是 Hilbert 空間上的「半正定矩陣」： \(T \ge 0 \iff T = S^\dagger S\) （取 \(S = T^{1/2}\) ）。每個 \(T \in \mathcal{B}(H)\) 都給出正算子 \(T^\dagger T\) ——奇異值分解的算子論起點。

例題#

例題 3.2.1：在 \(L^2[0,1]\) 上判斷下列算子是否自伴、是否正： (a) \((M_g f)(x) = g(x)f(x)\) ， \(g\) 有界可測； (b) 核積分算子 \((Kf)(x) = \int_0^1 k(x,t)f(t)dt\) ， \(k\) 連續。

解： (a) \(\langle M_g f, h\rangle = \int g f \bar h = \langle f, M_{\bar g} h\rangle\) ，故 \(M_g^\dagger = M_{\bar g}\) ；自伴 \(\iff\) \(g\) 幾乎處處實值。正 \(\iff\) \(g \ge 0\) a.e.（取 \(f\) 集中於 \(g<0\) 之處）。乘法算子是「最平凡的算子類」，但 6.3 節將證明它們承載一切連續譜。 (b) \(K^\dagger\) 的核為 \(\overline{k(t,x)}\) ；自伴 \(\iff\) \(k(x,t) = \overline{k(t,x)}\) 。正性判定不顯然：例如 \(k(x,t) = \min(x,t)\) 給正算子（等價於 \(-\frac{d^2}{dx^2}\) 的逆，1.2 練習 4 的 Green 函數），可由「 \(\langle Kf, f\rangle = \int |F(s)|^2 ds \ge 0\) 」直接驗證，其中 \(F(s) = \int_s^1 f\) 。∎

例題 3.2.2：證明自伴算子 \(T\) 滿足 \(\|T\| = \sup_{\|x\|=1}|\langle Tx,x\rangle|\) （完成定理 3.2.2(3) 的精確證明）。

解：設 \(M = \sup|\langle Tx,x\rangle|\) 。對任意 \(x, y\) （單位），用 3.1 例題 3.1.2 的極化估計得 \(\|T\| \le 2M\) 。為去因子 2：對單位 \(x\) ，令 \(\alpha = \langle Tx, x\rangle\) （實數），考慮

\[ \|Tx\|^2 = \langle Tx, Tx\rangle = \langle T(x - \tfrac{\alpha}{M}x + \tfrac{\alpha}{M}x), \ldots\rangle \ \text{展開} \]

採用標準論證： \(|\langle Tz, z\rangle| \le M\|z\|^2\) 對一切 \(z\) ；代入 \(z = x \pm y\) 並相減（極化），得

\[ |\operatorname{Re}\langle Tx, y\rangle| \le \frac{M}{4}\big(\|x+y\|^2 + \|x-y\|^2\big) = \frac{M}{2}(\|x\|^2 + \|y\|^2), \]

以 \(e^{i\theta}y\) 旋轉取 \(\langle Tx,y\rangle\) 實部最大，得 \(|\langle Tx, y\rangle| \le \frac{M}{2}(\|x\|^2+\|y\|^2)\) 。取 \(y = Tx/\|Tx\| \cdot t\) ，即 \(\|Tx\| \le \frac{M}{2}(1 + t^2\|Tx\|^2)\) 對一切 \(t>0\) ；取 \(t = 1/\|Tx\|\) 得 \(\|Tx\| \le M\) 。故 \(\|T\| \le M\) 。∎

序結構與物理#

正算子序 \(\le\) 使 \(\mathcal{B}(H)\) 成為有序向量空間，這是量子力學公理的數學語言：

  • 效應： \(0 \le E \le I\) 是「是/否實驗」的數學模型（效應代數）；
  • 投影： \(P^2 = P = P^\dagger\) 是「命題」（3.3 節）；
  • 狀態：正線性泛函 \(\rho \ge 0\) 、 \(\rho(I) = 1\) 是密度矩陣；
  • 期望值： \(\rho(T) = \operatorname{tr}(\rho T)\) 。

von Neumann 1932 年的洞見：量子力學的公理化=Hilbert 空間上有序算子代數的公理化。這條路最終通向 \(C^*\) 代數的狀態空間理論（第 8 章）。

歷史啟示#

  • 實譜性是自伴性的獎賞：非自伴算子的譜可以到處亂跑（2.2 例：位移算子譜為圓盤）；自伴性一加，譜立刻被壓回實軸——對稱性=譜的約束，這個主題貫穿全書（正規算子譜在 \(\mathbb{C}\) 、酉算子譜在圓周）。
  • 平方根定理預告了演算： \(T^{1/2}\) 不是多項式而是極限——「對算子做函數」需要譜定理或演算理論（6.3、8.2），本節的迭代構造是演算的工程學版本。
  • 範數公式統一了 Hilbert 的兩條線：1906 年的二次型極大化（1.3）與 1929 年的算子理論在 \(\|T\| = \sup|\langle Tx,x\rangle|\) 匯合。

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

  • 3.1 節：自伴性的定義依賴伴隨； \(\|T\| = \sup|\langle Tx,x\rangle|\) 是 Riesz 定理二次型觀點的果實。
  • 3.3 節：投影是自伴冪等元；酉算子是「保持內積的自伴鄰居」（實際上酉 \(\neq\) 自伴，兩者皆正規）。
  • 第 6 章：譜定理是本節性質的完全展開：自伴算子=乘法算子（6.3），正算子有正譜測度。
  • 第 7 章：無界自伴算子是量子力學的真正主角；本節的有界理論是它的安全示範區。
  • 第 9 章：半群生成元 \(-A\) 當 \(A \ge 0\) 時給出壓縮半群（熱方程），正算子理論直接進入發展方程。
  • 矩陣分析：正定矩陣的 Cholesky 分解=平方根定理的有限維版本；LOCC 與量子資訊中的正算子值測度（POVM）是效應代數的現代應用。

練習#

  1. 證明： \(T\) 自伴 \(\iff\) \(\langle Tx, x\rangle \in \mathbb{R}\) 對一切 \(x\) （用極化恆等式）。
  2. 證明自伴算子的不同特徵值之特徵向量正交；構造非自伴算子使其有實特徵值但特徵向量不正交。
  3. 對 \(T \ge 0\) ，證明 \(|\langle Tx, y\rangle|^2 \le \langle Tx,x\rangle\langle Ty,y\rangle\) （Cauchy–Schwarz 的正算子版本）。
  4. 證明 \(\mathcal{B}(H)\) 中自伴元全體是實 Banach 空間，且每個 \(T\) 可唯一寫為 \(T = A + iB\) （ \(A, B\) 自伴）。
  5. 思考題：為什麼量子力學要求「自伴」而不僅「對稱」？（預告：對稱算子可能沒有實譜完全性——7.3 節將對稱與自伴分家，物理可觀測量必須自伴。）

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

場景一：Cholesky 與 QR 的算子觀。正算子 \(T = S^\dagger S\) 的分解在矩陣計算中是 Cholesky 分解（ \(S\) 下三角）；一般算子的極分解 \(T = U|T|\) （ \(|T| = (T^\dagger T)^{1/2}\) ， \(U\) 部分酉）是 6.2 節奇異值理論的起點。譜理論與數值線性代數在此同根。

場景二：Murray–von Neumann 維數理論。投影之間的序關係（ \(P \preceq Q \iff P \sim P' \le Q\) ，酉等價）導出因子代數的分類（1936–1943）： \(I_n, I_\infty, II_1, II_\infty, III\) 。「維數」可以是連續統（ \(II_1\) 因子）——序結構的直接後果，8.3 節展開。

場景三：自伴性的剛性——不變子空間。自伴算子 \(T \neq 0\) 必有非平凡不變子空間：取 \(\|Tx\| = \|T\|\|x\|\) 的最大點 \(x_0\) ，則 \(x_0 \in \ker(T^\dagger - \|T\|)\) 或其補產生約化子空間。這個初等事實是「自伴的譜定理」與一般 Banach 空間「不變子空間問題」（至今開放！）的鮮明對照：自伴性使不變子空間俯拾皆是，失去對稱性則連一個都難找。

名詞速查表#

  • 自伴算子： \(T = T^\dagger\) ；實譜、正交特徵向量、 \(\|T\| = \sup|\langle Tx,x\rangle|\) 。
  • 正算子： \(T \ge 0\) 即 \(\langle Tx,x\rangle \ge 0\) ；等價 \(T = S^\dagger S\) ；有唯一正平方根。
  • 序結構： \(A \le B \iff B - A \ge 0\) ；投影構成格（3.3）。
  • 極分解： \(T = U|T|\) ， \(|T| = (T^\dagger T)^{1/2}\) 。
  • 效應： \(0 \le E \le I\) ；量子測量的數學原子。
  • 對稱 vs 自伴：無界情形二者有別（7.3）；有界情形一致。

年表速查#

  • 1906：Hilbert 二次型極大化， \(\sup|\langle Tx,x\rangle|\) 概念出現。
  • 1907：Riesz 表示定理，二次型↔算子一一對應。
  • 1929：von Neumann《關於無窮維線性方程組的代數》引入自伴、正、酉算子的系統理論與平方根構造。
  • 1932：von Neumann《量子力學的數學基礎》：可觀測量=自伴算子。
  • 1936–1943：Murray–von Neumann 因子分類（投影序結構）。
  • 1954：Lax–Milgram 定理（正/強制二次型）。
  • 1960s：效應代數與 POVM（量子測量理論的數學化）。

深化問答三則#

問：自伴算子與正規算子（ \(TT^\dagger = T^\dagger T\) ）誰更一般？ 答：正規更一般：酉算子正規但不自伴（ \(U = iI\) 驗證）。譜定理對正規算子成立（6.3），自伴是正規的實值特例。歷史上 von Neumann 1929 先證自伴情形，1933 年（受 Hellinger–Toeplitz 1910 對角化工作的啟發）完成正規情形。物理上，可觀測量=自伴，而對稱性=酉（時間演化、空間旋轉）——兩類正規算子各司其職。

問：正算子的平方根為什麼唯一？ 答：若 \(T = A^2 = B^2\) （ \(A, B \ge 0\) ），則 \(A\) 與 \(B\) 都是 \(T\) 的（依範數收斂的）多項式極限——因為 \(T^{1/2}\) 可由多項式一致逼近（Weierstrass 定理作用於譜區間）。函數演算的唯一性傳遞到平方根。這個論證預告了 8.2 節的核心精神：演算一旦存在，就是唯一的，且與多項式演算相容。

問： \(\langle Tx,x\rangle \equiv 0\) 為何蘊含 \(T = 0\) 僅當自伴？ 答：極化恆等式由二次型唯一恢復共軛對稱雙線性型；若 \(T\) 自伴，二次型確定 \(T\) 。非自伴時二次型只確定自伴部分 \(\frac{T + T^\dagger}{2}\) ，反自伴部分 \(\frac{T - T^\dagger}{2}\) 隱形（矩陣 \(\begin{pmatrix}0&1\\0&0\end{pmatrix}\) 是極端例子）。這解釋了為什麼自伴算子的理論「看得見」而一般算子的理論「半盲」。

（本節完）