Jordan标准形5——Jordan标准形的由来

本篇内容摘自 The Linear Algebra a Beginning Graduate Student Ought to Know (Second Edition) P276

对于线性空间 $V$上的线性变换 $\alpha$ 和向量 $v$, 我们给出空间 $V$ 上由 $\alpha$ 和 $v$ 定义的 Krylov subspace 的定义, 显然其是不变子空间

当定义中的 $v_0$ 取特征向量时, Krylov subspace 为一维向量空间, 反之也成立


$\alpha$ 是线性空间 $V$ 上阶数为 $k$ 的幂零变换, 则存在由 $\alpha$ 和 $V$ 上的某个向量 $\omega$ 确定的 Krylov subspace $F[\alpha ]\omega$, 其维数为 $k$ .

证明请见：Jordan标准形(番外篇)——Jordan矩阵的由来篇定理证明补充1

在定理13.2的基础上进一步证明 Krylov subspace $F[\alpha ]\omega$ 的补空间在 $\alpha$ 下是不变子空间

证明请见：Jordan标准形(番外篇)——Jordan矩阵的由来篇定理证明补充2

在定理13.4中我们证明: 对于线性空间$V$上的幂零变换$\alpha$, 线性空间 $V$ 可以写成若干个由 $\alpha$ 和$V$中某个向量定义的 Krylov subspace 的直和的形式.
根据博客 Jordan标准形(番外篇)——不可对角化的线性变换和线性空间的关系，提取每个 Krylov subspace 的基, 构成线性空间 $V$ 的一组基, $\alpha$ 在这组基下的矩阵可以写成分块对角阵, 可以验证, 每个分块对角阵都是主对角元为0的Jordan块.

下面我们定义线性变换特征值对应的广义特征向量

证明每个特征值对应的广义特征向量, 加上0向量, 构成一个线性子空间, 称为广义特征空间.

向量 $v$ 是特征值 $c$ 对应的一个阶数为 $k$ 的广义特征向量, 证明由线性变换 $\alpha -c{\sigma }_1$ 和向量 $v$ 定义的 Krylov subspace 是 $k$ 维的.

下面我们证明: $\alpha$是线性空间$V$上的线性变换(不再要求是幂零变换), 在某一组基下的矩阵是$X$, 其特征值为 { c 1 , … , c m } \{c_{1},\dots,c_{m}\} {c1​,…,cm​}, 可以证明, $V$ 可以写成每个特征值对应的广义特征子空间的直和的形式.
根据博客 Jordan标准形(番外篇)——不可对角化的线性变换和线性空间的关系 存在一组基, 使得$V$在这组基下的矩阵为分块对角阵, 可以证明, 可以找到一组基, 使得每个块为主对角元素为各个特征值的Jordan块.

文中涉及的一些概念：
1）

2）

3）

4）

5）

6）

7）

8）