Difeomorfism

Difeomorfism on bijektiivne pidevalt diferentseeruv kujutus, mille pöördkujutus on samuti pidevalt diferentseeruv.

Selle kujutus määramis- ja muutumispiirkonnad võivad olla vektorruumi ${\displaystyle \mathbb {R} ^{n}}$ lahtised hulgad või üldisemalt diferentseeruvad muutkonnad. Vastavalt diferentseeruvusklassile räägitakse ${\displaystyle C^{k}}$-difeomorfismidest (${\displaystyle k\in \{1,2,\dots ,\infty ,\omega \}}$).