Bestimmte Divergenz, uneigentliche Konvergenz – „Mathe für Nicht-Freaks“

Bisher haben wir vor allem die Konvergenz von Folgen untersucht. In diesem Kapitel werden wir uns mit divergenten Folgen beschäftigen. Hier können nämlich zwei Arten der Divergenz unterschieden werden: Bestimmte und unbestimmte Divergenz.

Motivation

Wenn wir uns divergente Folgen anschauen, dann gibt es Folgen wie $a_n=n$, $b_n=2^n$ und $c_n=-n+2\cdot (-1{)}^n$, die ein eindeutiges Streben gegen $+\mathrm{\infty }$ oder $-\mathrm{\infty }$ aufweisen:

• 
  Die Folge $a_n=n$ strebt eindeutig gegen $+\mathrm{\infty }$.
• 
  Die Folge $b_n=2^n$ strebt eindeutig gegen $+\mathrm{\infty }$.
• 
  Die Folge $c_n=-n+2\cdot (-1{)}^n$ strebt eindeutig gegen $-\mathrm{\infty }$.

Bei solchen Folgen werden wir sagen, dass sie bestimmt gegen $+\mathrm{\infty }$ beziehungsweise gegen $-\mathrm{\infty }$ divergieren. Demgegenüber gibt es bei Folgen wie $d_n=(-1{)}^n$ oder $e_n=(-1{)}^n\cdot n$ kein solches eindeutiges Streben. Die Folge $d_n=(-1{)}^n$ ist beschränkt und kann deswegen weder gegen $+\mathrm{\infty }$ noch gegen $-\mathrm{\infty }$ divergieren.

Die Folge $e_n=(-1{)}^n\cdot n$ ist zwar unbeschränkt, ihr Streben ist aber nicht eindeutig. Diese Folge besitzt nämlich Teilfolgen, die gegen $+\mathrm{\infty }$ streben, und andere Teilfolgen, die gegen $-\mathrm{\infty }$ streben:

• 
  Die alternierende Folge $d_n=(-1{)}^n$ ist beschränkt und kann deswegen nicht gegen unendlich streben.
• 
  Die Folge $e_n=(-1{)}^n\cdot n$ ist zwar unbeschränkt, besitzt aber auch kein eindeutiges Streben gegen $+\mathrm{\infty }$ oder $-\mathrm{\infty }$.

Definition

Wir haben gesehen, dass die bestimmte Divergenz das eindeutige Streben einer Folgen gegen $+\mathrm{\infty }$ oder gegen $-\mathrm{\infty }$ ist. Wie kann dies mathematisch formuliert werden?

Beginnen wir mit der bestimmten Divergenz gegen $+\mathrm{\infty }$: Wenn eine Folge gegen $+\mathrm{\infty }$ strebt, dann wird diese Folge größer als jede Zahl – egal wie groß sie ist. Mehr noch: Egal wie groß man eine Zahl $S$ annimmt, fast alle Folgenglieder dieser Folge liegen über dieser Zahl. Es existiert also ein Index $N$, ab dem alle folgenden Folgenglieder größer gleich $S$ sind. Damit wird die Zahl $S$ ab dem Index $N$ nicht mehr unterschritten. Dies ist dann auch die Definition der bestimmten Divergenz gegen $+\mathrm{\infty }$:

Definition (Bestimmte Divergenz gegen $+\mathrm{\infty }$)

Eine Folge $(a_n{)}_{n\in \mathbb{N}}$ divergiert bestimmt gegen $+\mathrm{\infty }$, wenn für jede Zahl $S\in ℝ$ fast alle Folgenglieder größer oder gleich $S$ sind. Für alle reellen Zahlen $S$ gibt es also einen Index $N$, sodass $a_n\ge S$ für alle $n\ge N$ ist:

$\mathrm{\forall }S\in ℝ\mathrm{\exists }N\in \mathbb{N}\mathrm{\forall }n\ge N:a_n\ge S$

Wir können die Aussageform der bestimmten Divergenz gegen unendlich so übersetzen:

$\begin{array}{c}\underset{\text{Für jede reelle Zahl }S}{\underbrace{\mathrm{\forall }S\in ℝ}}\underset{\text{ existiert ein Mindestindex }N,}{\underbrace{\mathrm{\exists }N\in \mathbb{N}}}\underset{\text{sodass für alle Indizes }n\ge N}{\underbrace{\mathrm{\forall }n\ge N:}}\\ \underset{\text{ das Folgenglied }{a}_n\text{ größer gleich }S\text{ ist}}{\underbrace{a_n\ge S}}\end{array}$

Analog können wir die bestimmte Divergenz gegen $-\mathrm{\infty }$ definieren:

Definition (Bestimmte Divergenz gegen $-\mathrm{\infty }$)

Eine Folge $(a_n{)}_{n\in \mathbb{N}}$ divergiert bestimmt gegen $-\mathrm{\infty }$, wenn für jede Zahl $s\in ℝ$ fast alle Folgenglieder kleiner oder gleich $s$ sind. Für alle reellen Zahlen $s$ gibt es also einen Index $N$, sodass $a_n\le s$ für alle $n\ge N$ ist:

