Proposition 2

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

— For every numerical function $f \geqslant 0$ defined on X,

\int^\bullet f(x)\, d\nu(x) = \int^\bullet f(\pi(t))\, d\mu(t).

(2)

This follows from Th. 1 of §4, No. 2.

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

Cited by