Eine topologische Eigenschaft: Ein Raum ist kompakt, wenn jede offene Überdeckung eine endliche Teilüberdeckung besitzt; in metrischen Räumen oft äquivalent zur sequentiellen Kompaktheit und in euklidischen Räumen zu abgeschlossen und beschränkt.

Prinzip

Eine finitätsartige Einschränkung, die ein Entweichen ins Unendliche verhindert und das Herausziehen konvergenter Teilfolgen und das Erreichen von Extrema bei Stetigkeit ermöglicht.

Demonstration

Jede abgeschlossene und beschränkte Teilmenge von R^n ist kompakt: jede offene Überdeckung hat eine endliche Teilüberdeckung (Heine–Borel-Eigenschaft) und stetige Funktionen darauf erreichen ihr Maximum und Minimum.

Fehlanwendung

Abgeschlossenheit und Beschränktheit als gleichbedeutend mit Kompaktheit in beliebigen unendlichdimensionalen Funktionsräumen zu behandeln, wo abgeschlossene beschränkte Mengen nicht kompakt sein müssen.

Konsequenz

Kompaktheit sichert Eigenschaften wie Grenzpunktkompaktheit, das Erreichen von Extrema durch Stetigkeit und Vor-Kompaktheit der Bilder unter stetigen Abbildungen.

Umkehrung

Nicht-Kompaktheit erlaubt Folgen ohne konvergente Teilfolge (sie 'entweichen' oder oszillieren), sodass stetige Funktionen keine Extremwerte garantiert erreichen und Infima/Suprema nicht realisiert sein müssen.

Abgrenzung

Ein rein topologischer Begriff; Äquivalenzen mit sequentieller Kompaktheit oder Abgeschlossen-und-beschränkt gelten nur unter zusätzlicher Struktur (metrisch, euklidisch). Schließt keine maßtheoretische Endlichkeit oder probabilistische Tightness ein, sofern nicht ausdrücklich verbunden.

Semantische Spannung

Oft im Gegensatz zur Vollständigkeit betrachtet: Vollständigkeit betrifft Cauchy-Verhalten in einer Metrik, während Kompaktheit globale Endlichkeit von Überdeckungen verlangt; im Allgemeinen sind sie unabhängige Eigenschaften.

Synthese

Kompaktheit ist eine topologische Endlichkeitsbedingung, die gewährleistet, dass Überdeckungen auf endliche Teilüberdeckungen reduziert werden können, wodurch man konvergente Teilfolgen extrahieren kann und stetige Bilder sich ‚gut‘ verhalten (z. B. Extrema erreichen).