Bourbaki

Remark

Tag 091A, permanent. Cite it as [Bourbaki, Tag 091A].

Integration, chapter V, § 3. Integration of positive measures

Let Λ:t↦λt\Lambda : t \mapsto \lambda_t be a μ\mu-adequate mapping of TT into M+(X)\mathscr{M}_+(X). If a mapping Λ′:t↦λt′\Lambda' : t \mapsto \lambda'_t of TT into M+(X)\mathscr{M}_+(X) is equal to Λ\Lambda locally μ\mu-almost everywhere, it follows at once from the definitions that Λ′\Lambda' is also μ\mu-adequate, and that Λ\Lambda and Λ′\Lambda' have the same integral. If now H:t↦ηtH : t \mapsto \eta_t is a function with values in M+(X)\mathscr{M}_+(X), defined locally μ\mu-almost everywhere, we shall again say that HH is μ\mu-adequate if it is equal locally μ\mu-almost everywhere to a mapping Λ:t↦λt\Lambda : t \mapsto \lambda_t that is everywhere defined and μ\mu-adequate. We then set ∫ηt dμ(t)=∫λt dμ(t)\int \eta_t\, d\mu(t) = \int \lambda_t\, d\mu(t), a definition that does not depend on the function Λ\Lambda utilized. We leave to the reader the task of verifying that the propositions proved in the preceding Nos. extend to μ\mu-adequate functions defined locally μ\mu-almost everywhere.

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.