Matrizenmultiplikation – „Mathe für Nicht-Freaks“

In diesem Artikel überlegen wir uns, wie man eine Multiplikation für Matrizen definieren kann. Wir werden sehen, dass die Matrizenmultiplikation der Komposition linearer Abbildungen entspricht. Außerdem beweisen wir einige Eigenschaften der Matrixmultiplikation.

Im Artikel zu Abbildungsmatrizen haben wir gelernt, wie wir mithilfe von Matrizen lineare Abbildungen ${\displaystyle f\colon V\to W}$ zwischen endlichdimensionalen Vektorräumen ${\displaystyle V}$ und ${\displaystyle W}$ beschreiben können. Dafür wählen wir zuerst eine Basis ${\displaystyle B}$ von ${\displaystyle V}$ und ${\displaystyle C}$ von ${\displaystyle W}$ und bilden dann die Abbildungsmatrix ${\displaystyle M_{C}^{B}(f)}$. Diese beschreibt auf der Ebene von Koordinaten, was die lineare Abbildung ${\displaystyle f}$ mit einem Vektor ${\displaystyle v\in V}$ macht: Es gilt

${\displaystyle M_{C}^{B}(f)\cdot k_{B}(v)=k_{C}(f(v))}$

wobei ${\displaystyle k_{B}\colon V\to K^{n}}$ die Koordinatenabbildung bzgl. ${\displaystyle B}$ ist, die einen Vektor ${\displaystyle v=\lambda _{1}\cdot b_{1}+\ldots +\lambda _{n}\cdot b_{n}}$ auf den Koordinatenvektor ${\displaystyle (\lambda _{1},\ldots ,\lambda _{n})^{T}}$ bzgl. ${\displaystyle B}$ abbildet. Analog ist ${\displaystyle k_{C}\colon W\to K^{m}}$ die Koordinatenabbildung bzgl. ${\displaystyle C}$.

Lineare Abbildungen ${\displaystyle f\colon V\to W}$ und ${\displaystyle g\colon W\to X}$ können wir durch Hintereinanderausführung miteinander verknüpfen und erhalten eine lineare Abbildung ${\displaystyle g\circ f\colon V\to X}$. Können wir eine passende Verknüpfung auf Matrizen definieren? Mit passend ist gemeint, dass die Verknüpfung der entsprechenden Abbildungsmatrizen die verknüpfte lineare Abbildung beschreiben soll.

Betrachten wir zum Beispiel zwei Matrizen ${\displaystyle A\in K^{m\times l}}$ und ${\displaystyle B\in K^{p\times n}}$ mit den entsprechenden linearen Abbildungen

${\displaystyle f_{A}\colon K^{l}\to K^{m},\quad x\mapsto Ax}$

und

${\displaystyle f_{B}\colon K^{p}\to K^{n},\quad x\mapsto Bx}$

gegeben durch Matrix-Vektor-Multiplikation. Dann ist ${\displaystyle A}$ die Abbildungsmatrix von ${\displaystyle f_{A}}$ (bzgl. der Standardbasen in ${\displaystyle K^{l}}$ und ${\displaystyle K^{m}}$) und ${\displaystyle B}$ ist die Abbildungsmatrix von ${\displaystyle f_{B}}$ (bzgl. der Standardbasen in ${\displaystyle K^{p}}$ und ${\displaystyle K^{n}}$). Die Verknüpfung ${\displaystyle A\cdot B}$ von ${\displaystyle A}$ und ${\displaystyle B}$ sollte die Abbildungsmatrix von ${\displaystyle f_{A}\circ f_{B}}$ sein.

Um jedoch die Abbildungen ${\displaystyle f_{A}}$ und ${\displaystyle f_{B}}$ hintereinander ausführen zu können, muss der Zielraum von ${\displaystyle f_{B}}$ gleich der Definitionsmenge von ${\displaystyle f_{A}}$ sein. Das heißt, es soll ${\displaystyle K^{p}=K^{l}}$, also ${\displaystyle p=l}$ sein. Also muss die Anzahl der Spalten von ${\displaystyle A}$ gleich der Anzahl der Zeilen von ${\displaystyle B}$ sein, damit wir die Matrizen zu einer neuen Matrix ${\displaystyle A\cdot B}$ verknüpfen können.

