Satz von Alexander (mengentheoretische Topologie) – Wikipedia

Der Satz von Alexander ist ein mathematischer Satz in der mengentheoretischen Topologie. Er liefert ein vereinfachtes Kriterium zur Überprüfung der Existenz von endlichen Teilüberdeckungen mit offenen Mengen in topologischen Räumen und vereinfacht somit den Nachweis von Kompaktheit.

Der Satz wurde von James Waddell Alexander II gezeigt und wird im Englischen auch als Alexander subbasis lemma (Alexanders Subbasis-Lemma) bezeichnet.^[1]

Gegeben sei ein topologischer Raum ${\displaystyle (X,{\mathcal {O}})}$ und sei ${\displaystyle {\mathcal {S}}}$ eine Subbasis der Topologie.

Dann sind äquivalent:

• zu jeder Überdeckung von ${\displaystyle X}$ mit Mengen von ${\displaystyle {\mathcal {O}}}$ existiert eine endliche Teilüberdeckung
• zu jeder Überdeckung von ${\displaystyle X}$ mit Mengen von ${\displaystyle {\mathcal {S}}}$ existiert eine endliche Teilüberdeckung

Insbesondere genügt es also, Kompaktheit mit den Mengen der Subbasis zu überprüfen.

• Steven Roman: Lattices and Ordered Sets. Springer, 2008, ISBN 978-0-387-78900-2, doi:10.1007/978-0-387-78901-9. 
• Boto von Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer-Verlag, Berlin Heidelberg New York 2001, ISBN 978-3-540-67790-1, S. 106–107, Satz 8.4, doi:10.1007/978-3-642-56860-2. 

1. ↑ Roman: Lattices and Ordered Sets. 2008, S. 279.