Matrice inversible

En mathématiques et plus particulièrement en algèbre linéaire, une matrice inversible (ou régulière ou encore non singulière) est une matrice carrée $A$ pour laquelle il existe une matrice $B$ de même taille $n$ avec laquelle les produits $A B$ et $B A$ sont égaux à la matrice identité.

AB=BA=I_{n}

Dans ce cas la matrice $B$ est unique, appelée matrice inverse de $A$ et notée $B = A -1$ .

Cette définition correspond à celle d’élément inversible pour la multiplication dans l’anneau des matrices carrées associé^[1].

Si les coefficients d’une matrice carrée sont pris dans un anneau commutatif $K$ , cette matrice est inversible si et seulement si elle représente un isomorphisme de $K n$ , ce qui se traduit par un déterminant inversible. En particulier, si $K$ est un corps commutatif tel que $R$ ou $C$ , l’inversibilité est caractérisée par un déterminant non nul, mais aussi par la maximalité du rang ou d’autres propriétés de l’endomorphisme représenté. Diverses conditions plus simples peuvent s’appliquer sur certaines classes de matrices.

L’algorithme du pivot de Gauss permet un calcul exact de l’inverse mais peu robuste aux propagations d’erreurs lorsque la taille de la matrice devient trop importante. D’autres algorithmes se révèlent préférables en pratique pour une approximation de l’inverse.

Dans l’ensemble ${\mathcal {M}}_{n}(K)$ des matrices carrées de taille $n$ à coefficients dans un anneau $K$ , l’ensemble des matrices inversibles forme un groupe multiplicatif, appelé groupe général linéaire et noté ${\mathcal {GL}}_{n}(K)$ .

La notion de matrice inverse est généralisée par celle de pseudo-inverse et en particulier les inverses à gauche ou à droite.

Inversibilité[modifier | modifier le code]

Contexte[modifier | modifier le code]

\left({\begin{matrix}2&-1\\-6&3\end{matrix}}\right)\left({\begin{matrix}1&2\\1&1\end{matrix}}\right)=\left({\begin{matrix}1&3\\-3&-9\end{matrix}}\right)=\left({\begin{matrix}2&-1\\-6&3\end{matrix}}\right)\left({\begin{matrix}0&1\\-1&-1\end{matrix}}\right)

Deux matrices différentes ayant le même produit avec une même troisième

Contrairement à la multiplication dans le corps des réels ou celui des complexes, la multiplication matricielle (même par une matrice non nulle) n’est pas toujours une opération réversible (on dit que cette loi de composition n’est pas régulière), au sens où l’égalité de deux produits $A B = A C$ n’implique pas forcément l’égalité $B = C$ .

De même, connaissant une matrice $A$ et une matrice $Y$ , l’équation $A X = Y$ ne peut se résoudre en divisant les deux membres de l’égalité par la matrice $A$ .

L’existence d’une matrice inverse $A -1$ permet de résoudre ces deux problèmes, par l’équivalence suivante :

AX=Y\iff X=A^{-1}Y

.

Ainsi toute matrice inversible est simplifiable pour la multiplication à gauche ou à droite.

Cependant, la résolution d’une équation matricielle de la forme $A X = Y$ , éventuellement donnée sous forme de système d'équations linéaires, ne se traite pas systématiquement par la détermination d’une matrice inverse pour $A$ . Des méthodes de décomposition comme la décomposition LU sont beaucoup plus rapides que l'inversion.

Représentation d’un isomorphisme et déterminant[modifier | modifier le code]

Toute matrice $A =(a i, j)$ à coefficients dans un anneau commutatif $K$ définit un unique endomorphisme de module (voire d’espace vectoriel) sur $K n$ :

(x_{1},\dots ,x_{n})\mapsto \left(\sum _{j=1}^{n}a_{i,j}x_{j}\right)_{1\leq i\leq n}

et réciproquement, tout endomorphisme sur $K n$ peut être obtenu de la sorte à partir d’une unique matrice de ${\mathcal {M}}_{n}(K)$ .

