Proposition 2
Tag 09GV, permanent. Cite it as [Bourbaki, Tag 09GV].
Integration, VII, p. 55, § 3. Applications and examples
Let X be a locally compact space in which a locally compact group H acts on the right, continuously and properly, by . Assume that X/H is paracompact. Let g be a continuous representation of H in . Then there exists a continuous mapping f of X into such that for all and .
One reduces immediately to the case that . Since the additive group is isomorphic to the multiplicative group , the proposition is then an immediate consequence of Prop. 7 of §2, No. 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.