Every Vector Space has a Basis

Last updated Nov 1, 2022

Let $V$ be a Vector Space. There exists a Vector Space Basis $S \subset V$.

TODO - requires Zorn’s Lemma and A Set is a Basis iff it is a Maximal Linearly Independent Set.