Vektorraum/Basisaustauschsatz/Fakt

Aus Wikiversity

Es sei ein Körper und ein -Vektorraum mit einer Basis

Ferner sei

eine Familie von linear unabhängigen Vektoren in .

Dann gibt es eine Teilmenge derart, dass die Familie

eine Basis von ist.

Insbesondere ist .