例 6.57

依赖于

被以下题目直接调用

例 6.57

阶矩阵全体构成的线性空间, 上的线性变换 定义为 ,其中 。证明:若 可对角化,则 也可对角化。

解答

证明 阶可逆矩阵,使得

也可对角化。设

分别为两个矩阵的列分块,则

线性无关, 线性无关。由第 3 章的解答题 3 可知, 个线性无关的矩阵。注意到

个线性无关的特征向量,从而可对角化。