To prove that span(v1β,β¦,vmβ)=span(w1β,β¦,wmβ), we'll need to show two things:
- span(v1β,β¦,vmβ)βspan(w1β,β¦,wmβ).
- span(w1β,β¦,wmβ)βspan(v1β,β¦,vmβ).
1. Proving span(v1β,β¦,vmβ)βspan(w1β,β¦,wmβ)
Let vβspan(v1β,β¦,vmβ). This means that:
v=c1βv1β+c2βv2β+β―+cmβvmβ
for some scalars c1β,c2β,β¦,cmββF (where F is the field over which the vector space V is defined).
We will express each vkβ in terms of wkβ:
vkβ=wkββwkβ1β
where w0β=0 by convention.
Substituting this into the linear combination for v, we get:
v=c1β(v1β)+c2β(v2β)+β―+cmβ(vmβ)=c1β(w1β)+c2β(w2ββw1β)+β―+cmβ(wmββwmβ1β)
Expanding and simplifying:
v=(c1ββc2β)w1β+(c2ββc3β)w2β+β―+(cmβ1ββcmβ)wmβ1β+cmβwmβ
Thus, v is a linear combination of w1β,w2β,β¦,wmβ, meaning vβspan(w1β,β¦,wmβ).
Since v was arbitrary, it follows that:
span(v1β,β¦,vmβ)βspan(w1β,β¦,wmβ)
2. Proving span(w1β,β¦,wmβ)βspan(v1β,β¦,vmβ)
Let wβspan(w1β,β¦,wmβ). This means that:
w=d1βw1β+d2βw2β+β―+dmβwmβ
for some scalars d1β,d2β,β¦,dmββF.
We know each wkβ is defined as:
wkβ=v1β+v2β+β―+vkβ
So, substitute this into the linear combination:
w=d1β(v1β)+d2β(v1β+v2β)+β―+dmβ(v1β+v2β+β―+vmβ)
Expanding this expression:
w=(d1β+d2β+β―+dmβ)v1β+(d2β+β―+dmβ)v2β+β―+dmβvmβ
This shows that w is a linear combination of v1β,v2β,β¦,vmβ, meaning wβspan(v1β,β¦,vmβ).
Since w was arbitrary, it follows that:
span(w1β,β¦,wmβ)βspan(v1β,β¦,vmβ)
Conclusion
Since we have shown both:
span(v1β,β¦,vmβ)βspan(w1β,β¦,wmβ)
and
span(w1β,β¦,wmβ)βspan(v1β,β¦,vmβ)
it follows that:
span(v1β,β¦,vmβ)=span(w1β,β¦,wmβ)
Do you want details or have any questions?
Here are five related questions:
- How would this proof change if the vector space V were infinite-dimensional?
- What are the implications of this proof for understanding linear dependence and independence?
- Can you construct an example of vectors v1β,v2β,v3β in R2 and their corresponding w1β,w2β,w3β?
- How does this result relate to the concept of a basis in a vector space?
- What happens to the span equality if one of the vectors vkβ is the zero vector?
Tip: When dealing with spans of vectors, remember that any linear combination of the vectors in a span can generate other vectors within the same span.