Kurs:Einführung in die mathematische Logik (Osnabrück 2014)/Arbeitsblatt 5/kontrolle

Übungsaufgaben

Aufgabe Referenznummer erstellen

Zeige mit Hilfe des Auswahlaxioms, dass es zu jeder Äquivalenzrelation ${}\sim$ auf einer Menge ${}M$ ein Repräsentantensystem für die Äquivalenzklassen gibt.

Aufgabe Referenznummer erstellen

Es sei ${}M$ eine Menge und ${}I$ die Menge der echten Teilmengen von ${}M$, also

$I={\left\{T\subseteq M\mid T\neq \emptyset {\text{ und }}T\neq M\right\}}.$

Diese Menge ist durch die Inklusion eine geordnete Menge. Bestimme die minimalen und die maximalen Elemente von ${}I$.

Die nächste Aufgabe verwendet die folgende Definition.

Es seien ${}(M_{1},\leq _{1})$ und ${}(M_{2},\leq _{2})$ zwei Mengen, auf denen jeweils eine Ordnung definiert ist. Eine Abbildung

$F\colon M_{1}\longrightarrow M_{2},\,x\longmapsto F(x),$

heißt ordnungstreu (oder monoton), wenn für alle ${}x,x'\in M_{1}$ mit ${}x\leq _{1}x'$ stets auch ${}F(x)\leq _{2}F(x')$ gilt.

Aufgabe Referenznummer erstellen

Es sei ${}(M,\leq )$ eine geordnete Menge und ${}{\mathfrak {P}}\,(M)$ die Potenzmenge von ${}M$. Zeige, dass die Abbildung

$M\longrightarrow {\mathfrak {P}}\,(M),\,x\longmapsto {\left\{y\in M\mid y\leq x\right\}},$

ordnungstreu und injektiv ist, wobei die Potenzmenge mit der Inklusion versehen ist.

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und ${}I\subseteq R$ ein Ideal in ${}R$. Zeige, dass ${}I$ genau dann ein maximales Ideal ist, wenn der Restklassenring ${}R/I$ ein Körper ist.

Aufgabe Aufgabe 5.5 ändern

Es sei ${}X$ ein topologischer Raum und ${}F$ ein topologischer Filter auf ${}X$ mit ${}\emptyset \not \in F$. Zeige, dass es einen Ultrafilter ${}G\supseteq F$ gibt.

Wenn man die natürlichen Zahlen ${}\mathbb {N}$ mit der diskreten Topologie versieht, so dass also jede Teilmenge offen ist, so ist ein topologischer Filter auf ${}\mathbb {N}$ einfach eine Teilmenge ${}F\subseteq {\mathfrak {P}}\,(\mathbb {N} )$ mit

1. ${}\mathbb {N} \in F$.
2. Mit ${}U\in F$ und ${}U\subseteq V$ ist auch ${}V\in F$.
3. Mit ${}U\in F$ und ${}V\in F$ ist auch ${}U\cap V\in F$.

Aufgabe Referenznummer erstellen

Ein Filter ${}F\subseteq {\mathfrak {P}}\,(\mathbb {N} )$ ist genau dann ein Ultrafilter, wenn für jede Teilmenge ${}T\subseteq \mathbb {N}$ entweder ${}T\in F$ oder ${}\mathbb {N} \setminus T\in F$ gilt

Die einfachen Ultrafilter in ${}\mathbb {N}$ werden in folgender Aufgabe beschrieben.

Aufgabe Referenznummer erstellen

Es sei ${}n\in \mathbb {N}$ eine fixierte Zahl. Dann ist

${}F={\left\{T\subseteq \mathbb {N} \mid n\in T\right\}}\,$

ein Ultrafilter.

Aufgabe Referenznummer erstellen

Zeige, dass es in ${}\mathbb {N}$ Ultrafilter gibt, die keine endlichen Teilmengen enthalten.

Aufgabe Aufgabe 5.9 ändern

Wir betrachten den Folgenring ${}R=\mathbb {R} ^{\mathbb {N} }$. Zu einer Folge ${}x={\left(x_{n}\right)}_{n\in \mathbb {N} }\in R$ sei

${}Z(x)={\left\{n\in \mathbb {N} \mid x_{n}=0\right\}}\,.$

Zeige, dass über die Zuordnungen

$I\longmapsto {\left\{T\subseteq \mathbb {N} \mid T=Z(x){\text{ für ein }}x\in I\right\}}$

und

$F\longmapsto {\left\{x\in R\mid Z(x)\in F\right\}}$

sich die Ideale aus ${}R$ und die Filter aus ${}\mathbb {N}$ entsprechen.

Aufgabe Referenznummer erstellen

Wir betrachten die Menge

${\mathcal {G}}={\left\{T\subseteq \mathbb {N} _{+}\mid \sum _{n\in T}{\frac {1}{n}}{\text{ ist eine divergente Reihe}}\right\}}.$

Ist ${}{\mathcal {G}}$ ein Filter?

Aufgabe Referenznummer erstellen

Man mache sich an den folgenden Beispielen klar, dass der Satz von Hamel keineswegs selbstverständlich ist.

1. Die reellen Zahlen ${}\mathbb {R}$ als ${}\mathbb {Q}$-Vektorraum betrachtet.
2. Die Menge der reellen Folgen

   ${}\mathbb {R} ^{\mathbb {N} }={\left\{{\left(x_{n}\right)}_{n\in \mathbb {N} }\mid x_{n}\in \mathbb {R} \right\}}\,.$

3. Die Menge aller stetigen Funktionen von ${}\mathbb {R}$ nach ${}\mathbb {R}$.

Aufgabe Referenznummer erstellen

Betrachte die reellen Zahlen ${}\mathbb {R}$ als ${}\mathbb {Q}$- Vektorraum. Zeige, dass die Menge der reellen Zahlen ${}\ln p$, wobei ${}p$ durch die Menge der Primzahlen läuft, linear unabhängig ist.

Aufgabe Referenznummer erstellen

Beweise durch Induktion, dass die natürliche Ordnung auf den natürlichen Zahlen ${}\mathbb {N}$ eine Wohlordnung ist.

Aufgabe Referenznummer erstellen

Zeige, dass die natürliche Ordnung auf den ganzen Zahlen keine Wohlordnung ist.

Aufgabe * Aufgabe 5.15 ändern

Zeige, dass die natürliche Ordnung auf den reellen Zahlen keine Wohlordnung ist.

Aufgaben zum Abgeben

Aufgabe (2 Punkte)Referenznummer erstellen

Beweise das Lemma von Zorn für eine total geordnete Menge.

Aufgabe (3 Punkte)Referenznummer erstellen

Wir betrachten die Menge

${}{\mathcal {F}}={\left\{T\subseteq \mathbb {N} _{+}\mid \sum _{n\not \in T}{\frac {1}{n}}{\text{ ist eine konvergente Reihe}}\right\}}\,.$

Zeige, dass ${}{\mathcal {F}}$ ein Filter auf ${}\mathbb {N} _{+}$ ist.

Aufgabe (3 Punkte)Referenznummer erstellen

Zeige, dass sich bei der in Aufgabe 5.9 beschriebenen Korrespondenz maximale Ideale und Ultrafilter entsprechen.

Aufgabe (3 Punkte)Referenznummer erstellen

Definiere eine Wohlordnung auf der Menge der ganzen Zahlen ${}\mathbb {Z}$.

Aufgabe (5 Punkte)Referenznummer erstellen

Es sei ${}(M,\preccurlyeq )$ eine total geordnete Menge, die sowohl nach unten als auch nach oben wohlgeordnet ist. Zeige, dass ${}M$ endlich ist.

Aufgabe (2 Punkte)Referenznummer erstellen

Beweise den Endlichkeitssatz für die Aussagenlogik: Wenn die Aussage ${}\alpha$ aus der Aussagenmenge ${}\Gamma \subseteq L^{V}$ folgt, dann gibt es eine endliche Teilmenge ${}\Gamma _{0}\subseteq \Gamma$, aus der diese Aussage folgt.