Proposition 3

Tag 094W, permanent. Cite it as [Bourbaki, Tag 094W].

Integration, chapter V, § 6. Images of a measure

— For a mapping f of X into a topological space G to be $\nu$ *-measurable, it is necessary and sufficient that* $f \circ \pi$ be $\mu$ *-measurable.*

This is an immediate consequence of Prop. 3 of §4, No. 3.

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

Cited by

Proposition 5, § 2
Corollary 1, § 6
Proposition 4, § 6
Proposition 7, § 6
Lemma 2, § 8
Proposition 3, § 8

Cites

Prop. 3 of §4, No. 3