Analysis 3/Gemischte Definitionsabfrage/2/Aufgabe/Lösung

1. Ein Teilmengensystem ${}{\mathcal {A}}$ auf einer Menge ${}M$ heißt Mengen-Algebra, wenn folgende Bedingungen erfüllt sind.
   1. Es ist ${}M\in {\mathcal {A}}$.
   2. Mit ${}T\in {\mathcal {A}}$ gehört auch das Komplement ${}M\setminus T$ zu ${}{\mathcal {A}}$.
   3. Für je zwei Mengen ${}S,T\in {\mathcal {A}}$ ist auch ${}S\cup T\in {\mathcal {A}}$.
2. Eine Schrumpfung von ${}T$ ist eine Folge von Teilmengen ${}T_{n}$, ${}n\in \mathbb {N}$, in ${}M$ mit ${}T_{n}\supseteq T_{n+1}$ für alle ${}n\in \mathbb {N}$ und mit ${}T=\bigcap _{n\in \mathbb {N} }T_{n}$.
3. Für eine beliebige Teilmenge ${}T\subseteq M$ definiert man

   ${\tilde {\mu }}(T):=\inf \left(\sum _{i\in I}\mu (T_{i}),\,T\subseteq \bigcup _{i\in I}T_{i},\,T_{i}\in {\mathcal {P}},\,I{\text{ abzählbar}}\right)$

   und nennt dies die Fortsetzung des äußeren Maßes ${}\mu$.

4. Es sei ${}H$ die Menge der Häufungspunkte der Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$. Dann nennt man

   $\operatorname {lim} \operatorname {inf} \,{\left((x_{n})_{n\in \mathbb {N} }\right)}=\inf \,{\left(H\right)}$

   (eventuell ${}-\infty$) den Limes inferior der Folge.

5. Es seien ${}(U_{i},U_{i}',\alpha _{i},i\in I)$ und ${}(V_{j},V_{j}',\beta _{j},j\in J)$ die Atlanten von ${}M$ und ${}N$. Die Abbildung

   $\varphi \colon L\longrightarrow M$

   heißt differenzierbar, wenn sie stetig ist und wenn für alle ${}i\in I$ und alle ${}j\in J$ die Abbildungen

   $\beta _{j}\circ \varphi \circ (\alpha _{i})^{-1}\colon \alpha _{i}(\varphi ^{-1}(V_{j})\cap U_{i})\longrightarrow V_{j}'$

   stetig differenzierbar sind.

6. Eine differenzierbare Mannigfaltigkeit ${}M$ mit einem Atlas ${}(U_{i},V_{i},\alpha _{i})$ heißt orientiert, wenn jede Karte orientiert ist und wenn sämtliche Kartenwechsel orientierungstreu sind.

Zur gelösten Aufgabe