Un complejo simplicial (abstracto) K sobre un conjunto de vértices V es una familia de subconjuntos finitos (llamados símplices) de V cerrada por formación de subconjuntos: si σ ∈ K y τ ⊆ σ entonces τ ∈ K. Las realizaciones geométricas pegan símplices a lo largo de caras para modelar topología piezawise-lineal.

Principio

Codifica la incidencia combinatoria de vértices, aristas, triángulos, etc., de modo que invariantes topológicos (homología, tipo de homotopía hasta equivalencias) puedan calcularse combinatoriamente mediante operadores frontera y complejos de cadenas.

Demostración

Un triángulo con sus aristas y vértices forma un complejo simplicial de dimensión 2; el nervio de una cobertura abierta es un complejo simplicial abstracto cuya realización refleja los patrones de intersección de la cobertura.

Aplicación incorrecta

Tratar cualquier pegado de símplices como un complejo simplicial sin comprobar que las intersecciones de símplices son caras (o confundirlo con CW-complejos o conjuntos simpliciales) conduce a descripciones combinatorias incorrectas.

Consecuencia

Su uso correcto proporciona modelos combinatorios finitos para espacios topológicos que permiten cálculos algorítmicos de homología, teoría de Morse discreta y homología persistente en topología aplicada.

Inversión

La reversión categórica u homotópica remite a conjuntos simpliciales o CW-complejos; éstos generalizan los complejos simpliciales (permitiendo símplices degenerados o células adheridas) y relajan la estricta exigencia de intersección por caras.

Límite

Definido tanto abstracta como geométricamente; las restricciones incluyen finitud o pureza cuando se requieren, y la definición abstracta excluye estructuras con identificaciones no simpliciales o células pegadas a lo largo de no-caras.

Tensión semántica

Compite con las nociones de conjunto simplicial y CW-complejo: los complejos simpliciales son combinatoriamente estrictos (no hay identificaciones fuera de las caras), mientras que los conjuntos simpliciales y CW-complejos ofrecen mayor flexibilidad a costa de simplicidad combinatoria.

Síntesis

Un complejo simplicial es el armazón combinatorio de símplices cerrado por caras cuya realización geométrica construye espacios piezawise-lineales; proporciona complejos de cadenas manejables para topología algebraica y aplicaciones algorítmicas.