Ordnungsrelation


Ordnungsrelation

In der Mathematik sind Ordnungsrelationen Verallgemeinerungen der „kleiner-gleich“-Beziehung. Sie erlauben es, Elemente einer Menge miteinander zu vergleichen.

Eine Ordnungsrelation ist formal eine zweistellige Relation

R \subseteq M \times M

auf einer Menge M mit bestimmten unten aufgeführten Eigenschaften, worunter immer die Transitivität ist.

Ist eine Menge M mit einer Ordnungsrelation R gegeben, dann nennt man das Paar (M,R) eine geordnete Menge. Meist bevorzugt man an Stelle der Schreibweise (a,b)\in R die sogenannte Infix-Notation a\,R\,b. Außerdem wird für Ordnungsrelationen in den seltensten Fällen ein Symbol wie R verwendet. Stattdessen verwendet man häufig das Symbol „\le“ oder ähnliche Symbole. Die Schreibweise a < b verwendet man als Abkürzung für „a\le b und a\ne b“. Dies erweist sich als zweckmäßig, da für Relationen größtenteils Rechenregeln gelten, die denen in \R (mit gewohntem „\le“) entsprechen.

Eine (totale) Ordnung auf einer Menge liefert eine Anordnung der Elemente in einer bestimmten Reihenfolge, zum Beispiel die Anordnung der Buchstaben A bis Z im lateinischen Alphabet. Die Reihenfolge der Buchstaben ist willkürlich festgelegt, und jede andere Reihenfolge wäre ebenfalls eine Ordnung.

Es folgt eine Auflistung verschiedener Arten von Ordnungsrelationen mit Beispielen. Für Definitionen der Eigenschaften siehe transitiv, reflexiv und irreflexiv, asymmetrisch, antisymmetrisch oder den Artikel Relation (Mathematik).


Inhaltsverzeichnis

Quasiordnung

Hauptartikel: Quasiordnung

Eine Quasiordnung ist transitiv und reflexiv.

Beispiel:

Für komplexe Zahlen a, b\in\Bbb C ist die über den Absolutbetrag durch {}_{{}_{\prime\prime}}a\,\operatorname{R}\,b,\ \mathrm{falls}\ |a| \le |b|^{{}^{\backprime\backprime}} festgelegte Relation eine Quasiordnung: Es gilt die

Diese Quasiordnung ist nicht antisymmetrisch – also keine Halbordnung, denn betragsgleiche Zahlen müssen nicht identisch sein.

Jedoch handelt es sich um eine totale Quasiordnung, da je 2 Elemente vergleichbar sind.

Halbordnung

Eine Halbordnung – auch Partialordnung, teilweise Ordnung, Teilordnung oder partielle Ordnung genannt – ist transitiv, reflexiv und antisymmetrisch. Halbordnungen können in Hasse-Diagrammen visualisiert werden. Eine Teilmenge einer halbgeordneten Menge heißt Oberhalbmenge, wenn sie zu jedem ihrer Elemente auch alle nachfolgenden Elemente (also alle, die rechts vom Relationssymbol stehen könnten) enthält.

Beispiele:

Jede Teilmengenbeziehung A\subseteq B auf einem System \mathfrak M von Mengen ist eine Halbordnung, denn sie ist

  • transitiv, da die Teilmenge einer Teilmenge von A auch Teilmenge von A ist:
{C \subseteq B \subseteq A}\ \Rightarrow\ {C \subseteq A} für alle A, B, C \in \mathfrak M;
  • reflexiv, da jede Menge eine Teilmenge ihrer selbst ist:
{A \subseteq A} für alle A \in \mathfrak M;
  • und antisymmetrisch, da nur A selbst sowohl Teilmenge als auch Obermenge von A ist:
{(A \subseteq B)} \wedge {(B \subseteq A)}\ \Rightarrow\ {A=B} für alle A,B \in \mathfrak M.

