Aufgaben zu Teilfolgen, Häufungspunkte und Cauchy-Folgen – „Mathe für Nicht-Freaks“

Aufgaben zu Teilfolgen

Aufgabe (Teilfolgen der e-Folge)

Berechne den Grenzwert $lim_{n \to \infty} {(1 + \frac{1}{n^{2}})}^{n^{2}}$
Berechne den Grenzwert $lim_{n \to \infty} {(1 + \frac{1}{2 n})}^{n}$
Berechne mit Hilfe von 1. den Grenzwert $lim_{n \to \infty} {(1 + \frac{1}{n^{2}})}^{n}$

Lösung (Teilfolgen der e-Folge)

Teilaufgabe 1: Für $(a_{n}) = ({(1 + \frac{1}{n})}^{n})$ gilt: $lim_{n \to \infty} a_{n} = e$ . Damit gilt auch für die Teilfolge $(a_{k^{2}})_{k \in ℕ}$ :

lim_{k \to \infty} a_{k^{2}} = lim_{k \to \infty} {(1 + \frac{1}{k^{2}})}^{k^{2}} = lim_{n \to \infty} {(1 + \frac{1}{n^{2}})}^{n^{2}} = e

Teilaufgabe 2: Es gilt

{(1 + \frac{1}{2 n})}^{n} = {(1 + \frac{1}{2 n})}^{2 n \cdot \frac{1}{2}} = {({(1 + \frac{1}{2 n})}^{2 n})}^{\frac{1}{2}} = \sqrt{{(1 + \frac{1}{2 n})}^{2 n}}

Nun ist $(a_{2 n}) = ({(1 + \frac{1}{2 n})}^{2 n})$ ebenfalls eine Teilfolge der Folge $(a_{n})$ aus Teilaufgabe 1. Also gilt: $lim_{n \to \infty} a_{2 n} = lim_{n \to \infty} {(1 + \frac{1}{2 n})}^{2 n} = e$ . Mit der Rechenregeln für Grenzwerte gilt daher

lim_{n \to \infty} \sqrt{{(1 + \frac{1}{2 n})}^{2 n}} = \sqrt{lim_{n \to \infty} {(1 + \frac{1}{2 n})}^{2 n}} = lim_{n \to \infty} \sqrt{e}

Teilaufgabe 3: Für $(b_{n}) = ({(1 + \frac{1}{n^{2}})}^{n})$ gilt: $b_{n} = \sqrt[n]{a_{n^{2}}}$ mit der Folge $(a_{n^{2}}) = ({(1 + \frac{1}{n^{2}})}^{n^{2}})$ aus Teilaufgabe 1.

Wegen $lim_{n \to \infty} a_{n^{2}} = e$ ist $(a_{n^{2}})$ nach oben beschränkt, d.h. es gibt ein $M > 0$ (sogar $M > 1$ ) mit $a_{n^{2}} \leq M$ für alle $n \in ℕ$ . Daher ist $(b_{n})$ nach oben durch $\sqrt[n]{M}$ beschränkt. Es gilt sogar

1 \leq b_{n} = {(1 + \frac{1}{n^{2}})}^{n} \leq \sqrt[n]{M}

Wegen $lim_{n \to \infty} \sqrt[n]{M} = 1$ folgt mit dem Sandwichsatz

lim_{k \to \infty} b_{n} = lim_{n \to \infty} {(1 + \frac{1}{n^{2}})}^{n} = 1

Aufgaben zu Häufungspunkten

Aufgabe (Häufungspunkte)

Bestimme alle Häufungspunkte der Folgen $(a_{n})_{n \in ℕ}, (b_{n})_{n \in ℕ}$ mit $a_{n} = \frac{1}{2^{n}} + (- 1)^{n}$ und $b_{n} = {(1 + \frac{(- 1)^{n}}{n})}^{n}$ .

Wie kommt man auf den Beweis? (Häufungspunkte)

