Initiation aux matrices/Opérations entre matrices

Début de la boite de navigation du chapitre

Dans ce chapitre, nous allons essayer de donner un véritable statut de nombre aux matrices en définissant une addition de matrices et une multiplication de matrices. Les matrices pourront alors être vues comme des objets mathématiques généralisant la notion de nombre.

fin de la boite de navigation du chapitre

Premières réflexions

Nous avons défini au chapitre précédent des objets mathématiques que nous avons désignés sous le terme de matrice. Dans ce chapitre, nous allons commencer à réfléchir pour essayer de trouver une utilité à ces matrices. Notre point de départ va être les systèmes d'équations linéaires.

Observons un système d'équations linéaires :

$\left\{{\begin{array}{l}x-5y+3z=2\\4x-7y+2z=4\\4x+y-3z=-1\end{array}}\right.$

L'aspect d'un système linéaire fait un peu penser aux matrices si l'on efface mentalement les signes opératoires.

Imaginons que l'on essaye de représenter ce système sous la forme :

${\begin{pmatrix}1&-5&3\\4&-7&2\\4&1&-3\end{pmatrix}}\times {\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}2\\4\\-1\end{pmatrix}}$

Nous voyons alors apparaître au premier membre un produit de matrices et si l'on veut que cette représentation soit correcte, il nous faut admettre que le produit de la matrice ${\begin{pmatrix}1&-5&3\\4&-7&2\\4&1&-3\end{pmatrix}}$ par la matrice ${\begin{pmatrix}x\\y\\z\end{pmatrix}}$ donne la matrice ${\begin{pmatrix}x-5y+3z\\4x-7y+2z\\4x+y-3z\end{pmatrix}}$ pour avoir :

${\begin{pmatrix}x-5y+3z\\4x-7y+2z\\4x+y-3z\end{pmatrix}}={\begin{pmatrix}2\\4\\-1\end{pmatrix}}$

qui, si l'on identifie les coefficients de la matrice du premier membre avec les coefficients de la matrice du second membre, nous donne bien :

$\left\{{\begin{array}{l}x-5y+3z=2\\4x-7y+2z=4\\4x+y-3z=-1\end{array}}\right.$

Nous devons donc définir un produit de matrices tel que si on l'applique au cas particulier d'une matrice carrée d'ordre 3 par une matrice colonne à 3 coefficients, on obtient :

${\begin{pmatrix}1&-5&3\\4&-7&2\\4&1&-3\end{pmatrix}}\times {\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}x-5y+3z\\4x-7y+2z\\4x+y-3z\end{pmatrix}}$

Soit, si l'on adopte une notation plus générale :

${\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}\times {\begin{pmatrix}b_{1,1}\\b_{2,1}\\b_{3,1}\end{pmatrix}}={\begin{pmatrix}a_{1,1}\times b_{1,1}+a_{1,2}\times b_{2,1}+a_{1,3}\times b_{3,1}\\a_{2,1}\times b_{1,1}+a_{2,2}\times b_{2,1}+a_{2,3}\times b_{3,1}\\a_{3,1}\times b_{1,1}+a_{3,2}\times b_{2,1}+a_{3,3}\times b_{3,1}\end{pmatrix}}$

Il est à remarquer que, si au départ, le système d'équations n'avait contenu qu'une seule équation :

$\left\{{\begin{array}{l}x-5y+3z=2\end{array}}\right.$

la traduction matricielle de ce système aurait été :

${\begin{pmatrix}1&-5&3\end{pmatrix}}\times {\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}2\end{pmatrix}}$

Et nous aurions obtenu le produit d'une matrice ligne par une matrice colonne suivant :

${\begin{pmatrix}1&-5&3\end{pmatrix}}\times {\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}x-5y+3z\end{pmatrix}}$

qui, sous forme générale, aurait donné :

${\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\end{pmatrix}}\times {\begin{pmatrix}b_{1,1}\\b_{2,1}\\b_{3,1}\end{pmatrix}}={\begin{pmatrix}a_{1,1}\times b_{1,1}+a_{1,2}\times b_{2,1}+a_{1,3}\times b_{3,1}\end{pmatrix}}$

