Satz von Bolzano-Weierstraß – Serlo „Mathe für Nicht-Freaks“

Zum Serlo-Projekt „Mathe für Nicht-Freaks“

In diesem Kapitel besprechen wir einen Satz, der für viele Beweise hilfreich ist: Der Satz von Bolzano-Weierstraß, welcher nach Bernard Bolzano und Karl Weierstraß benannt ist.

Dieser Satz garantiert die Existenz von Häufungspunkten bei beschränkten Folgen und wird oft verwendet, um die Existenz von Grenzwerten oder Häufungspunkten zu zeigen. Zwar könnte zum Nachweis dieser Existenz auch das Intervallschachtelungsprinzip herangezogen werden, der Weg über den Satz von Bolzano-Weierstraß ist aber oftmals einfacher.

So wird in einigen Lehrbüchern mit Hilfe des Satzes von Bolzano-Weierstraß das Monotoniekriterium für Folgen und Reihen gezeigt. Auch kann mit ihm das Theorem bewiesen werden, dass stetige Funktionen auf abgeschlossenen Intervallen der Form $[a,b]$ mit $a,b\in \mathbb {R}$ beschränkt sind und ihr Maximum und Minimum annehmen.

Der Satz von Bolzano-Weierstraß

Eine visuelle Erklärung des Satz von Bolzano-Weierstraß. (YouTube-Video vom Kanal Quatematik)

Der Satz von Bolzano-Weierstraß lautet:

Satz (Satz von Bolzano-Weierstraß)

Jede beschränkte Folge $(x_{n})_{n\in \mathbb {N} }$ von reellen Zahlen besitzt mindestens einen Häufungspunkt. Es gibt also eine reelle Zahl $x$ , so dass mindestens eine Teilfolge $\left(x_{n_{k}}\right)_{k\in \mathbb {N} }$ von $(x_{n})_{n\in \mathbb {N} }$ gegen $x$ konvergiert.

Diesen Satz kannst du so nachvollziehen: Eine Folge ist genau dann beschränkt, wenn es ein Intervall $[s,S]$ gibt, so dass alle Folgenglieder in diesem Intervall liegen. Nun hat eine Folge unendlich viele Glieder. Wenn man sie alle in das endliche Intervall $[s,S]$ sperrt, gibt es ein ziemliches Gedränge und die Folgenglieder müssen sich zwangsweise zum Teil sehr nah kommen. Nun sagt der Satz von Bolzano-Weierstraß, dass es mindestens eine reelle Zahl $x$ gibt, der die Glieder einer Teilfolge beliebig nah kommen. Diese Zahl $x$ ist Häufungspunkt der Folge. Beachte, dass $x$ selbst kein Glied der Folge sein muss. Auch könnte es insgesamt mehr als einen Häufungspunkt geben.

Wie bereits erwähnt, wird der Satz von Bolzano-Weierstraß bei Existenzbeweisen genutzt. So kann mit diesem Satz ein gesuchter Grenzwert oder ein gesuchter Häufungspunkt gefunden werden. Dabei ist die Anwendung dieses Satzes oft einfacher als die Benutzung des Supremumaxioms oder des Intervallschachtelungsprinzips. Der Grund liegt darin, dass die Beschränktheit einer Folge oft leicht nachgewiesen werden kann. Demgegenüber lässt sich das Supremumaxiom nur dann gut anwenden, wenn die gesuchte Zahl Supremum einer gegebenen Menge ist und beim Intervallschachtelungsprinzip muss man eine geeignete Intervallschachtelung konstruieren bzw. finden, die die gesuchte Zahl beliebig genau approximiert.

Hinweis

In der Literatur wird manchmal der Satz von Bolzano-Weierstraß in der Form „Jede reelle beschränkte Folge besitzt eine konvergente Teilfolge“ formuliert. Der Satz „Jede beschränkte Folge reeller Zahlen besitzt einen Häufungspunkt“ wird dann als Satz vom Häufungspunkt bezeichnet.

