## [Complejo Simplicial](/es/node/62159) Definición 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 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 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 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 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 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 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 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 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.