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 ${\tfrac {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,\|\cdot \|)$ avec la propriété d'approximation et dénotons son espace dual comme $B'$ .

⅔-opérateurs nucléaires

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

$A=\sum \limits _{k=1}^{\infty }\varphi _{k}\otimes f_{k}$

avec $\varphi _{k}\in B$ et $f_{k}\in B'$ et

$\sum \limits _{k=1}^{\infty }\|\varphi _{k}\|^{2/3}\|f_{k}\|^{2/3}<\infty .$

Théorème de la trace de Grothendieck

Soit $A$ un ${\tfrac {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 \limits _{j}|\lambda _{j}(A)|<\infty$

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

$\operatorname {tr} A=\sum \limits _{j}|\lambda _{j}(A)|$

et pour la déterminant de Fredholm

$\operatorname {det} (I+A)=\prod \limits _{j}(1+\lambda _{j}(A)).$

Bibliographie

• (en) Israel Gohberg, Seymour Goldberg et Nahum Krupnik, Traces and Determinants of Linear Operators, Birkhäuser, coll. « Operator Theory Advances and Applications », 1991 (ISBN 978-3-7643 -6177-8), p. 102.