Classe trace

En mathématiques, un opérateur de classe trace, ou opérateur à trace, est un opérateur compact pour lequel on peut définir une trace au sens de l’algèbre linéaire, qui est finie et ne dépend pas de la base. En s’inspirant de la définition dans le cas de la dimension finie, un opérateur borné A sur un espace de Hilbert séparable est dit de classe trace si dans une certaine base hilbertienne {ek}k (et donc dans toutes) de H, la série à termes positifs suivante converge où (A* A) désigne la racine carrée de l' A* A. Dans ce cas, la somme est absolument convergente et ne dépend pas du choix de la base orthonormée. Ce nombre est appelé trace de A. Quand H est de dimension finie, on retombe sur la trace usuelle. Par extension, si A est un opérateur positif, on peut définir sa trace, quitte à ce qu’elle soit infinie, comme la série à terme positifs Si A est positif et auto-adjoint, A est de classe trace si et seulement si Tr(A) < ∞. Ainsi, un opérateur autoadjoint est de classe trace si et seulement si ses parties positive et négative sont de classe trace. La Trace est une forme linéaire sur l’ensemble des opérateurs de classe trace, i.e.La forme bilinéairedéfinit un produit scalaire sur les opérateurs de classe trace. La norme qui y est associée est appelée la norme de Hilbert-Schmidt. Le complété des opérateurs de classe trace pour cette norme forme l’espace des . Le point ci-dessous prouve que tous les opérateurs à trace sont de Hilbert-Schmidt. Cependant, tout comme certaines suites de carré sommable ne sont pas sommables, la réciproque est fausse et certains opérateurs de Hilbert-Schmidt n'admettent pas une trace finie. Si est borné et est de classe trace, et sont aussi de classe trace etDe plus et sous les mêmes hypothèses, Si est de classe trace, on peut définir le déterminant de Fredholm de :où les sont les valeurs propres de . La condition de classe trace nous assure que le produit converge. Il nous garantit aussi que est inversible si et seulement si Soit un opérateur de classe trace sur un Hilbert séparable , et soient ses valeurs propres comptées avec multiplicité.