Bourbaki

Proposition 11

Tag 09JM, permanent. Cite it as [Bourbaki, Tag 09JM].

Integration, chapter VIII, § 3. Convolution of measures on groups

— Let GG be a locally compact group, EE a quasi-complete locally convex space, UU a continuous representation of GG in EE. (i) If λ∈C′(G)\lambda \in \mathscr{C}'(G), μ∈C′(G)\mu \in \mathscr{C}'(G), then U(λ∗μ)=U(λ)U(μ)U(\lambda * \mu) = U(\lambda)U(\mu). (ii) Suppose that EE is a Banach space, and let ρ(s)=∥U(s)∥\rho(s) = \|U(s)\| for s∈Gs \in G. If λ∈Mρ(G)\lambda \in \mathscr{M}^\rho(G), μ∈Mρ(G)\mu \in \mathscr{M}^\rho(G), then U(λ∗μ)=U(λ)U(μ)U(\lambda * \mu) = U(\lambda)U(\mu). Let λ,μ\lambda, \mu be in C′(G)\mathscr{C}'(G). For any x∈Ex \in E one has, by applying notably Props. 1 and 4 of Ch. VI, §1, No. 1,

U(λ∗μ)x=∫GU(s)x d(λ∗μ)(s) U(\lambda * \mu)x = \int_G U(s)x\, d(\lambda * \mu)(s)
=∫G×GU(st)x dλ(s) dμ(t)=∫G×GU(s)U(t)x dλ(s) dμ(t) = \int_{G \times G} U(st)x\, d\lambda(s)\, d\mu(t) = \int_{G \times G} U(s)U(t)x\, d\lambda(s)\, d\mu(t)
=∫GU(λ)U(t)x dμ(t)=U(λ)∫GU(t)x dμ(t)=U(λ)U(μ)x, = \int_G U(\lambda)U(t)x\, d\mu(t) = U(\lambda) \int_G U(t)x\, d\mu(t) = U(\lambda)U(\mu)x ,
whence (i). An analogous argument may be applied in case (ii).

With G still a locally compact group, let us assume that G operates continuously on the left in a locally compact space X. This defines (§2, No. 4) a continuous linear representation γ\gamma of G in M(X)\mathscr{M}(X) (equipped with the topology of compact convergence in H(X)\mathscr{H}(X)).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.