Angeordneter Körper/Folge/Pseudokonvergenz/Aufgabe

Betrachte die folgenden (Pseudo)-Definitionen.

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in einem angeordneten Körper und es sei ${}x\in K$.

1. Man sagt, dass die Folge gegen ${}x$ hypervergiert, wenn folgende Eigenschaft erfüllt ist. Zu jedem ${}\epsilon \in K$, ${}\epsilon >0$, und alle ${}n\in \mathbb {N}$ gilt die Beziehung

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

2. Man sagt, dass die Folge gegen ${}x$ supervergiert, wenn folgende Eigenschaft erfüllt ist. Zu jedem ${}\epsilon \in K$, ${}\epsilon \geq 0$, gibt es ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}n\geq n_{0}$ die Beziehung

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

   gilt.

3. Man sagt, dass die Folge gegen ${}x$ megavergiert, wenn folgende Eigenschaft erfüllt ist. Es gibt ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}n\geq n_{0}$ und jedes ${}\epsilon \in K$, ${}\epsilon >0$, die Beziehung

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

   gilt.

4. Man sagt, dass die Folge gegen ${}x$ pseudovergiert, wenn folgende Eigenschaft erfüllt ist. Zu jedem ${}\epsilon \in K$, ${}\epsilon >0$, gibt es ein ${}n\in \mathbb {N}$ derart, dass die Beziehung

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

   gilt.

5. Man sagt, dass die Folge gegen ${}x$ semivergiert, wenn folgende Eigenschaft erfüllt ist. Zu jedem ${}\epsilon \in K$, ${}\epsilon >0$, und jedem ${}n_{0}\in \mathbb {N}$ gibt es ein ${}n\in \mathbb {N}$, ${}n\geq n_{0}$, derart, dass die Beziehung

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

   gilt.

6. Man sagt, dass die Folge gegen ${}x$ protovergiert, wenn folgende Eigenschaft erfüllt ist. Es gibt ein ${}\epsilon \in K$, ${}\epsilon >0$, derart, dass für alle ${}n\in \mathbb {N}$ die Beziehung

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

   gilt.

7. Man sagt, dass die Folge gegen ${}x$ quasivergiert, wenn folgende Eigenschaft erfüllt ist. Es gibt ein ${}\epsilon \in K$, ${}\epsilon >0$, und ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}n\geq n_{0}$ die Beziehung

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

   gilt.

8. Man sagt, dass die Folge gegen ${}x$ deuterovergiert, wenn folgende Eigenschaft erfüllt ist. Zu jedem ${}\epsilon \in K$, ${}\epsilon >0$, gibt es ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}n\geq n_{0}$ die Beziehung

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

   gilt.

Vergleiche diese Definitionen mit der Definition von Konvergenz. Worin besteht der Unterschied? Welche Bedeutung haben die einzelnen Definitionen? Welche Definitionen sind zueinander äquivalent, zwischen welchen besteht eine Implikation (Beweis oder Gegenbeispiel)? Für welche Definitionen ist das ${}x$ eindeutig bestimmt?

Eine Lösung erstellen