例 9.96
依赖于
- 无显式依赖
被以下题目直接调用
例 9.96
设 是 维酉空间 上的线性变换,求证: 是正规算子的充要条件是 ,其中 为酉算子, 是半正定自伴随算子,且 与 乘法可交换。
解答
证明 先证充分性。若 ,则 , 故由 可得
因此 是正规算子。
再证必要性。设 是 的全体不同特征值, 由谱分解定理,有
若 ,令 ; 若 ,令 或 。再令
则容易验证 为酉算子, 是半正定自伴随算子,且 与 乘法可交换。
例 9.96
设 是 维酉空间 上的线性变换,求证: 是正规算子的充要条件是 ,其中 为酉算子, 是半正定自伴随算子,且 与 乘法可交换。
证明 先证充分性。若 ,则 , 故由 可得
因此 是正规算子。
再证必要性。设 是 的全体不同特征值, 由谱分解定理,有
若 ,令 ; 若 ,令 或 。再令
则容易验证 为酉算子, 是半正定自伴随算子,且 与 乘法可交换。
评论
支持 Markdown 和 LaTeX 数学公式。