Lefschetz-Fixpunktsatz

Ein Satz, der algebraische Invarianten mit Fixpunkten verknüpft: Für eine stetige Abbildung f eines kompakten, triangulierbaren (oder allgemein kompakten ANR‑)Raums ist die Lefschetz‑Zahl L(f), berechnet als alternierende Summe der Spuren der induzierten Abbildungen f_* in der Homologie, ein Fixpunktdetektor — ist L(f)≠0, so besitzt f mindestens einen Fixpunkt.