Comatrice

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.

Sommaire

1 Matrice ayant un coefficient variable
2 Propriétés de la comatrice
3 Variations de la fonction déterminant
- 3.1 Déterminant dépendant d'un paramètre
- 3.2 Le déterminant comme fonction sur l’espace des matrices
4 Comatrice et produit vectoriel
5 Notes
6 Articles connexes

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 n² 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 a_i,j+x. On écrit la formule de linéarité pour la j-ème colonne

$\det A(x)=\det A + x\begin{vmatrix}a_{1,1} & \dots & a_{1,j-1}& 0&a_{1,j+1}& \dots & a_{1,n} \\\vdots & & \vdots & \vdots & \vdots& &\vdots\\ a_{i-1,1} & \dots & a_{i-1,j-1}& 0&a_{i-1,j+1}& \dots & a_{i-1,n} \\ a_{i,1} & \dots & a_{i,j-1}& 1&a_{i,j+1}& \dots & a_{i,n}\\ a_{i+1,1} & \dots & a_{i+1,j-1}& 0&a_{i+1,j+1}& \dots & a_{i+1,n} \\ \vdots & & \vdots & \vdots & \vdots& &\vdots\\ a_{n,1} & \dots & a_{n,j-1}& 0&a_{n,j+1}& \dots & a_{n,n}\end{vmatrix} = \det A+x {\rm Cof}_{i,j}$

Le déterminant noté Cof_i,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).

${\rm Cof}_{i,j}=(-1)^{i+j}\begin{vmatrix}a_{1,1} & \dots & a_{1,j-1}& a_{1,j+1}& \dots & a_{1,n} \\\vdots & & \vdots & \vdots& &\vdots\\ a_{i-1,1} & \dots & a_{i-1,j-1}& a_{i-1,j+1}& \dots & a_{i-1,n} \\ a_{i+1,1} & \dots & a_{i+1,j-1}& a_{i+1,j+1}& \dots & a_{i+1,n} \\ \vdots & & \vdots & \vdots &&\vdots\\ a_{n,1} & \dots & a_{n,j-1}& a_{n,j+1}& \dots & a_{n,n}\end{vmatrix}$

Formules de Laplace

Pierre-Simon 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

$\det{A}=\sum_{i=1}^{n} a_{i,j} {\rm Cof}_{i,j}$

On peut donner également une formule de développement par rapport à la ligne i

$\det{A}=\sum_{j=1}^{n} a_{i,j} {\rm Cof}_{i,j}$

Démonstration de la formule de Laplace

Quitte à transposer la matrice, il suffit de prouver la formule du développement par rapport à une colonne.

On considère la matrice M₀ obtenue en remplaçant la colonne j de la matrice A par une colonne de 0. Le déterminant de M₀ est nul.

On passe de M₀ à A en modifiant successivement les différents coefficients de la colonne j. On fait d'abord passer le premier coefficient de 0 à a_1;j, puis le second de 0 à a_2;j et ainsi de suite. La première opération revient à ajouter a_1;j multiplié par son cofacteur, la seconde a_1;j multiplié par son cofacteur.

