Bourbaki

Exercice 4, § 4

Intégration, VIII

Bourbaki marks this one as harder than the rest.

Soit GG un groupe localement compact. Pour tout t∈R+∗t \in \mathbf{R}_+^*, soit μt\mu_t une mesure bornée positive non nulle sur GG. On suppose que l’application t→μtt \to \mu_t est continue pour la topologie σ(M1(G),K(G))\sigma(\mathscr{M}^1(G), \mathscr{K}(G)), et que μs+t=μs∗μt\mu_{s+t} = \mu_s * \mu_t (s,ts, t dans R+∗\mathbf{R}_+^*).

a) Montrer qu’il existe un nombre c∈Rc \in \mathbf{R} tel que ∥μt∥=exp⁡(ct)\| \mu_t \| = \exp(ct). (Observer que t→∥μt∥t \to \| \mu_t \| est semi-continue inférieurement et que

∥μs+t∥=∥μs∥⋅∥μt∥. \| \mu_{s+t} \| = \| \mu_s \| \cdot \| \mu_t \|.

Utiliser la prop. 18.)

b) On suppose c=0c = 0. Montrer que μt\mu_t converge faiblement quand t→0t \to 0 vers la mesure de Haar normalisée d’un sous-groupe compact de GG. (Utiliser la compacité faible de la boule unité de M1(G)\mathscr{M}^1(G), et montrer que pour toute valeur d’adhérence faible μ\mu de μt\mu_t suivant le filtre des voisinages de 0 dans R+∗\mathbf{R}_+^*, on a μt∗μ=μt\mu_t * \mu = \mu_t pour tout tt, puis μ∗μ=μ\mu * \mu = \mu; appliquer ensuite l’exerc. 3.)

Solution

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

Transcrit du volume imprimé. Non traduit.