Exemple 2
Étiquette 0E6R, permanente. À citer comme [Bourbaki, Tag 0E6R].
Integration, chapter VI, § 2. Mesures vectorielles
Soient H un espace hilbertien complexe, l’algèbre normée des endomorphismes continus de H. Soit A une sous-algèbre de , commutative, fermée, autoadjointe et contenant l’identité ; on démontre qu’il existe un espace compact X et un isomorphisme de l’algèbre normée A sur l’algèbre des fonctions complexes continues dans X, munie de la norme . L’isomorphisme réciproque, restreint à , est une mesure sur X, à valeurs dans , telle que .
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.