Cauchy-Kriterium für Reihen – Serlo „Mathe für Nicht-Freaks“

Im Abschnitt zu den Grenzwerten haben wir mit dem Cauchy-Kriterium bereits eine alternative Charakterisierung der Konvergenz kennengelernt. Eine Folge ist nämlich genau dann konvergent, wenn sie eine Cauchy-Folge ist. Nun ist die Konvergenz einer Reihe nichts anderes als die Konvergenz der dazugehörigen Partialsummenfolge. Damit wird die Reihenkonvergenz auf die Folgenkonvergenz zurückgeführt, sodass wir das Cauchy-Kriterium auch auf Reihen anwenden können. Man erhält so das Cauchy-Kriterium für Reihen, welches vor allem in Beweisen Anwendung findet.

Das Cauchy-Kriterium hat seinen Namen vom französischen Mathematiker Augustin Louis Cauchy, da er als Erster dieses Konvergenzkriterium in seinem Lehrbuch „Cours d'Analyse“ (1821) veröffentlichte.

Herleitung des Cauchy-Kriteriums

Wiederholung der notwendigen Begriffe

Cauchy-Folgen sind Folgen, deren Folgenglieder sich gegenseitig beliebig nahe kommen. Bei Cauchy-Folgen $(a_{n})_{n\in \mathbb {N} }$ gibt es für jeden Maximalabstand $\epsilon >0$ ein Mindestindex $N\in \mathbb {N}$, so dass ab dem Folgenglied $a_{N}$ für alle folgenden Folgenglieder $a_{n}$ und $a_{m}$ der Abstand $|a_{n}-a_{m}|$ kleiner als $\epsilon$ ist. Es gilt also für Cauchy-Folgen:

$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n,m\geq N:|a_{n}-a_{m}|<\epsilon$

Für die Herleitung brauchen wir auch die Definition der Reihenkonvergenz: Eine Reihe $\sum _{k=1}^{\infty }a_{k}$ konvergiert genau dann, wenn die Folge der Partialsummen

$\left(\sum _{k=1}^{n}a_{k}\right)_{n\in \mathbb {N} }=\left(\sum _{k=1}^{1}a_{k},\quad \sum _{k=1}^{2}a_{k},\quad \sum _{k=1}^{3}a_{k},\quad \sum _{k=1}^{4}a_{k},\ \ldots \right)$

konvergiert.

Herleitung

Sei $S_{n}$ die $n$-te Partialsumme, also die Summe der ersten $n$ Summanden:

$S_{n}=a_{1}+a_{2}+a_{3}+\ldots +a_{n}=\sum _{k=1}^{n}a_{k}$

Gehen wir nun davon aus, dass die Reihe $\sum _{k=1}^{\infty }a_{k}$ konvergiert. Nach Definition konvergiert dann die Folge $(S_{n})_{n\in \mathbb {N} }$, sodass sie das Cauchy-Kriterium für Folgen erfüllt. Wir können $(S_{n})_{n\in \mathbb {N} }$ somit in das obige Cauchy-Kriterium für Folgen einsetzen und erhalten:

$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n,m\geq N:|S_{n}-S_{m}|<\epsilon$

Der beliebig klein werdende Abstand $|S_{n}-S_{m}|$ kann weiter zusammengefasst werden. Gehen wir davon aus, dass $n>m$ ist. Dann ist

${\begin{aligned}|S_{n}-S_{m}|&=\left|\sum _{k=1}^{n}a_{k}-\sum _{l=1}^{m}a_{l}\right|\\&=|({\color {OliveGreen}a_{1}+\ldots +a_{m}}+a_{m+1}+\ldots a_{n})-({\color {OliveGreen}a_{1}+\ldots +a_{m}})|\\&=|a_{m+1}+a_{m+2}+\ldots +a_{n}|\\&=\left|\sum _{k=m+1}^{n}a_{k}\right|\\&=\left|\sum _{k=1}^{n-m}a_{m+k}\right|\end{aligned}}$

