Remark 2
Tag 07QV, permanent. Cite it as [Bourbaki, Tag 07QV].
Topological Vector Spaces, chapter IV, § 1. Duality
Let and be two locally convex topologies on E, compatible with the duality between E and , being finer than . Then every neighbourhood of 0 for , which is convex and closed for is closed for by prop. 1 of IV, p. 1. Consequently (GT, II, § 3, No. 3, corollary) every subset of E which is complete for is so for also.
In particular, every subset of E which is complete for the weakened topology is complete for the initial topology, and every subset of E complete for the initial topology is so for the Mackey topology. If E is quasi-complete for the weakened topology, it is so for every topology compatible with the duality between E and . If it is quasi-complete for the initial topology, it is so for the Mackey topology.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.