Definition:Embedding (Differential Geometry)
Definition
Let $m,n\geq1$ be natural numbers.
Let $U\subset\R^n$ be open.
Let $f : U \to \R^m$ be a mapping.
Then $f$ is a $C^k$-embedding if and only if $f$ is:
- injective
- a $C^k$-immersion
- a homeomorphism on its image
Rank
The rank of an embedding is the rank of its differential at any point.
Smooth Embedding
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
