Corollary
Tag 07ML, permanent. Cite it as [Bourbaki, Tag 07ML].
Topological Vector Spaces, III, p. 13, § 3. Spaces of continuous linear mappings
Let E and F be two locally convex spaces, a family of bounded subsets of E, and the vector space of continuous linear mappings from E into F. Then the -topology* is compatible with the vector space structure of and is locally convex.*
It is enough to remark that if is a continuous linear mapping from E into F and M is a bounded subset of E, then is bounded in F (III, p. 4, cor. 1).
Given two locally convex vector spaces E and F, and a family of bounded subsets of E, let denote the locally convex space obtained by assigning the *-topology* to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.