Unbeschränkte Folgen divergieren

In diesem Kapitel werden wir sehen, dass unbeschränkte Folgen divergieren müssen. Daraus werden wir folgern, dass konvergente Folgen beschränkt sein müssen.

Im Kapitel „Konvergenz und Divergenz beweisen“ haben wir bereits gezeigt, dass die Folge ${(2^{n})}_{n \in ℕ}$ divergiert. Wir hatten ausgenutzt, dass diese Folge über alle Grenzen hinauswächst. Wenn wir nämlich ein beliebiges $a \in ℝ$ festhalten, dann gibt es ein $N \in ℕ$ mit $2^{N} \geq a + 1$ . Auch für alle $n \in ℕ$ mit $n \geq N$ ist $2^{n} \geq a + 1$ und damit

\begin{matrix} | 2^{n} - a | & = 2^{n} - a \\ \geq (a + 1) - a = 1 \end{matrix}

Unendlich viele Folgenglieder von ${(2^{n})}_{n \in ℕ}$ liegen damit außerhalb der $ϵ$ -Umgebung $(a - 1; a + 1)$ . Deshalb kann ${(2^{n})}_{n \in ℕ}$ nicht gegen $a$ konvergieren. Sonst müssten fast alle Folgenglieder von ${(2^{n})}_{n \in ℕ}$ in $(a - 1; a + 1)$ liegen, was aber nicht der Fall ist. Weil $a$ beliebig gewählt wurde, kann ${(2^{n})}_{n \in ℕ}$ keinen Grenzwert besitzen und muss also divergieren.

Diese Beweisskizze können wir auf beliebige unbeschränkte Folgen verallgemeinern. Wir hatten ausgenutzt, dass ${(2^{n})}_{n \in ℕ}$ beliebig groß wird. Erinnern wir uns an die Definition einer unbeschränkten Folge:

Eine Folge $(a_{n})_{n \in ℕ}$ ist unbeschränkt, wenn es für alle $S \geq 0$ unendlich viele Folgenglieder $a_{n}$ mit $| a_{n} | \geq S$ gibt.

Diese Eigenschaft können wir verwenden, um folgenden Satz zu beweisen:

Satz (Unbeschränkte Folgen divergieren)

Sei $(a_{n})_{n \in ℕ}$ eine unbeschränkte Folge. Für alle $S \geq 0$ gibt es also unendlich viele Folgenglieder $a_{n}$ mit $| a_{n} | \geq S$ . Dann muss die Folge $(a_{n})_{n \in ℕ}$ divergieren.

Mit diesem Satz können wir beweisen, dass eine Folge divergiert. Wenn wir nachweisen können, dass eine Folge unbeschränkt ist, wissen wir also sofort. dass sie divergiert.

Wie kommt man auf den Beweis? (Unbeschränkte Folgen divergieren)

Genau wie in der obigen Beweisskizze nehmen wir eine beliebige Zahl $a$ und zeigen, dass die unbeschränkte Folge $(a_{n})_{n \in ℕ}$ nicht gegen $a$ konvergieren kann. Dafür müssen wir zeigen, dass $| a_{n} - a |$ für unendlich viele $n \in ℕ$ größer als eine fixe Zahl $ϵ > 0$ ist. Wir müssen also $| a_{n} - a |$ nach unten abschätzen. Benutzen wir hierzu die umgekehrte Dreiecksungleichung:

| a_{n} - a | \geq | | a_{n} | - | a | |

Wir wissen, dass unendlich viele $| a_{n} |$ größer sind als jede fixe Schranke $S \geq 0$ , da $(a_{n})_{n \in ℕ}$ unbeschränkt ist. Wählen wir $S = | a | + 1$ . Jetzt können wir wie in der Beweisskizze oben mit ${(2^{n})}_{n \in ℕ}$ zeigen:

\begin{matrix} | a_{n} - a | & \geq | | a_{n} | - | a | | \\ ↓ | a_{n} | \geq | a | + 1 \geq | a | \\ \geq | a_{n} | - | a | \\ ↓ | a_{n} | \geq | a | + 1 \\ \geq (| a | + 1) - | a | = 1 \end{matrix}

Aus $| a_{n} - a | \geq 1$ folgt, dass $a_{n}$ nicht in der $ϵ$ -Umgebung $(a - 1; a + 1)$ liegen kann. Damit kann aber $(a_{n})_{n \in ℕ}$ nicht gegen $a$ konvergieren, was wir hier zeigen müssen.

Beweis (Unbeschränkte Folgen divergieren)

Sei $(a_{n})_{n \in ℕ}$ eine unbeschränkte Folge. Sei $a \in ℝ$ beliebig. Weil $(a_{n})_{n \in ℕ}$ unbeschränkt ist, gibt es unendlich viele Folgenglieder $a_{n}$ mit $| a_{n} | \geq | a | + 1$ . Für diese Folgenglieder ist dann

\begin{matrix} | a_{n} - a | \\ ↓ umgekehrte Dreiecksungleichung \\ \geq | | a_{n} | - | a | | \\ ↓ | a_{n} | \geq | a | + 1 \geq | a | \\ \geq | a_{n} | - | a | \\ ↓ | a_{n} | \geq | a | + 1 \\ \geq (| a | + 1) - | a | = 1 \end{matrix}

Diese unendlich vielen Folgenglieder $a_{n}$ liegen außerhalb des Intervalls $(a - 1; a + 1)$ . Damit kann $(a_{n})_{n \in ℕ}$ nicht gegen $a$ konvergieren. Weil wir $a$ beliebig gewählt haben, muss $(a_{n})_{n \in ℕ}$ divergieren.

