Corollary
Tag 090Z, permanent. Cite it as [Bourbaki, Tag 090Z].
Integration, chapter V, § 3. Integration of positive measures
— Suppose that is the sum of a summable family of positive measures on ; in order that be scalarly essentially -integrable, it is necessary and sufficient that be scalarly essentially -integrable for every and that the family of measures be summable. One then has
It follows immediately that every scalarly essentially -integrable mapping is also scalarly essentially -integrable for every measure .
In this section we shall limit ourselves to the study of scalarly essentially integrable mappings of into that have the property contemplated in the following definition:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.