设E上自同态f，称E的子空间F对f是稳定的

如果F的f像仍含在F中

稳定空间 零集与全集稳定

一个自同态的核与像关于这个自同态稳定

存在非零向量使得其像与
稳定空间&特征值&特征向量 （K中元素）特征值
自身关于这个K上值共线
（对于一个自同态f定义的）
无限维空间上的自同态的谱无固定形式
有限维空间上的自同态的谱一定是有限的
（K中子集）谱 一个自同态所有特征值的集合
谱取决于数域K的选择
特征值&谱&特征向量&特征空间

（E中非零元素）特征向量 存在K中值使得其像与自身关于这个值共线

定义：f-λId的核（一定非零）

（E中子空间）特征值对应的特征空间 对于一个自同态，不同特征值对应的各个特征空间直和 不同特征值对应的特征向量线性无关

如果两自同态复合可交换，则其中一个映射的任
一个自同态的任意特征空间关于自己这个映射稳定
意特征空间关于另一个映射稳定

定义：E存在一组由f的特征向量构成的基底

有限维空间上的自同态的谱一定有限且元素数不大于维数
自同态可对角化
！！！从这里开始只考虑有限维空间！！！

有限维空间上的自同态可对角化ssi全集是所有特征空间的直和

方阵可对角化定义：其与一对角阵相似（存在一个可逆矩阵不是两个！！！）

自同态可对角化ssi映射在某一组基下的矩阵是对角阵
矩阵可对角化
自同态与其在一组基下的矩阵可对角性质相同

矩阵四个特征元素的定义

定义与性质
0，λ→det(f-λId)
1，度数为维数
2，最高阶系数（-1）^n
3，次高阶系数（-1）^(n-1)*tr(f)
自同态特征多项式 4，常数项 det(f)
可对角化自同态与可对角化矩阵
f的谱等于f特征多项式的解集

特征多项式
定义

三角阵的谱就是对角线上的元素
矩阵特征多项式
自同态与矩阵的约化 转置与本身的特征多项式相同

相似阵的特征多项式相同
一些性质
自同态限制在稳定子空间上的映射的特征多项式整除原特征多项式
分块三角阵的特征多项式等于对角线上子阵的多项式之积
自同态任意特征空间的维数
大于1且小于该空间对应特征值在特征多项式里的幂

以下四个命题等价 推论
f在K中可对角化 f的多项式可完全分解成单根 → f可对角化
可对角化第一判据 全集是所有特征空间的直和
全集维数等于各特征空间的维数之和 设f有唯一一个特征值，则 f可对角化 ssi f关于这个值共线 矩阵同理
f的特征多项式在K中可裂且任意特征空间的维数等于对应特征值的幂

定义
任意t在I中，X'=AX+B 其中X可导，AB连续
定义与柯西利普希兹线性定理
柯西利普希兹线性定理
所有确定初始值的线性微分方程都有唯一的定义在I上的最大解

微分方程的应用 常系数微分方程
解的通用形式
A=Cste

通过对角化进行求解的方法

定义
将一个多项式P复合在一个自同态f上就得到了f的关于P的多项式映射P(f)
称f的所有这样的多项式映射为f的多项式映射集
自同态的
定义好f后，
K[f]是L(E)的可交换子代数
（线性组合稳定，多项式乘与映射复合的群同态，
定义与运算 所有多项式映射对复合可交换）

矩阵的多项式矩阵同理定义

矩阵的 对角阵的多项式矩阵等于对角元素代入多项式的对角阵

性质 相似矩阵的多项式矩阵以相同的过渡矩阵相似

一对可交换矩阵的多项式矩阵可交换

自同态和矩阵的多项式 定义
零化多项式：一个作用在自同态或者矩阵上结果为0的多项式

定理
定理
零化多项式与Cayley-Hamilton定理 f对应一个特征值的特征向量仍然是f的多项式映
f的谱是f零化多项式根集的子集
射对应此特征值多项式取值的特征向量

CH定理
f的特征多项式零化f

定理
可对角化第二判据
对于f，可对角化ssi存在一个可完全分解成单根的零化多项式