Embedding (simple definition)
This page has not been refereed. The information given here might be incomplete or provisional. |
[edit] Definition
A smooth embedding of a smooth compact manifold into a smooth manifold is a smooth injective map such that is a monomorphism at each point. (See an equivalent alternative definition which works for non-compact manifolds and involves immersions. A smooth immersion is a smooth map such that is a monomorphism at each point. See an equivalent alternative definition.)
A map of a polyhedron is piecewise-linear (PL) if it is linear on each simplex of some smooth triangulation of . A PL embedding of a compact polyhedron into is a PL injective map .
A topological embedding of a compact subset into is a continuous injective map .
Classification of embeddings up to isotopy is a classical problem in topology, see [Skopenkov2016c].