In mathematics, more specifically differential topology, a local diffeomorphism is intuitively a map between smooth manifolds that preserves the local differentiable structure. The formal definition of a local diffeomorphism is given below.
Formal definition Let X {\displaystyle X} and Y {\displaystyle Y} be differentiable manifolds. A function f : X → Y {\displaystyle f:X\to Y} is a local diffeomorphism if, for each point x ∈ X {\displaystyle x\in X} , there exists an open set U {\displaystyle U} containing x {\displaystyle x} such that the image f ( U ) {\displaystyle f(U)} is open in Y {\displaystyle Y} and f | U : U → f ( U ) {\displaystyle f\vert _{U}:U\to f(U)} is a diffeomorphism. A local diffeomorphism is a special case of an immersion f : X → Y {\displaystyle f:X\to Y} . In this case, for each x ∈ X {\displaystyle x\in X} , there exists an open set U {\displaystyle U} containing x {\displaystyle x} such that the image f ( U ) {\displaystyle f(U)} is an embedded submanifold, and f | U : U → f ( U ) {\displaystyle f|_{U}:U\to f(U)} is a diffeomorphism. Here X {\displaystyle X} and f ( U ) {\displaystyle f(U)} have the same dimension, which may be less than the dimension of Y {\displaystyle Y} .
Characterizations A map is a local diffeomorphism if and only if it is a smooth immersion (smooth local embedding) and an open map. The inverse function theorem implies that a smooth map f : X → Y {\displaystyle f:X\to Y} is a local diffeomorphism if and only if the derivative D f x : T x X → T f ( x ) Y {\displaystyle Df_{x}:T_{x}X\to T_{f(x)}Y} is a linear isomorphism for all points x ∈ X {\displaystyle x\in X} . This implies that X {\displaystyle X} and Y {\displaystyle Y} have the same dimension. It follows that a map f : X → Y {\displaystyle f:X\to Y} between two manifolds of equal dimension ( dim X = dim Y {\displaystyle \operatorname {dim} X=\operatorname {dim} Y} ) is a local diffeomorphism if and only if it is a smooth immersion (smooth local embedding), or equivalently, if and only if it is a smooth submersion. This is because, for any x ∈ X {\displaystyle x\in X} , both T x X {\displaystyle T_{x}X} and T f ( x ) Y {\displaystyle T_{f(x)}Y} have the same dimension, thus D f x {\displaystyle Df_{x}} is a linear isomorphism if and only if it is injective, or equivalently, if and only if it is surjective. Here is an alternative argument for the case of an immersion: every smooth immersion is a locally injective function, while invariance of domain guarantees that any continuous injective function between manifolds of equal dimensions is necessarily an open map.
… excerpt ends here. Continue reading the full article.
