主要内容

高等代数: 多项式与线性代数

7.2 不变子空间

直观感觉:一个空间的结构越简单,其上的线性变换也会越简单。根据**线性同构基本定理**,数域\(\F\)上有限维线性空间的结构由其维数决定,维数越小的空间结构越简单。在 **第6章内容** 中证明了1维线性空间上的线性映射都可以等同于数乘一个固定常数这种简单的操作,部分验证了这种直观感觉。
本节中,我们将尝试把一个大空间\(V\)上的线性变换\(\phi\)部分限制在\(V\)的子空间上去理解。可以这样的限制的子空间就是我们接下来要讲的不变子空间。

子节 7.2.1 不变子空间的定义与举例

定义 7.2.1.

\(U\)\(V\)的子空间,\(\phi\in \mathcal{L}(V)\),且满足\(\phi(U)\subseteq U\),则称\(U\)\(\phi\)-不变子空间\(\phi\)-子空间
\(\phi\)限制在\(U\)上,导出\(U\)的线性变换,称为\(\phi\)\(U\)上的导出变换 (或称为\(\phi\)\(U\)上的限制变换), 记为\({\color{red}\phi|_U}\)
\(\phi\)\(\phi|_U\)的相同点是在\(U\)上对应法则一样,不同点是\(\phi\)\(V\)的线性变换,而\(\phi|_U\)\(U\)的线性变换。
定义中\(U\)\(\phi\)的不变子空间这个条件必不可少。否则,若\(\phi(U)\not\subseteq U\),即存在\(\alpha\in U\)使得\(\phi(\alpha)\notin U\),此时对应法则\(\phi\)无法限制成为\(U\to U\)的映射,相应地也无法导出\(U\)上的线性变换。
下面是一些具有代表性的不变子空间例子。

7.2.2. 4种普遍的不变子空间.

\(\phi\in \mathcal{L}(V)\),证明下面4种\(V\)的子空间(可以相同)都是\(\phi\)-不变子空间:
  1. 0空间;
  2. \(V\)空间本身;
  3. 像空间\({\rm Im}\phi\)
  4. 核空间\({\rm Ker}\phi\)
解答.
  1. 0空间是\(V\)的子空间,又\(\phi(0)=0\),所以0空间是\(\phi\)-不变子空间。
  2. 因为\(\phi\)\(V\)上线性变换,所以\(\forall\alpha\in V,\phi(\alpha)\in V\),由此推出\(V\)\(\phi\)-不变子空间。
  3. \({\rm Im}\phi\)\(V\)的子空间,又\(\forall\beta\in{\rm Im}\phi\)
    \begin{equation*} \phi(\beta)\in {\rm Im}\phi, \end{equation*}
    因此\({\rm Im}\phi\)\(\phi\)-不变子空间。
  4. \({\rm Ker}\phi\)\(V\)的子空间,又\(\forall\alpha\in{\rm Ker}\phi\)
    \begin{equation*} \phi(\alpha)=0\in {\rm Ker}\phi, \end{equation*}
    因此\({\rm Ker}\phi\)\(\phi\)-不变子空间。
下面的命题从基的角度讨论不变子空间,是一个判断子空间是否是不变子空间的常用方法。

证明.

必要性:因为\(\langle\xi_1,\ldots,\xi_s\rangle\)\(\phi\)-不变子空间且\(\xi_i\in\langle\xi_1,\ldots,\xi_s\rangle\),所以根据定义
\begin{equation*} \phi(\xi_i)\in\langle\xi_1,\ldots,\xi_s\rangle,i=1,\ldots ,s. \end{equation*}
充分性:对任意\(\alpha\in\langle\xi_1,\ldots,\xi_s\rangle\),存在\(a_1,\ldots,a_s\in\F\),使得
\begin{equation*} \alpha=a_1\xi_1+\cdots+a_s\xi_s, \end{equation*}
\begin{equation*} \phi(\alpha)=a_1\phi(\xi_1)+\cdots+a_s\phi(\xi_s). \end{equation*}
由于\(\phi(\xi_i)\in\langle\xi_1,\ldots,\xi_s\rangle,i=1,\ldots ,s\),所以
\begin{equation*} a_1\phi(\xi_1)+\cdots+a_s\phi(\xi_s)\in\langle\xi_1,\ldots,\xi_s\rangle, \end{equation*}
\(\phi(\alpha)\in\langle\xi_1,\ldots,\xi_s\rangle\),由此推出\(\langle\xi_1,\ldots,\xi_s\rangle\)\(\phi\)-不变子空间。

子节 7.2.2 不变子空间与表示矩阵化简

