主要内容

高等代数教学辅导

6.5 同构映射与线性空间同构

子节 6.5.1 基础知识回顾

6.5.3. 坐标映射是同构映射.

\(V\)\(n\)维线性空间,\((\xi_{1}, \ldots, \xi_{n})\)\(V\)的一组基。在第6.2节中,我们看到\(V\)中向量到其在\((\xi_{1}, \ldots, \xi_{n})\)下的坐标的映射是双射(命题6.2.3),且是线性映射(定理6.2.4)。因此,坐标映射是从线性空间\(V\)到线性空间\(\F^{n}\)的同构映射。

练习 6.5.2 练习

基础题.

1.
\(\varphi\)是从线性空间\(V\)到线性空间\(U\)的同构映射,证明:\(\varphi^{-1}\)是从\(U\)\(V\)的同构映射。
解答.
由于\(\varphi\)是同构映射,因此\(\varphi\)可逆,且其逆映射\(\varphi^{-1}\)也可逆。根据定理6.3.1,可逆映射\(\varphi^{-1}\)是双射。因此,我们仅需验证\(\varphi^{-1}\)依然是线性映射。
考虑任意\(\beta_{1}, \beta_{2} \in U\),由于\(\varphi\)\(V\)\(U\)的双射且\(\varphi^{-1}\)是从\(U\)\(V\)的双射,因此存在唯一的\(\alpha_{1} \in V\)\(\alpha_{2} \in V\)使得
\begin{equation*} \varphi(\alpha_{1}) = \beta_{1} \quad \text{且}\quad \varphi(\alpha_{2}) = \beta_{2}. \end{equation*}
因此,对于任意的\(c_{1}, c_{2} \in \F\)
\begin{equation*} \varphi^{-1}(c_{1} \beta_{1} + c_{2} \beta_{2}) = \varphi^{-1}(c_{1} \varphi(\alpha_{1}) + c_{2} \varphi(\alpha_{2}) ). \end{equation*}
同时,由于\(\varphi\)是线性映射,故
\begin{equation*} \varphi^{-1}(c_{1} \beta_{1} + c_{2} \beta_{2}) = \varphi^{-1}( \varphi(c_{1} \alpha_{1} + c_{2} \alpha_{2}) ) = c_{1} \alpha_{1} + c_{2} \alpha_{2}. \end{equation*}
又因为
\begin{equation*} \alpha_{1} = \varphi^{-1}(\varphi(\alpha_{1})) = \varphi^{-1}(\beta_{1})~~\text{且}~~ \alpha_{2} = \varphi^{-1}(\varphi(\alpha_{2})) = \varphi^{-1}(\beta_{2}), \end{equation*}
所以,\(\varphi^{-1}\)保持线性运算:
\begin{equation*} \varphi^{-1}(c_{1} \beta_{1} + c_{2} \beta_{2}) = c_{1} \varphi^{-1}(\beta_{1}) + c_{2} \varphi^{-1}(\beta_{2}). \end{equation*}
根据命题6.3.2\(\varphi^{-1}\)是线性映射。
综上,\(\varphi^{-1}\)\(U\)\(V\)的同构映射。
2.
\((\xi_{1}, \ldots, \xi_{n})\)是线性空间\(V\)的一个基,\(\varphi: V \to V\)\(V\)上的线性变换,证明:\(\varphi\)是双射当且仅当\(\varphi(\xi_{1}), \ldots, \varphi(\xi_{n})\)线性无关。
解答.
先证必要性:设\(\varphi\)是双射,则\(\varphi\)是可逆线性变换。假设存在标量\(c_{1}, \ldots, c_{n}\)使得
\begin{equation*} c_{1} \varphi(\xi_{1}) + \cdots + c_{n} \varphi(\xi_{n}) = 0. \end{equation*}
由于\(\varphi\)是线性的,上式等价于\(\varphi(c_{1} \xi_{1} + \cdots + c_{n} \xi_{n}) = 0\)。因为\(\varphi\)是单射(双射蕴含单射),所以\(c_{1} \xi_{1} + \cdots + c_{n} \xi_{n} = 0\)。而\(\xi_{1}, \ldots, \xi_{n}\)是基,故线性无关,于是\(c_{1} = \cdots = c_{n} = 0\)。因此\(\varphi(\xi_{1}), \ldots, \varphi(\xi_{n})\)线性无关。
再证充分性:设\(\varphi(\xi_{1}), \ldots, \varphi(\xi_{n})\)线性无关。因为\(\dim V = n\),所以\(\varphi(\xi_{1}), \ldots, \varphi(\xi_{n})\)也是\(V\)的一个基。对任意\(\alpha \in V\),存在唯一标量\(a_{1}, \ldots, a_{n}\)使得\(\alpha = a_{1} \varphi(\xi_{1}) + \cdots + a_{n} \varphi(\xi_{n})\)。定义映射\(\psi: V \to V\)\(\psi(\alpha) = a_{1} \xi_{1} + \cdots + a_{n} \xi_{n}\),则易验证\(\psi\)是线性映射,且\(\psi \varphi = \varphi \psi ={\rm id}_{V}\),故\(\varphi\)可逆,从而是双射。
3.
\(\varphi\)是从线性空间\(V\)\(U\)的同构映射,\(V_{1}, V_{2}\)\(V\)的子空间,证明:
\begin{equation*} \varphi(V_{1} + V_{2}) = \varphi(V_{1}) + \varphi(V_{2}) \quad \text{且}\quad \varphi(V_{1} \cap V_{2}) = \varphi(V_{1}) \cap \varphi(V_{2}). \end{equation*}
解答.
先证第一个等式。任取\(\beta \in \varphi(V_{1} + V_{2})\),则存在\(\alpha \in V_{1} + V_{2}\)使得\(\beta = \varphi(\alpha)\)。由\(V_{1} + V_{2}\)的定义,存在\(\alpha_{1} \in V_{1}, \alpha_{2} \in V_{2}\)使得\(\alpha = \alpha_{1} + \alpha_{2}\)。于是\(\beta = \varphi(\alpha_{1} + \alpha_{2}) = \varphi(\alpha_{1}) + \varphi(\alpha_{2}) \in \varphi(V_{1}) + \varphi(V_{2})\)
反之,任取\(\beta \in \varphi(V_{1}) + \varphi(V_{2})\),则存在\(\beta_{1} \in \varphi(V_{1}), \beta_{2} \in \varphi(V_{2})\)使得\(\beta = \beta_{1} + \beta_{2}\)。由定义,存在\(\alpha_{1} \in V_{1}, \alpha_{2} \in V_{2}\)使得\(\beta_{1} = \varphi(\alpha_{1}), \beta_{2} = \varphi(\alpha_{2})\)。于是\(\beta = \varphi(\alpha_{1}) + \varphi(\alpha_{2}) = \varphi(\alpha_{1} + \alpha_{2})\),而\(\alpha_{1} + \alpha_{2} \in V_{1} + V_{2}\),故\(\beta \in \varphi(V_{1} + V_{2})\)。所以\(\varphi(V_{1} + V_{2}) = \varphi(V_{1}) + \varphi(V_{2})\)
再证第二个等式。任取\(\beta \in \varphi(V_{1} \cap V_{2})\),则存在\(\alpha \in V_{1} \cap V_{2}\)使得\(\beta = \varphi(\alpha)\)。由于\(\alpha \in V_{1}\)\(\alpha \in V_{2}\),所以\(\beta = \varphi(\alpha) \in \varphi(V_{1})\)\(\beta \in \varphi(V_{2})\),即\(\beta \in \varphi(V_{1}) \cap \varphi(V_{2})\)
反之,任取\(\beta \in \varphi(V_{1}) \cap \varphi(V_{2})\),则\(\beta \in \varphi(V_{1})\)\(\beta \in \varphi(V_{2})\)。存在\(\alpha_{1} \in V_{1}\)使得\(\beta = \varphi(\alpha_{1})\),也存在\(\alpha_{2} \in V_{2}\)使得\(\beta = \varphi(\alpha_{2})\)。于是\(\varphi(\alpha_{1}) = \varphi(\alpha_{2})\),由\(\varphi\)是单射(同构映射是双射)得\(\alpha_{1} = \alpha_{2}\),记\(\alpha = \alpha_{1} = \alpha_{2}\),则\(\alpha \in V_{1} \cap V_{2}\),且\(\beta = \varphi(\alpha) \in \varphi(V_{1} \cap V_{2})\)。所以\(\varphi(V_{1} \cap V_{2}) = \varphi(V_{1}) \cap \varphi(V_{2})\)
4.
\(A \in \F^{n \times n}\)是可逆矩阵,定义\(\varphi_{A}: \F^{n} \to \F^{n}, \alpha \mapsto A \alpha\),证明:\(\varphi_{A}\)是同构映射。
解答.
首先,\(\varphi_{A}\)是线性映射:对任意\(\alpha, \beta \in \F^{n}\)\(c \in \F\),有
\begin{equation*} \varphi_{A}(\alpha + \beta) = A(\alpha + \beta) = A\alpha + A\beta = \varphi_{A}(\alpha) + \varphi_{A}(\beta), \end{equation*}
\begin{equation*} \varphi_{A}(c\alpha) = A(c\alpha) = c(A\alpha) = c \varphi_{A}(\alpha). \end{equation*}
其次,由于\(A\)可逆,定义映射\(\psi: \F^{n} \to \F^{n}\)\(\psi(\alpha) = A^{-1}\alpha\),则\(\psi\)也是线性映射,且对任意\(\alpha \in \F^{n}\)
\begin{equation*} (\psi \varphi_{A})(\alpha) = \psi(A\alpha) = A^{-1}(A\alpha) = \alpha, \end{equation*}
\begin{equation*} (\varphi_{A} \psi)(\alpha) = \varphi_{A}(A^{-1}\alpha) = A(A^{-1}\alpha) = \alpha. \end{equation*}
所以,\(\psi \varphi_{A} = \varphi_{A} \psi ={\rm id}_{\F^n}\)。因此\(\varphi_{A}\)是可逆线性映射,从而是同构映射。
5.
考虑第6.1.2节的习题6.1.2.5中的\(\R\)上的线性空间
\begin{equation*} H = \left\{ \begin{pmatrix}\alpha & \beta \\ -\overline{\beta} & \overline{\alpha}\end{pmatrix} \middle| \alpha, \beta \in \C \right\}. \end{equation*}
证明:\(H\)\(\R^{4}\)同构,并写出\(H\)\(\R^{4}\)的一个同构映射。
解答.
\(\alpha = a + b {\rm i}, \beta = c + d {\rm i}\),其中\(a,b,c,d \in \R\),则
\begin{align*} \begin{pmatrix}\alpha & \beta \\ -\overline{\beta} & \overline{\alpha}\end{pmatrix} \amp = \begin{pmatrix}a+b{\rm i}&c+d{\rm i} \\ -c+d{\rm i}&a-b{\rm i}\end{pmatrix} \\ \amp = a \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} + b \begin{pmatrix}{\rm i} & 0 \\ 0 & -{\rm i}\end{pmatrix} + c \begin{pmatrix}0 & 1 \\ -1 & 0\end{pmatrix} + d \begin{pmatrix}0 & {\rm i} \\ {\rm i} & 0\end{pmatrix}. \end{align*}
\begin{equation*} I = \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix},\quad J = \begin{pmatrix}{\rm i} & 0 \\ 0 & -{\rm i}\end{pmatrix},\quad K = \begin{pmatrix}0 & 1 \\ -1 & 0\end{pmatrix},\quad L = \begin{pmatrix}0 & {\rm i} \\ {\rm i} & 0\end{pmatrix}. \end{equation*}
\(I, J, K, L\)\(H\)\(\R\)上的一组基(线性无关且张成\(H\)),故\(\dim_{\R} H = 4\)。根据定理6.5.1或推论6.5.2\(H \cong \R^{4}\)
定义映射\(\varphi: H \to \R^{4}\)
\begin{equation*} \varphi\left( aI + bJ + cK + dL \right) = (a, b, c, d)^{\top}. \end{equation*}
由之前的讨论\((I,J,K,L)\)\(H\)的一个基,因此\(\varphi\)\(H\)中向量到其在\((I,J,K,L)\)下坐标的映射。由例6.5.3\(\varphi\)是同构映射。