Wir sehen: Wenn eine Reihe konvergiert, dann wird die Summe von aufeinander folgenden Summanden mit beliebiger aber fixer Länge mit wachsendem Startindex des ersten Summanden beliebig klein. Bei Konvergenz der Reihe gilt also:

$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n>m\geq N:\left|\sum _{k=m+1}^{n}a_{k}\right|<\epsilon$

Hier mussten wir $n>m\geq N$ anstelle von $n,m\geq N$ nehmen, weil wir oben nur Fälle $n>m$ betrachtet haben.

Verschönerung der Aussageform

Um die Aussageform etwas schöner aufschreiben zu können, setzen wir ${\tilde {m}}=m+1$. Aus $n>m$ wird dann $n\geq m+1={\tilde {m}}$. Außerdem wird aus $m\geq N$ die Ungleichung ${\tilde {m}}=m+1\geq N+1$. Wir erhalten:

$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n\geq {\tilde {m}}\geq N+1:\left|\sum _{k={\tilde {m}}}^{n}a_{k}\right|<\epsilon$

Setzen wir nun ${\tilde {N}}=N+1$:

$\forall \epsilon >0\,\exists {\tilde {N}}\in \mathbb {N} \,\forall n\geq {\tilde {m}}\geq {\tilde {N}}:\left|\sum _{k={\tilde {m}}}^{n}a_{k}\right|<\epsilon$

Durch Umbenennung ${\tilde {m}}\to m$ und ${\tilde {N}}\to N$ erhalten wir:

$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n\geq m\geq N:\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon$

Obige Aussageform gilt also, wenn die Reihe konvergiert. Diese wird Cauchy-Kriterium einer Reihe genannt.

Beweis der Rückrichtung

Bisher haben wir gezeigt, dass eine konvergente Reihe das Cauchykriterium erfüllt. Umgekehrt konvergiert aber auch die Reihe, wenn $\left|\sum _{k=m}^{n}a_{k}\right|$ nach obigem Cauchy-Kriterium beliebig klein wird. Gehen wir also davon aus, dass

$\forall \epsilon >0\,\exists {\tilde {N}}\in \mathbb {N} \,\forall n\geq {\tilde {m}}\geq {\tilde {N}}:\left|\sum _{k={\tilde {m}}}^{n}a_{k}\right|<\epsilon$

ist und schauen wir, ob dann die Reihe zwangsweise konvergieren muss. In obiger Herleitung haben wir gesehen, dass $\left|\sum _{k=m}^{n}a_{k}\right|$ dem Abstand $|S_{n}-S_{m}|$ für $n>m$ entspricht (nachdem die Variablen entsprechend umbenannt wurden). Aus dem Cauchy-Kriterium für Reihen kann man also das Cauchy-Kriterium der Partialsummenfolge mit $n>m$ zeigen. Jedoch fehlt uns hier das Cauchy-Kriterium der Partialsummen für den Fall $m\geq n$. Auch für diesen Fall müssen wir zeigen, dass $|S_{n}-S_{m}|$ kleiner als $\epsilon$ ist. Es ist

${\begin{aligned}|S_{n}-S_{m}|&=|S_{m}-S_{n}|\\&=\left|\sum _{k=1}^{m}a_{k}-\sum _{l=1}^{n}a_{l}\right|\\[1em]&\quad {\color {OliveGreen}\left\downarrow \ {\text{wie oben}}\right.}\\[1em]&=\left|\sum _{k=n+1}^{m}a_{k}\right|\end{aligned}}$

Auch hier erhalten wir den Betrag einer Summe von aufeinander folgenden Summanden. Wir wissen aber aus dem Cauchy-Kriterium für Reihen, dass dieser Betrag mit wachsendem Startindex des ersten Summanden beliebig klein wird und insbesondere ab einem gewissen Startindex kleiner als $\epsilon$ ist. Insgesamt haben wir so aus dem Cauchykriterium für Reihen das Cauchykriterium der Folge $(S_{n})_{n\in \mathbb {N} }$ bewiesen, sodass diese Folge und damit die Reihe konvergiert.

