Local diffeomorphism Contents Formal definition Discussion Properties Local flow diffeomorphisms See...
DiffeomorphismsInverse functions
mathematicsdifferential topologyfunctionsmooth manifoldsdifferentiable structuredifferentiable manifoldsfunctionopen setdiffeomorphismimmersionsubmanifolddifferentiable structuresmanifoldcompact space
In mathematics, more specifically differential topology, a local diffeomorphism is intuitively a function between smooth manifolds that preserves the local differentiable structure. The formal definition of a local diffeomorphism is given below.
Contents
1 Formal definition
2 Discussion
3 Properties
4 Local flow diffeomorphisms
5 See also
6 References
Formal definition
Let X and Y be differentiable manifolds. A function,
- f:X→Y{displaystyle f:Xto Y,}
is a local diffeomorphism, if for each point x in X, there exists an open set U containing x, such that
- f(U){displaystyle f(U),}
is open in Y and
- f|U:U→f(U){displaystyle f|_{U}:Uto f(U),}
is a diffeomorphism.
A local diffeomorphism is a special case of an immersion f from X to Y, where the image f(U) of U under f locally has the differentiable structure of a submanifold of Y. Then f(U) and X may have a lower dimension than Y.
Discussion
For instance, even though all manifolds look locally the same (as Rn for some n) in the topological sense, it is natural to ask whether their differentiable structures behave in the same manner locally. For example, one can impose two different differentiable structures on R that make R into a differentiable manifold, but both structures are not locally diffeomorphic (see below). Note also that although local diffeomorphisms preserve differentiable structure locally, one must be able to "patch up" these (local) diffeomorphisms to ensure that the domain is the entire (smooth) manifold. For example, there can be no local diffeomorphism from the 2-sphere to Euclidean two-space although they do indeed have the same local differentiable structure. This is because all local diffeomorphisms are continuous, the continuous image of a compact space is compact, the sphere is compact whereas Euclidean 2-space is not.
Properties
- Every local diffeomorphism is also a local homeomorphism and therefore an open map.
- A local diffeomorphism has constant rank of n.
- A diffeomorphism is a bijective local diffeomorphism.
- A smooth covering map is a local diffeomorphism such that every point in the target has a neighborhood that is evenly covered by the map.
- According to the inverse function theorem, a smooth map f : M → N is a local diffeomorphism if and only if the derivative Dfp : TpM → Tf(p)N is a linear isomorphism for all points p in M. Note that this implies that M and N must have the same dimension.
Local flow diffeomorphisms
See also
- Spacetime symmetries
References
Michor, Peter W. (2008), Topics in differential geometry, Graduate Studies in Mathematics, 93, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2003-2, MR 2428390.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}.