Immersion (mathematics)
Differentiable function whose derivative is everywhere injective / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Immersion (mathematics)?
Summarize this article for a 10 year old
In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential pushforward is everywhere injective.[1] Explicitly, f : M → N is an immersion if
is an injective function at every point p of M (where TpX denotes the tangent space of a manifold X at a point p in X). Equivalently, f is an immersion if its derivative has constant rank equal to the dimension of M:[2]
The function f itself need not be injective, only its derivative must be.
A related concept is that of an embedding. A smooth embedding is an injective immersion f : M → N that is also a topological embedding, so that M is diffeomorphic to its image in N. An immersion is precisely a local embedding – that is, for any point x ∈ M there is a neighbourhood, U ⊆ M, of x such that f : U → N is an embedding, and conversely a local embedding is an immersion.[3] For infinite dimensional manifolds, this is sometimes taken to be the definition of an immersion.[4]
If M is compact, an injective immersion is an embedding, but if M is not compact then injective immersions need not be embeddings; compare to continuous bijections versus homeomorphisms.