Bewiesen durch
:Involvierte Definitionen
:Referenz
:
Korollar 8.3.18: Bijektiv durch Basis von W
Sei
ein endlich erzeugter Vektorraum. Sei eine lineare Abbildung. Sei eine Basis von . Dann gilt
Beweis
ist injektiv, wenn eine Basis von ist, denn dann muss auch Kern(f) der Nullvektorraum sein und dann muss wiederum f injektiv sein (siehe Korollar 8.3.18 a)) ist surjektiv, wenn (siehe Korollar 8.3.18 b))
Also: