Sei V n-dimensional, dann haben alle Basen n Elemente. Seien also
A=(u1,…,un) , A=(v1,…,vn), A=(w1,…,wn)
Die drei Basen, und wenn man zeigen
kann, dass für jeden Vektor v mit den Koordinaten a= (a1, ... ,an ) ∈ Kn gilt
TCA⋅a=TCB⋅TBA⋅a
Dann ist die Gleichheit ja gezeigt.
Zu den Matrizen gehören lin. Abb'en, etwa
f zu TCB und g zu TBA
Dann ergibt TBA⋅a die Koordinaten, mit
denen f(v) mit der Basis B dargestellt wird
f(v) = b1 * v1 + ... bn * vn.
Wenn man nun den Spaltenvektor (b1,...,bn)T nimmt
und rechnet TBA⋅(b1,…,bn)T
Dann erhält man die Koordinaten, mit denen g(f(v)) mit
der Basis C dargestellt wird.
Nun entspricht aber das Produkt der Matrizen der
Hintereinanderausführung der Abbildungen, also
liefert TCA⋅a das gleiche Ergebnis.