Comment Savoir Si Une Matrice Est Inversible

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

${\displaystyle AB=BA=I_{due north}}$

Dans ce cas la matrice B est unique, appelée matrice inverse de A et notée B = A ⁻ⁱ .

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

Si les coefficients d'une matrice carrée sont pris dans un anneau commutatif 1000, cette matrice est inversible si et seulement si elle représente un isomorphisme de K ⁿ , ce qui se traduit par united nations 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 not 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.

50'algorithme du pivot de Gauss permet united nations calcul verbal de l'changed 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 50'ensemble ${\displaystyle {\mathcal {M}}_{north}(K)}$ des matrices carrées de taille n à coefficients dans united nations anneau K, l'ensemble des matrices inversibles forme un groupe multiplicatif, appelé groupe général linéaire et noté ${\displaystyle {\mathcal {GL}}_{northward}(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 lawmaking]

${\displaystyle \left({\brainstorm{matrix}2&-1\\-6&3\cease{matrix}}\right)\left({\begin{matrix}1&2\\1&one\terminate{matrix}}\right)=\left({\begin{matrix}1&3\\-3&-ix\end{matrix}}\correct)=\left({\begin{matrix}2&-1\\-6&iii\terminate{matrix}}\correct)\left({\brainstorm{matrix}0&i\\-1&-ane\finish{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) northward'est pas toujours une opération réversible (on dit que cette loi de limerick n'est pas régulière), au sens où l'égalité de deux produits A B = A C north'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.

Fifty'existence d'une matrice changed A ⁻ⁱ permet de résoudre ces deux problèmes, par l'équivalence suivante :

${\displaystyle AX=Y\iff 10=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 lawmaking]

Toute matrice A=(a _i,j ) à coefficients dans un anneau commutatif M définit united nations unique endomorphisme de module (voire d'espace vectoriel) sur K ^north  :

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

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

En particulier, la matrice identité est associée à fifty'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 50'existence d'une matrice changed est équivalente au fait que l'application associée soit un automorphisme. Ce résultat serenity en partie sur la propriété fondamentale que la réciproque d'united nations isomorphisme de modules est aussi united nations isomorphisme.

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

${\displaystyle \det(A)\times \det(A^{-i})=\det(I_{n})=ane}$

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

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

donc dès lors que le déterminant est inversible dans l'anneau des coefficients, la matrice det(A)^−ane.^tcom(A) est une inverse pour A.

En particulier, une matrice à coefficients entiers admet une changed à 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 north à coefficients dans un corps commutatif Thousand (par exemple le corps ℝ des réels). Les propositions suivantes sont équivalentes (on note X une matrice colonne à north éléments dans Yard) ^[2]  :

• A est inversible,
• le déterminant de A est non nul ;
• A possède n pivots ;
• 0 north'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 ;
• pour tout b dans M _north,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 Chiliad^northward , sont linéairement indépendantes ;
• les colonnes de A, considérées comme des vecteurs de Thouⁿ , engendrent 1000^north  ;
• 50'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 ;
• fifty'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 northward telle que AB = I _n  ;
• la transposée ^t A 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.

United nations 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 (10 _i, … , 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 ${\displaystyle {\mathcal {M}}_{n}(\mathbb {H} )}$ des matrices carrées de quaternions se plonge naturellement comme sous-algèbre dans fifty'ensemble ${\displaystyle {\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. Fifty'beingness 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 fifty'changed égale à la transposée ^[4] .

Inversion [modifier | modifier le code]

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

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

Étant donnée 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 north ² équations linéaires et autant d'inconnues.

Cependant, même pour de faibles valeurs de northward, 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 northward paramètres littéraux. L'expression des inconnues en fonction des paramètres due south'écrit sous forme matricielle Ten = 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]

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

${\displaystyle A^{-one}={\frac {ane}{\det A}}\,^{\operatorname {t} }\!{{\rm {com}}A}}$

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

${\displaystyle A\;{}^{\operatorname {t} }\!\left(\operatorname {com} A\right)={}^{\operatorname {t} }\!\left(\operatorname {com} A\correct)\;A=\det(A)\;\mathrm {I} _{due north}}$ .

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

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

Fifty'équation des cofacteurs ci-dessus permet de calculer fifty'inverse des matrices de dimensions 2×2 : si advert – bc ≠ 0,

${\displaystyle 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}}}$ ,

${\displaystyle A^{-1}={\brainstorm{pmatrix}a&b\\c&d\end{pmatrix}}^{-i}={\frac {1}{ad-bc}}{\begin{pmatrix}d&-b\\-c&a\end{pmatrix}}}$ .

Exemple

${\displaystyle {\begin{pmatrix}1&two\\3&4\\\end{pmatrix}}^{-1}={\frac {1}{-two}}{\begin{pmatrix}four&-ii\\-3&1\\\end{pmatrix}}}$ .

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

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

${\displaystyle \det A=aei+bfg+cdh-ceg-fha-ibd,\ }$

puis en utilisant la formule :

${\displaystyle A^{-1}={\brainstorm{pmatrix}a&b&c\\d&e&f\\g&h&i\\\end{pmatrix}}^{-i}={\frac {i}{\det A}}^{\operatorname {t} }\!{\begin{pmatrix}ei-fh&fg-di&dh-eg\\ch-bi&ai-cg&bg-ah\\bf-ce&cd-af&ae-bd\terminate{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 united nations polynôme annulateur à coefficients dans un corps commutatif et de terme abiding non nul, alors elle est inversible : pour tout polynôme ${\displaystyle P(X)=\sum _{k=0}^{thou}a_{k}X^{k}{\text{ tel que }}a_{0}\neq 0{\text{ et }}P(A)=0,}$ on a ^{[5] , [6]} ${\displaystyle A^{-ane}=-{\frac {1}{a_{0}}}\sum _{k=i}^{yard}a_{k}A^{k-1}}$ avec (pour k = 1) A ⁰ = I _n , où due north est 50'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(11_north – A) est un polynôme annulateur de A d'après le théorème de Cayley-Hamilton, or son terme abiding P_A (0) = (–ane) ^northward 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]

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

${\displaystyle {\begin{pmatrix}A&B\\C&D\end{pmatrix}}^{-1}={\begin{pmatrix}A^{-1}+A^{-i}B(D-CA^{-1}B)^{-ane}CA^{-1}&-A^{-1}B(D-CA^{-1}B)^{-i}\\-(D-CA^{-ane}B)^{-1}CA^{-ane}&(D-CA^{-1}B)^{-1}\end{pmatrix}}={\begin{bmatrix}A^{-1}&0\\0&0\cease{bmatrix}}+{\begin{bmatrix}-A^{-1}B\\I\end{bmatrix}}(D-CA^{-i}B)^{-ane}{\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 ⁻¹ B . Cette méthode peut se révéler avantageuse, par exemple, si A est diagonale et si son complément D – CA ⁻¹ 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 ⁻ⁱ C , on a la formule duale :

${\displaystyle {\begin{pmatrix}A&B\\C&D\terminate{pmatrix}}^{-1}={\brainstorm{pmatrix}\left(A-BD^{-1}C\right)^{-1}&-\left(A-BD^{-ane}C\right)^{-i}BD^{-ane}\\-D^{-one}C\left(A-BD^{-1}C\correct)^{-1}&D^{-i}+D^{-1}C\left(A-BD^{-ane}C\right)^{-1}BD^{-1}\stop{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, fifty'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 ^[vii] .

Factorisation LU [modifier | modifier le code]

Groupe des matrices inversibles [modifier | modifier le code]

Les matrices carrées d'ordre n à coefficients dans un anneau One thousand forment un anneau, noté M _n (Grand). Fifty'ensemble des matrices inversibles de 1000 _n (M) forme donc united nations groupe pour la multiplication : le groupe des inversibles de One thousand _n (1000). On l'appelle groupe général linéaire et on le note habituellement GL _{due north} (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 ^−one 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 : fifty'ensemble des matrices not inversibles, considéré comme sous-ensemble de ${\displaystyle \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 north à 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 fifty'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'changed d'une application à valeurs matricielles [modifier | modifier le code]

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

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

• Plus génériquement, l'awarding ${\displaystyle \mathrm {inv} :\qquad \mathrm {GL} _{due north}(\mathbb {R} )\to \mathrm {GL} _{due north}(\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]  :

${\displaystyle \forall A\in \mathrm {GL} _{n}(\mathbb {R} )\quad \forall H\in \mathrm {1000} _{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 northward'importe quelle matrice, même pour celles qui ne sont pas carrées.

Même lorsque la matrice 10 due north'est pas carrée, les matrices Twenty' et X'Ten (où Ten' 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 ${\displaystyle (X'10)^{-1}}$ , ou une multiplication à droite par ${\displaystyle (XX')^{-i}}$  ; dans ce cas, on a en effet

${\displaystyle \left((X'X)^{-one}X'\right)X=I\,}$ (inverse à gauche) ou

${\displaystyle X\left(Ten'(XX')^{-1}\right)=I}$ (inverse à droite).

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

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 ${\displaystyle {\mathcal {M}}_{due north}(\mathbb {R} )}$ sans l'être dans ${\displaystyle {\mathcal {Grand}}_{n}(\mathbb {Z} )}$ .
2. ↑ Voir par exemple (en) David C. Lay, Linear Algebra and its Applications, Washington, Pearson, 2016, 579p. (ISBN978-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 Periodical, Volume 6:1, janvier 1963, p. 49–53, DOI: https://doi.org/10.1017/S2040618500034705.
5. ↑ S. Sarfati et K. 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 .
7. ↑ (en) Thomas H. Cormen, Charles E. Leiserson et Ronald L. Rivest, Introduction à l'algorithmique, Paris, Dunod, 2002, xxix+1146 (ISBN978-2-10-003922-7, SUDOC068254024), 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é.

Voir aussi [modifier | modifier le code]

• Inversibilité d'une matrice diagonale
• Inversion d'une matrice via sa décomposition en éléments propres

• Portail de l'algèbre

Comment Savoir Si Une Matrice Est Inversible,

Source: https://fr.wikipedia.org/wiki/Matrice_inversible

Posted by: watsonsoome2000.blogspot.com

Share this post