Exercice 25, § 7
Espaces vectoriels topologiques, II, p. 96
Bourbaki marks this one as harder than the rest.
a) Soit un cône convexe fermé de sommet 0. Montrer que, pour que les projections de sur tout sous-espace de de dimension 2 soient fermées, il faut et il suffit que soit un cône polyédral (exerc. 24). (Se ramener au cas où ne contient aucune droite ; raisonner par récurrence sur , en utilisant l’existence d’une semelle compacte pour (II, p. 95, exerc. 21, ) ), et projetant sur un hyperplan parallèlement à une droite joignant 0 à un point extrémal de ; en déduire que est localement polyédral (exerc. 24).)
b) Déduire de a) que, si l’on munit de l’ordre pour lequel C est l’ensemble des éléments , alors, afin que pour tout sous-espace vectoriel F de , toute forme linéaire positive sur F se prolonge en une forme linéaire positive sur , il faut et il suffit que C soit un cône polyédral (appliquer ) au cône polaire . Donner un exemple de forme linéaire positive sur F et non prolongeable en une forme linéaire positive sur lorsque , C est le cône engendré par l’ensemble des tels que le sous-espace . c) Soit A un polyèdre dans . Afin que, pour tout polyèdre B, l’enveloppe convexe de soit fermée, il faut et il suffit que A soit compact (utiliser l’exerc. 24, ).
Solution
Aucune solution n’a encore été écrite.