关于向量空间中等式两边添加同一向量的依据及相关证明的疑问

阿华AIGC实验室

2026-4-22

向量空间中等式两边添加同一向量的依据及相关证明疑问

嘿，我完全理解你读《Linear Algebra Done Right》时的困惑——书里只列出了向量空间的公理，却没直接点明“等式两边加同一向量仍成立”这种操作的底层依据，确实容易让人摸不着头脑。咱们一步步把这个问题拆解清楚。

首先先把你提到的向量空间公理整理出来，方便后续讨论：

书里给出的向量空间定义包含以下公理：
交换律：对所有 $u,v \in V$，$u+v = v+u$
结合律：对所有 $u,v,w \in V$ 和 $a,b \in F$，$(u+v)+w = u+(v+w)$，$(ab)v = a(bv)$
加法单位元：存在元素 $0 \in V$，使得对所有 $v \in V$，$v+0 = v$
加法逆元：对每个 $v \in V$，存在 $w \in V$，使得 $v+w = 0$
乘法单位元：对所有 $v \in V$，$1v = v$
分配律：对所有 $a,b \in F$ 和 $u,v \in V$，$a(u+v)=au+av$，$(a+b)v=av+bv$

你的核心疑问很关键：

但书里没告诉我 $u+v$ 具体是什么运算规则，也没说怎么计算它。那我怎么知道可以在等式两边加同一个向量呢？比如已知 $v = w$，是什么允许我推出 $v+z = w+z$？（比如我想证明：存在唯一的 $x \in V$ 使得 $v+3x = w$）

你自己尝试用交换律推导的思路其实没问题，但不用觉得是在“滥用”交换律——不过更准确地说，等式两边加同一向量的合法性，本质上来自于向量加法是一个定义良好的运算，再结合集合论中等式的基本性质：如果两个元素相等，对它们应用同一个函数（这里就是向量加法这个二元函数），结果必然相等。

具体来说，向量加法是一个从 $V \times V$ 到 $V$ 的映射：给定任意一对有序向量 $(a,b)$，都有唯一的 $a+b \in V$ 与之对应。如果 $v = w$，那么有序对 $(v,z)$ 和 $(w,z)$ 其实是完全相同的（因为第一个分量相等），所以它们通过加法映射得到的结果自然也相等，也就是 $v+z = w+z$。这和交换律其实没有直接的依赖关系，只是你用交换律也能绕出同样的结论而已。

再聊聊你提到的那个唯一性证明，咱们用向量空间公理严谨推导一遍，你就能更清晰地看到每一步的依据：

证明：存在唯一的 $x \in V$ 使得 $v+3x = w$

存在性：
取 $x = \frac{1}{3}(w + (-v))$（这里的 $-v$ 是 $v$ 的加法逆元，减法本质是加上逆元），代入验证：
$$
\begin{align*}
v + 3x &= v + 3 \times \frac{1}{3}(w + (-v)) \
&= v + 1 \times (w + (-v)) \quad \text{（域中乘法逆元的性质）} \
&= v + (w + (-v)) \quad \text{（乘法单位元公理）} \
&= (v + (-v)) + w \quad \text{（加法结合律公理）} \
&= 0 + w \quad \text{（加法逆元公理）} \
&= w \quad \text{（加法单位元公理）}
\end{align*}
$$
由此证明存在这样的 $x$。
唯一性：
假设存在两个向量 $x_1$ 和 $x_2$ 满足 $v+3x_1 = w$ 和 $v+3x_2 = w$，那么可得 $v+3x_1 = v+3x_2$。
- 两边同时加上 $-v$（$v$ 的加法逆元）：
  $$(v+3x_1) + (-v) = (v+3x_2) + (-v)$$
- 利用加法结合律调整顺序：
  $$3x_1 + (v + (-v)) = 3x_2 + (v + (-v))$$
- 根据加法逆元公理，$v+(-v)=0$，代入得：
  $$3x_1 + 0 = 3x_2 + 0$$
- 再用加法单位元公理，简化为：
  $$3x_1 = 3x_2$$
- 两边同时乘以 $\frac{1}{3}$（域 $F$ 中3的乘法逆元）：
  $$\frac{1}{3} \times 3x_1 = \frac{1}{3} \times 3x_2$$
- 结合乘法结合律和乘法单位元公理，最终得到：
  $$x_1 = x_2$$
  由此证明这样的 $x$ 是唯一的。