Ein ganzzahliger Invariant eines Fredholm‑Operators, gleich der Dimension seines Kerns minus der Dimension seines Kokerns; er misst das endlichdimensionale Hindernis für Invertierbarkeit und verbindet analytische Operatorentheorie mit topologischer Information.

Prinzip

Fredholm‑Operatoren haben abgeschlossenen Wertebereich, endlichdimensionalen Kern und Kokern, und ihr Index ist stabil unter kompakten Störungen und homotopen Deformationen; für elliptische Operatoren auf kompakten Mannigfaltigkeiten stimmt der analytische Index oft mit einem topologischen Index überein.

Demonstration

In endlichen Dimensionen ist eine lineare Abbildung zwischen gleichdimensionalen Räumen Fredholm mit Index null; für einen elliptischen Differentialoperator auf einer geschlossenen Mannigfaltigkeit gilt Index = dim Kern − dim Kokern und bei klassischen elliptischen Komplexen stimmt dies mit einem topologischen Invariant zusammen.

Fehlanwendung

Einem nicht‑Fredholm‑Operator (z. B. mit unendlichdimensionalem Kern oder nicht geschlossenem Wertebereich) einen Index zuzuweisen oder ohne Prüfung der Fredholm‑Eigenschaften Index null anzunehmen; Kern‑Dimension (analytisch) mit topologischen Invarianten zu verwechseln ohne Fredholm‑Hypothesen.

Konsequenz

Gibt Existenzaussagen bis auf endlichdimensionale Hindernisse, ermöglicht das Zählen von Freiheitsgraden unter Störungen, unterlegt den Spektralfluss und Stabilitätsergebnisse und bildet die Grundlage für Verbindungen zur Topologie (Indextheoreme) und K‑Theorie.

Umkehrung

Ein nicht‑Fredholm‑Operator (z. B. mit unendlichdimensionalem Kokern oder nicht geschlossenem Wertebereich) besitzt keinen wohldefinierten endlichen Index; das Versagen der Invertierbarkeit ist unendlichdimensional und kann nicht durch endlichdimensionale Korrekturen behoben werden.

Abgrenzung

Gilt für beschränkte oder geeignete geschlossene unbeschränkte Operatoren zwischen Banach‑ oder Hilbert‑räumen, die Fredholm‑Bedingungen erfüllen (oder für elliptische Operatoren unter passenden Funktionsraum‑Abbildungen); schließt willkürliche unbeschränkte Operatoren ohne Definitionsbereichskontrolle oder Operatoren auf nicht‑Banach‑Zielen aus.

Semantische Spannung

Unterscheidet sich von spektralen Invarianten: der Index ist eine unter kompakten Störungen und Homotopie stabile ganze Zahl, während Spektralgrößen (Eigenwertzählungen) variabel sind; ferner steht der analytische Index im Spannungsverhältnis zum topologischen Index, dessen Gleichheit Elliptizitäts‑ und Kompaktheitsannahmen benötigt.

Synthese

Der Fredholm‑Index quantifiziert das endlichdimensionale Versagen der Invertierbarkeit für Operatoren mit wohldefinierten Abbildungseigenschaften; seine Homotopieinvarianz und Verknüpfungen zur Topologie machen ihn zu einem zentralen Invariant für Existenz-, Deformations‑ und Klassifikationsfragen in der Analysis.