\(\newcommand{\footnotename}{footnote}\) \(\def \LWRfootnote {1}\) \(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\let \LWRorighspace \hspace \) \(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\) \(\newcommand {\TextOrMath }[2]{#2}\) \(\newcommand {\mathnormal }[1]{{#1}}\) \(\newcommand \ensuremath [1]{#1}\) \(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \) \(\newcommand {\setlength }[2]{}\) \(\newcommand {\addtolength }[2]{}\) \(\newcommand {\setcounter }[2]{}\) \(\newcommand {\addtocounter }[2]{}\) \(\newcommand {\arabic }[1]{}\) \(\newcommand {\number }[1]{}\) \(\newcommand {\noalign }[1]{\text {#1}\notag \\}\) \(\newcommand {\cline }[1]{}\) \(\newcommand {\directlua }[1]{\text {(directlua)}}\) \(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\) \(\newcommand {\protect }{}\) \(\def \LWRabsorbnumber #1 {}\) \(\def \LWRabsorbquotenumber "#1 {}\) \(\newcommand {\LWRabsorboption }[1][]{}\) \(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\) \(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\) \(\def \mathcode #1={\mathchar }\) \(\let \delcode \mathcode \) \(\let \delimiter \mathchar \) \(\def \oe {\unicode {x0153}}\) \(\def \OE {\unicode {x0152}}\) \(\def \ae {\unicode {x00E6}}\) \(\def \AE {\unicode {x00C6}}\) \(\def \aa {\unicode {x00E5}}\) \(\def \AA {\unicode {x00C5}}\) \(\def \o {\unicode {x00F8}}\) \(\def \O {\unicode {x00D8}}\) \(\def \l {\unicode {x0142}}\) \(\def \L {\unicode {x0141}}\) \(\def \ss {\unicode {x00DF}}\) \(\def \SS {\unicode {x1E9E}}\) \(\def \dag {\unicode {x2020}}\) \(\def \ddag {\unicode {x2021}}\) \(\def \P {\unicode {x00B6}}\) \(\def \copyright {\unicode {x00A9}}\) \(\def \pounds {\unicode {x00A3}}\) \(\let \LWRref \ref \) \(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\) \( \newcommand {\multicolumn }[3]{#3}\) \(\require {textcomp}\) \(\newcommand {\opl }[2][]{\bbox [whitesmoke, 3px, border: 1px dashed darkseagreen]{\class {opl-math opl-optie-#1}{#2}}}\) \(\newcommand {\hint }[1]{\class {hint}{#1}}\) \(\newcommand {\aside }[1]{\class {aside}{#1}}\) \(\newcommand {\vov }[1]{\aside {{\vphantom {#1}}^{\textstyle \lower {0.7ex}{\text {`}}}\mkern -1mu\mathopen {}#1\mathclose {}\mkern -1mu{\vphantom {#1}}^{\textstyle \lower {0.7ex}{\text {'}}}}}\) \(\newcommand {\truc }[1]{\class {truc}{#1}}\) \(\newcommand {\N }{\mathbb {N}}\) \(\newcommand {\Z }{\mathbb {Z}}\) \(\newcommand {\Q }{\mathbb {Q}}\) \(\newcommand {\R }{\mathbb {R}}\) \(\newcommand {\C }{\mathbb {C}}\) \(\newcommand {\E }{\mathrm {E}}\) \(\newcommand {\T }{\mathsf {T}}\) \(\newcommand {\dom }{\mathrm {dom}}\) \(\newcommand {\ber }{\mathrm {ber}}\) \(\newcommand {\degree }{^{\circ }}\) \(\newcommand {\Bgsin }{\operatorname {Bgsin}}\) \(\newcommand {\Bgcos }{\operatorname {Bgcos}}\) \(\newcommand {\Bgtan }{\operatorname {Bgtan}}\) \(\newcommand {\Bgcot }{\operatorname {Bgcot}}\) \(\newcommand {\bgsin }{\operatorname {bgsin}}\) \(\newcommand {\bgcos }{\operatorname {bgcos}}\) \(\newcommand {\bgtan }{\operatorname {bgtan}}\) \(\newcommand {\bgcot }{\operatorname {bgcot}}\) \(\newcommand {\qed }{\class {mathesis-qed}{\square }}\) \(\newcommand {\markeercellen }[4][.35]{}\) \(\newcommand {\celpijl }[3]{}\) \(\newcommand {\weq }{\ifnextchar [{\weqmet }{\weqzonder }}\) \(\def \weqmet [#1]{\ifnextchar [{\weqtwee {#1}}{\weqeen {#1}}}\) \(\def \weqtwee #1[#2]#3{\mathrel {\overset {#1}{\underset {#2}{#3}}}}\) \(\def \weqeen #1#2{\mathrel {\overset {#1}{#2}}}\) \(\def \weqzonder #1{\mathrel {#1}}\) \(\newcommand {\shortstack }[2][]{\substack {#2}}\) \(\newcommand {\scriptsize }{}\) \(\newcommand {\tiny }{}\) \(\newcommand {\tvmax }[1]{\begin {array}{c} \scriptstyle \text {max} \\[-0.8ex] \scriptstyle =#1 \end {array}}\) \(\newcommand {\tvmin }[1]{\begin {array}{c} \scriptstyle \text {min} \\[-0.8ex] \scriptstyle =#1 \end {array}}\) \(\newcommand {\markeerterm }[2]{#2}\) \(\newcommand {\lightning }{\unicode {x21AF}}\) \(\newcommand {\arceervak }{\enclose {updiagonalstrike}{\phantom {\rule {0em}{1.2ex}}}\kern -0.33em}\) \(\newcommand {\undefsign }{\class {undefsign}{\arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak \arceervak }}\) \(\newcommand {\intertext }[1]{\text {#1}\notag \\}\) \(\let \Hat \hat \) \(\let \Check \check \) \(\let \Tilde \tilde \) \(\let \Acute \acute \) \(\let \Grave \grave \) \(\let \Dot \dot \) \(\let \Ddot \ddot \) \(\let \Breve \breve \) \(\let \Bar \bar \) \(\let \Vec \vec \) \(\require {mathtools}\) \(\newcommand {\vcentcolon }{\mathrel {\unicode {x2236}}}\) \(\newcommand {\approxcolon }{\approx \vcentcolon }\) \(\newcommand {\Approxcolon }{\approx \dblcolon }\) \(\newcommand {\simcolon }{\sim \vcentcolon }\) \(\newcommand {\Simcolon }{\sim \dblcolon }\) \(\newcommand {\dashcolon }{\mathrel {-}\vcentcolon }\) \(\newcommand {\Dashcolon }{\mathrel {-}\dblcolon }\) \(\newcommand {\colondash }{\vcentcolon \mathrel {-}}\) \(\newcommand {\Colondash }{\dblcolon \mathrel {-}}\) \(\newenvironment {crampedsubarray}[1]{}{}\) \(\newcommand {\smashoperator }[2][]{#2\limits }\) \(\newcommand {\SwapAboveDisplaySkip }{}\) \(\newcommand {\LaTeXunderbrace }[1]{\underbrace {#1}}\) \(\newcommand {\LaTeXoverbrace }[1]{\overbrace {#1}}\) \(\Newextarrow \xLongleftarrow {10,10}{0x21D0}\) \(\Newextarrow \xLongrightarrow {10,10}{0x21D2}\) \(\let \xlongleftarrow \xleftarrow \) \(\let \xlongrightarrow \xrightarrow \) \(\newcommand {\LWRmultlined }[1][]{\begin {multline*}}\) \(\newenvironment {multlined}[1][]{\LWRmultlined }{\end {multline*}}\) \(\let \LWRorigshoveleft \shoveleft \) \(\renewcommand {\shoveleft }[1][]{\LWRorigshoveleft }\) \(\let \LWRorigshoveright \shoveright \) \(\renewcommand {\shoveright }[1][]{\LWRorigshoveright }\) \(\newcommand {\shortintertext }[1]{\text {#1}\notag \\}\) \(\newcommand {\bm }[1]{\boldsymbol {#1}}\) \(\newcommand {\toprule }[1][]{\hline }\) \(\let \midrule \toprule \) \(\let \bottomrule \toprule \) \(\def \LWRbooktabscmidruleparen (#1)#2{}\) \(\newcommand {\LWRbooktabscmidrulenoparen }[1]{}\) \(\newcommand {\cmidrule }[1][]{\ifnextchar (\LWRbooktabscmidruleparen \LWRbooktabscmidrulenoparen }\) \(\newcommand {\morecmidrules }{}\) \(\newcommand {\specialrule }[3]{\hline }\) \(\newcommand {\addlinespace }[1][]{}\) \(\newcommand {\LWRnicearrayarray }[1]{\begin {array}{#1}}\) \(\def \LWRnicearrayarrayopt #1[#2] {\begin {array}{#1}}\) \(\newenvironment {NiceArray}[2][]{\ifnextchar [{\LWRnicearrayarrayopt {#2}}{\LWRnicearrayarray {#2}}}{\end {array}}\) \(\newcommand {\LWRnicearraywithdelimtwo }[2][]{\ifnextchar [{\LWRnicearrayarrayopt {#2}}{\LWRnicearrayarray {#2}}}\) \(\newenvironment {NiceArrayWithDelims}[2]{\def \LWRnicearrayrightdelim {\right #2}\left #1\LWRnicearraywithdelimtwo }{\end {array}\LWRnicearrayrightdelim }\) \(\newenvironment {pNiceArray} {\begin {NiceArrayWithDelims}{(}{)}} {\end {NiceArrayWithDelims}} \) \(\newenvironment {bNiceArray} {\begin {NiceArrayWithDelims}{[}{]}} {\end {NiceArrayWithDelims}} \) \(\newenvironment {BNiceArray} {\begin {NiceArrayWithDelims}{\{}{\}}} {\end {NiceArrayWithDelims}} \) \(\newenvironment {vNiceArray} {\begin {NiceArrayWithDelims}{\vert }{\vert }} {\end {NiceArrayWithDelims}} \) \(\newenvironment {VNiceArray} {\begin {NiceArrayWithDelims}{\Vert }{\Vert }} {\end {NiceArrayWithDelims}} \) \(\newenvironment {NiceMatrix}[1][]{\begin {matrix}}{\end {matrix}}\) \(\newenvironment {pNiceMatrix}[1][]{\begin {pmatrix}}{\end {pmatrix}}\) \(\newenvironment {bNiceMatrix}[1][]{\begin {bmatrix}}{\end {bmatrix}}\) \(\newenvironment {BNiceMatrix}[1][]{\begin {Bmatrix}}{\end {Bmatrix}}\) \(\newenvironment {vNiceMatrix}[1][]{\begin {vmatrix}}{\end {vmatrix}}\) \(\newenvironment {VNiceMatrix}[1][]{\begin {Vmatrix}}{\end {Vmatrix}}\) \(\newcommand {\LWRnicematrixBlock }[1]{#1}\) \(\def \LWRnicematrixBlockopt <#1>#2{#2}\) \(\newcommand {\Block }[2][]{\ifnextchar <\LWRnicematrixBlockopt \LWRnicematrixBlock }\) \(\newcommand {\diagbox }[2]{\begin {array}{l}\hfill \quad #2\\\hline #1\quad \hfill \end {array}}\) \(\let \hdottedline \hdashline \) \(\newcommand {\Hline }[1][]{\hline }\) \(\newcommand {\CodeBefore }{}\) \(\newcommand {\Body }{}\) \(\newcommand {\CodeAfter }{}\) \(\newcommand {\line }[3][]{}\) \(\newcommand {\RowStyle }[2][]{}\) \(\newcommand {\LWRSubMatrix }[1][]{}\) \(\newcommand {\SubMatrix }[4]{\LWRSubMatrix }\) \(\newcommand {\OverBrace }[4][]{}\) \(\newcommand {\UnderBrace }[4][]{}\) \(\newcommand {\HBrace }[3][]{}\) \(\newcommand {\VBrace }[3][]{}\) \(\newcommand {\ShowCellNames }{}\) \(\newcommand {\tabularnote }[2][]{}\) \(\newcommand {\cellcolor }[3][]{}\) \(\newcommand {\rowcolor }[3][]{}\) \(\newcommand {\LWRrowcolors }[1][]{}\) \(\newcommand {\rowcolors }[4][]{\LWRrowcolors }\) \(\newcommand {\rowlistcolors }[3][]{\LWRrowcolors }\) \(\newcommand {\columncolor }[3][]{}\) \(\newcommand {\rectanglecolor }[4][]{}\) \(\newcommand {\arraycolor }[2][]{}\) \(\newcommand {\chessboardcolors }[3][]{}\) \(\newcommand {\ldots }[1][]{\dots }\) \(\newcommand {\Cdots }[1][]{\cdots }\) \(\newcommand {\Vdots }[1][]{\vdots }\) \(\newcommand {\Ddots }[1][]{\ddots }\) \(\newcommand {\Iddots }[1][]{\mathinner {\unicode {x22F0}}}\) \(\newcommand {\Hdotsfor }[1]{\ldots }\) \(\newcommand {\Vdotsfor }[1]{\vdots }\) \(\newcommand {\AutoNiceMatrix }[2]{\text {(AutoNiceMatrix #1)}}\) \(\let \pAutoNiceMatrix \AutoNiceMatrix \) \(\let \bAutoNiceMatrix \AutoNiceMatrix \) \(\let \BAutoNiceMatrix \AutoNiceMatrix \) \(\let \vAutoNiceMatrix \AutoNiceMatrix \) \(\let \VAutoNiceMatrix \AutoNiceMatrix \) \(\require {cancel}\) \(\newcommand {\LWRsubmultirow }[2][]{#2}\) \(\newcommand {\LWRmultirow }[2][]{\LWRsubmultirow }\) \(\newcommand {\multirow }[2][]{\LWRmultirow }\) \(\newcommand {\mrowcell }{}\) \(\newcommand {\mcolrowcell }{}\) \(\newcommand {\STneed }[1]{}\) \(\newcommand {\LWRldelimtwo }[1][]{\text {#1}~\LWRbigdelim }\) \(\newcommand {\LWRldelimone }[2][]{\LWRldelimtwo }\) \(\def \ldelim #1#2{\def \LWRbigdelim {#1}\LWRldelimone }\) \(\newcommand {\LWRrdelimtwo }[1][]{\LWRbigdelim ~\text {#1}}\) \(\newcommand {\LWRrdelimone }[2][]{\LWRrdelimtwo }\) \(\def \rdelim #1#2{\def \LWRbigdelim {#1}\LWRrdelimone }\) \(\newcommand {\by }{\times }\)

Hoofdstuk 1

Matrices

(-tikz- diagram)

Leerplandoelstellingen (GO! Navigator)

Gevorderde wiskunde (WD3_06.08)

  • • WD3_06.08.12 (MD 06.08.01) De leerlingen voeren bewerkingen uit met matrices: optelling, scalaire vermenigvuldiging, matrixvermenigvuldiging, machtsverheffing en transpositie.

    • – afbakening: rekenregels en eigenschappen

  • • WD3_06.08.13 (MD 06.08.02) De leerlingen gebruiken matrixmodellen om evoluties te beschrijven.

    • – afbakening: migratiematrices, Lesliematrices, matrixvoorstelling van een graaf

    • – afbakening: evenwichtstoestand

Didactische uitwerking: het begrip matrix en de bijzondere matrices, gelijkheid van matrices, de getransponeerde matrix, de som van matrices en het product met een reëel getal met hun eigenschappen (commutatieve groep, reële vectorruimte), het product van matrices, de macht van een vierkante matrix en de eigenschappen van dat product (niet-commutatieve ring met eenheidselement), en toepassingen met overgangs-, migratie- en Lesliematrices.

I Inleiding

Zie handboek VBTL - Matrices, inleidend voorbeeld p 9.

II Definitie

1 Algemeen

Het schema van reële getallen

\[ \begin {pmatrix} a_{11}&a_{12}&a_{13}&\cdots &a_{1n}\\ a_{21}&a_{22}&a_{23}&\cdots &a_{2n}\\ \vdots &\vdots &\vdots & &\vdots \\ a_{m1}&a_{m2}&a_{m3}&\cdots &a_{mn} \end {pmatrix} \]

Klik op een element: de rij en de kolom waarin het staat, lichten op. Met de knoppen verander je het aantal rijen en kolommen, en dus de orde van de matrix.

noemen we een matrix met \(m\) rijen en \(n\) kolommen, kort een \(m\by n\)-matrix.

2 Bijzonder geval: \(2\by 2\)-matrix

Voor \(a,b,c,d\in \mathbb {R}\) noemen we

\[ \begin {pmatrix}a&b\\ c&d\end {pmatrix} \]

een matrix met \(2\) rijen en \(2\) kolommen, kort een \(2\by 2\)-matrix. De getallen \(a\), \(b\), \(c\) en \(d\) noemen we de elementen van de matrix.

3 Notatie

Rond de elementen schrijven we haken. Daarvoor bestaan er twee gebruiken: ronde haken en vierkante haken. Beide betekenen precies hetzelfde.

\[ A=\begin {pmatrix}1&-2&0\\3&5&4\end {pmatrix} \qquad \text {of}\qquad A=\begin {bmatrix}1&-2&0\\3&5&4\end {bmatrix} \]

Ik gebruik graag ronde haken. Jij kiest voor jezelf.

Let op: verticale strepen betekenen iets anders. Die noteren geen matrix, maar een getal: de determinant van een vierkante matrix (zie het volgende hoofdstuk).

\[ \begin {pmatrix}1&-2\\3&5\end {pmatrix}\ \text {is een matrix,} \qquad \begin {vmatrix}1&-2\\3&5\end {vmatrix}\ \text {is een getal.} \]

4 Opmerkingen
  • • \(a_{ij}\) is het element dat in de \(i^\text {e}\) rij en de \(j^\text {e}\) kolom staat. De rij staat dus eerst.

  • • Verkorte notatie: \(A=(a_{ij})\). Een matrix noteren we met een hoofdletter.

  • • De verzameling van alle \(m\by n\)-matrices noteren we met \(\mathbb {R}^{m\times n}\).

  • • Het aantal rijen en kolommen samen noemen we de orde van de matrix, bijvoorbeeld orde \(m\by n\).

III Enkele bijzondere matrices

1 Nulmatrix

Definitie

Een matrix waarvan alle elementen gelijk zijn aan \(0\), noemen we een nulmatrix.

Notatie

We noteren een nulmatrix met \(O\), of met \(O_{m\times n}\) als we de orde \(m\by n\) willen benadrukken.

Voorbeelden

\[ \text {in }\mathbb {R}^{3\times 2}:\; \begin {pmatrix}0&0\\0&0\\0&0\end {pmatrix} \qquad \text {in }\mathbb {R}^{4\times 1}:\; \begin {pmatrix}0\\0\\0\\0\end {pmatrix} \qquad \text {in }\mathbb {R}^{1\times 2}:\; \begin {pmatrix}0&0\end {pmatrix} \]

Verander het aantal rijen en kolommen. Welke orde je ook kiest: elk element van de nulmatrix blijft \(0\).

2 Rij- / kolommatrix

Definitie

Een matrix met precies één rij noemen we een rijmatrix. Een matrix met precies één kolom noemen we een kolommatrix.

Voorbeelden

\[ R=\begin {pmatrix}1&7&4\end {pmatrix} \qquad K=\begin {pmatrix}1\\-9\end {pmatrix} \]

Kies een rijmatrix of kolommatrix. Met Wijzig krijg je andere elementen; de matrix houdt precies één rij of één kolom.

3 Vierkante matrix

Definitie

Een matrix met evenveel rijen als kolommen noemen we een vierkante matrix. Een vierkante matrix van orde \(n\by n\) noemen we kort een vierkante matrix van orde \(n\).

Voorbeeld

\[ \text {in }\mathbb {R}^{3\times 3}:\; \begin {pmatrix} \boxed {3}&0&1\\ 7&\boxed {6}&2\\ 5&2&\boxed {4} \end {pmatrix} \]

Met Wijzig A krijg je een andere matrix. Kleiner en Groter veranderen de orde; Hoofddiagonaal en Nevendiagonaal tonen of verbergen de overeenkomstige diagonaal.

De aangeduide elementen vormen de hoofddiagonaal.

4 Diagonaalmatrix

Definitie

Een vierkante matrix waarvan alle elementen buiten de hoofddiagonaal gelijk zijn aan \(0\), noemen we een diagonaalmatrix.

In symbolen

\[ A=(a_{ij})\in \mathbb {R}^{n\times n}\text { is diagonaal} \quad \Longleftrightarrow \quad a_{ij}=0\text { voor }i\ne j. \]

Voorbeeld

\[ \text {in }\mathbb {R}^{3\times 3}:\; \begin {pmatrix}3&0&0\\0&6&0\\0&0&4\end {pmatrix} \]

Verander de orde of de elementen op de hoofddiagonaal. Buiten die diagonaal blijft elk element \(0\).

5 Scalaire matrix

Definitie

Een diagonaalmatrix waarvan alle elementen op de hoofddiagonaal aan elkaar gelijk zijn, noemen we een scalaire matrix.

Voorbeeld

\[ \text {in }\mathbb {R}^{3\times 3}:\; \begin {pmatrix}5&0&0\\0&5&0\\0&0&5\end {pmatrix} \]

Verander de scalaire waarde of de orde. Op de hoofddiagonaal staat telkens hetzelfde getal; daarbuiten staat \(0\).

6 Eenheidsmatrix \(I\)

Definitie

Een diagonaalmatrix waarvan alle elementen op de hoofddiagonaal gelijk zijn aan \(1\), noemen we een eenheidsmatrix.

Voorbeeld

\[ \text {in }\mathbb {R}^{2\times 2}:\; \begin {pmatrix}1&0\\0&1\end {pmatrix} \]

Verander de orde. De eenheidsmatrix heeft altijd enen op de hoofddiagonaal en nullen daarbuiten.

Notatie

We noteren een eenheidsmatrix met \(I\), of met \(I_n\) als we de orde willen benadrukken.

7 Driehoeksmatrix

Definitie

Een vierkante matrix waarvan alle elementen onder de hoofddiagonaal gelijk zijn aan \(0\), noemen we een bovendriehoeksmatrix. Zijn alle elementen boven de hoofddiagonaal gelijk aan \(0\), dan spreken we van een onderdriehoeksmatrix.

In symbolen

\[ \begin {aligned} A=(a_{ij})\in \mathbb {R}^{n\times n}\text { is bovendriehoekig} &\quad \Longleftrightarrow \quad a_{ij}=0\text { voor }i>j,\\ A=(a_{ij})\in \mathbb {R}^{n\times n}\text { is onderdriehoekig} &\quad \Longleftrightarrow \quad a_{ij}=0\text { voor }i<j. \end {aligned} \]

Voorbeelden

\[ \text {in }\mathbb {R}^{3\times 3}:\; \begin {pmatrix}1&0&0\\2&3&0\\4&5&6\end {pmatrix} = \text {\textbf {onder}driehoeksmatrix} \qquad \text {in }\mathbb {R}^{2\times 2}:\; \begin {pmatrix}-1&3\\0&5\end {pmatrix} = \text {\textbf {boven}driehoeksmatrix} \]

Schakel tussen boven- en onderdriehoekig. De nuldriehoek ligt telkens aan de andere kant van de hoofddiagonaal.

8 Eigenschappen combineren

Een matrix kan tegelijk tot verschillende bijzondere soorten behoren. Of dat mogelijk is, hangt soms af van haar orde en soms van de gekozen eigenschappen.

\[ I_3= \begin {pmatrix} 1&0&0\\ 0&1&0\\ 0&0&1 \end {pmatrix} \quad \text {is tegelijk vierkant, diagonaal, scalair, eenheids-, boven- en onderdriehoekig.} \]

Schakel een of meer bijzondere eigenschappen in. Met Kleiner en Groter pas je de orde aan wanneer de gekozen eigenschappen dat toelaten. Als de eigenschappen verenigbaar zijn, verschijnt een voorbeeldmatrix.

IV Gelijke matrices

1 Definitie

Twee \(m\by n\)-matrices zijn gelijk als elke twee overeenkomstige elementen gelijk zijn.

2 Voorbeeld

Gegeven is de gelijkheid

\[ \begin {pmatrix} 2a-1&-\sqrt {c}\\ d^2&\dfrac {b}{2} \end {pmatrix} = \begin {pmatrix} 5&-3\\ 4&-2 \end {pmatrix}. \]

Omdat overeenkomstige elementen gelijk zijn, vinden we

\[ \left \{ \begin {aligned} a&=3,\\ b&=-4,\\ c&=9,\\ d&=2\text { of }d=-2. \end {aligned} \right . \]

V Tegengestelde matrices

1 Definitie

De tegengestelde matrix \(-A\) van een matrix \(A\) krijgen we door elk element van \(A\) te vervangen door zijn tegengestelde:

\[ -A=(-a_{ij}). \]

2 Voorbeeld

De matrices

\[ A=\begin {pmatrix}x&-2\\\sqrt {3}&y-1\end {pmatrix} \qquad \text {en}\qquad B=\begin {pmatrix}-4&2\\-\sqrt {3}&-5\end {pmatrix} \]

zijn elkaars tegengestelde. Uit \(B=-A\) volgt

\[ \left \{ \begin {aligned} -x&=-4,\\ -(y-1)&=-5 \end {aligned} \right . \quad \Longleftrightarrow \quad \left \{ \begin {aligned} x&=4,\\ y&=6. \end {aligned} \right . \]

Inderdaad, voor deze waarden geldt \(A+B=O\).

VI Getransponeerde van een matrix

1 Definitie

De getransponeerde (of gespiegelde) matrix \(A^{\mathsf T}\) van een gegeven matrix \(A\) krijgen we door de opeenvolgende rijen van \(A\) te schrijven als opeenvolgende kolommen.

2 Voorbeeld

\[ A=\begin {pmatrix}3&7\\-1&2\\0&-3\end {pmatrix} \qquad \Longrightarrow \qquad A^{\mathsf T}=\begin {pmatrix}3&-1&0\\7&2&-3\end {pmatrix} \]

Selecteer een rij van \(A\): de volledige rij licht samen met de overeenkomstige kolom van \(A^{\mathsf T}\) op. Selecteren vanuit \(A^{\mathsf T}\) werkt omgekeerd.

Een \(3\by 2\)-matrix wordt dus een \(2\by 3\)-matrix.

3 Symmetrische matrix

Een vierkante matrix \(A\) waarvoor \(A^{\mathsf T}=A\) geldt, noemen we een symmetrische matrix.

\[ A=\begin {pmatrix}2&1\\1&3\end {pmatrix} \]

Klik op een element van \(A\): ook het overeenkomstige element aan de andere kant van de hoofddiagonaal licht op. Omdat beide gelijk zijn, geldt \(A^{\mathsf T}=A\).

4 Antisymmetrische matrix

Een vierkante matrix \(A\) waarvoor \(A^{\mathsf T}=-A\) geldt, noemen we een antisymmetrische matrix.

\[ A=\begin {pmatrix}0&2\\-2&0\end {pmatrix} \]

Klik op een element van \(A\): ook het overeenkomstige element aan de andere kant van de hoofddiagonaal licht op. Beide zijn elkaars tegengestelde en op de hoofddiagonaal staat steeds \(0\), zodat \(A^{\mathsf T}=-A\).

VII Oefeningen

Handboek

p 19 nr 1, 2, 3

Extra

Bepaal \(x\), \(y\), \(z\) en \(u\) zodat

\[ \begin {pmatrix}\sqrt 3\,x+1 & \sqrt 5\\[2pt] z & 3\end {pmatrix} = \begin {pmatrix}\sqrt 6 & \sqrt 3\,y-\sqrt 6\\[2pt] -4 & 1-10u\end {pmatrix}. \]

Twee matrices zijn gelijk als alle overeenkomstige elementen gelijk zijn:

\[ \begin {cases} \sqrt 3\,x+1=\sqrt 6\\ \sqrt 3\,y-\sqrt 6=\sqrt 5\\ z=-4\\ 1-10u=3 \end {cases} \iff \begin {cases} x=\dfrac {\sqrt 6-1}{\sqrt 3}=\dfrac {\sqrt {18}-\sqrt 3}{3}=\sqrt 2-\dfrac {\sqrt 3}{3}\\[8pt] y=\dfrac {\sqrt 5+\sqrt 6}{\sqrt 3}=\dfrac {\sqrt {15}+\sqrt {18}}{3}=\sqrt 2+\dfrac {\sqrt {15}}{3}\\[8pt] z=-4\\[4pt] u=-\dfrac {1}{5} \end {cases} \]

VIII Som van \(m\by n\)-matrices

1 Voorbeeld

De scooters uit de inleiding: de verhuur tijdens de volledige zomervakantie is \(J+A\) (juli \(+\) augustus).

2 Definitie

De som van \(2\) matrices van dezelfde orde is de matrix van die orde die men bekomt door de overeenkomstige elementen op te tellen:

\[ (a_{ij})+(b_{ij})=(a_{ij}+b_{ij}). \]

3 Opmerking

Matrices van een verschillende orde kunnen niet opgeteld worden!

4 Voorbeelden

  • 1) \(\begin {pmatrix}3&-2&6\\-1&5&0\end {pmatrix} +\begin {pmatrix}-1&3&2\\0&1&-2\end {pmatrix} =\begin {pmatrix}2&1&8\\-1&6&-2\end {pmatrix}\)

  • 2) \(\begin {pmatrix}2&3\\0&1\end {pmatrix} +\begin {pmatrix}1&5&-7&0\end {pmatrix}\) kan niet: verschillende orde!

Klik op een element van de som: de twee getallen die samen dat element vormen, lichten op. Met Verschillende orde zie je waarom optellen dan niet lukt.

5 Eigenschappen van de optelling
  • 1) Inwendig en overal gedefinieerd:

    \[\forall A,B\in \mathbb {R}^{m\times n}:\quad A+B\in \mathbb {R}^{m\times n}\]

  • 2) Associatief:

    \[\forall A,B,C\in \mathbb {R}^{m\times n}:\quad (A+B)+C=A+(B+C)=A+B+C\]

  • 3) Neutraal element (\(=\) de nulmatrix):

    \[\exists \,O\in \mathbb {R}^{m\times n},\ \forall A\in \mathbb {R}^{m\times n}:\quad A+O=A=O+A\]

  • 4) Symmetrisch element:

    \[\forall A\in \mathbb {R}^{m\times n},\ \exists !\,-A\in \mathbb {R}^{m\times n}:\quad A+(-A)=O=(-A)+A\]

  • 5) Commutatief:

    \[\forall A,B\in \mathbb {R}^{m\times n}:\quad A+B=B+A\]

