Proposition: Basis von erzeugt Bild von

Sei ein endlich erzeugter -Vektorraum Sei eine lineare Abbildung. Sei eine Basis von .

Beweis

Sei . Dann gibt es ein , so dass . Da gilt .

Es gibt also Koeffizienten, so dass

Das heißt: . Damit ist ein Erzeugendensystem von , was zu zeigen war.