Ein C k {\displaystyle {}C^{k}} -Diffeomorphismus zwischen den offenen Mengen U 1 ⊆ V 1 {\displaystyle {}U_{1}\subseteq V_{1}} und U 2 ⊆ V 2 {\displaystyle {}U_{2}\subseteq V_{2}} in euklidischen Vektorräumen V 1 , V 2 {\displaystyle {}V_{1},V_{2}} .