Wir wollen uns überlegen, wie die Verknüpfung ${\displaystyle A\cdot B}$ von ${\displaystyle A}$ und ${\displaystyle B}$ aussehen sollte, indem wir die Abbildungsmatrix von ${\displaystyle f_{A}\circ f_{B}\colon K^{n}\to K^{m}}$ bestimmen. Dafür müssen wir die Bilder der Standardbasisvektoren ${\displaystyle e_{1},\ldots ,e_{n}\in K^{n}}$ unter der Abbildung ${\displaystyle f_{A}\circ f_{B}}$ berechnen. Sie bilden dann die Spalten der Abbildungsmatrix von ${\displaystyle f_{A}\circ f_{B}}$.

Wir bezeichnen die Einträge von ${\displaystyle A}$ mit ${\displaystyle a_{ij}}$ und die von ${\displaystyle B}$ mit ${\displaystyle b_{ij}}$, das heißt ${\displaystyle A=(a_{ij})\in K^{m\times p}}$ und ${\displaystyle B=(b_{ij})\in K^{p\times n}}$. Außerdem bezeichnen wir die gesuchte Abbildungsmatrix von ${\displaystyle f_{A}\circ f_{B}}$ mit ${\displaystyle C=(c_{ij})\in K^{m\times n}}$.

Für ${\displaystyle i\in \{1,\ldots ,m\}}$ und ${\displaystyle j\in \{1,\ldots ,n\}}$ ist der Eintrag ${\displaystyle c_{ij}}$ per Definition der darstellenden Matrix von ${\displaystyle f_{A}\circ f_{B}}$ gegeben durch den ${\displaystyle i}$-ten Eintrag des Vektors ${\displaystyle f_{A}(f_{B}(e_{j}))\in K^{m}}$. Diesen können wir mithilfe der Definition von ${\displaystyle f_{A}}$ und ${\displaystyle f_{B}}$ unter Verwendung der Definition der Matrix-Vektor-Multiplikation leicht berechnen:

${\displaystyle {\begin{aligned}c_{ij}=&(f_{A}(f_{B}(e_{j})))_{i}\\[0.3em]=&(A\cdot (f_{B}(e_{j})))_{i}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition der Matrix-Vektor-Multiplikation von }}A\right.}\\[0.3em]=&\sum _{k=1}^{n}a_{ik}(f_{B}(e_{j}))_{k}\\[0.3em]=&\sum _{k=1}^{n}a_{ik}(B\cdot e_{j})_{k}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ (B\cdot e_{j})_{k}=b_{kj}\right.}\\[0.3em]=&\sum _{k=1}^{n}a_{ik}b_{kj}\end{aligned}}}$

Damit sind alle Einträge der Matrix ${\displaystyle C}$ definiert und es gilt

${\displaystyle C=(\sum _{k=1}^{n}a_{ik}b_{kj})_{i,j}\in K^{m\times n}.}$

Wir nennen ${\displaystyle C}$ das Produkt der beiden Matrizen ${\displaystyle A}$ und ${\displaystyle B}$ und schreiben ${\displaystyle C=A\cdot B}$ für die Matrixmultiplikation.

Mathematisch können wir die Matrizenmultiplikation auch als Verknüpfung (ähnlich wie die Multiplikation von reellen Zahlen) auffassen.

Definition (Matrixmultiplikation)

Die Matrixmultiplikation ist eine Verknüpfung

${\displaystyle \cdot \,\colon K^{m\times p}\times K^{p\times n}\to K^{m\times n}}$.

Sie bildet zwei Matrizen ${\displaystyle A=(a_{ij})\in K^{m\times p}}$ und ${\displaystyle B=(b_{ij})\in K^{p\times n}}$ auf die Matrix ${\displaystyle A\cdot B=C=(c_{ij})\in K^{m\times n}}$ ab, wobei

${\displaystyle c_{ij}=\sum _{k=1}^{p}a_{ik}b_{kj}}$

für ${\displaystyle i\in \{1,\ldots ,m\}}$ und ${\displaystyle j\in \{1,\ldots ,n\}}$.

Allerdings gibt es einen wichtigen Unterschied zur Multiplikation von reellen Zahlen: Bei Matrizen müssen wir beachten, dass die Dimensionen der Matrizen, die wir multiplizieren wollen, zusammenpassen.