Notwendigkeit des Vollständigkeitsaxioms

Für den Satz von Bolzano-Weierstraß ist die Vollständigkeit der reellen Zahlen eine notwendige Eigenschaft. Um dies zu sehen, nehmen wir als Grundmenge die rationalen Zahlen. Hier betrachten wir eine Folge rationaler Zahlen, die gegen eine irrationale Zahl konvergieren würde. Weil diese Folge konvergiert, muss sie auch beschränkt sein (wir hatten bereits nachgewiesen, dass jede konvergente Folge beschränkt ist). Außerdem ist der irrationale Grenzwert der einzige Häufungspunkt der Folge (jeder Grenzwert ist alleiniger Häufungspunkt einer Folge).

Nun besitzt die gewählte Folge keinen Häufungspunkt mehr, weil wir beim Wechsel von $\mathbb {R}$ nach $\mathbb {Q}$ den einzigen Häufungspunkt der Folge entfernt haben. Damit kann für die Grundmenge der rationalen Zahlen der Satz von Bolzano-Weierstraß nicht gelten. Schließlich kann es beschränkte rationale Folgen geben, die keine rationalen Häufungspunkte besitzen. Dieses Beispiel zeigt, wie wichtig die Grundmenge für den Satz ist und dass wir zum Beweis das Vollständigkeitsaxiom der reellen Zahlen benötigen werden. Schließlich ist die Vollständigkeit die wesentliche Eigenschaft, die die reellen von den rationalen Zahlen unterscheidet.

Beweis (mit Intervallschachtelung)

Beweis (Satz von Bolzano-Weierstraß)

Sei $(x_{n})_{n\in \mathbb {N} }$ eine beschränkte Folge. Wir wissen, dass es ein $s$ und ein $S$ gibt, so dass alle Folgenglieder in $[s,S]$ liegen (die Folge ist beschränkt):

Eine beschränkte Folge mit eingetragener oberer und unterer Schranke

Nun müssen wir einen Häufungspunkt der Folge finden. Wir wissen bereits, dass wir hierfür die Vollständigkeit von $\mathbb {R}$ benötigen, welche wir über das Intervallschachtelungsprinzip eingeführt haben. Zur Erinnerung: Eine Intervallschachtelung ist eine Möglichkeit, eine Zahl durch eine Folge von immer kleiner werdenden Intervallen $I_{n}=[a_{n},b_{n}]$ zu approximieren. Die gesuchte Zahl $x$ ist dabei Element jedes Intervalls $[a_{n},b_{n}]$ der Intervallschachtelung. Dabei ist $a_{n}$ eine Abschätzung nach unten und $b_{n}$ eine Abschätzung nach oben von $x$ , also $a_{n}\leq x\leq b_{n}$ .

Wenn die Breite der Intervalle gegen $0$ konvergiert (also die Approximation beliebig genau wird), dann garantiert das Intervallschachtelungsprinzip, dass durch die Intervallschachtelung genau eine reelle Zahl beschrieben wird. Es gibt also genau eine reelle Zahl, die in allen Intervallen $[a_{n},b_{n}]$ liegt.

Fazit: Um den gesuchten Häufungspunkt $x$ von $(x_{n})_{n\in \mathbb {N} }$ zu finden, können wir eine Intervallschachtelung konstruieren, bei der jedes Intervall $x$ approximiert. Das Intervallschachtelungsprinzip garantiert uns dann die Existenz von $x$ . Wie gehen wir bei der Konstruktion der Intervallschachtelung vor?

Zunächst setzen wir $[s,S]$ als erstes Intervall $I_{1}$ . Wir wissen ja bereits, dass in diesem Intervall alle Folgenglieder liegen und damit sich auch der gesuchte Häufungspunkt in diesem Intervall befinden muss:

