Eine Dichotomie für lineare Gleichungen mit kompakten (oder Fredholm-) Operatoren: Für einen Fredholm‑Operator A und ein Skalar λ ist entweder (I − λA) invertierbar und die inhomogene Gleichung hat für jede rechte Seite eine eindeutige Lösung, oder die homogene Gleichung besitzt nichttriviale Lösungen und die Lösbarkeit der inhomogenen Gleichung erfordert Verträglichkeitsbedingungen (Orthogonalität) gegenüber dem Kern des Adjoints.

Prinzip

Die Fredholm‑Theorie trennt die Lösbarkeit in ein endlichdimensionales Hindernis (Kernel/Kokernel) und ein Komplement, auf dem der Operator invertierbar ist; kompakte Störungen der Identität haben Index null und endlichdimensionale Nullräume.

Demonstration

Endlichdimensionales Analogon: Für eine quadratische Matrix M gilt entweder det M ≠ 0 und Mx = b hat für jedes b eine eindeutige Lösung, oder det M = 0 und die Lösbarkeit erfordert, dass b im Spaltenraum liegt, äquivalent zur Orthogonalität zum linken Nullraum.

Fehlanwendung

Die Alternative auf Operatoren mit kontinuierlichem Spektrum oder auf nicht‑Fredholm‑Operatoren (z. B. unbeschränkte Operatoren ohne kompakte Resolvente) anwenden, bei denen Kernel/Kokernel unendlichdimensional sein können und keine endliche Verträglichkeitsbedingung gilt.

Konsequenz

Ermöglicht explizite Lösbarkeitskriterien für lineare Integralgleichungen und elliptische Randwertprobleme, reduziert unendlichdimensionale Lösungsfragen auf endlichdimensionale lineare Algebra und liefert Werkzeuge für Bifurkationsanalysen nahe singulärer Parameterwerte.

Umkehrung

Der generische invertierbare Fall (kein Kernel) steht im Gegensatz zum blockierten Fall: Das Umkehren der Aussage macht sichtbar, wann Lösungen fehlen (nichttriviale homogene Lösungen) statt wann sie eindeutig existieren.

Abgrenzung

Erfordert Fredholm‑Eigenschaften (endlichdimensionaler Kernel und abgeschlossener Bildraum endlicher Kodimension) oder Kompaktheitsannahmen; gilt nicht unverändert für allgemeine beschränkte Operatoren im unendlichdimensionalen Raum ohne diese Eigenschaften.

Semantische Spannung

Fredholm‑Alternative vs allgemeine Lösbarkeitstheorie: Die Alternative betont algebraische endlichdimensionale Schranken, während die umfassendere Operatorentheorie kontinuierliches und essentielles Spektrum sowie Nichtkompaktheitsphänomene behandelt.

Synthese

Die Fredholm‑Alternative reduziert die lineare Lösbarkeit für Fredholm‑Operatoren (oder kompakte Störungen) auf eine Dichotomie: Entweder ist der Operator invertierbar mit eindeutigen Lösungen für alle Daten, oder ein endlichdimensionaler Kernel erzwingt durch das Adjunkt die entsprechenden Orthogonalitätsbedingungen.