Eine linear-algebraische/Operatorentheoretische Dichotomie für Gleichungen der Form (I − K)x = y mit K kompaktem (oder Fredholm-)Operator: Entweder hat die homogene Gleichung nur die triviale Lösung und die inhomogene Gleichung ist für jedes y lösbar, oder die homogene Gleichung besitzt einen nichttrivialen endlichdimensionalen Lösungsraum und die inhomogene Gleichung ist nur für y lösbar, die zum Kern des adjungierten Operators orthogonal (bzw. vom Annihilator) sind. Sie verknüpft Lösbarkeit mit Eigenschaften des adjungierten Problems.

Prinzip

Die Lösbarkeit linearer Gleichungen mit kompaktem Störanteil wird durch das Zusammenspiel von Kern und Bild gesteuert: Kompaktheit erzwingt endlichdimensionale Kerne und Kokerne und liefert eine Dichotomie zwischen voller Lösbarkeit und Lösbarkeit modulo Orthogonalitätsbedingungen, die durch das Adjungierte bestimmt werden.

Demonstration

Bei einer Integralgleichung mit stetigem Kern auf einem beschränkten Gebiet ist der zugehörige Operator K kompakt und erfüllt die Fredholm-Alternative: Ist (I−K)u = f für alle f lösbar, so hat das homogene Problem (I−K)u=0 nur die triviale Lösung; besitzt das homogene Problem nichttriviale Lösungen, so verlangt die Lösbarkeit des inhomogenen Problems, dass f im orthogonalen Komplement (bzw. Annihilator) des adjungierten Kerns liegt.

Fehlanwendung

Die Fredholm-Alternative auf nicht kompakte oder nicht-Fredholm-Operatoren anzuwenden (z. B. bei vorherrschendem essentielles Spektrum oder unbeschränkten Operatoren) kann zu falschen Aussagen über Lösbarkeit führen; in Banachräumen Orthogonalität mit Annihilatoren zu verwechseln ist ein weiterer häufiger Fehler.

Konsequenz

Führt zur endlichdimensionalen Reduktion von Lösbarkeitsfragen, liefert Kriterien für Existenz bzw. Obstruktionen und bildet die Grundlage der Indextheorie für Fredholm-Operatoren; ermöglicht die Parametrisierung der Lösungsräume und die Bestimmung von Verträglichkeitsbedingungen bei angewandten Integral- und Randwertproblemen.

Umkehrung

Die naive Umkehrung — dass Existenz für alle rechten Seiten einen trivialen adjungierten Kern ohne Kompaktheitsannahmen erzwingt — kann fehlschlagen; die Dichotomie beruht auf Kompaktheit/Fredholm-Struktur und bricht im allgemeinen Operatorenkontext zusammen.

Abgrenzung

Voraussetzung ist, dass K kompakt ist oder allgemein (I−K) ein Fredholm-Operator ist; die klare Orthogonalitätsformulierung gilt unmittelbar in Hilberträumen (mittels Orthogonalität) und muss in Banachräumen über Annihilatoren formuliert werden. Ausgeschlossen sind allgemeine unbeschränkte Operatoren, Probleme mit dominierendem essentiellem Spektrum und viele nichtlineare Situationen.

Semantische Spannung

Verwandt mit Invertierbarkeits- und Indexbegriffen, aber verschieden: Die Fredholm-Alternative behandelt Lösbarkeit und Obstruktionen in endlichcodimensionalen Rahmen, während Invertierbarkeit sowohl trivialen Kern als auch Surjektivität verlangt; sie steht nahe an Lyapunov–Schmidt-Reduktion und Fredholm-Indextheorie.

Synthese

Die Fredholm-Alternative ordnet lineare Gleichungen mit kompakten Operatoren in eine Lösbarkeitsdichotomie: Kompaktheit erzeugt endlichdimensionale Hindernisse, die entweder verschwinden (Lösbarkeit für alle rechten Seiten) oder durch Orthogonalitäts-/Verträglichkeitsbedingungen des Adjungierten überwunden werden müssen, wodurch unendliche-dimensionale Probleme auf endliche Prüfungen reduziert werden.