Grenzwerte von Folgen und die Epsilon-Definition verstehen.

Eine Folge konvergiert, wenn ihre Glieder einem festen Wert beliebig nahe kommen und ab einem bestimmten Index auch nahe bleiben. Die Epsilon-Definition übersetzt dieses Bild in eine präzise Aussage.

Was ist der Grenzwert einer Folge?

Eine reelle Folge $(a_n)$ ist eine Zuordnung von natürlichen Zahlen zu reellen Zahlen. Wir schreiben

$$(a_n)_{n\in\mathbb{N}}, \qquad a_n\in\mathbb{R}.$$

Für die Folge $a_n=1/n$ werden die Glieder mit wachsendem $n$ immer kleiner. Anschaulich ist der Grenzwert null:

$$\lim_{n\to\infty}\frac{1}{n}=0.$$

Die Epsilon-Definition in Worten

Formal gilt $a_n\to a$, wenn

$$\forall \epsilon>0\quad \exists N\in\mathbb{N}\quad \forall n\ge N: |a_n-a|<\epsilon.$$

Die Reihenfolge der Quantoren ist entscheidend:

1. Jemand darf eine beliebig kleine Toleranz $\epsilon$ vorgeben.
2. Danach müssen wir einen passenden Startindex $N$ finden.
3. Für alle späteren Indizes $n\ge N$ muss der Abstand kleiner als $\epsilon$ bleiben.

Der Index $N$ darf von $\epsilon$ abhängen. Er darf aber nicht nachträglich für jedes einzelne $n$ neu gewählt werden.

Einen Epsilon-Beweis führen

Wir beweisen $1/n\to0$. Zu zeigen ist

$$\left|\frac{1}{n}-0\right|<\epsilon.$$

Da $n$ positiv ist, vereinfacht sich der Betrag zu $1/n$. Durch Umstellen erhalten wir die hinreichende Bedingung

$$n>\frac{1}{\epsilon}.$$

Wir wählen also eine natürliche Zahl $N$, die größer als $1/\epsilon$ ist. Für jedes $n\ge N$ gilt dann

$$\left|\frac{1}{n}\right|\le\frac{1}{N}<\epsilon.$$

Damit ist die Konvergenz bewiesen.

Vom Rückwärtsrechnen zum Beweistext

Beim Finden von $N$ darfst du von der gewünschten Ungleichung rückwärts rechnen. Im fertigen Beweis wird die Argumentation vorwärts geschrieben:

1. Sei $\epsilon>0$ beliebig.
2. Wähle $N\in\mathbb{N}$ mit $N>1/\epsilon$.
3. Für jedes $n\ge N$ folgt $|1/n|\le1/N<\epsilon$.
4. Also konvergiert die Folge gegen null.

Diese Trennung verhindert Zirkelschlüsse: Die Entdeckung darf rückwärts verlaufen, die Begründung muss vorwärts tragen.

Rechenregeln für Grenzwerte

Konvergieren $a_n\to a$ und $b_n\to b$, dann gelten unter den üblichen Voraussetzungen

$$\lim_{n\to\infty}(a_n+b_n)=a+b,$$

$$\lim_{n\to\infty}(a_nb_n)=ab$$

und für $b\neq0$ sowie schließlich $b_n\neq0$

$$\lim_{n\to\infty}\frac{a_n}{b_n}=\frac{a}{b}.$$

Die Regeln erleichtern Rechnungen, ersetzen aber nicht die Prüfung, ob die einzelnen Grenzwerte und Voraussetzungen tatsächlich vorliegen.

Typische Missverständnisse

Fazit

Die Epsilon-Definition macht „beliebig nahe“ messbar. Wer zuerst die Abstandsforderung nach $n$ umstellt und danach einen sauberen Vorwärtsbeweis schreibt, kann viele elementare Konvergenzbeweise nach demselben Muster lösen.