Reelle Zahlen/Bolzano Weierstraß/Fakt/Beweis

Aus Wikiversity
Beweis

Die Folge sei durch

beschränkt. Wir definieren zuerst induktiv eine Intervallhalbierung derart, dass in den Intervallen unendlich viele Folgenglieder liegen. Das Startintervall ist . Es sei das -te Intervall bereits konstruiert. Wir betrachten die beiden Hälften

In mindestens einer der Hälften liegen unendlich viele Folgenglieder, und wir wählen als Intervall eine Hälfte mit unendlich vielen Gliedern. Da sich bei diesem Verfahren die Intervalllängen mit jedem Schritt halbieren, liegt eine Intervallschachtelung vor. Als Teilfolge wählen wir nun ein beliebiges Element

mit . Dies ist möglich, da es in diesen Intervallen unendlich viele Folgenglieder gibt. Diese Teilfolge konvergiert nach Aufgabe gegen die durch die Intervallschachtelung bestimmte Zahl .