Un teorema que relaciona invariantes algebraicos con puntos fijos: para una aplicación continua f sobre un espacio compacto y triangulable (o más generalmente un ANR compacto), el número de Lefschetz L(f), calculado como suma alternada de trazas de las aplicaciones inducidas f_* en homología, detecta puntos fijos — si L(f)≠0 entonces f tiene al menos un punto fijo.

Principio

La información de traza algebraica llevada por las aplicaciones inducidas en homología codifica datos esenciales de puntos fijos; la no anulación del número de Lefschetz obstruye la posibilidad de eliminar todos los puntos fijos por homotopía.

Demostración

Para una aplicación continua f en la n‑esfera se tiene L(f)=1+(−1)^n deg(f), y cuando no es cero garantiza un punto fijo; en particular la identidad tiene L(f) no nulo y por tanto puntos fijos, como se prevé.

Aplicación incorrecta

Tratar L(f) como un recuento exacto de puntos fijos en todos los entornos o suponer que L(f)=0 implica ausencia de puntos fijos. El teorema da existencia cuando L(f)≠0 pero no un recuento exacto en presencia de degeneraciones; la teoría de Nielsen refina estas cuestiones de conteo.

Consecuencia

Proporciona un criterio de existencia potente para puntos fijos en dinámica topológica y topología algebraica y suele funcionar como una obstrucción calculable en contextos aplicados; además sugiere métodos algebraicos para estudiar el comportamiento cualitativo de aplicaciones hasta homotopía.

Inversión

L(f)=0 no implica que f carezca de puntos fijos; mapas con número de Lefschetz cero pueden aún tener puntos fijos, y homogías pueden crear o eliminar puntos fijos manteniendo L(f)=0.

Límite

Requiere compacidad y una condición de finitud (triangulabilidad, ANR o una buena teoría de homología) para definir el número de Lefschetz y aplicar el teorema. Se aplica a auto‑mapas continuos; las extensiones a espacios no compactos requieren cuidado y hipótesis adicionales.

Tensión semántica

Se relaciona con el teorema del punto fijo de Brouwer (caso particular en bolas) y contrasta con la teoría de Nielsen que refina la existencia en clases esenciales de puntos fijos y ofrece cuentas mínimas hasta homotopía; Lefschetz da obstrucciones más toscas pero calculables.

Síntesis

El teorema de Lefschetz convierte datos de trazas homológicas en existencia topológica: un número de Lefschetz no nulo fuerza la existencia de un punto fijo, enlazando invariantes lineales algebraicos de las aplicaciones inducidas con fenómenos no lineales de puntos fijos.