通过前面的讨论,我们引出了线性变换在不同基下的矩阵之间的关系,知道了线性变换在不同基下的矩阵是相似的,进而我们可以通过选取不同的基,使得线性变换在这组基下的矩阵的形式最简单,由于对角矩阵具有良好的性质,因此我们希望通过选取合适的基,使得线性变换在这组基下的矩阵是对角矩阵,这个问题等价于寻找一个可逆矩阵
,使得
,在讨论这个问题之前我们需要先研究这样一个问题:
设
是数域
上的一个n维线性空间,
是线性空间
上的一个线性变换, 若
(
),则称
是线性变换
的特征向量,
是特征向量
对应的特征值,取线性空间
的一组基
则
,
其中
于是
设线性变换
在基
下的矩阵为
,
则
故
即
因为
可逆,于是得
对上式移项并提公因式得
,由于
,所以
,故齐次线性方程组
有非零解,即
,由于行列式
是n阶的,所以
是关于
的n次方程,根据代数基本定理,
在复数域内必有n个根。故对于任意一个n阶矩阵,在复数域内必有n个特征值(重根算上重数),将这n个特征值再带回到
解出
对应的特征向量,由于齐次线性方程
有非零解,故该齐次线性方程组有无穷多个解,即每个特征值对应的特征向量有无穷多个,但同一个特征值对应的特征向量中线性无关的特征向量的最多为
个。
下面要证明不同特征值对应的特征向量是线性无关的:
设
是矩阵
的两个不同的特征值,即
由
解得
对应的线性无关的特征向量为
由
解得
对应的线性无关的特征向量为
令
左乘
得
得
因为
,所以
,带入
得
由于
线性无关,所以
同理,
综上
故
线性无关。
现在我们讨论怎样寻找可逆矩阵
,使得
(其中
为对角矩阵)
即
假设我们已经找到可逆矩阵
,使得
,即
将矩阵
按列分块,则
则有
即
,所以
是
的特征向量,
若
线性无关,即
有n个线性无关的特征向量,
则有
即当n阶矩阵
有n个线性无关的特征向量时,
可相似对角化。
反过来,若
可相似对角化,那么
是否有n个线性无关的特征向量呢?
假设
可相似对角化,由于
是线性变换
在基
下的矩阵,
则线性变换
可找到一组适当的基,使得
在这组基下的矩阵为对角矩阵,不妨设这组基为
,则有
(其中
为对角矩阵)
即
则有
故
,故
是线性变换
的n个特征向量,由于
是线性空间
的一组基,故
线性无关,即线性变换
有n个线性无关的特征向量。
综上,矩阵
可相似对角化的充分必要条件是矩阵
有n个线性无关的特征向量
由于我们之前证明了不同特征值对应的特征向量是线性无关的,因此若矩阵
的特征方程
有n个不同的根,那么矩阵
一定可以相似对角化,若矩阵
有重根
,则要求该重根的重数
必须等于该重根对应的线性无关的特征向量的个数,即有
在下一篇文章里面我们将讨论实对称矩阵的相似对角化问题以及二次型的标准化问题。
未完待续...