Question #36012

Let W1 and W2 be subspaces of a vector space V and define
W1 + W2 := {u+v : u ∈ W1, v ∈ W2}.
Prove that span(W1 U W2) = W1 + W2.

Expert's answer

Let W1W_{1} and W2W_{2} be subspaces of a vector space VV and define W1+W2:={u+v:uW1,vW2}W_{1} + W_{2} := \{u + v : u \in W_{1}, v \in W_{2}\}. Prove that span(W1W2)=W1+W2\text{span}(W_{1} \cup W_{2}) = W_{1} + W_{2}.

Solution

Let W1W_{1} and W2W_{2} be subspaces of a vector space VV and define W1+W2:={u+v:uW1,vW2}W_{1} + W_{2} := \{u + v : u \in W_{1}, v \in W_{2}\}. In other words, W1+W2W_{1} + W_{2} is the collection of all vectors you can get by adding an element of W1W_{1} to an element of W2W_{2}.

Prove that span(W1W2)=W1+W2\text{span}(W1 \cup W_2) = W_1 + W_2 (in other words W1+W2W_1 + W_2 is the smallest subspace containing both W1W1 and W2W_2).

To see W1+W2W_{1} + W_{2} is a subspace, check closure under addition and under multiplication by scalars. Let u+vu + v and uˊ+vˊ\acute{u} + \acute{v} be any elements of W1+W2W_{1} + W_{2}, where u,uˊW1u, \acute{u} \in W_{1} and v,vˊW2v, \acute{v} \in W_{2}, and let aa be any scalar. Then, since W1W_{1} and W2W_{2} are closed under addition and under multiplication by scalars,


(u+v)+(uˊ+vˊ)=(u+uˊ)+(v+vˊ)W1+W2,(u + v) + (\acute{u} + \acute{v}) = (u + \acute{u}) + (v + \acute{v}) \in W_{1} + W_{2},a(u+v)=au+avW1+W2.a(u + v) = a u + a v \in W_{1} + W_{2}.


Also, W1W1+W2W_{1} \subseteq W_{1} + W_{2}, since every uW1u \in W_{1} can be written u+0W1+W2u + 0 \in W_{1} + W_{2}. For the same reason, W2W1+W2W_{2} \subseteq W_{1} + W_{2}. We have shown W1+W2W_{1} + W_{2} is a subspace containing both W1W_{1} and W2W_{2}.

Clearly every element u+vW1+W2u + v \in W_1 + W_2 is in span(W1+W2)\text{span}(W_1 + W_2) so W1+W2span(W1W2)W_1 + W_2 \subseteq \text{span}(W_1 \cup W_2).

To show W1+W2=span(W1W2)W_{1} + W_{2} = \text{span}(W_{1} \cup W_{2}), it remains only to show that span(W1W2)W1+W2\text{span}(W_{1} \cup W_{2}) \subseteq W_{1} + W_{2}. But this must be true, because we have shown W1+W2W_{1} + W_{2} is a subspace containing W1W2W_{1} \cup W_{2}, and span(W1W2)\text{span}(W_{1} \cup W_{2}) is the smallest such subspace.

So we have shown that span(W1W2)=W1+W2\text{span}(W1 \cup W_2) = W_1 + W_2.

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS