Teilmenge eines topologischen Raums, so dass jede offene Überdeckung eine endliche Teilüberdeckung besitzt; in metrischen Räumen äquivalent zu der Eigenschaft, dass jede Folge eine konvergente Teilfolge hat (sequentielle Kompaktheit) bzw. dass die Menge vollständig und total beschränkt ist.

Prinzip

Kompaktheit ordnet unendliche Überdeckungen zu endlicher Information: globale Überdeckungs-Eigenschaften lassen sich auf endlich viele lokale Stücke reduzieren, was Aussagen über Existenz und Approximation ermöglicht.

Demonstration

Das abgeschlossene Intervall [0,1] in den reellen Zahlen: Jede offene Überdeckung von [0,1] besitzt eine endliche Teilüberdeckung, und jede Folge in [0,1] hat eine konvergente Teilfolge mit dem Grenzwert in [0,1].

Fehlanwendung

Alleinige Beschränktheit für Kompaktheit in unendlichdimensionalen normierten Räumen anzunehmen (z. B. ist die Einheitskugel in einem unendlichdimensionalen Banachraum beschränkt, aber nicht kompakt).

Konsequenz

Stetige Funktionen auf kompakten Mengen nehmen ihr Maximum und Minimum an und sind gleichmäßig stetig; Bilder kompakter Mengen unter stetigen Abbildungen sind kompakt, was zahlreiche Existenz- und Approximationsresultate liefert.

Umkehrung

Eine nicht kompakte Menge besitzt eine offene Überdeckung ohne endliche Teilüberdeckung; in metrischer Form kann sie eine Folge enthalten, die keine konvergente Teilfolge besitzt (Beispiele: die ganze reelle Achse oder eine unbeschränkte diskrete Menge).

Abgrenzung

Topologische Eigenschaft: Definitionen und Äquivalenzen hängen von der Umgebungskategorie ab (metrisch vs. allgemeine Topologie). Sequentielle Kompaktheit stimmt mit Überdeckungs-Kompaktheit in metrischen Räumen überein, jedoch nicht in beliebigen topologischen Räumen; Kompaktheit impliziert nicht endliche Mächtigkeit.

Semantische Spannung

Kompaktheit wird wegen des Heine–Borel-Satzes oft mit ‚abgeschlossen und beschränkt‘ verwechselt; diese Charakterisierung gilt jedoch nicht allgemein in metrischen oder topologischen Räumen, wo Totalbeschränktheit und Vollständigkeit getrennt zu betrachten sind.

Synthese

Eine kompakte Menge ist eine topologische Teilmenge, deren globale Überdeckungsstruktur auf endlich viele lokale Komponenten reduzierbar ist, was in metrischen Kontexten Konvergenz von Teilfolgen garantiert und wichtige Existenz-Eigenschaften stützt.