Merkregel: Zeile mal Spalte

Nach der Definition ist jeder Eintrag im Produkt ${\displaystyle A\cdot B}$ die komponentenweise Multiplikation der Elemente der ${\displaystyle i}$-ten Zeile von ${\displaystyle A}$ mit der ${\displaystyle k}$-ten Spalte von ${\displaystyle B}$ und die Summation all dieser Produkte. Dieses Vorgehen kann man sich merken als Zeile mal Spalte, wie es in der Abbildung rechts gezeigt ist. Beim Rechnen kann das Falksche Schema helfen, um mit Zeilen und Spalten nicht durcheinander zu kommen.

Wir betrachten die folgenden zwei Matrizen ${\displaystyle A\in \mathbb {R} ^{2\times 3}}$ und ${\displaystyle B\in \mathbb {R} ^{3\times 4}}$:

${\displaystyle {\begin{aligned}A={\begin{pmatrix}2&0&-1\\0&1&3\end{pmatrix}}{\text{ und}}\\[0.5em]B={\begin{pmatrix}1&0&-1&0\\1&3&-2&-1\\0&0&1&2\end{pmatrix}}\end{aligned}}}$

Wir suchen das Matrixprodukt ${\displaystyle C=A\cdot B\in \mathbb {R} ^{2\times 4}}$. Diese Matrix hat die Form

${\displaystyle C={\begin{pmatrix}c_{11}&c_{12}&c_{13}&c_{14}\\c_{21}&c_{22}&c_{23}&c_{24}\end{pmatrix}}}$

Wir müssen die einzelnen Einträge ${\displaystyle c_{ik}}$ berechnen. Das machen wir hier einmal ausführlich für den Eintrag ${\displaystyle c_{23}}$. Die Berechnung der anderen Einträge funktioniert ähnlich.

Laut Formel gilt

${\displaystyle {\begin{aligned}c_{23}=&\sum _{j=1}^{3}a_{2j}b_{j3}\\=&a_{21}b_{13}+a_{22}b_{23}+a_{23}b_{33}\\&{\color {OliveGreen}\left\downarrow {\text{ Aus den Matrizen }}A{\text{ und }}B{\text{ die Einträge ablesen}}\right.}\\=&0\cdot (-1)+1\cdot (-2)+3\cdot 1\\=&1\end{aligned}}}$

Diese Berechnung kann man sich auch als "Multiplikation" der 2. Zeile von ${\displaystyle A}$ mit der 3.Spalte von ${\displaystyle B}$ merken. Um das zu veranschaulichen markieren wir die Einträge aus der Summe in den Matrizen. Wir haben die Summe

${\displaystyle c_{23}={\color {Orange}0}\cdot {\color {RoyalBlue}(-1)}+{\color {Orange}1}\cdot {\color {RoyalBlue}(-2)}+{\color {Orange}3}\cdot {\color {RoyalBlue}1}}$

In den Matrizen sind das folgende Einträge:

${\displaystyle {\begin{aligned}A={\begin{pmatrix}2&0&-1\\{\color {Orange}0}&{\color {Orange}1}&{\color {Orange}3}\end{pmatrix}}{\text{ und }}B={\begin{pmatrix}1&0&{\color {RoyalBlue}-1}&0\\1&3&{\color {RoyalBlue}-2}&-1\\0&0&{\color {RoyalBlue}1}&2\end{pmatrix}}\end{aligned}}}$

So kann man auch die anderen Einträge von ${\displaystyle C}$ bestimmen und erhält

${\displaystyle C={\begin{pmatrix}2&0&-3&-2\\1&3&1&5\end{pmatrix}}}$

Wir betrachten folgende Matrizen ${\displaystyle A\in \mathbb {R} ^{1\times 3}}$ und ${\displaystyle B\in \mathbb {R} ^{3\times 1}}$:

${\displaystyle A={\begin{pmatrix}5&2&-1\end{pmatrix}}{\text{ und }}B={\begin{pmatrix}1\\0\\4\end{pmatrix}}}$

