Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Arbeitsblatt 5/kontrolle

Aufwärmaufgaben

Aufgabe Referenznummer erstellen

Wir betrachten die beiden Rechtecke

$Q=[-1,2]\times [1,4]\,\,{\text{ und }}\,\,L=[1,5]\times [3,6]$

im ${}\mathbb {R} ^{2}$. Schreibe den Durchschnitt und die Differenzmengen als disjunkte Vereinigung von Rechtecken. Schreibe die Vereinigung der beiden Mengen auf mehrere Arten als disjunkte Vereinigung von Rechtecken. Welche Darstellung ist eine Verfeinerung einer anderen Darstellung? Wie sieht ein „Raster“ aus, mit dem man alle beteiligten Mengen ausdrücken kann? Bestätige, dass die Summe der beteiligten Rechteckinhalte stets gleich ist.

Aufgabe Referenznummer erstellen

Zeige, dass das durch die drei Punkte ${}(0,0),(0,1)$ und ${}(1,0)$ gegebene abgeschlossene Dreieck nicht zum Produktpräring von ${}(\mathbb {R} ,{\mathfrak {P}}\,(\mathbb {R} ))$ und ${}(\mathbb {R} ,{\mathfrak {P}}\,(\mathbb {R} ))$ gehört.

Aufgabe Referenznummer erstellen

Es seien ${}(M,{\mathcal {A}})$ und ${}(N,{\mathcal {B}})$ Messräume und es sei ${}\mu$ das in ${}x\in M$ konzentrierte Dirac-Maß auf ${}M$ und ${}\nu$ das in ${}y\in N$ konzentrierte Dirac-Maß auf ${}N$. Zeige, dass ${}\mu \otimes \nu$ das in ${}(x,y)$ konzentrierte Dirac-Maß auf ${}M\times N$ ist.

Aufgabe * Referenznummer erstellen

Es seien ${}M$ und ${}N$ zwei abzählbare Mengen, die beide mit der ${}\sigma$- Algebra aller Teilmengen und mit dem Zählmaß (genannt ${}\mu$ bzw. ${}\nu$) versehen seien.

a) Zeige, dass ${}M$ und ${}N$ ${}\sigma$- endliche Maßräume sind.

b) Zeige, dass das Produktmaß ${}\mu \otimes \nu$ auf ${}M\times N$ ebenfalls das Zählmaß ist.

Aufgabe Referenznummer erstellen

Es seien ${}(M,{\mathcal {A}})$ und ${}(N,{\mathcal {B}})$ Messräume und es sei ${}\mu$ das zur Belegungsfunktion

$b\colon M\longrightarrow \mathbb {R} _{\geq 0},\,x\longmapsto b_{x},$

gehörige Maß auf ${}M$ und ${}\nu$ das zur Belegungsfunktion

$c\colon N\longrightarrow \mathbb {R} _{\geq 0},\,y\longmapsto c_{y},$

gehörige Maß auf ${}N$ (diese Maße seien als ${}\sigma$- endlich angenommen). Zeige, dass ${}\mu \otimes \nu$ das zur Belegungsfunktion

$M\times N\longrightarrow \mathbb {R} _{\geq },\,(x,y)\longmapsto b_{x}c_{y},$

gehörige Maß auf ${}M\times N$ ist.

Aufgabe Aufgabe 5.6 ändern

Es seien ${}(M_{1},{\mathcal {A}}_{1},\mu _{1})$ und ${}(M_{2},{\mathcal {A}}_{2},\mu _{2})$ zwei ${}\sigma$- endliche Maßräume, es seien ${}(N_{1},{\mathcal {B}}_{1})$ und ${}(N_{2},{\mathcal {B}}_{2})$ zwei Messräume und es seien

$\varphi _{1}\colon M_{1}\longrightarrow N_{1}$

und

$\varphi _{2}\colon M_{2}\longrightarrow N_{2}$

zwei messbare Abbildungen, unter denen die Bildmaße ${}(\varphi _{1})_{*}\mu _{1}$ und ${}(\varphi _{2})_{*}\mu _{2}$ ${}\sigma$-endlich seien. Zeige, dass für das Bildmaß unter der Produktabbildung ${}\varphi =\varphi _{1}\times \varphi _{2}$ die Gleichung

${}\varphi _{*}(\mu _{1}\otimes \mu _{2})=((\varphi _{1})_{*}\mu _{1})\otimes ((\varphi _{2})_{*}\mu _{2})\,$

gilt.

Aufgabe * Referenznummer erstellen

Es seien ${}(M,{\mathcal {A}},\mu )$ und ${}(N,{\mathcal {B}},\nu )$ endliche Maßräume und ${}(M\times N,{\mathcal {A}}\otimes {\mathcal {B}},\mu \otimes \nu )$ ihr Produktmaßraum. Zeige, dass das Bildmaß von ${}\mu \otimes \nu$ unter der Projektion

$M\times N\longrightarrow M,\,(x,y)\longmapsto x,$

gleich (dem umskalierten Maß) ${}\nu (N)\cdot \mu$ ist.

Aufgabe Referenznummer erstellen

Man gebe ein Beispiel für endliche Maßräume und einem Maß ${}\lambda$ auf ${}(M\times N,{\mathcal {A}}\otimes {\mathcal {B}})$, das nicht das Produktmaß ist, das aber

