Ein Homöomorphismus
heißt ein Diffeomorphismus, wenn sowohl φ {\displaystyle {}\varphi } als auch φ − 1 {\displaystyle {}\varphi ^{-1}} C 1 {\displaystyle {}C^{1}} -Abbildungen sind.