Ein linearer Operator zwischen topologischen (häufig normierten oder Banach-) Vektorräumen, der beschränkte Mengen auf relativ kompakte Mengen abbildet; äquivalent dazu, dass das Bild jeder beschränkten Folge eine konvergente Teilfolge besitzt.

Prinzip

Kompaktheit drückt die Möglichkeit aus, durch endlich-dimensionale Approximationen zu arbeiten: kompakte Operatoren lassen sich in vielen Fällen in Operatornorm durch endlich-rangige Operatoren approximieren und komprimieren infinidimensionales Verhalten zu präkompakten Bildern.

Demonstration

Der Integraloperator K auf L2, definiert durch (Kf)(x)=∫ k(x,y)f(y) dy mit geeignet regulärem Kern k, ist unter üblichen Hypothesen kompakt; die Einbettung H1_0(Ω)→L2(Ω) ist kompakt (Rellich), während in endlichdimensionalen Räumen jeder lineare Operator kompakt ist.

Fehlanwendung

Davon auszugehen, jeder beschränkte Operator sei kompakt (falsch in unendlichen Dimensionen), oder spektrale Folgerungen anzuwenden, die nur für kompakte Operatoren gelten, etwa ein diskretes Punktespektrum mit 0 als einzigem Häufungspunkt zu behaupten ohne Kompaktheitsnachweis.

Konsequenz

Kompakte Operatoren besitzen spezielle Spektraleigenschaften (Punktespektrum, das höchstens in 0 akkumuliert), ermöglichen Fredholm-artige Ergebnisse und liefern verbesserte Konvergenzeigenschaften für Folgen von Bildern durch Kompaktheit.

Umkehrung

Ein nicht kompakter beschränkter Operator bildet beschränkte Mengen nicht in relativ kompakte Mengen ab; typische Beispiele sind Verschiebeoperatoren auf ℓ2 oder Multiplikation durch eine nicht beschränkte Folge, die ein kontinuierliches Spektrum oder fehlende Norm-Approximation durch Rang-finite Operatoren zeigen.

Abgrenzung

Die Definition setzt eine Umgebungstopologie voraus, in der relative Kompaktheit Sinn macht (normierte oder topologische Vektorräume); ausgeschlossen sind unbeschränkte Operatoren, Bilder, die zwar beschränkt aber nicht relativ kompakt sind, und Eigenschaften, die nur punktweise oder auf Teilräumen gelten.

Semantische Spannung

„Kompakt“ konkurriert mit „endlich-rangig“, „Grenzwert endlich-rangiger Operatoren“ und mit dem Begriff „vollständig stetig“ (Alias); die Spannung lässt sich durch genaue Angabe der Topologie und des Approximationsmodus (Norm versus starke Operatoren-TOP) auflösen.

Synthese

Ein kompakter Operator ist eine lineare Abbildung, die beschränkte Mengen in relativ kompakte Mengen überführt und so infinidimensionale Strukturen auf endlich-dimensionale Approximationen reduziert; diese strukturelle Kompression führt zu charakteristischen spektralen und konvergenten Folgeneigenschaften.