Auf einer total geordneten Menge kann man in natürlicher Weise eine Topologie einführen, die mit der Ordnung verträglich ist. Diese Topologie wird Ordnungstopologie genannt. Einige Begriffe aus Topologie und Metrik wie diskret, dicht und vollständig lassen sich so auf Ordnungen übertragen.

Definition

Gegeben sei eine total geordnete Menge ${\displaystyle (X,<).}$ Das heißt, es gelten die zwei Gesetze:

für alle ${\displaystyle a,b,c\in X.}$

Um Fallunterscheidungen an den Intervallrändern zu vermeiden, wird zunächst die Menge ${\displaystyle X}$ in die Menge

${\displaystyle {\overline {X}}:=\left\{-\infty \right\}\,\cup _{<}\,X\,\cup _{<}\,\left\{+\infty \right\}}$

eingebettet und danach werden mittels zweier Grenzen ${\displaystyle a,b\in {\overline {X}}}$ die Intervalle

${\displaystyle \{x\in X\,\mid \,a<x<b\}=:\left]a,b\right[}$

gebildet. Sie sind allesamt Teilmengen von ${\displaystyle X}$ und definieren als Basis die Ordnungstopologie in der folgenden Weise:

Die offenen Mengen der Ordnungstopologie sind die beliebigen, auch unendlichen Vereinigungsmengen von solchen Intervallen.

Andere, gleichwertige Formulierungen:

• Die Ordnungstopologie auf ${\displaystyle X}$ ist die gröbste Topologie, in der die (offenen) Intervalle im Sinn der Topologie offen sind.
• Die (offenen) Intervalle bilden eine Basis der Ordnungstopologie.

Wichtig ist die Eigenschaft »streng« der Ordnungsrelation ${\displaystyle <,}$ also ${\displaystyle \leq }$ ohne Gleichheit. Dies macht die Intervalle (in der Sprechweise der rationalen oder reellen Zahlen) zu offenen Intervallen – im Gegensatz zu den abgeschlossenen Intervallen, die mit

${\displaystyle \{x\in X\,\mid \,a\leq x\leq b\}\;=:\;\left[a,b\right]}$

notiert werden und die Komplementärmengen von offenen Mengen sind. Bspw. ist

${\displaystyle \left[a,b\right]\;\;=\;\;X\,\setminus \,{\bigl (}\left]-\infty ,b\right[\,\cup \,\left]a,\infty \right[{\bigr )}}$.

Wenn ${\displaystyle X}$ weder Minimum noch Maximum besitzt, fällt ${\displaystyle {\overline {X}}}$ mit dem topologischen Abschluss von ${\displaystyle X}$ in ${\displaystyle {\overline {X}}}$ zusammen.

Eine Ordnungstopologie erfüllt das Trennungsaxiom T₂, ist also hausdorffsch.

Anwendungen

Durch die Ordnungstopologie kann man einige Eigenschaften von Ordnungen topologisch beschreiben, ${\displaystyle (X,<)}$ ist hier immer eine streng totalgeordnete Menge:

• Eine nichtleere, abgeschlossene, beschränkte Teilmenge ${\displaystyle S}$ von ${\displaystyle X}$ enthält ihr Infimum und ihr Supremum, sofern sie in ${\displaystyle X}$ existieren.
  Letzteres ist genau dann stets der Fall, wenn die Ordnung vollständig ist.

• Die Ordnung ${\displaystyle <}$ heißt diskret, wenn es ihre Ordnungstopologie ist. Ohne topologische Begriffe lässt sich eine diskrete Ordnung so charakterisieren:

1. Jedes Element hat einen eindeutigen Vorgänger, es sei denn, es ist Minimum von ${\displaystyle X}$.
2. Jedes Element hat einen eindeutigen Nachfolger, es sei denn, es ist Maximum von ${\displaystyle X}$.

Anschaulich sind die Elemente durch die diskrete Ordnung wie an Perlenschnüren aufgereiht, beachte aber das 6. Beispiel unten.

