Una técnica en la teoría de CW-complejos que sustituye una aplicación continua por una homóloga que envía cada k-esqueleto al k-esqueleto del objetivo, es decir, homotopiar a una aplicación celular que respeta las estructuras de celdas y simplifica cálculos de obstrucción y homotopía.

Principio

Usar homotopías celulares para forzar que las aplicaciones respeten los esqueletos de los complejos CW, reduciendo problemas a un análisis célula por célula y haciendo eficaz la teoría de obstrucciones.

Demostración

Dada f: X → Y entre CW-complejos, se construyen inductivamente homotopías en los esqueletos de modo que f sea homotópica a una aplicación celular f' con f'(X^k) ⊂ Y^k para todo k; las obstrucciones a extender en cada etapa se sitúan en grupos de homotopía relativos.

Aplicación incorrecta

Intentar aplicar aproximación celular cuando la fuente o el objetivo carecen de estructura CW o ignorar las obstrucciones de las cartas de pegado puede producir homotopías inválidas o pasar por alto obstrucciones esenciales de extensión.

Consecuencia

La aproximación celular permite reducir cuestiones homotópicas a datos combinatorios sobre las celdas, calcular la homología celular y controlar extenciones y obstrucciones mediante grupos relativos.

Inversión

El reverso es trabajar con aplicaciones arbitrarias que no respetan esqueletos; tales aplicaciones complican los argumentos inductivos e impiden la aplicación directa de la teoría de obstrucciones.

Límite

Se aplica a CW-complejos y a mapas entre ellos (o espacios con estructuras celulares compatibles); excluye espacios topológicos arbitrarios sin descomposición CW y contextos donde no hay homotopías celulares disponibles.

Tensión semántica

Compite con la aproximación simplicial y métodos singulares: la aproximación celular explota la estructura CW y suele ser más sencilla para problemas de homotopía, mientras que las técnicas simpliciales pueden preferirse con una descomposición simplicial primaria.

Síntesis

La aproximación celular homotopia mapas para que envíen k-esqueletos a k-esqueletos, permitiendo un control inductivo a nivel celular de problemas de homotopía y obstrucción y traduciendo fenómenos continuos a álgebra celular.