Vektorraum/Endlich erzeugt/Basis/Fakt

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$-Vektorraum mit einem endlichen Erzeugendensystem.

Dann besitzt ${}V$ eine endliche Basis.

Zum Beweis, Alternativen Beweis erstellen