La branche de la géométrie qui traite des configurations combinatoires et finies d'objets géométriques : points, réseaux, polytopes, empilements, recouvrements, pavages et graphes plongés dans des espaces euclidiens ou métriques, ainsi que des questions extrémales et algorithmiques les concernant.

Principe

La géométrie discrète s'organise autour de l'incidence combinatoire, du comptage extrémal et de la finitude : les idées directrices sont les configurations discrètes, l'optimisation de paramètres discrets et l'interaction entre combinaisons et contraintes métriques ou topologiques.

Démonstration

Les problèmes typiques incluent la détermination du nombre maximal de paires à distance unité parmi n points dans le plan, la classification des polytopes convexes par leurs treillis de faces, et la description des empilements denses de sphères en petites dimensions comme l'empilement hexagonal dans le plan.

Mauvaise application

Appliquer des techniques différentielles lisses ou une intuition continue directement à des problèmes essentiellement discrets (par exemple en supposant la différentiabilité d'invariants combinatoires) peut masquer des obstructions combinatoires et la complexité algorithmique.

Conséquence

Une analyse discrète correcte fournit des bornes extrémales exactes, des algorithmes efficaces pour la combinatoire géométrique et des preuves de théorèmes structurels utilisés en géométrie computationnelle, théorie des nombres et optimisation.

Inversion

La perspective inverse est la géométrie différentielle continue classique, qui met l'accent sur la structure lisse, la courbure et le comportement infinitésimal plutôt que sur les arrangements finis combinatoires et le comptage.

Limite

Couvre les assemblages finis ou combinatoires d'objets géométriques en milieux euclidiens, sphériques ou hyperboliques et les aspects algorithmiques ; exclut les invariants différentiels locaux sur variétés lisses et les modèles continus purement probabilistes sauf s'ils se ramènent à des énoncés combinatoires.

Tension sémantique

Tension avec la géométrie computationnelle et la topologie : la géométrie discrète recoupe les préoccupations algorithmiques mais se distingue par des questions combinatoires extrémales et des résultats de rigidité ou de flexibilité pour configurations finies.

Synthèse

La géométrie discrète synthétise combinatoire, contraintes métriques et raisonnement extrémal fini : elle caractérise les arrangements possibles, établit des bornes de comptage optimales et fournit des méthodes constructives et algorithmiques pour les problèmes spatiaux discrets.