Bourbaki

Remarque 2

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

Integration, chapter VI, § 2. Mesures vectorielles

Soient T1T_1 un espace localement compact, F1F_1 un espace localement convexe séparé sur R\mathbf{R}, uu une application linéaire continue de Ji(T1)\mathfrak{J}_i(T_1) dans Ji(T)\mathfrak{J}_i(T), φ\varphi une application linéaire continue de FF dans F1F_1. Si mm est une mesure vectorielle sur TT à valeurs dans FF, φ∘m∘u\varphi \circ m \circ u est une mesure vectorielle sur T1T_1 à valeurs dans F1F_1. En particulier, si gg est une fonction numérique finie et continue dans TT, f→m(gf)f \to m(gf) est une mesure vectorielle sur TT à valeurs dans FF, que l’on note g.mg.m; si hh est une seconde fonction numérique finie et continue dans TT, on a g.(h.m)=(gh).mg.(h.m) = (gh).m.

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.