Diffeomorphism

A bijective differentiable map whose inverse is also differentiable
Diffeomorphism

A diffeomorphism is a bijection f:UVf:U\to V between U,VRnU,V\subseteq \mathbb{R}^n such that ff is differentiable on UU and the inverse map f1:VUf^{-1}:V\to U is differentiable on VV.

A diffeomorphism is, in particular, a . Sufficient conditions for a map to be locally (and sometimes globally) a diffeomorphism are given by the , typically phrased using a nonzero .

Examples:

  • The translation f(x)=x+af(x)=x+a on Rn\mathbb{R}^n is a diffeomorphism with inverse xxax\mapsto x-a.
  • Any invertible linear map f(x)=Axf(x)=Ax (with detA0\det A\ne 0) is a diffeomorphism of Rn\mathbb{R}^n.