\[ \boxed {\;\bigl (\mathbb {R}^{m\times n},+\bigr )\ \text {is een commutatieve groep.}\;} \]

IX Product van een matrix met een reëel getal

1 Inleiding

Zes gelijke maanden verhuur geeft \(6\cdot M\).

2 Definitie

Om een \(m\by n\)-matrix te vermenigvuldigen met een reëel getal, vermenigvuldigt men elk element met dat getal:

\[ r\cdot (a_{ij})=(r\,a_{ij}). \]

3 Voorbeeld

\[ 4\cdot \begin {pmatrix}1&2\\3&4\\5&6\end {pmatrix} =\begin {pmatrix}4&8\\12&16\\20&24\end {pmatrix} \]

Versleep \(r\) en volg hoe elk element mee verandert. Kijk zeker eens naar \(r=1\), \(r=0\) en \(r=-1\): het neutraal element, de nulmatrix en de tegengestelde matrix.

4 Eigenschappen

Voor alle \(r,s\in \mathbb {R}\) (getallen) en alle \(A,B\in \mathbb {R}^{m\times n}\) (matrices) geldt; dit is een uitwendige vermenigvuldiging.

  • 1) \(r\cdot A\in \mathbb {R}^{m\times n}\)
    getal \(\by \) matrix geeft een matrix van dezelfde orde.

  • 2) Gemengde associativiteit: \(r\cdot (s\cdot A)=(r\cdot s)\cdot A\)

  • 3) De uitwendige vermenigvuldiging is distributief t.o.v. de optelling van matrices: \(r\cdot (A+B)=r\cdot A+r\cdot B\)

  • 4) De uitwendige vermenigvuldiging is distributief t.o.v. de optelling van getallen: \((r+s)\cdot A=r\cdot A+s\cdot A\)

  • 5) Neutraal element: \(1\cdot A=A\)