Definition des Cauchy-Kriteriums

Fassen wir zusammen:

Definition (Cauchy-Kriterium für Reihen)

Eine Reihe $\sum _{k=1}^{\infty }a_{k}$ erfüllt das Cauchy-Kriterium für Reihen, wenn gilt

$\forall \epsilon >0\,\exists N\in \mathbb {N} \,\forall n\geq m\geq N:\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon$

Das Cauchy-Kriterium übersetzt:

$\underbrace {{\underset {}{}}\forall \epsilon >0} _{{\text{Zu jedem Abstand }}\epsilon >0}\ \underbrace {{\underset {}{}}\exists N\in \mathbb {N} } _{{\text{ existiert ein Mindestindex }}N}\ \underbrace {{\underset {}{}}\forall n\geq m\geq N:} _{{\text{so dass für alle Indizes }}n\geq m\geq N}\ \underbrace {{\underset {}{}}\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon } _{{\text{ der Betrag von }}\sum _{k=m}^{n}a_{k}{\text{ kleiner als }}\epsilon {\text{ ist}}}$

Außerdem haben wir in der Herleitung bereits folgenden Satz bewiesen:

Satz (Cauchy-Kriterium ist äquivalent zur Konvergenz)

Eine konvergente Reihe erfüllt das Cauchy-Kriterium, und umgekehrt besitzt jede reelle Reihe, die das Cauchy-Kriterium erfüllt, einen reellen Grenzwert.

Frage: Warum findet man in manchen Lehrbüchern die Definition des Cauchy-Kriteriums mit $n\geq m>N$ anstatt mit $n\geq m\geq N$?

Die beiden verschiedenen Definitionen stehen nicht im Widerspruch zueinander: $n\geq m>N$ ist äquivalent zu $n\geq m\geq N+1$. Nach der Benennung $M=N+1$ erhältst du wieder die bekannte Definition mit $n\geq m\geq M$. Die Definitionen unterscheiden sich also nur dahingehend, ob $m=N$ bzw. $n=N$ erlaubt sein soll oder nicht, die Aussage über die Konvergenz bleibt dieselbe.

In der Praxis wird das Cauchy-Kriterium nur selten eingesetzt, um die Konvergenz von konkret gegebenen Reihen zu zeigen. In solchen Fällen greift man oft auf andere Konvergenzkriterien zurück. Jedoch wird das Cauchy-Kriterium häufig in Beweisen eingesetzt. Beispielsweise kann das Trivialkriterium mit Hilfe des Cauchy-Kriteriums bewiesen werden. Außerdem kann mit diesem Kriterium gezeigt werden, dass jede absolut konvergente Reihe auch im gewöhnlichen Sinne konvergiert.

In der Herleitung hast du auch gesehen, dass das Cauchy-Kriterium für Reihen nichts anderes als das Cauchy-Kriterium für Folgen ist, nur dass dieses konkret auf die Folge der Partialsummen angewandt wurde.

Folgerung: Änderung endlich vieler Summanden ändert das Konvergenzverhalten nicht

Aus dem Cauchy-Kriterium können wir direkt folgern, dass sich das Konvergenzverhalten einer Reihe nicht ändert, wenn der Wert von endlich vielen Summanden der Reihe geändert wird. Nimm eine Reihe $\sum _{k=1}^{\infty }a_{k}$, in der du endlich viele Summanden änderst. Sei nun $a_{N}$ der Summand mit maximalem Index, dessen Wert verändert wurde. Für alle $n\geq m\geq N+1$ ändert sich der Betrag $\left|\sum _{k=m}^{n}a_{k}\right|$ nicht. Wenn also die Reihe $\sum _{k=1}^{\infty }a_{k}$ das Cauchy-Kriterium erfüllt, erfüllt auch die veränderte Reihe das Cauchy-Kriterium und umgekehrt. Nun ist die Erfüllung des Cauchy-Kriteriums gleichbedeutend mit der Konvergenz der Reihe. Dies zeigt, dass das Konvergenzverhalten einer Reihe nicht geändert wird, wenn man endlich viele Summanden der Reihe ändert (der Grenzwert der Reihe kann dadurch aber schon ein anderer werden).

