Corollary 2
Tag 09DP, permanent. Cite it as [Bourbaki, Tag 09DP].
Integration, chapter VII, § 1. Construction of a Haar measure
Every relatively left-invariant measure is relatively right-invariant.
For, with the notations of Cor. 1,
On account of Cor. 2, we shall henceforth speak of relatively invariant measures on G, without further specification. The relatively invariant measures admit as special cases the left Haar measures and the right Haar measures. Given a relatively invariant measure on G, it is convenient to distinguish between its left multiplier and its right multiplier , defined by , . By (34), these multipliers satisfy the relation
Still denoting by a left Haar measure, we have
thus is relatively invariant with left multiplier and right multiplier .
The concepts of negligible, locally negligible, measurable and locally integrable function are the same for every relatively invariant measure.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.