Remark
Tag 091A, permanent. Cite it as [Bourbaki, Tag 091A].
Integration, chapter V, § 3. Integration of positive measures
Let be a -adequate mapping of into . If a mapping of into is equal to locally -almost everywhere, it follows at once from the definitions that is also -adequate, and that and have the same integral. If now is a function with values in , defined locally -almost everywhere, we shall again say that is -adequate if it is equal locally -almost everywhere to a mapping that is everywhere defined and -adequate. We then set , a definition that does not depend on the function utilized. We leave to the reader the task of verifying that the propositions proved in the preceding Nos. extend to -adequate functions defined locally -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.