Un subconjunto convexo compacto del espacio euclídeo que es la envolvente convexa de un número finito de puntos; equivalentemente, la intersección acotada de un número finito de semiespacios soportes, con un retículo finito de caras.

Principio

Datos combinatorios finitos (vértices, aristas, caras) junto con la convexidad determinan la geometría: los teoremas de Carathéodory, Minkowski y de hiperplanos soportes relacionan combinatoria, métricas y dualidad.

Demostración

Un cubo es la envolvente convexa de sus ocho vértices y la intersección de seis semiespacios soportes. En general, las caras de un politopo son también politopos y pueden triangularse en simplejos.

Aplicación incorrecta

Llamar politopo convexo a cualquier conjunto acotado con frontera poligonal pese a hendiduras no convexas, o confundir politopos con conjuntos convexos infinitos (conos, cilindros) que no son compactos.

Consecuencia

Los politopos convexos admiten descripciones finitas, politopos duales, invariantes f-vectoriales y tratamientos algorítmicos: programación lineal, enumeración de caras y cálculo de volumen aprovechan la estructura del politopo.

Inversión

Si se elimina la acotación o la finitud de semiespacios soportes se obtienen politopos no acotados (poliedros) o conjuntos convexos generales con comportamiento cualitativamente distinto (sin retículo finito de caras, dualidad diferente).

Límite

La definición requiere compacidad y generación finita por puntos; excluye politopos no convexos, politopos infinitos (poliedros) y politopos curvos; los politopos topológicos o abstractos sin incrustación son nociones separadas.

Tensión semántica

Tensión entre el politopo geométrico (incrustado) y el politopo abstracto (estructura de incidencia), y entre invariantes combinatorios (f-vectors) y propiedades métricas (volúmenes, ángulos).

Síntesis

Un politopo convexo es un cuerpo convexo compacto generado finitamente cuya estructura combinatoria finita (caras, vértices) gobierna invariantes discretos y propiedades geométricas continuas, permitiendo dualidad y análisis algorítmico.