Beweisstruktur

Konvergenzbeweis

Die Definition des Cauchy-Kriteriums für eine Reihe $\sum _{k=1}^{\infty }a_{k}$ lautet:

${\color {Red}\forall \epsilon >0}\ {\color {RedOrange}\exists N\in \mathbb {N} }\ {\color {OliveGreen}\forall n\geq m\geq N}:{\color {Blue}\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon }$

Aus dieser Definition lässt sich eine Struktur für Konvergenzbeweise mit dem Cauchy-Kriterium herleiten:

${\begin{array}{l}{\color {Red}\underbrace {{\underset {}{}}{\text{Sei }}\epsilon >0{\text{ beliebig.}}} _{\forall \epsilon >0}}\ {\color {RedOrange}\underbrace {{\underset {}{}}{\text{Wähle }}N=\ldots {\text{ Es existiert }}N{\text{, weil}}\ldots } _{\exists N\in \mathbb {N} }}\\{\color {OliveGreen}\underbrace {{\underset {}{}}{\text{Sei }}n\geq m\geq N{\text{ beliebig.}}} _{\forall n\geq m\geq N}}\ {\color {Blue}\underbrace {{\underset {}{}}{\text{Es ist: }}\left|\sum _{k=m}^{n}a_{k}\right|<\ldots <\epsilon } _{{}\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon }}\end{array}}$

Obige Beweisstruktur sollte dir eine Orientierung geben, um den Beweis am Ende aufzuschreiben.

Divergenzbeweis

Auch für Divergenzbeweise mit dem Cauchy-Kriterium gibt es eine Beweisstruktur. Hier lautet die formale Definition:

${\color {Red}\exists \epsilon >0}\ {\color {RedOrange}\forall N\in \mathbb {N} }\ {\color {OliveGreen}\exists n\geq m\geq N}:{\color {Blue}\left|\sum _{k=m}^{n}a_{k}\right|\geq \epsilon }$

Die Beweisstruktur lautet nun:

${\begin{array}{l}{\color {Red}\underbrace {{\underset {}{}}{\text{Wähle }}\epsilon =\ldots } _{\exists \epsilon >0}}\ {\color {RedOrange}\underbrace {{\underset {}{}}{\text{Sei }}N\in \mathbb {N} {\text{ beliebig.}}} _{\forall N\in \mathbb {N} }}\\{\color {OliveGreen}\underbrace {{\underset {}{}}{\text{Wähle }}n=\ldots {\text{ und }}m=\ldots } _{\exists n\geq m\geq N}}\\{\color {Black}{\text{Es ist:}}}\\[0.5em]\quad \quad {\color {Blue}{\text{Beweis für }}\left|\sum _{k=m}^{n}a_{k}\right|\geq \epsilon }\end{array}}$

Hinweis

Manchmal sind bei Konvergenz- oder Divergenzbeweisen gewisse Begründungen offensichtlich. Dann können diese weggelassen werden. Beispielsweise wird manchmal im Divergenzbeweis $\epsilon =1$ gewählt. Dann muss nicht bewiesen werden, dass $\epsilon$ existiert, weil die Zahl $1$ offensichtlich existiert.

Beweis finden