Zu $(a_{n})$ : Der vordere Teil der Folge $\frac{1}{2^{n}}$ konvergiert gegen $0$ , daher konvergiert auch jede Teilfolge von dieser gegen $0$ . Der hintere Teil, also die Folge $(- 1)^{n}$ , alterniert zwischen $1$ und $- 1$ . Er hat also die Häufungspunkte $1$ und $- 1$ .
Zu $(b_{n})$ : Für gerade $n$ ist $(b_{n})$ gleich einer Teilfolge der $e$ -Folge ${(1 + \frac{1}{n})}^{n}$ , für ungerade $n$ eine Teilfolge der Folge ${(1 - \frac{1}{n})}^{n}$ , die gegen $\frac{1}{e}$ konvergiert.

Lösung (Häufungspunkte)

Es gilt $a_{2 k} = \frac{1}{2^{2 k}} + (- 1)^{2 k} = \frac{1}{4^{k}} + 1 \overset{k \to \infty}{\to} 0 + 1 = 1$ . Also hat $(a_{n})$ den Häufungspunkt $1$ .

Außerdem gilt $a_{2 k - 1} = \frac{1}{2^{2 k - 1}} + (- 1)^{2 k - 1} = \frac{2}{4^{k - 1}} - 1 \overset{k \to \infty}{\to} 0 - 1 = - 1$ . Also hat $(a_{n})$ den Häufungspunkt $- 1$ .

Weitere Häufungspunkte besitzt $(a_{n})$ nicht, da alle anderen Teilfolgen entweder divergieren, oder ebenfalls gegen $1$ oder $- 1$ konvergieren.

Es gilt $b_{2 k} = {(1 + \frac{1}{2 k})}^{2 k} \overset{k \to \infty}{\to} e$ , da ${(1 + \frac{1}{n})}^{n} \overset{n \to \infty}{\to} e$ . Also hat $(b_{n})$ den Häufungspunkt $e$ .

Außerdem ist $b_{2 k + 1} = {(1 - \frac{1}{2 k + 1})}^{2 k + 1} \overset{k \to \infty}{\to} \frac{1}{e}$ , da ${(1 - \frac{1}{n})}^{n} \overset{n \to \infty}{\to} \frac{1}{e}$ . Also hat $(b_{n})$ den Häufungspunkt $\frac{1}{e}$

Weitere Häufungspunkte besitzt $(b_{n})$ nicht, da alle anderen Teilfolgen entweder divergieren, oder ebenfalls gegen $e$ oder $\frac{1}{e}$ konvergieren.

Aufgaben zu Lim inf und Lim sup

Aufgabe (Lim inf und Lim sup)

