Un complejo poliedral es una colección de poliedros convexos (de varias dimensiones) en un espacio vectorial real pegados a lo largo de caras comunes de modo que la intersección de dos poliedros sea una cara de cada uno, produciendo una estructura estratificada de tipo celular.

Principio

La regla organizadora es la compatibilidad cara-a-cara: las celdas son poliedros convexos, sus caras se incluyen como celdas de dimensión inferior, y la condición de intersección impone coherencia combinatoria y geométrica en el complejo.

Demostración

Ejemplo: un complejo simplicial es un caso particular donde todos los poliedros son símplices; más generalmente, descomposiciones de Voronoi, fans poliedrales y descomposiciones celulares de variedades poliedrales son instancias de complejos poliedrales.

Aplicación incorrecta

Tratar como complejo poliedral una descomposición celular arbitraria cuyas celdas no son poliedros convexos o cuyas intersecciones no son caras (por ejemplo celdas solapadas con intersección no cara) es una mala aplicación.

Consecuencia

El reconocimiento correcto permite invariantes combinatorios (f-vector, poset de caras), métodos piecewise-linear y el cálculo de invariantes topológicos mediante argumentos tipo CW, y facilita técnicas de geometría poliedral y tropical.

Inversión

El reverso es un CW-complex o espacio estratificado general sin restricciones de convexidad: las celdas pueden ser discos topológicos arbitrarios y las intersecciones no necesitan ser caras de poliedros convexos, perdiéndose la estructura lineal.

Límite

Ámbito: colecciones finitas o localmente finitas de poliedros convexos en espacios vectoriales reales con pegado cara-a-cara; excluye celdas no convexas, complejos definidos en entornos no reales o sin estructura afín, y descomposiciones que incumplen la propiedad de intersección por caras.

Tensión semántica

Tensión entre 'complejo poliedral' y 'complejo simplicial' o 'CW-complex': los complejos simpliciales imponen estructura de símplices y rigidez, mientras que los CW-complex son más flexibles pero abandonan la convexidad poliedral y la linealidad.

Síntesis

Un complejo poliedral es un ensamblado cara-a-cara de poliedros convexos que forma una estructura estratificada y celular: la convexidad y la regla de intersección por caras le proporcionan control combinatorio y lineal, permitiendo métodos de topología piecewise-linear y geometría poliedral.