Exercice 4, § 4
Intégration, VIII
Bourbaki marks this one as harder than the rest.
Soit un groupe localement compact. Pour tout , soit une mesure bornée positive non nulle sur . On suppose que l’application est continue pour la topologie , et que ( dans ).
a) Montrer qu’il existe un nombre tel que . (Observer que est semi-continue inférieurement et que
Utiliser la prop. 18.)
b) On suppose . Montrer que converge faiblement quand vers la mesure de Haar normalisée d’un sous-groupe compact de . (Utiliser la compacité faible de la boule unité de , et montrer que pour toute valeur d’adhérence faible de suivant le filtre des voisinages de 0 dans , on a pour tout , puis ; appliquer ensuite l’exerc. 3.)
Solution
Aucune solution n’a encore été écrite.