En particulier, la matrice identité est associée à l’application identité. Et comme la multiplication matricielle se traduit par la composition des applications associées (dans le même ordre), on en déduit que l’existence d’une matrice inverse est équivalente au fait que l’application associée soit un automorphisme. Ce résultat repose en partie sur la propriété fondamentale que la réciproque d’un isomorphisme de modules est aussi un isomorphisme.

La multiplicativité du déterminant appliquée à une matrice inversible $A$ permet d’écrire

\det(A)\times \det(A^{-1})=\det(I_{n})=1

donc le déterminant d’une matrice inversible est nécessairement inversible dans l’anneau des coefficients.

Réciproquement, le produit d’une matrice avec la transposée de sa comatrice donne la formule de Laplace

A\times \ ^{\mathrm {t} }\!\mathrm {com} (A)=\det(A).I_{n}

donc dès lors que le déterminant est inversible dans l’anneau des coefficients, la matrice $det(A) -1 . t com(A)$ est une inverse pour $A$ .

En particulier, une matrice à coefficients entiers admet une inverse à coefficients entiers si et seulement si son déterminant vaut 1 ou −1.

Cas des coefficients dans un corps[modifier | modifier le code]

Caractérisations[modifier | modifier le code]

Soit A une matrice carrée d'ordre n à coefficients dans un corps commutatif K (par exemple le corps ℝ des réels). Les propositions suivantes sont équivalentes (on note X une matrice colonne à n éléments dans K)^[2] :

A est inversible,
le déterminant de A est non nul ;
A possède n pivots ;
0 n'est pas valeur propre de A ;
le rang de A est égal à n ;
le système linéaire homogène AX = 0 a pour seule solution X = 0 ;
le Noyau (algèbre) de A est l'espace nul : Ker(A)={0};
pour tout b dans M_n,1(K), le système linéaire AX = b a au plus une solution ;
pour tout b dans M_n,1(K), le système linéaire AX = b a au moins une solution ;
les colonnes de A, considérées comme des vecteurs de Kⁿ, sont linéairement indépendantes ;
les colonnes de A, considérées comme des vecteurs de Kⁿ, engendrent Kⁿ ;
l'endomorphisme canoniquement associé à A (c’est-à-dire l'application linéaire de Kⁿ dans lui-même qui a pour matrice A dans la base canonique) est injectif ;
l'endomorphisme canoniquement associé à A est surjectif ;
la matrice A est inversible à gauche, c'est-à-dire qu'il existe une matrice B carrée d'ordre n telle que BA = I_n ;
la matrice A est inversible à droite, c'est-à-dire qu'il existe une matrice B carrée d'ordre n telle que AB = I_n ;
la transposée ^tA de A est inversible ;
il existe un polynôme annulateur de A dont 0 n'est pas racine ;
0 n'est pas racine du polynôme minimal de A ;
A est équivalente à la matrice identité I_n d'ordre n.

Cas particuliers[modifier | modifier le code]

Lorsque l’ensemble des coefficients est un corps, une matrice triangulaire (supérieure ou inférieure) est inversible si et seulement si tous ses coefficients diagonaux sont non nuls.

Une matrice réelle dont toutes les colonnes sont orthogonales deux à deux est inversible si et seulement si elle n’a aucune colonne nulle.

Un produit de deux matrices carrées est inversible si et seulement si les deux matrices en facteur le sont aussi.

Les matrices de permutation, transvection, symétrie ou rotation et les matrices de passage sont toujours inversibles.

La matrice de variance-covariance d’une famille $(X 1, \dots , X n)$ de variables aléatoires réelles est inversible sauf s’il existe une relation affine presque sûre entre ces variables.

La matrice compagnon d’un polynôme est inversible si et seulement si ce polynôme a un coefficient constant non nul.

Autres ensembles de coefficients[modifier | modifier le code]

Pour des matrices à coefficients dans un anneau non commutatif, voire dans un semi-anneau, la détermination de l’inversibilité ne peut plus s’appuyer sur la notion de déterminant.

