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.
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.