Teoría de espacios topológicos descompuestos en una partición localmente finita de piezas que son variedades suaves (estratos), ordenadas mediante relaciones de incidencia y provistas de datos de control (vecindarios tubulares o cónicos, condiciones de regularidad) que gobiernan cómo se encuentran los estratos y cómo se extienden invariantes a través de las singularidades.

Principio

Organizar un espacio singular por una estratificación que cumpla la condición de frontera y condiciones locales de conicidad/regularidad para que los modelos locales se reduzcan a tipos producto/cono y se puedan definir y calcular invariantes globales (homología de intersección, haces constructibles) respetando la estructura estratificada.

Demostración

Una variedad algebraica sobre R o C puede estratificarse por variedades suaves según multiplicidad o lugar singular; por ejemplo, una curva plana nodal se descompone en sus arcos lisos y puntos de cruce, y la homología de intersección relativa a esa estratificación registra cómo los ciclos encuentran las singularidades.

Aplicación incorrecta

Tratar una descomposición cualquiera como una estratificación sin verificar la condición de frontera y la regularidad local (p. ej., permitir piezas salvajes no localmente finitas) invalida muchos teoremas e invariantes; asumir una estructura producto global cuando solo existe un cono local conduce a deducciones incorrectas.

Consecuencia

Una estratificación correcta proporciona herramientas para extender la dualidad de Poincaré (formas de intersección), definir la firma y clases L, calcular la cohomología de haces constructibles y controlar categorías de mapas y cobordismos estratificados útiles para la clasificación de singularidades y los invariantes topológicos.

Inversión

La inversión es el punto de vista de la variedad que ignora la estratificación y trata el espacio solo por sus estratos suaves, perdiendo información sobre incidencias y cómo las singularidades condicionan la topología global; alternativamente, estudiar únicamente el lugar singular se centra en los defectos en lugar del espacio estratificado total.

Límite

Se aplica a espacios que admiten una estratificación localmente finita y bien comportada (condiciones de Whitney, Thom‑Mather o similares) y a contextos donde existe control cónico/tubular; excluye descomposiciones salvajes arbitrarias, singularidades en sentido medible sin estructura de variedad local y muchos conjuntos fractales sin estratos de variedad.

Tensión semántica

Hay tensión entre la teoría de espacios estratificados y nociones cercanas como los orbifolds, que tienen singularidades por cociente más suaves, o las estratificaciones/filtraciones tipo CW: los significados próximos difieren en regularidad, isotropía permitida y herramientas algebraico/geométricas aplicables.

Síntesis

La teoría de espacios estratificados divide espacios singulares en estratos de variedad con incidencias controladas y modelos locales cónicos, de modo que se puedan definir invariantes de tipo intersección y herramientas basadas en haces para clasificar singularidades y extender invariantes de variedades a través de los lugares singulares.