Vektorraum/Tensorprodukt/Basen/Übergangsmatrix/Fakt/Beweis

Beweis

Nach der Definition der Basiswechselmatrix ist

Somit ist unter Verwendung von Fakt  (3)

und diese Koeffizienten bilden die Basiswechselmatrix.