Ein linearer Operator zwischen Banach-(oder normierten) Räumen, der beschränkte Mengen auf relativ kompakte Mengen abbildet — äquivalent: das Bild der Einheitskugel hat kompakte Abschluss.

Prinzip

Kompaktheit einer linearen Abbildung in unendlichen Dimensionen verallgemeinert die Approximierbarkeit durch endlichdimensionale Abbildungen: kompakte Operatoren verhalten sich wie Grenzwerte von Operatoren endlichen Ranges und übernehmen dadurch diskrete spektrale Eigenschaften, die allgemeinen beschränkten Operatoren fehlen.

Demonstration

Auf L^2([0,1]) ist ein Integraloperator (Tf)(x)=∫_0^1 K(x,y) f(y) dy mit stetigem K kompakt, weil er die Einheitskugel auf eine gleichmäßig stetige, punktweise beschränkte Familie abbildet, deren Abschluss nach Arzelà–Ascoli kompakt ist.

Fehlanwendung

Die Annahme, jeder beschränkte Operator sei kompakt (falsch in unendlichen Dimensionen) oder Kompaktheit als unter beliebigen Grenzen in schwächeren Topologien erhalten zu betrachten; z. B. ist die einseitige Verschiebung auf ℓ^2 beschränkt, aber nicht kompakt.

Konsequenz

Kompakte Operatoren besitzen matrixähnliche Spektraleigenschaften: ihr von Null verschiedener Spektralteil ist höchstens abzählbar mit 0 als einzigem Anhäufungspunkt, und Eigenräume zu verschiedenen von Null verschiedenen Eigenwerten sind endlichdimensional, was die Fredholm-Theorie ermöglicht.

Umkehrung

Ein beschränkter Operator, der beschränkte Mengen nicht auf relativ kompakte Mengen abbildet (z. B. die beidseitige Verschiebung oder die Identität in einem unendlichen Raum), zeigt das gegenteilige Verhalten: stetig, aber ohne in der Norm endlichdimensional approximierbar zu sein.

Abgrenzung

Definiert für lineare Abbildungen zwischen normierten Räumen; der Begriff schließt nichtlineare Abbildungen aus (sofern nicht linearisiert) und hängt von der durch die Norm induzierten Topologie ab — unterschiedliche Topologien ändern die Kompaktheit; nicht jeder Banachraum besitzt nichttriviale kompakte Operatoren.

Semantische Spannung

Wird oft mit endlichdimensionalen (Rang‑)Operatoren verwechselt: jeder Rang‑endlich‑Operator ist kompakt, aber kompakte Operatoren können unendliche Grenzwerte solcher sein; die Spannung liegt in der Approximierbarkeit in Operatornorm gegenüber algebraischem Rang.

Synthese

Ein kompakter Operator ist eine lineare Abbildung, die beschränkte Mengen zu relativ kompakten Bildern zusammenpresst und so ein unendlichdimensionales Gegenstück zu endlichdimensionalen Operatoren mit diskreterer spektraler Struktur und starken Lösbarkeitsfolgen bildet.