L'étude des ensembles convexes et des corps convexes dans les espaces euclidiens et normés, ainsi que de leurs propriétés combinatoires, métriques et analytiques ; inclut fonctions supports, addition de Minkowski, points extrêmes, théorèmes de séparation, volumes mixtes et inégalités de type isopérimétrique.

Principe

La convexité impose une régularité globale forte : des conditions locales de linéarité ou de séparation contrôlent la forme globale via les points extrêmes, les hyperplans supports et les fonctionnelles linéaires ; la monotonicité et l'additivité (somme de Minkowski) organisent les relations de volume et de forme.

Démonstration

Analyser un polytope convexe : le décrire comme intersection d'hémiespaces ou comme l'enveloppe convexe de sommets, calculer le treillis des faces et les points extrêmes, appliquer le théorème de Helly à une famille d'ensembles convexes pour déduire une intersection commune, et utiliser l'inégalité de Brunn–Minkowski pour relier les volumes sous addition de Minkowski.

Mauvaise application

Appliquer des théorèmes de convexité à des régions non convexes (par exemple supposer l'existence d'hyperplans supports uniques pour des formes arbitraires) ou utiliser à tort des arguments de séparation dans des espaces normés de dimension infinie sans vérifier compacité ou réflexivité.

Conséquence

Une utilisation correcte mène à des résultats puissants en optimisation (dualité, existence de minimisateurs), en inégalités géométriques (isopérimétriques, Brunn–Minkowski), en classification structurelle des corps convexes (points extrêmes, fonctions supports) et à des liens avec l'analyse fonctionnelle et la probabilité (concentration, log-concavité).

Inversion

Nier la convexité et étudier des phénomènes non convexes ou concaves : l'unicité et la séparation échouent, la description par points extrêmes devient insuffisante et la complexité combinatoire augmente ; de nombreuses inégalités s'inversent ou cessent de tenir, nécessitant d'autres outils (théorie de Morse, méthodes variationnelles).

Limite

Se concentre sur la convexité dans les espaces linéaires ; exclut les objets topologiques ou fractals intrinsèquement non convexes et beaucoup de propriétés métriques globales non liées à la convexité ; les généralisations en dimension infinie requièrent des hypothèses fonctionnelles supplémentaires.

Tension sémantique

Chevauche la géométrie métrique (la distance et les normes influencent la convexité) et l'analyse fonctionnelle (fonctionnels convexes, dualité) ; la tension apparaît lorsque les aspects combinatoires discrets des polyèdres rencontrent les inégalités analytiques applicables aux corps convexes lisses.

Synthèse

La géométrie convexe étudie comment la séparation linéaire et l'agrégation convexe façonnent ensembles et fonctions dans les espaces euclidiens et normés, produisant structure combinatoire, inégalités analytiques et applications de l'optimisation à la théorie de la mesure géométrique sous le thème unificateur de la convexité.