# Dichte Ordnung

Dichte Ordnung ist ein mathematischer Begriff aus dem Gebiet der Ordnungstheorie. Eine Ordnung heißt dicht, wenn zwischen je zwei Elementen ein drittes liegt.

## Definition

Eine lineare Ordnung < auf einer Menge $X$ heißt dicht, falls
    für alle $x,z\in X$ mit $x<z$ gibt es ein $y\in X$ mit $x<y<z$,
das heißt, für je zwei verschiedene Elemente von $X$ gibt es ein drittes, das zwischen den beiden liegt.

## Beispiele

* Die Menge $\mathbb {Q}$ der rationalen Zahlen mit der natürlichen Anordnung < ist dicht, denn sind $a,b\in \mathbb {Q}$ mit $a<b$, so ist $\textstyle {\frac {a+b}{2}}$ ebenfalls eine rationale Zahl und diese liegt zwischen $a$ und $b$.
* Die Menge $\mathbb {R}$ der reellen Zahlen mit der natürlichen Anordnung < ist dicht, wobei die Begründung wie für $\mathbb {Q}$ geführt werden kann. $\mathbb {Q} \subset \mathbb {R}$ liegt ordnungsdicht.
* Die Menge $\mathbb {Z}$ der ganzen Zahlen mit der natürlichen Anordnung < ist nicht dicht, da zwischen zwei aufeinander folgenden ganzen Zahlen keine dritte ganze Zahl liegt.
* Definitionsgemäß ist eine einelementige Menge mit der eindeutig bestimmten linearen Ordnung auf ihr dicht geordnet, da es keine zwei Elemente $x<y$ gibt, für die die definierende Bedingung erfüllt sein müsste. Manche Autoren schließen diesen trivialen Fall aus, indem sie zusätzlich fordern, dass die Menge mindestens zwei Elemente haben muss.

## Eigenschaften
### Universelle Eigenschaft

Nach einem Satz von Cantor enthalten nichtleere abzählbare, dichte Ordnungen ohne kleinstes und größtes Element alle anderen abzählbaren, linearen Ordnungen, das heißt, sie haben folgende universelle Eigenschaft:
Es sei $(X,<)$ eine nichtleere abzählbare, dichte, linear geordnete Menge ohne kleinstes und größtes Element und $(Y,<)$ eine beliebige abzählbare, linear geordnete Menge. Dann gibt es eine injektive Abbildung $f\colon Y\rightarrow X$ mit $\forall x,y\in Y:x<y\Leftrightarrow f(x)<f(y)$

### Isomorphieklassen abzählbarer, dichter, linear geordneter Mengen

Nach einem weiteren Satz von Cantor sind je zwei nichtleere, abzählbare, dichte, linear geordnete Mengen ohne kleinstes oder größtes Element ordnungsisomorph. Das heißt: Sind $X$ und $Y$ zwei solche Mengen und sind beide Ordnungen mit < bezeichnet, so gibt es eine bijektive Abbildung $f\colon X\rightarrow Y$ mit $\forall x,y\in X:x<y\Leftrightarrow f(x)<f(y)$.
Die folgenden Beispiele sind daher alle isomorph:
* $\mathbb {Q}$ mit der natürlichen Ordnung
* $\mathbb {Q} +{\sqrt {2}}\cdot \mathbb {Q} =\{a+{\sqrt {2}}\cdot b;\,a,b\in \mathbb {Q} \}$ mit der natürlichen Ordnung
* $(0,1)\cap \mathbb {Q}$ mit der natürlichen Ordnung
* $((-\infty ,0)\cap \mathbb {Q} )\cup ((1,\infty )\cap \mathbb {Q} )$ mit der natürlichen Ordnung
* $((-\infty ,0]\cap \mathbb {Q} )\cup ((1,\infty )\cap \mathbb {Q} )$ mit der natürlichen Ordnung
* $\mathbb {Q} ^{2}$ mit der lexikographischen Ordnung
Verzichtet man auf die Bedingungen über kleinste und größte Elemente, so erhält man:
Jede abzählbare, dichte, linear geordnete Menge ist isomorph zu einer der folgenden sechs Mengen, jeweils mit ihrer natürlichen Ordnung versehen:
    $\emptyset$, $\{0\}$, $(0,1)\cap \mathbb {Q}$, $[0,1)\cap \mathbb {Q}$, $(0,1]\cap \mathbb {Q}$, $[0,1]\cap \mathbb {Q}$

