同时谱分解

一个自伴或正规算子得到单独一组标准正交特征基。一个自然的问题是：何时两个这样的算子能共享一组基？答案干净得令人称心：一族正规算子可被同时酉对角化，当且仅当它们两两交换。交换恰是唯一的障碍；别无他物挡路。

具体地说，若 S、T 正规且 S T = T S，则存在单独一组标准正交基 q_1, ..., q_n，使两者同时对角：每个 q_i 同时是 S 和 T 的特征向量。直觉在于交换的算子彼此保持对方的特征子空间——T 把 S 的每个特征子空间映入自身——所以你可一次只把 T 限制在 S 的一个特征子空间上、在那里对角化它，而不扰动 S。如此迭代细化基，直到两者都完全对角。

现在每个共享特征向量带有一对特征值，(来自 S 的 lambda, 来自 T 的 mu)，这些数对的集合就是联合谱。这是一个深刻想法的线性代数种子：一族交换的可观测量可被同时测量，因为它们共享本征态——这正是量子力学中相容测量的数学核心。它也解释了为何函数 f(T) 总与 T 交换（它们共享基），并支撑着正规算子换位子的结构。