Remarque 3
Étiquette 0E4U, permanente. À citer comme [Bourbaki, Tag 0E4U].
Topological Vector Spaces, chapter II, § 6. Topologies faibles
Si F et G sont en dualité séparante pour la forme bilinéaire canonique, il en est de même de F et pour tout sous-espace de tel que .
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.