Visualisierung des ersten Intervalls in Bolzano-Weierstraß

Jetzt teilen wir das Intervall in zwei gleich große Intervalle:

Aufsplittung des Intervalls in zwei gleich große Intervalle

Da die Folge $(x_{n})_{n\in \mathbb {N} }$ unendlich viele Folgenglieder besitzt, müssen in mindestens einem der beiden Intervalle unendlich viele Folgenglieder von $(x_{n})_{n\in \mathbb {N} }$ liegen. Dieses Intervall setzen wir als das zweite Intervall $I_{2}$ der Intervallschachtelung. Da $I_{2}$ unendlich viele Folgenglieder der ursprünglichen Folge besitzt, sollte sich in diesem Intervall ein Häufungspunkt der ursprünglichen Folge befinden:

Das zweite Intervall der Intervallschachtelung

Nun können wir wiederum $I_{2}$ in zwei gleich große Teilintervalle aufteilen:

Das zweite Intervall aufgeteilt in zwei gleich große Teilintervalle

Als nächstes Intervall $I_{3}$ wählen wir das Teilintervall von $I_{2}$ , welches wiederum unendlich viele Folgenglieder der ursprünglichen Folge besitzt. Wir wissen, dass $I_{3}$ existiert, weil sich bereits in $I_{2}$ unendlich viele Folgenglieder der ursprünglichen Folge befinden und damit auch in mindestens einem der zwei Teilintervalle unendlich Folgenglieder von $(x_{n})_{n\in \mathbb {N} }$ liegen müssen:

Das dritte Intervall der Intervallschachtelung

Dieses Verfahren wiederholen wir beliebig oft, so dass wir am Ende eine Intervallschachtelung $(I_{n})_{n\in \mathbb {N} }$ erhalten. Formal können wir die Intervallschachtelung wie folgt beschreiben: Setze $I_{1}=[s,S]$ . Ist $I_{k}=[a_{k},b_{k}]$ gegeben, so setze $M={\tfrac {1}{2}}(a_{k}+b_{k})$ und

I_{k+1}=[a_{k+1},b_{k+1}]={\begin{cases}\;[a_{k},M]&{\text{in }}[a_{k},M]{\text{ liegen unendlich viele }}a_{n}\\\;[M,b_{k}]&{\text{sonst}}\end{cases}}

Die Breite der Intervalle $I_{n}$ halbiert sich bei jedem Schritt. Es ist

{\begin{aligned}|I_{1}|&=|S-s|\\|I_{2}|&={\frac {1}{2}}|I_{1}|={\frac {1}{2}}|S-s|\\|I_{3}|&={\frac {1}{2}}|I_{2}|={\frac {1}{2^{2}}}|S-s|\\|I_{4}|&={\frac {1}{2}}|I_{3}|={\frac {1}{2^{3}}}|S-s|\\&\vdots \\|I_{n}|&={\frac {1}{2}}|I_{n-1}|={\frac {1}{2^{n-1}}}|S-s|\end{aligned}}

Dabei ist $|I_{n}|$ die Breite des $n$ -ten Intervalls. Es folgt

|I_{n}|={\frac {1}{2^{n-1}}}|S-s|{\xrightarrow {n\to \infty }}0

Die Breite der Intervalle konvergiert gegen $0$ und damit gibt es nach dem Intervallschachtelungsprinzip genau einen Punkt $x$ , der in allen Intervallen $I_{n}$ liegt. Dieser Punkt sollte Häufungspunkt der Folge sein. Das müssen wir aber noch beweisen.

