Bewiesen durch
:Involvierte Definitionen
:Referenz
:
Proposition 8.3.22: Rang der Komposition linearer Abbildungen
Seien
und endlich erzeugte -Vektorräume. Seien und lineare Abbildungen. Dann gilt:
Beweis
1.
Hierzu zeigen wir, dass
Wir wissen bereits, dass das Bild ein Vektorraum ist. Es bleibt also nur noch die Teilmengen Beziehung zu zeigen.
Sei hierzu
Damit ist
Es folgt also tatsächlich, dass
Mit der Dimensionsformel für Unterräume folgt, die Behauptung
2.
Hierzu zeigen wir, dass
Sei dazu
Mit der Dimensionsformel für Unterräume folgt nun, dass
Und mit dem Rangsatz gilt abschließend
was zu zeigen war.