La rama de la geometría que se ocupa de configuraciones combinatorias y finitas de objetos geométricos: puntos, retículos, politopos, empaquetamientos, recubrimientos, teselaciones y grafos embebidos en espacios euclídeos u otros espacios métricos, junto con cuestiones extremales y algorítmicas sobre ellos.

Principio

La geometría discreta se organiza por incidencias combinatorias, conteos extremales y finitud: las ideas rectoras son las configuraciones discretas, la optimización de parámetros discretos y la interacción entre combinatoria y restricciones métricas o topológicas.

Demostración

Problemas típicos incluyen determinar el número máximo de pares a distancia unidad entre n puntos en el plano, clasificar politopos convexos por sus retículos de caras y describir los empaquetamientos densos de esferas en dimensiones bajas como el empaquetamiento hexagonal en el plano.

Aplicación incorrecta

Aplicar técnicas suaves diferenciales o intuición del continuo directamente a problemas inherentemente discretos (por ejemplo suponer diferenciabilidad de invariantes combinatorios) puede ocultar obstrucciones combinatorias y complejidad algorítmica.

Consecuencia

Un análisis discreto correcto proporciona cotas extremales exactas, algoritmos eficientes para combinatoria geométrica y pruebas de teoremas estructurales usados en geometría computacional, teoría de números y optimización.

Inversión

La perspectiva inversa es la geometría diferencial continua clásica, que enfatiza la estructura suave, la curvatura y el comportamiento infinitesimal en lugar de arreglos finitos y problemas de conteo combinatorio.

Límite

Cubre ensamblajes finitos o combinatorios de objetos geométricos en entornos euclidianos, esféricos o hiperbólicos y aspectos algorítmicos; excluye invariantes diferenciales locales en variedades suaves y modelos continuos puramente probabilísticos a menos que se reduzcan a enunciados combinatorios.

Tensión semántica

Existe tensión con la geometría computacional y la topología: la geometría discreta se solapa con preocupaciones algorítmicas pero se distingue por preguntas combinatorias extremales y resultados de rigidez frente a flexibilidad para configuraciones finitas.

Síntesis

La geometría discreta sintetiza combinatoria, restricciones métricas y razonamiento extremal finito: caracteriza arreglos posibles, deriva cotas de conteo óptimas y provee métodos constructivos y algorítmicos para problemas espaciales discretos.