Una técnica topológica que asigna un índice entero a un punto fijo aislado o a una aplicación en una región; el índice se calcula localmente y es invariante bajo homotopías que no crean ni destruyen puntos fijos en el borde, y sirve para detectar existencia, multiplicidad y estudiar bifurcaciones de puntos fijos.

Principio

Contar la contribución algebraica local de los puntos fijos mediante un índice invariante por homotopía si no hay creación en el borde; la aditividad en vecindades aislantes disjuntas permite obtener conclusiones globales a partir de datos locales.

Demostración

Para una aplicación continua del disco cerrado en el plano, se calcula el índice en una pequeña vecindad aislante de un punto fijo aislado enviando el círculo frontera por el campo de desplazamiento y tomando su número de vueltas; un índice no nulo implica persistencia del punto fijo ante pequeñas perturbaciones y se usa en refinamientos del teorema de Brouwer.

Aplicación incorrecta

Aplicar el índice sin asegurar la aislamiento (p. ej., a una acumulación de puntos fijos) o a aplicaciones discontinuas en el borde puede dar valores engañosos o indefinidos; tratar como multiplicidad un índice obtenido sobre un conjunto no aislante es un error habitual.

Consecuencia

Bien empleado, el método produce teoremas de existencia, cotas inferiores al número de puntos fijos, persistencia bajo perturbaciones e información sobre bifurcaciones (cambios de signo o cancelaciones de índices indican creación o aniquilación de puntos fijos).

Inversión

Si el índice en una región aislante es cero no se puede deducir la existencia de un punto fijo: el cero puede indicar ausencia o una cancelación balanceada de puntos fijos; inversamente, la no existencia de punto fijo implica la nulidad de todos los índices locales, invirtiendo la implicación habitual.

Límite

Se aplica a aplicaciones continuas en variedades o regiones euclidianas donde los puntos fijos pueden aislarse y los bordes controlarse; se requieren formulaciones distintas en espacios no Hausdorff, para discontinuidades esenciales o en muchos marcos de dimensión infinita salvo que exista un marco de tipo Fredholm/compacidad adecuado.

Tensión semántica

Relacionado con la teoría del grado y el invariante de Lefschetz: el grado es global y sensible a la orientación, mientras que el índice de punto fijo es local y pensado para puntos aislados; la confusión surge si se tratan como intercambiables sin verificar hipótesis.

Síntesis

El Método del Índice de Punto Fijo resume el comportamiento topológico local de una aplicación en índices enteros invariables por homotopía en vecindades aislantes; mediante aditividad e invariancia convierte cálculos locales en conclusiones globales sobre existencia, multiplicidad y estabilidad, requiriendo control estricto de la aislamiento y la regularidad.