Algèbre linéaire

Matrice inverse

Soit une matrice carrée , on dit que est inversible s’il existe une matrice, notée , telle que , où est la matrice identité .

L’ensemble des matrices carrées à coefficients dans un corps forme un anneau, dont les éléments inversibles sont exactement les matrices inversibles.

Déterminant

Soit une matrice carrée , de coefficients , le déterminant de est défini comme

Formule de Lagrange

La même formule est exprimée de façon récursive par la formule suivant, due à Lagrange.

On note la sous-matrice de obtenue en enlevant la première colonne et la -ème ligne. On a alors

Propriété fondamentale du déterminant

Soit une matrice carrée, un vecteur d’inconnues , un vecteur de scalaires , alors

Propriétés du déterminant

Pour toutes matrices carrées de taille , les propriétés suivantes sont vérifiés :

Les matrices diagonales, triangulaires supérieures et triangulaires inférieures satisfont toutes la propriété

Calcul du déterminant par pivot de Gauss

Les propriétés énoncés ci-dessus impliquent que l’algorithme du pivot de Gauss sans échanges de lignes ou de colonnes préserve la valeur du déterminant.

Lorsqu’on autorise les échanges dans l’algorithme de Gauss, il faut tenir compte du nombre d’échanges effectués pour décider du signe du déterminant.

Attention : seuls les pivots qui remplacent une ligne par une ligne , avec , préservent le déterminant. Les pivots de la forme le multiplient par .

Formules de Cramer

Soit une matrice carrée, et soit la matrice obtenue en enlevant la -ème ligne et la -ème colonne de . La comatrice de est la matrice

Proposition : Soit une matrice et sa comatrice, on a .

Une conséquence immédiate de cette proposition est la suivante, connue sous le nom de formule de Cramer :

Soit une matrice inversible, soit un vecteur d’inconnues, soit un vecteur de scalaires, le système a pour solution

est la matrice obtenue en remplaçant la -ème colonne de par .

Calcul de l’inverse par pivot de Gauss

Soit une matrice inversible , la solution à l’équation

est une matrice inconnue et est la matrice identité peut être trouvée par pivot de Gauss en résolvant colonne-par-colonne.

Cette méthode est appelée méthode de Gauss-Jordan. Il est usuel de faire les calculs de cette méthode en écrivant la matrice , obtenue par juxtaposition de et de la matrice identité, et en appliquant la méthode de Gauss jusqu’à faire apparaître la matrice identité à gauche, sous la forme . Il est alors immédiat de vérifier que est l’inverse de .

Références

F. Liret, D. Martinais. Algèbre 1re année.
2e édition. Dunod, 2003. ISBN 2-10-005548-8. Côte BU : 512 LIR.
Fork me on GitHub