Samen met de \(5\) eigenschappen van de optelling van matrices besluiten we:

\[ \boxed {\;\bigl (\mathbb {R},\mathbb {R}^{m\times n},+\bigr )\ \text {is een reële vectorruimte.}\;} \]

5 Waarom een vectorruimte?

Een matrix is een geordende lijst van \(mn\) reële coördinaten. We kunnen haar daarom uitvouwen tot een gewone vector:

\[ \Phi :\mathbb {R}^{m\times n}\longrightarrow \mathbb {R}^{mn}:\quad (a_{ij})\longmapsto (a_{11},a_{12},\ldots ,a_{1n},a_{21},\ldots ,a_{mn}). \]

Deze identificatie bewaart precies de twee bewerkingen:

\[ \Phi (A+B)=\Phi (A)+\Phi (B) \qquad \text {en}\qquad \Phi (rA)=r\Phi (A). \]

Voor \(2\by 1\)-matrices kunnen we dat letterlijk tekenen. Matrixoptelling wordt de parallellogramregel en vermenigvuldigen met een getal rekt een vector uit, krimpt hem in of keert zijn zin om.

(-tikz- diagram)

Versleep de punten \(A\) en \(B\): de parallellogramregel bepaalt telkens \(A+B\). Verander \(r\) met de schuifregelaar en merk dat \(rA\) op dezelfde rechte als \(A\) blijft liggen.

