How to prove stuff about linear algebra?

Click For Summary

Homework Help Overview

The discussion revolves around a proof related to linear algebra, specifically concerning the linear independence of a set of vectors and the implications of adding another vector to this set. The original poster seeks to establish a relationship between linear dependence and the span of vectors.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to prove that if a modified set of vectors becomes linearly dependent, then the added vector must lie within the span of the original independent vectors. Some participants provide feedback on the clarity and correctness of the original poster's statements and reasoning.

Discussion Status

The discussion includes attempts to clarify the original poster's proof and correct misunderstandings regarding the definition of linear independence. Participants are engaging with the proof's structure and the implications of the statements made, indicating an ongoing exploration of the topic.

Contextual Notes

There is a noted confusion regarding the conditions for linear independence and the implications of the proof, highlighting the need for precise definitions in the discussion.

*melinda*
Messages
86
Reaction score
0
How to prove stuff about linear algebra?

Question:

Suppose [itex](v_1, v_2, ..., v_n)[/itex] is linearly independent in [itex]V[/itex] and [itex]w\in V[/itex].
Prove that if [itex](v_1 +w, v_2 +w, ..., v_n +w)[/itex] is linearly dependent, then [itex]w\in span(v_1, ...,v_n)[/itex].

To prove this I tried...

If [itex](v_1, v_2, ..., v_n)[/itex] is linearly independent then [itex]a_1 v_1 + ...+a_n v_n =0[/itex] for all [itex](a_1 , ..., a_n )=0[/itex].
then,
[itex]a_1 (v_1 +w)+a_2 (v_2 +w)+...+a_n (v_n +w)=0[/itex]
is not linearly independent, but can be rewritten as,
[itex]a_1 v_1 + ...+a_n v_n +(\sum a_i )w=0[/itex]
so,
[itex]a_1 v_1 + ...+a_n v_n = -(\sum a_i )w[/itex].
Since [itex]w[/itex] is a linear combination of vectors in [itex]V[/itex], [itex]w\in span(V)[/itex].

Did I do this right?
Is there a better way of doing this?
Any input is much appreciated!
 
Physics news on Phys.org
Your proof is pretty much correct, but in this sentence:
*melinda* said:
If [itex](v_1, v_2, ..., v_n)[/itex] is linearly independent then [itex]a_1 v_1 + ...+a_n v_n =0[/itex] for all [itex](a_1 , ..., a_n )=0[/itex].
I think you mean to say:
If [itex](v_1, v_2, ..., v_n)[/itex] is linearly independent then [itex]a_1 v_1 + ...+a_n v_n =0[/itex] only when each [itex]a_i=0[/itex]
 
Yes, that would make a bit more sense. Sometimes I understand what I mean to do, but don't know how to say it. :rolleyes:

Thanks a bunch!
 
*melinda* said:
If [itex](v_1, v_2, ..., v_n)[/itex] is linearly independent then [itex]a_1 v_1 + ...+a_n v_n =0[/itex] for all [itex](a_1 , ..., a_n )=0[/itex].

This is wrong. If the collection of vectors is independent, and if [itex]a_1 v_1 + ...+a_n v_n =0[/itex] then [itex]a_1 = a_2 = \cdots = 0[/itex].
 

Similar threads

Replies
15
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 23 ·
Replies
23
Views
3K
Replies
22
Views
4K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K