Ordnungstopologie

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Dichte Teilordnung)
Zur Navigation springen Zur Suche springen

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.

Gegeben sei eine total geordnete Menge [1] Das heißt, es gelten die zwei Gesetze:

(Transitivität)
  • entweder oder oder
(Trichotomie)

für alle

Um Fallunterscheidungen an den Intervallrändern zu vermeiden, wird zunächst die Menge in die Menge

[2]

eingebettet und danach werden mittels zweier Grenzen die Intervalle

gebildet.[3] Sie sind allesamt Teilmengen von 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 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 also 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

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

.

Wenn weder Minimum noch Maximum besitzt, fällt mit dem topologischen Abschluss von in zusammen.

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

Durch die Ordnungstopologie kann man einige Eigenschaften von Ordnungen topologisch beschreiben, ist hier immer eine streng totalgeordnete Menge:

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

  • Die Ordnung heißt diskret, wenn die zugehörige Ordnungstopologie diskret 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 .
  2. Jedes Element hat einen eindeutigen Nachfolger, es sei denn, es ist Maximum von .
Anschaulich sind die Elemente durch die diskrete Ordnung wie an Perlenschnüren aufgereiht, beachte aber das 6. Beispiel unten.

  • Eine Teilmenge von liegt dicht in im Sinne der Ordnungstheorie, wenn zwischen zwei Elementen aus stets ein Element aus mit liegt. Ist in sich dicht im Sinne der Ordnungstheorie, so liegt genau dann dicht in im Sinne der Ordnungstheorie, wenn dicht in 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 lässt sich mit der Methode der Dedekindschen Schnitte in eine ordnungsvollständige Ordnung 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.

Die im Folgenden genannten Eigenschaften beziehen sich immer auf die in den Mengen übliche, natürliche Ordnung:

  1. Die natürlichen Zahlen sind diskret geordnet. Jede natürliche Zahl hat einen Nachfolger.
  2. Die ganzen Zahlen sind diskret geordnet. Jede ganze Zahl hat einen Vorgänger und einen Nachfolger.
    Die Ordnungstopologie ist die diskrete.
  3. Bei den reellen Zahlen mit ihrer gewöhnlichen Anordnung stimmt die Ordnungstopologie mit der gewohnten Topologie (der reellen Zahlen als metrischer Raum) überein.
    Die reellen Zahlen sind ordnungsvollständig.
  4. Die rationalen Zahlen sind nicht ordnungsvollständig, aber dicht (in sich) geordnet.
  5. Die rationalen Zahlen bilden eine dichte Teilmenge der Menge der reellen Zahlen.
  6. Die Menge der Stammbrüche ist diskret geordnet. Anschaulich besteht die Ordnung aus zwei Perlenschnüren: Die Ordnung der negativen Stammbrüche entspricht der Ordnung der natürlichen Zahlen, die Ordnung der positiven Stammbrüche deren Umkehrung; ist also ordnungsisomorph zum lexikographisch geordneten   Von einer der Perlenschnüre lässt sich die andere jedoch nicht durch fortgesetzte Vorgänger- oder Nachfolgerbildung erreichen.
  7. Fügt man zu aus dem vorigen Beispiel die Zahl 0 hinzu, dann ist die Ordnung nicht mehr diskret, denn 0 hat weder einen Vorgänger noch einen Nachfolger. Sie ist aber auch nicht dicht.
    Die Ordinalzahl .
  8. Die Ordinalzahl ist nicht diskret geordnet: Das Limeselement hat keinen Vorgänger, jede seiner Umgebungen enthält unendlich viele natürliche Zahlen. (Als Ordinalzahl wird die Menge der natürlichen Zahlen üblicherweise mit bezeichnet.)
  9. Die Ordnungstypen von und sind gleich. Letztere Topologie ist außerdem die von induzierte Teilraumtopologie, daher entspricht die analytische Konvergenz in der topologischen Konvergenz von in . Jede abzählbare Ordinalzahl kann ordnungserhaltend in eingebettet werden. Ein weiteres Beispiel dieser Art ist , das denselben Ordnungstyp wie in hat.

Andere Topologien, die mit der Ordnung zusammenhängen

[Bearbeiten | Quelltext bearbeiten]

Auf einer streng totalgeordneten Menge können auch die Halbgeraden

mit (Typ A)
oder
mit (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 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

[Bearbeiten | Quelltext bearbeiten]
  1. Falls die Ordnungsrelation als eine schwache gegeben sein sollte, erzeugt man daraus eine strenge (oder starke) Totalordnung durch die Setzung
  2. Wie üblich soll gelten:
    und
    für alle .
  3. Genau dieselben Intervalle kann man auch ohne Bezugnahme auf die unendlichen Elemente definieren:
                        (beschränktes Intervall)
    (Intervall ohne rechte Schranke in )
    (Intervall ohne linke Schranke in )
    (der ganze Raum)

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

    als Vereinigung von Basismengen gebildet werden.