Beweisarchiv: Algebra: Gruppen: Lineare Abbildungen und Matrizen
Satz
Seien mit sowie und linear: Dann existiert eine -Matrix mit für alle .
Beweis
Sei entsprechend der obigen Definition gegeben und sei die kanonische Basis des . Dann definiere die -te Spalte von durch für . Sei nun . Dann gilt mit den Rechenregeln für Matrizen:
.