不变子空间

对于不可对角化的矩阵，我们也希望有一个类似对角化的解剖刀，把矩阵割成互不干扰的片段，好让我们清晰地看到结构。例如特征子空间，彼此互不干扰，又作为子空间封闭。

我们希望从这样的空间抽象出一种相对普适的子空间，也就是所谓不变子空间：

设，是的子空间。若，则称是 -（不变）子空间。例如，，以及，还有广义特征子空间。

性质

回忆起之前，我们证明过两个可对角化的矩阵如果可交换，他们可以同时对角化，这实际上蕴藏了更深一些的东西。

若线性变换可以交换，那么都是不变子空间。

设

考虑则，故。考虑，则。

此外，还有一些简单的线性关系。

不变子空间的交、和还是不变子空间

设是的不变子空间。

取，那么，作用一下得到，由条件还在原空间，故。取，那么，同理，所以。

限制变换

那么，要拆解线性变换，我们就可以考虑线性变换在不变子空间上的作用，我们做所谓的限制变换，也就是把线性变换的定义域限制缩小到不变子空间上。

于是就会得到非常美丽的分块的形式。那么我们可以进一步地考虑这两个矩阵都蕴含了什么。

我们把叫做诱导矩阵，它诱导了上的线性变换。

当把商掉，我们也就只剩下了，所以对应的映射也就是直接乘。

这样也就得到一个局部作用的矩阵，和全局的线性变换有什么联系呢？

限制在不变子空间的限制变换的特征多项式整除原变换的特征多项式

好，那么既然不变子空间这么好，我们怎么找呢？之前提到特征子空间是不变子空间，那我也只能求出特征向量，万一不可对角化要如何找到广义特征子空间的基呢，一个想法是再乘乘，这样的话对于原来的已经在中的，我们再乘一个之后也就到了一次因式的核中，因为由结合律也就是。类比这样的想法，我们有所谓循环子空间的思考。

循环子空间

设是 -线性空间上的线性变换，。考察作用下与相关的向量。

此时必存在整数，使得

线性无关而

线性相关。那么注意到这样的形式，如果我们再用去作用，自然也是类似的形式，对于更高的幂次总可由线性相关而得到一个被低幂次组合表示的结果，所以我们就构造了一个不变子空间。

对上述的线性相关，有，使得

记，则有

是包含的最小 -子空间，称为由生成的 -循环子空间。

若，称为强循环子空间。从这里，实际上我们可以轻松地证明 Hamilton Cayley 定理，我们先考虑这样一个引理。

限制变换在下的矩阵 $ B

其中 为 Frobenius 矩阵。的特征多项式为：

神奇的事情发生了，这恰好是零化多项式，而由于零化多项式必定有特征值为根，所以这就是最小多项式。这个系数就是从零化多项式抄来的。

也就是说，我们限制在这个循环子空间的特征多项式能让矩阵零化！

Hamilton Cayley 定理

我们由限制变换的特征多项式整除原来的特征多项式，不妨设是限制变换的特征多项式，是原来的特征多项式，就有，代入 (环同构) 就有，让这个对应的循环子空间，那么就得到等式等于。

换句话说，，这说明说明张成，那也只有可能。这也就是所谓 Hamilton Cayley 定理，矩阵的特征多项式是矩阵的零化多项式。

可以看到，并不需要什么伴随矩阵，构造一坨莫名其妙的东西然后进行莫名其妙的运算，这是结构倒逼的必然的结果。

得到零化多项式，我们说过，也就得到了全空间的分解，而且这个分解相当细致。

根子空间分解

若的特征多项式在域上有分解：

由 Hamilton Cayley 定理，则

其中

称为的根子空间 (Generalized Eigenspace)。

但是我们可以想想，也许这些根子空间有一定的冗余，我们并不需要这么高的次数就可以让零化。

最小多项式

1. 最小多项式的概念

在线性变换的所有零化多项式中，次数最小且首一的多项式称为的最小多项式，记为或。

知道，就掌握了的所有零化多项式。

2. 最小多项式的性质

命题 1：设。则

当且仅当 - 证明思路：设，其中。

则。由此推出。
推论：的最小多项式唯一；整除的特征多项式。

命题 2：若是的特征值，则。

证明：若是的特征值，则存在，使得。
于是。

3. 最小多项式与特征多项式的关系

小结：若的特征多项式在上有分解

则最小多项式的因式分解为

其中。

4. 最小多项式判定对角化

判定准则：

设是 -线性空间，。则可对角化，当且仅当的最小多项式在上能完全分解且无重根，即：

其中是互异的特征值。

证明：

在域上可对角化，即：

（是互异的特征值）（互素性）

是次数最小的零化多项式，即。

5.最小多项式决定的结构的最小多项式决定的结构：

首先，构成 -线性空间的基，这里。
其次，映射 $\sigma : K[x] \to K[\mathcal{A}]

是环的满同态，为的全体倍式。

故剩余类环。

6.最小多项式不随数域扩张改变

首先当然扩张完还是零化多项式。

然后证明扩张不会让零化多项式次数降低。

设构成的基，其中。

这说明在视角下，这个算子是线性无关的。
线性无关是一个“硬”性质。如果一组向量在小域上无关，它们在大域上依然无关。
因此，在上，这个算子也必须是线性无关的。
既然它们无关，那么任何次数小于的多项式（即这些算子的线性组合）就不可能等于。

主分解定理

设是上的线性变换，其最小多项式 在域上分解为：

则全空间可以唯一地分解为的根子空间直和：

当幂次达到后，再增加幂次（如），的维数将不再增长。这个稳定的空间就是的根子空间。

这就是为什么要学多项式环，多项式的因子决定了空间的子块。同时这正好是投影：

记则故存在

使得

令，则是向的正则投影，保持中的向量点点不动，同时将其余的都变为 - 在上：

任何 $\alpha \in V_i $ 都满足 $(\mathcal{A} - \lambda_i I)^{r_i} \alpha = 0 $，即 $ f_i(\mathcal{A})\alpha = 0 $。

回到定义式：$\mathcal{P}_i = I - u_i(\mathcal{A})f_i(\mathcal{A})$。

作用于 $\alpha $ 时：$\mathcal{P}_i \alpha = I\alpha - u_i(\mathcal{A})(0) = \alpha $。

这解释了为什么它 **“保持 $ V_i $ 中的向量点点不动”**。

在上：

任何满足。由于包含了除以外所有的因子，所以必然是的因式。

因此。

由于，作用于时：。

这解释了为什么它 “将其余的都变为 0”。

这给出的分解对不变子空间也成立：

定理： 设是线性变换的根子空间分解。

则任意 -子空间都有不变子空间分解

故 -子空间的计算可归结为根子空间中 -子空间的计算。

证：设是向所做的投影变换，将其余都变为，则如前可写成的多项式。

故是的不变子空间，.

对任意，有

其中。于是

反方向包含关系，直和关系显然。