Submanifold: Difference between revisions

3 bytes removed ,  6 years ago
[[Image:immersedsubmanifold nonselfintersection.jpg|thumb|150px|Immersed submanifold open interval with interval ends mapped to arrow marked ends]]
An '''immersed submanifoldmanifold''' of a manifold ''M'' is the image ''S'' of an [[immersion (mathematics)|immersion]] map ''f'': ''N'' → ''M''; in general this image will not be a submanifold as a subset, and an immersion map need not even be [[injective]] (one-to-one) – it can have self-intersections.<ref>{{cite book | last = Sharpe | first = R. W. | year=1997}} page 26</ref>
More narrowly, one can require that the map ''f'': ''N'' → ''M'' be an inclusion (one-to-one), in which we call it an [[injective]] [[immersion (mathematics)|immersion]], and define an '''immersed submanifold''' to be the image subset ''S'' together with a [[topology (structure)|topology]] and [[differential structure]] such that ''S'' is a manifold and the inclusion ''f'' is a [[diffeomorphism]]: this is just the topology on ''N,'' which in general will not agree with the subset topology: in general the subset ''S'' is not a submanifold of ''M,'' in the subset topology.
Anonymous user