提高题.

6.
设有矩阵\(A \in \F^{n \times n}\),令\(M = \{ A B \mid B \in \F^{n \times n}\} \subseteq \F^{n \times n}\)
  1. 证明:\(M\)\(\F^{n \times n}\)的子空间;
  2. \(A\)的秩为\(r(A) = r\),证明:\(M \cong \F^{r \times n}\)
解答.
  1. 显然\(0 = A0 \in M\),故\(M\)非空。对任意\(X,Y \in M\),存在\(B,C \in \F^{n \times n}\)使得\(X = AB\)\(Y = AC\)。则\(X+Y = A(B+C) \in M\)。对任意\(c \in \F\)\(cX = A(cB) \in M\)。所以\(M\)对加法和数乘封闭,从而是\(\F^{n \times n}\)的子空间。
  2. 考虑满秩分解:由于\(r(A)=r\),存在列满秩矩阵\(L \in \F^{n \times r}\)和行满秩矩阵\(R \in \F^{r \times n}\)使得\(A = LR\)。定义映射\(\varphi: \F^{r \times n}\to M\)\(\varphi(C) = LC\)。容易验证\(\varphi\)是线性映射。下面证明\(\varphi\)是同构映射。
    \(\varphi\)是满射:对任意\(X \in M\),存在\(B \in \F^{n \times n}\)使得\(X = AB = LRB\)。令\(C = RB \in \F^{r \times n}\),则\(\varphi(C) = LC = LRB = X\)
    \(\varphi\)是单射:假设存在\(C_{1}, C_{2} \in \F^{r \times n}\)使得\(\varphi(C_{1})= \varphi(C_{2})\),则由\(\varphi\)的线性性有\(\varphi(C_{1} - C_{2}) = L(C_{1} - C_{2}) = 0\)。由于\(L\)列满秩,\(L\)的列线性无关,故\(L(C_{1} - C_{2})=0\)蕴含\(C_{1} - C_{2} = 0\)(以\(C_{1} - C_{2}\)的每一列作为系数对\(L\)的列向量进行线性组合都得到零向量)。所以,\(C_{1} = C_{2}\),即\(\varphi\)是单射。
    所以\(\varphi\)是线性双射,从而\(M \cong \F^{r \times n}\)
