Exercice 13, § 4
Intégration, IV
Bourbaki marks this one as harder than the rest.
a) Soit un espace localement compact, et soit une base de la topologie de , formée d’ensembles relativement compacts. Soit une structure uniforme compatible avec la topologie de , et soit un système fondamental d’entourages de cette structure. Soit une fonction numérique finie et définie dans . Pour tout ensemble compact , et tout entourage , soit la borne inférieure des nombres pour tous les recouvrements finis de formés d’ensembles de petits d’ordre ; on suppose que lorsque parcourt , la borne supérieure des nombres est finie. Montrer qu’il existe sur une mesure (et une seule) telle que pour tout ensemble compact (utiliser le th. 5).
b) Soient l’ensemble des parties boréliennes de , une application de dans satisfaisant aux conditions suivantes: (i) si sont deux parties boréliennes disjointes de , on a . (ii) Si est une partie compacte de , on a . (iii) Si est une partie borélienne de , on a , où parcourt l’ensemble des parties ouvertes de contenant . Alors il existe une mesure positive sur et une seule telle que pour toute partie borélienne de qui peut être recouverte par une suite de parties compactes.
c) Pour tout , on pose si peut être recouvert par une suite de parties compactes, dans le cas contraire. Alors les conditions (i), (ii), (iii) de b) sont satisfaites. On a , donc si ne peut être recouvert par une suite de parties compactes.
Solution
Aucune solution n’a encore été écrite.