例 9.104

依赖于

被以下题目直接调用

例 9.104

维欧氏空间 上的线性变换,求证: 是正规算子的充要条件是 对 中任意两个向量 ,若

(其中 是实数),则必有

解答

证明 任取 的一组标准正交基,设 在这组基下的表示矩阵为 ,则 在这组基下的 表示矩阵为 ,再设 的坐标向量分别为

先证必要性。若 ,则结论显然成立,以下不妨设 不全为零。若 ,则 ,即 属于实特征值 的特征向量或零向量,从而由例 9.28 可知, 也是 属于特征值 的特征向量或零向量,结论得证。若 , 令 ,则 ,即 属于虚特征值 的特征向量, 故由例 9.28 可知, 也是 属于虚特征值 的特征向量,从而不难验证结论成立。

再证充分性。与必要性完全类似的讨论可得,若 属于特征值 的特征向量, 则 也是 属于特征值 的特征向量,故由例 9.92 可知, 是复正规矩阵。 又 是实矩阵,故 也是实正规矩阵,从而 是实正规算子。