Beispiel (Geometrische Folge)

Eine Verallgemeinerung des Einführungsbeispiels ist: Für $| q | > 1$ divergiert die geometrische Folge ${(q^{n})}_{n \in ℕ}$ . Nach den Folgerungen aus der Bernoulli-Ungleichung gibt es zu jedem $S > 0$ unendlich viele $n \in ℕ$ mit $| q^{n} | = | q |^{n} > S$ . Also ist ${(q^{n})}_{n \in ℕ}$ unbeschränkt und somit divergent.

Konvergente Folgen sind beschränkt

Beweis über Kontraposition

Laut dem obigen Satz müssen unbeschränkte Folgen divergieren. Mit Hilfe von Kontraposition können wir folgern, dass konvergente Folgen beschränkt sein müssen. Das Prinzip der Kontraposition lautet:

(A ⟹ B) ⟺ (\neg B ⟹ \neg A)

Obiger Satz ist die Implikation:

(a_{n})_{n \in ℕ} ist unbeschränkt ⟹ (a_{n})_{n \in ℕ} divergiert

Also muss nach dem Prinzip der Kontraposition gelten:

\neg ((a_{n})_{n \in ℕ} divergiert) ⟹ \neg ((a_{n})_{n \in ℕ} ist unbeschränkt)

Dies bedeutet dasselbe wie

(a_{n})_{n \in ℕ} konvergiert ⟹ (a_{n})_{n \in ℕ} ist beschränkt

Wer daran zweifelt, dass Kontraposition tatsächlich funktioniert, kann sich die Wahrheitstafeln von $(A ⟹ B)$ und $(\neg B ⟹ \neg A)$ aufschreiben und vergleichen. Ein kleines Beispiel ist: "Wenn es regnet ( $A$ ), wird der Boden nass ( $B$ )." Deshalb gilt auch: "Wenn der Boden nicht nass ist ( $\neg B$ ), kann es nicht regnen ( $\neg A$ )." Aus der zweiten Implikation können wir umgekehrt auch die erste folgern. Durch die Kontraposition gilt also folgender Satz, den wir insbesondere in späteren Beweisen nutzen werden:

Satz (konvergente Folgen sind beschränkt)

Jede konvergente Folge ist beschränkt. Wenn also eine Folge $(a_{n})_{n \in ℕ}$ konvergiert, dann gibt es ein $S \geq 0$ mit $| a_{n} | \leq S$ für alle $n \in ℕ$ .

Hinweis

Die Umkehrung des Satzes muss nicht gelten. Das bedeutet: Eine beschränkte Folge muss nicht konvergieren. Eine divergente Folge muss nicht unbeschränkt sein.

Ein Gegenbeispiel ist die Folge $((- 1)^{n})_{n \in ℕ}$ . Diese Folge ist beschränkt, jedoch nicht konvergent.

Alternativer direkter Beweis

Es gibt noch einen alternativen Beweis dafür, dass konvergente Folgen beschränkt sind. Diesen findet man in anderen Lehrbüchern. Er zeigt, wie die $ϵ$ -Definition des Grenzwerts für Beweise ausgenutzt werden kann.

Beweis (konvergente Folgen sind beschränkt)

Sei $(a_{n})_{n \in ℕ}$ eine konvergente Folge. Also muss es eine reelle Zahl $a$ geben, so dass es für alle $ϵ > 0$ eine Zahl $N \in ℕ$ mit $| a_{n} - a | < ϵ$ für alle $n \geq N$ gibt.

Wir fixieren nun $ϵ = 1$ . Welche positive Zahl wir hier für $ϵ$ fixieren, ist jedoch letzten Endes egal. Nun gibt es eine Zahl $N \in ℕ$ , so dass $| a_{n} - a | < 1$ für alle $n \geq N$ ist. Alle Folgenglieder nach $a_{N}$ liegen damit in der $ϵ$ -Umgebung $(a - 1; a + 1)$ . Damit sind alle Folgenglieder nach $a_{N}$ kleiner als $a + 1$ . Wir wissen also:

(a_{n})_{n \in ℕ} = (a_{1}, a_{2}, a_{3}, \dots, \underset{Diese Folgenglieder sind kleiner als a + 1}{\underset{⏟}{a_{N}, a_{N + 1}, a_{N + 2}, a_{N + 3}, \dots}})

Vor $a_{N}$ gibt es nur endlich viele Folgenglieder. Für diese gibt es das Maximum $M = max {a_{1}, a_{2}, a_{3}, \dots, a_{N - 1}}$ . Es ist somit

(a_{n})_{n \in ℕ} = (\underset{Diese Folgenglieder sind kleiner gleich M}{\underset{⏟}{a_{1}, a_{2}, a_{3}, \dots,}} \underset{Diese Folgenglieder sind kleiner als a + 1}{\underset{⏟}{a_{N}, a_{N + 1}, a_{N + 2}, a_{N + 3}, \dots}})

Insgesamt sind alle Folgenglieder nach oben durch das Maximum von $M$ und $a + 1$ beschränkt, also ist die Folge nach oben beschränkt. Analog kann gezeigt werden, dass die Folge nach unten beschränkt ist. Dies beweist, dass $(a_{n})_{n \in ℕ}$ eine beschränkte Folge ist.

Grenzwertsätze →

„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: mfnf@kulla.me

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.