Submanifolds
At last we can actually define submanifolds. If and
are both manifolds with
as topological spaces — the points of
form a subset of the points of
and the topology of
agrees with the subspace topology from
— then we say that
is a submanifold of
if the inclusion map
is an embedding. If the inclusion is only an immersion, we say that
is an “immersed submanifold” of
.
Now, if is any embedding of one manifold into another, then the image
is a submanifold, as defined above. Similarly, the image of an injective immersion is an immersed submanifold. The tricky bit here is that if we have a situation like the second of our pathological immersions, we have to consider the topology on the image that does not consider the endpoints to be “close” to the middle point on the curve that they approach.
This motivates us to define an equivalence relation on injective immersions into : if
and
are two maps, we consider them equivalent if there is a diffeomorphism
so that
. Clearly, this is reflexive (we just let
be the identity map), symmetric (a diffeomorphism
is invertible), and transitive (the composition of two diffeomorphisms is another one).
The nice thing about this equivalence class is that every immersion is equivalent to a unique immersed submanifold, and so there is no real loss in speaking about an immersion as “being” an immersed submanifold. And of course the same goes for embeddings “being” submanifolds as well.
[…] regular value of , then is a topological manifold of dimension . Or, to put it another way, is a submanifold of “codimension” . Further, there is a unique differentiable structure for which is a […]
Pingback by Regular and Critical Points « The Unapologetic Mathematician | April 21, 2011 |
[…] how this dovetails with our discussion of submanifolds. The projection is a smooth map, and every point is a regular value. Its preimage is a […]
Pingback by The Tangent Space of a Product « The Unapologetic Mathematician | April 27, 2011 |
[…] of an -dimensional manifold is a partition of into -dimensional connected immersed submanifolds, which are called the “leaves” of the foliation. We also ask that the tangent spaces to […]
Pingback by Foliations « The Unapologetic Mathematician | July 1, 2011 |
[…] one shape into another. In this case, when we say “shape” we really mean a subspace or submanifold of some outside space we occupy, like the three-dimensional space that contains our idiomatic […]
Pingback by Homotopy « The Unapologetic Mathematician | November 29, 2011 |