Betrachten wir hierzu für ein beliebiges $\epsilon >0$ die $\epsilon$ -Umgebung $(x-\epsilon ,x+\epsilon )$ von $x$ . Weil $\lim _{n\to \infty }|I_{n}|=0$ ist, gibt es ein $N\in \mathbb {N}$ mit $|I_{N}|<\epsilon$ . Wegen $x\in I_{N}$ ist damit aber $I_{N}\subseteq (x-\epsilon ,x+\epsilon )$ . Nun hatten wir die Intervalle so konstruiert, dass in jedem Intervall unendlich viele Folgenglieder von $(x_{n})_{n\in \mathbb {N} }$ liegen. Also liegen auch in $I_{N}$ unendlich viele Folgenglieder der ursprünglichen Folge. Wegen $I_{N}\subseteq (x-\epsilon ,x+\epsilon )$ sind alle Elemente von $I_{N}$ auch Elemente von $(x-\epsilon ,x+\epsilon )$ . Damit müssen aber auch in der $\epsilon$ -Umgebung unendlich viele Folgenglieder von $(x_{n})_{n\in \mathbb {N} }$ liegen (nämlich mindestens diejenigen, die bereits in $I_{N}$ liegen).

Weil $\epsilon >0$ beliebig gewählt wurde, liegen in jeder $\epsilon$ -Umgebung von $x$ unendlich viele Folgenglieder von $(x_{n})_{n\in \mathbb {N} }$ . Dies beweist, dass $x$ Häufungspunkt von $(x_{n})_{n\in \mathbb {N} }$ ist, womit diese Folge mindestens einen Häufungspunkt besitzt.

Alternativer Beweis (mit Monotoniekriterium)

To-Do:

@Stephan Kulla: Dieser Abschnitt muss noch überarbeitet werden.

Eine weitere Möglichkeit, den Satz von Bolzano-Weierstraß zu zeigen, lässt sich mit Hilfe des Monotoniekriteriums erläutern. Zur Wiederholung: Dieses besagt, dass jede monotone und beschränkte Folge reeller Zahlen konvergiert.

Da die Beschränktheit in der Voraussetzung von Bolzano-Weierstraß steckt, ist der wesentliche Teil des Beweises, den folgenden Hilfssatz zu zeigen, der in der Literatur auch als Auswahlprinzip von Bolzano-Weierstraß bezeichnet wird:

Satz (Auswahlprinzip von Bolzano-Weierstraß)

Jede reelle Folge besitzt eine monotone Teilfolge.

Wie kommt man auf den Beweis? (Auswahlprinzip von Bolzano-Weierstraß)

Am besten lässt sich dieser Satz beweisen, indem wir die "Gipfelstellen" unserer Folge $(a_{n})_{n\in \mathbb {N} }$ betrachten. Dabei heißt ein Folgenindex $m\in \mathbb {N}$ Gipfelstelle der Folge $(a_{n})$ , falls für $n>m$ gilt: $a_{m}>a_{n}$ . Wichtig: Die Gipfelstellen sind die Indizes $m$ , nicht die Folgenglieder $a_{m}$ .

Betrachten wir zunächst ein Beispiel:

Sei $(a_{n})_{n\in \mathbb {N} }$ die Folge mit $a_{n}={\begin{cases}{\tfrac {1}{n}}&{\text{falls }}n{\text{ ungerade,}}\\0&{\text{falls }}n{\text{ gerade,}}\end{cases}}$ , also die Folge $(1,0,{\tfrac {1}{3}},0,{\tfrac {1}{5}},0,{\tfrac {1}{7}},0,{\tfrac {1}{9}},\ldots )$ .

To-Do:

Sizze zur Folge

Diese hat alle ungeraden Zahlen $1,3,5,7,9\ldots$ als Gipfelstellen, denn $a_{1}=1>a_{n}$ für alle $n>1$ , $a_{3}={\tfrac {1}{3}}>a_{n}$ für alle $n>3$ und so weiter. Sie hat also unendlich viele Gipfelstellen $2k-1$ für $k\in \mathbb {N}$ . Was helfen uns nun diese Gipfelstellen für unsere monotone Teilfolge? Ganz einfach: Die zu den Gipfelstellen gehörenden Folgenglieder bilden eine (streng) monoton fallende Teilfolge

