Exercice 15, § 1
Espaces vectoriels topologiques, IV, p. 50
Bourbaki marks this one as harder than the rest.
a)** Soient E un espace localement convexe séparé, A un ensemble convexe et équilibré dans E, une forme linéaire sur E. Montrer que, si est fermé par rapport à A, la restriction de à A est continue. (Dans le cas contraire, montrer que 0 serait adhérent à l’intersection de A et d’un hyperplan avec ; en déduire que si est tel que , le point serait adhérent à .) b) Soient E un espace localement convexe réel séparé et complet, E' son dual. Montrer que, si un hyperplan H' de E' est tel que son intersection avec toute partie équicontinue et faiblement fermée soit faiblement fermée, H' est faiblement fermé (utiliser a) et III, p. 21, cor. 1). c) Soient E un espace localement convexe séparé, E' son dual, C un ensemble convexe, équilibré et fermé dans E. Soit une forme linéaire sur E ; montrer que, si la restriction de à C est continue pour la topologie initiale, elle est aussi continue pour (utiliser a)). Montrer par un exemple que la restriction de au sous-espace vectoriel M engendré par C n’est pas nécessairement continue (prendre muni de la norme , et pour C un ensemble convexe convenable engendrant E).
Solution
Aucune solution n’a encore été écrite.