Proving Linear Independence in Real Vector Spaces

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
24 replies · 4K views
bugatti79
Messages
786
Reaction score
4

Homework Statement



Let V be a real vector space and {b_1,b_2,b_3,b_4} a linearly independent set of vectors in V

The Attempt at a Solution



Show that the span [itex](b_1,b_2,b_3,b_4)=span(b_1-b_3,b_2-b_1,b_3,b_4-b_2)[/itex]

If I equate the LHS and RHS as

[itex]\alpha_1b_1=+\alpha_1b_1-\alpha_3b_3[/itex] implies [itex]\alpha_3=0[/itex]

[itex]\alpha_2b_2=\alpha_2b_2-\alpha_1b_1[/itex] implies [itex]\alpha_1=0[/itex]

[itex]\alpha_3b_3=\alpha_3b_3[/itex] but [itex]\alpha_3=0[/itex]

[itex]\alpha_4b_4=\alpha_4b_4-\alpha_2b_2[/itex] implies [itex]\alpha_2=0[/itex]

This correct? What about [itex]\alpha_4[/itex]?
 
Physics news on Phys.org
bugatti79 said:

Homework Statement



Let V be a real vector space and {b_1,b_2,b_3,b_4} a linearly independent set of vectors in V

The Attempt at a Solution



Show that the span [itex](b_1,b_2,b_3,b_4)=span(b_1-b_3,b_2-b_1,b_3,b_4-b_2)[/itex]

If I equate the LHS and RHS as

[itex]\alpha_1b_1=+\alpha_1b_1-\alpha_3b_3[/itex] implies [itex]\alpha_3=0[/itex]

[itex]\alpha_2b_2=\alpha_2b_2-\alpha_1b_1[/itex] implies [itex]\alpha_1=0[/itex]

[itex]\alpha_3b_3=\alpha_3b_3[/itex] but [itex]\alpha_3=0[/itex]

[itex]\alpha_4b_4=\alpha_4b_4-\alpha_2b_2[/itex] implies [itex]\alpha_2=0[/itex]

This correct? What about [itex]\alpha_4[/itex]?
No, this isn't correct. Let v be an arbitrary vector in [itex]span(b_1-b_3,b_2-b_1,b_3,b_4-b_2)[/itex], which means that v is some linear combination of these vectors. Show that this same vector is a linear combination of [itex](b_1,b_2,b_3,b_4)[/itex].

Now go the other way. Let u be an arbitrary vector in [itex]span(b_1, b_2, b_3, b_4)[/itex]. Show that u is also a linear combination of the vectors in the second set.
 
Mark44 said:
No, this isn't correct. Let v be an arbitrary vector in [itex]span(b_1-b_3,b_2-b_1,b_3,b_4-b_2)[/itex], which means that v is some linear combination of these vectors. Show that this same vector is a linear combination of [itex](b_1,b_2,b_3,b_4)[/itex].

Now go the other way. Let u be an arbitrary vector in [itex]span(b_1, b_2, b_3, b_4)[/itex]. Show that u is also a linear combination of the vectors in the second set.

[tex](b_1,b_2,b_3,b_4)=\alpha_1\left ( b_1 - b_3 \right )+\alpha_2(b_2-b_1)+\alpha_3(b_3)+\alpha_4(b_4-b_2)[/tex]

Is this the correct start?

thanks
 
Mark44 said:
No, this isn't correct. Let v be an arbitrary vector in [itex]span(b_1-b_3,b_2-b_1,b_3,b_4-b_2)[/itex], which means that v is some linear combination of these vectors. Show that this same vector is a linear combination of [itex](b_1,b_2,b_3,b_4)[/itex].

Now go the other way. Let u be an arbitrary vector in [itex]span(b_1, b_2, b_3, b_4)[/itex]. Show that u is also a linear combination of the vectors in the second set.

bugatti79 said:
[tex](b_1,b_2,b_3,b_4)=\alpha_1\left ( b_1 - b_3 \right )+\alpha_2(b_2-b_1)+\alpha_3(b_3)+\alpha_4(b_4-b_2)[/tex]

