 ##  [Modul der Nichtkompaktheit](/de/node/62573) 

 Definition

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

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

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

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

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

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

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

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

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.