Proposition 3

Tag 07QX, permanent. Cite it as [Bourbaki, Tag 07QX].

Topological Vector Spaces, chapter IV, § 1. Duality

Suppose E is Hausdorff, and $E'$ its dual. Every subset of E which is precompact for the initial topology and compact for $\sigma(E, E')$ , is compact for the initial topology.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.