Definition: Erzeugendensysteme

Sei ein Vektorraum über und sei .

Ist

dann bilden die Vektoren aus ein Erzeugendensystem. Wir nennen dann auch das Erzeugendensystem von .

Definition: Endlich erzeugter Vektorraum

Ein Vektorraum heißt endlich erzeugt, wenn er ein Erzeugendensystem aus endlich vielen Vektoren besitzt.

Anmerkung

Attention

Jeder Vektorraum besitzt ein solches Erzeugendensystem. Dazu muss einfach nur gesetzt werden.