Corollary 1
Tag 07OK, permanent. Cite it as [Bourbaki, Tag 07OK].
Topological Vector Spaces, chapter III, § 4. The Banach-Steinhaus theorem
— Let E be a locally convex Hausdorff space, F a locally convex space, and a family of bounded subsets of E. If E is semi-complete, then every simply bounded subset of is bounded for the -topology.
It is enough to apply th. 2, after replacing the sets of by their closed, convex, balanced envelopes, since this does not change the -topology.
When E is semi-complete (for example quasi-complete), we can talk of the bounded subsets of without specifying the -topology, since these are the same for all the -topologies whenever is a cover of E.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.