例 9.91

依赖于

被以下题目直接调用

例 9.91

维酉空间 上的线性变换,求证: 是正规算子的充要条件是 对 中任意的向量 ,都有

解答

证法 1 必要性由例 9.28 给出,现证充分性。我们只要证明对任意的 ,都有 。事实上,由上述等式可知 成立,由此即可推出 。我们可以仿照教材 [1] 中证明保持范数的线性变换一定保持内积的方法进行讨论。 注意到在酉空间 中,内积可用范数来表示,即对任意的

故由 的线性可得

证法 2 考虑线性算子 ,这是一个自伴随算子,因此存在 的一组 标准正交基 ,使得 在这组基下的 表示矩阵是对角矩阵 ,即有 。于是

从而 ,因此