Angeordneter Körper/Intervallschachtelung/Einführung/Textabschnitt
Die Intervalllängen müssen also insbesondere eine fallende Nullfolge bilden. Es wird nicht eine bestimmte Geschwindigkeit dieser Konvergenz verlangt. Die Intervallhalbierung ist eine spezielle Intervallschachtelung, bei der man zusätzlich verlangt, dass das folgende Intervall jeweils die untere oder die obere Hälfte des Vorgängerintervalls ist. Zu einer Dezimalbruchfolge
Es sei ein angeordneter Körper. Eine Folge von abgeschlossenen Intervallen
in heißt eine Intervallschachtelung, wenn für alle ist und wenn die Folge der Intervalllängen, also
gegen konvergiert.
gehört die Intervallschachtelung
Hier ist der untere Rand des Intervalls und es gilt (und wobei zusätzlich ausgeschlossen ist, dass der rechte Rand von ist). Die Intervalllängen sind hier .
Es sei , , eine Intervallschachtelung in .
Dann besteht der Durchschnitt
.
Eine reelle Intervallschachtelung bestimmt also genau eine reelle Zahl.
Beweis
Genauer gilt, dass bei einer Intervallschachtelung sowohl die Folge der unteren Intervallgrenzen als auch die Folge der oberen Intervallgrenzen gegen ein und dieselbe Zahl konvergieren. Ebenso konvergiert jede Folge mit
gegen diesen Grenzwert, siehe
Aufgabe.