Vektorraum/Basisergänzungssatz/Fakt/Beweis
Beweis
Es sei eine Basis von . Aufgrund des Austauschsatzes findet man Vektoren aus der Basis , die zusammen mit den vorgegebenen eine Basis von bilden.
Es sei eine
Basis von
.
Aufgrund des Austauschsatzes
findet man
Vektoren aus der Basis
, die zusammen mit den vorgegebenen
eine Basis von
bilden.