Submanifold: Difference between revisions

2 bytes removed ,  8 years ago
m (WP:CHECKWIKI error fixes (category with space) + general fixes using AWB (7796))
Given any [[embedding]] ''f'' : ''N'' → ''M'' of a manifold ''N'' in ''M'' the image ''f''(''N'') naturally has the structure of an embedded submanifold. That is, embedded submanifolds are precisely the images of embeddings.
There is an intrinsic definition of an embedded submanifold which is often useful. Let ''M'' be an ''n''-dimensional manifold, and let ''k'' be an integer such that 0 ≤ ''k'' ≤ ''n''. A ''k''-dimensional embedded submanifold of ''M'' is a subspacesubset ''S'' ⊂ ''M'' such that for every point ''p'' ∈ ''S'' there exists a [[chart (topology)|chart]] (''U'' ⊂ ''M'', φ : ''U'' → '''R'''<sup>''n''</sup>) containing ''p'' such that φ(''S'' ∩ ''U'') is the intersection of a ''k''-dimensional [[plane (mathematics)|plane]] with φ(''U''). The pairs (''S'' ∩ ''U'', φ|<sub>''S'' ∩ ''U''</sub>) form an [[atlas (topology)|atlas]] for the differential structure on ''S''.
Alexander's theorem and jordan-schoenflies are good examples of smooth embeddings.
Anonymous user