Embedding (simple definition)
(Difference between revisions)
Askopenkov (Talk | contribs) (Created page with " {{Stub}} == Definition == <wikitex>; A ''smooth embedding'' of a smooth compact manifold $N$ into a smooth manifold is a smooth injective map $f:N\to M$ such that $df$ is a m...") |
Askopenkov (Talk | contribs) |
||
Line 5: | Line 5: | ||
A ''smooth embedding'' of a smooth compact manifold $N$ into a smooth manifold is a smooth injective map $f:N\to M$ such that | A ''smooth embedding'' of a smooth compact manifold $N$ into a smooth manifold is a smooth injective map $f:N\to M$ such that | ||
$df$ is a monomorphism at each point. | $df$ is a monomorphism at each point. | ||
+ | (See an [[Embedding#Definition|alternative definition]] which works for non-compact manifolds and involves immersions. | ||
+ | A ''smooth immersion'' is a smooth map $f:N\to M$ such that $df$ is a monomorphism at each point. | ||
+ | See an [[Immersion#Definition|alternative definition]].) | ||
A map $f:N\to\Rr^m$ of a polyhedron $N$ is ''piecewise-linear (PL)'' if it is linear on each simplex of some smooth triangulation of $N$. | A map $f:N\to\Rr^m$ of a polyhedron $N$ is ''piecewise-linear (PL)'' if it is linear on each simplex of some smooth triangulation of $N$. |
Revision as of 13:09, 26 April 2016
This page has not been refereed. The information given here might be incomplete or provisional. |
1 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 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 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 .