Endlicher freier Modul/Basiswechsel/Drei Basen/Hintereinanderschaltung/Fakt/Beweis

Beweis

Es sei

${}u_{i}=\sum _{j=1}^{n}a_{ji}v_{j}\,$

und

${}v_{j}=\sum _{k=1}^{n}b_{kj}w_{k}\,.$

Dann ist

${}M_{\mathfrak {v}}^{\mathfrak {u}}={\left(a_{ji}\right)}\,$

und

${}M_{\mathfrak {w}}^{\mathfrak {v}}={\left(b_{kj}\right)}\,.$

Somit ist

${}{\begin{aligned}u_{i}&=\sum _{j=1}^{n}a_{ji}v_{j}\\&=\sum _{j=1}^{n}a_{ji}{\left(\sum _{k=1}^{n}b_{kj}w_{k}\right)}\\&=\sum _{k=1}^{n}{\left(\sum _{j=1}^{n}b_{kj}a_{ji}\right)}w_{k}.\end{aligned}}$

Der Koeffizient vor ${}w_{k}$ ist dabei das Produkt aus der ${}k$-ten Zeile von ${}M_{\mathfrak {w}}^{\mathfrak {v}}$ und der ${}i$-ten Spalte von ${}M_{\mathfrak {v}}^{\mathfrak {u}}$, und dies ist der Eintrag ${}{\left(M_{\mathfrak {w}}^{\mathfrak {u}}\right)}_{ik}$.

Zur bewiesenen Aussage