Exercice 3, § 7
Espaces vectoriels topologiques, II, p. 92
Bourbaki marks this one as harder than the rest.
Soit un ensemble convexe dans un espace vectoriel , et soit un point de . On appelle facette de dans l’ensemble formé de et des dans tels que la droite passant par et contienne un segment ouvert contenu dans et contenant . Les points internes relativement à la variété linéaire engendrée par (II, p. 28) (resp. les points extrémaux) de sont les points dont la facette dans soit égale à (resp. réduite à un point). a) Montrer que la facette d’un point est le plus grand ensemble convexe tel que soit point interne de (relativement à la variété linéaire engendrée par ). b) Pour tout point , la facette de dans est identique à la facette de dans . Pour que , il faut et il suffit que soit point interne de (relativement à la variété linéaire engendrée par ). En déduire que, si est de dimension finie, et si est un point non interne de (relativement à la variété linéaire engendrée par ), la dimension de est strictement inférieure à celle de . c) On dit qu’une variété linéaire dans est une variété d’appui de si elle rencontre et si, pour tout , tout segment ouvert contenu dans et contenant est nécessairement contenu dans . Montrer que, pour tout , la variété linéaire engendrée par la facette de dans est la plus petite des variétés d’appui de contenant , et qu’on a . Pour toute variété d’appui de , est la facette dans de chacun de ses points internes (relativement à la variété linéaire engendrée par ). d) Soient et deux ensembles convexes dans . Pour tout point , la facette de dans est l’intersection des facettes de dans et dans . e) On suppose que est un espace vectoriel topologique séparé, un ensemble convexe fermé dans , contenant une variété linéaire fermée de codimension finie ; alors toute facette dans d’un point de contient une variété linéaire fermée de codimension (II, p. 71, exerc. 14, d)). Si est un ensemble convexe, pour que la facette dans d’un point de soit de dimension finie, il faut et il suffit que la facette de dans soit de dimension finie ; en outre, si et sont les dimensions de la facette de dans et de la facette de dans
A ∩ B, on a . En particulier si est point extrémal de , sa facette dans A est de dimension . f) Déduire de e) que si A est compact, V une variété linéaire fermée dans E, de codimension finie , tout point extrémal de est combinaison linéaire d’au plus points extrémaux de A.
Solution
Aucune solution n’a encore été écrite.