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

Beweis

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

Zur bewiesenen Aussage