Eine topologische Eigenschaft einer Menge, die besagt, dass jede Folge in der Menge eine konvergente Teilfolge besitzt, deren Limes in der Menge liegt; in metrischen Räumen äquivalent zur sequentiellen Kompaktheit.

Prinzip

Kompaktheit kodiert endlich-dimensionale Eigenschaften in möglicherweise unendlichen Kontexten: Sie verhindert das Entweichen von Masse ins Unendliche und liefert konvergente Teilfolgen, was Extraktionsargumente und Stetigkeitsergebnisse ermöglicht.

Demonstration

Heine–Borel: In R^n ist eine Teilmenge genau dann kompakt, wenn sie abgeschlossen und beschränkt ist. In unendlichdimensionalen Banachräumen ist die Einheitskugel nicht kompakt, und Kompaktheit von Einbettungen (Rellich) führt aus Beschränktheit und Regularität zu starker Konvergenz.

Fehlanwendung

Zu glauben, Beschränktheit impliziere Kompaktheit in unendlichdimensionalen Räumen, oder sequentielle Kompaktheit mit anderen Kompaktheitsbegriffen zu verwechseln, ohne die Topologie zu prüfen.

Konsequenz

Kompakte Mengen gewährleisten Existenz von Häufungspunkten und Maxima/Minima stetiger Funktionen, erlauben diagonale Extraktionsargumente für Folgen von Funktionen und machen stetige Abbildungen dazu, Extrema zu erreichen.

Umkehrung

Nichtkompaktheit ermöglicht entweichende Folgen ohne konvergente Teilfolge (Masse entweicht ins Unendliche oder es treten feinere Oszillationen auf) und erfordert Werkzeuge wie Tightness, schwache Kompaktheit oder Konzentration-Kompaktheit.

Abgrenzung

Kompaktheit hängt von der betrachteten Topologie ab; in metrischen Räumen sind sequentielle Kompaktheit und Kompaktheit äquivalent, in allgemeinen topologischen Räumen können jedoch Variationen (zählbare Kompaktheit, Limitpunktskompaktheit) voneinander abweichen.

Semantische Spannung

Kompaktheit wird häufig mit Vollständigkeit und Beschränktheit kontrastiert; während sie in endlichen Dimensionen (zusammen mit Abschluss) zusammenfällt, divergieren diese Begriffe in unendlichen Dimensionen und sind von kompakten Operatoren zu unterscheiden.

Synthese

Kompaktheit ist die Eigenschaft, die Teilfolgenkonvergenz und endlich-dimensionales Verhalten in einer topologischen Menge erzwingt und damit Existenz-, Stetigkeits- und Stabilitätsargumente stützt, wenn direkte Konvergenz fehlt.