Die Ordnungstopologie auf einer total geordneten Menge ist die von Basisoffenen erzeugte Topologie, deren Basis offene Intervalle (a,b) und Strahlen (−∞,b) sowie (a,∞) sind; sie verknüpft die Ordnungsstruktur mit topologischen Begriffen wie Offenheit und Konvergenz.

Prinzip

Die Ordnungstopologie wird aus der Ordnung aufgebaut, indem ordnungs‑konvexe Intervalle und Strahlen als Basisoffene festgelegt werden; die Ordnungsrelation bestimmt so Nachbarschaften und Stetigkeit auf minimale Weise, die mit der Ordnung verträglich ist.

Demonstration

Auf den reellen Zahlen mit der üblichen Ordnung stimmt die Ordnungstopologie mit der üblichen euklidischen Topologie überein; auf dem lexikographisch geordneten Produkt zweier Kopien der reellen Zahlen ergibt die Ordnungstopologie andere Trennungs‑ und Kompaktheitseigenschaften.

Fehlanwendung

Die Konstruktion der Ordnungstopologie auf eine partiell geordnete Menge ohne totale Ordnung anzuwenden ist ein Fehlgebrauch; ähnlich irreführend ist es, die Ordnungstopologie mit beliebigen topologien zu verwechseln, die nur einige monotone Abbildungen respektieren, und dabei die spezifische Intervall‑ und Strahlenbasis außer Acht zu lassen.

Konsequenz

In der Ordnungstopologie werden viele ordnungstheoretische Eigenschaften topologisch: Ordnungsintervalle sind zusammenhängend, monotone Abbildungen sind unter geeigneten Voraussetzungen stetig, und Begriffe wie Endpunkte und ordnungskonvergenz erhalten topologische Bedeutung.

Umkehrung

Ein Gegenstück ist die Sorgenfrey‑Topologie auf R (linke Randhalboffen‑Topologie), erzeugt durch Intervalle [a,b), die strikt feiner ist als die Standard‑Ordnungstopologie und anderes Verhalten bezüglich Separabilität und Produkttopologien zeigt.

Abgrenzung

Der Begriff setzt eine totale Ordnung voraus; für partielle Ordnungen kann man die Intervalltopologie oder andere ordnungsbezogene Topologien betrachten, die jedoch nicht notwendigerweise mit der hier definierten Ordnungstopologie zusammenfallen.

Semantische Spannung

Ordnungstopologie versus Intervalltopologie: In vielen Kontexten werden diese Bezeichnungen synonym verwendet, was Spannungen mit Konstruktionen auf Produkten oder partiellen Ordnungen erzeugt, bei denen Intervallbasen oder andere ordnungsinduzierte Topologien abweichen.

Synthese

Die Ordnungstopologie ist die natürliche Topologie, die von einer totalen Ordnung induziert wird und durch offene Intervalle und Strahlen erzeugt ist, sodass die Ordnung Nachbarschaften, Stetigkeit und Konvergenz in der schwächsten mit der Ordnung verträglichen Topologie bestimmt.