L’ensemble ${\mathcal {M}}_{n}(\mathbb {H} )$ des matrices carrées de quaternions se plonge naturellement comme sous-algèbre dans l’ensemble ${\mathcal {M}}_{2n}(\mathbb {C} )$ des matrices complexes de taille double, sur lequel le déterminant induit alors une fonction complexe dont l’annulation caractérise les matrices singulières. L’existence d’une inverse à gauche est encore équivalente à celle d’une inverse à droite (et ces deux inverses coïncident)^[3].

Avec des coefficients booléens, munis des lois de composition interne OU et ET, les seules matrices inversibles sont les matrices de permutation, dont l’inverse égale à la transposée^[4].

Inversion[modifier | modifier le code]

Article détaillé : Complexité de la multiplication de matrices.

De multiples méthodes permettent de déterminer l’inverse d’une matrice.

Résolution de système[modifier | modifier le code]

Étant donné une matrice carrée $A$ de taille $n$ , la détermination d’une matrice $B$ satisfaisant la relation $A B = I n$ peut s’exprimer par un système avec $n 2$ équations linéaires et autant d’inconnues.

Cependant, même pour de faibles valeurs de $n$ , il est beaucoup plus simple de résoudre un système traduisant l’égalité $A X = Y$ où $X$ est une matrice colonne de $n$ inconnues et $Y$ est une matrice colonne de $n$ paramètres littéraux. L’expression des inconnues en fonction des paramètres s’écrit sous forme matricielle $X = B Y$ et la matrice $B$ ainsi définie est la matrice inverse de $A$ .

La résolution de ces systèmes s’appuie en général sur le processus d’élimination de Gauss-Jordan, aussi appelé algorithme du pivot de Gauss.

Méthode des cofacteurs[modifier | modifier le code]

Article détaillé : Formule de Laplace.

Si le déterminant d'une matrice $A$ (à coefficients dans un corps commutatif) est non nul, alors $A$ est inversible, son inverse étant donnée par :

A^{-1}={\frac {1}{\det A}}\,^{\operatorname {t} }\!{{\rm {com}}A}

où $t com(A)$ est la transposée de la comatrice de $A$ . En effet (cf. article détaillé), toute matrice carrée $A$ d'ordre $n$ vérifie :

A\;{}^{\operatorname {t} }\!\left(\operatorname {com} A\right)={}^{\operatorname {t} }\!\left(\operatorname {com} A\right)\;A=\det(A)\;\mathrm {I} _{n}

.

Cette écriture permet un calcul aisé de l'inverse d'une matrice de petite dimension. Pour des matrices de plus grande dimension, cette méthode essentiellement récursive devient inefficace.

Inversion des matrices 2×2[modifier | modifier le code]

L'équation des cofacteurs ci-dessus permet de calculer l'inverse des matrices de dimensions 2×2 : si $ad - bc \neq 0$ ,

A={\begin{pmatrix}a&b\\c&d\end{pmatrix}},\ \operatorname {com} A={\begin{pmatrix}d&-c\\-b&a\end{pmatrix}},\ ^{\operatorname {t} }\!\operatorname {com} A={\begin{pmatrix}d&-b\\-c&a\end{pmatrix}}

,

A^{-1}={\begin{pmatrix}a&b\\c&d\end{pmatrix}}^{-1}={\frac {1}{ad-bc}}{\begin{pmatrix}d&-b\\-c&a\end{pmatrix}}

.

Exemple

{\begin{pmatrix}1&2\\3&4\\\end{pmatrix}}^{-1}={\frac {1}{-2}}{\begin{pmatrix}4&-2\\-3&1\\\end{pmatrix}}

.

Inversion des matrices 3×3[modifier | modifier le code]

De même, on obtient l'inverse d'une matrice $A={\begin{pmatrix}a&b&c\\d&e&f\\g&h&i\\\end{pmatrix}}$ de dimension 3×3 en calculant son déterminant (par la règle de Sarrus, par exemple) :

\det A=aei+bfg+cdh-ceg-fha-ibd,\

puis en utilisant la formule :