Nun unterscheidet sich der Lösungsweg zum Aufstellen eines Beweises meist davon, wie der Beweis später aufgeschrieben wird. Dies ist oftmals auch bei Beweisen mit dem Cauchy-Kriterium der Fall. Deswegen möchte ich dir an dieser Stelle erklären, wie du Beweise mit dem Cauchy-Kriterium finden kannst.

Konvergenzbeweis

Kern des Beweises der Konvergenz einer Reihe mit dem Cauchy-Kriterium ist die Ungleichungskette $\left|\sum _{k=m}^{n}a_{k}\right|<\ldots <\epsilon$. Sprich: Egal wie klein $\epsilon >0$ vorgegeben ist, man muss eine hinreichend große Zahl $N\in \mathbb {N}$ finden, so dass $\left|\sum _{k=m}^{n}a_{k}\right|<\epsilon$ für $m\geq n\geq N$ ist. Um diese Ungleichungskette zu finden, wird oft zunächst $\left|\sum _{k=m}^{n}a_{k}\right|$ geschickt nach oben abgeschätzt. Man stellt also eine Ungleichungskette der folgenden Form auf:

$\left|\sum _{k=m}^{n}a_{k}\right|\leq T_{1}(n,m)\leq T_{2}(n,m)\leq \ldots \leq T_{k}(n,m)$

Dabei sind $T_{k}(n,m)$ Terme, die von $m$ und $n$ abhängen. Das Ziel dabei ist, die Terme mit den Abschätzungen oder Termumformungen schrittweise zu vereinfachen. Jedoch musst du darauf achten, dass du nicht zu stark abschätzt. Jeder der Terme $T_{k}(n,m)$ muss nämlich kleiner als ein beliebig vorgegebenes $\epsilon >0$ sein, wenn nur $m$ und $n$ hinreichend groß sind. Während der Abschätzung kann man beliebige Bedingungen der Form $m\geq N(\epsilon )$ oder $n\geq N(\epsilon )$ vornehmen, wenn dies notwendig ist. Jedoch kann ich dir an dieser Stelle kein Allgemeinrezept dafür geben, welche Abschätzungen sinnvoll sind. Auch musst du manchmal gewisse (Rechen-)Tricks vornehmen.

Nachdem man in der Ungleichungskette die Terme ausreichend vereinfacht hat, kann man den letzten Term $T_{k}(n,m)$ kleiner als $\epsilon$ setzen. Man schaut sich also die Ungleichung $T_{k}(n,m)<\epsilon$ an. Durch Äquivalenzumformungen findet man nun Bedingungen an $m$ und $n$, damit der Term $T_{k}(n,m)$ garantiert kleiner als $\epsilon$ ist.

Als letztes muss man das $N$ wählen, indem man alle gefundenen Bedingungen an $m$ und $n$ zusammenfasst. Hier kann man zunächst alle Bedingungen der Form $m\geq N(\epsilon )$ in $n\geq N(\epsilon )$ umschreiben. Wegen $m\geq n$ folgt nämlich aus $n\geq N(\epsilon )$, dass auch $m\geq N(\epsilon )$ ist. Wenn du nun die Bedingungen $n\geq N_{1}(\epsilon )$, $n\geq N_{2}(\epsilon )$ bis $n\geq N_{k}(\epsilon )$ hast, dann kannst du $N=\max\{N_{1}(\epsilon ),N_{2}(\epsilon ),\ldots N_{k}(\epsilon )\}$ im späteren Beweis wählen. Aus $n\geq N=\max\{N_{1}(\epsilon ),\ldots N_{k}(\epsilon )\}$ folgt nämlich, dass $n$ größer oder gleich jedes der $N_{i}(\epsilon )$ ist. Stell dir zum Beispiel vor, dass du für deine Ungleichungskette folgende Bedingungen brauchst:

• $n\geq {\frac {1}{\epsilon }}$
• $n\geq \log(1+\epsilon )$
• $n\geq 42$

Du kannst dann $N=\max \left\{{\tfrac {1}{\epsilon }},\log(1+\epsilon ),42\right\}$ im Beweis wählen.

