可对角化的线性变换的提出背景
可对角化的线性变换的定义
定理1:线性变换可对角化等价于其在某一组基下的矩阵可对角化
线性变换
A
‾
\underline{A}
A可对角化
⟺
\iff
⟺ 存在一组基,使得线性变换
A
‾
\underline{A}
A在这组基下的矩阵为对角阵
线性变换
A
‾
\underline{A}
A在各个基下的矩阵构成
A
A
A的等价类,所以:
存在一组基,使得线性变换
A
‾
\underline{A}
A在这组基下的矩阵为对角阵
⟺
\iff
⟺
A
A
A的等价类中存在对角阵,即
A
A
A可对角化
定理2:如果线性变换可对角化,即在某组基下的矩阵是对角阵,则这组基是线性变换的一组特征值,主对角元上的元素为基中对应位置的向量对应的特征值
证明: