Let V be a finite dimensional vector space. If C is a finite spanning set for V and if I is a linearly independent subset of V such that prove that there is a basis B of V such that . Bit stuck on this proof, any help would be appreciated, thanks.
Any linearly independent set is contained in a basis. (Standard proof: take the elements of I and then add to them by repeatedly adding vectors not contained in the linear span of what you already have, and check that it works.) You need to show that you can modify this proof by adding vectors which, not only are in the complement of the linear span, but which also lie in , and Narev's post is the simplest way forward. (Namely, whereas in the 'standard proof' you'd pick "any element of the complement of the linear span of the vectors already picked", you instead pick specifically an element of C. You just have to argue that such elements exist.)