Bourbaki

Corollary 1

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

Integration, chapter VII, § 2. Quotient of a space by a group; homogeneous spaces

— Let λ,λ′\lambda, \lambda' be two positive measures on X/HX/H. For λ′\lambda' to have base λ\lambda, it is necessary and sufficient that λ′#{\lambda'}^\# have base λ#\lambda^\#. For λ\lambda and λ′\lambda' to be equivalent, it is necessary and sufficient that λ#\lambda^\# and λ′#{\lambda'}^\# be equivalent.

The first assertion follows from Prop. 6, a) and c). The second follows from the first.

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.