Zum Inhalt springen

Vektorraum/Endlich erzeugt/Basis/Fakt/Beweis

Aus Wikiversity
Beweis

Es sei , , ein Erzeugendensystem von mit einer endlichen Indexmenge . Wir wollen mit der Charakterisierung aus Fakt  (2) argumentieren. Falls die Familie schon minimal ist, so liegt eine Basis vor. Andernfalls gibt es ein derart, dass die um reduzierte Familie, also , , ebenfalls ein Erzeugendensystem ist. In diesem Fall kann man mit der kleineren Indexmenge weiterargumentieren.
Mit diesem Verfahren gelangt man letztlich zu einer Teilmenge derart, dass , , ein minimales Erzeugendensystem, also eine Basis ist.