C^k-Diffeomorphismus/Definition

Diffeomorphismus

Es seien und endlichdimensionale reelle Vektorräume und und offene Teilmengen. Eine Abbildung

heißt -Diffeomorphismus, wenn bijektiv und -mal stetig differenzierbar ist, und wenn die Umkehrabbildung

ebenfalls -mal stetig differenzierbar ist.