Angeordneter Körper/Konvergente Folge/Beschränkt/Fakt/Beweis

Beweis

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ die konvergente Folge mit dem Limes ${}x\in K$ und es sei ein ${}\epsilon >0$ gewählt. Aufgrund der Konvergenz gibt es ein ${}n_{0}$ derart, dass

$\vert {x_{n}-x}\vert \leq \epsilon {\text{ für alle }}n\geq n_{0}.$

Dann ist insbesondere

$\vert {x_{n}}\vert \leq \vert {x}\vert +\vert {x-x_{n}}\vert \leq \vert {x}\vert +\epsilon {\text{ für alle }}n\geq n_{0}.$

Unterhalb von ${}n_{0}$ gibt es nur endlich viele Zahlen, so dass das Maximum

${}B:=\max _{n<n_{0}}\{\vert {x_{n}}\vert ,\,\vert {x}\vert +\epsilon \}\,$

wohldefiniert ist. Daher ist ${}B$ eine obere Schranke und ${}-B$ eine untere Schranke für ${}{\left\{x_{n}\mid n\in \mathbb {N} \right\}}$.

Zur bewiesenen Aussage