Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Classe trace
Résumé
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é.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.