Vektorraum/Untervektorraum/Dimensionsvergleich/Fakt/Beweis

Aus Wikiversity
Beweis

Sei . Jede linear unabhängige Familie in ist auch linear unabhängig in . Daher kann es aufgrund des Basisaustauschsatzes in nur linear unabhängige Familien der Länge geben. Es sei derart, dass es in eine linear unabhängige Familie mit Vektoren gibt, aber nicht mit Vektoren. Sei eine solche Familie. Diese ist dann insbesondere eine maximal linear unabhängige Familie in und daher wegen Fakt eine Basis von .