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 ⊂ ℝn offen, 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
Schreiben Sie uns!