Steinitz exchange lemma
= Steinitz exchange lemma
{c}
{wiki}
If a <vector space> is spanned by $n$ vectors, every <linearly independent> family in it has at most $n$ members. Consequently, any two finite <bases> have the same number of vectors.
= Steinitz exchange lemma
{c}
{wiki}
If a <vector space> is spanned by $n$ vectors, every <linearly independent> family in it has at most $n$ members. Consequently, any two finite <bases> have the same number of vectors.