A^{-1}={\begin{pmatrix}a&b&c\\d&e&f\\g&h&i\\\end{pmatrix}}^{-1}={\frac {1}{\det A}}^{\operatorname {t} }\!{\begin{pmatrix}ei-fh&fg-di&dh-eg\\ch-bi&ai-cg&bg-ah\\bf-ce&cd-af&ae-bd\end{pmatrix}}={\frac {1}{\det A}}{\begin{pmatrix}ei-fh&ch-bi&bf-ce\\fg-di&ai-cg&cd-af\\dh-eg&bg-ah&ae-bd\end{pmatrix}}

.

Polynôme annulateur[modifier | modifier le code]

Si une matrice carrée $A$ possède un polynôme annulateur à coefficients dans un corps commutatif et de terme constant non nul, alors elle est inversible : pour tout polynôme $P(X)=\sum _{k=0}^{m}a_{k}X^{k}{\text{ tel que }}a_{0}\neq 0{\text{ et }}P(A)=0,$ on a^[5]^,^[6] $A^{-1}=-{\frac {1}{a_{0}}}\sum _{k=1}^{m}a_{k}A^{k-1}$ avec (pour k = 1) A⁰ = I_n, où n est l'ordre de la matrice carrée A.

Réciproquement, si A est inversible, alors il existe de tels polynômes :

le polynôme caractéristique P_A(X) = det(XI_n – A) est un polynôme annulateur de A d'après le théorème de Cayley-Hamilton, or son terme constant P_A(0) = (–1)ⁿdet(A) est non nul si (et seulement si) A est inversible ;
le polynôme minimal de A est de degré inférieur ou égal au degré n de P_A. Ses racines sont, comme pour P_A, les valeurs propres de A. Son terme constant est donc non nul si (et seulement si) 0 n'est pas valeur propre, c'est-à-dire si A est inversible.

Inversion par bloc[modifier | modifier le code]

Article détaillé : Complément de Schur.

L'inverse d'une matrice peut également être calculée par blocs, en utilisant la formule analytique suivante :

{\begin{pmatrix}A&B\\C&D\end{pmatrix}}^{-1}={\begin{pmatrix}A^{-1}+A^{-1}B(D-CA^{-1}B)^{-1}CA^{-1}&-A^{-1}B(D-CA^{-1}B)^{-1}\\-(D-CA^{-1}B)^{-1}CA^{-1}&(D-CA^{-1}B)^{-1}\end{pmatrix}}={\begin{bmatrix}A^{-1}&0\\0&0\end{bmatrix}}+{\begin{bmatrix}-A^{-1}B\\I\end{bmatrix}}(D-CA^{-1}B)^{-1}{\begin{bmatrix}-CA^{-1}&I\end{bmatrix}},

où $A$ , $B$ , $C$ et $D$ sont des blocs de taille arbitraire, sous réserve que $A$ soit inversible ainsi que son complément de Schur $D - CA -1 B$ . Cette méthode peut se révéler avantageuse, par exemple, si $A$ est diagonale et si son complément $D - CA -1 B$ est une matrice de petite dimension, puisque ce sont les seules matrices à inverser.

Cette technique a été inventée par Volker Strassen, connu également pour l'algorithme de Strassen sur le produit matriciel rapide.

Si $D$ est inversible ainsi que son complément $A - BD -1 C$ , on a la formule duale :

{\begin{pmatrix}A&B\\C&D\end{pmatrix}}^{-1}={\begin{pmatrix}\left(A-BD^{-1}C\right)^{-1}&-\left(A-BD^{-1}C\right)^{-1}BD^{-1}\\-D^{-1}C\left(A-BD^{-1}C\right)^{-1}&D^{-1}+D^{-1}C\left(A-BD^{-1}C\right)^{-1}BD^{-1}\end{pmatrix}}

.

