Théorème du Point Fixe de Lefschetz

Énoncé reliant invariants algébriques et points fixes : pour une application continue f d'un espace compact et triangulable (ou plus généralement un ANR compact), le nombre de Lefschetz L(f), calculé comme somme alternée des traces des applications induites f_* en homologie, détecte les points fixes — si L(f)≠0 alors f admet au moins un point fixe.