# Dedekindscher Schnitt/Vollständigkeit/Einführung/Textabschnitt
## Definition

Unter einem Dedekindschen Schnitt versteht man ein Paar $(A,B)$ bestehend aus Teilmengen der rationalen Zahlen, die folgende Eigenschaften erfüllen.
* $A$ und $B$ sind nicht leer.
* d.h. es liegt eine Zerlegung der Menge aller rationalen Zahlen in zwei Teilmengen vor.
    $A\uplus B=\mathbb {Q} \,,$
* Für jedes $x\in A$ und jedes $y\in B$ ist $x<y$.
* Zu $x\in A$ gibt es ein $x'\in A$ mit $x'>x$.

## Bemerkung

Die Mengen $A$ bzw. $B$ heißen auch die Untermenge bzw. Obermenge des Dedekindschen Schnittes. Sie legen sich wegen der Bedingung (2) gegenseitig fest. Jede reelle Zahl $z\in \mathbb {R}$ (und auch jedes Element in einem angeordneten Körper) definiert einen Dedekindschen Schnitt, indem man
    $A:={\left\{q\in \mathbb {Q} \mid q<z\right\}}\,$
und
    $B:={\left\{q\in \mathbb {Q} \mid q\geq z\right\}}\,$
setzt. Die Eigenschaften sind erfüllt, wie eine direkte Überprüfung zeigt. Man spricht von einem Punktschnitt. Ob ein Dedekindscher Schnitt ein Punktschnitt ist, hängt wesentlich vom Körper ab. Der durch ${\sqrt {5}}$ definierte Dedekindsche Schnitt ist in $\mathbb {R}$ ein Punktschnitt, in $\mathbb {Q}$ aber nicht.
Die Vollständigkeit der reellen Zahlen hat folgende Auswirkungen auf die Dedekindschen Schnitte.

## Satz

In den reellen Zahlen ist jeder Dedekindsche Schnitt $(A,B)$
ein Punktschnitt, d.h. es gibt ein $x\in \mathbb {R}$ mit

### Beweis

Es seien $a\in A$ und $b\in B$. Wir definieren rekursiv eine Intervallschachtelung $[a_{n},b_{n}]$ mit $a_{n}\in A$ und $b_{n}\in B$. Wir setzen $a_{0}:=a$ und $b_{0}:=b$. Wenn $a_{n}$ und $b_{n}$ schon definiert sind, so setzen wir
    $a_{n+1}={\begin{cases}{\frac {a_{n}+b_{n}}{2}},{\text{ falls }}{\frac {a_{n}+b_{n}}{2}}\in A\,,\\a_{n}{\text{ sonst}}\,,\end{cases}}\,$
und
    $b_{n+1}={\begin{cases}b_{n},{\text{ falls }}{\frac {a_{n}+b_{n}}{2}}\in A\,,\\{\frac {a_{n}+b_{n}}{2}}{\text{ sonst}}\,.\end{cases}}\,$
Damit ist stets $a_{n}\in A$, $b_{n}\in B$ und insbesondere $a_{n}<b_{n}$, die Folgen sind wachsend bzw. fallend und die Intervalllänge wird in jedem Schritt halbiert. Somit liegt eine Intervallschachtelung vor. Nach Fakt gibt es genau eine reelle Zahl $x$, die in allen Intervallen $[a_{n},b_{n}]$ liegt. Wir behaupten, dass dieses $x$ der trennende Punkt ist, d.h. wir müssen
    $A={\left\{q\in \mathbb {Q} \mid q<x\right\}}\,$
zeigen. Es sei zunächst $q\in A$. Dann ist $q<b_{n}$ für jedes $n$ und somit ist $q\leq \lim _{n\rightarrow \infty }b_{n}=x$. Da $A$ mit $q$ auch noch größere Elemente enthält, sagen wir $q<q'\in A$, gilt sogar $q<q'\leq x$. Wenn dagegen $q\notin A$, also $q\in B$ ist, so zeigt die gleiche Argumentation mit vertauschten Rollen die Beziehung $q\geq x$.
$\Box$

## Bemerkung

Mit den Dedekindschen Schnitten kann man, wie mit Cauchy-Folgen, die reellen Zahlen konstruieren; Bei diesem Zugang definiert man direkt die reellen Zahlen als die Menge aller Dedekindschen Schnitte. Man muss dann natürlich auf der Ebene der Schnitte eine Addition, eine Multiplikation und eine Ordnungsrelation einführen und die gewünschten Eigenschaften nachweisen, siehe Aufgabe, Aufgabe, Aufgabe, Aufgabe. Dies ist ein gangbarer Weg. Der Vorteil liegt darin, dass es direkt eine Korrespondenz zwischen Dedekindschen Schnitten und den reellen Zahlen gibt, man muss nicht verschiedene Darstellungen (mit Hilfe einer Äquivalenzrelation) identifizieren. Der Nachteil ist, das Dedekindsche Schnitte abgesehen von dieser Konstruktion keine wichtige Rolle in der Mathematik spielen, während Folgen und Intervallschachtelungen überall in der Mathematik begegnen. Auch der rechnerisch-approximative Aspekt ist bei Dedekindschen Schnitten nicht wirklich vorhanden.