Lemma 6
Tag 09FU, permanent. Cite it as [Bourbaki, Tag 09FU].
Integration, VII, p. 43, § 2. Quotient of a space by a group; homogeneous spaces
Let be a measure on , a continuous representation of G in . The following properties are equivalent: a) is relatively invariant on with multiplier ; b) is relatively invariant on G with left multiplier ; c) is of the form ().
The condition a) means that, for every ,
this is equivalent to , that is, to
Whence the equivalence of a) and b). The equivalence of b) and c) follows from §1, No. 8, Cor. 1 of Prop. 10.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.