X Oefeningen

p 18 nr 3

XI Product van matrices

1 Inleidend voorbeeld

p 14 vb 1

2 Enkele voorbeelden

  • 1) Neem

    \[ A_{2\by \mathbf {3}}=\begin {pmatrix}2&3&1\\4&2&5\end {pmatrix} \qquad B_{\mathbf {3}\by 2}=\begin {pmatrix}1&-3\\0&1\\2&5\end {pmatrix} \]

    De binnenste afmetingen zijn gelijk, dus \(A\cdot B\) bestaat en is een \(2\by 2\)-matrix:

    \begin{align*} A\cdot B &=\begin{pmatrix} 2\cdot 1+3\cdot 0+1\cdot 2 & 2\cdot (-3)+3\cdot 1+1\cdot 5\\ 4\cdot 1+2\cdot 0+5\cdot 2 & 4\cdot (-3)+2\cdot 1+5\cdot 5 \end {pmatrix} =\begin{pmatrix}4&2\\14&15\end {pmatrix} \end{align*} Ook \(B\cdot A\) bestaat hier, maar is een \(3\by 3\)-matrix:

    \[ B\cdot A=\begin {pmatrix}-10&-3&-14\\4&2&5\\24&16&27\end {pmatrix} \]

  • 2) Neem

    \[ A_{1\by \mathbf {4}}=\begin {pmatrix}1&2&3&4\end {pmatrix} \qquad B_{\mathbf {4}\by 2}=\begin {pmatrix}0&2\\1&0\\3&4\\2&1\end {pmatrix} \]

    \[ (A\cdot B)_{1\by 2}=\begin {pmatrix}19&18\end {pmatrix} \]

