Teorema del Punto Fijo de Lefschetz

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.