Bourbaki

Exercice 7, § 3

Intégration, IX

Bourbaki marks this one as harder than the rest.

Soient T un espace topologique, Φ\Phi un clan de parties de T et mm une application additive relativement bornée (cf. exerc. 1) de Φ\Phi dans R\mathbf{R}. On suppose qu’il existe un recouvrement ouvert U\mathscr{U} de T tel que Φ\Phi se compose des parties boréliennes de T contenues dans la réunion d’un nombre fini d’éléments de U\mathscr{U}. De plus, on suppose que pour tout A∈ΦA \in \Phi et tout ε>0\varepsilon > 0, il existe une partie compacte K de T et une partie ouverte U de T tels que K⊂A⊂UK \subset A \subset U, U∈ΦU \in \Phi et ∣m∣(U−K)<ε|m|(U - K) < \varepsilon. Montrer qu’il existe une mesure (non nécessairement positive) μ\mu sur T telle que m(A)=μ∗(A)m(A) = \mu^*(A) pour tout A∈ΦA \in \Phi, et qu’une telle mesure μ\mu est unique (en introduisant la décomposition m=m+−m−m = m_+ - m_- de l’exerc. 1, c), se ramener au cas où mm prend des valeurs positives; traiter d’abord le cas où T ∈ Φ et remarquer que m est alors intérieurement régulière; traiter enfin le cas général par recollement de mesures).

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.