向量空间子空间直和等价性归纳证明：归纳假设困惑求解

嘿，我明白你卡在归纳假设的设定上了——这确实是初学者用归纳法证明直和性质时容易踩的坑！你已经搞定了n=2的基例，这是个很棒的起点，接下来我们只需要调整一下归纳假设的表述，就能顺利推进到k+1的情况了。

重新设定你的归纳假设 #

不要把归纳假设限定在“当前空间W是前k个子空间的直和”，而是要把它表述为一般性的结论：

归纳假设：对于任意数域F上的向量空间V，以及V中任意k个子空间$V_1, V_2, ..., V_k$，$V = V_1 \oplus V_2 \oplus ... \oplus V_k$当且仅当：

1. $V = V_1 + V_2 + ... + V_k$；
2. 对任意$1 \leq i \leq k$，$V_i \cap (V_1 + ... + V_{i-1} + V_{i+1} + ... + V_k) = {0}$。

这个假设的核心是“对任意k个子空间都成立”，而不是针对你要证明的特定空间W的前k个子空间，这才是数学归纳法中“假设n=k时结论成立”的正确打开方式——它允许我们把任意k个子空间的直和性质当作已知结论来用。

用调整后的假设推导n=k+1的情况 #

现在我们可以分必要性和充分性两部分来推导：

必要性（$\Rightarrow$方向）

假设$W = W_1 \oplus W_2 \oplus ... \oplus W_{k+1}$：

• 首先显然$W = W_1 + W_2 + ... + W_{k+1}$，这是直和的定义直接给出的。
• 接下来验证第二个条件：
  • 对于$1 \leq i \leq k$：我们需要证明$W_i \cap (W_1 + ... + W_{i-1} + W_{i+1} + ... + W_{k+1}) = {0}$。令$U = W_1 \oplus ... \oplus W_k$，根据直和的定义，$W = U \oplus W_{k+1}$，所以$U \cap W_{k+1} = {0}$。而根据归纳假设，$W_i \cap (U - W_i) = {0}$（这里$U - W_i$表示除$W_i$外前k个子空间的和）。那么$W_i \cap ( (U - W_i) + W_{k+1} ) \subseteq W_i \cap (U + W_{k+1})$，结合$U \cap W_{k+1} = {0}$和$W_i \subseteq U$，这个交集只能是${0}$。
  • 对于$i = k+1$：根据直和定义，$W_{k+1} \cap (W_1 + ... + W_k) = {0}$，直接满足条件。

充分性（$\Leftarrow$方向）

假设$W = W_1 + ... + W_{k+1}$，且对任意$i$，$W_i \cap (其他子空间的和) = {0}$：

• 先令$U = W_1 + ... + W_k$，我们先证明$U = W_1 \oplus ... \oplus W_k$：根据归纳假设，只要验证对每个$1 \leq i \leq k$，$W_i \cap (U - W_i) = {0}$。而题目给出的条件是$W_i \cap ( (U - W_i) + W_{k+1} ) = {0}$，显然$W_i \cap (U - W_i) \subseteq W_i \cap ( (U - W_i) + W_{k+1} )$，所以这个交集必然是${0}$，因此$U = W_1 \oplus ... \oplus W_k$。
• 接下来用n=2的基例证明$W = U \oplus W_{k+1}$：首先$W = U + W_{k+1}$（题目给出的和条件），其次$U \cap W_{k+1} = {0}$（题目中$i=k+1$的条件），所以根据基例的结论，$W = U \oplus W_{k+1}$，也就是$W = W_1 \oplus ... \oplus W_{k+1}$。

为什么你之前的假设行不通？ #

你之前的问题在于把归纳假设限定在了“W是前k个的直和”，但实际上我们需要的是归纳假设能覆盖任意k个子空间的直和等价条件，这样才能把前k个子空间打包成一个子空间$U$，然后利用已经证明的n=2的结论来完成k到k+1的过渡。

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