In diesem Fall können wir sowohl ${\displaystyle A\cdot B}$ als auch ${\displaystyle B\cdot A}$ berechnen. Sei ${\displaystyle C:=A\cdot B}$. Dann ist ${\displaystyle C}$ eine ${\displaystyle 1\times 1}$-Matrix ${\displaystyle C=(c_{11})}$. Wir berechnen den Eintrag:

${\displaystyle {\begin{aligned}c_{11}=5\cdot 1+2\cdot 0+(-1)\cdot 4=1\end{aligned}}}$

Also ist ${\displaystyle A\cdot B=(1)}$.

Sei ${\displaystyle D:=B\cdot A}$. Dann ist ${\displaystyle D}$ eine ${\displaystyle 3\times 3}$-Matrix. Wir können die Einträge von ${\displaystyle D}$ durch "Zeile mal Spalte" berechnen. Zum Beispiel ist der erste Eintrag von ${\displaystyle D}$ die erste Zeile von ${\displaystyle B}$ mal die erste Spalte von ${\displaystyle A}$, d.h. ${\displaystyle 1\cdot 5=5}$. Machen wir das mit jedem Eintrag, erhalten wir

${\displaystyle B\cdot A=D={\begin{pmatrix}5&2&-1\\0&0&0\\20&8&-4\end{pmatrix}}}$

In diesem Beispiel wollen wir uns klarmachen, dass die Matrixmulitplikation tatsächlich die Verknüpfung der einzelnen Abbildungen ist. Was ist damit gemeint? Wenn wir zwei Matrizen ${\displaystyle A}$ und ${\displaystyle B}$ haben, die wir miteinander verknüpfen können, und einen Vektor ${\displaystyle v}$, dann sollte ${\displaystyle (A\cdot B)v=A(Bv)}$ sein. Um uns das verständlicher zu machen, betrachten wir folgendes Beispiel: Seien ${\displaystyle A\in \mathbb {C} ^{2\times 2}}$ und ${\displaystyle B\in \mathbb {C} ^{2\times 3}}$ die folgenden Matrizen mit Einträgen in ${\displaystyle \mathbb {C} }$:

${\displaystyle A={\begin{pmatrix}2\mathrm {i} &0\\-1&2\end{pmatrix}}{\text{ und }}B={\begin{pmatrix}1&1-2\mathrm {i} &-1\\1+\mathrm {i} &2-\mathrm {i} &0\end{pmatrix}}}$

Sei außerdem ${\displaystyle v=(2,0,1)^{T}}$. Wir prüfen nach, dass ${\displaystyle (A\cdot B)v=A(Bv)}$. Dafür berechnen wir zunächst das Matrixprodukt ${\displaystyle A\cdot B}$:

${\displaystyle A\cdot B={\begin{pmatrix}2\mathrm {i} &4+2\mathrm {i} &-2\mathrm {i} \\1+2\mathrm {i} &3&1\end{pmatrix}}}$

Nun multiplizieren wir diese Matrix mit ${\displaystyle v}$:

${\displaystyle (A\cdot B)v={\begin{pmatrix}2\mathrm {i} &4+2\mathrm {i} &-2\mathrm {i} \\1+2\mathrm {i} &3&1\end{pmatrix}}{\begin{pmatrix}2\\0\\1\end{pmatrix}}={\begin{pmatrix}2\mathrm {i} \\3+4\mathrm {i} \end{pmatrix}}}$

Als nächstes berechnen wir ${\displaystyle A(Bv)}$.

${\displaystyle Bv=B={\begin{pmatrix}1&1-2\mathrm {i} &-1\\1+\mathrm {i} &2-\mathrm {i} &0\end{pmatrix}}{\begin{pmatrix}2\\0\\1\end{pmatrix}}={\begin{pmatrix}1\\2+2\mathrm {i} \end{pmatrix}}}$

Auf diesen Vektor wenden wir jetzt ${\displaystyle A}$ an:

${\displaystyle A(Bv)={\begin{pmatrix}2\mathrm {i} &0\\-1&2\end{pmatrix}}{\begin{pmatrix}1\\2+2\mathrm {i} \end{pmatrix}}={\begin{pmatrix}2\mathrm {i} \\3+4\mathrm {i} \end{pmatrix}}}$

Tatsächlich gilt hier ${\displaystyle (A\cdot B)v=A(Bv)}$.

