Proposition 6
Tag 07R1, permanent. Cite it as [Bourbaki, Tag 07R1].
Topological Vector Spaces, chapter IV, § 1. Duality
Let be a linear mapping from into which is continuous for the weakened topologies. For , let be a family of bounded subsets of . In order that is a continuous mapping from into , it is necessary and sufficient that, for every set , there exist sets in and a real number such that is contained in the closed convex balanced envelope of \footnote{In other words, is contained in the smallest adapted bornology containing (III, p. 3).}.
This is an immediate consequence of prop. 2 of III, p. 15.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.