Kurs:Analysis (Osnabrück 2013-2015)/Teil III/Arbeitsblatt 61

Aufwärmaufgaben

Aufgabe

Von welchen ebenen Figuren und räumlichen Gebilden kennen Sie den Flächeninhalt bzw. das Volumen?

Aufgabe

Was ist das Volumen (der Inhalt, das Maß) eines einzelnen Punktes im ${}\mathbb {R} ^{0}$, im ${}\mathbb {R} ^{1}$, im ${}\mathbb {R} ^{2}$ u.s.w.?

Aufgabe *

Es sei ${}M$ eine Menge und ${}{\mathcal {C}}$ das Mengensystem auf ${}M$, das aus allen endlichen Teilmengen von ${}M$ und deren Komplementen besteht. Zeige, dass ${}{\mathcal {C}}$ eine Mengenalgebra ist.

Aufgabe

Es sei ${}M$ eine Menge. Zeige, dass die Potenzmenge ${}{\mathfrak {P}}\,(M)$ mit dem Durchschnitt ${}\cap$ als Multiplikation und der symmetrischen Differenz

${}A\triangle B=(A\setminus B)\cup (B\setminus A)\,$

als Addition (mit welchen neutralen Elementen?) ein kommutativer Ring ist.

Aufgabe

Es sei ${}M$ eine Menge und ${}{\mathcal {R}}$ ein Mengensystem auf ${}M$. Zeige, dass ${}{\mathcal {R}}$ genau dann eine Mengenalgebra ist, wenn es ein Unterring des Potenzmengenringes ${}({\mathfrak {P}}\,(M),\triangle ,\cap )$ ist.

Aufgabe

Es sei ${}{\mathcal {A}}$ eine ${}\sigma$- Algebra auf einer Menge ${}M$. Zeige, dass die folgenden Aussagen gelten.

1. Es ist ${}\emptyset \in {\mathcal {A}}$.
2. Mit ${}S,T\in {\mathcal {A}}$ gehört auch ${}T\setminus S$ zu ${}{\mathcal {A}}$.
3. Für jede abzählbare Familie ${}T_{i}\in {\mathcal {A}}$, ${}i\in I$, ist auch

   ${}\bigcap _{i\in I}T_{i}\in {\mathcal {A}}\,.$

Aufgabe

Es sei ${}M$ eine Menge und sei ${}{\mathcal {A}}_{j}$, ${}j\in J$, eine beliebige Familie von ${}\sigma$- Algebren auf ${}M$. Zeige, dass der Durchschnitt

${}{\mathcal {A}}=\bigcap _{j\in J}{\mathcal {A}}_{j}\,$

ebenfalls eine ${}\sigma$-Algebra auf ${}M$ ist.

Aufgabe

Es sei ${}(M,{\mathcal {A}})$ ein Messraum und ${}N\subseteq M$ eine Teilmenge. Zeige, dass das Mengensystem

$N\cap T,\,T\in {\mathcal {A}},$

eine ${}\sigma$- Algebra auf ${}N$ ist (man spricht von der induzierten ${}\sigma$-Algebra).

Aufgabe

Es sei ${}M$ eine Menge und ${}{\mathcal {E}}\subseteq {\mathcal {E}}'$ seien Mengensysteme. Dabei sei ${}{\mathcal {E}}'$ in der von ${}{\mathcal {E}}$ erzeugten ${}\sigma$- Algebra ${}\sigma ({\mathcal {E}})$ enthalten. Zeige

