线性代数Span问题证明指导：请求1b部分思路指引

针对你提出的Span相关证明问题，这里给你梳理核心思路，不用做详细推导：

1a 已完成部分回顾 #

• 既然你已经搞定了Span(v)是Span(u,v)和Span(v,w)的子集，这里就快速带过：核心是利用Span的定义——Span(v)里的任意元素都是v的标量倍数，显然能被u和v的线性组合（取u的系数为0）表示，同理也能被v和w的线性组合表示，所以子集关系成立。

1b 证明思路拆解 #

已知u ∉ Span(w)且v ∉ Span(u,w)，要证Span(v) = Span(u,v)和Span(v) = Span(v,w)，关键是双向包含：

• 你已经从1a知道Span(v) ⊆ Span(u,v)和Span(v) ⊆ Span(v,w)，所以只需要证明反向包含：
  1. 证明Span(u,v) ⊆ Span(v)：
     • 假设任意元素x ∈ Span(u,v)，则x = a·u + b·v（a,b ∈ ℝ）。我们需要证明a=0，可以用反证法：如果a≠0，就能推出u = (x - b·v)/a，结合已知条件v ∉ Span(u,w)，你可以推导这会和u ∉ Span(w)产生矛盾——本质上，这说明u必须是v的标量倍数，否则Span(u,v)会是二维空间，而v ∉ Span(u,w)又意味着v和u、w线性无关，这就和我们要证的结论冲突了，所以u只能是v的倍数，进而Span(u,v)就是Span(v)。
  2. 证明Span(v,w) ⊆ Span(v)：
     • 用和上面完全类似的逻辑，结合u ∉ Span(w)和v ∉ Span(u,w)，反证w必须是v的标量倍数，这样Span(v,w)里的所有元素都能表示成v的标量倍数，自然就等于Span(v)。

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