Corollary 4

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

Topological Vector Spaces, chapter II, § 6. Weak topologies

— Let $G$ be a vector subspace of the dual $F^*$ , of the vector space $F$ . Then $F$ and $G$ are in separating duality (for the canonical bilinear form) if, and only if, $G$ is dense in $F^*$ in the topology $\sigma(F^*, F)$ .

This follows from cor. 1.

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

Cited by

Nothing.

Cites

Nothing.