### Eine Charakterisierung des Kontinuums

Eine Ordnung heißt vollständig, wenn jede nach oben beschränkte Menge ein Supremum hat. Nach einem weiteren Satz von Cantor lässt sich das Kontinuum, das heißt die Menge $\mathbb {R}$ der reellen Zahlen, ordnungstheoretisch wie folgt charakterisieren: $\mathbb {R}$ mit der natürlichen Ordnung ist bis auf Ordnungsisomorphie die einzige vollständige, lineare Ordnung, die eine abzählbare, ordnungsdichte und zu $\mathbb {Q}$ ordnungsisomorphe Teilmenge enthält.

### Vollständigkeit

Je zwei nichtleere dichte lineare Ordnungen ohne kleinstes und größtes Element sind elementar äquivalent, wie sich aus dem Satz von Fraïssé ergibt (siehe hier für einen Beweis). Die Theorie der dichten linearen Ordnungen ohne Endpunkte ist also vollständig. Insbesondere lassen sich die Ordnungstheorien von $\mathbb {Q}$ und $\mathbb {R}$ in der Prädikatenlogik erster Stufe nicht unterscheiden, Eigenschaften wie die Vollständigkeit lassen sich in ihr nicht formulieren.

## Quantorenelimination

Die Theorie der dichten linearen Ordnungen ohne Endpunkte erlaubt Quantorenelimination. Jede Formel der Prädikatenlogik erster Stufe ist damit äquivalent zu einer booleschen Kombination atomarer Aussagen der Form $x<y$. Zu jedem Tupel von Elementen einer dichten linearen Ordnung ohne Endpunkte ergibt sich somit der zugehörige Typ allein aus den gültigen und nicht gültigen Vergleichen der Elemente des Tupels. Jede dichte lineare Ordnung ohne Endpunkte ist somit ein atomares Modell.
Allgemeine dichte lineare Ordnungen erlauben Quantorenelimination, wobei zusätzlich Aussagen der Form „es existiert ein kleinstes Element“, „es existiert ein größtes Element“, „$x$ ist das kleinste Element“ und „$x$ ist das größte Element“ in den booleschen Kombinationen zugelassen werden müssen.

## Verallgemeinerung: κ-Dichtheit

Sei $\kappa$ eine Kardinalzahl. Eine linear geordnete Menge $(X,<)$ heißt $\kappa$-dicht, wenn für je zwei Mengen $A,B\subset X$ mit $\left|A\right|,\left|B\right|<\kappa$, sodass alle Elemente in $A$ kleiner als alle in $B$ sind, ein Element $x\in X$ existiert, das größer als alle Elemente in A und kleiner als alle in B ist. $\aleph _{0}$-dichte Ordnungen sind gerade die dichten linearen Ordnungen ohne Endpunkte.

## Saturiertheit

Eine dichte lineare Ordnung ohne Endpunkte ist genau dann $\kappa$-saturiert, wenn sie $\kappa$-dicht ist. Eine (und damit bis auf Isomorphie genau eine) saturierte dichte lineare Ordnung ohne Endpunkte der Kardinalität $\kappa$ (d. h., sie ist $\kappa$-saturiert) existiert genau dann, wenn $\kappa$ regulär ist und $\kappa ^{<\kappa }=\kappa$. Die Betrachtung dieser dichten linearen Ordnung und allgemeiner der Saturiertheit geht auf Texte von Felix Hausdorff aus den Jahren 1908 und 1914 zurück.

## Kategorizität

Für jede überabzählbare Kardinalzahl $\kappa$ existieren genau $2^{\kappa }$ paarweise nicht-isomorphe dichte lineare Ordnungen ohne Endpunkte, während bis auf Isomorphie nur eine einzige abzählbare dichte lineare Ordnung ohne Endpunkte existiert ($\mathbb {Q}$, welches saturiert ist). Die Theorie der dichten linearen Ordnungen ohne Endpunkte ist damit $\aleph _{0}$-kategorisch, doch nicht $\aleph _{1}$-kategorisch.