Nous commençons à voir se dégager une règle de multiplication de matrices en remarquant comment une ligne n de la première matrice se multiplie avec une colonne m de la seconde matrice. À savoir par l'opération :

${\begin{pmatrix}a_{n,1}&a_{n,2}&a_{n,3}\end{pmatrix}}\times {\begin{pmatrix}b_{1,m}\\b_{2,m}\\b_{3,m}\end{pmatrix}}={\begin{pmatrix}a_{n,1}\times b_{1,m}+a_{n,2}\times b_{2,m}+a_{n,3}\times b_{3,m}\end{pmatrix}}$

Nous appellerons cette opération le produit ligne-colonne.

Il nous reste à voir s'il peut être généralisé à tout produit de matrices ?

Produit de deux matrices

Si l'on poursuit notre étude commencée au paragraphe précédent, il y a un autre fait que nous devons prendre en considération :

supposons que l'on exprime des valeurs $y_{1}$ et $y_{2}$ en fonction de valeurs $x_{1}$ et $x_{2}$ selon le système :

$\left\{{\begin{array}{l}y_{1}=a_{1,1}x_{1}+a_{1,2}x_{2}\\y_{2}=a_{2,1}x_{1}+a_{2,2}x_{2}\end{array}}\right.$

ce qui (compte tenu du paragraphe précédent) se traduirait matriciellement par :

${\begin{pmatrix}y_{1}\\y_{2}\end{pmatrix}}={\begin{pmatrix}a_{1,1}&a_{1,2}\\a_{2,1}&a_{2,2}\end{pmatrix}}\times {\begin{pmatrix}x_{1}\\x_{2}\end{pmatrix}}$

supposons aussi que l'on exprime des valeurs $z_{1}$ et $z_{2}$ en fonction des valeurs $y_{1}$ et $y_{2}$ dont il était question précédemment selon le système :

$\left\{{\begin{array}{l}z_{1}=b_{1,1}y_{1}+b_{1,2}y_{2}\\z_{2}=b_{2,1}y_{1}+b_{2,2}y_{2}\end{array}}\right.$

ce qui se traduirait matriciellement par :

${\begin{pmatrix}z_{1}\\z_{2}\end{pmatrix}}={\begin{pmatrix}b_{1,1}&b_{1,2}\\b_{2,1}&b_{2,2}\end{pmatrix}}\times {\begin{pmatrix}y_{1}\\y_{2}\end{pmatrix}}$

Le bon sens voudrait que l'on puisse écrire :

${\begin{pmatrix}z_{1}\\z_{2}\end{pmatrix}}={\begin{pmatrix}b_{1,1}&b_{1,2}\\b_{2,1}&b_{2,2}\end{pmatrix}}\times {\begin{pmatrix}y_{1}\\y_{2}\end{pmatrix}}={\begin{pmatrix}b_{1,1}&b_{1,2}\\b_{2,1}&b_{2,2}\end{pmatrix}}\times {\begin{pmatrix}a_{1,1}&a_{1,2}\\a_{2,1}&a_{2,2}\end{pmatrix}}\times {\begin{pmatrix}x_{1}\\x_{2}\end{pmatrix}}$

On devrait pouvoir obtenir l'expression de $z_{1}$ et $z_{2}$ directement en fonction de $x_{1}$ et $x_{2}$ en effectuant le produit matriciel :

${\begin{pmatrix}b_{1,1}&b_{1,2}\\b_{2,1}&b_{2,2}\end{pmatrix}}\times {\begin{pmatrix}a_{1,1}&a_{1,2}\\a_{2,1}&a_{2,2}\end{pmatrix}}$

Regardons ce que doit donner ce produit matriciel en effectuant le calcul à partir des systèmes d'équations.

Si l'on porte les valeurs de $y_{1}$ et $y_{2}$ données dans :

$\left\{{\begin{array}{l}y_{1}=a_{1,1}x_{1}+a_{1,2}x_{2}\\y_{2}=a_{2,1}x_{1}+a_{2,2}x_{2}\end{array}}\right.$

dans le système :

$\left\{{\begin{array}{l}z_{1}=b_{1,1}y_{1}+b_{1,2}y_{2}\\z_{2}=b_{2,1}y_{1}+b_{2,2}y_{2}\end{array}}\right.$

on obtient :

$\left\{{\begin{array}{l}z_{1}=b_{1,1}(a_{1,1}x_{1}+a_{1,2}x_{2})+b_{1,2}(a_{2,1}x_{1}+a_{2,2}x_{2})\\z_{2}=b_{2,1}(a_{1,1}x_{1}+a_{1,2}x_{2})+b_{2,2}(a_{2,1}x_{1}+a_{2,2}x_{2})\end{array}}\right.$

qui se simplifie ainsi :

$\left\{{\begin{array}{l}z_{1}=(b_{1,1}a_{1,1}+b_{1,2}a_{2,1})x_{1}+(b_{1,1}a_{1,2}+b_{1,2}a_{2,2})x_{2}\\z_{2}=(b_{2,1}a_{1,1}+b_{2,2}a_{2,1})x_{1}+(b_{2,1}a_{1,2}+b_{2,2}a_{2,2})x_{2}\end{array}}\right.$

qui va s'écrire matriciellement ainsi :

${\begin{pmatrix}z_{1}\\z_{2}\end{pmatrix}}={\begin{pmatrix}b_{1,1}a_{1,1}+b_{1,2}a_{2,1}&b_{1,1}a_{1,2}+b_{1,2}a_{2,2}\\b_{2,1}a_{1,1}+b_{2,2}a_{2,1}&b_{2,1}a_{1,2}+b_{2,2}a_{2,2}\end{pmatrix}}\times {\begin{pmatrix}x_{1}\\x_{2}\end{pmatrix}}$

et si l'on compare avec :

${\begin{pmatrix}z_{1}\\z_{2}\end{pmatrix}}={\begin{pmatrix}b_{1,1}&b_{1,2}\\b_{2,1}&b_{2,2}\end{pmatrix}}\times {\begin{pmatrix}a_{1,1}&a_{1,2}\\a_{2,1}&a_{2,2}\end{pmatrix}}\times {\begin{pmatrix}x_{1}\\x_{2}\end{pmatrix}}$

Nous voyons que l'on doit avoir :

${\begin{pmatrix}b_{1,1}&b_{1,2}\\b_{2,1}&b_{2,2}\end{pmatrix}}\times {\begin{pmatrix}a_{1,1}&a_{1,2}\\a_{2,1}&a_{2,2}\end{pmatrix}}={\begin{pmatrix}b_{1,1}a_{1,1}+b_{1,2}a_{2,1}&b_{1,1}a_{1,2}+b_{1,2}a_{2,2}\\b_{2,1}a_{1,1}+b_{2,2}a_{2,1}&b_{2,1}a_{1,2}+b_{2,2}a_{2,2}\end{pmatrix}}$

Nous remarquons que ce produit de matrices généralise bien l'ébauche de produit de matrices que nous avons vu au paragraphe précédent. Un coefficient de la matrice résultat se trouvant à la ligne n et la colonne m est bien le produit de la ligne n de la première matrice par la colonne m de la seconde matrice selon le produit ligne-colonne défini au paragraphe précédent.

Pour multiplier deux matrices, nous adopterons donc la règle suivante :

Règle pour multiplier deux matrices

Si une première matrice à une n^ième ligne sous la forme ${\begin{pmatrix}a_{n,1}&a_{n,2}&\cdots &a_{n,p}\end{pmatrix}}$ et si une deuxième matrice a une m^iène colonne sous la forme ${\begin{pmatrix}b_{1,m}\\b_{2,m}\\\vdots \\b_{p,m}\end{pmatrix}}$, alors le coefficient $c_{n,m}$ de la matrice produit sera donné par la relation :

$c_{n,m}=a_{n,1}b_{1,m}+a_{n,2}b_{2,m}+\cdots +a_{n,p}b_{p,m}=\sum _{k=1}^{p}a_{n,k}b_{k,m}$

Une disposition pratique pour faire le produit de deux matrices est de décaler la deuxième matrice vers le haut de façon à ce que le coefficient $c_{n,m}$ se trouve à la fois dans le prolongement de la n^ième ligne de la première matrice et dans le prolongement de la m^ième colonne de la seconde matrice.

${\begin{aligned}&{\begin{pmatrix}\quad &\quad &b_{1,m}&\quad \\\quad &\quad &b_{2,m}&\quad \\\quad &\quad &\vdots &\quad \\\quad &\quad &b_{p,m}&\quad \end{pmatrix}}\\{\begin{pmatrix}\\a_{n,1}&a_{n,2}&\cdots &a_{n,p}\\\quad \\\quad \end{pmatrix}}&{\begin{pmatrix}\quad &\quad &\quad &\quad \\\quad &\quad &c_{n,m}&\quad \\\quad &\quad &\quad &\quad \\\quad &\quad &\quad &\quad \end{pmatrix}}\end{aligned}}$

Remarque 1. De la façon dont se fait le produit de deux matrices, on voit que celui-ci n'est possible que si le nombre de colonnes de la première matrice est égal au nombre de lignes de la seconde matrice. Remarque 2. Si l'on multiplie entre elles deux matrices carrées d'ordre n, on obtient une matrice carrée d'ordre n. On voit donc que l'ensemble des matrices carrées d'ordre n est un ensemble stable pour la multiplication des matrices. Remarque 3. Le produit de deux matrices n'est pas commutatif et même (cf. remarque 1) il arrive souvent que l'un des deux produits AB ou BA existe et pas l'autre, ou que les deux produits existent mais ne soient pas de même taille. Et même pour deux matrices carrées A et B de même taille, les deux produits sont en général différents. Par exemple : ${\begin{pmatrix}0&1\\0&0\end{pmatrix}}\times {\begin{pmatrix}0&0\\1&0\end{pmatrix}}={\begin{pmatrix}1&0\\0&0\end{pmatrix}}$ alors que : ${\begin{pmatrix}0&0\\1&0\end{pmatrix}}\times {\begin{pmatrix}0&1\\0&0\end{pmatrix}}={\begin{pmatrix}0&0\\0&1\end{pmatrix}}$. Cependant, deux matrices diagonales de même taille commutent, car $\operatorname {diag} (a_{1},\dots ,a_{n})\times \operatorname {diag} (b_{1},\dots ,b_{n})=\operatorname {diag} (a_{1}b_{1},\dots ,a_{n}b_{n})$ or $a_{i}b_{i}=b_{i}a_{i}$.

Somme de deux matrices

La somme de deux matrices de même dimension pose moins de problème que le produit des matrices (si les dimensions des matrices sont différentes, la somme n'est pas possible).

Pour additionner deux matrices, il suffit d'additionner les coefficients correspondant dans les deux matrices.

Par exemple :

${\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}+{\begin{pmatrix}b_{1,1}&b_{1,2}&b_{1,3}\\b_{2,1}&b_{2,2}&b_{2,3}\\b_{3,1}&b_{3,2}&b_{3,3}\end{pmatrix}}={\begin{pmatrix}a_{1,1}+b_{1,1}&a_{1,2}+b_{1,2}&a_{1,3}+b_{1,3}\\a_{2,1}+b_{2,1}&a_{2,2}+b_{2,2}&a_{2,3}+b_{2,3}\\a_{3,1}+b_{3,1}&a_{3,2}+b_{3,2}&a_{3,3}+b_{3,3}\end{pmatrix}}$

Remarque. Pour justifier intuitivement cette définition, on peut remarquer que le système d'équations : $\left\{{\begin{array}{l}y_{1}=a_{1,1}x_{1}+a_{1,2}x_{2}+a_{1,3}x_{3}+b_{1,1}x_{1}+b_{1,2}x_{2}+b_{1,3}x_{3}\\y_{2}=a_{2,1}x_{1}+a_{2,2}x_{2}+a_{2,3}x_{3}+b_{2,1}x_{1}+b_{2,2}x_{2}+b_{2,3}x_{3}\\y_{3}=a_{3,1}x_{1}+a_{3,2}x_{2}+a_{3,3}x_{3}+b_{3,1}x_{1}+b_{3,2}x_{2}+b_{3,3}x_{3}\end{array}}\right.$ s'écrit aussi : $\left\{{\begin{array}{l}y_{1}=(a_{1,1}+b_{1,1})x_{1}+(a_{1,2}+b_{1,2})x_{2}+(a_{1,3}+b_{1,3})x_{3}\\y_{2}=(a_{2,1}+b_{2,1})x_{1}+(a_{2,2}+b_{2,2})x_{2}+(a_{2,3}+b_{2,3})x_{3}\\y_{3}=(a_{3,1}+b_{3,1})x_{1}+(a_{3,2}+b_{3,2})x_{2}+(a_{3,3}+b_{3,3})x_{3}\end{array}}\right.$ Ce qui, d'une façon pas très rigoureuse mathématiquement (car elle présuppose la distributivité de la multiplication par rapport à l'addition que nous ne verrons qu'un peu plus bas) entraîne matriciellement : ${\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}\times {\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}+{\begin{pmatrix}b_{1,1}&b_{1,2}&b_{1,3}\\b_{2,1}&b_{2,2}&b_{2,3}\\b_{3,1}&b_{3,2}&b_{3,3}\end{pmatrix}}\times {\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}={\begin{pmatrix}a_{1,1}+b_{1,1}&a_{1,2}+b_{1,2}&a_{1,3}+b_{1,3}\\a_{2,1}+b_{2,1}&a_{2,2}+b_{2,2}&a_{2,3}+b_{2,3}\\a_{3,1}+b_{3,1}&a_{3,2}+b_{3,2}&a_{3,3}+b_{3,3}\end{pmatrix}}\times {\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}$

Approfondissement sur les matrices carrées

Nous avons vu que le produit de deux matrices carrées d'ordre n est une matrice carrée d'ordre n. Nous voyons aussi que la somme de deux matrices carrées d'ordre n est une matrice carrée d'ordre n. L'ensemble des matrices carrées d'ordre n est donc stable pour l'addition et la multiplication des matrices. Les matrices carrées jouent donc un rôle bien plus important que les matrices qui ne sont pas carrées. Nous allons donc étudier plus en détail les matrices carrées.

Élément neutre de la multiplication

Quel que soit l'ordre n de la matrice carrée, nous pouvons constater qu'il existe un élément neutre pour la multiplication des matrices. C'est la matrice diagonale où tous les éléments de la diagonale sont égaux à 1. Nous noterons cette matrice $I_{n}$

Par exemple, l'élément neutre de la multiplication des matrices carrées d'ordre 3 est :

${\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}}$

En effet, en effectuant le calcul, nous pouvons constater que :

${\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}\times {\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}}={\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}}\times {\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}={\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}$

Associativité

Le produit des matrices est associatif.

Cela signifie que si nous devons multiplier trois matrices $A$, $B$ et $C$ entre elles selon le produit $A\times B\times C$, nous ne sommes pas forcément obligés de multiplier les matrices $A$ et $B$ entre elles pour ensuite multiplier le résultat par $C$. Nous pouvons tout aussi bien commencer par multiplier les matrices $B$ et $C$ entre elles pour ensuite multiplier le résultat par $A$. Cela se traduit par la relation :

$(A\times B)\times C=A\times (B\times C)$

Nous admettrons cette relation qui est valable sur tout type de matrices (même non carrées dans la mesure où le produit est défini).

Distributivité de la multiplication par rapport à l'addition

La distributivité de la multiplication par rapport à l'addition que l'on connait bien sur les nombres se généralise aux matrices.

Soient trois matrices $A$, $B$ et $C$, on a alors :

$A\times (B+C)=A\times B+A\times C$

ou

$(B+C)\times A=B\times A+C\times A$

Cette relation est valable si $B$ et $C$ sont de même dimension et si le produit de $A$ par $B$ ou $C$ est défini.

Multiplication d'une matrice par un scalaire

Les nombres constituant une matrice sont appelés des scalaires. On peut définir la multiplication d'un scalaire par une matrice en disant que le résultat de l'opération est une matrice dont tous les coefficients ont été multipliés par le scalaire.

Si $\lambda$ est un scalaire, on peut écrire pour une matrice carrée d'ordre 3 :

$\lambda \times {\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}={\begin{pmatrix}\lambda \times a_{1,1}&\lambda \times a_{1,2}&\lambda \times a_{1,3}\\\lambda \times a_{2,1}&\lambda \times a_{2,2}&\lambda \times a_{2,3}\\\lambda \times a_{3,1}&\lambda \times a_{3,2}&\lambda \times a_{3,3}\end{pmatrix}}$

La multiplication d'une matrice par un scalaire est associative et commutative. Ce qui peut se traduire par :

Pour tout scalaire $\lambda$ et pour toutes matrices $A$ et $B$ compatibles pour la multiplication :

$\lambda \times (A\times B)=(\lambda \times A)\times B=A\times (\lambda \times B)$

Matrice scalaire

Si nous faisons le produit d'une matrice carrée diagonale d'ordre n, où tous les coefficients de la diagonale sont égaux à $\lambda$, par une matrice carrée d'ordre n, nous remarquons que l'on obtient le même résultat que si la matrice diagonale était remplacée par $\lambda$.

Par exemple pour l'ordre 3, nous avons :

${\begin{pmatrix}\lambda &0&0\\0&\lambda &0\\0&0&\lambda \end{pmatrix}}\times {\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}={\begin{pmatrix}\lambda \times a_{1,1}&\lambda \times a_{1,2}&\lambda \times a_{1,3}\\\lambda \times a_{2,1}&\lambda \times a_{2,2}&\lambda \times a_{2,3}\\\lambda \times a_{3,1}&\lambda \times a_{3,2}&\lambda \times a_{3,3}\end{pmatrix}}=\lambda \times {\begin{pmatrix}a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3}\\a_{3,1}&a_{3,2}&a_{3,3}\end{pmatrix}}$

Cette similitude de propriétés nous amène à nommer matrice scalaire une matrice diagonale dont tous les éléments de la diagonale sont égaux, et l'on peut vérifier que ces matrices ont bien les mêmes propriétés que les scalaires qu'elles représentent. En particulier, si les scalaires sont les nombres réels, dans l'ensemble des matrices carrées, le sous-ensemble des matrices scalaires peut s'identifier à l'ensemble des nombres réels et le reste des matrices peut être vu comme une extension de l'ensemble des réels.

Exemple : Représentation matricielle des nombres complexes Considérons l'ensemble des matrices carrées d'ordre 2 et posons : $i={\begin{pmatrix}0&1\\-1&0\end{pmatrix}}$ Nous remarquons que nous avons : $i^{2}=i\times i={\begin{pmatrix}0&1\\-1&0\end{pmatrix}}\times {\begin{pmatrix}0&1\\-1&0\end{pmatrix}}={\begin{pmatrix}-1&0\\0&-1\end{pmatrix}}$ comme ${\begin{pmatrix}-1&0\\0&-1\end{pmatrix}}$ est une matrice scalaire pouvant être assimilée au nombre réel $-1$, on peut écrire : $i^{2}=-1$ Nous savons que tout nombre complexe peut s'écrire en notation algébrique $a+ib$ (a et b étant réels). En utilisant la notation matricielle, nous voyons que : $a+ib=a\times 1+b\times i=a\times {\begin{pmatrix}1&0\\0&1\end{pmatrix}}+b\times {\begin{pmatrix}0&1\\-1&0\end{pmatrix}}={\begin{pmatrix}a&0\\0&a\end{pmatrix}}+{\begin{pmatrix}0&b\\-b&0\end{pmatrix}}={\begin{pmatrix}a&b\\-b&a\end{pmatrix}}$ Par conséquent, dans l'ensemble des matrices carrées d'ordre 2, le sous-ensemble des matrices de la forme ${\begin{pmatrix}a&b\\-b&a\end{pmatrix}}$ est assimilable à l'ensemble des nombres complexes. Cet ensemble est une construction des nombres complexes à l'aide des matrices.