Weitere Beispiele sind die Relation komponentenweise-kleiner-oder-gleich in einem Raum von n-Tupeln und die Teilerbeziehung unter den natürlichen oder ganzen Zahlen, die wie folgt definiert sind:

  1. komponentenweise-kleiner-oder-gleich, \le^n: Für zwei Tupel (und eine fest gewählte Zahl n) aus einer Menge V von n-Tupeln gilt:
    {\left(a_1, a_2, \ldots, a_n\right)} \le^n {\left(b_1, b_2, \ldots, b_n\right)}\ :\Longleftrightarrow\ a_i \le b_i für jedes i=1, 2, \ldots, n;
  2. Teilerbeziehung, \mid: Für zwei natürliche Zahlen gilt:
    {a \mid b}\ ({a\ \mathrm{teilt}\ b}) :\Longleftrightarrow\ \exists z \in \Z : az=b.

Weitere Anwendung der Halbordnung

Um den Grad der Vorsortiertheit einer Menge zu messen, kann man die Anzahl der möglichen Fortsetzungen einer Halbordnung zu einer linearen Ordnung angeben. Ist beispielsweise die geordnete Menge (X, \leq) mit X = {a,b,c} und a \leq b gegeben, so gibt es drei mögliche Fortsetzungen: a \leq b\leq c, a \leq c \leq b und c \leq a \leq b. Der Grad der Vorsortiertheit ist also in diesem Fall e(\leq) = 3. Nach dem efficient comparison theorem werden für eine vollständige Sortierung der vorsortierten Menge dann nur noch \Omega(e(\leq)) Vergleiche benötigt. In der Informatik nutzt zum Beispiel das Sortierverfahren Mergesort diese Eigenschaft.

Minimale, maximale und andere Elemente

Sei T eine Teilmenge einer halbgeordneten Menge P.

Wenn m in T die Eigenschaft hat, dass es kein x in T mit x<m gibt, dann heißt m minimales Element von T. Falls es ein Element m in T gibt, das ≤ allen anderen Elementen von T ist, dann heißt m das kleinste Element von T. Ein kleinstes Element von T (wenn es das gibt; z. B. hat die Menge der ganzen Zahlen kein kleinstes Element) ist immer eindeutig bestimmt (wegen der Antisymmetrie), und natürlich auch minimal. In einer Totalordnung bedeutet „kleinstes Element“ und „minimales Element“ dasselbe, aber in allgemeinen Halbordnungen kann eine Menge mehrere minimale Elemente haben, von denen dann keines das kleinste ist.

Es kann sogar vorkommen, dass eine (unendliche) Menge T zwar ein einziges minimales Element hat, dieses aber nicht das kleinste Element der Menge ist (dann hat T kein kleinstes Element). Beispiel:

Für M := \{ [0, a] \mid 0 < a < 1 \} \cup \{ \{2\} \}, versehen mit \subseteq als Halbordnung, ist {2} zwar das einzige minimale Element, aber nicht das kleinste, da \{2\} \subseteq A nicht für alle A aus M gilt.

Wenn T eine Teilmenge von P ist, und p in P die Eigenschaft hat, dass für alle t in T die Beziehung pt gilt, dann heißt p eine untere Schranke von T. (p kann, muss aber nicht Element von T sein.) Wenn es eine größte untere Schranke der Menge T gibt, dann nennt man diese auch die untere Grenze oder das Infimum von T. Jede untere Schranke ist also kleiner als oder gleich dem Infimum.

Analog sind die Begriffe maximales Element, größtes Element, obere Schranke und obere Grenze bzw. Supremum definiert.

Eine Menge, die sowohl eine obere wie eine untere Schranke hat, heißt beschränkt. (Analog sind „nach oben beschränkt“ und „nach unten beschränkt“ definiert.)

Man nennt eine Funktion f, die eine beliebige Menge X in eine halb oder total geordnete Menge (siehe unten) P abbildet, beschränkt, wenn die Menge der Funktionswerte beschränkt ist, also wenn es ein p und ein q in P gibt, so dass für alle x in X gilt: p\le f(x) \le q.

Striktordnung

Eine strenge Ordnung oder Striktordnung ist transitiv und asymmetrisch. Der Begriff Asymmetrie fasst die Begriffe Irreflexivität und Antisymmetrie zusammen. Irreflexivität unterscheidet die Striktordnung von der Halbordnung und bedeutet, dass kein Element zu sich selbst in Beziehung steht. Eine Striktordnung ist also transitiv, irreflexiv und antisymmetrisch