$\mathrm{\forall }s\in ℝ\mathrm{\exists }N\in \mathbb{N}\mathrm{\forall }n\ge N:a_n\le s$

Schreibweise

Wenn eine Folge $(a_n{)}_{n\in \mathbb{N}}$ gegen $+\mathrm{\infty }$ bestimmt divergiert, dann schreiben wir

$\underset{n\to \mathrm{\infty }}{lim}{a}_n=+\mathrm{\infty }$

Analog benutzen wir folgende Schreibweise, wenn eine Folge $(a_n{)}_{n\in \mathbb{N}}$ gegen $-\mathrm{\infty }$ bestimmt divergiert:

$\underset{n\to \mathrm{\infty }}{lim}{a}_n=-\mathrm{\infty }$

Beispiele

Beispiel

$\begin{array}{cc}\underset{n\to \mathrm{\infty }}{lim}n& =+\mathrm{\infty }\\ \underset{n\to \mathrm{\infty }}{lim}{n}^2& =+\mathrm{\infty }\\ \underset{n\to \mathrm{\infty }}{lim}-n& =-\mathrm{\infty }\end{array}$

Beispiel (Geometrische Folge)

Wie wir im Kapitel „unbeschränkte Folgen divergieren“ schon gesehen haben, divergiert die geometrische Folge ${\left(q^n\right)}_{n\in \mathbb{N}}$ für $|q|>1$. In diesem Kapitel haben wir gezeigt, dass für $q>1$ und für jede relle Zahl $S$ die Ungleichung $q^n>S$ für fast alle $n\in \mathbb{N}$ erfüllt ist. Also ist $\underset{n\to \mathrm{\infty }}{lim}{q}^n=\mathrm{\infty }$ für $q>1$. Ist hingegen $q\le -1$, so liegt keine bestimmte Divergenz vor. Für gerade $n$ ist dann nämlich $q^n$ positiv und für ungerade $n$ ist es negativ. Damit kann die geometrische Folge ${\left(q^n\right)}_{n\in \mathbb{N}}$ für $q\le -1$ nicht bestimmt divergieren.

Bestimmte Divergenz als uneigentliche Konvergenz

Die Schreibweise $\underset{n\to \mathrm{\infty }}{lim}{a}_n=+\mathrm{\infty }$ suggeriert, dass die Folge $(a_n{)}_{n\in \mathbb{N}}$ gegen unendlich konvergiert. Hier liegt aber eine Divergenz und keine Konvergenz vor! Das Symbol $+\mathrm{\infty }$ ist nämlich keine reelle Zahl. Konvergente Folgen dürfen per Definition aber nur reelle Zahlen als Grenzwerte besitzen. Es gibt allerdings Parallelen zwischen der Konvergenz und der bestimmten Divergenz:

Konvergenz	Bestimmte Divergenz
In jeder $ϵ$-Umgebung liegen fast alle Folgenglieder.	In jedem Intervall $[S,\mathrm{\infty })$ liegen fast alle Folgenglieder.
Alle Teilfolgen konvergieren gegen denselben Grenzwert.	Auch alle Teilfolgen divergieren bestimmt gegen $\pm \mathrm{\infty }$.
Jede konvergente Folge ist beschränkt.	Jede bestimmt divergente Folge ist unbeschränkt.

Dementsprechend gibt es für bestimmte Divergenz auch den Begriff der uneigentlichen Konvergenz. Das Wort „uneigentliche Konvergenz“ deutet darauf hin, dass die bestimmte Divergenz gewisse Ähnlichkeiten zur Konvergenz aufweist. Sie ist aber in ihrem Wesen eine Divergenz.

Warnung

Es ist wichtig, dass wir uns merken, dass die bestimmte Divergenz eine Art der Divergenz ist, obwohl sie der Konvergenz ähnelt und wir sie als uneigentliche Konvergenz bezeichnen. Wir dürfen also auf bestimmt divergente Folgen keine Rechenregeln anwenden, die nur für konvergente Folgen gelten. Ein Beispiel ist die Produktregel $\underset{n\to \mathrm{\infty }}{lim}(a_n\cdot b_n)=\underset{n\to \mathrm{\infty }}{lim}{a}_n\cdot \underset{n\to \mathrm{\infty }}{lim}{b}_n$. Diese Regel gilt für bestimmt divergente Folgen nicht, wie die folgende Umformung zeigt:

$1=\underset{n\to \mathrm{\infty }}{lim}(n\cdot \frac{1}{n})=\underset{n\to \mathrm{\infty }}{lim}n\cdot \underset{n\to \mathrm{\infty }}{lim}\frac{1}{n}=\mathrm{\infty }\cdot 0=0$

Man erhält also die falsche Aussage $1=0$, wenn man die Produktregel auf bestimmt divergente Folgen anwendet. Wir müssen also vorsichtig sein, welche Rechenregeln wir auf bestimmt divergente Folgen anwenden.