Un espacio topológico construido inductivamente adjuntando células de dimensión n (homeomorfas a bolas abiertas n-dimensionales) al esqueleto de dimensión n−1 mediante mapas de unión desde las esferas S^{n−1} límites, equipado con la topología débil inducida por las adjunciones y satisfaciendo la finitud de cierre.

Principio

Los principios organizadores son la construcción célula a célula, la finitud de cierre (cada célula intersecta solo finitamente los cierres de otras células) y dotar al espacio de la topología débil respecto de las células; estas condiciones garantizan teorías manejables de homotopía y homología celular.

Demostración

Ejemplo: la esfera S^n tiene una estructura CW con una 0-célula y una n-célula adjunta por la aplicación constante desde S^{n-1} hacia la 0-célula; espacios más elaborados como espacios proyectivos y muchas variedades admiten descomposiciones CW naturales.

Aplicación incorrecta

Asumir que toda descomposición en células es una estructura CW sin verificar la finitud de cierre o la topología débil, o confundir complejos CW con complejos simpliciales y esperar triangulaciones canónicas en todos los casos.

Consecuencia

Los complejos CW disponen de potentes herramientas de topología algebraica: la homología celular calcula homología a partir de la estructura celular, y la teoría de homotopía para CW simplifica pruebas de equivalencias por homotopía y la construcción de mapas hasta homotopía.

Inversión

La idea inversa son descomposiciones celulares arbitrarias sin los axiomas CW (por ejemplo, infinitas células acumulándose en el cierre de una célula) que pueden destruir propiedades deseables como la contractibilidad local y hacer inválidos los cálculos celulares.

Límite

Los complejos CW incluyen muchos espacios de interés (variedades, cocientes habituales) pero excluyen espacios con comportamiento local patológico o adjunciones de células que violen la finitud de cierre o la topología débil; la triangulabilidad no está garantizada para todo complejo CW.

Tensión semántica

Existe tensión entre complejos CW, complejos simpliciales y variedades: aunque muchos espacios admiten ambas estructuras, CW y simplicial, las elecciones afectan métodos de cálculo e invariantes, y algunos espacios tienen descomposiciones CW naturales sin una triangulación sencilla.

Síntesis

Un complejo CW es un espacio topológico con estructura celular construido inductivamente adjuntando discos por sus esferas frontera bajo las condiciones de finitud de cierre y topología débil: esta construcción equilibra flexibilidad y computabilidad y constituye una clase central de espacios en topología algebraica.