(a) Let be a subset of role="math" localid="1660109056998" . Let be the largest number of linearly independent vectors we can find in . (Note , by Theorem 3.2.8.) Choose linearly independent vectors in. Show that the vectors span and are therefore a basis of . This exercise shows that any subspace of has a basis.
If you are puzzled, think first about the special case when role="math" localid="1660109086728" is a plane in . What is in this case?
(b) Show that any subspace of can be represented as the image of a matrix.