Is this the correct start?
No. Let v = <v1, v2, v3, v4> be an arbitrary vector in [itex]span(b_1-b_3,b_2-b_1,b_3,b_4-b_2)[/itex].
 
Mark44 said:
No. Let v = <v1, v2, v3, v4> be an arbitrary vector in [itex]span(b_1-b_3,b_2-b_1,b_3,b_4-b_2)[/itex].

Not sure what to do...?

[tex](v_1,v_2,v_3,v_4)=\alpha_1\left ( b_1 - b_3 \right )+\alpha_2(b_2-b_1)+\alpha_3(b_3)+\alpha_4(b_4-b_2)[/tex]
 
bugatti79 said:
Not sure what to do...?

[tex](v_1,v_2,v_3,v_4)=\alpha_1\left ( b_1 - b_3 \right )+\alpha_2(b_2-b_1)+\alpha_3(b_3)+\alpha_4(b_4-b_2)[/tex]
Show that v is a linear combination of [itex](b_1,b_2,b_3,b_4)[/itex].

Now go the other way. Let u be an arbitrary vector in [itex]span(b_1, b_2, b_3, b_4)[/itex]. Show that u is also a linear combination of the vectors in the second set.
 
Mark44 said:
Show that v is a linear combination of [itex](b_1,b_2,b_3,b_4)[/itex].

but how do I show this? I realize that a vector v is a linear combination of the vectors b_1, b_2, b_3 and b_4 if it can be expressed in the form

[tex]v=\alpha_1b_1 +\alpha_2b_2+\alpha_3b_3+\alpha_4b_4<br /> +...+\alpha_nb_n[/tex]

Dont know how to proceed.. thanks
 
Mark44 said:
Work with the right side of the equation in post #6.

[tex]V=\left \{ v_1,v_2,v_3,v_4 \right \}=b_1(\alpha_1-\alpha_2)+b_2(\alpha_2-\alpha_4)+b_3(\alpha_3-\alpha_1)+b_4(\alpha_4)[/tex]

[tex]U=\left \{ u_1,u_2,u_3,u_4 \right \}=\alpha_1b_1+\alpha_2b_2+\alpha_3b_3+\alpha_4b_4[/tex]

I don't know how one would be a linear combination of the other? Thanks
 
bugatti79 said:
[tex]V=\left \{ v_1,v_2,v_3,v_4 \right \}=b_1(\alpha_1-\alpha_2)+b_2(\alpha_2-\alpha_4)+b_3(\alpha_3-\alpha_1)+b_4(\alpha_4)[/tex]
[tex]=(\alpha_1-\alpha_2) b_1 +(\alpha_2-\alpha_4)b_2 + (\alpha_3-\alpha_1)b_3+ (\alpha_4)b_4[/tex]

Doesn't this show that v (not V) is a linear combination of b1, b2, b3, and b4?
bugatti79 said:
[tex]U=\left \{ u_1,u_2,u_3,u_4 \right \}=\alpha_1b_1+\alpha_2b_2+\alpha_3b_3+\alpha_4b_4[/tex]

I don't know how one would be a linear combination of the other? Thanks
 
Mark44 said:
[tex]=(\alpha_1-\alpha_2) b_1 +(\alpha_2-\alpha_4)b_2 + (\alpha_3-\alpha_1)b_3+ (\alpha_4)b_4[/tex]

Doesn't this show that v (not V) is a linear combination of b1, b2, b3, and b4?

Sorry I don get it..Arent we to show that

if [tex]v=(v_1,v_2...v_n)[/tex] and [tex]u=(u_1,u_2...u_n)[/tex] then span v = span u if and only if v is a linear combination of those in u and vice versa?
 
Mark44 said:
[tex]=(\alpha_1-\alpha_2) b_1 +(\alpha_2-\alpha_4)b_2 + (\alpha_3-\alpha_1)b_3+ (\alpha_4)b_4[/tex]

Doesn't this show that v (not V) is a linear combination of b1, b2, b3, and b4?

OK, I think I see what is required. I now need to express the vectors b_1, b_2, b_3 and b_4 as linear combinations of [tex](b_1-b_3), (b_2-b_1), (b_3)[/tex] and [tex](b_4-b_2)[/tex]

