有限维向量空间同构性证明问询：V与W×V/W同构

我来帮你把这个证明整理得清晰规范，完全贴合你给出的初稿思路，同时补全关键细节和修正疏漏：

整体思路 #

要证明两个有限维向量空间同构，核心是构造一个双射的线性映射（即同构映射）。我们可以借助商空间的投影映射，结合有限维空间的基扩展性质来完成构造。

步骤1：定义商空间投影映射$\pi: V \rightarrow V/W$ #

首先定义标准投影映射：
$$\pi(v) = [v] = v + W \quad \forall v \in V$$

验证$\pi$是线性映射

要确认$\pi$满足线性映射的两个核心条件：

• 加法保持：对任意$a, b \in V$，
  $$\pi(a + b) = (a + b) + W = (a + W) + (b + W) = \pi(a) + \pi(b)$$
• 数乘保持：对任意$k \in K$，$a \in V$，
  $$\pi(ka) = ka + W = k(a + W) = k\pi(a)$$
  因此$\pi$是线性映射。

验证$\pi$是满射

对任意等价类$[v] \in V/W$，显然存在$v \in V$使得$\pi(v) = [v]$，所以$\pi$是满射。

注意：$\pi$不是单射——它的核$\ker(\pi) = W$，只有当$W = {0}$时$\pi$才是单射，这一点你的初稿表述有误，需要修正。

步骤2：构造同构映射$\phi: V \rightarrow W \times V/W$ #

因为$V$是有限维的，我们可以取$W$的一组基${w_1, w_2, ..., w_m}$，将其扩展为$V$的一组基${w_1, ..., w_m, v_1, ..., v_n}$（其中$\dim V = m + n$，$\dim W = m$，$\dim V/W = n$）。

对任意$v \in V$，它可以唯一表示为：
$$v = w + u \quad \text{其中} \ w = \sum_{i=1}^m a_i w_i \in W, \ u = \sum_{j=1}^n b_j v_j \in \text{span}{v_1,...,v_n}$$

定义映射$\phi: V \rightarrow W \times V/W$为：
$$\phi(v) = (w, \pi(v)) = (w, [v])$$

验证$\phi$是线性映射

• 加法保持：对任意$v_1 = w_1 + u_1$，$v_2 = w_2 + u_2$，
  $$\phi(v_1 + v_2) = (w_1 + w_2, \pi(v_1 + v_2)) = (w_1 + w_2, \pi(v_1) + \pi(v_2)) = (w_1, \pi(v_1)) + (w_2, \pi(v_2)) = \phi(v_1) + \phi(v_2)$$
• 数乘保持：对任意$k \in K$，$v = w + u$，
  $$\phi(kv) = (kw, \pi(kv)) = (kw, k\pi(v)) = k(w, \pi(v)) = k\phi(v)$$

验证$\phi$是单射

假设$\phi(v) = (0, [0])$，则$w = 0$且$\pi(v) = [0]$（即$v \in W$）。结合$v = w + u$，可得$v = u \in W$，而$u$是${v_1,...,v_n}$的线性组合，这组基与$W$的基线性无关，因此$u = 0$，即$v = 0$。所以$\ker(\phi) = {0}$，$\phi$是单射。

验证$\phi$是满射

对任意$(w, [v]) \in W \times V/W$，取$v' = w + v$（这里$v$是等价类$[v]$中的任意元素），则：
$$\phi(v') = (w, \pi(w + v)) = (w, \pi(w) + \pi(v)) = (w, [0] + [v]) = (w, [v])$$
因此$\phi$是满射。

结论 #

$\phi$是双射的线性映射，因此$V \cong W \times V/W$。

内容的提问来源于stack exchange，提问作者jmoore00