接下来我们从表示矩阵的角度来理解不变子空间及利用这个概念可以带来的好处。
\(\phi\in\mathcal{L}(V)\)\(U\)\(\phi\)-不变子空间。设\((\xi_1,\ldots,\xi_r)\)\(U\)的一个基,将其扩充为\(V\)的一个基\((\xi_1,\ldots,\xi_r,\xi_{r+1},\ldots,\xi_n)\)。注意到\(U\)\(\phi\)-不变子空间,对任意的 \(i=1,\dots, r \)\(\phi(\xi_i)\in U\),则\(\phi(\xi_i)\)\(V\)空间基\((\xi_1,\ldots,\xi_n)\)下坐标的后 \(n-r\)个分量必定为0, 于是\(\phi\)在基\((\xi_1,\ldots,\xi_n)\)下的矩阵有如下的形式:
\begin{equation} \begin{pmatrix} a_{1,1} & \cdots & a_{1,r} & a_{1,r+1} & \cdots & a_{1,n}\\ \vdots &\ddots & \vdots & \vdots & \ddots & \vdots\\ a_{r,1} & \cdots & a_{r,r} & a_{r,r+1} & \cdots & a_{r,n}\\ {\color{red}0} & {\color{red}\cdots} & {\color{red}0} & a_{r+1,r+1} & \cdots & a_{r+1,n}\\ {\color{red}\vdots} &{\color{red}\ddots} & {\color{red}\vdots} & \vdots & \ddots & \vdots\\ {\color{red}0} & {\color{red}\cdots} & {\color{red}0} & a_{n,r+1} & \cdots & a_{n,n}\\ \end{pmatrix}.\tag{7.2.1} \end{equation}
反之,若\(\phi\)在基\((\xi_1,\ldots,\xi_r,\xi_{r+1},\ldots,\xi_n)\)下的矩阵形式为(7.2.1),则\(\langle \xi_1,\ldots,\xi_r\rangle\)也一定是一个\(\phi\)-不变子空间。
进一步地,设\(\phi\)\(n\)维线性空间\(V\)的线性变换,\(V=V_1\oplus V_2\),且\(V_1\)\(V_2\)均是\(\phi\)-不变子空间,取\((\xi_1,\ldots,\xi_r)\)\(V_1\)的基,\((\xi_{r+1},\ldots,\xi_n)\)\(V_2\)的基,则\(\phi\)在基\((\xi_1,\ldots,\xi_r,\xi_{r+1},\ldots,\xi_n)\)下的矩阵必定形如
\begin{equation} \begin{pmatrix} A_1 & 0\\ 0 & A_2 \end{pmatrix}\tag{7.2.2} \end{equation}
其中\(A_1\)\(r\)阶方阵,\(A_2\)\(n-r\)阶方阵。
反之,若\(\phi\)在基\((\xi_1,\ldots,\xi_r,\xi_{r+1},\ldots,\xi_n)\)下的表示矩阵是(7.2.2),令
\begin{equation*} V_1=\langle \xi_1,\ldots,\xi_r\rangle,\ \ V_2=\langle \xi_{r+1},\ldots,\xi_n\rangle , \end{equation*}
\(V_1\)\(V_2\)都是\(\phi\)-子空间,且
\begin{equation*} V = V_1\oplus V_2. \end{equation*}
综合上述讨论,我们有下面一个一般结论。
最后来看一个例子。

7.2.5. 最小不变子空间.

\(\phi\)是线性空间\(V\)上的线性变换,\(0\ne \alpha\in V\)\(k\)为满足 \(\alpha,\phi(\alpha),\dots,\phi^{k-1}(\alpha)\)线性无关的最大整数。记
\begin{equation*} W = \langle \alpha,\phi(\alpha),\dots,\phi^{k-1}(\alpha)\rangle. \end{equation*}
证明\(W\)是包含\(\alpha\)的最小不变子空间,并给出\(\phi_W\)的一个表示矩阵。
解答.
根据不变子空间的定义,包含\(\alpha\)的不变子空间必然包含\(\alpha,\phi(\alpha),\phi^2(\alpha),\dots\)。根据练习 7.1.4.10的结论,\(\alpha,\phi(\alpha),\dots,\phi^{k-1}(\alpha)\)可以线性表出所有的\(\phi^j(\alpha)\),所以\(W\)是包含\(\alpha\)的最小\(\phi\)-不变子空间。
\begin{equation*} \phi^k(\alpha) = c_0 \alpha + c_1\phi(\alpha)+\cdots+ c_{k-1}\phi^{k-1}(\alpha), \end{equation*}
\(\phi|_W\)在基\((\alpha,\phi(\alpha),\dots,\phi^{k-1}(\alpha))\)下的表示矩阵为
\begin{equation*} \begin{pmatrix} 0 & \cdots & 0 & c_0\\ 1 & \ddots &\vdots & c_1\\ & \ddots &0 & \vdots\\ 0 & & 1 & c_{k-1} \end{pmatrix}. \end{equation*}

练习 7.2.3 练习

基础题.

1.
\(\varphi:\mathbb{F}^2\rightarrow\mathbb{F}^2,\ (a,b)^T\mapsto (b,a)^T\),试求所有非平凡的\(\varphi\)-不变子空间。
2.
\(V\)是4维线性空间,\(V\)上线性变换\(\varphi\)在基\(\xi_1,\xi_2,\xi_3,\xi_4\)下的矩阵为
\begin{equation*} \begin{pmatrix} 1&0&2&-1\\ 0&1&4&-2\\ 2&-1&0&1\\ 2&-1&-1&2 \end{pmatrix}, \end{equation*}
  1. 证明:\(U=\langle \xi_1+2 \xi_2, \xi_2+\xi_3+2 \xi_4\rangle\)\(\varphi\)-不变子空间;
  2. \(\varphi|_U\)在基\(\xi_1+2 \xi_2, \xi_2+\xi_3+2 \xi_4\)下的矩阵。

提高题.

3.
\(\varphi\)是数域\(\mathbb{F}\)\(n\)维线性空间\(V\)上的线性变换,取定\(\lambda\in\mathbb{F}\),记
\begin{equation*} V_ \lambda^{(\varphi)}=\{\alpha\in V\ |\ \varphi (\alpha)=\lambda \alpha\}, \end{equation*}
证明:\(V_ \lambda^{(\varphi)}\)\(\varphi\)-不变子空间。
4.
\(\varphi ,\psi\)\(n\)维线性空间\(V\)上线性变换,
  1. \(\varphi\psi=\psi\varphi\),证明:\({\rm Ker}\varphi\)\({\rm Im}\varphi\)都是\(\psi\)-不变子空间;
  2. \(\varphi^2=\varphi\),证明:\({\rm Ker}\varphi\)\({\rm Im}\varphi\)都是\(\psi\)-不变子空间的充分必要条件是\(\varphi\psi=\psi\varphi\)

挑战题.

5.
\(\varphi\)\(n\)维线性空间\(V\)上的线性变换,\(\varphi\)在基\(\xi_1,\xi_2,\cdots ,\xi_n\)下的矩阵是
\begin{equation*} \begin{pmatrix} a&0&0&\cdots&0&0\\ 1&a&0&\cdots&0&0\\ 0&1&a&\cdots&0&0\\ \vdots&\vdots&\vdots&&\vdots&\vdots\\ 0&0&0&\cdots&a&0\\ 0&0&0&\cdots&1&a \end{pmatrix}, \end{equation*}
证明:
  1. \(U\)\(\varphi\)-子空间,且\(\xi_1\in U\),则\(U=V\)
  2. 对于任意非零\(\varphi\)-子空间\(U\),总有\(\xi_n\in U\)
  3. \(V\)不能分解为两个非平凡的\(\varphi\)-子空间的直和;
  4. \(\varphi\)的所有不变子空间。
6.
\(\varphi\)\(n\)维线性空间\(V\)上的线性变换,证明:
  1. \({\rm Ker}\varphi\subseteq{\rm Ker}\varphi^2\subseteq{\rm Ker}\varphi^3\subseteq\cdots\subseteq{\rm Ker}\varphi^n\subseteq\cdots\)
  2. \({\rm Im}\varphi\supseteq{\rm Im}\varphi^2\supseteq{\rm Im}\varphi^3\supseteq\cdots\supseteq{\rm Im}\varphi^n\supseteq\cdots\)
  3. 存在正整数\(s\),使得\({\rm Ker}\varphi^s={\rm Ker}\varphi^{s+1}\)
  4. 存在正整数\(t\),使得\({\rm Im}\varphi^t={\rm Im}\varphi^{t+1}\)
  5. \({\rm Ker}\varphi^s={\rm Ker}\varphi^{s+1}\),则对于任意正整数\(i\),有\({\rm Ker}\varphi^s={\rm Ker}\varphi^{s+i}\)
  6. \({\rm Im}\varphi^t={\rm Im}\varphi^{t+1}\),则对于任意正整数\(i\),有\({\rm Im}\varphi^t={\rm Im}\varphi^{t+i}\)
  7. \({\rm Ker}\varphi^s={\rm Ker}\varphi^{s+1}\)的充分必要条件是\({\rm Im}\varphi^s={\rm Im}\varphi^{s+1}\)
  8. \({\rm Ker}\varphi^s={\rm Ker}\varphi^{s+1}\),那么\(V={\rm Ker}\varphi^s\oplus{\rm Im}\varphi^s\)
7.
\(\varphi\)\(n\)维线性空间\(V\)上的线性变换,满足\(\dim {\rm Im}\varphi^2=\dim{\rm Im}\varphi\),证明:\({\rm Im}\varphi\bigcap{\rm Ker}\varphi=0\)