高等代数(七)-线性变换07：不变子空间

$\S 7$ 不变子空间
这一节我们再来介绍一个关于线性变换的重要概念一一不变子空间.
同时利用不变子空间的概念,
来说明线性变换的矩阵的化简与线性变换的内在联系. 这样,
对上面的结果可以有进一步的了解.
定义 7 设 $\mathcal{A}$ 是数域 $P$ 上线性空间 $V$ 的线性变换, $W$ 是 $V$
的子空间. 如果 $W$ 中的向量在 $\mathcal{A}$ 下的像仍在 $W$ 中, 换句话说,
对于 $W$ 中主一向量 $\xi$, 有 $\mathcal{A}\xi \in W$, 我们就称 $W$ 是
$\mathbb{A}$ 的不变子空间,简称 $\mathcal{A}-$ 子空间。
例 1 整个空间 $V$ 和零子空间 { 0 } \{0\} { 0}, 对于每个线性变换 $\mathcal{A}$
来说都是 $\mathcal{A}-$ 子空间.
例 $2\mathcal{A}$ 的值域与核都是 $\mathcal{A}$-子空间.
按定义, $\mathcal{A}$ 的值域 $\mathcal{A}V$ 是 $V$ 中的向量在
$\mathcal{A}$ 下的像的集合, 它当然也包含 $\mathcal{A}V$ 中向量的像.所以
$\mathcal{A}V$ 是 $\mathcal{A}$ 的不变子空间.
$\mathcal{A}$ 的核是被 $\mathcal{A}$ 变成零的向量的集合,
核中向量的像是零, 自然在核中,因此核是不变子空间.
例 3 若线性变换 $\mathcal{A}$ 与 $\mathcal{B}$ 是可交换的,则
$\mathcal{B}$ 的核与值域都是 $\mathcal{A}-$ 子空间.
在 $\mathcal{B}$ 的核 $V_0$ 中任取一向量 $\xi$, 则
$$\mathcal{B}(\mathcal{A}\xi )=(\mathcal{BA})\xi =(\mathcal{AB})\mathbf{\xi }=\mathcal{A}(\mathcal{B}\mathbf{\xi })=\mathcal{A}0=0.$$
所以 $\mathcal{A}\xi$ 在 $\mathcal{B}$ 下的像是零, 即
$\mathcal{A}\xi \in V_0$. 这就证明了 $V_0$ 是 $\mathcal{A}$-子空间.
在 $\mathcal{B}$ 的值域 $\mathcal{B}V$ 中任取一向量
$\mathcal{B}\mathbf{\eta }$, 则
$$\mathcal{A}(\mathcal{B}\mathbf{\eta })=\mathcal{B}(\mathcal{A}\mathbf{\eta })\in \mathcal{B}V.$$
因此 $\mathcal{B}V$ 也是 $\mathcal{A}$-子空间.
因为 $\mathcal{A}$ 的多项式 $f(\mathcal{A})$ 是和 $\mathcal{A}$
可交换的, 所以 $f(\mathcal{A})$ 的值域与核都是 $\mathcal{A}$-子空间.
这种 $\mathcal{A}$-子空间是经常碰到的.
例 4 任何一个子空间都是数乘变换的不变子空间.
这是由于,按定义子空间对于数量乘法是封闭的.
特征向量与一维不变子空间之间有着紧密的关系. 设 $W$ 是一维
$\mathcal{A}$-子空间, $\mathbf{\xi }$ 是 $W$中任何一个非零向量,
它构成 $W$ 的基. 按 $\mathcal{A}$-子空间的定义, $\mathcal{A}\xi \in W$,
它必定是 $\xi$ 的一个倍数, 即
$$s\xi ={\lambda }_0\xi \text{. }$$
这说明 $\xi$ 是 $\mathcal{A}$ 的特征向量，而 $W$ 即是由 $\xi$ 生成的一维
$\mathcal{A}$-子空间.
反过来, 设 $\xi$ 是 $\mathcal{A}$ 風于特征值 ${\lambda }_0$
的一个特征向量, 则 $\xi$ 以及它的任一倍数在 $\mathcal{A}$ 下的像是原像的
${\lambda }_0$ 倍, 仍旧是 $\xi$ 的一个倍数. 这说明 $\xi$
的倍数构成一个一维 $\mathcal{A}-$ 子空间.
显然, $\mathcal{A}$ 的属于特征值 ${\lambda }_0$ 的特征子空间
$V_{{\lambda }_0}$ 也是 $\mathcal{A}-$ 子空间.
我们指出, $\mathcal{A}$-子空间的和与交还是 $\mathcal{A}$-子空间.
设 $\mathcal{A}$ 是线性空间 $V$ 的线性变换, $W$ 是 $\mathcal{A}-$
子空间. 由于 $W$ 中向量在 $\mathcal{A}$ 下的像仍在 $W$中,
这就使得有可能不必在整个空间 $V$ 中来考虑 $\mathcal{A}$,
而只在不变子空间 $W$ 中考虑 $\mathcal{A}$, 即把 $\mathcal{A}$ 看成是 $W$
的一个线性变换,称为 $\mathcal{A}$ 在不变子空间 $W$ 上引起的变换.
为了区别起见,我们用符号 $\mathcal{A}\mid W$ 来表示它;
但是在很多情况下,仍然可用 $\mathcal{A}$ 来表示而不致引起混淆.
必须在概念上弄清楚 $\mathcal{A}$ 和 $\mathcal{A}\mid W$ 的异同:
$\mathcal{A}$ 是 $V$ 的线性变换, $V$ 中每个向量在 $\mathcal{A}$
下都有确定的像; $\mathcal{A}\mid W$ 是不变子空间 $W$ 上的线性变换,对于
$W$ 中任一向量 $\xi$,有
$$(\mathcal{A}\mid W)\xi =\mathcal{A}\xi \text{. }$$
但是对于 $V$ 中不属于 $W$ 的向量 $\mathbf{\eta }$ 来说,
$(\mathcal{A}\mid W)\mathbf{\eta }$ 是没有意义的.
例如, 任一线性变换在它的核上引起的变换就是零变换, 而在特征子空间
$V_{{\lambda }_0}$ 上引起的变换是数乘变换 ${\lambda }_0$.
不难看出, 如果线性空间 $V$ 的子空间 $W$ 是由向量组
${\alpha }_1,{\alpha }_2,\cdots ,\alpha$, 生成的, 即 $W=$
$L\left({\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_1\right)$,
则 $W$ 是 $\mathcal{A}$-子空间的充分必要条件为
$\mathcal{A}{\mathbf{\alpha }}_1,\mathcal{A}{\mathbf{\alpha }}_2,\cdots ,\mathcal{A}{\mathbf{\alpha }}_1$
全属于 $W$. 必要性是显然的. 现在来证充分性. 如果
$\mathcal{A}{\mathbf{\alpha }}_1,\mathcal{A}{\mathbf{\alpha }}_2$