Proposition 10
Tag 07NE, permanent. Cite it as [Bourbaki, Tag 07NE].
Topological Vector Spaces, III, p. 22, § 3. Spaces of continuous linear mappings
Let E be a bornological space (in particular, a metrizable locally convex space) and F a locally convex space. Every subset H of which is bounded for the topology of bounded convergence is equicontinuous.
For every convex balanced neighbourhood of 0 in F, the set absorbs every bounded subset of E, hence is a neighbourhood of 0 in E ; this proves that H is equicontinuous.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.