Trace (Opérateur)
Définition
L'application Tr qui associe à un opérateur de classe trace la somme de ses éléments diagonaux dans toute base orthonormée (équivalente à la somme de ses valeurs propres), fournissant un scalaire indépendant de la base intervenant dans les valeurs moyennes, la normalisation et les invariants sous permutations cycliques.