Example
Tag 09D5, permanent. Cite it as [Bourbaki, Tag 09D5].
Integration, chapter VII, § 1. Construction of a Haar measure
— 1) On the additive group , the Lebesgue measure is a Haar measure (Ch. III, §1, No. 3, Example).
2) For every function , we have (FRV, II, §1, formula (12))
for all ; the measure is thus a Haar measure on the multiplicative group .
3) Let us take for the torus . Let be the canonical mapping of onto . For , the function is continuous and periodic with period 1 on , and the integral
is independent of the choice of ; it is immediate that it is invariant under translation; it therefore defines a Haar measure on . By transport of structure, one deduces from this that is a Haar measure on the multiplicative group 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
- FRV, II, §1 not yet on this site: FVR II
- III, §1, No. 3
- VIII, §2, No. 1