Eine topologische Methode, die isolierten Fixpunkten oder einer Abbildung auf einer Region eine ganze Zahl (Index) zuordnet; der Index ist lokal berechenbar und unter Homotopien, die am Rand keine Fixpunkte erzeugen oder vernichten, invariant; er dient zur Feststellung von Existenz, Vielfachheit und Bifurkationen von Fixpunkten.

Prinzip

Die lokale algebraische Wirkung von Fixpunkten durch einen homotopieinvarianten Index zählen; Additivität auf disjunkten isolierenden Umgebungen erlaubt globale Schlüsse aus lokalen Daten.

Demonstration

Bei einer stetigen Abbildung der abgeschlossenen Einheitscheibe in der Ebene berechnet man den Index eines isolierten Fixpunktes, indem man die Randkreisabbildung des Verschiebungsvektorfeldes betrachtet und deren Windungszahl nimmt; ein von null verschiedener Index garantiert Persistenz unter kleinen Störungen und wird in Verfeinerungen des Brouwer-Satzes verwendet.

Fehlanwendung

Den Index anzuwenden, ohne Isolation sicherzustellen (etwa bei einer Anhäufung von Fixpunkten) oder bei Rand-Discontinuities, führt zu irreführenden oder undefinierten Werten; den auf nicht-isolierenden Mengen berechneten Index als Vielfachheitsmaß zu behandeln ist ein häufiger Fehler.

Konsequenz

Korrekt angewandt liefert die Methode Existenzsätze, untere Schranken für die Zahl der Fixpunkte, Persistenz unter Störungen und Hinweise auf Bifurkationen (Vorzeichenwechsel oder Aufhebungen von Indizes deuten auf Erzeugung/Vernichtung von Fixpunkten).

Umkehrung

Ist der Index einer isolierenden Region null, lässt sich daraus nicht auf ein Fixpunktvorkommen schließen — null kann Abwesenheit oder ausgeglichene Erzeugung/Vernichtung bedeuten; umgekehrt impliziert das Fehlen eines Fixpunktes das Verschwinden aller lokalen Indizes und kehrt damit die übliche Folgerichtung um.

Abgrenzung

Gilt für stetige Abbildungen auf Mannigfaltigkeiten oder euklidischen Regionen, in denen Fixpunkte isolierbar sind und der Rand kontrollierbar ist; in nicht-Hausdorff-Räumen, bei wesentlichen Diskontinuitäten oder in vielen unendlichdimensionalen Situationen sind besondere Formulierungen erforderlich, etwa im Fredholm-/Kompaktheitsrahmen.

Semantische Spannung

Eng verwandt mit der Gradtheorie und dem Lefschetz-Fixpunktinvariant: Der Grad ist global und orientationsabhängig, der Fixpunktindex hingegen lokal und auf isolierte Punkte zugeschnitten; Verwechslungen entstehen, wenn man diese Invarianten ohne Prüfung der Voraussetzungen gleichsetzt.

Synthese

Die Fixpunkt-Index-Methode fasst das lokale topologische Verhalten einer Abbildung in ganzzahligen, homotopieinvarianten Indizes zusammen; durch Additivität und Invarianz wandelt sie lokale Rechnungen in globale Aussagen über Existenz, Vielfachheit und Stabilität um, benötigt aber strenge Kontrolle von Isolation und Regularität.