例 9.95
依赖于
- 无显式依赖
被以下题目直接调用
例 9.95
设 是 维酉空间 上的线性变换,求证: 是正规算子的充要条件是 存在某个复系数多项式 ,使得 。
解答
证明 先证充分性。若 ,显然有 ,因此 是正规算子。再证必要性。设 是 的全体不同特征值,由谱分解定理,有
因为 ,所以
注意到 ,故对任意的正整数 ,有
进一步,对任意的多项式 ,有
令
则 ,由此即得
再令 ,则有
例 9.95
设 是 维酉空间 上的线性变换,求证: 是正规算子的充要条件是 存在某个复系数多项式 ,使得 。
证明 先证充分性。若 ,显然有 ,因此 是正规算子。再证必要性。设 是 的全体不同特征值,由谱分解定理,有
因为 ,所以
注意到 ,故对任意的正整数 ,有
进一步,对任意的多项式 ,有
令
则 ,由此即得
再令 ,则有
评论
支持 Markdown 和 LaTeX 数学公式。