Exercice 34, § 5
Étiquette 0389, permanente. À citer comme [Bourbaki, Tag 0389].
Théories spectrales, IV, p. 368
Soit E un espace hilbertien complexe. Pour tous endomorphismes et de E, on note et on définit Im() Ker().
Soient et des orthoprojecteurs de E. On pose et . a) S’il existe un endomorphisme unitaire de E tel que = et , alors les dimensions hilbertiennes de et sont égales.
b) On a les relations
c) Jusqu’à la question f ), incluse, on supposera que . L’endomorphisme est injectif ; soit la fonction de dans telle que
1 si
0 si
si .
L’endomorphisme est unitaire.
d) Pour tout , on a .
e) On a (vérifier que lim) et . f) On a et .
g) On suppose que la dimension hilbertienne de est égale à celle de . Alors il existe un endomorphisme unitaire de E tel que et . (Les espaces et sont orthogonaux ; considérer l’espace hilbertien et appliquer le cas précédent aux orthoprojecteurs de déduits de et par passage aux sous-espaces.)
h) Supposons que . Il existe un endomorphisme unitaire de E tel que et .
i) Supposons que est compact. L’endomorphisme induit par passage aux sous-espaces une application linéaire de Fredholm de l’image de dans l’image de . Il existe un endomorphisme unitaire de E tel que et si et seulement si l’indice de est nul.
Solution
Aucune solution n’a encore été écrite.
Cité par
Rien.
Cite
Rien.