Wir sammeln ein paar Eigenschaften der Matrixmultiplikation.

Der folgende Satz zeigt, dass die Matrixmultiplikation tatsächlich die Verknüpfung linearer Abbildungen widerspiegelt.

Satz (Abbildungsmatrizen und Komposition linearer Abbildungen)

Seien ${\displaystyle f\colon V\to W}$ und ${\displaystyle g\colon W\to X}$ lineare Abbildungen zwischen endlichdimensionalen Vektorräumen. Seien ferner ${\displaystyle B=\{v_{1},\ldots ,v_{m}\}}$ eine Basis von ${\displaystyle V}$, ${\displaystyle C=\{w_{1},\ldots ,w_{n}\}}$ eine Basis von ${\displaystyle W}$ und ${\displaystyle D=\{x_{1},\ldots ,x_{s}\}}$ eine Basis von ${\displaystyle X}$. Dann gilt

${\displaystyle M_{D}^{B}(g\circ f)=M_{D}^{C}(g)\cdot M_{C}^{B}(f).}$

Beweis (Abbildungsmatrizen und Komposition linearer Abbildungen)

Sei ${\displaystyle h=g\circ f}$ und sei ${\displaystyle (h_{ij})_{ij}=M_{D}^{B}(h)\in K^{s\times m}}$. Seien außerdem ${\displaystyle M_{C}^{B}(f)=(f_{ij})_{ij}\in K^{n\times m}}$ bzw. ${\displaystyle M_{D}^{C}(g)=(g_{ij})_{ij}\in K^{s\times n}}$ die darstellenden Matrizen von ${\displaystyle f}$ bzw. ${\displaystyle g}$.

Nach Definition der darstellenden Matrix wissen wir, dass die ${\displaystyle h_{ij}}$ die eindeutigen Skalare sind, sodass

${\displaystyle h(v_{j})=\sum _{i=1}^{s}h_{ij}x_{i}}$

für alle ${\displaystyle j\in \{1,\ldots ,m\}}$ gilt. Um ${\displaystyle (h_{ij})=(g_{ij})(f_{ij})}$ zu beweisen, müssen wir

${\displaystyle h_{ij}=\sum _{k=1}^{n}g_{ik}f_{kj}}$

nachrechnen. In der Tat sehen wir:

${\displaystyle {\begin{aligned}h(v_{j})&=\,g(f(v_{j}))\\[0.3em]&{\color {OliveGreen}\left\downarrow {\text{Definition von }}M_{C}^{B}(f)\right.}\\[0.3em]&=\,g\left(\sum _{k=1}^{n}f_{kj}w_{k}\right)\\[0.3em]&{\color {OliveGreen}\left\downarrow {\text{Linearität von }}g\right.}\\[0.3em]&=\,\sum _{k=1}^{n}f_{kj}g(w_{k})\\[0.3em]&{\color {OliveGreen}\left\downarrow {\text{Definition von }}M_{D}^{C}(g)\right.}\\[0.3em]&=\,\sum _{k=1}^{n}f_{kj}\sum _{i=1}^{s}g_{ik}x_{i}\\[0.3em]&=\,\sum _{i=1}^{s}\left(\sum _{k=1}^{n}g_{ik}f_{kj}\right)x_{i}.\end{aligned}}}$

Wegen der Eindeutigkeit der Koordinaten in der Linearkombination der ${\displaystyle x_{i}}$ folgt ${\displaystyle h_{ij}=\sum _{k=1}^{n}g_{ik}f_{kj}}$.

Warnung

Für die Kürzungsregel ist es wichtig, dass bei den darstellenden Matrizen von ${\displaystyle f}$ und ${\displaystyle g}$ in beiden Fällen dieselbe geordnete Basis ${\displaystyle C}$ von ${\displaystyle W}$ gewählt wird. Bildet man ${\displaystyle M_{D}^{\tilde {C}}(g)}$ für eine andere Basis ${\displaystyle {\tilde {C}}\neq C}$ von ${\displaystyle W}$, dann gilt die Kürzungsregel nicht mehr: Die Gleichung

${\displaystyle M_{D}^{B}(g\circ f)=M_{D}^{\tilde {C}}(g)\cdot M_{C}^{B}(f)}$

