Bourbaki

Example

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

Integration, chapter VII, § 1. Construction of a Haar measure

— 1) On the additive group R\mathbf{R}, the Lebesgue measure dxdx is a Haar measure (Ch. III, §1, No. 3, Example).

2) For every function f∈K(R+∗)f \in \mathscr{K}(\mathbf{R}_+^*), we have (FRV, II, §1, formula (12))

∫0+∞f(x)xdx=∫0+∞f(tx)txtdx=∫0+∞f(tx)xdx \int_0^{+\infty} \frac{f(x)}{x} dx = \int_0^{+\infty} \frac{f(tx)}{tx} t dx = \int_0^{+\infty} \frac{f(tx)}{x} dx

for all t>0t > 0; the measure x−1dxx^{-1} dx is thus a Haar measure on the multiplicative group R+∗\mathbf{R}_+^*.

3) Let us take for GG the torus T=R/ZT = \mathbf{R}/\mathbf{Z}. Let φ\varphi be the canonical mapping of R\mathbf{R} onto TT. For f∈K(T)f \in \mathscr{K}(T), the function f∘φf \circ \varphi is continuous and periodic with period 1 on R\mathbf{R}, and the integral

I(f)=∫aa+1f(φ(x))dx I(f) = \int_a^{a+1} f(\varphi(x)) dx

is independent of the choice of a∈Ra \in \mathbf{R}; it is immediate that it is invariant under translation; it therefore defines a Haar measure on TT. By transport of structure, one deduces from this that I(f)=∫aa+1f(e2πit)dtI(f) = \int_a^{a+1} f(e^{2\pi i t}) dt is a Haar measure on the multiplicative group UU of complex numbers of absolute value 1 (GT, VIII, §2, No. 1).

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.