El estudio de conjuntos convexos y cuerpos convexos en espacios euclidianos y normados, junto con sus propiedades combinatorias, métricas y analíticas; incluye funciones soporte, suma de Minkowski, puntos extremos, teoremas de separación, volúmenes mixtos e desigualdades tipo isoperimétrico.

Principio

La convexidad impone una fuerte regularidad global: condiciones locales de linealidad o separación controlan la forma global mediante puntos extremos, hiperplanos de soporte y funcionales lineales; la monotonicidad y la aditividad (sumas de Minkowski) organizan las relaciones de volumen y forma.

Demostración

Analizar un poliedro convexo: describirlo como intersección de semiespacios o como el envolvente convexo de vértices, calcular la retícula de caras y los puntos extremos, aplicar el teorema de Helly a una familia de conjuntos convexos para inferir una intersección común y usar la desigualdad de Brunn–Minkowski para relacionar volúmenes bajo suma de Minkowski.

Aplicación incorrecta

Aplicar teoremas de convexidad a regiones no convexas (por ejemplo asumir la existencia de hiperplanos soporte únicos para formas arbitrarias) o usar argumentos de separación en espacios normados de dimensión infinita sin verificar compacidad o reflexividad.

Consecuencia

El uso correcto produce resultados potentes en optimización (dualidad, existencia de minimizadores), desigualdades geométricas (isoperimétricas, Brunn–Minkowski), clasificación estructural de cuerpos convexos (puntos extremos, funciones soporte) y vínculos con análisis funcional y probabilidad (concentración, log-concavidad).

Inversión

Negar la convexidad y estudiar fenómenos no convexos o cóncavos: fallan la unicidad y la separación, la descripción por puntos extremos es insuficiente y aumenta la complejidad combinatoria; muchas desigualdades se invierten o dejan de valer, requiriendo otras herramientas (teoría de Morse, métodos variacionales).

Límite

Se centra en la convexidad en espacios lineales; excluye objetos topológicos o fractales inherentemente no convexos y muchas propiedades métricas globales no relacionadas con la convexidad; las generalizaciones en dimensión infinita requieren hipótesis funcional-analíticas adicionales.

Tensión semántica

Se solapa con la geometría métrica (la distancia y las normas influyen en la convexidad) y con el análisis funcional (funcionales convexos, dualidad); la tensión surge cuando los aspectos combinatorios discretos de los politopos se encuentran con desigualdades analíticas aplicables a cuerpos convexos suaves.

Síntesis

La geometría convexa estudia cómo la separación lineal y la agregación convexa conforman conjuntos y funciones en espacios euclidianos y normados, produciendo estructura combinatoria, desigualdades analíticas y aplicaciones desde la optimización hasta la teoría de la medida geométrica bajo el tema unificador de la convexidad.