En raison de limitations techniques, la typographie souhaitable du titre, « Matrice : Trace Matrice/Trace », n'a pu être restituée correctement ci-dessus.
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.
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 .
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).
Démonstration
Les trois premières propriétés sont immédiates. La dernière n’est pas beaucoup plus subtile :
.
Corollaire : la trace est un invariant de similitude
Soient et deux matrices carrées semblables. Alors,
.
Démonstration
D'après la dernière propriété ci-dessus, la matrice a même trace que .
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é de la leçon « Trace et transposée de matrice »).
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.