Definición
Un espacio topológico obtenido por adición inductiva de celdas (bolas) de dimensión creciente mediante aplicaciones continuas de pegado, cumpliendo las condiciones de cierre-finitud y topología débil típicas de los complejos CW.
Principio
Principio
La topología se construye a partir de piezas locales sencillas: las celdas de dimensión k se unen por su frontera al esqueleto de dimensión inferior, de modo que la homotopía y la homología globales se reducen a datos combinatorios de celdas y aplicaciones de pegado.
Demostración
Demostración
La esfera S^n admite una estructura CW con una 0-celda y una n-celda pegada por la aplicación trivial cuando n>0; complejos más elaborados provienen de descomposiciones celulares de variedades o de espacios clasificadores en topología algebraica.
Aplicación incorrecta
Aplicación incorrecta
Tratar cualquier descomposición en tipo celda como un complejo CW sin comprobar la cierre-finitud o la topología débil, o asumir que una estructura celular determina de forma única la clase de homeomorfismo del espacio.
Consecuencia
Consecuencia
Los complejos celulares admiten homología celular y teoremas de aproximación celular, lo que hace manejable el cálculo de homotopía y homología y permite pruebas inductivas de propiedades topológicas y teoría de obstrucciones.
Inversión
Inversión
Un espacio sin descomposición celular (ejemplos patológicos o de tipo fractal) resiste las herramientas de álgebra topológica que proporcionan los complejos CW; invertir la construcción produce descomposiciones arbitrarias que no preservan necesariamente el tipo de homotopía.
Límite
Límite
La definición presupone celdas homeomorfas a bolas abiertas y aplicaciones continuas en los bordes; excluye estratificaciones arbitrarias, pegados no hausdorffianos y exige precaución al extenderse a categorías no celulares o de dimensión infinita.
Tensión semántica
Tensión semántica
Existe tensión entre complejos CW y complejos simpliciales: ambos ofrecen modelos combinatorios de la topología pero difieren en flexibilidad, regularidad de las aplicaciones de pegado y conveniencia para ciertos cálculos.
Síntesis
Síntesis
Un complejo celular es un ensamblaje celular inductivo donde piezas locales finitas y sus aplicaciones de pegado codifican el tipo de homotopía global y permiten calcular invariantes de álgebra topológica mediante métodos celulares.