${}\sigma {\left({\mathcal {E}}\right)}=\sigma {\left({\mathcal {E}}'\right)}\,.$

Aufgabe

Es seien

${}A_{k}={\left\{x\in [0,1[\mid {\text{die }}k{\text{-te Nachkommastelle von }}x{\text{ in der Dezimalentwicklung ist }}0\right\}}\,.$

Bestimme den Limes inferior und den Limes superior von dieser Mengenfolge.

Aufgabe *

Es sei ${}M$ eine Menge und ${}{\mathcal {A}}$ ein Mengensystem auf ${}M$. Zeige, dass ${}{\mathcal {A}}$ genau dann ein durchschnittsstabiles Dynkin-System ist, wenn ${}{\mathcal {A}}$ eine ${}\sigma$- Algebra ist.

Aufgabe

Es sei ${}{\mathcal {A}}$ das Mengensystem auf ${}\mathbb {N}$, das aus allen Teilmengen ${}T\subseteq \mathbb {N}$ besteht, die durch einen mathematischen Ausdruck beschreibbar sind. Zeige, dass ${}{\mathcal {A}}$ eine Mengenalgebra, aber keine ${}\sigma$- Algebra ist.

Aufgabe

Zeige, dass messbare Abbildungen zwischen Messräumen die folgenden Eigenschaften erfüllen.

1. Die Hintereinanderschaltung von messbaren Abbildungen ist messbar.
2. Jede konstante Abbildung ist messbar.
3. Die Identität ist messbar.
4. Es seien ${}{\mathcal {A}}$ und ${}{\mathcal {B}}$ zwei ${}\sigma$- Algebren auf einer Menge ${}M$. Dann ist die Identität auf ${}M$ genau dann ${}{\mathcal {A}}-{\mathcal {B}}$-messbar, wenn ${}{\mathcal {A}}\supseteq {\mathcal {B}}$ gilt.

Aufgabe

Es sei ${}(M,{\mathcal {A}})$ ein Messraum und es sei ${}\mathbb {Z}$ mit der ganzen Potenzmenge als ${}\sigma$- Algebra versehen. Es sei ${}T\subseteq M$. Zeige, dass ${}T$ genau dann messbar ist, wenn die Indikatorfunktion

$e_{T}\colon M\longrightarrow \mathbb {Z}$

messbar ist.

Aufgaben zum Abgeben

Aufgabe (3 Punkte)

Es sei ${}M$ eine Menge und ${}{\mathcal {A}}$ das Mengensystem auf ${}M$, das aus allen abzählbaren Teilmengen von ${}M$ und deren Komplementen besteht. Zeige, dass ${}{\mathcal {A}}$ eine ${}\sigma$- Algebra ist.

Aufgabe (4 Punkte)

Es sei ${}M$ eine ${}n$-elementige Menge und sei ${}k$ ein Teiler von ${}n$. Zeige, dass die Menge der Teilmengen von ${}M$, deren Elementanzahl ein Vielfaches von ${}k$ ist, ein Dynkin-System bilden, das bei ${}k\neq 1,n$ keine Mengen-Algebra ist.

Aufgabe (4 Punkte)

Es seien ${}M$ und ${}N$ Mengen und es sei

$F\colon M\longrightarrow N$

eine Abbildung.

a) Es sei ${}{\mathcal {A}}$ eine ${}\sigma$- Algebra auf ${}M$. Zeige, dass das Mengensystem

${\left\{T\subseteq N\mid F^{-1}(T)\in {\mathcal {A}}\right\}}$

eine ${}\sigma$-Algebra auf ${}N$ ist.

b) Es sei ${}{\mathcal {B}}$ eine ${}\sigma$- Algebra auf ${}N$. Zeige, dass das Mengensystem

${\left\{F^{-1}(T)\mid T\in {\mathcal {B}}\right\}}$

eine ${}\sigma$-Algebra auf ${}M$ ist.

Aufgabe (4 Punkte)

Es sei ${}(M,{\mathcal {A}})$ ein Messraum und es sei ${}M=\biguplus _{i\in I}M_{i}$ eine Zerlegung von ${}M$ in abzählbar viele messbare Teilmengen. Es sei

$\varphi \colon M\longrightarrow N$

eine Abbildung in einen weiteren Messraum ${}(N,{\mathcal {B}})$. Zeige, dass ${}\varphi$ genau dann messbar ist, wenn sämtliche Einschränkungen

$\varphi _{i}=\varphi {|}_{M_{i}}\colon M_{i}\longrightarrow N$

messbar sind.

Aufgabe * (5 Punkte)

Es seien ${}P_{1}=(a_{1},b_{1}),\,P_{2}=(a_{2},b_{2})$ und ${}P_{3}=(a_{3},b_{3})$ drei Punkte im ${}\mathbb {R} ^{2}$. Stelle den Flächeninhalt des zugehörigen Dreiecks mit ${}a_{1},b_{1},a_{2},b_{2},a_{3},b_{3}$ dar.