Bourbaki

Definition 1

Tag 03A8, permanent. Cite it as [Bourbaki, Tag 03A8].

Théories spectrales, chapter V, § 2. Représentations des groupes localement compacts

A bounded measure ν∈M1(G)\nu \in \mathscr{M}^1(G) is said to be central if one has εg∗ν=ν∗εg\varepsilon_g*\nu =\nu *\varepsilon_g for every g∈Gg\in G.

If G is unimodular and f∈C(G)f\in \mathscr{C}(G) is μ\mu-integrable, the measure f⋅μf\cdot \mu is central if and only if ff is central.

Let ϱ\varrho be a bounded continuous representation of G in a Banach space E (resp. a continuous representation of G in a separated quasi-complete locally convex space E). For every bounded central measure ν\nu on G (resp. every central measure with compact support ν\nu on G), the linear mapping ϱ(ν)\varrho (\nu ) is a G-morphism from ϱ\varrho into ϱ\varrho. In fact, for every g∈Gg\in G, one has

ϱ(ν)ϱ(g)=ϱ(ν∗εg)=ϱ(εg∗ν)=ϱ(g)ϱ(ν) \varrho (\nu )\varrho (g) =\varrho (\nu *\varepsilon_g) =\varrho (\varepsilon_g*\nu ) =\varrho (g)\varrho (\nu )

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.