In: Advanced Math
A basis of a vector space V is a maximal linearly independent set of vectors in V . Similarly, one can view it as a minimal spanning set of vectors in V . Prove that any set S ⊆ V spanning a finite-dimensional vector space V contains a basis of V .