up:: Linear Dependence
Let be a Vector Space, and (out of which no vector is ).
We seek to prove that
is Linearly Dependent there is some index in for which
Linear dependence implies there is a vector dependent on previous ones
We prove by contrapositive: if for all indexes, , we seek to prove that is Linearly Independent.
Since all vectors are non-null, will be L.I.. By hypothesis, all subsequent vectors will not be in the Span of the previous ones, for which The union of a linearly independent set with a vector outside of its span is also linearly independent. Thus, we can construct
If there is a vector dependent on previous ones, the set is linearly dependent
If there is at least one index such that , then the set will be Linearly Dependent, which means that adding the rest of the vectors will still keep it L.D..1
References
Footnotes
-
Because if is already L.D., we have that is L.D., since $$
v_k = \sum\limits_{i=1}^{k-1} \alpha_i v_i + \sum\limits_{i\geq k} 0 v_i ↩