Dans tout le chapitre, on ne traitera que de matrices carrées. Nous allons introduire la trace, qui constitue un outil de base d'étude des matrices.
Définition
![](../../I/Emblem-equal-defined.svg.png.webp)
Soit A une matrice carrée. La trace de A est la somme des « éléments diagonaux » de A (les éléments de sa diagonale principale). Elle est notée : , ou .
![](../../I/Oxygen480-apps-preferences-desktop-icons.svg.png.webp)
- La trace de la matrice :
- est :
- .
- La trace de In est n.
- La trace de la matrice nulle est .
Propriétés
![](../../I/Emblem-important-blue.svg.png.webp)
- Soient et deux matrices carrées de même taille et un scalaire. Alors :
- ;
- ;
- ;
- Soient et . Alors :
- .
Les deux premières propriétés se résument en disant que l'application trace est linéaire. Comme elle est à valeurs dans le corps K des scalaires, on dit que c'est une forme linéaire sur le K-espace vectoriel Mn(K).
Les trois premières propriétés sont immédiates. La dernière n’est pas beaucoup plus subtile :
.
![](../../I/Emblem-important-blue.svg.png.webp)
Soient et deux matrices carrées semblables. Alors, .
D'après la dernière propriété ci-dessus, la matrice a même trace que .
Compléments
Pour plus de détails sur la trace, voir la leçon de niveau 15 : Trace et transposée de matrice. On y verra en particulier que :
- Réciproquement, toute forme linéaire invariante par similitude est proportionnelle à la trace (exercice corrigé).
- Le fait que la trace soit identique pour deux matrices semblables signifie que la trace d'un endomorphisme est une propriété intrinsèque de l'endomorphisme, peu importe la base dans laquelle on l'exprime. Elle est donc l'« empreinte », la « trace » de l'endomorphisme.
- Le produit scalaire canonique sur peut s'exprimer à l'aide de la trace.