Vektorraum/Erzeugendensystem/Definition

Erzeugendensystem

Es sei ein Körper und ein -Vektorraum. Dann heißt eine Familie , , ein Erzeugendensystem von , wenn man jeden Vektor als

mit einer endlichen Teilfamilie und mit darstellen kann.