线性代数(三十五) ： 谱定理

谱定理是线性代数中很重要很基础的定理,并为以后的特征值分解做准备

1 谱定理

 设A是nxn复矩阵，则复数域上任意向量都可以写成A的特征向量之和，其中特征向量可以是广义特征向量.

谱定理的证明需要以下引理或推论

2 引理1

 设p,q是两个复系数多项式，并且没有公共零点，则存在另外两个

多项式a，b使得：

 

证明：

 以下证明只是简述，并不是严格证明：

假设形如qp+bq次数最低的非零多项式记做d，易证d整除p和q

又根据p，q无公共零点，因此易证d是常数，假设：

 

即证明了该引理.

3 引理2

 设p,q为无公共零点的多项式，A是复数域上的方阵，则：

 

即任意x属于Npq可以唯一的分解

证明：

 对推论1中的自变量为A有：

 

等式两端同时作用在x上得到：

 

由于同一矩阵的多项式可交换，并且x属于p(A)q(A)的零空间:

 

因此证明了推论

(并没有证明分解的唯一性,,,)

4 推论:

 设p1,p2,...,pk是一簇多项式，任意两个无公共零点N1,...,Nk分别是他们的零空间，则：

 

该推论的证明略

5 证明谱定理

任取向量x,则n+1个向量x,Ax,...,A^nx必定线性相关，即存在次数不大于n的多项式p：

 

对p进行分解：

 

其中Rj是p的根，Mj是Rj的重数，如果Rj不是A的特征值则A-RjI可逆.

将可逆因子移到前端，剩下的Rj是A的特征值.若记：

 

则(2)式可重写为：

 

显然任意两个Pj无公共零点，则由推论10，x可分解为Npj中向量之和.

由(3)式和广义特征向量定义知任意x属于Npj都是A的广义特征向量,

这样就将x分解为A的广义特征向量之和。定理得证