Bourbaki

Corollary 1

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

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

— For every subset A of X,

ν∙(A)=μ∙(π−1(A)). \nu^\bullet(A) = \mu^\bullet(\pi^{-1}(A)).

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

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.