(Si les matrices $A$ et $D$ sont toutes deux inversibles ainsi que leurs compléments, on peut combiner ces deux formules en choisissant, pour chacun des quatre blocs de la matrice inverse, l'une des deux expressions fournies.)

Cette relation permet de montrer que la complexité algorithmique de l'inversion de matrice est la même que celle du produit matriciel^[7].

Factorisation LU[modifier | modifier le code]

Article détaillé : Décomposition LU.

Groupe des matrices inversibles[modifier | modifier le code]

Les matrices carrées d'ordre n à coefficients dans un anneau K forment un anneau, noté M_n(K). L'ensemble des matrices inversibles de M_n(K) forme donc un groupe pour la multiplication : le groupe des inversibles de M_n(K). On l'appelle groupe général linéaire et on le note habituellement GL_n(K). Par conséquent :

la matrice inverse d'une matrice inversible A est elle-même inversible, et
(A⁻¹)⁻¹ = A ;
le produit de deux matrices inversibles A et B (de même ordre) est une matrice inversible et son inverse est donné par la relation suivante
(AB)⁻¹ = B⁻¹A⁻¹ (différent en général de A⁻¹B⁻¹, sauf si A et B commutent, par exemple si A ou B est une matrice scalaire et si l'anneau K est commutatif).

Toute matrice qui commute avec une matrice inversible A commute aussi avec A⁻¹.

En général, « presque toutes » les matrices carrées d'ordre n sont inversibles. Sur le corps des nombres réels, cela peut être formulé de façon plus précise : l'ensemble des matrices non inversibles, considéré comme sous-ensemble de $\mathbb {R} ^{n\times n}$ , est négligeable pour la mesure de Lebesgue. Intuitivement, cela signifie que si l'on choisit au hasard une matrice carrée d'ordre n à coefficients réels, la probabilité pour qu'elle ne soit pas inversible est nulle. La raison en est que les matrices non inversibles sont les racines (ou zéros) d'une fonction polynomiale donnée par le déterminant.

Dans l'ensemble des matrices carrées réelles ou complexes de taille fixée, le sous-ensemble des matrices inversibles est dense^[8].

Dérivée de l'inverse d'une application à valeurs matricielles[modifier | modifier le code]

Soient un intervalle I (d'intérieur non vide) de $\mathbb {R}$ et une fonction matricielle $A:I\to \mathrm {GL} _{n}(\mathbb {R} ),~t\mapsto A(t)$ dérivable sur I. Alors, la fonction matricielle $A^{-1}:I\to \mathrm {GL} _{n}(\mathbb {R} ),\,t\mapsto A(t)^{-1}$ est dérivable sur I et $\forall t\in I\quad {\frac {\mathrm {d} A^{-1}}{\mathrm {d} t}}(t)=-A^{-1}(t)\,{\frac {\mathrm {d} A}{\mathrm {d} t}}(t)\,A^{-1}(t)$ .Pour n = 1, en notant f(t) le réel A(t), on retrouve la formule usuelle de dérivation :

\left({\frac {1}{f}}\right)'(t)=-{\frac {f'(t)}{f^{2}(t)}}

.

Plus génériquement, l'application $\mathrm {inv} :\qquad \mathrm {GL} _{n}(\mathbb {R} )\to \mathrm {GL} _{n}(\mathbb {R} ),\qquad A\mapsto A^{-1}$ est infiniment différentiable (puisque son expression par la formule des cofacteurs est rationnelle) et sa différentielle est donnée par^[9] :

\forall A\in \mathrm {GL} _{n}(\mathbb {R} )\quad \forall H\in \mathrm {M} _{n}(\mathbb {R} )\quad \mathrm {d} \,\mathrm {inv} _{A}(H)=-A^{-1}HA^{-1}

.

Généralisations[modifier | modifier le code]

Certaines des propriétés des matrices inverses sont aussi vérifiées par les matrices pseudo-inverses qui peuvent être définies pour n'importe quelle matrice, même pour celles qui ne sont pas carrées.

Même lorsque la matrice X n'est pas carrée, les matrices XX' et X'X (où X' est la matrice transposée de X) le sont. Si l'une de ces matrices est inversible, il est alors possible d'« inverser » X grâce à une multiplication à gauche par $(X'X)^{-1}$ , ou une multiplication à droite par $(XX')^{-1}$ ; dans ce cas, on a en effet

\left((X'X)^{-1}X'\right)X=I\,

(inverse à gauche) ou

X\left(X'(XX')^{-1}\right)=I

