Corollary 3
Tag 07MW, permanent. Cite it as [Bourbaki, Tag 07MW].
Topological Vector Spaces, chapter III, § 3. Spaces of continuous linear mappings
— In the strong dual of a semi-normed space E, every closed ball is compact for the weak topology .
This ball is also closed for .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.