Proposition 15
Tag 0995, permanent. Cite it as [Bourbaki, Tag 0995].
Integration, chapter VI, § 1. Integration of vector-valued functions
Let be a locally compact space, a Hausdorff locally convex space that is quasi-complete, and a continuous mapping of into such that is bounded. If is equipped with its Banach space topology, then the linear mapping of into is continuous.
For every closed, balanced, convex neighborhood of 0 in , there exists a such that ; the closed, balanced, convex envelope of is therefore contained in , and it is complete by hypothesis. If then , it follows from No. 2, Prop. 8, and the relation , that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.