Eine Topologie, in der beliebige Durchschnitte offener Mengen offen sind (äquivalent dazu, dass jeder Punkt eine kleinste Umgebung besitzt); solche Topologien entsprechen genau Präordnungen auf der Grundmenge über die Spezialisierungsordnung und werden oft Alexandrov-(oder Alexandroff-)Topologien genannt.

Prinzip

Fordere, dass die Familie der offenen Mengen unter beliebigen Durchschnitten abgeschlossen ist, sodass jeder Punkt eine minimale offene Umgebung hat; diese kombinatorische Bedingung lässt viele klassische topologische Unterscheidungen verschwinden und erlaubt eine ordnungstheoretische Beschreibung.

Demonstration

Endliche Alexandrov-T0-Räume sind äquivalent zu endlichen partiell geordneten Mengen: zu einem endlichen Poset (P,≤) gibt man P die Topologie, deren offenen Mengen nach oben abgeschlossene Mengen sind; umgekehrt gewinnt man aus der Spezialisierungsordnung eines Alexandrov-Raums die definierende Relation zurück.

Fehlanwendung

Zu glauben, Trennaxiome wie T1 oder Hausdorff würden allgemein für Alexandrov-Räume gelten, ist falsch; viele Alexandrov-Topologien sind weit von T1 entfernt und trennen Punkte nicht durch disjunkte Umgebungen, daher darf man Alexandrov nicht mit diskret verwechseln.

Konsequenz

Alexandrov-Topologien erlauben einfache kombinatorische und algebraische Beschreibungen (über Präordnungen), was diskrete Methoden in der Topologie und einfache Berechnungen von Hülle und Innerem ermöglicht; sie sind nützlich in endlicher Topologie, Informatik und kombinatorischen Raum-Modellen.

Umkehrung

In allgemeinen Topologien sind beliebige Durchschnitte offener Mengen nicht notwendigerweise offen; die Scott-Topologie oder metrische Topologien stehen im Kontrast, indem sie gerichtete Suprema respektieren bzw. durch Metriken bestimmt werden statt durch beliebige Durchschnitte offener Mengen.

Abgrenzung

Gilt für jede Menge, ist aber wenig restriktiv: sie erfasst Präordnungen, kann übliche Trennaxiome verletzen und ist besonders aussagekräftig, wenn die Spezialisierungsordnung von Interesse ist; nicht alle in der Analysis nützlichen Topologien sind Alexandrov.

Semantische Spannung

Ähnlich, aber verschieden zur Scott-Topologie aus der Bereichstheorie: beide verknüpfen Ordnung und Topologie, unterscheiden sich jedoch darin, ob man beliebige Durchschnitte von Öffnungen zulässt oder gerichtete Supremums-Erhaltung fordert, was zu unterschiedlichen Stetigkeitsbegriffen für monotone Abbildungen führt.

Synthese

Eine Alexandrov-Topologie ist eine ordnungsfreundliche Topologie, die unter beliebigen Durchschnitten offen bleibt und äquivalent dazu ist, die Menge mit einer Präordnung zu versehen und deren nach oben abgeschlossenen Mengen als offen zu nehmen; sie überträgt Ordnungsrelationen in eine einfache topologische Struktur, geeignet für endliche und kombinatorische Kontexte.