Bestimme für die Folgen $(a_{n})_{n \in ℕ}, (b_{n})_{n \in ℕ}$ mit $a_{n} = {(\frac{3}{2} + (- 1)^{n})}^{n}$ und $b_{n} = {\begin{matrix} 2 + \frac{1}{3^{n}} & für n = 3 k, \\ 3 + \frac{n + 2}{n} & für n = 3 k + 1, \\ 3 & für n = 3 k + 2 \end{matrix}$ den Limes inferior und den Limes superior.

Wie kommt man auf den Beweis? (Lim inf und Lim sup)

Zunächst untersuchen wir $(a_{n})$ auf Beschränktheit. Wir erkennen, dass die Folge nach unten beschränkt und nach oben unbeschränkt ist. Also ist der Limes inferior gleich dem kleinsten Häufungspunkt der Folge. Diesen bestimmen wir über die Teilfolge mit den ungeraden Folgengliedern. Der Limes superior ist gleich $\infty$ , da die Folge nach oben unbeschränkt ist.
$(b_{n})$ ist (nach oben und unten) beschränkt, da alle drei Teilfolgen (nach oben und unten) beschränkt sind. Für den Limes superior und Limes inferior von $(b_{n})$ müssen wir nun die Grenzwerte der drei Teilfolgen bestimmen.

Lösung (Lim inf und Lim sup)

Zunächst gilt $a_{n} \geq 0$ , da $\frac{3}{2} + (- 1)^{n} \geq 0$ ist. Also ist $(a_{n})$ nach unten beschränkt. $lim inf a_{n}$ ist daher gleich dem kleinsten Häufungswert von $(a_{n})$ . Für die Teilfolge $(a_{2 k - 1})$ gilt

lim_{k \to \infty} a_{2 k - 1} = lim_{k \to \infty} {(\frac{3}{2} + (- 1)^{2 k - 1})}^{2 k - 1} = lim_{k \to \infty} {(\frac{3}{2} - 1)}^{2 k - 1} = lim_{k \to \infty} {(\frac{1}{2})}^{2 k - 1} = 0

Also ist $0$ ein Häufungspunkt von $(a_{n})$ . Weitere Häufungspunkte hat die Folge nicht, da alle weiteren Teilfolgen ebenfalls gegen $0$ konvergieren oder divergent sind. Somit ist $\underset{n \to \infty}{lim inf} a_{n} = 0$ .

Alternative Lösung: Für $(a_{n})_{n \in ℕ}$ gilt $({\tilde{b}}_{k})_{k \in ℕ} = (inf {a_{n} : n \geq k})_{k \in ℕ} = (0, 0, 0, 0, \dots)$ , da die ungeraden Folgenglieder monoton gegen $0$ fallen. Daher ist $\underset{n \to \infty}{lim inf} a_{n} = lim_{k \to \infty} b_{k} = 0$

Für $n = 2 k$ gilt

a_{2 k} = {(\frac{3}{2} + (- 1)^{2 k})}^{2 k} = {(\frac{3}{2} + 1)}^{2 k} = {(\frac{5}{2})}^{2 k} = {(\frac{25}{4})}^{k}

Nach einer Folgerung zum Archimedischen Axiom gibt es zu jedem $S > 0$ ein $k \in ℕ$ mit $a_{2 k} = {(\frac{25}{4})}^{k} > S$ . Also ist $(a_{n})$ nach oben unbeschränkt, und daher $\underset{n \to \infty}{lim sup} a_{n} = \infty$ .

Für die Folge $(b_{n})$ gilt

\begin{matrix} b_{3 k} & = 2 + \frac{1}{3^{3 k}} = 2 + \frac{1}{2 7^{k}} \overset{k \to \infty}{\to} 2 + 0 = 2 \\ b_{3 k + 1} & = 3 + \frac{3 k + 3}{3 k + 1} = 3 + 1 + \frac{2}{3 k + 1} \overset{k \to \infty}{\to} 4 + 0 = 4, \\ b_{3 k + 2} & = 3 \overset{k \to \infty}{\to} 3. \end{matrix}

Also besitzt $(b_{n})$ die Häufungspunkte $2, 3$ und $4$ . Weitere Häufungspunkte besitzt $(b_{n})$ nicht. Außerdem ist $(b_{n})$ beschränkt, da alle Teilfolgen beschränkt sind. Insgesamt erhalten wir $\underset{n \to \infty}{lim inf} b_{n} = 2$ und $\underset{n \to \infty}{lim sup} b_{n} = 4$ .

Aufgabe (Lim inf und Lim sup 2)

Sei $(a_{n})_{n \in ℕ}$ eine Folge positiver reeller Zahlen. Zeige die Ungleichung
$\underset{n \to \infty}{lim inf} \frac{a_{n + 1}}{a_{n}} \leq \underset{n \to \infty}{lim inf} \sqrt[n]{a_{n}} \leq \underset{n \to \infty}{lim sup} \sqrt[n]{a_{n}} \leq \underset{n \to \infty}{lim sup} \frac{a_{n + 1}}{a_{n}}$
Sei $(a_{n})_{n \in ℕ}$ die Folge mit
$a_{n} = {\begin{matrix} \frac{1}{2^{n}} & für n = 2 k - 1, \\ \frac{1}{3^{n}} & für n = 2 k \end{matrix}$

Berechne $\underset{n \to \infty}{lim inf} \frac{a_{n + 1}}{a_{n}}$ , $\underset{n \to \infty}{lim inf} \sqrt[n]{a_{n}}$ , $\underset{n \to \infty}{lim sup} \sqrt[n]{a_{n}}$ und $\underset{n \to \infty}{lim sup} \frac{a_{n + 1}}{a_{n}}$ .
Folgere aus dem 1.Teil: Ist $(a_{n})_{n \in ℕ}$ eine Folge positiver Zahlen mit $lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} = a \in ℝ$ , so gilt auch $lim_{n \to \infty} \sqrt[n]{a_{n}} = a$ .
Beweise die Grenzwerte
$lim_{n \to \infty} \frac{1}{\sqrt[n]{n!}} = 0, lim_{n \to \infty} \frac{n}{\sqrt[n]{n!}} = e und lim_{n \to \infty} \sqrt[n]{(\binom{2 n}{n})} = 4$

Lösung (Lim inf und Lim sup 2)

Sei $(a_{n})$ eine positive Folge mit
$α = lim inf \frac{a_{n + 1}}{a_{n}}, α^{'} = lim inf \sqrt[n]{a_{n}}, β^{'} = lim sup \sqrt[n]{a_{n}}, β = lim sup \frac{a_{n + 1}}{a_{n}}$

Wir müssen die folgende Ungleichung zeigen:

$0 \leq α \leq α^{'} \leq β^{'} \leq β \leq \infty$

Sei ohne Einschränkung $α > 0$ und $β < \infty$ . Da nach Definition $α$ der kleinste und $β$ der größte Häufungswert der Folge ${(\frac{a_{n + 1}}{a_{n}})}_{n \in ℕ}$ , gibt es zu jedem $ε > 0$ ( $< α$ ) ein $m \in ℕ$ mit

$α - ε < \frac{a_{k + 1}}{a_{k}} < β + ε \forall k \geq m$

Für ein beliebiges $n \in ℕ$ mit $n - 1 \geq m$ folgt nun durch $(n - m)$ -maliges Anwenden der Ungleichung für $k = m, \dots, n - 1$ :

$(α - ε)^{n - m} < \frac{a_{m + 1}}{a_{m}} \cdot \frac{a_{m + 2}}{a_{m + 1}} \cdot \dots \cdot \frac{a_{n - 1}}{a_{n - 2}} \cdot \frac{a_{n}}{a_{n - 1}} < (β + ε)^{n - m}$

Der Ausdruck in der Mitte ist nun ein Teleskopprodukt, bei dem nur der Nenner des ersten Faktors $a_{m}$ und der Zähler des letzten Faktors $a_{n}$ stehenbleiben. Alle anderen Terme kürzen sich gegenseitig weg:

$(α - ε)^{n - m} < \frac{a_{n}}{a_{m}} < (β + ε)^{n - m}$

Multiplizieren wir diese Ungleichung mit $a_{m}$ durch und ziehen anschließend die $n$ -te Wurzel, so erhalten wir

$\sqrt[n]{a_{m}} \cdot (α - ε)^{1 - \frac{m}{n}} < \sqrt[n]{a_{n}} < \sqrt[n]{a_{m}} (β + ε)^{1 - \frac{m}{n}}$

Für $n \to \infty$ konvergiert die linke Seite gegen $α - ε$ und die rechte Seite gegen $β + ε$ , wegen $lim_{n \to \infty} \sqrt[n]{a_{m}} = 1$ . Daher ist

$α - ε \leq lim inf \sqrt[n]{a_{n}}$ und $lim sup \sqrt[n]{a_{n}} \leq β + ε$

Da $ε$ beliebig klein gewählt werden kann, folgt

$α \leq α^{'}$ und $β^{'} \leq β$

Da die Ungleichung $α^{'} \leq β^{'}$ immer per Definition gilt, folgt die Behauptung.
- Zunächst gilt für alle $n \in ℕ$ : $\frac{a_{n + 1}}{a_{n}} \geq 0$ , da Zähler und Nenner immer positiv sind. Also ist die Quotientenfolge $(\frac{a_{n + 1}}{a_{n}})$ nach unten durch null beschränkt. Ist nun $n = 2 k - 1$ ungerade und damit $n + 1 = 2 k$ gerade, so folgt
$\frac{a_{n + 1}}{a_{n}} = \frac{a_{2 k}}{a_{2 k - 1}} = \frac{\frac{1}{3^{2 k}}}{\frac{1}{2^{2 k - 1}}} = \frac{2^{2 k - 1}}{3^{2 k}} = \frac{2^{2 k}}{2 \cdot 3^{2 k}} = \frac{1}{2} \cdot \frac{4^{k}}{9^{k}} = \frac{1}{2} \cdot {(\frac{4}{9})}^{k} \to 0$ für $k \to \infty$

Also gibt es eine Teilfolge der Quotientenfolge, die gegen null konvergiert, und somit ist $\underset{n \to \infty}{lim inf} \frac{a_{n + 1}}{a_{n}} = 0$
- Ist umgekehrt $n = 2 k$ gerade und damit $n + 1 = 2 k + 1$ ungerade, so folgt
$\frac{a_{n + 1}}{a_{n}} = \frac{a_{2 k + 1}}{a_{2 k}} = \frac{\frac{1}{2^{2 k + 1}}}{\frac{1}{3^{2 k}}} = \frac{3^{2 k}}{2^{2 k + 1}} = \frac{3^{2 k}}{2 \cdot 2^{2 k}} = \frac{1}{2} \cdot \frac{9^{k}}{4^{k}} = \frac{1}{2} \cdot {(\frac{9}{4})}^{k} \to \infty$ für $k \to \infty$

Also ist die Quotientenfolge nach oben unbeschränkt, und somit ist $\underset{n \to \infty}{lim sup} \frac{a_{n + 1}}{a_{n}} = \infty$
- Ist $n = 2 k - 1$ ungerade, so folgt
$\sqrt[n]{a_{n}} = \sqrt[2 k - 1]{a_{2 k - 1}} = \sqrt[2 k - 1]{\frac{1}{2^{2 k - 1}}} = \frac{1}{2}$

und ebenso folgt für gerade $n = 2 k$

$\sqrt[n]{a_{n}} = \sqrt[2 k]{a_{2 k}} = \sqrt[2 k]{\frac{1}{3^{2 k}}} = \frac{1}{3}$

Also hat die Wurzelfolge die Häufungspunkte $\frac{1}{2}$ und $\frac{1}{3}$ , und damit gilt

$\underset{n \to \infty}{lim inf} \sqrt[n]{a_{n}} = \frac{1}{3}$ und $\underset{n \to \infty}{lim sup} \sqrt[n]{a_{n}} = \frac{1}{2}$
Wegen $lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} = a$ gilt auch
$\underset{n \to \infty}{lim inf} \frac{a_{n + 1}}{a_{n}} = \underset{n \to \infty}{lim sup} \frac{a_{n + 1}}{a_{n}} = a$

