Comatrice - Définition
La liste des auteurs de cet article est disponible ici.
Introduction
En algèbre linéaire, la comatrice d'une matrice carrée A est une matrice introduite par une généralisation du calcul de l'inverse de A. Elle a une importance considérable pour l'étude des déterminants. Ses coefficients sont appelés cofacteurs de A, et ils permettent d'étudier les variations de la fonction déterminant.
La comatrice est aussi appelée matrice des cofacteurs.
Matrice ayant un coefficient variable
Le déterminant pour les matrices est naturellement défini comme une fonction sur les n vecteurs colonnes de la matrice. Il est cependant légitime de le considérer aussi comme une fonction qui aux n2 coefficients de la matrice associe un scalaire.
Quand on gèle tous les coefficients de la matrice à l'exception d'un seul, le déterminant est une fonction affine du coefficient variable. L'expression de cette fonction affine est simple à obtenir comme cas particulier de la propriété de n-linéarité ; elle fait intervenir un déterminant de taille n-1, appelé cofacteur du coefficient variable.
Ces considérations permettent d'établir une formule de récurrence ramenant le calcul d'un déterminant de taille n, à celui de n déterminants de taille n-1 : c'est la formule de Laplace.
Cofacteur
Soit A une matrice carrée de taille n. On observe l'effet d'une modification d'un des coefficients de la matrice, toutes choses égales par ailleurs. Pour cela on choisit donc deux indices i pour la ligne et j pour la colonne, et on note A(x) la matrice dont les coefficients sont les mêmes que ceux de A, sauf le terme d'indice i,j qui vaut ai,j+x. On écrit la formule de linéarité pour la j-ème colonne
Le déterminant noté Cofi,j est appelé cofacteur d'indice i,j de la matrice A. Il admet les interprétations suivantes
- augmenter de x le coefficient d'indice i,j de la matrice (toutes choses égales par ailleurs) revient à augmenter le déterminant de x fois le cofacteur correspondant
- le cofacteur est la dérivée du déterminant de la matrice A(x)
Dans la pratique, on calcule les cofacteurs de la façon suivante : on appelle M(i;j) le déterminant de la sous-matrice déduite de M en ayant enlevé la ligne i et la colonne j (on parle de mineur pour un tel déterminant). Alors le cofacteur est (-1)i+j fois M(i;j).
Formules de Laplace
Si n>1 et A est une matrice carrée de taille n alors on peut calculer son déterminant en fonction des coefficients d'une seule colonne et des cofacteurs correspondants. Cette formule, dite formule de Laplace, permet ainsi de ramener le calcul du déterminant à n calculs de déterminants de taille n-1.
- Formule de développement par rapport à la colonne j
- On peut donner également une formule de développement par rapport à la ligne i
Quitte à transposer la matrice, il suffit de prouver la formule du développement par rapport à une colonne.
On considère la matrice M0 obtenue en remplaçant la colonne j de la matrice A par une colonne de 0. Le déterminant de M0 est nul.
On passe de M0 à A en modifiant successivement les différents coefficients de la colonne j. On fait d'abord passer le premier coefficient de 0 à a1;j, puis le second de 0 à a2;j et ainsi de suite. La première opération revient à ajouter a1;j multiplié par son cofacteur, la seconde a1;j multiplié par son cofacteur.
Au bout du compte, pour passer du déterminant de M0 (nul) à celui de A, on a ajouté successivement tous les termes intervenant dans la formule de Laplace.
Remarque : pour la correction de la preuve, les cofacteurs à chaque étape sont bien les mêmes que ceux de la matrice A, puisqu'on ne modifie que la colonne j.Généralisation
On introduit la comatrice de A, matrice constituée des cofacteurs de A. On peut généraliser les formules de développement du déterminant par rapport aux lignes ou colonnes
On prend de nouveau pour matrice M0 la matrice obtenue en remplaçant la colonne j de la matrice A par une colonne de 0. Le déterminant de M0 est nul.
Mais cette fois au lieu de faire apparaître en colonne j les coefficients ai;j, on fait apparaître successivement les coefficients ai;k d'une autre colonne. La matrice finale obtenue admet alors deux colonnes identiques, donc est elle aussi de déterminant nul. Ceci signifie
En effet par rapport à la démonstration précédente, si les coefficients ont changé, les cofacteurs non.
Si on ajoute à cette étude le cas j=k qui a été examiné dans le paragraphe précédent, on arrive à
La matrice transposée de la comatrice est appelée matrice complémentaire de A. Notamment si A est inversible, l'inverse de A est un multiple de la matrice complémentaire. Ce qui veut dire qu'on a obtenu une formule pour l'inverse, ne nécessitant que des calculs de déterminants
Cette formule est encore valable si les matrices sont à coefficients dans un anneau A. Elle est utilisée pour démontrer que M est inversible en tant que matrice à coefficients dans A si et seulement si det(M) est inversible comme élément de A.
Elle est d'un intérêt limité pour calculer explicitement des inverses de matrices; en pratique elle est trop lourde dès que n=4 et la méthode plus élémentaire à base d'opérations élémentaires sur les lignes (inversion par pivot de Gauss) est plus efficace, aussi bien pour l'homme que pour la machine.
