|
==Definitie==
Matrixvermenigvuldiging van een matrix ''<math>A''</math> met een matrix ''<math>B''</math> is alleen mogelijk als het aantal kolommen van de eerste matrix gelijk is aan het aantal rijen van de tweede matrix. Stel daarom dat ''<math>A''</math> een ''<math>m''×''\times n''</math>-matrix is en ''<math>B''</math> een ''<math>n''×''\times p''</math>-matrix. Het '''matrixproduct''' ''<math>AB''</math> is dan een ''<math>m''×''\times p''</math>-matrix gegeven door:
:<math> (AB)_{ij} = \sum_{r=1}^n a_{ir}b_{rj} = a_{i1}b_{1j} + a_{i2}b_{2j} + \cdots + a_{in}b_{nj}. </math>
voor elk paar ''<math>i''</math> en ''<math>j''.</math> Hier staat <math>(''AB'')<sub>_{ij}</submath> voor het element op positie <math>(''i'', ''j'')</math> in het matrixproduct ''<math>AB''.</math>
De volgende figuur maakt duidelijk hoe men het element <math>(''AB'')<sub>_{12}</submath> van ''<math>AB''</math> bepaalt, als ''A''<math>AB</math> een ''4x2''-matrix is en ''<math>B''</math> een ''2×3''-matrix. Elk paar op de weg van de pijl wordt vermenigvuldigd en de producten worden bij elkaar opgeteld. De positie van het resulterende getal in ''<math>AB''</math> correspondeert met de rij en kolom die werd beschouwd.
:[[Bestand:Matrix multiplication diagram.PNG]]
:<math>(A B)_{12} = \sum_{r=1}^2 a_{1r}b_{r2} = a_{11}b_{12}+a_{12}b_{22}.
</math>
7 & -6 & 17 \\
13 & -4 & 33
\end{bmatrix}.
</math>
Een matrix kan worden opgevat als lineaire afbeelding. Het matrixproduct van twee matrices is dan de samenstelling van beide afbeeldingen.
Zo beeldt in de onderstaande berekening de genoemde matrix de vector <math>(''x,y,z'')</math> af op:
:<math>
\begin{bmatrix} x \\ y \\ z \end{bmatrix}=\begin{bmatrix} x+2y+3z \\ 3x-4y+7z \end{bmatrix}</math>
De matrix in onderstaande berekening beeldt de vector <math>(''a,b'')</math> af op:
:<math>
\begin{bmatrix} a \\ b \end{bmatrix} = \begin{bmatrix} a+2b \\ 4a+3b \end{bmatrix}</math>.
Aan het beeld van <math>(''x,y,z'')</math> onder de eerste matrix voegt de tweede dus toe:
:<math>
\begin{bmatrix}
4 & 3
\end{bmatrix}
\begin{bmatrix} x+2y+3z \\ 3x-4y+7z \end{bmatrix} = \begin{bmatrix} (x+2y+3z)+2(3x-4y+7z) \\ 4(x+2y+3z)+3(3x-4y+7z) \end{bmatrix}=\begin{bmatrix} 7x-6y+17z \\ 13x-4y+33z \end{bmatrix}</math>.
Dit is juist het beeld van de vector <math>(''x,y,z'')</math> onder het product van de twee matrices:
:<math>
\begin{bmatrix}
Matrixvermenigvuldiging heeft de volgende eigenschappen:
*'' <math>A''(''BC'') = (''AB'')''C''</math> ([[associativiteit]])
*'' <math>A''(''B'' + ''C'') = ''AB'' + ''AC''</math> ([[distributiviteit]] links)
* <math>(''B'' + ''C'')''A'' = ''BA'' + ''CA''</math> ([[distributiviteit]] rechts)
*'' <math>r''(''AB'') = (''rA'')''B'' = ''A''(''rB'')</math> voor elk getal ''<math>r''.</math>
*''IA'' <math>I= ''A'' = ''AI''</math>, waarwaarin ''<math>I''</math> de [[eenheidsmatrix]] voorstelt.
* <math>(''AB'')<sup>t</sup> ^\text{T}= ''B''<sup>t</sup>''^\text{T}A''<sup>t^\text{T}</supmath>, waarwaarin <supmath>t{}^\text{T}</supmath> staat voor eende [[getransponeerde matrix]].
Matrixvermenigvuldiging is in het algemeen niet commutatief, dwz,d.w.z. ''in het algemeen zijn <math>AB''</math> en ''<math>BA''</math> zijnniet aan elkaar ongelijkgelijk.
Als ''<math>AB'' = - ''BA'' dan</math>, heten de matrices '''anticommuterend'''.
== Structuureigenschappen van vierkante matrices ==
Wanneer het aantal rijen en het aantal kolommen in een matrix hetzelfde is, heet die matrix vierkant. Als we ons beperken tot [[Vierkante matrix|vierkante matrices]] van gelijke afmeting met elementen in een [[algebraïsch getallenlichaam]] (Nederlands) of getallenveld (Belgisch) ''<math>K'' ,</math> dan vormen deze een [[Algebra (structuur)|associatieve algebra]].
Niet elke vierkante matrix heeft een [[invers element]] voor de vermenigvuldiging. Een matrix is inverteerbaar of omkeerbaar [[dan en slechts dan als]] de [[determinant]] van die matrix ongelijk is aan nul. De omkeerbare matrices van gelijke afmeting vormen een [[Groep (wiskunde)|groep]] voor de matrixvermenigvuldiging: de [[Algemene lineaire groep|lineaire groep]].
==Formele matrixvermenigvuldiging==
Soms wordt de formule voor matrixvermenigvuldiging van een matrix ''<math>A''</math> met een matrix ''<math>B'' ook weleens</math> toegepast als de elementen van de matrices niet allemaal elementen van een lichaam/veld zijn. AlsDat ''B''kan éénals kolomde heeftbetrokken vermenigvuldigingen en optellingen gedefiniëerd zijn, dus bijvoorbeeld als de elementen van <math>A</math> gewoon de elementen van een lichaam/veld zijn, maar de <math>b_j</math> vectoren zijn uit een vectorruimte <math>V</math> over hetzelfde lichaam/veld. Hierbij wordt dus een gewone matrix vermenivuldigd met (een kolomvector waarvan ieder element een vector uit <math>V</math> is). betreftHet ditresultaat bijvoorbeeldis deook formuleweer een kolomvector waarvan ieder element een vector uit <math>V</math> is. Zie bijvoorbeeld [[Basistransformatie]].
:<math> (Ab)_{i} = \sum_{j=1}^n a_{ij}b_{j} </math>.
Dat kan als de betrokken vermenigvuldigingen en optellingen gedefiniëerd zijn, dus bijvoorbeeld als de elementen van ''A'' gewoon de elementen van een lichaam/veld zijn, maar de <math>b_{j}</math> vectoren zijn uit een vectorruimte ''V'' over hetzelfde lichaam/veld. Hierbij wordt dus een gewone matrix vermenivuldigd met een kolomvector waarvan ieder element een vector uit ''V'' is, en is het resultaat ook weer een kolomvector waarvan ieder element een vector uit ''V'' is. Zie bijvoorbeeld [[Basistransformatie]].
Er geldt met ''<math>A''</math> en ''<math>B''</math> gewone matrices nog steeds
*<math> A(Bc)=(AB)c </math>,
dus als A inverteerbaar is ook
*<math> A(A^{-1}c)=c </math>
Verder:
*<math> (Ab)^\text{T}=b^TA\text{T}A^\text{T }</math>
waarbij een vector maal een scalar wordt gedefinieerd als de scalar maal de vector.
| 