• Eine Teilmenge ${\displaystyle S}$ von ${\displaystyle X}$ liegt dicht in ${\displaystyle X}$ im Sinne der Ordnungstheorie, wenn zwischen zwei Elementen ${\displaystyle a<b}$ aus ${\displaystyle X}$ stets ein Element ${\displaystyle s}$ aus ${\displaystyle S}$ mit ${\displaystyle a<s<b}$ liegt. Ist ${\displaystyle X}$ in sich dicht im Sinne der Ordnungstheorie, so liegt ${\displaystyle S}$ genau dann dicht in ${\displaystyle X}$ im Sinne der Ordnungstheorie, wenn ${\displaystyle S}$ dicht in ${\displaystyle X}$ bezüglich der Ordnungstopologie ist.
• Eine diskret geordnete Menge ist (außer im Trivialfall einer einelementigen Menge) niemals dicht (in sich) geordnet und umgekehrt.
• Jede in sich dichte, strenge Totalordnung ${\displaystyle (X,<)}$ lässt sich mit der Methode der Dedekindschen Schnitte in eine ordnungsvollständige Ordnung ${\displaystyle ({\hat {X}},<)}$ einbetten. Im Artikel Dedekindscher Schnitt wird dies am Beispiel der rationalen Zahlen ausgeführt. Diese Konstruktion funktioniert auch in Ordnungen, deren Ordnungstopologie sich nicht metrisieren lässt.

Andere Topologien, die mit der Ordnung zusammenhängen

Auf einer streng totalgeordneten Menge können auch die Halbgeraden

	${\displaystyle \left]a,+\infty \right[:=\{x\in X\,\mid \,a<x\}}$	mit ${\displaystyle a\in X}$	(Typ A)
oder
	${\displaystyle \left]-\infty ,b\right[:=\{x\in X\,\mid \,x<b\}}$	mit ${\displaystyle b\in X}$	(Typ B)

als Basis je einer Topologie, der Topologie der nach unten beschränkten (Typ A) bzw. der nach oben beschränkten Mengen (Typ B), zugrunde gelegt werden. Die beiden Topologien sind – für Mengen ${\displaystyle X,}$ die mehr als einen Punkt enthalten – voneinander verschieden und die Ordnungstopologie ist ihre kleinste gemeinsame Verfeinerung.

Der Konvergenzbegriff in diesen Topologien ist sehr einfach: Eine Folge konvergiert in einer Topologie des Typs A oder B nur dann, wenn sie am entsprechenden Extremum stationär wird.

Einzelnachweise und Anmerkungen

1. ↑ Falls die Ordnungsrelation als eine schwache ${\displaystyle (X,\leq )}$ gegeben sein sollte, erzeugt man daraus eine strenge (oder starke) Totalordnung ${\displaystyle (X,<)}$ durch die Setzung

   ${\displaystyle x<y\;\;:\Longleftrightarrow \;\;x\leq y\;\land \;x\neq y.}$

2. ↑ Wie üblich soll gelten:

   ${\displaystyle -\infty \notin X\not \ni +\infty }$

   und

   ${\displaystyle -\infty <x<+\infty }$ für alle ${\displaystyle x\in X}$.

3. ↑ Genau dieselben Intervalle kann man auch ohne Bezugnahme auf die unendlichen Elemente ${\displaystyle \pm \infty }$ definieren:

   	${\displaystyle \{x\in X\,\mid \,a<x<b\}}$	${\displaystyle =\left]a,b\right[}$	(beschränktes Intervall)
   	${\displaystyle \{x\in X\,\mid \,a<x\}}$	${\displaystyle =\left]a,\infty \right[}$	(Intervall ohne rechte Schranke in ${\displaystyle X}$)
   	${\displaystyle \{x\in X\,\mid \,x<b\}}$	${\displaystyle =\left]-\infty ,b\right[}$	(Intervall ohne linke Schranke in ${\displaystyle X}$)
   	${\displaystyle X}$	${\displaystyle =\left]-\infty ,\infty \right[}$	(der ganze Raum)

   Die unbeschränkten Intervalle werden übrigens nur dann in der Basis benötigt, wenn ${\displaystyle X}$ auf der entsprechenden Seite ein Extremum hat; der ganze Raum sogar nur dann, wenn ${\displaystyle X}$ aus einem einzelnen Element besteht.
   Gibt es aber bspw. kein Minimum, dann kann das links unbeschränkte Intervall

   ${\displaystyle \{x\in X\,\mid \,x<b\}=\;\textstyle \bigcup _{a<b}\left]a,b\right[}$

   als Vereinigung von Basismengen gebildet werden.

Literatur

• Boto von Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer-Verlag, Berlin Heidelberg New York 2001, ISBN 978-3-540-67790-1, S. 18, doi:10.1007/978-3-642-56860-2. 

Siehe auch

• Ordnungstyp