7.
\(A,B \in \F^{m \times n}\)满足\(r(A) = r(B)\),设\(U\)\(AX=0\)的解空间,\(W\)\(BX=0\)的解空间,证明:\(U \cong W\),并给出\(U\)\(W\)的一个同构映射。
解答.
\(r(A)=r(B)=r\)。由于秩相等,存在可逆矩阵\(P \in \F^{m \times m}\)\(Q \in \F^{n \times n}\)使得\(B = PAQ\)\(A\)\(B\)相抵)。定义映射\(\varphi: U \to W\)\(\varphi(\alpha) = Q^{-1}\alpha, \forall \alpha \in U\)
  • 首先验证\(\varphi\)良定义:若\(\alpha \in U\),则\(A \alpha=0\)。计算\(B\varphi(\alpha) = B Q^{-1}\alpha = PAQ Q^{-1}\alpha = PA\alpha = P0 = 0\),所以\(\varphi(\alpha) \in W\)
  • \(\varphi\)是线性映射:对任意\(\alpha, \beta \in U\)\(c \in \F\),有\(\varphi(\alpha+\beta)=Q^{-1}(\alpha+\beta)=Q^{-1}\alpha+Q^{-1}\beta=\varphi(\alpha)+\varphi(\beta)\)\(\varphi(c \alpha)=Q^{-1}(c \alpha)=c Q^{-1}\alpha = c\varphi(\alpha)\)
  • \(\varphi\)是单射:若存在\(\alpha, \alpha' \in U\)使得\(\varphi(\alpha)=\varphi(\alpha')\),则\(Q^{-1}(\alpha - \alpha')=0\),故\(\alpha=\alpha'\)。所以\(\varphi\)是单射。
  • \(\varphi\)是满射:对任意\(\beta \in W\),有\(B \beta =0\)。令\(\alpha = Q \beta\),则\(A\alpha = AQ\beta\)。由\(B=PAQ\)\(P\)可逆,\(B\beta=0\)等价于\(AQ\beta=0\),所以\(A\alpha=0\),即\(\alpha \in U\)。且\(\varphi(\alpha)=Q^{-1}\alpha = Q^{-1}Q\beta = \beta\)。所以\(\varphi\)是满射。
因此\(\varphi\)是同构映射,故\(U \cong W\)
8.
\(V,V'\)都是\(n\)维线性空间,\(\varphi\)\(V\)\(V'\)的线性映射,证明:\(\varphi\)是单射当且仅当\(\varphi\)是满射。(换言之,对于两个维数相同的线性空间之间的线性映射,我们仅需要单射或满射条件就能保证它是同构映射)
解答.
先证必要性:设\(\varphi\)是单射。 设\((\xi_{1}, \ldots, \xi_{n})\)\(V\)的一个基,则基向量在\(V\)中线性无关。注意到命题6.5.4的证明中,仅用到了\(\varphi\)是单射的性质,所以其结论在此也适用,即\(\varphi(\xi_{1}), \ldots, \varphi(\xi_{n})\)\(V'\)中也线性无关。又因为\(V'\)的维数是\(n\),所以\((\varphi(\xi_{1}), \ldots, \varphi(\xi_{n}))\)\(V'\)的基。
再证充分性:设\(\varphi\)是满射。设\((\xi_{1}, \ldots, \xi_{n})\)\(V\)的一个基,我们首先证明\((\varphi(\xi_{1}), \ldots, \varphi(\xi_{n}))\)\(V'\)的一个基。
\(\varphi\)是满射,对于任意\(\beta \in V'\),可以找到\(\alpha \in V\)使得\(\varphi(\alpha) = \beta\)。设\(\alpha = c_{1} \xi_{1} + \cdots + c_{n} \xi_{n}\)。则由\(\varphi\)是线性映射可得
\begin{equation*} \beta = \varphi(\alpha) = c_{1} \varphi(\xi_{1}) + \cdots + c_{n} \varphi(\xi_{n}), \end{equation*}
即,任意\(\beta \in V'\)可由\(\varphi(\xi_{1}), \ldots, \varphi(\xi_{n})\)线性表出。因为\(V'\)的维数是\(n\),根据定理4.4.2可知\((\varphi(\xi_{1}), \ldots, \varphi(\xi_{n}))\)\(V'\)的基。
因此,对于任意\(\alpha = \sum_{i=1}^{n} c_{i} \xi_{i}\)\(\alpha' = \sum_{i=1}^{n} c'_{i} \xi_{i}\),若\(\varphi(\alpha) = \varphi(\alpha')\),则因\(\varphi\)是线性映射,所以
\begin{equation*} \sum_{i=1}^{n} c_{i} \varphi(\xi_{i}) = \sum_{i=1}^{n} c'_{i} \varphi(\xi_{i}). \end{equation*}
由于\((\varphi(\xi_{1}), \ldots, \varphi(\xi_{n}))\)\(V'\)的基,任意\(V'\)中向量的表出方式唯一,故\(c_{i} = c'_{i}, \forall i \in [n]\)。所以\(\alpha = \alpha'\)\(\varphi\)是单射。

挑战题.