Verander met de knoppen de orde van \(A\) en van \(B\). Enkel als de binnenste afmetingen gelijk zijn, bestaat \(A\cdot B\); de buitenste afmetingen geven dan de orde van het product.

3 Algemeen

Het product van een \(m\by n\)-matrix \(A\) met een \(n\by p\)-matrix \(B\) is de \(m\by p\)-matrix \(C\), waarbij het element \(c_{ij}\) verkregen wordt door de som te nemen van de producten van de elementen van de \(i^\text {e}\) rij van \(A\) met de overeenkomstige elementen van de \(j^\text {e}\) kolom van \(B\):

\[ \boxed {\;c_{ij}=a_{i1}b_{1j}+a_{i2}b_{2j}+\cdots +a_{in}b_{nj}\;} \]

\[ \begin {pmatrix} a_{11}&a_{12}&\cdots &a_{1n}\\ \boxed {a_{i1}}&\boxed {a_{i2}}&\cdots &\boxed {a_{in}}\\ a_{m1}&a_{m2}&\cdots &a_{mn} \end {pmatrix} \cdot \begin {pmatrix} b_{11}&\boxed {b_{1j}}&\cdots &b_{1p}\\ b_{21}&\boxed {b_{2j}}&\cdots &b_{2p}\\ b_{n1}&\boxed {b_{nj}}&\cdots &b_{np} \end {pmatrix} = \begin {pmatrix} c_{11}&c_{1j}&\cdots &c_{1p}\\ c_{i1}&\boxed {c_{ij}}&\cdots &c_{ip}\\ c_{m1}&c_{mj}&\cdots &c_{mp} \end {pmatrix} \]