(a_{2k-1})_{k\in \mathbb {N} }=(1,{\tfrac {1}{3}},{\tfrac {1}{5}},{\tfrac {1}{7}},{\tfrac {1}{9}},\ldots )

Dies ist auch kein Zufall, sondern liegt an der Charakterisierung der Gipfelstellen. Ist nämlich $m_{k}$ eine Gipfelstelle, so ist $a_{m_{k}}$ per Definition kleiner als die vorherigen zu den Gipfelstellen gehörenden Folgenglieder $a_{m_{1}},a_{m_{2}},\ldots ,a_{m_{k-1}}$ , also $a_{m_{1}}>a_{m_{2}}>\ldots >a_{m_{k-1}}>a_{m_{k}}$ . So erhalten wir immer eine (streng) monoton fallende Teilfolge $(a_{m_{k}})_{k\in \mathbb {N} }$ , von $(a_{n})$ , falls die Folge unendlich viele Gipfelstellen hat.

Was machen wir nun aber im anderen Fall, wenn die Anzahl der Gipfelstellen unserer Folge endlich ist? Betrachten wir wieder ein konkretes Beispiel:

Sei nun $(a_{n})_{n\in \mathbb {N} }$ die Folge mit $a_{n}=(-1)^{n}{\tfrac {n}{n+1}}$ , also die Folge $(-{\tfrac {1}{2}},{\tfrac {2}{3}},-{\tfrac {3}{4}},{\tfrac {4}{5}},-{\tfrac {5}{6}},{\tfrac {6}{7}},-{\tfrac {7}{8}},{\tfrac {8}{9}},-{\tfrac {9}{10}},\ldots )$ .

Diese Folge hat keine Gipfelstellen. Denn die ungeraden Indizes $2k-1$ sind keine Gipfelstellen, da für alle geraden Indizes $2k$ gilt $a_{2k-1}<0<a_{2k}$ , also gibt es immer ein $n>2k-1$ mit $a_{2k-1}<a_{n}$ . Die geraden Indizes $2k$ sind aber auch keine Gipfelstellen, da die Teilfolge der geraden Folgenglieder (streng) monoton steigend ist: $(a_{2k})_{k\in \mathbb {N} }=({\tfrac {2}{3}},{\tfrac {4}{5}},{\tfrac {6}{7}},{\tfrac {8}{9}},\ldots ))$ . Also gibt es immer ein $n>2k$ mit $a_{2k}<a_{n}$ . Nun haben wir aber auch hier eine monotone Teilfolge. Denn die Folge der geraden Glieder $(a_{2k})_{k\in \mathbb {N} }$ bildet eine (streng) monoton steigende Teilfolge von $(a_{n})$ .

Auch dies ist kein Zufall, sondern immer der Fall, wenn die Anzahl der Gipfelstellen endlich ist. Sind allgemein $m_{1},m_{2},\ldots m_{r}$ die (endlich vielen) Gipfelstellen von $(a_{n})$ , dann ist $n_{1}=m_{r}+1$ keine Gipfelstelle von $(a_{n})$ . Da $n_{1}$ keine Gipfelstelle ist, gibt es aber $n_{2}>n_{1}$ mit $a_{n_{2}}\geq a_{n_{1}}$ . Da $n_{2}$ nun ebenfalls keine Gipfelstelle von $(a_{n})$ ist, gibt es $n_{3}>n_{2}$ mit $a_{n_{3}}\geq a_{n_{2}}$ . Dies können wir nun sukzessive weiterführen und erhalten so immer eine monoton steigende Teilfolge $(a_{n_{k}})_{k\in \mathbb {N} }$ von $(a_{n})$ .

Beweis (Auswahlprinzip von Bolzano-Weierstraß)

