trace

En algèbre linéaire, la trace d'une matrice carrée A est définie comme la somme de ses coefficients diagonaux et souvent notée Tr(A). La trace peut être vue comme une forme linéaire sur l'espace vectoriel des matrices. Elle vérifie l'identité : Tr(AB) = Tr(BA), et est en conséquence invariante par similitude. De façon voisine, si u est un endomorphisme d'un espace vectoriel de dimension finie sur un corps commutatif K, on peut définir la trace de l'opérateur u, par exemple comme trace de sa matrice dans n'importe quelle base. Plus généralement, sur une algèbre A, une trace est une forme linéaire λ telle que λ(ab) = λ(ba). Cette définition se rencontre en particulier dans l'étude des algèbres de von Neumann, qui sont des algèbres d'opérateurs sur des espaces de Hilbert.