En mathématiques, et plus particulièrement en algèbre linéaire, le lemme du déterminant matriciel permet de calculer le déterminant de la somme d'une matrice inversible et du produit dyadique , d'un vecteur colonne et d'un vecteur ligne .

Déclaration Soit une matrice carrée inversible et et des vecteurs colonnes. Alors, le lemme du déterminant matriciel stipule que

Ici, uv T est le produit extérieur de deux vecteurs et .

Le théorème peut également être énoncé en termes de matrice complémentaire de :

Cette formulé a l'avantage d'être vérifiée que la matrice soit inversible ou non.

Preuve Tout d’abord, la preuve du cas particulier découle de l’égalité:

Le déterminant du membre de gauche est le produit des déterminants des trois matrices. Puisque la première et la troisième matrice sont triangulaires supérieures et ont une diagonale unitaire, leurs déterminants sont égaux à 1. Le déterminant de la matrice du milieu est la valeur recherchée. Le déterminant du membre de droite est simplement . On obtient donc le résultat suivant :

On peut alors trouver le cas général en posant :

Application Si le déterminant et l'inverse de sont déjà connus, la formule permet de calculer rapidement le déterminant de corrigé par la matrice . Le calcul est relativement peu coûteux car il n'est pas nécessaire de recalculer le déterminant de (ce qui implique des calculs coûteux). En utilisant des vecteurs unitaires pour et/ou , on peut manipuler individuellement les colonnes, les lignes ou les éléments de et calculer ainsi, à moindre coût, le déterminant mis à jour en conséquence.

Lorsque le lemme du déterminant matriciel est utilisé conjointement avec la formule de Sherman-Morrison, l'inverse et le déterminant peuvent être mis à jour simultanément.

Généralisation On suppose que est une matrice inversible et que et sont des matrices . Alors

Dans le cas particulier , on obtient l'identité de Weinstein-Aronszajn.

Étant donné de plus une matrice inversible de taille , la relation peut également s'exprimer comme

Voir aussi

La formule de Sherman-Morrison, qui montre comment mettre à jour l'inverse, , pour obtenir . La formule de Woodbury, qui montre comment mettre à jour l'inverse, , pour obtenir . Le théorème inverse binomial pour .

Références

Liens externes

Catégorie:Matrice Catégorie:Algèbre linéaire Catégorie:Pages avec des traductions non relues