Klik op een element van het product: de rij van \(A\) en de kolom van \(B\) die het opleveren, lichten op, en eronder staat de som van producten uitgeschreven. Ook met letters in plaats van getallen, en in de omgekeerde volgorde.

4 Transponeren en vermenigvuldigen

Neem

\[ A=\begin {pmatrix}1&0\\2&1\\3&4\end {pmatrix}\ (3\by 2) \qquad B=\begin {pmatrix}5\\-5\end {pmatrix}\ (2\by 1) \qquad \Longrightarrow \qquad A\cdot B=\begin {pmatrix}5\\5\\-5\end {pmatrix}\ (3\by 1) \]

Vergelijk de drie producten: \(A\cdot B\) bestaat, \(A^{\mathsf T}\cdot B^{\mathsf T}\) niet, en \(B^{\mathsf T}\cdot A^{\mathsf T}\) geeft de getransponeerde van \(A\cdot B\). De volgorde keert dus om.

Transponeren we beide factoren:

\[ A^{\mathsf T}=\begin {pmatrix}1&2&3\\0&1&4\end {pmatrix}\ (2\by 3) \qquad B^{\mathsf T}=\begin {pmatrix}5&-5\end {pmatrix}\ (1\by 2) \]

dan is \(A^{\mathsf T}\cdot B^{\mathsf T}\) niet zinvol, maar

