Eine zahlenmäßige Grösse, die einer beschränkten Teilmenge eines metrischen oder Banach-Raums zugeordnet wird und misst, wie weit die Menge davon entfernt ist, relativ kompakt zu sein; das Kuratowski-Maß der Nichtkompaktheit ist typischerweise das Infimum der Radien r, so dass die Menge durch endlich viele Kugeln des Radius r überdeckt werden kann.

Prinzip

Quantifizierung der Präkompaktheit: Je kleiner das Maß, desto näher ist eine beschränkte Menge daran, eine kompakte Abschlussmenge zu haben; das Maß ist genau dann Null, wenn die Menge relativ kompakt ist.

Demonstration

In einem Banachraum hat eine endliche Menge Maß der Nichtkompaktheit 0. Die abgeschlossene Einheitskugel eines unendlichdimensionalen Banachraums besitzt ein strikt positives Maß: Es gibt kein endliches Überdeckungsradius r, das beliebig klein gewählt werden kann.

Fehlanwendung

Das Maß auf unbeschränkte Mengen anzuwenden, ohne auf Beschränktheit zu achten, oder das Maß mit dem Durchmesser der Menge gleichzusetzen; das Maß ist ein Infimum über endliche Überdeckungen, nicht bloß der maximale Abstand zweier Punkte.

Konsequenz

Genaue Werte oder Abschätzungen des Maßes der Nichtkompaktheit ermöglichen Fixpunktsätze für kondensierende Operatoren, Kompaktheitskriterien in der Funktionalanalysis und quantitative Kontrolle in Existenzbeweisen für Operatorgleichungen.

Umkehrung

Die umgekehrte Sicht wäre ein Maß der Kompaktheit: eine Grösse, die groß ist, wenn eine Menge kompaktennah ist, und klein sonst; formal vertauscht dies die Ordnung, ersetzt aber selten die praktische Nützlichkeit des Nichtkompaktheitsmaßes.

Abgrenzung

Definiert nur für beschränkte Mengen in metrischen oder normierten Räumen (oder für beschränkte Operatoren via Bild der Einheitskugel); es hängt von der gewählten Metrik ab und unterscheidet sich von anderen Nichtkompaktheitsmaßen (Hausdorff-Maß), obwohl sie oft bis auf Konstanten äquivalent sind.

Semantische Spannung

Spannung besteht zwischen verschiedenen quantitativen Begriffen (Kuratowski- vs. Hausdorff-Maß) und zwischen dem qualitativen Begriff «nicht kompakt» und dem quantitativen Maß; die Wahl einer ungeeigneten Variante kann Abschätzungen oder Kompaktheitsaussagen verfälschen.

Synthese

Das Maß der Nichtkompaktheit verwandelt das qualitative Fehlen relativer Kompaktheit in ein einzelnes quantitatives Invariant: durch das Infimum der Radien endlicher Überdeckungen liefert es eine Skala dafür, wie «nicht kompakt» eine beschränkte Menge ist, nützlich für Fixpunkt- und Kompaktheitsargumente.