In der Mathematik, insbesondere in den Gebieten Analysis, Differentialgeometrie und Differentialtopologie, ist ein Diffeomorphismus eine bijektive, stetig differenzierbare Abbildung, deren Umkehrabbildung auch stetig differenzierbar ist.
Dabei können die Definitions- und Zielbereiche der Abbildung offene Mengen des endlichdimensionalen reellen Vektorraums sein oder allgemeiner differenzierbare Mannigfaltigkeiten. Je nach Differenzierbarkeitsklasse spricht man von -Diffeomorphismen ().