Remark
Tag 09C9, permanent. Cite it as [Bourbaki, Tag 09C9].
Integration, chapter VI, § 3. Disintegration of measures
— Th. 1 of Ch. V, §3, No. 4 shows (taking into account the fact that T and B have countable bases) that for every function defined on T, with values in or in a Banach space F and -integrable, the set of such that is not -integrable is -negligible, the function , defined almost everywhere, is -integrable, and
An analogous result holds for scalarly -integrable functions, on applying Prop. 3 of §1, No. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.