Bourbaki

Corollary

Tag 0918, permanent. Cite it as [Bourbaki, Tag 0918].

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

— Let f\mathbf{f} be a function defined on XX, with values in a Banach space FF or in R‾\overline{\mathbf{R}}, that is ν\nu-measurable and ν\nu-moderated. For f\mathbf{f} to be ν\nu-integrable, it is necessary and sufficient that

∫∙dμ(t)∫∙∣f(x)∣ dλt(x)<+∞. \int^\bullet d\mu(t) \int^\bullet |\mathbf{f}(x)|\, d\lambda_t(x) < +\infty.

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.

Cites

Transcribed from the printed volume. Not translated.