${}\lambda (S\times N)=\mu (S)\times \nu (N)\,$

und

${}\lambda (M\times T)=\mu (M)\times \nu (T)\,$

für alle messbaren Teilmengen ${}S\subseteq M$ und ${}T\subseteq N$ erfüllt.

Aufgabe * Referenznummer erstellen

Zeige, dass sich die abgeschlossene Einheitskreisscheibe

$B\left(0,1\right)={\left\{(x,y)\in \mathbb {R} ^{2}\mid {\sqrt {x^{2}+y^{2}}}\leq 1\right\}}$

nicht durch abzählbar viele abgeschlossene Rechtecke ${}[a,b]\times [c,d]\subseteq B\left(0,1\right)$

(mit $a\leq b$ und $c\leq d$) überdecken lässt.

Aufgabe * Referenznummer erstellen

Man schreibe eine Animation, die die Unabhängigkeit des Maßes von der Quaderzerlegung im Beweis zu Lemma 5.3  (1) am Beispiel des ${}\mathbb {R} ^{2}$ deutlich macht. Insbesondere soll die Einführung eines Rasters und der Begriff der Verfeinerung sichtbar werden.

Aufgabe Referenznummer erstellen

Man erläutere Lemma 5.3  (2) anhand des Bildes.

Durch eine Kombination von Produktmaß und Bildmaß kann man die sogenannte Faltung von Maßen definieren.

Zum ${}\sigma$- endlichen Maßen ${}\mu$ und ${}\nu$ auf dem ${}\mathbb {R} ^{n}$ nennt man das Bildmaß des Produktmaßes ${}\mu \otimes \nu$ unter der Addition

$\mathbb {R} ^{n}\times \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n},\,(x,y)\longmapsto x+y,$

die Faltung der beiden Maße. Sie wird mit ${}\mu *\nu$ bezeichnet.

Aufgabe Referenznummer erstellen

Zeige, dass das Dirac-Maß ${}\delta _{0}$ das neutrale Element für die Faltungsverknüpfung ist.

Aufgabe Referenznummer erstellen

Bestimme die Faltung ${}\delta _{P}*\delta _{Q}$ von Dirac-Maßen ${}\delta _{P},\delta _{Q}$ zu Punkten ${}P,Q\in \mathbb {R} ^{n}$.

Aufgaben zum Abgeben

Aufgabe (5 Punkte)Referenznummer erstellen

Zeige, dass die offene Einheitskreisscheibe nicht zum Produktpräring von ${}(\mathbb {R} ,{\mathfrak {P}}\,(\mathbb {R} ))$ und ${}(\mathbb {R} ,{\mathfrak {P}}\,(\mathbb {R} ))$ gehört.

Aufgabe (4 Punkte)Referenznummer erstellen

Es sei ${}T$ die Vereinigung der drei Quader

$Q_{1}=[2,7]\times [1,3],\,Q_{2}=[1,4]\times [2,5]{\text{ und }}Q_{3}=[3,6]\times [4,6]$

im ${}\mathbb {R} ^{2}$. Bestimme

$T(x)={\left\{y\in \mathbb {R} \mid (x,y)\in T\right\}}$

für jedes ${}x\in \mathbb {R}$ und

$T^{a}={\left\{x\in \mathbb {R} \mid \lambda (T(x))=a\right\}}$

für jedes ${}a\in \mathbb {R}$ (dabei ist ${}\lambda$ einfach die Summe der Länge der disjunkten Intervalle, aus denen sich ${}T(x)$ zusammensetzt).

Einen Maßraum mit dem Gesamtmaß ${}1$ nennt man einen Wahrscheinlichkeitsraum. Für die Wahrscheinlichkeitstheorie ist das folgende Konzept enorm wichtig.

Es sei ${}(M,{\mathcal {E}},\mu )$ ein Wahrscheinlichkeitsraum. Man nennt zwei ${}\sigma$- Algebren ${}{\mathcal {A}},{\mathcal {B}}\subseteq {\mathcal {E}}$ unabhängig, wenn für jedes ${}A\in {\mathcal {A}}$ und jedes ${}B\in {\mathcal {B}}$ die Gleichheit

${}\mu (A\cap B)=\mu (A)\cdot \mu (B)\,$

gilt.

Aufgabe (4 Punkte)Referenznummer erstellen

Es seien ${}(\Omega _{1},{\mathcal {A}}_{1},\mu _{1})$ und ${}(\Omega _{2},{\mathcal {A}}_{2},\mu _{2})$ zwei Wahrscheinlichkeitsräume und ${}(\Omega _{1}\times \Omega _{2},{\mathcal {A}}_{1}\otimes {\mathcal {A}}_{2},\mu _{1}\otimes \mu _{2})$ ihr Produktraum. Zeige, dass die „Zylinderalgebren“

${\mathcal {Z}}_{1}={\left\{S\times \Omega _{2}\mid S\in {\mathcal {A}}_{1}\right\}}\,\,{\text{ und }}\,\,{\mathcal {Z}}_{2}={\left\{\Omega _{1}\times T\mid T\in {\mathcal {A}}_{2}\right\}}$

unabhängig sind.