ist im Allgemeinen falsch. Weil darstellende Matrizen von der Reihenfolge der Basisvektoren abhängen, gilt das auch dann, wenn ${\displaystyle {\tilde {C}}}$ nur eine Umordnung von ${\displaystyle C}$ ist.

Satz (Assoziativität der Matrixmultiplikation)

Für ${\displaystyle A\in K^{m\times n},\,B\in K^{n\times l},\,C\in K^{l\times k}}$ gilt

${\displaystyle (A\cdot B)\cdot C=A\cdot (B\cdot C).}$

Beweis (Assoziativität der Matrixmultiplikation)

Zunächst überprüfen wir, dass die Typen der Matrizen, die wir jeweils multiplizieren möchten, zusammenpassen. Für die Produkte ${\displaystyle A\cdot B}$ und ${\displaystyle B\cdot C}$ ist dies direkt sichtbar. Nun ist ${\displaystyle A\cdot B\in K^{m\times l}}$ und ${\displaystyle B\cdot C\in K^{n\times k}}$, also sind die Produkte auf beiden Seiten des Assoziativgesetzes definiert, beide Ergebnisse liegen in ${\displaystyle K^{m\times k}}$.

Nun betrachten wir die einzelnen Komponenten der Matrizen, um die Gleichheit festzustellen. Es sei ${\displaystyle A=(a_{ij}),\,B=(b_{ij}),\,C=(c_{ij})}$.

${\displaystyle {\begin{aligned}((A\cdot B)\cdot C)_{ij}&=\,\sum _{s=1}^{l}(A\cdot B)_{is}c_{sj}=\\[0.3em]&=\,\sum _{s=1}^{l}\left(\sum _{t=1}^{n}a_{it}b_{ts}\right)c_{sj}\\[0.3em]&{\color {OliveGreen}\left\downarrow {\text{wegen Distributivität in }}K\right.}\\[0.3em]&=\,\sum _{s=1}^{l}\sum _{t=1}^{n}(a_{it}b_{ts})c_{sj}\\[0.3em]&{\color {OliveGreen}\left\downarrow {\text{wegen Assoziativität in }}K\right.}\\[0.3em]&=\,\sum _{s=1}^{l}\sum _{t=1}^{n}a_{it}(b_{ts}c_{sj})\\[0.3em]&{\color {OliveGreen}\left\downarrow {\text{wegen Distributivität in }}K\right.}\\[0.3em]&=\,\sum _{t=1}^{l}a_{it}\left(\sum _{s=1}^{n}b_{ts}c_{sj}\right)\\[0.3em]&=\,(A\cdot (B\cdot C))\end{aligned}}}$

Satz (Verträglichkeit mit Skalarmultiplikation)

Seien ${\displaystyle \beta \in K,\ A=(a_{ij})\in K^{m\times n}}$ und ${\displaystyle B=(b_{ij})\in K^{n\times p}}$, dann gilt:

${\displaystyle \beta \cdot (A\cdot B)=(\beta \cdot A)\cdot B=A\cdot (\beta \cdot B)}$

Beachte, dass hier "${\displaystyle \cdot }$" sowohl die Skalarmultiplikation ("Skalar mal Matrix") als auch die Matrixmultiplikation ("Matrix mal Matrix") bezeichnet.

Beweis (Verträglichkeit mit Skalarmultiplikation)

${\displaystyle {\begin{aligned}(\beta \cdot (A\cdot B))_{ik}&=\,\beta \left(\sum _{j=1}^{n}a_{ij}b_{jk}\right)\\[0.3em]&{\color {OliveGreen}\left\downarrow {\text{wegen Distributivität in }}K\right.}\\[0.3em]&=\,\sum _{j=1}^{n}\beta (a_{ij}b_{jk})\\&{\color {OliveGreen}\left\downarrow {\text{wegen Assoziativität in }}K\right.}\\[0.3em]&=\,\sum _{j=1}^{n}(\beta a_{ij})b_{jk}&=\,((\beta \cdot A)\cdot B)_{ik}\\&{\color {OliveGreen}\left\downarrow {\text{wegen Kommutativität in }}K\right.}\\[0.3em]&=\,\sum _{j=1}^{n}(a_{ij}\beta )b_{jk}\\&{\color {OliveGreen}\left\downarrow {\text{wegen Assoziativität in }}K\right.}\\[0.3em]&=\,\sum _{j=1}^{n}a_{ij}(\beta b_{jk})&=\,(A\cdot (\beta \cdot B))_{ik}\\\end{aligned}}}$

