Técnica que vincula la topología diferencial de una variedad suave con los puntos críticos de funciones reales suaves (funciones de Morse) sobre ella: los puntos críticos no degenerados tienen índices bien definidos y corresponden a adhesiones de manejos, y las desigualdades de Morse relacionan los recuentos de puntos críticos con la homología.

Principio

Los puntos críticos no degenerados de una función de Morse corresponden a cambios topológicos elementales (adhesión de un manejo de índice k), y las trayectorias del flujo del gradiente organizan cómo se adhieren esos manejos; al analizar índices y valores críticos se obtienen descomposiciones celulares y cotas homológicas (desigualdades de Morse).

Demostración

En el toro estándar en R^3, la función altura tiene cuatro puntos críticos no degenerados con índices 0, 1, 1 y 2. Leyendo estos en orden creciente de valor se obtiene una 0‑maneja, dos 1‑manelas (handles) y una 2‑maneja, reproduciendo la topología del toro y coincidiendo con los números de Betti mediante las desigualdades de Morse.

Aplicación incorrecta

Aplicar la teoría de Morse a funciones con puntos críticos degenerados sin perturbar, a funciones no suaves sin estructura de gradiente, o tratar funciones Morse–Bott (subvariedades críticas) como si tuvieran puntos críticos aislados. Ignorar la compacidad o condiciones de frontera (por ejemplo en variedades no compactas) puede invalidar las conclusiones.

Consecuencia

Proporciona un método para calcular o estimar la homología, para producir descomposiciones por manejos y cobordismos, y sustenta pruebas como el teorema h‑cobordismo; ofrece una visión geométrica de cómo cambia la topología cuando varían los niveles de una función.

Inversión

Sustituir funciones de Morse por funciones Morse–Bott (subvariedades críticas) o por funciones con puntos críticos degenerados altera la correspondencia: las subvariedades críticas requieren un análisis más elaborado (teoría de Morse–Bott) y la correspondencia directa manejo‑punto crítico se rompe.

Límite

Funciona en la categoría suave para variedades que admiten funciones de Morse (toda variedad suave las admite) y requiere la no degeneración de los puntos críticos; para variedades con frontera se emplean funciones de Morse con comportamiento controlado en la frontera o teoría de Morse relativa. No se aplica directamente en categorías puramente topológicas sin estructura suave, aunque existen análogos (PL, teoría de Morse discreta).

Tensión semántica

Estrechamente relacionada con descomposiciones por manejos y la teoría de Cerf; a veces se confunde con la teoría de Morse discreta o con la dinámica del gradiente en general. La tensión aparece al pasar del punto de vista analítico (funciones, gradientes) al combinatorio (manejos, células) y al generalizar de puntos críticos aislados a familias.

Síntesis

La teoría de Morse traduce datos de funciones suaves (puntos críticos no degenerados e índices) en operaciones topológicas de construcción (adhesión de manejos), proporcionando descomposiciones explícitas, desigualdades para la homología y una imagen dinámica mediante flujos de gradiente que explica cómo la topología de una variedad surge de sus conjuntos de nivel.