[JBKProductions]

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.

[Narev]

I suppose one way would be to let the subset be comprised of linearly independent vectors say, and be comprised of say.

With judicious use of sifting, you should be able to prove this.

[JBKProductions]

Cheers, I'll give it a go.

[nuodai]

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.)