方阵的特征值和特征向量是矩阵论的研究手段之一,它能有力地反映矩阵的零化空间,在非方阵的情形下,特征值推广为奇异值,特征向量推广为奇异向量。关于一般线性算子的特征值问题,参见特征值。
通过对有限维线性空间中线性变换的初步研究,我们知道线性变换在不同基底下的矩阵是相似的,为了对矩阵的相似化简有更好的把握,我们引入特征值和特征向量的定义,这些定义是从线性空间的角度给出的,在选定基底后同样可以引入到矩阵中去。
从矩阵的相似化简说起[]
如果矩阵和相似,就是说存在一个可逆矩阵,使得
特别地,如果矩阵
可以化成对角矩阵
(即
和一个对角矩阵相似),那这对研究线性变换和矩阵等问题有很大帮助,因此,我们来讨论能化为对角矩阵的这样的矩阵。矩阵
可以化为对角矩阵,这等价于在某个基底
下,与这个矩阵对应的线性变换
满足如下条件:
按照
形式矩阵的运算,可以知道
这个式子的意义也很直观,它表明:对向量
施加线性变换
之后,其效果和对它数乘一个常数
一样,也就是说,这个线性变换
把
映到了它的同条直线上去。如果线性变换能做到这种效果,那这样的线性变换研究起来更简单。
特征值相关定义[]
假设同上,我们把称为线性变换的特征值,或特征根(eigenvalue)。而把对应于每个特征值而使得下式成立的非零向量称为对应于的特征向量(eigenvector)。
可以证明,线性变换
在一个基底下的矩阵是对角矩阵,则
一定能找到
个线性无关的特征向量(特别地,可以取这一组基)。反过来,如果
能找到
个线性无关的特征向量,那么
在这些线性无关的向量组组成的基下的矩阵是一个对角矩阵,而且对角线上的元素就是对应的特征值。因此,我们得到一个矩阵相似为对角矩阵的充要条件是,它有
个线性无关的特征向量。
特征向量的性质[]
- 一个确定的特征向量只能属于唯一的一个特征值;
- 如果是属于的特征向量,,那么也是属于的特征向量;
- 如果是属于的特征向量,,那么也是属于的特征向量;
- 如果是分别属于的特征向量,那么一定不再是属于的特征向量;
这就说明属于同一个特征值(考虑重数)的特征向量是线性相关的,它们只相差一个常数倍,如果不考虑重数,结论不一定正确;
- 特征值可以有重复,即一个线性变换可以有相同的多个特征值,比如阶单位矩阵就有重特征值;
相关求解[]
考虑一个一般的线性变换,在选定一组基底后将它同构到矩阵上,那么,对于它的一个特征根,有
于是
上式为一个齐次线性方程组,我们知道要使有非零的特征向量
存在,则上式有非零解,故系数矩阵行列式
,因此照此求出所有的
即
的所有特征根(重根按重数计算)。
对于特征向量的求解,将每个代入
中,找到
的一个特解即可。
而对于能化为对角矩阵的矩阵,若要求解,使得,我们对进行列分块,使得,那么,有
即
这表明,我们要求的
的分块第
个列向量就是
所对的一个特征向量。
例如,对于矩阵,先求出
所以,三个特征根依次是
原矩阵相似于
特征向量我们只求一个,其余两个类似。
对于,设对应的特征向量是有
解这个齐次方程组,得到一个特解为
同理,得到其他两个特征值的特解为
和
。
于是,使得
成立的可逆矩阵为
特征值与基底选取无关[]
上面定义特征值时,我们是通过给定一组基底,将线性变换同构到了矩阵上讨论,这里我们来证明不同基底下的特征值是一样的。为此,首先我们需要知道,同一线性变换在不同基底下的矩阵是相似的这一事实。
设线性变换在两组不同基底下的矩阵分别是,则存在可逆矩阵,使得,所以有
其中第二个等号是因为
是数量矩阵,它和所有矩阵可交换。由于
可逆,
,故
因此,我们就说明了求解关于
的方程时上面两个等价,因此
的特征根也全部是
的特征根,反之也成立。这样我们就证明了相似的矩阵具有相同的特征根。
上下节[]
参考资料