Lösung
- Ein
Teilmengensystem
auf einer Menge
heißt Mengen-Präring, wenn folgende Bedingungen erfüllt sind.
- Es ist
.
- Mit
gehört auch
zu
.
- Für je zwei Mengen
ist auch
.
- Eine Folge von Teilmengen
,
,
in
mit
für alle
heißt Ausschöpfung von
, wenn
gilt.
- Es sei
ein
-endlicher Maßraum und
-
eine messbare numerische nichtnegative Funktion. Dann heißt
-

das Integral von
über
(zum Maß
).
- Zu
Karten
und
mit
offen
heißt die
Abbildung
-
die
Übergangsabbildung
zu diesen Karten.
- Die
Kotangentialabbildung
im Punkt
(mit
)
ist die zur
Tangentialabbildung
-
duale Abbildung
-
- Eine
differenzierbare Mannigfaltigkeit
heißt riemannsche Mannigfaltigkeit, wenn auf jedem
Tangentialraum
,
,
ein
Skalarprodukt
erklärt ist derart, dass für jede Karte
-
mit
die Funktionen
(für
)
-
-
differenzierbar
sind.
Formuliere die folgenden Sätze.
- Der Satz über die Fortsetzung eines äußeren Maßes.
- Der
Satz von der monotonen Konvergenz.
- /Fakt/Name
Lösung
- Es sei
eine Menge,
ein
Präring
auf
und
-
ein
äußeres Maß
auf
. Dann ist die
Fortsetzung
des
äußeren Maßes
ein
äußeres Maß
auf der
Potenzmenge
, das auf
mit
übereinstimmt.
- Es sei
ein
-
endlicher
Maßraum und sei
-
eine
wachsende
Folge
von nichtnegativen
messbaren
numerischen Funktionen
mit der
Grenzfunktion
. Dann gilt
-

- /Fakt
Lösung erstellen
Zeige, dass stetige Abbildungen Borel-messbar sind.
Lösung
Berechne das
Volumen
des von den Vektoren
-
im
erzeugten Parallelotops
(in dem von diesen Vektoren erzeugten Unterraum).
Lösung
Sei
-
Die Skalarprodukte haben die Werte
-
-
Die Determinante der Matrix
-
ist
-

Das Volumen des Parallelotops ist also
.
Lösung erstellen
Beweise den Satz über die Fortsetzung eines äußeren Maßes.
Lösung
Es sei
.
Das Mengensystem
ist natürlich eine Überpflasterung von
, sodass
in der Menge vorkommt, über die das Infimum genommen wird. Für jede Überpflasterung
,
,
von
gilt
und somit
-

sodass
gilt.
Für beliebige Teilmengen
gilt trivialerweise
,
da eine Überpflasterung von
insbesondere eine Überpflasterung von
ist.
Es sei nun
,
,
eine abzählbare Familie von Teilmengen von
. Wir müssen
nachweisen. Wenn der rechte Ausdruck gleich
ist, so ist nichts zu zeigen. Wir können also voraussetzen, dass die rechte Familie
summierbar
ist. Die Summanden dieser Familie sind jeweils das Infimum über Summen, die jeweils zu Überpflasterungen gehören.
Nehmen wir an, dass die linke Seite größer als die rechte Seite sei, wobei die Differenz größer als
sei. Sei
,
,
so gewählt, dass
ist; eine solche Familie gibt es aufgrund der Abzählbarkeit von
, siehe
Aufgabe *****.
Zu jedem
gibt es eine Überpflasterung
mit einer abzählbaren Indexmenge
, mit
und mit
-

Die Menge
ist als abzählbare Vereinigung abzählbarer Mengen wieder abzählbar. Wir betrachten nun die durch
,
,
(mit
)
gegebene Überpflasterung von
. Damit gelten unter Verwendung des
großen Umordnungssatzes
die Abschätzungen
ein Widerspruch.
Lösung erstellen
Lösung
Der Subgraph zur Indikatorfunktion
ist
![{\displaystyle {}{\begin{aligned}A_{n}&={\left\{(x,t)\mid x\in M,\,0\leq t\leq e_{T_{n}}(x)\right\}}\\&={\left\{(x,t)\mid x\in T_{n},\,0\leq t\leq e_{T_{n}}(x)\right\}}\cup {\left\{(x,t)\mid x\in M\setminus T_{n},\,0\leq t\leq e_{T_{n}}(x)\right\}}\\&={\left\{(x,t)\mid x\in T_{n},\,0\leq t\leq 1\right\}}\cup {\left\{(x,t)\mid x\in M\setminus T_{n},\,0\leq t\leq 0\right\}}\\&=T_{n}\times [0,1]\cup (X\setminus T_{n})\times \{0\}\\&=T_{n}\times [0,1]\cup X\times \{0\}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/272420124e8a479d8ffc156459b1cdb844d5d506)
Wegen
ist somit auch
. Offenbar ist
. Für ein beliebiges
gibt es aufgrund der Ausschöpfungseigenschaft ein
mit
. Für dieses
ist auch
, sodass
gilt. Also liegt eine Ausschöpfung vor.
Lösung erstellen
Lösung erstellen
Lösung erstellen
Wir betrachten die
Differentialform
-

auf dem
und die Abbildung
-
- Berechne die äußere Ableitung von
.
- Berechne den Rückzug
von
unter
.
- Berechne die äußere Ableitung von
auf
.
- Berechne den Rückzug
von
unter
unabhängig von (3).
Lösung
- Es ist
-

- Es ist

- Es ist

- Der Rückzug
ist

Lösung
Es seien
-
die drei Eckpunkte. Wegen
ist das Integral zu dieser Flächenform über
gleich dem Flächeninhalt des Dreiecks. Dieses Dreieck wird von
aus von den beiden Vektoren
und
aufgespannt. Der Flächeninhalt ist nach der Determinantenformel für ein Parallelotop somit gleich
-

Wenn die beiden Vektoren die Standardorientierung repräsentieren, was wir von nun an annehmen, so kann man den Betrag weglassen.
Wir berechnen nun das Wegintegral zu
entlang des gegen den Uhrzeigersinn durchlaufenen Dreiecksrandes. Dabei geht der Weg von
nach
, dann nach
und zurück zu
(dies entspricht dem entgegengesetzten Uhrzeigersinn bei der fixierten Orientierung).
Diese linearen Wege sind
(jeweils auf dem Einheitsintervall definiert)
-
-
und
-
Es ist

Entsprechend ist
-

und
-

Die Summe dieser drei Wegintegrale ist die Hälfte von

sodass die beiden Integrale übereinstimmen.
Lösung erstellen
Lösung erstellen