Caractérisations de l'inversibilité
Six façons de dire la même chose
Question
La définition de l'inversibilité réclame de produire une matrice et de vérifier deux égalités, et . C'est beaucoup demander : il faut deviner , puis calculer deux produits. Peut-on décider de l'inversibilité de sans jamais exhiber de candidat — et une seule des deux égalités ne suffirait-elle pas ?
Proposition 1 : Caractérisations de l'inversibilité
Soit . Les assertions suivantes sont équivalentes :
- est inversible ;
- il existe telle que ;
- il existe telle que ;
- ;
- le rang de est égal à ;
- pour tout , .
Démonstration :
Étape préliminaire. Montrons que la seule matrice de échelonnée réduite par lignes et de rang est .
Soit échelonnée réduite possédant pivots. Chaque ligne non nulle porte exactement un pivot, donc les lignes de sont non nulles, et deux pivots ne sont jamais dans la même colonne. Notons les colonnes des pivots : c'est une suite strictement croissante de entiers de , donc pour tout . Les pivots occupent ainsi les positions , valent , et sont les seuls coefficients non nuls de leur colonne. Toutes les colonnes portant un pivot, tous les coefficients hors diagonale sont nuls : .
On établit maintenant le cycle , puis on traite le point 2 à part.
. Si est inversible, la matrice vérifie .
. Soit telle que , et soit tel que . En multipliant à gauche par :
. On raisonne par contraposée : supposons et construisons tel que .
D'après le théorème de Gauss-Jordan, il existe , produit de matrices d'opérations élémentaires, telle que soit échelonnée réduite ; elle possède pivots, situés dans les colonnes . Comme , il existe une colonne qui ne porte pas de pivot. On définit par
Calculons . Les lignes de d'indice sont nulles, donc les coefficients correspondants de le sont. Pour , la ligne de a un en colonne et des zéros dans toutes les autres colonnes de pivot ; il reste
puisque pour toute colonne sans pivot autre que . Donc .
Or est un produit de matrices d'opérations élémentaires, toutes inversibles : est inversible. De on tire , avec puisque . L'assertion 6 est donc en défaut.
. Si , la forme échelonnée réduite de possède pivots, donc d'après l'étape préliminaire. Comme , on a .
. Si , il existe , produit de matrices d'opérations élémentaires, telle que . La matrice est inversible, donc . Or l'inverse d'une matrice inversible est inversible, d'inverse : la matrice est inversible, et .
Le point 2. L'implication est immédiate avec . Réciproquement, soit telle que . Alors vérifie l'assertion 6 : si , alors
D'après le cycle déjà établi, appliqué cette fois à , la matrice est inversible. On a alors
et , inverse d'une matrice inversible, est inversible.
Remarque :
Le point le plus spectaculaire est l'équivalence de 1, 2 et 3 : en taille carrée, une seule des deux égalités suffit. Si l'on a trouvé telle que , il est inutile de vérifier : c'est automatique, et de plus .
Ce résultat justifie a posteriori le raisonnement mené à la leçon précédente sur l'exercice « inversible entraîne et inversibles », où l'on concluait de que était inversible.
Test 1 : Un seul produit suffit
Soient telles que . Alors .
Test 2 : Et si les matrices ne sont plus carrées ?
Soient et telles que . Alors .
Test 3 : Un vecteur dans le noyau
S'il existe non nul tel que , alors n'est pas inversible.
Test 4 : Rang non maximal
Une matrice de de rang peut être inversible.
Rédaction — Calculer l'inverse par l'algorithme de Gauss-Jordan :
Pour décider si est inversible et calculer son inverse en une seule passe :
- Border par l'identité : former la matrice augmentée .
- Réduire le bloc de gauche par l'algorithme de Gauss-Jordan (descente, normalisation, remontée), chaque opération portant sur les lignes entières, à travers la barre.
- Conclure.
- Si une ligne nulle apparaît dans le bloc de gauche, le rang est strictement inférieur à : la matrice n'est pas inversible, on s'arrête là.
- Sinon, le bloc de gauche devient et l'on lit
Pourquoi le bloc de droite donne l'inverse. Les opérations effectuées se résument en une matrice telle que ; d'après la caractérisation, est inversible et . Or ces mêmes opérations transforment le bloc de droite en . Le bloc de droite est donc bien .
- Vérifier en calculant — un seul des deux produits, d'après la caractérisation.
Exercice 1 : Calcul d'un inverse par la méthode de Gauss-Jordan
Soit . Montrer que est inversible et calculer .
Solution :(cliquer pour afficher)
On a
Le bloc de gauche est devenu : la matrice est inversible et
Vérification sur la première ligne de : , puis et .
Exercice 2 : Inverse déduit d'une relation polynomiale
Soit telle que . Montrer que est inversible et donner en fonction de .
Solution :(cliquer pour afficher)
On a , d'où
Alors est inversible et .
Remarque :
La conclusion de cet exercice s'appuie sur la caractérisation : l'égalité suffit à assurer l'inversibilité de et à identifier son inverse, sans vérifier le produit dans l'autre ordre. Ici la vérification serait d'ailleurs immédiate, commutant avec ; mais l'argument général ne le demande pas.
Exercice 3 : Une matrice dépendant d'un paramètre
Pour , on pose .
- Déterminer le rang de selon les valeurs de .
- En déduire pour quelles valeurs de la matrice est inversible.
- Calculer .
Solution :(cliquer pour afficher)
- Les opérations et donnent
- Si , cette matrice est échelonnée avec trois pivots (, , ) : .
- Si , elle vaut , échelonnée avec un seul pivot : . On le voit directement sur , dont les trois lignes sont égales.
-
D'après la caractérisation, est inversible si et seulement si , c'est-à-dire si et seulement si .
-
Pour , on applique l'algorithme à :
D'où
Vérification de la première ligne de : , , .
Reconnaître une matrice non inversible
Question
Prouver qu'une matrice est inversible demande un calcul. Prouver qu'elle ne l'est pas devrait être plus rapide : il suffit d'une seule colonne vérifiant . Quelles configurations, visibles à l'œil nu sur le tableau des coefficients, fournissent une telle colonne ?
Proposition 2 : Non-inversibilité en présence d'une relation de dépendance linéaire
Soit .
- Si l'une des lignes de est une combinaison linéaire des autres lignes, alors la matrice n'est pas inversible.
- Si l'une des colonnes de est une combinaison linéaire des autres colonnes, alors n'est pas inversible.
Démonstration :
- On note les colonnes de . On suppose qu'il existe tel que soit une combinaison linéaire de : il existe alors tels que
On pose
On a alors, d'après l'expression de comme combinaison linéaire des colonnes de ,
Or , donc n'est pas inversible.
- Supposons qu'une ligne de soit combinaison linéaire des autres. Les lignes de étant les colonnes de , une colonne de est combinaison linéaire des autres colonnes de : d'après le point 2, la matrice n'est pas inversible. Or est inversible si et seulement si l'est. Donc n'est pas inversible.
Exemple :
La matrice n'est pas inversible : sa deuxième ligne est le double de la première. Celle-ci non plus, : sa troisième colonne est la somme des deux autres. Comment fabriquer, dans chaque cas, une colonne telle que ?
Corollaire 1 : Cas d'une ligne ou d'une colonne nulle
Si contient une ligne nulle ou une colonne nulle, alors n'est pas inversible.
Démonstration :
Si est nulle, alors
donc est combinaison linéaire des autres colonnes, et le point 2 de la proposition s'applique. Le cas d'une ligne nulle se traite de même avec le point 1.
D'où n'est pas inversible.
Test 5 : Deux colonnes égales
Si deux colonnes de sont égales, alors n'est pas inversible.
Test 6 : Réciproque du corollaire
Si n'est pas inversible, alors possède une ligne nulle ou une colonne nulle.
Exercice 4 : Une somme de lignes nulle
Soit dont la somme des coefficients de chaque ligne est nulle, c'est-à-dire
- Montrer que n'est pas inversible, par deux méthodes distinctes.
- Application : la matrice est-elle inversible ?
Solution :(cliquer pour afficher)
- Première méthode : exhiber une colonne. On pose . Pour tout ,
donc avec . D'après la caractérisation de l'inversibilité, n'est pas inversible.
Seconde méthode : une relation entre les colonnes. L'hypothèse s'écrit , c'est-à-dire
La dernière colonne est combinaison linéaire des autres : d'après la proposition, n'est pas inversible.
Les deux méthodes sont d'ailleurs la même : la colonne de la première est, au signe près, le vecteur des coefficients de la relation de la seconde.
- Les sommes des trois lignes de valent , et . La matrice vérifie donc l'hypothèse : elle n'est pas inversible. On le confirme en calculant pour , qui vaut bien .
Remarque :
Le rang fournit une lecture uniforme de tout ce qui précède : une matrice carrée est inversible exactement lorsque son rang est maximal. Toute relation de dépendance entre les lignes ou entre les colonnes fait chuter ce rang strictement en dessous de , et interdit donc l'inversibilité.