Hmmmm...how is that done?!
 
bugatti79 said:
OK, I think I see what is required. I now need to express the vectors b_1, b_2, b_3 and b_4 as linear combinations of [tex](b_1-b_3), (b_2-b_1), (b_3)[/tex] and [tex](b_4-b_2)[/tex]

Hmmmm...how is that done?!

From post #2
Mark44 said:
Now go the other way. Let u be an arbitrary vector in [itex]span(b_1, b_2, b_3, b_4)[/itex]. Show that u is also a linear combination of the vectors in the second set.

Then u = ?
 
[tex]u=\alpha_1(b_1-b_3)+\alpha_2(b_2-b_1)+\alpha_3b_3+\alpha_4(b_4-b_2)[/tex]

I don't know why its coming up like this...I didnt use the strike tags at all...
Mod Note: Fixed LaTeX.
 
Last edited by a moderator:
Thank you Mark,

I am slowly learning :-)
 
Actually, should the vector u be represented by beta scalars and v by the alpha scalars?
 
Ok, the last section

Is the span [tex]\left \{ b_1+b_2,b_2+b_3,b_3 \right \}=\left \{ b_1,b_2,b_3,b_4 \right \}[/tex]

Let [tex]v=\left \{ v_1,v_2,v_3,v_4 \right \}[/tex] span [tex]\left \{ b_1+b_2,b_2+b_3,b_3 \right \}[/tex]

rearranging

[tex]v=\alpha_1b_1+(\alpha_1+\alpha_2)b_2+(\alpha_2+\alpha_3)b_3[/tex]

Let [tex]u=\left \{ u_1,u_2,u_3,u_4 \right \}[/tex] span [tex]\left \{ b_1,b_2,b_3,b_4 \right \}[/tex]

[tex]u=\alpha_1b_1+\alpha2b_2+\alpha_3b_3+alpha_4b_4[/tex]

Hence v does not span u because v does not contain [tex]b_4[/tex]
How do I state this correctly?
 
No I don't think so. Its another question, ie its a different span we are asked to check...?
 
OK, I didn't realize this was a different question.

Are b1, b2, b3, and b4 linearly independent?

If so, span{b1, b2, b3, and b4} couldn't possibly be the same as the span of the three vectors you listed on the left side. More specifically, the group of three vectors doesn't include b4.
 
Yes,

THey are linearly independent. Ok, thanks for the clarification!
bugatti
 
bugatti79 said:
Ok, the last section

Is the span [tex]\left \{ b_1+b_2,b_2+b_3,b_3 \right \}=\left \{ b_1,b_2,b_3,b_4 \right \}[/tex]
Better: Is Span{b1 + b2, b2 + b3, b3} = Span{b1, b2, b3, b4}?
bugatti79 said:
Let [tex]v=\left \{ v_1,v_2,v_3,v_4 \right \}[/tex] span [tex]\left \{ b_1+b_2,b_2+b_3,b_3 \right \}[/tex]
Let v = <v1, v2, v3, v4>. What you have written makes no sense. A vector (v) doesn't span a set of other vectors. A set of vectors spans a subspace of some vector space.

If V is the vector space (or subspace) that is spanned by {b1 + b2, b2 + b3, b3}, then v can be written as some specific linear combination of these vectors.

Clearly there's going to be a problem, because your set of vectors doesn't include b4.
bugatti79 said:
rearranging

[tex]v=\alpha_1b_1+(\alpha_1+\alpha_2)b_2+(\alpha_2+\alpha_3)b_3[/tex]

Let [tex]u=\left \{ u_1,u_2,u_3,u_4 \right \}[/tex] span [tex]\left \{ b_1,b_2,b_3,b_4 \right \}[/tex]

[tex]u=\alpha_1b_1+\alpha2b_2+\alpha_3b_3+alpha_4b_4[/tex]

Hence v does not span u because v does not contain [tex]b_4[/tex]
How do I state this correctly?
 
ok, thanks for clarification of the nonsense I was writing :-)