定义 6.5.1.
设\(V\)和\(U\)为数域\(\F\)上的两个线性空间，若存在映射\(\varphi : V \to U\)满足
-
\(\varphi\)是双射，
-
\(\varphi\)是线性映射，
则称\(\varphi\)为\(V\)到\(U\)的同构映射。
节 6.5 同构映射与线性空间同构
子节 6.5.1 同构映射
例 6.5.2. 坐标映射是同构映射.
命题 6.5.3.
设\(V\)和\(U\)为数域\(\F\)上的两个线性空间，若\(\varphi : V \to U\)为\(V\)到\(U\)的同构映射，则向量\(\alpha \in V\)在\(V\)中可由向量组\(\alpha_{1}, \ldots, \alpha_{n} \in V\)线性表出当且仅当\(\varphi(\alpha)\)在\(U\)中可由向量组\(\varphi(\alpha_{1}), \ldots, \varphi(\alpha_{n})\)线性表出。
证明.
必要性可由命题6.3.17直接得到。 考虑充分性，设
\begin{equation*}
\varphi(\alpha) = c_{1} \varphi(\alpha_{1}) + \cdots + c_{n} \varphi(\alpha_{n}), c_{1}, \ldots, c_{n} \in \F.
\end{equation*}
由于同构映射\(\varphi\)保持线性运算，有
\begin{equation*}
\varphi(\alpha) = \varphi(c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n}).
\end{equation*}
又因为同构映射\(\varphi\)是单射，必有\(\alpha = c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n}\)。
命题 6.5.4.
设\(V\)和\(U\)为数域\(\F\)上的两个线性空间，若\(\varphi : V \to U\)为\(V\)到\(U\)的同构映射，则向量组\(\alpha_{1}, \ldots, \alpha_{n}\)在\(V\)中线性相关当且仅当\(\varphi(\alpha_{1}), \ldots, \varphi(\alpha_{n})\)在\(U\)中线性相关。
证明.
必要性可由命题6.3.18直接得到。 考虑充分性，设存在非全零系数\(c_{1}, \ldots, c_{n} \in \F\)使得
\begin{equation*}
c_{1} \varphi(\alpha_{1}) + \cdots + c_{n} \varphi(\alpha_{n}) = 0_{U}.
\end{equation*}
应用\(\varphi\)保持线性运算的性质和命题6.3.15可得
\begin{equation*}
\varphi(c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n}) = \varphi(0_{V}).
\end{equation*}
又因为同构映射\(\varphi\)是单射，所以\(c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n} = 0_{V}\)。
此外，子空间直和结构在同构映射下也是等价的。
命题 6.5.5.
设\(V\)和\(U\)为数域\(\F\)上的两个线性空间，\(V_{1}, V_{2} \subseteq V\)分别为\(V\)的两个子空间，若\(\varphi : V \to U\)为\(V\)到\(U\)的同构映射，则\(V_{1} \oplus V_{2}\)当且仅当\(\varphi(V_{1}) \oplus \varphi(V_{2})\)。
证明.
充分性：由命题4.4.22，我们仅需证明\(V_{1} \cap V_{2} = 0\)（此处\(0\)表示零子空间）。设\(\alpha \in V_{1} \cap V_{2}\)，则\(\varphi(\alpha) \in \varphi(V_{1}) \cap \varphi(V_{2})\)。由已知条件\(\varphi(V_{1}) \oplus \varphi(V_{2})\)，我们有\(\varphi(\alpha) = 0_{U} = \varphi(0_{V})\)，其中最后一个等式根据命题6.3.15得到。又因为\(\varphi\)是单射，所以\(\alpha = 0_{V}\)。因此，\(V_{1} \cap V_{2} = 0\)。
必要性：仅需证明\(\varphi(V_{1}) \cap \varphi(V_{2}) = 0\)。设\(\beta \in \varphi(V_{1}) \cap \varphi(V_{2})\)，则存在\(\alpha_{1} \in V_{1}, \alpha_{2} \in V_{2}\)使得\(\varphi(\alpha_{1}) = \varphi(\alpha_{2}) = \beta\)。由于\(\varphi\)保持线性运算，\(\varphi(\alpha_{1} - \alpha_{2}) = 0_{U} = \varphi(0_{V})\)。又因为\(\varphi\)是单射，所以\(\alpha_{1} - \alpha_{2} = 0_{V}\)，即\(\alpha_{1} = \alpha_{2} \in V_{1} \cap V_{2}\)。由已知条件\(V_{1} \oplus V_{2}\)，我们有\(\alpha_{1} = \alpha_{2} = 0_{V}\)，因此\(\beta = \varphi(0_{V}) = 0_{U}\)。
我们注意到，在上述三个命题的证明中，我们其实并未完全用到\(\varphi\)是双射这一强有力的保证，而是仅仅用到了\(\varphi\)是单射。 若是加上\(\varphi\)是满射这一性质，我们可以得到更有趣的结果：线性空间的基在同构映射下也是等价的。
命题 6.5.6.
设\(V\)和\(U\)为数域\(\F\)上的两个线性空间，若\(\varphi : V \to U\)为\(V\)到\(U\)的同构映射，则向量组\((\alpha_{1}, \ldots, \alpha_{n})\)是\(V\)的基当且仅当\((\varphi(\alpha_{1}), \ldots, \varphi(\alpha_{n}))\)是\(U\)的基。
证明.
由命题6.5.4可知，\(\alpha_{1}, \ldots, \alpha_{n} \)线性无关当且仅当\(\varphi(\alpha_{1}), \ldots, \varphi(\alpha_{n})\)线性无关。 因此，由基的定义4.4.11，仅需证明\(\alpha_{1}, \ldots, \alpha_{n}\)可线性表出\(V\)中所有向量当且仅当\(\varphi(\alpha_{1}), \ldots, \varphi(\alpha_{n})\)可线性表出\(U\)中所有向量。
必要性：设\(\beta \in U\)，由于\(\varphi\)是\(V\)到\(U\)的满射，\(\beta\)在\(V\)中存在原像\(\alpha \in V\)使得\(\varphi(\alpha) = \beta\)。又因为\(\alpha_{1}, \ldots, \alpha_{n}\)可线性表出\(V\)中所有向量，所以存在\(c_{1}, \ldots, c_{n} \in \F\)使得
\begin{equation*}
c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n} = \alpha.
\end{equation*}
将保持线性运算的同构映射同时作用于等式两边的向量得
\begin{equation*}
\varphi(c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n}) = c_{1} \varphi(\alpha_{1}) + \cdots + c_{n} \varphi(\alpha_{n}) = \varphi(\alpha) = \beta,
\end{equation*}
即\(\beta\)可由\(\varphi(\alpha_{1}), \ldots, \varphi(\alpha_{n})\)线性表出。
充分性：设\(\alpha \in V\)，由于\(\varphi(\alpha)\)可在\(U\)中由\(\varphi(\alpha_{1}), \ldots, \varphi(\alpha_{n})\)线性表出，存在\(c_{1}, \ldots, c_{n} \in \F\)使得
\begin{equation*}
c_{1} \varphi(\alpha_{1}) + \cdots + c_{n} \varphi(\alpha_{n}) = \varphi(\alpha).
\end{equation*}
由\(\varphi\)保持线性运算的性质及其单射的性质，我们有\(c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n} = \alpha\)。
一个简单的推论是子空间的基和维数在同构映射下也等价。
推论 6.5.7.
设\(\varphi : V \to U\)为线性空间\(V\)到\(U\)的同构映射，\(V' \subseteq V\)是\(V\)的任意子空间，则\(\dim V' = \dim \varphi(V')\)，且\((\alpha_{1}, \ldots, \alpha_{n})\)是\(V'\)的基当且仅当\((\varphi(\alpha_{1}), \ldots, \varphi(\alpha_{n}))\)是\(U\)的子空间\(\varphi(V')\)的基。
子节 6.5.2 线性空间同构
同构映射可以保持线性空间几乎所有的性质。特别地，当两个线性空间之间存在同构映射时，它们从线性代数的本质上来说是一样的。
定义 6.5.8.
可以验证线性空间的同构关系是一个等价关系，满足：
-
自反性：\(V \cong V\)；
因此，同构关系将线性空间划分为不同的等价类。同一个等价类中的线性空间有什么共同特点呢？ 下面的定理是本节中关于线性空间同构理论的最主要结论，它表明线性空间的维数是同构等价类中最核心的等价不变量。
定理 6.5.9.
证明.
必要性：若\(V\)与\(U\)同构，则存在从\(V\)到\(U\)的同构映射\(\varphi\)，由命题6.5.6可知，\(\varphi\)将\(V\)的一组基映射成\(U\)的一组基，因此\(V\)与\(U\)维数相同。
充分性：设\(\dim V = \dim U = n\)，令\((\alpha_{1}, \ldots, \alpha_{n}) \in V\)为\(V\)的基，\((\beta_{1}, \ldots, \beta_{n}) \in U\)为\(U\)的基。由于\((\alpha_{1}, \ldots, \alpha_{n})\)是\(V\)的基，任意\(\alpha \in V\)可由该组基唯一地线性表示为\(\alpha = c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n}\)，其中\(c_{1}, \ldots, c_{n} \in \F\)。我们定义\(V\)到\(U\)的映射\(\varphi\)如下：
\begin{equation*}
\varphi(\alpha) := c_{1} \beta_{1} + \cdots + c_{n} \beta_{n}, \quad \forall \alpha = c_{1} \alpha_{1} + \cdots + c_{n} \alpha_{n} \in V.
\end{equation*}
下面证明\(\varphi\)是\(V\)到\(U\)的同构映射。首先说明\(\varphi\)是单射。对于任意\(\gamma_{1}, \gamma_{2} \in V\)，设
\begin{equation*}
\gamma_{1} = a_{1} \alpha_{1} + \cdots + a_{n} \alpha_{n},
\end{equation*}
\begin{equation*}
\gamma_{2} = b_{1} \alpha_{1} + \cdots + b_{n} \alpha_{n},
\end{equation*}
其中\(a_{1}, \ldots, a_{n}, b_{1}, \ldots, b_{n} \in \F\)。 若\(\varphi(\gamma_{1}) = \varphi(\gamma_{2})\)，由\(\varphi\)的定义有
\begin{align*}
\amp a_{1} \beta_{1} + \cdots + a_{n} \beta_{n} = b_{1} \beta_{1} + \cdots + b_{n} \beta_{n}\\
\quad \iff \quad \amp (a_{1} - b_{1}) \beta_{1} + \cdots + (a_{n} - b_{n}) \beta_{n} = 0.
\end{align*}
又因为\(\beta_{1}, \ldots, \beta_{n}\)线性无关，所以\(a_{i} = b_{i}, \forall i=1,\ldots,n\)，即\(\gamma_{1}=\gamma_{2}\)。因此，\(\varphi\)是单射。
接下来，说明\(\varphi\)是满射。设\(\beta\)为\(U\)中任一向量，由于\((\beta_{1}, \ldots, \beta_{n})\)是\(U\)的基，存在唯一一组\(d_{1}, \ldots, d_{n} \in \F\)使得
\begin{equation*}
\beta = d_{1} \beta_{1} + \cdots + d_{n} \beta_{n}.
\end{equation*}
我们令\(\alpha= d_{1} \alpha_{1} + \cdots + d_{n} \alpha_{n} \in V\)，由\(\varphi\)的定义可知\(\varphi(\alpha) = \beta\)，即\(\beta\)可在\(V\)中找到\(\varphi\)下的原像。由\(\beta\)的任意性，\(\varphi\)是满射。
最后，我们说明\(\varphi\)保持线性运算。对于任意\(\gamma_{1}, \gamma_{2} \in V\)，设
\begin{equation*}
\gamma_{1} = a_{1} \alpha_{1} + \cdots + a_{n} \alpha_{n}, \quad \gamma_{2} = a'_{1} \alpha_{1} + \cdots + a'_{n} \alpha_{n}.
\end{equation*}
考虑任意\(c_{1}, c_{2} \in \F\)，根据\(\varphi\)的定义，我们有
\begin{align*}
\varphi(c_{1} \gamma_{1} + c_{2} \gamma_{2}) \amp =\varphi( (c_{1} a_{1} + c_{2} a'_{1}) \alpha_{1} + \cdots + (c_{1} a_{n} + c_{2} a'_{n}) \alpha_{n} ) \\
\amp = (c_{1} a_{1} + c_{2} a'_{1}) \beta_{1} + \cdots + (c_{1} a_{n} + c_{2} a'_{n}) \beta_{n}.
\end{align*}
结合\(U\)中加法和数乘的性质以及\(\varphi\)的定义可得，
\begin{align*}
\varphi(c_{1} \gamma_{1} + c_{2} \gamma_{2})\amp = c_{1} (a_{1} \beta_{1} + \cdots + a_{n} \beta_{n}) + c_{2} (a'_{1} \beta_{1} + \cdots + a'_{n} \beta_{n}) \\
\amp = c_{1} \varphi(\gamma_{1}) + c_{2} \varphi(\gamma_{2}).
\end{align*}
根据命题6.3.13，\(\varphi\)保持线性运算。
推论 6.5.10.
练习 6.5.3 练习
基础题.
1.
设\((\xi_{1}, \ldots, \xi_{n})\)是线性空间\(V\)的一个基，\(\varphi: V \to V\)是\(V\)上的线性变换，证明：\(\varphi\)是双射当且仅当\(\varphi(\xi_{1}), \ldots, \varphi(\xi_{n})\)线性无关。
2.
设\(\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*}
3.
设\(A \in \F^{n \times n}\)是可逆矩阵，定义\(\varphi_{A}: \F^{n} \to \F^{n}, \alpha \mapsto A \alpha\)，证明：\(\varphi_{A}\)是同构映射。
4.
考虑习题6.1.5.4中的\(\R\)上的线性空间
\begin{equation*}
C = \left\{ \begin{pmatrix}a & b \\ -b & a\end{pmatrix} \middle| a, b \in \R \right\}.
\end{equation*}
证明：\(C\)与\(\C\)同构，并写出\(C\)到\(\C\)的一个同构映射。
5.
\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}\)的一个同构映射。
提高题.
6.
设有矩阵\(A \in \F^{n \times n}\)，令\(M = \{ A B \mid B \in \F^{n \times n}\} \subseteq \F^{n \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\)的一个同构映射。
8.
设\(V,V'\)都是\(n\)维线性空间，\(\varphi\)是\(V\)到\(V'\)的线性映射，证明：\(\varphi\)是单射当且仅当\(\varphi\)是满射。（换言之，对于两个维数相同的线性空间之间的线性映射，我们仅需要单射或满射条件就能保证它是同构映射）
