Théorème de la trace de Grothendieck

En mathématiques, et plus précisément en analyse fonctionnelle, le théorème de la trace de Grothendieck est une extension du théorème de Lidskii sur la trace et le déterminant d'un certain classe d'opérateurs nucléaires sur espace de Banachs, les $\frac{2}{3}$-opérateurs nucléaires. Le théorème a été prouvé par Alexandre Grothendieck en 1966. Pour les espaces de Banach, le théorème de Lidskii ne tient pas en général.

Le théorème ne doit pas être confondu avec la formule de trace de Grothendieck de la géométrie algébrique.

Description

Étant donné un espace de Banach $(B,\Vert \cdot \Vert )$ avec la propriété d'approximation et dénotons son espace dual comme $B^{\prime }$ .

⅔-opérateurs nucléaires

Soit $A$ un opérateur nucléaire sur $B$, alors $A$ est un $\frac{2}{3}$-opérateur nucléaire s'il a une décomposition de la forme

$A=\sum _{k=1}^{\mathrm{\infty }}{\phi }_k\otimes f_k$

avec ${\phi }_k\in B$ et $f_k\in B^{\prime }$ et

$\sum _{k=1}^{\mathrm{\infty }}\Vert {\phi }_k{\Vert }^{2/3}\Vert f_k{\Vert }^{2/3}<\mathrm{\infty }.$

Théorème de la trace de Grothendieck

Soit $A$ un $\frac{2}{3}$-opérateur nucléaire et ${\lambda }_j(A)$ les valeurs propres de $A$ comptées avec leurs multiplicités algébriques. Si

$\sum _j|{\lambda }_j(A)|<\mathrm{\infty }$

alors les égalités suivantes sont vérifiées:

$\mathrm{tr}A=\sum _j|{\lambda }_j(A)|$

et pour la déterminant de Fredholm

$\det (I+A)=\prod _j(1+{\lambda }_j(A)).$

Bibliographie

• Modèle:Ouvrage.