##  [Alexanders Subbasis-Satz](/de/node/62212) 

 Definition

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

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

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

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

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

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

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

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

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.