Remarque

Étiquette 0E4V, permanente. À citer comme [Bourbaki, Tag 0E4V].

Topological Vector Spaces, chapter II, § 6. Topologies faibles

Pour que la dualité entre M et G/N (où M et N sont deux sous-espaces orthogonaux) soit séparante en M, il faut et il suffit que $M \cap G^\circ = \{0\}$ ; pour qu’elle soit séparante en G/N, il faut et il suffit que $N = M^\circ$ .

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.