The linear dependence lemma is a useful tool. It states that given a linearly dependent list of vectors, one of the vectors is in the span of the previous ones. Furthermore, we can throw out that vector without changing the span of the original list.
Linear Dependence Lemma
Suppose is a linearly dependent list in . Then there exists such that
Furthermore, if satisfies the condition above and the -th term is removed from , then the span of the remaining list equals .
Proof. Because the list is linearly dependent, there exist numbers , not all , such that
Let be the largest of such that . Then, we can write as
which proves as desired.
Now suppose is any element of such that . That means we have such that
Suppose . Then there exist such that
In the equation above, we can replace with the right side of the our expression above for :
which shows that is in the span of the list obtained from removing the th term from . Thus, removing the th term of the list does not change the span of the list.
If in the linear dependence lemma, then means , because .
Example: Smallest in linear dependence lemma
Consider the list
in . This list of four is linearly dependent. Thus, the linear dependence lemma implies that there exists such that the vector in this list is a linear combination of the previous vectors in the list. How do we find the smallest value of that works?
Taking in the linear dependence lemma works if and only if the first vector in the list equals . Because is not the vector, we cannot take for this list.
Taking in the linear dependence lemma works if and only if the second vector in the list is a scalar multiple of the first vector. In our example, there does not exist such that .
Taking in the linear dependence lemma works if and only if the third vector in the list is a linear combination of the first two vectors. Thus, we want to know whether there is such that
which is a system of three linear equations with two unknowns . Solving gives us . Thus, taking is the smallest value of that works in the linear dependence lemma.