Bourbaki

Exemple 2

Étiquette 0E6R, permanente. À citer comme [Bourbaki, Tag 0E6R].

Integration, chapter VI, § 2. Mesures vectorielles

Soient H un espace hilbertien complexe, L(H)\mathscr{L}(H) l’algèbre normée des endomorphismes continus de H. Soit A une sous-algèbre de L(H)\mathscr{L}(H), 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 Kc(X)\mathscr{K}_c(X) des fonctions complexes continues dans X, munie de la norme ∥f∥=sup⁡x∈X∣f(x)∣\|f\| = \sup_{x \in X} |f(x)|. L’isomorphisme réciproque, restreint à K(X)\mathscr{K}(X), est une mesure mm sur X, à valeurs dans L(H)\mathscr{L}(H), telle que m(fg)=m(f)m(g)m(fg) = m(f)m(g).

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.

Transcrit du volume imprimé. Non traduit.