Bourbaki

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 L(E;F)\mathscr{L}(E; F) which is bounded for the topology of bounded convergence is equicontinuous.

For every convex balanced neighbourhood VV of 0 in F, the set ⋂u∈Hu−1(V)\bigcap_{u \in H} u^{-1}(V) 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.

Transcribed from the printed volume. Not translated.