Diffeomorphisms are the isomorphisms of smooth geometry. A [smooth manifold](/page/Smooth%20Manifold) is built by gluing pieces of Euclidean space together with smooth transition maps, and a diffeomorphism is the kind of map that preserves exactly that smooth structure. It identifies two spaces not merely as [topological spaces](/page/Topology), but as spaces on which differentiation, tangent vectors, vector fields, differential forms, flows, and Riemannian constructions make sense in the same way.

A homeomorphism preserves continuity, open sets, compactness, and connectedness. A diffeomorphism preserves the stronger information needed for calculus. This distinction matters because two spaces can be topologically identical while carrying inequivalent smooth structures, and because a bijective smooth map may fail to have a smooth inverse. Diffeomorphisms therefore mark the correct notion of sameness for tangent spaces, [derivatives](/page/Derivative), vector fields, and differential forms.

## Definition

The central question is when two smooth manifolds should count as the same object for calculus. A continuous reversible map is not enough, because it may destroy derivatives; a smooth map is not enough, because it may collapse points or have a badly behaved inverse. The definition therefore requires reversibility inside the smooth category itself.

[definition: Diffeomorphism] Let $M$ and $N$ be smooth manifolds. A map $F: M \to N$ is a diffeomorphism if $F$ is bijective, $F$ is smooth, and the inverse map $F^{-1}: N \to M$ is smooth. [/definition]

To use diffeomorphisms in calculations, we need a version of the definition that lives inside open subsets of Euclidean space. Coordinate charts reduce manifold questions to this setting, where smoothness can be tested with partial derivatives and inverse regularity can be compared with the [Jacobian matrix](/page/Jacobian%20Matrix). The Euclidean definition is the bridge between the abstract manifold notion and the computations used in the inverse function theorem.

[definition: Euclidean Diffeomorphism] Let $U$ and $V$ be open subsets of $\mathbb{R}^n$. A map $f: U \to V$ is a Euclidean diffeomorphism if $f$ is bijective, $f$ is smooth, and the inverse map $f^{-1}: V \to U$ is smooth. [/definition]

The Euclidean definition does not add a separate Jacobian hypothesis. Instead, invertibility of the Jacobian is forced by the existence of a smooth inverse. The first diagnostic question is what smooth reversibility forces at infinitesimal scale: if a change of variables has a smooth inverse, then its linear approximation must also be reversible; otherwise tangent vectors would be collapsed in a way no smooth inverse could undo.

[quotetheorem:9884]

This theorem explains why smooth bijectivity alone is too weak: the forward map may be perfectly smooth and one-to-one, while its inverse develops a cusp at the point where the derivative degenerates.

[example: Smooth Bijection with Non-Smooth Inverse] Let $f: \mathbb{R} \to \mathbb{R}$ be given by $f(x)=x^3$. Since $x^3$ is a polynomial, $f$ is smooth. If $f(a)=f(b)$, then $a^3=b^3$, so \begin{align*} 0=a^3-b^3=(a-b)(a^2+ab+b^2). \end{align*} The factor $a^2+ab+b^2$ is nonnegative and vanishes only when $a=b=0$, so in all cases $a=b$; hence $f$ is injective. For every $y \in \mathbb{R}$, the number $\operatorname{sgn}(y)|y|^{1/3}$ satisfies \begin{align*} \left(\operatorname{sgn}(y)|y|^{1/3}\right)^3=\operatorname{sgn}(y)^3|y|=y. \end{align*} Thus $f$ is surjective, and its inverse is \begin{align*} f^{-1}(y)=\operatorname{sgn}(y)|y|^{1/3}. \end{align*} Let $g=f^{-1}$. Since $g(0)=0$, differentiability of $g$ at $0$ would require the difference quotient $g(h)/h$ to have a finite limit as $h \to 0$. For $h>0$, \begin{align*} \frac{g(h)-g(0)}{h-0}=\frac{h^{1/3}}{h}=h^{-2/3}. \end{align*} As $h \to 0^+$, this tends to $+\infty$, so $g$ is not differentiable at $0$. Therefore the smooth bijection $f$ is not a diffeomorphism, because its inverse is not smooth. The infinitesimal obstruction appears at the same point: $f'(x)=3x^2$, so \begin{align*} Jf_0=[f'(0)]=[0]. \end{align*} The determinant of the $1 \times 1$ matrix $[0]$ is $0$, so $Jf_0$ is not invertible. [/example]

The example is a useful boundary case: bijectivity and smoothness in the forward direction do not control the regularity of the inverse.

A single diffeomorphism is a map, but classification problems ask whether two manifolds can be identified by at least one such map. This separates the existence of a smooth equivalence from the choice of a particular equivalence.

[definition: Diffeomorphic Manifolds] Let $M$ and $N$ be smooth manifolds. The manifolds $M$ and $N$ are diffeomorphic if there exists a diffeomorphism $F: M \to N$. [/definition]

Classification compares different manifolds, while symmetry studies maps from a manifold back to itself.

For a fixed manifold, the natural object is not just one self-diffeomorphism but the whole system of smooth reversible transformations of that manifold. Because such transformations compose and have smooth inverses, they form a group; the next definition names this group and fixes its notation.

[definition: Diffeomorphism Group] Let $M$ be a smooth manifold. The diffeomorphism group of $M$, denoted $\operatorname{Diff}(M)$, is the set of all diffeomorphisms $F: M \to M$ with group operation given by composition. [/definition]

The identity map is the identity element, and the inverse of a diffeomorphism is again a diffeomorphism. Thus $\operatorname{Diff}(M)$ records the smooth symmetries of $M$.

## Equivalent Characterisations

The definition is global: it requires bijectivity and a smooth inverse. In Euclidean space, the [inverse function theorem](/theorems/51) explains how smooth inverses are detected locally by the Jacobian matrix.