Lexikon der Mathematik: Ck-Diffeomorphismus
eine bijektive Abbildung f zwischen offenen Teilmengen des ℝn mit der Eigenschaft, daß f und f−1k-mal stetig differenzierbar sind, wobei k ∈ ℕ0 sei. Ein C0-Diffeomorphismus ist also gerade eine stetige Abbildung mit stetiger Umkehrabbildung, und ein C1-Diffeomorphismus ist gerade ein gewöhnlicher Diffeomorphismus. Es gilt folgende Aussage:
Ist G ⊂ ℝnoffen, f : G → ℝ k-mal stetig differenzierbar, wobei k ≥ 1, und gilt
\begin{eqnarray}\det {f}^{^{\prime} }(a)\ne 0\end{eqnarray}
für ein a ∈ G, dann gibt es eine offene Umgebung U ⊂ G von a so, daß f/U : U → f(U) ein Ck-Diffeomorphismus ist.
Dies ist eine Verallgemeinerung des Satzes über die Differentiation der Umkehrfunktion.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.