Kurs:Analysis (Osnabrück 2014-2016)/Teil III/Arbeitsblatt 63/kontrolle



Aufwärmaufgaben

Es sei der halboffene Einheitswürfel im . Zeige, dass für jedes und das zugehörige Gittermaß die Beziehung

gilt.



Wir betrachten die Menge , und zu jedem das zugehörige Gittermaß . Zeige, dass

existiert, dass aber

nicht existiert.



Es sei ein Maßraum und seien , , messbare Teilmengen mit . Für eine Teilmenge sei

Beweise die Formel



Es sei

der obere Einheitshalbkreis und

die Projektion auf die -Achse. Zu seien Punkte auf gleichverteilt in dem Sinne, dass und dazugehören und dass der Winkel zwischen zwei benachbarten Punkten konstant ist.

a) Skizziere die Situation für einschließlich der Bildpunkte unter .

b) Es sei das Zählmaß auf , bei dem jeder Punkt der Verteilung den Wert erhält und es sei

das zugehörige Bildmaß auf . Man gebe eine Formel für

() mit Hilfe des Arkuskosinus an.

c) Bestimme



Es sei

eine streng wachsende Funktion. Zu betrachten wir die äquidistante Unterteilung des Einheitsintervalls in gleichlange Teilintervalle und die zugehörige maximale untere Treppenfunktion von und die zugehörige minimale obere Treppenfunktion . Es seien bzw. die zugehörigen Subgraphen.

a) Zeige, dass im Allgemeinen , , keine Ausschöpfung und , , keine Schrumpfung ist.

b) Zeige, dass , , eine Ausschöpfung und , , eine Schrumpfung ist.

c) Welche Mengen werden in (b) ausgeschöpft bzw. geschrumpft, und wie verhalten sich diese Mengen zum Subgraphen von ?

d) Wogegen konvergieren die zugehörigen Folgen von Treppenintegrale?



Man zeige durch ein Beispiel, dass die „Schrumpfungsformel“ aus Lemma 63.4 (6) nicht ohne die Endlichkeitsvoraussetzung gilt.



Wo geht in den Beweis zu Satz 63.7 die Endlichkeit der ein?



Es sei ein topologischer Raum und eine Überdeckung aus offenen Mengen, wobei abzählbar sei. Zeige folgende Aussagen.

a) Eine Teilmenge ist genau dann eine Borelmenge, wenn eine Borelmenge ist für jedes .

b) Ein - endliches Maß ist durch die Einschränkungen eindeutig bestimmt.

c) Es sei für jedes ein -endliches Maß auf gegeben. Für jedes Paar sei

Dann gibt es ein eindeutig bestimmtes -endliches Maß auf mit .



Es sei

eine Belegungsfunktion mit dem zugehörigen Summationsmaß . Es sei

Zeige, dass genau dann - endlich ist, wenn abzählbar ist.



Es sei

eine Belegungsfunktion mit dem zugehörigen Summationsmaß . Für jede konvergente Folge in sei die Bedingung erfüllt. Zeige, dass - endlich ist.



Aufgabe Aufgabe 63.11 ändern

Zeige, dass das Bildmaß eines Maßes unter einer messbaren Abbildung in der Tat ein Maß ist.



Aufgabe Aufgabe 63.12 ändern

Es seien , und Messräume und

und

messbare Abbildungen. Es sei ein Maß auf . Zeige, dass für die Bildmaße die Beziehung

gilt.



Es seien und Messräume und es sei

eine messbare Abbildung. Es sei das im Punkt konzentrierte Dirac-Maß. Zeige .



Es seien und Messräume und es sei

eine messbare Abbildung. Es sei

eine Belegungsfunktion mit dem zugehörigen Summationsmaß . Zeige, dass das Bildmaß ebenfalls ein Summationsmaß ist und bestimme die zugehörige Belegungsfunktion.



Es seien und topologische Räume. Zeige, dass die Produkttopologie auf die kleinste Topologie ist, bezüglich der die beiden Projektionen und stetig sind.



Es sei ein Hausdorff-Raum. Zeige, dass die Diagonale

eine abgeschlossene Teilmenge im Produktraum ist.



Es seien topologische Räume und

und

stetige Abbildungen. Zeige, dass die Abbildung

ebenfalls stetig ist.


Es sei eine Menge. Unter der diskreten Topologie auf versteht man diejenige Topologie, bei der jede Teilmenge offen ist.


Es seien und diskrete topologische Räume. Zeige, dass auch der Produktraum diskret ist.




Aufgaben zum Abgeben

Bestimme die Belegungsfunktion zum Gittermaß zum Gitterabstand im .


Eine Äquivalenzrelation auf einer Menge ist eine Relation , die die folgenden drei Eigenschaften besitzt (für beliebige ).

  1. Es ist (reflexiv).
  2. Aus folgt (symmetrisch).
  3. Aus und folgt (transitiv).

Dabei bedeutet , dass das Paar zu gehört.


Es sei ein Maßraum, ein Messraum und die Menge der messbaren Abbildungen von nach . Für

sei

(dabei sei vorausgesetzt, dass diese Mengen messbar seien). Zeige, dass eine Äquivalenzrelation ist.



Wir betrachten die abgeschlossene Kreisscheibe . Zeige, dass

wobei das Gittermaß zu bezeichnet.

(Man denke an das Riemann-Integral.)


Man gebe ein Beispiel für einen - endlichen Maßraum und eine messbare Abbildung

in einen Messraum derart, dass das Bildmaß nicht -endlich ist.



Es seien und metrische Räume. Zeige, dass auf der Produktmenge durch

eine Metrik gegeben ist, und dass die dadurch definierte Topologie mit der Produkttopologie übereinstimmt.



<< | Kurs:Analysis (Osnabrück 2014-2016)/Teil III | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)