Proposition 9
Tag 07ND, permanent. Cite it as [Bourbaki, Tag 07ND].
Topological Vector Spaces, III, p. 22, § 3. Spaces of continuous linear mappings
Let E and F be two locally convex spaces and a family of bounded subsets of E. Then every equicontinuous subset of is bounded for the -topology.
For, if is an equicontinuous subset of and a neighbourhood of 0 in F, the set is a neighbourhood of 0 in E, hence absorbs every bounded subset of E.
A subset of which is bounded for a -topology is not necessarily equicontinuous, even if is covering and is the canonical bornology on E (IV, p. 50, exerc. 17). In the following paragraph we shall study, under the name barrelled spaces, the spaces E such that every simply bounded subset of is equicontinuous. For the present note the following result :
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.