Vektorraum/Basisergänzungssatz/Fakt/Beweis/Aufgabe/Lösung

Es sei ${}b_{1},\ldots ,b_{n}$ eine Basis von ${}V$. Aufgrund des Austauschsatzes

findet man ${}n-k$ Vektoren aus der Basis ${}{\mathfrak {b}}$, die zusammen mit den vorgegebenen ${}u_{1},\ldots ,u_{k}$ eine Basis von ${}V$ bilden.

Zur gelösten Aufgabe