Differenzierbare Mannigfaltigkeit/Reell/C^k/Ergänzungsstrukturen/Definition/Begriff/Inhalt

Ein topologischer Hausdorff-Raum ${}M$ zusammen mit einer offenen Überdeckung ${}M=\bigcup _{i\in I}U_{i}$ und Karten

$\alpha _{i}\colon U_{i}\longrightarrow V_{i}$

mit ${}V_{i}\subseteq \mathbb {R} ^{n}$ offen derart, dass die Übergangsabbildungen

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

${}C^{1}$-Diffeomorphismen für alle ${}i,j\in I$ sind, heißt differenzierbare Mannigfaltigkeit.