Bourbaki

Exercice 13, § 4

Intégration, IV

Bourbaki marks this one as harder than the rest.

a) Soit XX un espace localement compact, et soit Γ\Gamma une base de la topologie de XX, formée d’ensembles relativement compacts. Soit U\mathscr{U} une structure uniforme compatible avec la topologie de XX, et soit S\mathscr{S} un système fondamental d’entourages de cette structure. Soit M↦λ(M)M \mapsto \lambda(M) une fonction numérique finie et ⩾0\geqslant 0 définie dans Γ\Gamma. Pour tout ensemble compact K⊂XK \subset X, et tout entourage V∈SV \in \mathscr{S}, soit αV(K)\alpha_V(K) la borne inférieure des nombres ∑iλ(Ui)\sum_i \lambda(U_i) pour tous les recouvrements finis (Ui)(U_i) de KK formés d’ensembles de Γ\Gamma petits d’ordre VV; on suppose que lorsque VV parcourt S\mathscr{S}, la borne supérieure α(K)\alpha(K) des nombres αV(K)\alpha_V(K) est finie. Montrer qu’il existe sur XX une mesure μ\mu (et une seule) telle que μ(K)=α(K)\mu(K) = \alpha(K) pour tout ensemble compact KK (utiliser le th. 5).

b) Soient Ψ\Psi l’ensemble des parties boréliennes de XX, α\alpha une application de Ψ\Psi dans (0,+∞)(0, +\infty) satisfaisant aux conditions suivantes: (i) si B1,B2B_1, B_2 sont deux parties boréliennes disjointes de XX, on a α(B1∪B2)=α(B1)+α(B2)\alpha(B_1 \cup B_2) = \alpha(B_1) + \alpha(B_2). (ii) Si BB est une partie compacte de XX, on a α(B)<+∞\alpha(B) < +\infty. (iii) Si BB est une partie borélienne de XX, on a α(B)=inf⁡α(U)\alpha(B) = \inf \alpha(U), où UU parcourt l’ensemble des parties ouvertes de XX contenant BB. Alors il existe une mesure positive μ\mu sur XX et une seule telle que α(B)=μ∗(B)\alpha(B) = \mu^*(B) pour toute partie borélienne BB de XX qui peut être recouverte par une suite de parties compactes.

c) Pour tout B∈ΨB \in \Psi, on pose α(B)=0\alpha(B) = 0 si BB peut être recouvert par une suite de parties compactes, α(B)=+∞\alpha(B) = +\infty dans le cas contraire. Alors les conditions (i), (ii), (iii) de b) sont satisfaites. On a μ=0\mu = 0, donc α(B)≠μ∗(B)\alpha(B) \neq \mu^*(B) si BB ne peut être recouvert par une suite de parties compactes.

Solution

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

Transcrit du volume imprimé. Non traduit.