Afirmación que relaciona el tipo de homotopía de un espacio topológico cubierto por una colección de conjuntos con el nervio simplicial de esa cubierta: si una cubierta es 'buena' (cada intersección finita no vacía de conjuntos de la cubierta es contractible), entonces el complejo simplicial del nervio es homotópicamente equivalente a la unión (el espacio original).

Principio

Bajo hipótesis que aseguran la contractilidad local de intersecciones finitas, el nervio combinatorio codifica datos suficientes de intersección para recuperar el tipo de homotopía global; los modelos simpliciales combinatorios pueden sustituir al espacio continuo para cuestiones homotópicas.

Demostración

Dada una buena cubierta abierta de una variedad por parches contractibles (por ejemplo, parches convexos en una variedad suave), se construye el nervio cuyos vértices corresponden a parches y los símplices a intersecciones no vacías. El lema del nervio afirma que este complejo simplicial tiene el mismo tipo de homotopía que la variedad, permitiendo calcular homotopía u homología mediante combinatoria.

Aplicación incorrecta

Aplicar el lema cuando las intersecciones no son contractibles (o ni siquiera conexas por caminos). Por ejemplo, usar el nervio de una cubierta con solapamientos no contractibles puede dar el tipo de homotopía equivocado y engañar sobre la conectividad o los grupos de homotopía superiores.

Consecuencia

Establece un puente entre la topología continua y la topología algebraica combinatoria, justificando el uso de complejos de Čech, aproximaciones de Vietoris–Rips (con precaución) y técnicas de homología persistente cuando las cubiertas o las escalas cumplen condiciones de contractilidad.

Inversión

El tipo de homotopía del nervio puede diferir del del espacio si fallan las condiciones de buena cubierta; a la inversa, en ocasiones el nervio es homotópicamente equivalente aun cuando las intersecciones no son estrictamente contractibles (p. ej. bajo condiciones de aciclicidad más débiles), pero ello requiere verificación adicional.

Límite

Requiere cubiertas cuyas intersecciones finitas sean contractibles (buenas cubiertas) o hipótesis apropiadas de aciclicidad; no se aplica literalmente a cubiertas arbitrarias, a cubiertas por conjuntos no abiertos sin cuidado, ni a aproximaciones métricas sin control de la topología de las intersecciones.

Tensión semántica

Tensión entre aproximación combinatoria y fidelidad analítica/geométrica: se buscan proxies simplificados (nervios) pero hay que equilibrar eso con la condición a veces frágil sobre la topología de las intersecciones; también tensión entre distintas construcciones simpliciales (nervio vs Vietoris–Rips) y sus regímenes de validez.

Síntesis

El Lema del nervio formaliza cuándo un objeto simplicial discreto (el nervio de una cubierta) modela fielmente el tipo de homotopía de un espacio continuo: si todas las intersecciones finitas de la cubierta son contractibles (o satisfacen condiciones de aciclicidad), entonces el nervio y el espacio son homotópicamente equivalentes, permitiendo el cálculo combinatorio de invariantes topológicos.