Beispiele:

  • Die Relation „(echt) kleiner“ auf \R
  • die Relation „Echte Teilmenge“ in einer Potenzmenge
  • die Relation „komponentenweise kleiner, aber nicht gleich“ auf dem Vektorraum \R^n.

Strenge schwache Ordnung

Eine strenge schwache Ordnung R ist eine Striktordnung, bei der zusätzlich negative Transitivität gilt:

\neg aRb \and \neg bRc \Rightarrow \neg aRc

Eine strenge schwache Ordnung ist einer totalen Quasiordnung komplementär und umgekehrt.

Totalordnung

Eine Totalordnung, Anordnung oder lineare Ordnung ist eine Halbordnung, die zudem eine totale Relation ist, das heißt für je zwei beliebige Elemente a,b der Grundmenge mit a ≠ b ist stets mindestens eine der beiden Relationen a\,R\,b oder b\,R\,a erfüllt. Der Begriff linear orientiert sich an der Vorstellung, die ganze Menge in einer Sequenz \ldots \,R\, a_1 \,R\, a_2 \,R\, a_3 \,R\,\ldots aufzuzählen. Daher leitet sich auch die Bezeichnung Kette für eine totalgeordnete Menge ab.

Ein Beispiel ist die Relation \leq („kleinergleich“) auf den ganzen Zahlen \Z. Ein Gegenbeispiel ist die Teilmengenbeziehung auf der Potenzmenge von \Z: sie ist nicht total, weil für a\neq b weder \{a\}\subseteq\{b\} noch \{b\}\subseteq\{a\} gilt.

Strenge Totalordnung

Eine strenge Totalordnung (M, < ) ist transitiv und trichotomisch:

Trichotomisch bedeutet: Zwischen zwei Elementen a, b besteht immer genau eine der Beziehungen

a < b, a = b oder b < a.

„Totalordnung“ bedeutet hier, dass sich zwei beliebige Elemente stets vergleichen lassen. „Total“ im oben erklärten Sinn ist also die zu „<“ gehörige Halbordnung „<“ oder „=“.

Eine strenge Totalordnung ist einer Totalordnung komplementär und umgekehrt.

Mit Hilfe des Auswahlaxioms kann man beweisen, dass jede Halbordnung in eine Totalordnung eingebettet werden kann. Für endliche Mengen muss man das Auswahlaxiom nicht voraussetzen, und in diesem Fall gibt es zur Konstruktion einer solchen Totalordnung auch explizite Algorithmen, siehe Topologische Sortierung.

Induktive Ordnung

Eine halbgeordnete Menge (M, \leq) heißt induktiv geordnet, wenn jede linear geordnete Teilmenge von A eine obere Schranke besitzt. Sie heißt streng induktiv geordnet, wenn jede linear geordnete Teilmenge eine kleinste obere Schranke besitzt.

Nach dem Lemma von Zorn besitzt jede induktiv geordnete Menge ein maximales Element.

Fundierte Ordnung

Eine fundierte Ordnung ist eine Halbordnung, in der es keine unendlichen, echt absteigenden Ketten gibt (oder, äquivalent formuliert: bei der jede nichtleere Teilmenge ein minimales Element besitzt). Beispiel: Die Teilbarkeitsbeziehung | zwischen natürlichen Zahlen.

Wohlquasiordnung

Eine Wohlquasiordnung ist eine Quasiordnung mit der Eigenschaft, dass es zu jeder Folge (p_1, p_2, p_3,\ldots ) zwei natürliche Zahlen k < n gibt, so dass p_k \leq p_n gilt.

Wohlordnung

Eine Wohlordnung ist eine totale Ordnung, bei der jede nichtleere Teilmenge ein kleinstes Element besitzt.

  • Beispiel: „Kleinergleich“ auf den natürlichen Zahlen \Bbb N.
  • Beispiel: Die ganzen Zahlen \Z mit der Ordnung 0 < 1 < -1 < 2 < -2 < 3 < -3 <. ...
  • Beispiel: Die ganzen Zahlen \Z mit der Ordnung 0 < 1 < 2 < 3 <. .. < -1 < -2 < -3 <. ...

Das so genannte Wohlordnungsprinzip garantiert die Existenz einer Wohlordnung für jede Menge, zum Beispiel auch für die reellen Zahlen \R. Das Wohlordnungsprinzip ist zum Auswahlaxiom äquivalent.