Wegen der Ungleichung aus 1. und dem Der Sandwichsatz folgt

$\underset{n \to \infty}{lim inf} \sqrt[n]{a_{n}} = \underset{n \to \infty}{lim sup} \sqrt[n]{a_{n}} = a$

Daraus ergibt sich $lim_{n \to \infty} \sqrt[n]{a_{n}} = a$ .
1. Grenzwert: Setzen wir $a_{n} = \frac{1}{n!}$ , so gilt
$\begin{matrix} lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} & = lim_{n \to \infty} \frac{\frac{1}{(n + 1)!}}{\frac{1}{n!}} \\ = lim_{n \to \infty} \frac{n!}{(n + 1)!} \\ = lim_{n \to \infty} \frac{n!}{(n + 1) n!} \\ = lim_{n \to \infty} \frac{1}{n + 1} = 0 \end{matrix}$

Aus Teil 3. folgt $lim_{n \to \infty} \sqrt[n]{a_{n}} = lim_{n \to \infty} \sqrt[n]{\frac{1}{n!}} = lim_{n \to \infty} \frac{1}{\sqrt[n]{n!}} = 0$ .
2. Grenzwert: Hier setzen wir $a_{n} = \frac{n^{n}}{n!}$ . Damit gilt

$\begin{matrix} lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} & = lim_{n \to \infty} \frac{\frac{(n + 1)^{n + 1}}{(n + 1)!}}{\frac{n^{n}}{n!}} \\ = lim_{n \to \infty} \frac{(n + 1)^{n + 1} n!}{n^{n} (n + 1)!} \\ = lim_{n \to \infty} \frac{(n + 1)^{n} (n + 1) n!}{n^{n} (n + 1) n!} \\ = lim_{n \to \infty} \frac{(n + 1)^{n}}{n^{n}} \\ = lim_{n \to \infty} {(\frac{n + 1}{n})}^{n} \\ = lim_{n \to \infty} {(1 + \frac{1}{n})}^{n} = e \end{matrix}$

