Remark

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

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

— The duality between M and G/N (where M and N are two orthogonal subspaces) is separating in M, if and only if $M \cap G^\circ = \{0\}$ ; it is separating in G/N, if and only if $N = M^\circ$ .

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

Cited by

Nothing.

Cites

Nothing.