CONVEXITÉ Ensembles convexes

Espaces normés

On soulignera seulement le rôle de la convexité. Rappelons qu'une norme sur un espace vectoriel E (qui sera ici réel) est une fonction p à valeurs positives définie dans E telle que :

a) p(x) = 0 si et seulement si x = 0 ;

b) p(λx) = |λ| p(x) pour x ∈ E et λ ∈ R ;

c) p(x + y) ≤ p(x) + p(y) (sous-additivité).

Une norme est souvent notée ∥.∥.

L'étude des espaces vectoriels normés est, d'une certaine façon, l'équivalent de l'étude d'une classe d'ensembles convexes ; le lien est établi par la fonction de jauge. Si ∥.∥ est une norme sur E, on appelle boule unité (resp. sphère unité) pour cette norme l'ensemble des x ∈ E tels que ∥x∥ ≤ (resp. ∥x∥ = 1). Les propriétés de la norme entraînent que la boule unité U est un ensemble convexe dont l'intersection avec toute droite passant par O est un segment symétrique [− x, x](non réduit au point O). Réciproquement, soit U un ensemble convexe satisfaisant à ces propriétés ; pour tout x ≠ 0, désignons par p(x) le plus petit entier positif λ tel que x/λ ∈ U et posons p(0) = 0 (la fonction p est appelée la jauge de l'ensemble U). On vérifie facilement que la jauge de U est une norme sur E pour laquelle U est la boule unité (en fait, la jauge d'un ensemble peut se définir sous des hypothèses beaucoup plus générales). Ainsi toutes les propriétés d'un espace normé peuvent être décrites uniquement en fonction de sa boule ou de sa sphère unité. Par exemple, la convexité stricte d'un espace vectoriel normé, caractérisée par l'inégalité stricte ∥x + y∥ < ∥x∥ + ∥y∥ lorsque x et y ne sont pas sur une même demi-droite d'origine O, équivaut au fait que sa sphère unité ne contient aucun segment.

On appelle espace de Minkowski tout espace vectoriel normé de dimension finie. Par exemple, pour tout r ≥ 1 :

Tous les problèmes quantitatifs indiqués ci-dessus ont fait l'objet d'études analogues pour les espaces de Minkowski : inégalité isopérimétrique, inégalité de Jung, etc.

Théorèmes de séparation

En analyse fonctionnelle, en théorie des jeux, en intégration et même dans certains problèmes relatifs aux graphes coloriés en théorie des graphes, on utilise des théorèmes de séparation et de support.

Les théorèmes de séparation établissent les conditions sous lesquelles on peut séparer (au sens du chapitre 1) deux sous-ensembles convexes disjoints X et Y d'un espace vectoriel topologique E. Pour que cela soit possible, il suffit, par exemple, que l'une des conditions suivantes soit réalisée :

a) E est de dimension finie ;

b) un des deux ensembles a un intérieur non vide ;

c) un des deux ensembles est fermé, l'autre compact, et E est localement convexe.

Dans chacun de ces cas, on peut choisir l' hyperplan de séparation fermé, c'est-à-dire défini comme l'ensemble des zéros d'une fonction affine continue.

Remarquant que l'intérieur d'un ensemble convexe[...]