Kurs:Analysis (Osnabrück 2013-2015)/Teil I/Arbeitsblatt 5

Übungsaufgaben

Aufgabe

Es sei ${}K$ ein angeordneter Körper und ${}a\in K$. Zeige, dass die Gleichung ${}x^{2}=a$ höchstens zwei Lösungen in ${}K$ besitzt.

Aufgabe

Zeige, dass es in ${}\mathbb {Q}$ kein Element ${}x$ mit ${}x^{2}=2$ gibt.

Aufgabe

Berechne von Hand die Approximationen ${}x_{1},x_{2},x_{3},x_{4}$ im Heron-Verfahren für die Quadratwurzel von ${}5$ zum Startwert ${}x_{0}=3$.

Aufgabe *

Führe die ersten drei Schritte des babylonischen Wurzelziehens zu ${}b=7$ mit dem Startwert ${}x_{0}=3$ durch (es sollen also die Approximationen ${}x_{1},x_{2},x_{3}$ für ${}{\sqrt {7}}$ berechnet werden; diese Zahlen müssen als gekürzte Brüche angegeben werden).

Aufgabe

Es sei ${}K$ ein angeordneter Körper. Zeige, dass ${}K$ genau dann archimedisch angeordnet ist, wenn die Folge der Stammbrüche ${}{\frac {1}{n}},\,n\geq 1$, gegen ${}0$ konvergiert.

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?

Aufgabe

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine gegen ${}x$ konvergente Folge in einem angeordneten Körper. Zeige, dass jede Teilfolge ebenfalls gegen ${}x$ konvergiert.

Aufgabe

Man gebe ein Beispiel für eine Folge, die nicht konvergiert, aber eine konvergente Teilfolge enthält.

Aufgabe

Man untersuche die folgenden Teilmengen ${}M\subseteq \mathbb {Q}$ auf die Begriffe obere Schranke, untere Schranke, Supremum, Infimum, Maximum und Minimum.

1. ${}\{2,-3,-4,5,6,-1,1\}$,
2. ${}\left\{{\frac {1}{2}},{\frac {-3}{7}},{\frac {-4}{9}},{\frac {5}{9}},{\frac {6}{13}},{\frac {-1}{3}},{\frac {1}{4}}\right\}$,
3. ${}]-5,2]$,
4. ${}{\left\{{\frac {1}{n}}\mid n\in \mathbb {N} _{+}\right\}}$,
5. ${}{\left\{{\frac {1}{n}}\mid n\in \mathbb {N} _{+}\right\}}\cup \{0\}$,
6. ${}\mathbb {Q} _{-}$,
7. ${}{\left\{x\in \mathbb {Q} \mid x^{2}\leq 2\right\}}$,
8. ${}{\left\{x\in \mathbb {Q} \mid x^{2}\leq 4\right\}}$,
9. ${}{\left\{x^{2}\mid x\in \mathbb {Z} \right\}}$.

Aufgabe

Es sei ${}K$ ein angeordneter Körper und ${}M\subseteq K$ eine Teilmenge, die ein Supremum ${}T$ besitze. Zeige, dass ${}T$ genau dann das Maximum von ${}M$ ist, wenn ${}T\in M$ ist.

Aufgabe *

Hans will sich ein Frühstücksei kochen. Im Moment, als er das Ei in das kochende Wasser eintaucht, zeigt seine Uhr ${}7:21$ (die Uhr läuft genau und hat keine Sekundenangabe). Als er das nächste Mal auf die Uhr schaut, zeigt sie ${}7:26$ an. Bestimme das Infimum, Minimum, Supremum, Maximum der Zeit, die das Ei zwischen den beiden Momenten im Wasser ist.

In den beiden folgenden Aufgaben geht es um die Folge der Fibonacci-Zahlen.

Die Folge der Fibonacci-Zahlen ${}f_{n}$ ist rekursiv definiert durch

$f_{1}:=1\,,f_{2}:=1{\text{ und }}f_{n+2}:=f_{n+1}+f_{n}.$

