Suppose that w∈Span(v1,...,vm), then we have w=∑αivi and thus ∑αivi−w=0 is a non-trivial (as at least the coefficient before w is −1=0 ) linear combination of (v1,...,vm,w) that gives zero and thus (v1,...,vm,w) is not linearly independent.
Now let's suppose that (v1,...,vm,w) is linearly dependent, then there exists a non-trivial linear combination such that ∑αivi+bw=0. We can not have b=0 as in this case we would have ∑αivi=0 for sum non-trivial combination (αi). Therefore we have w=∑(−αi/b)vi∈Span(v1,...,vm).
¬((v1,...,vm,w) are linearly independent)↔¬(w∈/Span(v1,...,vm)) and therefore we have (by contraposition)
((v1,...,vm,w) are linearly independent)↔(w∈/Span(v1,...,vm))
Comments