Erneut mit Teil 3. folgt $lim_{n \to \infty} \sqrt[n]{a_{n}} = lim_{n \to \infty} \sqrt[n]{\frac{n^{n}}{n!}} = lim_{n \to \infty} \frac{n}{\sqrt[n]{n!}} = e$ .
3. Grenzwert: Hier setzen wir schließlich $a_{n} = (\binom{2 n}{n})$ . Damit gilt

$\begin{matrix} lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} & = lim_{n \to \infty} \frac{(\binom{2 (n + 1)}{n + 1 + 1})}{(\binom{2 n}{n})} \\ = lim_{n \to \infty} \frac{(\binom{2 n + 2}{n})}{(\binom{2 n}{n})} \\ = lim_{n \to \infty} \frac{\frac{(2 n + 2)!}{(n + 1)! (n + 1)!}}{\frac{(2 n)!}{n! n!}} \\ = lim_{n \to \infty} \frac{(2 n + 2)! n! n!}{(2 n)! (n + 1)! (n + 1)!} \\ = lim_{n \to \infty} \frac{(2 n + 2) (2 n + 1) (2 n)! n! n!}{(2 n)! (n + 1) n! (n + 1) n!} \\ = lim_{n \to \infty} \frac{(2 n + 2) (2 n + 1)}{(n + 1) (n + 1)} \\ = lim_{n \to \infty} \frac{4 n^{2} + 6 n + 2}{n^{2} + 2 n + 1} \\ = lim_{n \to \infty} \frac{4 + \frac{6}{n} + \frac{2}{n^{2}}}{1 + \frac{2}{n} + \frac{1}{n^{2}}} \\ = \frac{4 + 0 + 0}{1 + 0 + 0} = 4 \end{matrix}$

