## [Lefschetz-Fixpunktsatz](/de/node/63149) Definition 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. ## Prinzip Prinzip Die algebraische Spurinformation der induzierten Homomorphismen in der Homologie kodiert essentielle Fixpunktdaten; das Nichtverschwinden der Lefschetz‑Zahl verhindert, dass durch Homotopie alle Fixpunkte entfernt werden können. ## Demonstration Demonstration Für eine stetige Abbildung f auf der n‑Sphäre gilt L(f)=1+(−1)^n deg(f), und ist dies nicht null, so garantiert das Vorhandensein eines Fixpunktes; insbesondere hat die Identität eine nichtverschwindende Lefschetz‑Zahl und damit Fixpunkte. ## Fehlanwendung Fehlanwendung L(f) als exakte Zählung von Fixpunkten in allen Situationen zu interpretieren oder anzunehmen, L(f)=0 bedeute Fixpunktfreiheit. Der Satz gibt Existenz für nichtverschwindende L(f), aber keine genaue Zählung bei Degenerationen; die Nielsen‑Theorie verfeinert solche Zählfragen. ## Konsequenz Konsequenz Er liefert ein leistungsfähiges Existenzkriterium für Fixpunkte in topologischer Dynamik und algebraischer Topologie und dient oft als berechenbares Hindernis in angewandten Kontexten; er legt zudem algebraische Methoden zur Untersuchung des qualitativen Verhaltens von Abbildungen bis auf Homotopie nahe. ## Umkehrung Umkehrung L(f)=0 impliziert nicht, dass f fixpunktfrei ist; Abbildungen mit verschwindender Lefschetz‑Zahl können dennoch Fixpunkte besitzen, und Homotopien können Fixpunkte erzeugen oder eliminieren, ohne L(f) zu ändern. ## Abgrenzung Abgrenzung Setzt Kompaktheit und eine Endlichkeitsbedingung (Triangulierbarkeit, ANR oder eine geeignete Homologietheorie) voraus, um die Lefschetz‑Zahl zu definieren und den Satz anzuwenden. Gilt für stetige Selbstabbildungen; Erweiterungen auf nichtkompakte Räume erfordern Vorsicht und zusätzliche Voraussetzungen. ## Semantische Spannung Semantische Spannung Bezieht sich auf Brouwers Fixpunktsatz (Spezialfall für Kugeln) und steht im Kontrast zur Nielsen‑Fixpunkttheorie, die Existenz in essentielle Fixpunktklassen aufteilt und minimale Anzahlen bis auf Homotopie liefert; Lefschetz liefert gröbere, aber oft berechenbare Hindernisse. ## Synthese Synthese Der Lefschetz‑Satz wandelt homologische Spurinformationen in topologische Existenz um: Eine nichtverschwindende Lefschetz‑Zahl erzwingt einen Fixpunkt und verbindet lineare algebraische Invarianten der induzierten Abbildungen mit nichtlinearen Fixpunktphänomenen.