Matrice inversible - Définition

Introduction

En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d'ordre n est dite inversible ou régulière ou encore non singulière, s'il existe une matrice B d'ordre n telle que

AB = BA = I_n, ( AB = I_n suffit d'après le théoreme du rang )

où I_n désigne la matrice unité d'ordre n. La multiplication est la multiplication ordinaire des matrices. Dans ce cas, la matrice B est unique et est appelée la matrice inverse de A, et est notée A⁻¹.

Une matrice carrée qui n'est pas inversible est dite non inversible ou singulière. Tandis que dans les cas usuels, ces matrices sont à coefficients réels ou complexes, toutes ces définitions peuvent être données pour des matrices à coefficients dans un corps (et plus généralement dans un anneau) quelconque.

Ou plus simplement: Toute matrice carrée A est régulière si son déterminant est non nul et singulière si son déterminant est nul.

Propriétés fondamentales

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

• A est inversible,
• A est équivalente à la matrice unité I_n d'ordre n,
• A possède n pivots,
• le déterminant de A est non nul : det (A) ≠ 0,
• 0 n'est pas valeur propre de A,
• le rang de A est égal à n,
• le système homogène AX = 0 a pour unique solution X = 0,
• pour tout b dans , le système linéaire AX = b a au plus une solution,
• pour tout b dans , le système linéaire AX = b a au moins une solution,
• pour tout b dans , le système linéaire AX = b a exactement une solution,
• les colonnes de A, considérées comme des vecteurs de , sont linéairement indépendantes,
• les colonnes de A, considérées comme des vecteurs de , engendrent ,
• les colonnes de A, considérées comme des vecteurs de , forment une base de ,
• l'endomorphisme canoniquement associé à A (c’est-à-dire l'application linéaire de dans lui-même, notée can(A), qui a pour matrice A en base canonique) est injectif,
• l'endomorphisme can(A) canoniquement associé à A est surjectif,
• l'endomorphisme can(A) canoniquement associé à A est bijectif,
• 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.

Plus généralement, une matrice carrée à coefficients dans un anneau commutatif unifère est inversible si et seulement si son déterminant est inversible dans cet anneau.

Méthodes d'inversion

Avant de décrire les méthodes usuelles d'inversion, notons qu'en pratique, il n'est pas nécessaire de calculer l'inverse d'une matrice pour résoudre un système d'équations linéaires. Il est toutefois nécessaire que la matrice considérée soit inversible. Des méthodes de décomposition comme la décomposition LU sont beaucoup plus rapides que l'inversion.

Élimination de Gauss-Jordan

Méthode des cofacteurs

L'inverse d'une matrice A s'écrit sous une forme très simple à l'aide de la matrice complémentaire ^tcomA

où detA est le déterminant de A, comA est la comatrice de A et ^tC_ij est la matrice transposée de la comatrice.

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

Inversion des matrices 2 x 2

L'équation des cofacteurs ci-dessus permet de calculer l'inverse des matrices de dimensions 2 x 2 : si ,

EXEMPLE

Inversion des matrices 3 x 3

De même, l'inverse d'une matrice de dimensions 3 x 3 s'écrit :

Inversion par bloc

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

où A, B, C et D sont des blocs de taille arbitraire. Cette méthode peut se révéler avantageuse, par exemple, si A est diagonale et si son complément de Schur (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.