证明ℝ³为两子空间直和及交空间维数为0的方法

嘿，我来帮你理清楚这两个关于ℝ³子空间直和的问题，咱们一步步拆解：

1. 证明ℝ³是它的两个子空间的直和 #

其实很简单，咱们先找两个具体的子空间例子，再验证它们满足直和的定义就行（毕竟ℝ³的直和分解不唯一，选最直观的就行）：

比如咱们取：

• 子空间U：x轴上的所有向量，即 U = {(a, 0, 0) | a ∈ ℝ}，它的维数是1
• 子空间V：y-z平面上的所有向量，即 V = {(0, b, c) | b, c ∈ ℝ}，它的维数是2

接下来验证直和的两个核心条件：

• 条件1：ℝ³ = U + V
  任取ℝ³中的任意向量 (a, b, c)，都可以拆成U里的向量加V里的向量：(a, b, c) = (a, 0, 0) + (0, b, c)，显然前者属于U，后者属于V。所以ℝ³里的每个向量都能表示成U和V的向量和，满足U+V=ℝ³。
• 条件2：U ∩ V = {0}
  假设存在向量x同时属于U和V，那么x既要满足x=(a,0,0)（因为在U里），又要满足x=(0,b,c)（因为在V里）。对比分量可得a=0，b=0，c=0，也就是x只能是零向量。所以U和V的交只有零向量。

满足这两个条件，就说明ℝ³是U和V的直和，即 ℝ³ = U ⊕ V。

2. 已知dim(U)=1，dim(V)=2，为何要证dim(U∩V)=0来推出ℝ³=U⊕V？ #

这里的关键是子空间维数公式，先把公式摆出来：
dim(U + V) = dimU + dimV - dim(U ∩ V)

咱们来逆向推导一下：
如果要证明ℝ³是U和V的直和，根据定义需要满足两个点：

1. U + V = ℝ³ → 这意味着dim(U+V)=3（因为ℝ³的维数是3）
2. U ∩ V = {0} → 这意味着dim(U∩V)=0

现在已知dim(U)=1，dim(V)=2，把这两个值代入维数公式：
如果dim(U∩V)=0，那么dim(U+V)=1+2-0=3，而U+V是ℝ³的子空间，维数等于整个空间的维数，那必然有U+V=ℝ³。同时dim(U∩V)=0也直接对应了交为零空间的条件，两个直和的条件就都满足了。

反过来，如果不满足dim(U∩V)=0，那dim(U∩V)只能是1（因为U是1维子空间，交的维数不能超过U的维数），代入公式得dim(U+V)=1+2-1=2，这时候U+V只是ℝ³的一个2维子空间，不可能等于整个ℝ³，自然也就不是直和。

所以说，证明dim(U∩V)=0是用维数快速推导直和的核心步骤，比直接去验证向量分解唯一性或者交为零空间要高效得多。

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