Corollary
Tag 098N, permanent. Cite it as [Bourbaki, Tag 098N].
Integration, chapter VI, § 1. Integration of vector-valued functions
— Let be a bounded positive measure on , a -measurable set carrying , and a mapping of into , scalarly -measurable and such that is contained in a weakly compact convex subset of . Then is scalarly -integrable, and .
For every , is -measurable and bounded in , hence integrable, which proves that is scalarly integrable. Moreover, since is compact in , it is closed in *, and the closed convex envelope of in * is contained in , whence the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.