同时谱分解与回报

为多个算子找一组标准正交基

每个正规算子都在自己*专属*的标准正交特征基下对角化。自然的下一问：一族算子何时能共享*单独一组*？同时谱分解给出答案：一族正规算子可同时酉对角化，当且仅当它们两两可交换。这是第一卷特征理论专题中可交换／联合对角化故事的标准正交、谱定理强度的精炼。

直觉与此前相同，并被正交性所锐化。若 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 的多项式。

回报：主成分分析、量子测量与振动

这就是整个专题为何重要。谱定理的应用遍布每一处出现对称或正规算子的地方。主成分分析：协方差矩阵是对称半正定的，其最大特征向量（瑞利商的最大化方向）是方差最大的方向——这为第一卷的主成分分析奠定了理论基础。振动：对称刚度算子的特征值是固有频率的平方，特征向量是简正模态。

量子力学是这条定理最字面成立的地方：物理可观测量是自伴算子，其实特征值是唯一可能被测得的值，而正交谱投影给出每个结果的概率。两个可观测量恰在它们可交换时能被同时测量——本篇的同时分解*就是*测不准原理的代数内核。