Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Arbeitsblatt 84

Aufwärmaufgaben

Aufgabe

Es sei $X$ ein topologischer Raum und  $X=\bigcup _{i\in I}{U}_i$  eine Überdeckung aus offenen Mengen, wobei $I$ abzählbar sei. Zeige folgende Aussagen.

a) Eine Teilmenge  $T\subseteq X$  ist genau dann eine Borel-Menge, wenn $T\cap U_i$ eine Borel-Menge ist für jedes  $i\in I$. 

b) Ein $\sigma$-endliches Maß $\mu$ ist durch die Einschränkungen  ${\mu }_i=\mu {|}_{U_i}$  eindeutig bestimmt.

c) Es sei für jedes  $i\in I$  ein $\sigma$-endliches Maß ${\mu }_i$ auf $U_i$ gegeben. Für jedes Paar  $i,j\in I$  sei

${\mu }_i{|}_{U_i\cap U_j}={\mu }_j{|}_{U_i\cap U_j}.$

Dann gibt es ein eindeutig bestimmtes $\sigma$-endliches Maß auf $X$ mit  $\mu {|}_{U_i}={\mu }_i$. 

Aufgabe

Zeige, dass das zu einer stetigen positiven Volumenform auf einer differenzierbaren Mannigfaltigkeit in Definition 84.3 eingeführte Volumenmaß ein $\sigma$-endliches Maß ist.

Aufgabe

Es sei

$\omega =d{x}_1\wedge \dots \wedge d{x}_n=e_1^{\ast }\wedge \dots \wedge e_n^{\ast }$

die Standard-Volumenform auf dem ${ℝ}^n$. Zeige, dass für jede messbare Teilmenge $T\subseteq {ℝ}^n$ die Gleichheit

${\int }_T\omega ={\int }_{T}d{\lambda }^n={\lambda }^n(T)$

gilt.

Aufgabe

Es sei $M$ eine differenzierbare Mannigfaltigkeit mit einer positiven Volumenform $\omega$. Es sei $T\subseteq M$ messbar und $N\subseteq M$ eine Nullmenge. Zeige, dass

${\int }_T\omega ={\int }_{T\setminus N}\omega$

gilt.

Aufgabe

Es sei $M$ eine $n$-dimensionale differenzierbare Mannigfaltigkeit mit einer abzählbaren Basis der Topologie und es seien ${\omega }_1$ und ${\omega }_2$ positive Volumenformen auf $M$. Zeige, dass für jede messbare Teilmenge $T\subseteq M$ und $a,b\in {ℝ}_{+}$ die Beziehung

${\int }_T(a{\omega }_1+b{\omega }_2)=a{\int }_T{\omega }_1+b{\int }_T{\omega }_2$

gilt.

Aufgabe

Es sei $M$ eine differenzierbare Mannigfaltigkeit mit abzählbarer Basis der Topologie. Zeige, wie man unter Bezug auf Karten „Nullmengen“ von $M$ erklären kann, ohne dass ein Maß gegeben ist. Zeige ferner, dass, wenn eine positive Volumenform gegeben ist, diese Nullmengen auch Nullmengen im Sinne der Maßtheorie sind.

Aufgabe

Es seien $L$ und $M$ differenzierbare Mannigfaltigkeiten und

$\phi :L⟶M$

eine differenzierbare Abbildung. Es sei  $\omega \in {ℰ}^1(M)$  eine messbare Differentialform mit der zurückgezogenen Differentialform  ${\phi }^{\ast }\omega \in {ℰ}^1(L)$  und es sei

$\gamma :I⟶L$

eine stetig differenzierbare Kurve ($I$ ein reelles Intervall). Zeige, dass für die Wegintegrale die Gleichheit

${\int }_{\gamma }{\phi }^{\ast }\omega ={\int }_{\phi \circ \gamma }\omega$

gilt.

Aufgabe

Es sei

$f:ℝ⟶ℝ,t⟼f(t),$

eine stetig differenzierbare Funktion und es sei  $\omega =g(s)ds$  eine $1$-Differentialform auf $ℝ$. Bestimme $f^{\ast }\omega$.

Aufgabe

Sei

$\gamma :[0,2\pi ]⟶{ℝ}^2,t⟼(\cos t,\sin t),$

gegeben. Berechne das Wegintegral längs dieses Weges zu den folgenden Differentialformen

a) $xdx+ydy$,

b) $xdx-ydy$,

c) $ydx+xdy$,

d) $ydx-xdy$.

Aufgaben zum Abgeben

Aufgabe * (4 Punkte)

Zeige, dass die Antipodenabbildung

$S^2⟶S^2,(x,y,z)⟼(-x,-y,-z),$

nicht orientierungstreu ist.

Aufgabe (4 Punkte)

Es sei $M$ eine $n$-dimensionale differenzierbare Mannigfaltigkeit mit abzählbarer Basis der Topologie. Es sei $\omega$ eine positive Volumenform auf $M$ und es sei $\mu$ das durch diese Volumenform definierte Maß auf $M$. Zeige, dass dann jede abgeschlossene Untermannigfaltigkeit der Dimension $\le n-1$ eine Nullmenge ist.

Aufgabe (4 Punkte)

Es seien  $a,b,c,d,r,s\ge 1$  natürliche Zahlen. Wir betrachten die stetig differenzierbare Kurve

$[0,1]⟶{ℝ}^2,t⟼(t^r,t^s).$

Berechne das Wegintegral längs dieses Weges zur Differentialform  $\omega =x^a{y}^{b}dx+x^c{y}^{d}dy$. 

Aufgabe (5 Punkte)

Es sei

$\gamma :[0,2\pi ]⟶{ℝ}^3,t⟼(\cos t,\sin t,t),$

gegeben. Berechne das Wegintegral längs dieses Weges zur Differentialform  $\omega =(y-z^3)dx+x^{2}dy-xzdz$. 

Aufgabe (3 Punkte)

Begründe die einzelnen Gleichungen in der zweiten Gleichungskette im Beweis zu Lemma 84.2.

Gehe dabei folgendermaßen vor.

1. Legen Sie auf Ihrer Benutzerseite (oder Gruppenseite) eine Unterseite an, indem Sie dort die Zeile

   [[/Mannigfaltigkeit/Positive Volumenform/Relationskette/Einzelbegründungen]]

   schreiben (d.h. Bearbeiten, Schreiben, Abspeichern; das / vorne ist wichtig).
2. Es erscheint ein roter Link. Gehen Sie auf den roten Link und geben Sie dort

    {{:Mannigfaltigkeit/Positive Volumenform/Relationskette/Begründungsfenster}}

   ein.

3. Es erscheint die Gleichungskette. Wenn Sie auf eines der Gleich-Zeichen gehen, erscheint ein roter Link. Gehen Sie auf diesen roten Link und geben Sie dort die Begründung für diese Gleichung ein.
4. Die Abgabe erfolgt online, indem Sie auf der Abgabeseite einen Link zu Ihrer Lösung hinterlassen, also dort

   [[Ihr Benutzername/Mannigfaltigkeit/Positive Volumenform/Relationskette/Einzelbegründungen]]

   hinschreiben.