Exemple 2

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

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

Lorsque E est un espace vectoriel de dimension infinie, E’ un sous-espace vectoriel de E*, la dualité entre E et E’ définie par la restriction à E × E’ de la forme bilinéaire canonique est toujours séparante en E' ; elle peut être séparante en E même si E' $\neq$ E*. L’exemple le plus important correspond au cas où E est un espace vectoriel topologique :

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.