Involvierte Definitionen
:Referenz
:
Proposition: Basis von
erzeugt Bild von Sei
ein endlich erzeugter -Vektorraum Sei eine lineare Abbildung. Sei eine Basis von .
- Dann ist
ein Erzeugendensystem von - (und
ist damit endlich erzeugt).
Beweis
Sei
Es gibt also Koeffizienten, so dass
Das heißt: