Corollary
Tag 0918, permanent. Cite it as [Bourbaki, Tag 0918].
Integration, chapter V, § 3. Integration of positive measures
— Let be a function defined on , with values in a Banach space or in , that is -measurable and -moderated. For to be -integrable, it is necessary and sufficient that
This follows at once from Prop. 5 and the criterion for integrability (Ch. IV, §5, No. 6, Th. 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.