Vektorraum/Endlich erzeugt/Länge von jeder Basis/Fakt

Aus Wikiversity

Es sei ein Körper und ein -Vektorraum mit einem endlichen Erzeugendensystem.

Dann besitzen je zwei Basen von die gleiche Anzahl von Basisvektoren.