Divergenzbeweis

Um die Divergenz einer Reihe mit dem Cauchy-Kriterium zu zeigen, muss man ein festes $\epsilon$ finden, das die Ungleichungskette $\left|\sum _{k=m}^{n}a_{k}\right|\geq \ldots \geq \epsilon$ erfüllt. Im Gegensatz zum Konvergenzbeweis muss die Ungleichung jedoch für $n,m\geq N$ für alle $N\in \mathbb {N}$ gelten. Dafür schreibt man oft die ersten Summanden von $\left|\sum _{k=m}^{n}a_{k}\right|$ aus und versucht dann, diese geeignet nach unten abzuschätzen. Dabei nutzt man aus, dass man die obere Grenze $n$ der Summe in Abhängigkeit von $m$ beliebig wählen kann (bis auf die Einschränkung $n\geq m$). Auf diese Weise kann man $\left|\sum _{k=m}^{n}a_{k}\right|$ so groß werden lassen, dass egal für welches $N\in \mathbb {N}$ der Wert von $\left|\sum _{k=m}^{n}a_{k}\right|$ immer größer als eine feste positive reelle Zahl ist. $\epsilon$ setzt man nun auf den Wert dieser Zahl.

Wiederum gibt es für die Abschätzungen der einzelnen Summanden und die Wahl von $n$ kein Allgemeinrezept. Oftmals reicht es jedoch schon, die Summanden jeweils auf den kleinsten Wert zu setzen, der unter ihnen auftritt und $n=tm$ mit entsprechendem $t\in \mathbb {N}$ zu verwenden.

Beispielaufgaben

Beispielaufgabe für Konvergenz

Aufgabe

Beweise mit Hilfe des Cauchy-Kriteriums, dass die Reihe $\sum _{k=1}^{\infty }{\tfrac {1}{k^{2}}}$ konvergiert.

Wie kommt man auf den Beweis?

Hierzu verwenden wir zwei Tricks. Zunächst beachte, dass ${\tfrac {1}{k}}<{\tfrac {1}{k-1}}$. Außerdem verwenden wir die Gleichung ${\tfrac {1}{k(k-1)}}={\tfrac {1}{k-1}}-{\tfrac {1}{k}}$. So erhalten wir

$\sum _{k=m}^{n}{\frac {1}{k^{2}}}<\sum _{k=m}^{n}{\frac {1}{k(k-1)}}=\sum _{k=m}^{n}\left({\frac {1}{k-1}}-{\frac {1}{k}}\right)$

Die Summe $\sum _{k=m}^{n}\left({\tfrac {1}{k-1}}-{\tfrac {1}{k}}\right)$ ist eine Teleskopsumme, so dass man die Summe auflösen kann:

${\begin{aligned}\sum _{k=m}^{n}\left({\frac {1}{k-1}}-{\frac {1}{k}}\right)&=\left({\frac {1}{m-1}}-{\frac {1}{m}}\right)+\left({\frac {1}{m}}-{\frac {1}{m+1}}\right)+\ldots \left({\frac {1}{n-1}}-{\frac {1}{n}}\right)\\[1em]&={\frac {1}{m-1}}+\left(-{\frac {1}{m}}+{\frac {1}{m}}\right)+\left(-{\frac {1}{m+1}}+{\frac {1}{m+1}}\right)+\ldots -{\frac {1}{n}}\\[1em]&={\frac {1}{m-1}}-{\frac {1}{n}}\\[1em]&<{\frac {1}{m-1}}\end{aligned}}$

Insgesamt können wir so $\sum _{k=m}^{n}{\tfrac {1}{k^{2}}}<{\tfrac {1}{m-1}}$ beweisen. Der rechte Term ${\tfrac {1}{m-1}}$ geht aber gegen Null, wenn $m\to \infty$ geht. So können wir das Cauchy-Kriterium nachweisen.

