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 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 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.