Exercice 19, § 2
Étiquette 0302, permanente. À citer comme [Bourbaki, Tag 0302].
Théories spectrales, IV, p. 325
Soient une partie compacte de et une mesure positive sur X, et soit l’endomorphisme de multiplication par la fonction identique de X.
On note et on note l’espace des endomorphismes de E muni de la topologie de la convergence simple.
Soit . Soit tel que , et soit tel que . Pour tout entier et tous entier tel que , soit
a) Pour tout entier , la famille est une partition finie de X ; les ensembles sont mesurables et de diamètre . Pour tout , la partition est plus fine que la partition . On peut donc appliquer à les résultats de l’exercice précédent, dont on reprend les notations, en particulier les espaces et et les orthoprojecteurs et . Les espaces sont de dimension finie.
b) La série
converge dans l’espace ; il existe une base orthonormale B de E telle que .
c) L’endomorphisme est compact. (Considérer les endomorphismes de multiplication par les fonctions telles que, pour tous entier tel que , et pour tout , on a ; vérifier alors que , et que )
Solution
Aucune solution n’a encore été écrite.
Cité par
Rien.
Cite
Rien.