Aufgabe *

Beweise durch Induktion die Simpson-Formel oder Simpson-Identität für die Fibonacci-Zahlen ${}f_{n}$. Sie besagt (für $n\geq 2$)

${}f_{n+1}f_{n-1}-f_{n}^{2}=(-1)^{n}\,.$

Aufgabe

Beweise durch Induktion die Binet-Formel für die Fibonacci-Zahlen. Diese besagt, dass

${}f_{n}={\frac {{\left({\frac {1+{\sqrt {5}}}{2}}\right)}^{n}-{\left({\frac {1-{\sqrt {5}}}{2}}\right)}^{n}}{\sqrt {5}}}\,$

gilt (${}n\geq 1$).

Aufgabe

Es sei ${}K$ ein angeordneter Körper und sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}K$ mit ${}x_{n}>0$ für alle ${}n\in \mathbb {N}$. Zeige, dass die Folge genau dann bestimmt divergent gegen ${}+\infty$ ist, wenn ${}{\left({\frac {1}{x_{n}}}\right)}_{n\in \mathbb {N} }$ gegen ${}0$ konvergiert.

Aufgabe

Es sei ${}K$ ein angeordneter Körper. Man gebe ein Beispiel einer Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$, für die es sowohl eine bestimmt gegen ${}+\infty$ als auch eine bestimmt gegen ${}-\infty$ divergente Teilfolge gibt.

Aufgabe

Es sei ${}K$ ein angeordneter Körper. Zeige, dass eine bestimmt gegen ${}+\infty$ divergente Folge in ${}K$ nach unten beschränkt ist.

Man gebe ein Beispiel einer Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$, die nach unten, aber nicht nach oben beschränkt ist, und die nicht bestimmt divergent gegen ${}+\infty$ ist.

Aufgabe

Bestimme alle Häufungspunkte der Folge ${}(a_{n})_{n\in \mathbb {N} }$, welche durch

$a_{n}=(-1)^{n}\left(1-{\frac {1}{n}}\right)-{\frac {1}{n}}$

gegeben ist.

Aufgaben zum Abgeben

Aufgabe (2 Punkte)

Es sei ${}K$ ein angeordneter Körper und sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine konvergente Folge in ${}K$ mit Grenzwert ${}x$. Zeige, dass dann auch die Folge

${\left(\vert {x_{n}}\vert \right)}_{n\in \mathbb {N} }$

konvergiert, und zwar gegen ${}\vert {x}\vert$.

Aufgabe (3 Punkte)

Es sei ${}K$ ein archimedisch angeordneter Körper und ${}x\in K$ mit ${}\vert {x}\vert <1$. Zeige, dass die Folge

${}x_{n}:=x^{n}\,$

gegen ${}0$ konvergiert.

Aufgabe (3 Punkte)

Es sei ${}K$ ein archimedisch angeordneter Körper. Zeige, dass die Folge

${\left({\frac {n}{2^{n}}}\right)}_{n\in \mathbb {N} }$

gegen ${}0$ konvergiert.

Aufgabe (3 Punkte)

Man gebe Beispiele für konvergente Folgen ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ und ${}{\left(y_{n}\right)}_{n\in \mathbb {N} }$ in einem angeordneten Körper ${}K$ mit ${}x_{n}\neq 0$, ${}n\in \mathbb {N}$, und mit ${}\lim _{n\rightarrow \infty }x_{n}=0$ derart, dass die Folge

${\left({\frac {y_{n}}{x_{n}}}\right)}_{n\in \mathbb {N} }$

1. gegen ${}0$ konvergiert,
2. gegen ${}1$ konvergiert,
3. divergiert.

Aufgabe (3 Punkte)

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine reelle Folge und ${}x\in \mathbb {R}$. Zeige, dass ${}x$ genau dann ein Häufungspunkt der Folge ist, wenn es eine gegen ${}x$ konvergente Teilfolge gibt.