Difeomorfism
Difeomorfism on bijektiivne pidevalt diferentseeruv kujutus, mille pöördkujutus on samuti pidevalt diferentseeruv. Selle kujutus määramis- ja muutumispiirkonnad võivad olla vektorruumi R n {\displaystyle \mathbb {R} ^{n}} lahtised hulgad või üldisemalt diferentseeruvad muutkonnad. Vastavalt diferentseeruvusklassile räägitakse C k {\displaystyle C^{k}} -difeomorfismidest ( k ∈ { 1 , 2 , … , ∞ , ω } {\displaystyle k\in \{1,2,\dots ,\infty ,\omega \}} ).