例 9.95

依赖于

  • 无显式依赖

被以下题目直接调用

例 9.95

维酉空间 上的线性变换,求证: 是正规算子的充要条件是 存在某个复系数多项式 ,使得

解答

证明 先证充分性。若 ,显然有 ,因此 是正规算子。再证必要性。设 的全体不同特征值,由谱分解定理,有

因为 ,所以

注意到 ,故对任意的正整数 ,有

进一步,对任意的多项式 ,有

,由此即得

再令 ,则有