\[ B^{\mathsf T}\cdot A^{\mathsf T}=\begin {pmatrix}5&5&-5\end {pmatrix} =(A\cdot B)^{\mathsf T}. \]

Besluit

\[ \boxed {\;(A\cdot B)^{\mathsf T}=B^{\mathsf T}\cdot A^{\mathsf T}\;} \]

De volgorde keert dus om.

5 Macht van een vierkante matrix

Voor \(A\in \mathbb {R}^{n\times n}\) en \(p\in \mathbb {N}_0\):

\[ A^p=\underbrace {A\cdot A\cdot A\cdots A}_{p\text { factoren}} \]

Verhoog \(p\) en volg wat er met de elementen gebeurt. Bij de eerste matrix verschijnen de getallen van Fibonacci, bij de laatste naderen de machten een evenwicht.

Enkel bij een vierkante matrix is dit zinvol.

6 Eigenschappen van het product van vierkante matrices
  • 1) Inwendig en overal gedefinieerd:

    \[\forall A,B\in \mathbb {R}^{n\times n}:\quad A\cdot B\in \mathbb {R}^{n\times n}\]

  • 2) Associatief:

    \[\forall A,B,C\in \mathbb {R}^{n\times n}:\quad (A\cdot B)\cdot C=A\cdot (B\cdot C)\]

  • 3) Neutraal element \(=I_n\):

    \[\exists \,I_n\in \mathbb {R}^{n\times n},\ \forall A\in \mathbb {R}^{n\times n}:\quad I_n\cdot A=A=A\cdot I_n\]

  • 4) Symmetrisch element \(=A^{-1}\):

    \[A\cdot A^{-1}=I_n\]

    Deze bestaat niet altijd en is niet gemakkelijk te bepalen; zie verder in de cursus (determinanten).

  • 5) Commutatief ? Neen!

    \[ \begin {pmatrix}3&-1\\-2&4\end {pmatrix}\cdot \begin {pmatrix}5&0\\1&6\end {pmatrix} =\begin {pmatrix}14&-6\\-6&24\end {pmatrix} \qquad \begin {pmatrix}5&0\\1&6\end {pmatrix}\cdot \begin {pmatrix}3&-1\\-2&4\end {pmatrix} =\begin {pmatrix}15&-5\\-9&23\end {pmatrix} \]

    \(A\cdot B\) staat boven, \(B\cdot A\) eronder: de plaatsen waar de twee verschillen, lichten op. Kies ook eens \(B=I\) of \(B=2A\); dan valt het verschil weg, maar dat is geen regel.

    \[ \boxed {\;\text {Let op: } A\cdot B\neq B\cdot A \text { voor niet alle } A,B\in \mathbb {R}^{n\times n}.\;} \]

  • 6) Distributief: ja, maar de volgorde bewaren!

    \begin{align*} A\cdot (B+C)&=A\cdot B+A\cdot C\\ (B+C)\cdot A&=B\cdot A+C\cdot A \end{align*}

Overzicht: \(\bigl (\mathbb {R}^{n\times n},+,\cdot \bigr )\)
.

\(+\)

\(\cdot \)

1) inwendig en overal gedefinieerd

1) inwendig en overal gedefinieerd

2) associatief

2) associatief

3) N.E. \(=O\)

3) N.E. \(=I_n\)

4) S.E. \(=-A\)

4) (S.E. \(=A^{-1}=?\))

5) commutatief

5) niet commutatief

Uit \(1\)–\(5\) voor \(+\) en \(1\)–\(3,5\) voor \(\cdot \) volgt:

\[ \boxed {\;\bigl (\mathbb {R}^{n\times n},+,\cdot \bigr )\ \text {is een niet-commutatieve ring met eenheidselement.}\;} \]

7 Oefeningen

p 18 e.v. nr 4, 5, 7, 8, 9, 13