Au bout du compte, pour passer du déterminant de M₀ (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

$A \cdot ({}^t{{\rm com} A}) = ({}^t{{\rm com} A}) \cdot A =\det{A} \times I_n$

Démonstration

On prend de nouveau pour matrice M₀ la matrice obtenue en remplaçant la colonne j de la matrice A par une colonne de 0. Le déterminant de M₀ est nul.

Mais cette fois au lieu de faire apparaître en colonne j les coefficients a_i;j, on fait apparaître successivement les coefficients a_i;k d'une autre colonne. La matrice finale obtenue admet alors deux colonnes identiques, donc est elle aussi de déterminant nul. Ceci signifie

$\forall j\neq k, \, \sum_{i=1}^n a_{i,k}{\rm Cof}_{i,j}=0$

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 à

$\sum_{i=1}^n a_{i,k}{\rm Cof}_{i,j}=\det (A)\cdot \delta_{j,k}$

qui est exactement, composante par composante, la formule souhaitée.

La matrice transposée de la comatrice est appelée matrice complémentaire^[1] 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

$A^{-1}=\frac1{\det A} \, {}^t{{\rm com} A}$

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.

Propriétés de la comatrice

Nous avons

com(I n) = I n

pour toutes matrices M et N d'ordre n,

com(M N) = com(N)com(M)

La comatrice est aussi compatible avec la transposition :

com(t M) = t (com(M))

de plus,

det(com(M)) = det(M) n - 1

Si $P (X) = det(M - X I n)$ est le polynôme caractéristique de M et que Q est le polynôme défini par $Q(X) = \frac{P(0) - P(X)}{X}$ , alors

t com(M) = Q (M)

La comatrice apparaît dans la formule de la dérivée d'un déterminant.

Pour $A \in M_{n}(K)$ :

si A est de rang n (i.e. A inversible), Com(A) aussi. On a alors ${\rm com}(A)=\det(A)~^{t}A^{-1}$ et ${\rm com}(A)^{-1}=\frac{1}{\det(A)}~^{t}A$ .
si A est de rang n-1, Com(A) est de rang 1.
si A est de rang au plus n-2, Com(A)=0.

Si $n \geq 3$ et $A \in M_{n}(K)$ , ${\rm com}({\rm com}(A))=\det(A)^{n-2}\,A$ (et est donc nulle si, et seulement si, A n'est pas inversible). Si n=2, on a Com(Com(A))=A pour toute matrice A (ce qu'on peut inclure dans la formule précédente avec la convention $x 0 = 1$ pour tout $x \in K$ , y compris pour x=0).

Si $n \geq 3$ , les matrices $A \in M_{n}(\mathbb{R})$ telles que A=Com(A) sont la matrice nulle et les matrices spéciales orthogonales. Si n=2, ce sont les matrices multiples des matrices spéciales orthogonales.

Variations de la fonction déterminant

La formule de Leibniz montre que le déterminant d'une matrice A s'exprime comme somme et produit de composantes de A. Il n'est donc pas étonnant que le déterminant ait de bonnes propriétés de régularité. On suppose ici que K est le corps des réels.

Déterminant dépendant d'un paramètre

Si $t\mapsto A(t)$ est une fonction de classe $\mathcal C^k$ à valeurs dans les matrices carrées d'ordre n, alors $t\mapsto \det A(t)$ est également de classe $\mathcal C^k$ .

La formule de dérivation s'obtient en faisant intervenir les colonnes de A

$\frac{{\rm d}}{{\rm d}t} \left(\det (A_1(t),\dots, A_n(t)) \right)= \sum_{i=1}^n \det (A_1(t),\dots, A_{i-1}(t),A'_i(t),A_{i+1}(t),\dots, A_n(t))$

Cette formule est analogue formellement à la dérivée d'un produit de n fonctions numériques.

Le déterminant comme fonction sur l’espace des matrices

L’application qui à la matrice $A\$ associe son déterminant est continue (membre de $\mathcal C^0$ ).

Cette propriété a des conséquences topologiques intéressantes :

ainsi le groupe $GL_n\left(\mathbb{R}\right)$ est un ouvert,

le sous-groupe $SL_n\left(\mathbb{R}\right)$ est un fermé.
Cette application est en fait différentiable (membre de $\mathcal C^1$ ), et même infiniment différentiable (membre de $\mathcal C^\infty$ ).

En effet le calcul des cofacteurs peut être vu précisément comme un calcul de dérivée partielle

$\frac{\partial\det}{\partial E_{i, j}}\left(A\right) = {\rm Cof}\ A_{i, j}.$

Toutes ces dérivées partielles étant elles-mêmes des déterminants, par récurrence le déterminant est $\mathcal C^\infty$ .
En outre on peut écrire le développement limité à l’ordre un du déterminant au voisinage de $A\$

$\det\left(A + H\right) = \det A + {\rm tr}\left({}^t{\rm Com}(A) . H\right) + \rm{o}\left(\left\|H\right\|\right),$

c’est-à-dire que si on munit $\mathcal{M}_n(\mathbb{R})$ de son produit scalaire canonique, l’application déterminant a pour gradient

$\nabla\det(A) = {\rm Com}\left(A\right).$

Notamment pour le cas où $A\$ est l’identité,

$\det\left(I + H\right) = 1 + {\rm tr}\left(H\right) + \rm{o}\left(\left\|H\right\|\right),$

$\nabla\det\left(I\right) = I.$

Comatrice et produit vectoriel

Si $A$ est une matrice d'ordre trois, elle agit sur les vecteurs de l'espace à trois dimensions muni d'une base orthonormée d'orientation directe. La comatrice de $A$ décrit alors l'interaction de $A$ avec le produit vectoriel:

$Au \wedge Av={\rm Com}A\, (u \wedge v)$ .

Notes

↑ Dans le logiciel Maple, la matrice complémentaire (transposée de la comatrice) est appelée « matrice adjointe » , ce qui crée un risque de confusion avec la matrice adjointe au sens de transposée de la matrice conjuguée

Articles connexes

v · Matrices
Par forme	carrée • triangulaire • diagonale • tridiagonale • élémentaire • échelonnée • creuse • aléatoire • circulante • de Hankel • de Toeplitz • de Vandermonde
Transformée	transposée • conjuguée • adjointe • inverse • comatrice
En relation	équivalentes • semblables • congruentes
Par propriété	inversible • diagonalisable • trigonalisable • symétrique • antisymétrique • hermitienne • normale • orthogonale • unitaire • symplectique • de Hadamard • positive • définie positive • à diagonale dominante • nilpotente
Par famille	identité • de De Casteljau • de Cartan • de Hilbert • de Mueller • de Pauli • de Dirac • de Householder
Particulière	CKM
Associée	de permutation • de passage • compagnon • de Sylvester • d'adjacence • laplacienne • hessienne • jacobienne • génératrice • de contrôle • de corrélation • de Gram • de variance-covariance • d'inertie • de Jones • des gains • stochastique
Résultats	décompositions : LU • QR • Cholesky • polaire • valeurs singulières Diagonalisation • Trigonalisation • Réduction de Jordan • facteurs invariants
Voir aussi	Théorie des matrices • Algèbre linéaire • Algèbre bilinéaire

Portail des mathématiques

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Comatrice de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

comatrice — ● comatrice nom féminin Comatrice d une matrice carrée A = (aij) d ordre n, matrice obtenue en remplaçant chaque élément aij par son cofacteur Aij. (Si la matrice A est inversible, la comatrice de A est utilisée pour calculer son inverse par la… … Encyclopédie Universelle
Développement de Laplace — Comatrice 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… … Wikipédia en Français
Formule de Laplace — Comatrice 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… … Wikipédia en Français
Det — Déterminant (mathématiques) Pour les articles homonymes, voir Déterminant. En mathématiques, initialement introduit en algèbre pour déterminer le nombre de solutions d un système d équations linéaires, le déterminant se révèle un outil très… … Wikipédia en Français
Determinant (mathematiques) — Déterminant (mathématiques) Pour les articles homonymes, voir Déterminant. En mathématiques, initialement introduit en algèbre pour déterminer le nombre de solutions d un système d équations linéaires, le déterminant se révèle un outil très… … Wikipédia en Français
Déterminant (Mathématiques) — Pour les articles homonymes, voir Déterminant. En mathématiques, initialement introduit en algèbre pour déterminer le nombre de solutions d un système d équations linéaires, le déterminant se révèle un outil très puissant dans de nombreux… … Wikipédia en Français
Déterminant (mathématiques) — Pour les articles homonymes, voir Déterminant. En mathématiques, le déterminant fut initialement introduit en algèbre, pour résoudre un système d équations linéaires comportant autant d équations que d inconnues. Il se révèle un outil très… … Wikipédia en Français
Forme alternée — Déterminant (mathématiques) Pour les articles homonymes, voir Déterminant. En mathématiques, initialement introduit en algèbre pour déterminer le nombre de solutions d un système d équations linéaires, le déterminant se révèle un outil très… … Wikipédia en Français
Matrice Adjointe — En algèbre linéaire, une matrice adjointe (aussi appelée matrice transjuguée) d’une matrice M sur les complexes est la matrice transposée de la matrice conjuguée de M. La matrice adjointe est traditionellement dénotée mais il arrive couramment de … Wikipédia en Français
Matrice positive — Sommaire 1 Matrice positive 1.1 Définitions 1.2 Relation d ordre sur les matrices réelles 2 Matrices carrées positives … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Comatrice

Sommaire