Seien ${\displaystyle {}n\in \mathbb {N} }$ und ${\displaystyle {}k\in {\overline {\mathbb {N} }}_{+}}$. Ein topologischer Hausdorff-Raum ${\displaystyle {}M}$ zusammen mit einer offenen Überdeckung ${\displaystyle {}M=\bigcup _{i\in I}U_{i}}$ und Karten

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

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

${\displaystyle \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})}$

${\displaystyle {}C^{k}}$-Diffeomorphismen für alle ${\displaystyle {}i,j\in I}$ sind, heißt ${\displaystyle {}C^{k}}$-Mannigfaltigkeit oder differenzierbare Mannigfaltigkeit (der Dimension ${\displaystyle {}n}$ vom Differenzierbarkeitsgrad ${\displaystyle {}k}$). Die Menge der Karten ${\displaystyle {}(U_{i},\alpha _{i})}$, ${\displaystyle {}i\in I}$, nennt man auch den ${\displaystyle {}C^{k}}$-Atlas der Mannigfaltigkeit.