Bewiesen durch
:Involvierte Definitionen
:Referenz
:
Korollar:
Seien
und endlich erzeugte Vektorräume. Sei Sei eine lineare Abbildung.
ist genau dann surjektiv, wenn injektiv ist.
Anmerkung
Attention
Dank dieses Satzes müssen wir nur überprüfen, ob eine Abbildung (zwischen zwei Vektorräumen mit gleicher Dimension) Surjektiv oder Injektiv ist, um zu beweisen, dass es sich um einen Isomorphismus handelt.
Beweis
Sei
Dann gilt
-
Das folgt unmittelbar aus: Proposition 8.3.10 -
Das folgt aus dem Rangsatz, denn dann gilt: -
Denn wir haben vorausgesetzt, dass -
Folgt direkt aus der Dimensionsformel für Unterräume -
Das ist einfach die Definition von Surjektivität