主要内容

高等代数教学辅导

7.2 不变子空间

建设中!

练习 练习

基础题.

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\)