Remark
Tag 08ZW, permanent. Cite it as [Bourbaki, Tag 08ZW].
Integration, chapter V, § 1. Essential upper integral
— 1) If is a complex measure on , one says that a function is -moderated (resp. that is moderated) if is -moderated (resp. if is moderated). 2) Every bounded measure is moderated; if is a countable union of compact sets, then every measure on is moderated. 3) Let be a sequence of -moderated functions with values in . For each , let be an open set that is a countable union of open sets of finite outer measure, such that is zero outside . The function is then zero outside ; it is therefore -moderated, and the same is true of all functions such that . This applies in particular to the functions , and (if the sum is defined).
4) A function equal almost everywhere to a moderated function is moderated.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.