Bourbaki

Exercice 25, § 7

Espaces vectoriels topologiques, II, p. 96

Bourbaki marks this one as harder than the rest.

a) Soit C⊂RnC \subset \mathbf{R}^n un cône convexe fermé de sommet 0. Montrer que, pour que les projections de CC sur tout sous-espace de Rn\mathbf{R}^n de dimension 2 soient fermées, il faut et il suffit que CC soit un cône polyédral (exerc. 24). (Se ramener au cas où CC ne contient aucune droite ; raisonner par récurrence sur nn, en utilisant l’existence d’une semelle compacte SS pour CC (II, p. 95, exerc. 21, aa) ), et projetant sur un hyperplan parallèlement à une droite joignant 0 à un point extrémal de SS ; en déduire que SS est localement polyédral (exerc. 24).)

b) Déduire de a) que, si l’on munit Rn\mathbf{R}^n de l’ordre pour lequel C est l’ensemble des éléments ⩾0\geqslant 0, alors, afin que pour tout sous-espace vectoriel F de Rn\mathbf{R}^n, toute forme linéaire positive sur F se prolonge en une forme linéaire positive sur Rn\mathbf{R}^n, il faut et il suffit que C soit un cône polyédral (appliquer aa) au cône polaire C∘C^\circ. Donner un exemple de forme linéaire positive sur F et non prolongeable en une forme linéaire positive sur Rn\mathbf{R}^n lorsque n=3n = 3, C est le cône engendré par l’ensemble des (ξ1,ξ2,ξ3)(\xi_1, \xi_2, \xi_3) tels que ξ1=1,ξ3⩾(ξ23)−,F\xi_1 = 1, \xi_3 \geqslant (\xi_2^3)^-, F le sous-espace ξ3=0\xi_3 = 0. c) Soit A un polyèdre dans Rn\mathbf{R}^n. Afin que, pour tout polyèdre B, l’enveloppe convexe de A∪BA \cup B soit fermée, il faut et il suffit que A soit compact (utiliser l’exerc. 24, dd).

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.