(inverse à droite).

Notes et références[modifier | modifier le code]

↑ Il y a différents ensembles de matrices carrées, selon la dimension et l’ensemble de coefficients choisi. Une même matrice à coefficients entiers par exemple peut être inversible dans ${\mathcal {M}}_{n}(\mathbb {R} )$ sans l’être dans ${\mathcal {M}}_{n}(\mathbb {Z} )$ .
↑ Voir par exemple (en) David C. Lay, Linear Algebra and its Applications, Washington, Pearson, 2016, 579 p. (ISBN 978-0-321-98238-4), p. 114, 237, 277 et 423, ou le chapitre sur l'inverse, dans la leçon de Wikiversité sur les matrices (voir infra).
↑ Fuzhen Zhang, Quaternions and Matrices of Quaternions, Linear Algebra and its Applications 251:21–57 (1997).
↑ D. E. Rutherford, Inverses of Boolean matrices, Glasgow Mathematical Journal, Volume 6:1, janvier 1963, p. 49–53, DOI: https://doi.org/10.1017/S2040618500034705.
↑ S. Sarfati et M. Fegyvères, Mathématiques : méthodes, savoir-faire et astuces, Bréal, coll. « Optimal, CPHEC », 1997 (lire en ligne), p. 65.
↑ C. Gautier et A. Warusfel (dir.), Mathématiques « tout-en-un » ECS 2^e année, Dunod, 2008 (lire en ligne), p. 16.
↑ (en) Thomas H. Cormen, Charles E. Leiserson et Ronald L. Rivest, Introduction à l'algorithmique, Paris, Dunod, 2002, xxix+1146 (ISBN 978-2-10-003922-7, SUDOC 068254024), chap. 28 (« Calcul matriciel »)
↑ Voir par exemple cet exercice corrigé de la leçon « Espaces vectoriels normés » sur Wikiversité.
↑ Voir par exemple cet exercice corrigé de la leçon « Calcul différentiel » sur Wikiversité.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

matrice inversible, sur le Wiktionnaire
Matrice inversible, sur Wikiversity

Portail de l’algèbre

[1] Il y a différents ensembles de matrices carrées, selon la dimension et l’ensemble de coefficients choisi. Une même matrice à coefficients entiers par exemple peut être inversible dans ${\mathcal {M}}_{n}(\mathbb {R} )$ sans l’être dans ${\mathcal {M}}_{n}(\mathbb {Z} )$ .

[2] Voir par exemple (en) David C. Lay, Linear Algebra and its Applications, Washington, Pearson, 2016, 579 p. (ISBN 978-0-321-98238-4), p. 114, 237, 277 et 423, ou le chapitre sur l'inverse, dans la leçon de Wikiversité sur les matrices (voir infra).

[3] Fuzhen Zhang, Quaternions and Matrices of Quaternions, Linear Algebra and its Applications 251:21–57 (1997).

[4] D. E. Rutherford, Inverses of Boolean matrices, Glasgow Mathematical Journal, Volume 6:1, janvier 1963, p. 49–53, DOI: https://doi.org/10.1017/S2040618500034705.

[5] S. Sarfati et M. Fegyvères, Mathématiques : méthodes, savoir-faire et astuces, Bréal, coll. « Optimal, CPHEC », 1997 (lire en ligne), p. 65.

[6] C. Gautier et A. Warusfel (dir.), Mathématiques « tout-en-un » ECS 2^e année, Dunod, 2008 (lire en ligne), p. 16.

[Cormen-7] (en) Thomas H. Cormen, Charles E. Leiserson et Ronald L. Rivest, Introduction à l'algorithmique, Paris, Dunod, 2002, xxix+1146 (ISBN 978-2-10-003922-7, SUDOC 068254024), chap. 28 (« Calcul matriciel »)

[8] Voir par exemple cet exercice corrigé de la leçon « Espaces vectoriels normés » sur Wikiversité.

[9] Voir par exemple cet exercice corrigé de la leçon « Calcul différentiel » sur Wikiversité.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]