Bourbaki

Remark

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

Integration, chapter IX, § 3. Measures and additive set functions

— Let X be a Lusin space (in particular, any Polish space), and f a bijective continuous mapping of X onto a (Lusin) regular space Y. One knows (TG, IX, §6, No. 7, Prop. 14) that the mapping B↦f−1(B)B \mapsto f^{-1}(B) is a bijection of the Borel tribe of Y onto the Borel tribe of X. The spaces X and Y are Lusin, hence strongly Radon (Prop. 3). It follows immediately that the mapping μ↦f(μ)\mu \mapsto f(\mu) is a bijection of the set of bounded measures on X onto the set of bounded measures on Y.(4)

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.