CONVEXITÉEnsembles convexes
Carte mentale
Élargissez votre recherche dans Universalis
Un sous-ensemble C d'un espace vectoriel réel E est dit convexe si, pour tout couple de points quelconques de C, le segment qui a pour extrémités ces deux points est entièrement contenu dans C. Par exemple, un cube est convexe, mais sa surface ne l'est pas, car elle ne contient le segment d'extrémités x et y que si x et y appartiennent à la même face. Les ensembles convexes interviennent dans de nombreux domaines des mathématiques et il est souvent possible, en pareil cas, d'obtenir d'intéressants résultats en ne faisant appel qu'à des arguments « géométriques » relativement élémentaires.
Minkowski (1864-1909) fut le premier à étudier systématiquement les ensembles convexes et ses œuvres contiennent la plupart des idées importantes utilisées pour ce sujet. Les premiers développements se limitaient aux espaces vectoriels de dimension finie et l'objet principal de ces études était de résoudre des problèmes de nature quantitative ; depuis 1940, les aspects combinatoires et qualitatifs ont bénéficié d'une plus grande attention. Après quelques préliminaires généraux, on traitera d'abord les aspects quantitatifs et combinatoires, en se limitant au cas où l'espace est de dimension finie ; on abordera ensuite les aspects qualitatifs de la théorie et ses applications à l'analyse fonctionnelle.
Un des aspects les plus fascinants de la théorie des ensembles convexes est le grand nombre de problèmes très faciles et intuitifs à formuler que l'on ne sait pas toujours résoudre.
Propriétés générales
Définitions
Soit x et y, deux points distincts d'un espace vectoriel réel E (cf. algèbre linéaire). Par analogie avec le cas de l'espace usuel R3 (représentation paramétrique de la droite définie par deux points), on appelle droite joignant x et y l'ensemble des points de E de la forme :

Par définition, on appelle sous-variété linéaire de E tout sous-ensemble de E qui contient toute droite joignant deux quelconques de ses points ; par exemple, dans l'espace usuel R3, les sous-variétés linéaires sont : l'ensemble vide, les ensembles réduits à un point, les droites, les plans et l'espace R3 tout entier. Toute sous-variété linéaire V de E est la translatée d'un sous-espace vectoriel de E, c'est-à-dire l'ensemble des points de la forme a + x, où a est un élément fixé de V et où x parcourt un sous-espace vectoriel F de E ; si F est de dimension finie p, on dit que V est de dimension p.
Par analogie avec le cas des plans dans R3, on appelle hyperplan de E toute sous-variété linéaire qui n'est contenue strictement dans aucune autre variété linéaire que E lui-même ; par exemple, les hyperplans de Rn sont les variétés linéaires de dimension n − 1. Le complémentaire (ensembliste) d'un hyperplan H est la réunion (ensembliste) de deux ensembles convexes disjoints appelés les demi-espaces ouverts limités par H ; leurs réunions avec H s'appellent les demi-espaces fermés limités par H. On dit que deux ensembles X et Y sont séparés par H si l'un est contenu dans un de ces deux demi-espaces fermés et l'autre dans l'autre demi-espace ; on dit que H est un hyperplan d'appui de X au point x si x appartient à X et si X et x sont séparés par H. La figure donne un exemple d'un hyperplan H d'appui de X en x, séparant X et Y (ici E = R2, et H est une droite).
Ensembles convexes
Un sous-ensemble C de E est dit convexe si pour tout couple x, y de points distincts de C, le segment [x, y] est entièrement contenu dans C. Il est clair que toute intersection d'ensembles convexes est encore un ensemble convexe. Par suite, si X est un sous-ensemble quelconque de E, l'intersection X̃ de tous les ensembles convexes contenant X (il y en a toujours au moins un, E lui-même) est un ensemble convexe contenant X qui possède la propriété d'être contenu dans tout ensemble convexe contenant X ; X̃ s'appelle l'enveloppe convexe de X. On peut aussi définir X comme l'ensemble de toutes les combinaisons convexes des points de X, c'est-à-dire l'ensemble des points de la forme :

Les enveloppes convexes des sous-ensembles finis de Rn sont appelées des polytopes (cf. infra). E [...]
1
2
3
4
5
…
pour nos abonnés,
l’article se compose de 8 pages
Écrit par :
- Victor KLEE : professeur à l'université de Washington.
Classification
Autres références
« CONVEXITÉ » est également traité dans :
CONVEXITÉ - Fonctions convexes
L'étude des fonctions convexes a permis de fournir un cadre dans lequel peut se résoudre toute une classe de problèmes d'analyse fonctionnelle non linéaire ; les problèmes ainsi abordés sont des questions d'optimisation provenant de divers domaines : la mécanique, l'économie, les équations aux dérivées partielles, l'analyse numérique. Compte tenu d […] Lire la suite
HILBERT ESPACE DE
Dans le chapitre « Espaces hilbertiens » : […] Dans la théorie précédente, le théorème de projection orthogonale (théorème 4) a joué un rôle fondamental. Il ne s'étend malheureusement pas au cas d'un sous-espace vectoriel fermé quelconque F d'un espace hermitien. Ainsi, dans l'espace hermitien C [− 1, 1]), l' hyperplan fermé noyau de la forme linéaire continue : n'admet pas de supplémentaire orthogonal. Néanmoins, si F est complet, le théorème […] Lire la suite
MINKOWSKI HERMANN (1864-1909)
Mathématicien allemand né en Russie, à Alexoten, et mort à Göttingen. Hermann Minkowski habita Königsberg dès sa plus tendre enfance, et il fit ses études universitaires à Königsberg et à Berlin. De 1887 à 1902, il enseigna successivement à l'université de Bonn et à l'université de Königsberg, puis à l'École polytechnique de Zurich, où il eut comme élève A. Einstein. En 1902, il devint titulaire à […] Lire la suite
OPTIMISATION & CONTRÔLE
Dans le chapitre « Calcul des variations » : […] Les problèmes de calcul des variations consistent à trouver une courbe, une hypersurface, ou un autre objet géométrique, minimisant un certain critère, généralement exprimé par une intégrale. Il se situe à l'intersection des deux domaines précédents, et la plupart des méthodes classiques du calcul des variations se retrouvent maintenant dans celles que nous avons décrites. Ainsi, pour un problème […] Lire la suite
Voir aussi
- BOULE mathématiques
- THÉORÈME DE CARATHÉODORY
- ENVELOPPE CONVEXE
- EMPILEMENT mathématiques
- ESPACE LOCALEMENT CONVEXE
- ESPACE SÉPARÉ
- FORMULE D' EULER topologie
- FONCTIONS CONVEXES
- THÉORÈME DE HAHN-BANACH
- HYPERPLAN
- PROBLÈME ISOPÉRIMÉTRIQUE
- JAUGE mathématiques
- THÉORÈME DE KREIN-MILMAN
- ESPACE DE MINKOWSKI
- GÉOMÉTRIE DES NOMBRES
- NORME mathématiques
- POINT EXTRÉMAL
- THÉORÈMES DE POINT FIXE
- POLYÈDRE
- POLYTOPE
Pour citer l’article
Victor KLEE, « CONVEXITÉ - Ensembles convexes », Encyclopædia Universalis [en ligne], consulté le 20 juin 2022. URL : https://www.universalis.fr/encyclopedie/convexite-ensembles-convexes/