Korollar: Rang eines Matrixproduktes ist kleiner als der Rang seiner Faktoren

Sei .
Sei .
Sei .

Dann gelten

Beweis

Seien und Vektorräume über . Sei , und . Seien eine Basis von , eine Basis von und eine Basis von .

Sei eine lineare Abbildung mit Sei eine lineare Abbildung mit

Mit Proposition 9.3.1 gilt, dass

Mit Korollar 9.2.4 gilt weiter, dass

Weiter mit Korollar 9.2.4 gilt, dass

und

Mit Proposition 8.3.22 folgt schließlich, dass

Was zu zeigen war.