Wieder mit Teil 3. folgt $lim_{n \to \infty} \sqrt[n]{a_{n}} = lim_{n \to \infty} \sqrt[n]{(\binom{2 n}{n})} = 4$ .

Hinweis

In diesem Beispiel aus Teil 2 gilt die Ungleichung aus Teil 1 in der 'scharfen' Variante:

\underset{n \to \infty}{lim inf} \frac{a_{n + 1}}{a_{n}} < \underset{n \to \infty}{lim inf} \sqrt[n]{a_{n}} < \underset{n \to \infty}{lim sup} \sqrt[n]{a_{n}} < \underset{n \to \infty}{lim sup} \frac{a_{n + 1}}{a_{n}}

Hinweis

Durch Übergang zum Kehrwert erhält man aus den Grenzwerten aus Teil 4 ebenso die Grenzwerte:

lim_{n \to \infty} \sqrt[n]{n!} = \infty, lim_{n \to \infty} \frac{\sqrt[n]{n!}}{n} = \frac{1}{e} und lim_{n \to \infty} \frac{1}{\sqrt[n]{(\binom{2 n}{n})}} = \frac{1}{4}

Aufgaben zu Cauchy-Folgen

Aufgabe (Konvergenzkriterium für Folgen)

Sei $0 < q < 1$ und $(a_{n})_{n \in ℕ}$ eine Folge reeller Zahlen mit $| a_{n + 1} - a_{n} | \leq q \cdot | a_{n} - a_{n - 1} |$ für alle $n \in ℕ$ . Zeige: Dann konvergiert die Folge $(a_{n})_{n \in ℕ}$ .
Seien $a_{0} = 0, a_{1} = 1$ und $a_{n + 1} = \frac{1}{2} (a_{n} + a_{n - 1})$ . Zeige, dass die Folge $(a_{n})_{n \in ℕ}$ konvergiert, und berechne deren Grenzwert.

Lösung (Konvergenzkriterium für Folgen)

Teilaufgabe 1: Wir zeigen, dass $(a_{n})$ eine Cauchy-Folge ist. Nach dem Cauchy-Kriterium folgt daraus dann die Konvergenz. Aus der Voraussetzung folgt zunächst

| a_{j + 1} - a_{j} | \leq q \cdot | a_{j} - a_{j - 1} | \leq q^{2} \cdot | a_{j - 1} - a_{j - 2} | \leq \dots \leq q^{j} \cdot | a_{1} - a_{0} | .

Sind nun $m, n \in ℕ$ und $m > n$ , dann gibt es ein $k \in ℕ$ mit $m = n + k$ . Damit ist dann

