Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Arbeitsblatt 46/kontrolle

Die Pausenaufgabe

Aufgabe Referenznummer erstellen

Zeige, dass im Ring der rationalen Folgen ${}\mathbb {Q} ^{\mathbb {N} }$ die Teilmenge der Nullfolgen kein Ideal bildet.

Übungsaufgaben

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper. Zeige, dass die Menge aller Folgen in ${}K$ (mit gliedweiser Addition und Multiplikation) ein kommutativer Ring ist.

Dieser Folgenring wird mit ${}K^{\mathbb {N} }$ bezeichnet.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper. Zeige, dass die Menge aller Folgen in ${}K$ (mit gliedweiser Addition und Multiplikation) kein Körper ist.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein angeordneter Körper. Zeige, dass die Menge aller konvergenten Folgen in ${}K$ (mit gliedweiser Addition und Multiplikation) ein kommutativer Ring ist.

Aufgabe Referenznummer erstellen

Die beiden Zwillingsschwestern Carmen und Conchita Cauchy waren gestern auf einer tollen Party. Beide haben jeweils genau eine Erinnerungslücke, einen Moment, an den sie sich nicht errinnern können. Sie möchten wissen, ob es sich um die gleiche Lücke handelt. Da es sich um eine Lücke handelt, können sie diese nicht direkt adressieren und untereinander vergleichen. Welche Möglichkeiten haben sie, ihre Erinnerungslücken allein mit Hilfe ihrer Erinnerungen zu vergleichen?

Aufgabe Referenznummer erstellen

Wir nennen zwei Folgen ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ und ${}{\left(y_{n}\right)}_{n\in \mathbb {N} }$ aus ${}\mathbb {Q}$ Cauchy-äquivalent, wenn die folgende Bedingung erfüllt ist: Zu jedem ${}\epsilon >0$ gibt es ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}m,n\geq n_{0}$ die Abschätzung

${}\vert {x_{n}-y_{m}}\vert \leq \epsilon \,$

gilt. Zeige die folgenden Aussagen.

1. Die Cauchy-Äquivalenz ist eine symmetrische und transitive Relation auf dem Folgenring ${}\mathbb {Q} ^{\mathbb {N} }$.
2. Die Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ ist eine Cauchy-Folge genau dann, wenn sie zu sich selbst Cauchy-äquivalent ist.
3. Auf dem Raum aller Cauchy-Folgen ist die Cauchy-Äquivalenz eine Äquivalenzrelation.
4. Auf dem Raum aller Cauchy-Folgen stimmt die Cauchy-Äquivalenz von zwei Folgen mit der Eigenschaft überein, dass ihre Differenzfolge eine Nullfolge ist.
5. Wenn ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Cauchy-Folge ist und ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ zu ${}{\left(y_{n}\right)}_{n\in \mathbb {N} }$ Cauchy-äquivalent ist, so ist auch ${}{\left(y_{n}\right)}_{n\in \mathbb {N} }$ eine Cauchy-Folge.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}K^{\mathbb {N} }$ der zugehörige Folgenring. Es sei ${}k\in \mathbb {N}$ fixiert.

1. Zeige, dass

   ${}I_{k}={\left\{{\left(x_{n}\right)}_{n\in \mathbb {N} }\mid x_{k}=0\right\}}\,$

   ein Ideal in ${}K^{\mathbb {N} }$ ist.

2. Welche Bedeutung hat die durch dieses Ideal gegebene Äquivalenzrelation?
3. Zeige, dass die Gesamtabbildung

   $K\longrightarrow K^{\mathbb {N} }\longrightarrow K^{\mathbb {N} }/I_{k}$

   bijektiv ist.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}K^{\mathbb {N} }$ der zugehörige Folgenring. Zeige, dass durch

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

falls sich die beiden Folgen nur in endlich vielen Gliedern unterscheiden, eine Äquivalenzrelation definiert ist. Rührt diese Äquivalenzrelation von einem Ideal her?

Aufgabe Referenznummer erstellen

Es sei ${}R=\mathbb {Q} ^{\mathbb {N} }$ der Ring aller rationalen Folgen. Ist die Abbildung

$\mathbb {Q} \longrightarrow R,$

die einer rationalen Zahl ihre Dezimalbruchfolge zuordnet, ein Ringhomomorphismus?

Aufgabe Referenznummer erstellen

Wir betrachten die Ringhomomorphismen

$q\colon \mathbb {Z} \longrightarrow \mathbb {Z} /(n)$

und

$q\colon C\longrightarrow C/N=\mathbb {R} ,$

wobei ${}C$ den Ring der rationalen Cauchy-Folgen und ${}N$ das Ideal der Nullfolgen bezeichnet. Zeige, dass es jeweils (über kanonische Repräsentanten) eine natürliche Abbildung ${}s$ in die andere Richtung mit

${}q\circ s=\operatorname {Id} \,$

gibt, die aber kein Ringhomomorphismus ist.

Aufgabe * Referenznummer erstellen

Bildet im Ring aller rationalen Folgen die Teilmenge der in ${}\mathbb {Q}$ konvergenten Folgen ein Ideal?

Aufgabe Referenznummer erstellen

Bildet im Ring aller rationalen Folgen die Teilmenge der in ${}\mathbb {R}$ konvergenten Folgen ein Ideal?

