Operación combinatoria estándar sobre complejos simpliciales que reemplaza cada símplex por una colección de símplex más pequeños obtenidos al unir el baricentro del símplex con los baricentros de sus caras, produciendo un complejo simplicial más fino con el mismo poliedro subyacente.

Principio

Para cada símplex σ en un complejo simplicial K, calcule los baricentros de todas las caras de σ y forme símplex cuyos vértices sean los baricentros ordenados según la inclusión de las caras; iterar este procedimiento proporciona triangulaciones arbitrariamente finas preservando el tipo PL y el tipo de homotopía.

Demostración

Ejemplo: para un 2-símplex (triángulo) con vértices v0,v1,v2 se toma el baricentro b del triángulo y los baricentros de las aristas; se conectan b con los baricentros de las aristas y con los vértices para crear seis triángulos más pequeños que triangulan el triángulo original. Aplicado a un complejo de una superficie da una triangulación más fina útil para aproximaciones piezawise-lineales.

Aplicación incorrecta

Intentar una subdivisión baricéntrica sobre una colección de polígonos que no forman un complejo simplicial (por ejemplo, polígonos solapados sin datos de incidencia) sin primero imponer una estructura simplicial; las reglas combinatorias requieren caras e inclusiones bien definidas.

Consecuencia

La subdivisión baricéntrica produce un complejo con símplex de menor diámetro; refina la estructura combinatoria, suele permitir que aplicaciones se vuelvan simpliciales tras suficientes iteraciones y mantiene invariantes como homología y tipo de homotopía al realizar la realización geométrica.

Inversión

No existe una operación inversa única: coarsening (agrupamiento) de una subdivisión baricéntrica requiere elecciones (movimientos estelares o bistelares) y puede cambiar el tipo combinatorio; la subdivisión no es en general invertible sin estructura adicional.

Límite

Definida para complejos simpliciales y conjuntos simpliciales finitos; no está definida directamente para CW-complejos arbitrarios o espacios topológicos generales sin triangulación previa; preservar la estructura PL en altas dimensiones exige precaución.

Tensión semántica

Se contrasta con otras refinamientos de triangulación (subdivisión estelar, por aristas): la subdivisión baricéntrica es canónica y simple combinatoriamente pero incrementa rápidamente el número de vértices, generando tensión entre canonicidad y explosión combinatoria.

Síntesis

La Subdivisión Baricéntrica es la regla canónica que reemplaza cada símplex por símplex formados a partir de baricentros de las caras, produciendo triangulaciones más finas que preservan la realización geométrica y sirven para refinar mapas e invariantes combinatorios.