Hier müssen wir besonders darauf achten, dass die Matrizen, die wir multiplizieren wollen, jeweils vom Typ zusammenpassen.

Satz (Erstes Distributivgesetz)

Für ${\displaystyle A=(a_{ij})\in K^{m\times n},\,B=(b_{ij})\in K^{m\times n},\,C=(c_{ij})\in K^{n\times p}}$ gilt

${\displaystyle (A+B)\cdot C=A\cdot C+B\cdot C}$

Satz (Zweites Distributivgesetz)

Für ${\displaystyle A=(a_{ij})\in K^{m\times n},\,B=(b_{ij})\in K^{n\times p},\,C=(c_{ij})\in K^{n\times p}}$ gilt

${\displaystyle A\cdot (B+C)=A\cdot B+A\cdot C}$

Wir bezeichnen die Einträge der Einheitsmatrix mit ${\displaystyle \delta _{ij}}$, d.h. ${\displaystyle I_{m}=(\delta _{ij})}$. Es gilt

${\displaystyle \delta _{ij}={\begin{cases}0&{\text{falls }}i\neq j,\\1&{\text{falls }}i=j.\end{cases}}}$

Satz (Die Einheitsmatrix ist ein links- und rechtsneutrales Element der Matrixmultiplikation)

Sei ${\displaystyle M=(m_{ij})\in K^{m\times n}}$. Dann gilt

${\displaystyle I_{m}\cdot M=M=M\cdot I_{n}}$

Beispiel (Nicht-Kommutativität der ${\displaystyle 2\times 2}$-Matrizen)

In den ${\displaystyle 2\times 2}$-Matrizen können wir die fehlschlagende Kommutativität an folgendem Beispiel sehen: Einerseits ist

${\displaystyle {\begin{pmatrix}1&1\\0&1\end{pmatrix}}\cdot {\begin{pmatrix}0&0\\1&0\end{pmatrix}}={\begin{pmatrix}1&0\\1&0\end{pmatrix}}}$

und andererseits ist

${\displaystyle {\begin{pmatrix}0&0\\1&0\end{pmatrix}}\cdot {\begin{pmatrix}1&1\\0&1\end{pmatrix}}={\begin{pmatrix}0&0\\1&1\end{pmatrix}}}$

Also spielt die Reihenfolge bei der Matrizenmultiplikation eine Rolle.

Hinweis

Multiplizieren wir zwei ${\displaystyle n\times n}$-Matrizen, so ist das Ergebnis wieder eine ${\displaystyle n\times n}$-Matrix. Wir kennen nun also zwei innere Verknüpfungen auf der Menge ${\displaystyle K^{n\times n}}$: die Addition von Matrizen

${\displaystyle +\;\colon K^{n\times n}\to K^{n\times n},\quad (a_{ij})+(b_{ij})=(a_{ij}+b_{ij})}$

sowie die Matrixmultiplikation

${\displaystyle \cdot \;\colon K^{n\times n}\to K^{n\times n},\quad (a_{ij})\cdot (b_{ij})=(\sum _{k=1}^{n}a_{ik}b_{kj}).}$

Aus dem Artikel zur Vektorraumstruktur für Matrizen wissen wir bereits, dass ${\displaystyle (K^{n\times n},+)}$ eine abelsche Gruppe ist. Aus Eigenschaften der Matrixmultiplikation folgt, dass ${\displaystyle (K^{n\times n},+,\cdot )}$ sogar ein Ring mit Eins ist: Die Multiplikation ${\displaystyle \cdot }$ ist assoziativ, es gibt ein neutrales Element ${\displaystyle I_{n}}$ und es gelten die Distributivgesetze.

Der Ring der Matrizen ist jedoch im Allgemeinen nicht kommutativ, wie wir oben gesehen haben. Beachte auch, dass wir eine solche Ringstruktur nur für quadratische Matrizen haben, da andernfalls die Multiplikation zweier Elemente nicht definiert ist.