Differenzierbare Mannigfaltigkeit/C^k-Diffeomorphismus/Definition

Diffeomorphismus (Mannigfaltigkeit)

Es seien ${}L$ und ${}M$ zwei ${}C^{k}$-Mannigfaltigkeiten. Ein Homöomorphismus

$\varphi \colon L\longrightarrow M$

heißt ein ${}C^{k}$-Diffeomorphismus, wenn sowohl ${}\varphi$ als auch ${}\varphi ^{-1}$ ${}C^{k}$-Abbildungen sind.