1.Fall: $(a_{n})$ besitzt unendlich viele Gipfelstellen $m_{1}<m_{2}<\ldots <m_{k}<m_{k+1}<\ldots$ . Dann ist die Teilfolge $(a_{m_{k}})_{k\in \mathbb {N} }$ per Definiton (streng) monoton fallend.

2.Fall: $(a_{n})$ besitzt endlich viele Gipfelstellen $m_{1}<m_{2}<\ldots <m_{r}$ . Stetze $n_{1}=m_{r}+1$ . Wähle $n_{2}>n_{1}$ mit $a_{n_{2}}\geq a_{n_{1}}$ , und danach rekursiv für alle $k\geq 2$ : $n_{k+1}>n_{k}$ mit $a_{n_{k+1}}\geq a_{n_{k}}$ . Dann ist die Teilfolge $(a_{n_{k}})_{k\in \mathbb {N} }$ per Definiton monoton steigend.

Damit ist es nun kein Problem mehr, den Satz von Weierstraß mit Hilfe des Monotoniekriteriums zu beweisen:

Beweis (Alternativbeweis von Bolzano-Weierstraß)

Sei $(a_{n})_{n\in \mathbb {N} }$ eine beschränkte reelle Folge. Nach dem Hilfssatz von oben besitzt sie eine monotone Teilfolge $(a_{n_{k}})_{k\in \mathbb {N} }$ . Da $(a_{n})$ beschränkt ist, ist auch $(a_{n_{k}})$ beschränkt. Nach dem Monotoniekriterium konvergiert $(a_{n_{k}})$ . Also besitzt $(a_{n})$ eine konvergente Teilfolge und daher einen Häufungspunkt.

Bestimmte Divergenz →

„Analysis Eins“ ist jetzt als Buch verfügbar!

Den Bereich zur Analysis 1 gibt es jetzt auch als Buch! Bestelle dir dein Exemplar oder lade dir das Buch gleich kostenlos als PDF herunter:

Buch kaufen PDF downloaden

Über 150 ehrenamtliche Autorinnen und Autoren – die meisten davon selbst Studierende – haben daran mitgewirkt. Wir wollen, dass alle Studierende die Konzepte der Hochschulmathematik verstehen und dass hochwertige Bildungsangebote frei verfügbar sind. Bei dieser Mission kannst du mitmachen oder uns mit einer Spende unterstützen.

Fragen? Feedback? Interesse an der Mitarbeit?

Wenn du Fragen zum Inhalt hast oder etwas nicht verstanden hast, kontaktiere uns. Wir werden dir deine Fragen gerne beantworten! Auch für Kritik und Anmerkungen sind wir sehr dankbar! Unsere Artikel sind gewissenhaft recherchiert, aber vereinzelte Fehler können nicht ausgeschlossen werden und wir sind sehr dankbar für alle Hinweise. Melde dich auch bei uns, wenn du unsere Vision, Hochschulmathematik verständlich zu erklären, unterstützen möchtest! Unsere Kontaktmöglichkeiten:

E-Mail: hochschulmathematik@serlo.org

Channel #hochschulmathe des Serlo Community Chats

Telegram-Gruppe: https://t.me/serlo_hochschule

Hinweis: Telegram ist ein externer Chatdienst, der nicht von Serlo oder der Wikimedia betrieben wird. Bitte informiere dich selbstständig, ob du mit ihren Datenschutzbestimmungen einverstanden bist.

Dieser Artikel steht unter einer freien CC-BY-SA 3.0 Lizenz. Damit kannst du ihn frei verwenden, bearbeiten und weiterverbreiten, solange du „Mathe für Nicht-Freaks“ als Quelle nennst und deine Änderungen am Text unter derselben CC-BY-SA 3.0 oder einer dazu kompatiblen Lizenz stellst. Auf der Seite „Kopier uns!“ erklären wir dir detailliert, was du bei der Benutzung unsere Texte, Bilder und Videos beachten musst.