Proposition 7
Tag 09FG, permanent. Cite it as [Bourbaki, Tag 09FG].
Integration, VII, p. 36, § 2. Quotient of a space by a group; homogeneous spaces
Assume paracompact. Let be a continuous representation of in .
a) There exists on a continuous function , with values , such that for all and .
b) The mapping is an isomorphism of the vector space onto the vector space .
Let us apply Prop. 1 of No. 1 on taking to be a function that is not identically zero on any orbit (this is possible by Lemma 1 of Appendix 1); then satisfies the properties of a). The assertion b) is obvious.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.