Baum

Ein Baum ist eine Halbordnung (T, < ), bei der für jedes x\in T die Menge {y | y < x} der Vorgänger von x wohlgeordnet ist.

Verbandsordnung

Eine Verbandsordnung ist eine Halbordnung, in der es zu je zwei Elementen v und w immer ein Supremum sup(v,w) und ein Infimum inf(v,w) gibt.

Durch jede Verbandsordnung ist die algebraische Struktur eines Verbandes gegeben, in dem man für je zwei Elemente v und w definiert:

  • v \cup w := \sup(v,w),
  • v \cap w := \inf(v,w).

Umgekehrt lässt sich in jedem Verband durch

  • v \leq w \iff v \cup w = w

für je zwei Elemente v und w eine Verbandsordnung definieren, so dass

  • \sup(v,w) = v \cup w,
  • \inf(v,w) = v \cap w.

Eine verbandsgeordnete Menge wird daher oft Verband genannt, sie selbst ist jedoch im Gegensatz zum Verband keine algebraische Struktur.

Vollständige Halbordnung

Eine vollständige Halbordnung (engl. complete partial order, CPO) ist eine Halbordnung mit der Eigenschaft, dass jede Teilmenge, die eine aufsteigende Kette (x_0 \le x_1 \le x_2 \le \ldots ) bildet, ein Supremum besitzt. Das Supremum muss dabei nicht in der Teilmenge selbst liegen. Eine vollständig geordnete Menge besitzt immer ein Minimum.

Bei einer gerichteten vollständigen Halbordnung (engl. directed complete partial order, DCPO) muss im Gegensatz zur vollständigen Halbordnung die leere Menge kein Supremum besitzen. Es muss damit kein kleinstes Element geben.

Diese beiden Vollständigkeitsbegriffe spielen eine Rolle bei Beweisen mit Hilfe des Lemmas von Zorn. → Davon zu unterscheiden ist der an die Topologie angelehnte Begriff Ordnungsvollständigkeit.

Homomorphismen

Seien X und X' geordnete Mengen. Eine Abbildung \varphi \colon X \rightarrow X' heißt isoton, ordnungserhaltend oder Ordnungshomomorphismus, wenn x \leq y \in X \Rightarrow \varphi(x) \leq \varphi(y) \in X' gilt.

Verwendung der Begriffe

Verschiedene Autoren benutzen den Begriff „Ordnung“ unterschiedlich. Er kann eine Halbordnung oder eine totale Ordnung bezeichnen. Vermutlich induziert von den Polaritäten „halb“ und „total“, findet man somit häufig die Abgrenzung

Ordnung (im Sinn von Halbordnung)  \quad \longleftrightarrow \quad totale Ordnung

oder auch

Halbordnung  \quad \longleftrightarrow \quad Ordnung (im Sinn von totale Ordnung).

Literatur

  • Rudolf Berghammer: Ordnungen, Verbände und Relationen mit Anwendungen. Vieweg+Teubner 2008. ISBN 978-3834805959
  • Marcel Erné: Einführung in die Ordnungstheorie. Bibliographisches Institut, Mannheim 1982. ISBN 3-411-01638-8
  • Egbert Harzheim: Ordered Sets. Springer, New York 2005, ISBN 0-387-24219-8.
  • Ingmar Lehmann und Wolfgang Schulz: Mengen - Relationen - Funktionen: Eine anschauliche Einführung. Vieweg+Teubner 2007. ISBN 978-3835101623

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Ordnungsrelation — Ordnungsrelation,   kurz Ordnung, eine zweistellige Relation auf einer Menge M; ist die Relation reflexiv, antisymmetrisch und transitiv, so spricht man von einer Ordnungsrelation erster Art, ist die Relation dagegen antireflexiv, antisymmetrisch …   Universal-Lexikon

  • Lineare Ordnungsrelation — In der Mathematik sind Ordnungsrelationen Verallgemeinerungen der „kleiner gleich“ Beziehung. Sie erlauben es, Elemente einer Menge miteinander zu vergleichen. Eine Ordnungsrelation ist formal eine zweistellige Relation auf einer Menge M mit… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kopunktal — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Mathematisches Attribut — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Multivariat — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia