Ein topologischer Raum ist kompakt, wenn jede Überdeckung des Raums durch Elemente einer Subbasis eine endliche Teilüberdeckung besitzt: Äquivalent dazu, wenn jede offene Überdeckung durch subbasische offene Mengen eine endliche Teilüberdeckung hat, dann ist der Raum kompakt.

Prinzip

Kompaktheit lässt sich prüfen, indem man die Eigenschaft der endlichen Teilüberdeckung nur für Überdeckungen aus einer erzeugenden Subbasis prüft statt für alle offenen Überdeckungen; subbasische Überdeckungen kodieren genügend kombinatorische Informationen der Topologie, um Kompaktheit zu erkennen.

Demonstration

Bei der Beweisführung des Tychonoff-Satzes verwendet man die Produktsubbasis aus Zylinder-Mengen: Die Tatsache, dass jede Überdeckung des Produkts durch diese subbasischen Mengen eine endliche Teilüberdeckung besitzt, liefert die Kompaktheit des Produkts, wenn jeder Faktor kompakt ist.

Fehlanwendung

Den Satz auf eine Familie anwenden, die keine Subbasis der Topologie ist, oder nur endliche Schnitte subbasischer Mengen prüfen, ohne sicherzustellen, dass sie die Topologie erzeugen; solche Fehler führen zu falschen Schlüssen über Kompaktheit.

Konsequenz

Reduziert viele Kompaktheitsbeweise auf kombinatorische Prüfungen einer handhabbaren erzeugenden Familie; ermöglicht elegante Beweise von Produktkompaktheit und vereinfacht Verifikationen in konstruktionen, die durch Subbasen definiert sind.

Umkehrung

Ist ein Raum kompakt, so hat natürlich jede Überdeckung durch Elemente jeder Subbasis eine endliche Teilüberdeckung; die Stärke des Satzes liegt darin, dass die Umkehrung (Prüfung subbasischer Überdeckungen) ausreicht, um Kompaktheit zu zeigen.

Abgrenzung

Gilt, wenn eine explizite Subbasis vorliegt, die die Topologie erzeugt; es ist ein Werkzeug zur Prüfung von Kompaktheit und ersetzt nicht andere strukturelle Voraussetzungen (z. B. Lokalcompactness, Hausdorff), wenn diese relevant sind.

Semantische Spannung

Spannung besteht gegenüber Basis-basierten Argumenten oder Netzen/Filtern: Die Subbasis-Perspektive opfert lokale Verfeinerung zugunsten einer global erzeugenden Familie, was je nach Kontext effizienter oder weniger präzise sein kann.

Synthese

Alexanders Subbasis-Satz komprimiert die Kompaktheitsbedingung auf Prüfungen von Überdeckungen durch eine erzeugende Subbasis: Wenn jede solche subbasische Überdeckung eine endliche Teilüberdeckung besitzt, ist der Raum kompakt — ein Prinzip, das in zentralen Kompaktheitsbeweisen genutzt wird.