同時譜分解與回報

為多個算子找一組標準正交基

每個正規算子都在自己*專屬*的標準正交特徵基下對角化。自然的下一問：一族算子何時能共享*單獨一組*？同時譜分解給出答案：一族正規算子可同時酉對角化，當且僅當它們兩兩可交換。這是第一卷特徵理論專題中可交換／聯合對角化故事的標準正交、譜定理強度的精煉。

直覺與此前相同，並被正交性所銳化。若 B 與 A 可交換，則 B 把 A 的每個譜特徵子空間映入其自身——這些特徵子空間在 B 下不變。把 B 限制到每個特徵子空間，在那裡運用譜定理得到該子空間內 B 的標準正交特徵基；又因 A 的各特徵子空間相互正交，各局部基拼裝成一組同時對角化兩者的全局標準正交基。

Commuting normal A, B  ->  shared orthonormal eigenbasis:

  step 1  diagonalize A: spectral resolution A = sum_i lambda_i P_i
  step 2  B commutes with A  =>  B preserves each eigenspace im(P_i)
  step 3  restrict B to each eigenspace, diagonalize there (spectral thm)
  step 4  stitch local orthonormal bases -> single U diagonalizing BOTH:
              U* A U = D_A   AND   U* B U = D_B   (both diagonal)

Reason it can FAIL without commuting:
  A = [1,0;0,2]  (eigvecs e_1,e_2),  B = [0,1;1,0]  (eigvecs (1,1),(1,-1))
  AB = [0,1;2,0] != [0,2;1,0] = BA   ->  no common eigenbasis exists.

可交換的正規算子共享一組標準正交特徵基；不可交換者則不能。

交換子：誰與 A 可交換

反過來看，譜定理刻畫了與正規 A 可交換的*一切*——交換子。一個算子與 A 可交換，當且僅當它保持 A 的每個特徵子空間；等價地，它在 A 的特徵基下是分塊對角的。當 A 有 n 個互異特徵值時，交換子恰好是在 A 的基下對角的那些算子——而這些恰恰是 A 的函數，即 A 的多項式。

回報：主成分分析、量子測量與振動

這就是整個專題為何重要。譜定理的應用遍佈每一處出現對稱或正規算子的地方。主成分分析：協方差矩陣是對稱半正定的，其最大特徵向量（瑞利商的最大化方向）是方差最大的方向——這為第一卷的主成分分析奠定了理論基礎。振動：對稱剛度算子的特徵值是固有頻率的平方，特徵向量是簡正模態。

量子力學是這條定理最字面成立的地方：物理可觀測量是自伴算子，其實特徵值是唯一可能被測得的值，而正交譜投影給出每個結果的概率。兩個可觀測量恰在它們可交換時能被同時測量——本篇的同時分解*就是*測不準原理的代數內核。