Prove that every subspace of Rn has a
finite basis.
Hint:
Let W be a subspace of Rn.
We can assume W has a nonzero vector v1 (why?).
If W = span(v1), we're done.
Otherwise, there is a vector v2 that is in W but not in span(v1).
Show {v1, v2} is linearly independent.
Now repeat: having constructed a linearly independent set of vectors {v1,
..., vk}, prove the following:
If W = span(v1, ..., vk), we're done.
Otherwise, there is a vector vk+1 that is in W but not in span(v1,
... vk).
Show {v1, ..., vk+1} is linearly independent.
Prove that this process must eventually stop.