\begin{matrix} | a_{m} - a_{n} | & = | a_{n + k} - a_{n} | \\ = | a_{n + k} - a_{n + k - 1} + a_{n + k - 1} - a_{n + k - 2} + \dots + a_{n + 2} - a_{n + 1} + a_{n + 1} - a_{n} | \\ ↓ verallgemeinerte Dreiecksungleichung \\ \leq | a_{n + k} - a_{n + k - 1} | + | a_{n + k - 1} - a_{n + k - 2} | + \dots + | a_{n + 2} - a_{n + 1} | + | a_{n + 1} - a_{n} | \\ = \sum_{j = 0}^{k - 1} | a_{n + j + 1} - a_{n + j} | \\ ↓ Indexverschiebung \\ = \sum_{j = n}^{n + k - 1} | a_{j} - a_{j - 1} | \end{matrix}

Aus beiden Ungleichungen zusammen folgt

\begin{matrix} | a_{m} - a_{n} | & \leq \sum_{j = n}^{n + k - 1} | a_{j} - a_{j - 1} | \\ \leq \sum_{j = n}^{n + k - 1} q^{j} \cdot | a_{1} - a_{0} | \\ = | a_{1} - a_{0} | q^{n} \sum_{j = 0}^{k - 1} q^{j} \\ ↓ geometrische Summenformel \\ = | a_{1} - a_{0} | q^{n} \frac{1 - q^{k}}{1 - q} \\ ↓ q^{k} \geq 0 \Rightarrow 1 - q^{k} \leq 1 \\ \leq \frac{| a_{1} - a_{0} |}{1 - q} q^{n} \end{matrix}

Nach einer Folgerung zum Archimedischen Axiom gibt es nun zu jedem $ϵ > 0$ ein $N \in ℕ$ , so dass für alle $n, m \geq N$ gilt

| a_{m} - a_{n} | \leq \frac{| a_{1} - a_{0} |}{1 - q} q^{n} < ϵ

Also ist $(a_{n})$ eine Cauchy-Folge und damit konvergent.

Teilaufgabe 2: Für die Folge $(a_{n})$ gilt

| a_{n + 1} - a_{n} | = | \frac{1}{2} (a_{n} + a_{n - 1}) - a_{n} | = | \frac{1}{2} a_{n - 1} - \frac{1}{2} a_{n} | = \frac{1}{2} | a_{n} - a_{n - 1} | .

Mit $q = \frac{1}{2}$ ist das Kriterium aus Teilaufgabe 1 erfüllt, und $(a_{n})$ somit konvergent.

Der Grenzwert lässt sich nun wie folgt berechnen. Zunächst gilt analog zu oben, nur ohne die Beträge

a_{n + 1} - a_{n} = \frac{1}{2} (a_{n} + a_{n - 1}) - a_{n} = \frac{1}{2} (a_{n - 1} - a_{n}) = - \frac{1}{2} (a_{n} - a_{n - 1}) .

durch $n$ -maliges Anwenden dieser Gleichung ergibt sich

a_{n + 1} - a_{n} = {(- \frac{1}{2})}^{n} (a_{1} - a_{0}) .

Damit erhalten wir nun

a_{n + 1} - \underset{= 0}{\underset{⏟}{a_{0}}} \underset{summe}{\overset{Teleskop-}{=}} \sum_{k = 0}^{n} (a_{k + 1} - a_{k}) \underset{oben}{\overset{siehe}{=}} \sum_{k = 0}^{n} {(- \frac{1}{2})}^{k} \underset{= 1 - 0 = 1}{\underset{⏟}{(a_{1} - a_{0})}} \underset{Summenformel}{\overset{Geometrische}{=}} \frac{1 - {(- \frac{1}{2})}^{n + 1}}{1 + \frac{1}{2}} = \frac{1 - {(- \frac{1}{2})}^{n + 1}}{\frac{3}{2}} = \frac{2}{3} \cdot (1 - {(- \frac{1}{2})}^{n + 1}) .

Mit den Rechenregeln für Grenzwerte folgt nun

lim_{n \to \infty} a_{n + 1} = lim_{n \to \infty} a_{n} = lim_{n \to \infty} \frac{2}{3} \cdot (1 - {(- \frac{1}{2})}^{n + 1}) = \frac{2}{3} \cdot (1 - lim_{n \to \infty} {(- \frac{1}{2})}^{n + 1}) = \frac{2}{3} \cdot (1 - 0) = \frac{2}{3}

Reihen →

„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.