Intuition Behind Immersed vs Embedded Submanifolds

intuitionsmooth-manifolds

The definitions I read in Lee's Smooth Manifolds is:

Embedded Submanifold: $S\subset M$ is an embedded submanifold if $S \to M$ is an embedding.

Immersed Submanifold: $S\subset M$ is an immersed submanifold if $S \to M$ is an injective immersion.

Thus, an immersed submanifold with the subspace topology is an embedded submanifold. It is also true for an immersed submanifold $S$ that all $U\subset S$ that are open in the subspace topology are open in $S$ (in the immersed submanifold topology).

How does one think of immersed versus injective sub manifolds? Intuitively how do they differ?

Best Answer

Immersed submanifold with the subspace topology is not an embedded submanifold. In fact, when we consider the underlying set of an immersed submanifold with the subspace topology, the resulting space need not be a manifold at all. For example, with the subspace topology, the figure-eight is not a manifold since you cannot find an open set in $\mathbb{R}^2$ such that its intersection with the figure-eight gives an open set for some coordinate chart including $0$.

For the second statement, note that in the subspace topology, you cannot find an open neighborhood for $0$ in the figure-eight. Try to think this for the irrational line in torus example. Try to find an open set(in the subspace topology) for any point in the irrational line. (This shows how different two topologies are)

Immersed submanifold topology is inherited from the immersion map $f :S \to M$. That is, $f(U) \subset f(S)$ is open iff $U \subset S$ is open. This topology by definition gives us the homeomorphism $f(S) \cong S$.

One should think immersed submanifold is the same(topologically) as domain of the immersion when s/he uses immersed submanifold topology and one should consider immersed submanifold more carefully when s/he uses submanifold topology because as observed above in the subspace topology image may or may not be a manifold. On the other hand, embedded submanifolds are always homeomorphic to domain of embedding in the subspace topology.

Related Question