Concept
En mathématiques, le théorème du point fixe de Lefschetz est une formule qui compte le nombre de points fixes d'une application continue d'un espace compact X dans lui-même en utilisant les traces des endomorphismes qu'elle induit sur l'homologie de X. Il est nommé d'après Solomon Lefschetz qui l'a démontré en 1926. Chaque point fixe est compté avec sa multiplicité. Une version faible du théorème suffit à démontrer qu'une application qui n'a aucun point fixe doit vérifier certaines propriétés particulières (comme une rotation du cercle). Soit f : X → X une application continue d'un espace compact triangulable X dans lui-même. On définit le nombre de Lefschetz Λ de f comme la somme alternée (finie) des traces des endomorphismes induits par f sur les espaces H(X, Q) d'homologie singulière de X à coefficients rationnels : Une version simple d'énoncé du théorème de Lefschetz est que si ce nombre Λ est non nul, alors il existe au moins un point x fixe par f, c'est-à-dire tel que f(x) = x. Remarques : toute application homotope à f aura alors même nombre de Lefschetz donc aura aussi au moins un point fixe ; la réciproque est fausse : Λ peut être nul même si f a des points fixes. Une version plus forte du théorème, aussi connue sous le nom de théorème de Lefschetz-Hopf, est que si l'ensemble Fix(f) des points fixes de f est fini, alors le nombre de Lefschetz de f est la somme de leurs indices i(f,x) : L'application identité d'un CW-complexe fini X induit, sur chaque espace d'homologie H(X, Q), l'endomorphisme identité, dont la trace est la dimension de cet espace. Ainsi, le nombre de Lefschetz de l'application identité de X est la somme alternée des nombres de Betti de X, qui n'est autre que la caractéristique d'Euler χ(X) : Le théorème du point fixe de Lefschetz généralise celui de Brouwer, selon lequel toute application continue de la boule unité fermée B dans elle-même a au moins un point fixe. En effet, cette boule est compacte et triangulable, tous ses groupes d'homologie sont nuls sauf son H et pour toute application continue f : B → B, l'endomorphisme f de H(B, Q) = Q est l'identité donc Λ = 1.