Suppose
is a vector space and
is a finite spanning set for
(i.e.
). In the previous chapter, we saw that if
is linearly dependent, then (at least) one vector can be removed from
and the resulting smaller set will still be a spanning set. You can imagine repeating this process until finally you are left with a spanning set that is linearly independent.