Angeordneter Körper/Konvergente Folgen/Rechenregeln/1/Fakt/Beweis

Beweis

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}}$

Zur bewiesenen Aussage