Aufgabe Referenznummer erstellen

Es sei ${}R\subseteq \mathbb {Q} ^{\mathbb {N} }$ der Ring, der aus allen in ${}\mathbb {Q}$ konvergenten, rationalen Folgen besteht.

1. Zeige, dass die Menge der Nullfolgen ein Ideal in ${}R$ bildet.
2. Zeige, dass es einen surjektiven Ringhomomorphismus

   $\varphi \colon R\longrightarrow \mathbb {Q}$

   gibt.

3. Zeige, dass es einen bijektiven Ringhomorphismus

   $\psi \colon R/N\longrightarrow \mathbb {Q}$

   gibt.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein angeordneter Körper und es sei ${}M$ die Menge der wachsenden Folgen in ${}K_{\geq 0}$. Zeige, dass ${}M$ mit der gliedweisen Addition und Multiplikation ein kommutativer Halbring ist.

Aufgabe Referenznummer erstellen

Wir betrachten die Folge ${}{\sqrt {\frac {1}{n}}}$ in ${}\mathbb {R}$. Jedes Folgenglied sei selbst durch die Heron-Folge ${}x_{ni},i\in \mathbb {N}$, mit dem Startwert ${}x_{n0}=1$ repräsentiert. Bestimme die Diagonalfolgenglieder ${}y_{1},y_{2},y_{3},y_{4}$ im Sinne von Satz 46.9.

Aufgabe Referenznummer erstellen

Es sei ${}M$ die Menge aller reellen konvergenten Folgen und

$\Psi \colon M\longrightarrow \mathbb {R} ,\,{\left(x_{n}\right)}_{n\in \mathbb {N} }\longmapsto {\left(\lim _{n\rightarrow \infty }x_{n}\right)},$

die Abbildung, die einer konvergenten Folge ihren Grenzwert zuordnet. Warum ist dies eine (wohldefinierte) Abbildung? Ist ${}\Psi$ injektiv? Ist ${}\Psi$ surjektiv?

Aufgabe Referenznummer erstellen

Bestimme für jedes ${}n\in \mathbb {N}$ den Kern des Potenzierens

$\mathbb {R} ^{\times }\longrightarrow \mathbb {R} ^{\times },\,z\longmapsto z^{n}.$

Aufgabe Referenznummer erstellen

Gibt es Gruppenhomomorphismen

$(\mathbb {R} ,+,0)\longrightarrow (\mathbb {R} ,+,0),$

die nicht ${}\mathbb {R}$-linear sind?

Aufgabe * Referenznummer erstellen

Zeige, dass es keinen Ringhomomorphismus von ${}\mathbb {R}$ nach ${}\mathbb {Q}$ gibt.

Aufgabe Referenznummer erstellen

Es seien ${}K\subseteq L$ archimedisch angeordnete Körper. Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }\in K$ eine in ${}K$ konvergente Folge. Zeige, dass diese Folge auch in ${}L$ konvergiert.

Aufgabe * Referenznummer erstellen

Man gebe ein Beispiel für eine konvergente Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in einem angeordneten Körper ${}K$, die in einem größeren angeordneten Körper

${}K\subseteq L\,$

nicht konvergiert.

Aufgaben zum Abgeben

Aufgabe (2 Punkte)Aufgabe 46.22 ändern

Es sei ${}K$ ein Körper, bei dem eine Teilmenge ${}P\subseteq K$ ausgezeichnet sei, die den folgenden Bedingungen genügt.

1. Für ${}x\in K$ ist entweder ${}x\in P$ oder ${}-x\in P$ oder ${}x=0$.
2. Aus ${}x,y\in P$ folgt ${}x+y\in P$.
3. Aus ${}x,y\in P$ folgt ${}x\cdot y\in P$.

Zeige, dass durch die Festlegung

$x\geq y{\text{ genau dann, wenn }}x=y{\text{ oder }}x-y\in P$

ein angeordneter Körper entsteht.

Aufgabe (2 Punkte)Referenznummer erstellen

Es sei ${}K$ ein angeordneter Körper. Zeige, dass die Menge aller beschränkten Folgen in ${}K$ (mit gliedweiser Addition und Multiplikation) ein kommutativer Ring ist.

Aufgabe (5 Punkte)Referenznummer erstellen

Wir betrachten die Folge ${}z_{n}={\sqrt {\frac {n+1}{n}}}$ in ${}\mathbb {R}$. Jedes Folgenglied sei selbst durch die Heron-Folge ${}x_{ni},i\in \mathbb {N} _{+}$, mit dem Startwert ${}x_{n0}=1$ repräsentiert. Bestimme die Diagonalfolgenglieder ${}y_{1},y_{2},y_{3},y_{4}$ im Sinne von Satz 46.9.

Aufgabe (4 (2+2) Punkte)Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}K^{\mathbb {N} }$ der zugehörige Folgenring. Es sei ${}I\subseteq K^{\mathbb {N} }$ die Menge aller Folgen über ${}K$, bei denen nur endlich viele Glieder von ${}0$ verschieden sind.

1. Zeige, dass ${}I$ ein Ideal in ${}K^{\mathbb {N} }$ ist.
2. Zeige, dass der Restklassenring ${}K^{\mathbb {N} }/I$ kein Körper ist.