Beweis

Sei $\epsilon >0$ beliebig. Wähle nun $N\in \mathbb {N}$ so groß, dass ${\tfrac {1}{N-1}}<\epsilon$ ist. Dieses $N$ existiert, weil $\lim _{N\to \infty }{\tfrac {1}{N-1}}=0$ ist. Sei nun $n\geq m\geq N$ beliebig. Es ist:

${\begin{aligned}\sum _{k=m}^{n}{\frac {1}{k^{2}}}&<\sum _{k=m}^{n}{\frac {1}{k(k-1)}}\\[0.5em]&=\sum _{k=m}^{n}\left({\frac {1}{k-1}}-{\frac {1}{k}}\right)\\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ {\text{Teleskop-Summe}}\right.}\\[0.5em]&={\frac {1}{m-1}}-{\frac {1}{n}}\\[0.5em]&<{\frac {1}{m-1}}\\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ m\geq N\right.}\\[0.5em]&\leq {\frac {1}{N-1}}\\[0.5em]&<\epsilon \end{aligned}}$

Damit erfüllt die Reihe $\sum _{k=1}^{\infty }{\tfrac {1}{k^{2}}}$ das Cauchy-Kriterium für Reihen und muss somit konvergieren.

Beispielaufgabe für Divergenz

Aufgabe

Beweise mit Hilfe des Cauchy-Kriteriums, dass die harmonische Reihe $\sum _{k=1}^{\infty }{\frac {1}{k}}$ divergiert.

Wie kommt man auf den Beweis?

Hier nutzen wir einen Trick. Es ist nämlich

${\begin{aligned}{\frac {1}{n+1}}+{\frac {1}{n+2}}+\ldots +{\frac {1}{2n}}&\geq {\frac {1}{2n}}+{\frac {1}{2n}}+\ldots +{\frac {1}{2n}}\\[0.5em]&=n\cdot {\frac {1}{2n}}\\[0.5em]&={\frac {1}{2}}\end{aligned}}$

Damit ist

$\left|\sum _{k=n+1}^{2n}{\frac {1}{k}}\right|={\frac {1}{n+1}}+\ldots +{\frac {1}{2n}}\geq {\frac {1}{2}}$

Dies zeigt, dass $\left|\sum _{k=n+1}^{2n}{\frac {1}{k}}\right|$ nicht beliebig klein werden kann, sodass das Cauchy-Kriterium nicht erfüllt ist.

Beweis

Sei $0<\epsilon \leq {\tfrac {1}{2}}$ beliebig (zum Beispiel $\epsilon ={\tfrac {1}{4}}$). Sei $N\in \mathbb {N}$ beliebig. Für $n\geq N$ gilt nun:

${\begin{aligned}\left|\sum _{k=n+1}^{2n}{\frac {1}{k}}\right|&={\frac {1}{n+1}}+{\frac {1}{n+2}}+\ldots +{\frac {1}{2n}}\\[0.5em]&\geq {\frac {1}{2n}}+{\frac {1}{2n}}+\ldots +{\frac {1}{2n}}\\[0.5em]&=n\cdot {\frac {1}{2n}}\\[0.5em]&={\frac {1}{2}}\\&\geq \epsilon \end{aligned}}$

Es kann also kein $N\in \mathbb {N}$ geben, sodass $\left|\sum _{k=n+1}^{2n}{\frac {1}{k}}\right|$ kleiner als $\epsilon$ für $n\geq N$ wird. Dies zeigt, dass die Reihe $\sum _{k=1}^{\infty }{\frac {1}{k}}$ das Cauchy-Kriterium für Reihen nicht erfüllt. Damit muss diese Reihe divergieren.

Als weiteres Beispiel kann man auch die Konvergenz der alternierenden harmonischen Reihe mit Hilfe des Cauchy-Kriteriums zeigen. Siehe dazu die entsprechende Übungsaufgabe.