Bourbaki

Proposition 12

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

Integration, chapter VI, § 1. Integration of vector-valued functions

If F is a separable, metrizable locally convex space, then every scalarly μ\mu-measurable mapping f of T into F is μ\mu-measurable.

For, F may be regarded as a subspace of a countable product ∏nEn\prod_n E_n of Banach spaces (TVS, II, §1, No. 3, Prop. 3), and one can suppose that prn(F)\mathrm{pr}_n(F) is dense in EnE_n, which is therefore separable. For every n, the mapping prn∘f\mathrm{pr}_n \circ f is scalarly μ\mu-measurable, hence μ\mu-measurable (Ch. IV, §5, No. 5, Cor. 2 of Prop. 10), consequently f is μ\mu-measurable (Ch. IV, §5, No. 3, Th. 1).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.