The Unapologetic Mathematician

Mathematics for the interested outsider

Submanifolds

At last we can actually define submanifolds. If M and N are both manifolds with M\subseteq N as topological spaces — the points of M form a subset of the points of N and the topology of M agrees with the subspace topology from N — then we say that M is a submanifold of N if the inclusion map \iota:M\to N is an embedding. If the inclusion is only an immersion, we say that M is an “immersed submanifold” of N.

Now, if f:M\to N is any embedding of one manifold into another, then the image f(M)\subseteq N 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 N: if f_1:M_1\to N and f_2:M_2\to N are two maps, we consider them equivalent if there is a diffeomorphism g:M_1\to M_2 so that f_1=f_2\circ g. Clearly, this is reflexive (we just let g be the identity map), symmetric (a diffeomorphism g 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 f:M\to N as “being” an immersed submanifold. And of course the same goes for embeddings “being” submanifolds as well.

April 20, 2011 Posted by | Differential Topology, Topology | 4 Comments