Reelle Zahlen/Konvergente Folgen/Rechenregeln/Textabschnitt

Lemma

Es seien ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ und ${}{\left(y_{n}\right)}_{n\in \mathbb {N} }$ konvergente Folgen. Dann gelten folgende Aussagen.

1. Die Folge ${}{\left(x_{n}+y_{n}\right)}_{n\in \mathbb {N} }$ ist konvergent und es gilt

   ${}\lim _{n\rightarrow \infty }{\left(x_{n}+y_{n}\right)}={\left(\lim _{n\rightarrow \infty }x_{n}\right)}+{\left(\lim _{n\rightarrow \infty }y_{n}\right)}\,.$

2. Die Folge ${}{\left(x_{n}\cdot y_{n}\right)}_{n\in \mathbb {N} }$ ist konvergent und es gilt

   ${}\lim _{n\rightarrow \infty }{\left(x_{n}\cdot y_{n}\right)}={\left(\lim _{n\rightarrow \infty }x_{n}\right)}\cdot {\left(\lim _{n\rightarrow \infty }y_{n}\right)}\,.$

3. Für ${}c\in \mathbb {R}$ gilt

   ${}\lim _{n\rightarrow \infty }cx_{n}=c{\left(\lim _{n\rightarrow \infty }x_{n}\right)}\,.$

4. Es sei ${}\lim _{n\rightarrow \infty }x_{n}=x\neq 0$ und ${}x_{n}\neq 0$ für alle ${}n\in \mathbb {N}$. Dann ist ${}{\left({\frac {1}{x_{n}}}\right)}_{n\in \mathbb {N} }$ ebenfalls konvergent mit

   ${}\lim _{n\rightarrow \infty }{\frac {1}{x_{n}}}={\frac {1}{x}}\,.$

5. Es sei ${}\lim _{n\rightarrow \infty }x_{n}=x\neq 0$ und ${}x_{n}\neq 0$ für alle ${}n\in \mathbb {N}$. Dann ist ${}{\left({\frac {y_{n}}{x_{n}}}\right)}_{n\in \mathbb {N} }$ ebenfalls konvergent mit

   ${}\lim _{n\rightarrow \infty }{\frac {y_{n}}{x_{n}}}={\frac {\lim _{n\rightarrow \infty }y_{n}}{x}}\,.$

Beweis

(1). Es seien ${}x$ bzw. ${}y$ die Grenzwerte der beiden Folgen. Sei ${}\epsilon >0$ vorgegeben. Wegen der Konvergenz der ersten Folge gibt es zu

${}\epsilon '={\frac {\epsilon }{2}}\,$

ein ${}n_{0}$ derart, dass für alle ${}n\geq n_{0}$ die Abschätzung

${}\vert {x_{n}-x}\vert \leq \epsilon '\,$

gilt. Ebenso gibt es wegen der Konvergenz der zweiten Folge zu ${}\epsilon '={\frac {\epsilon }{2}}$ ein ${}n_{0}'$ derart, dass für alle ${}n\geq n_{0}'$ die Abschätzung

${}\vert {y_{n}-y}\vert \leq \epsilon '\,$

gilt. Sei

${}N={\max {\left(n_{0},n_{0}'\right)}}\,.$

Dann gilt für alle ${}n\geq N$ (unter Verwendung der Dreiecksungleichung) die Abschätzung

${}{\begin{aligned}\vert {x_{n}+y_{n}-(x+y)}\vert &=\vert {x_{n}+y_{n}-x-y}\vert \\&=\vert {x_{n}-x+y_{n}-y}\vert \\&\leq \vert {x_{n}-x}\vert +\vert {y_{n}-y}\vert \\&\leq \epsilon '+\epsilon '\\&=\epsilon .\end{aligned}}$

(2). Sei ${}\epsilon >0$ vorgegeben. Die konvergente Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ ist nach Fakt insbesondere beschränkt und daher existiert ein ${}D>0$ mit ${}\vert {x_{n}}\vert \leq D$ für alle ${}n\in \mathbb {N}$. Sei ${}x:=\lim _{n\rightarrow \infty }x_{n}$ und ${}y:=\lim _{n\rightarrow \infty }y_{n}$. Wir setzen ${}C:=\max\{D,\vert {y}\vert \}$. Aufgrund der Konvergenz gibt es natürliche Zahlen ${}N_{1}$ und ${}N_{2}$ mit

$\vert {x_{n}-x}\vert \leq {\frac {\epsilon }{2C}}{\text{ für }}n\geq N_{1}{\text{ und }}\vert {y_{n}-y}\vert \leq {\frac {\epsilon }{2C}}{\text{ für }}n\geq N_{2}.$

Diese Abschätzungen gelten dann auch für alle ${}n\geq N:=\max\{N_{1},N_{2}\}$. Für diese Zahlen gilt daher

${}{\begin{aligned}\vert {x_{n}y_{n}-xy}\vert &=\vert {x_{n}y_{n}-x_{n}y+x_{n}y-xy}\vert \\&\leq \vert {x_{n}y_{n}-x_{n}y}\vert +\vert {x_{n}y-xy}\vert \\&=\vert {x_{n}}\vert \vert {y_{n}-y}\vert +\vert {y}\vert \vert {x_{n}-x}\vert \\&\leq C{\frac {\epsilon }{2C}}+C{\frac {\epsilon }{2C}}\\&=\epsilon .\end{aligned}}$

Für die anderen Teile siehe Aufgabe, Aufgabe und Aufgabe.

$\Box$

Wir beschreiben eine typische Anwendung des vorstehenden Satzes.

Beispiel

Wir betrachten die durch

${}x_{n}={\frac {-5n^{3}+6n^{2}-n+8}{11n^{3}+7n^{2}+3n-1}}\,$

definierte Folge und wollen wissen, ob und gegebenenfalls wogegen sie konvergiert. Man kann Fakt nicht unmittelbar anwenden, da weder der Zähler noch der Nenner konvergiert. Allerdings kann man den folgenden Trick anwenden, man schreibt

${}x_{n}={\frac {-5n^{3}+6n^{2}-n+8}{11n^{3}+7n^{2}+3n-1}}={\frac {{\left(-5n^{3}+6n^{2}-n+8\right)}{\frac {1}{n^{3}}}}{{\left(11n^{3}+7n^{2}+3n-1\right)}{\frac {1}{n^{3}}}}}={\frac {-5+{\frac {6}{n}}-{\frac {1}{n^{2}}}+{\frac {8}{n^{3}}}}{11+{\frac {7}{n}}+{\frac {3}{n^{2}}}-{\frac {1}{n^{3}}}}}\,.$

In dieser Form sind die Zähler- und die Nennerfolge konvergent, und zwar gegen ${}-5$ bzw. ${}11$, und daher konvergiert die Folge gegen ${}-{\frac {5}{11}}$.