Difference between a manifold and a sub-manifold of the same dimension?

1.9k Views Asked by At

I appologize in advance in case this is a very trivial issue and for any mistakes due to translating stuff from my German lecture notes to English ...

A subset $M \subset \mathbb{R}^n$ is defined to be a $k$-dim submanifold of $\mathbb{R}^n$ with $1 \le k \le n-1$, if each point $m \in M$ has the following property:

There is an open set $U \subset \mathbb{R}^n $ surrounding $m$ and an open subset $V \subset \mathbb{R}^n$ related by a diffeomorphism $\Phi: U \rightarrow V$ such that

$$ \begin{eqnarray} \nonumber \Phi(U \cap M) & = & V \cap(\mathbb{R}^k \times \{ 0 \}) \doteqdot W \\ & = & \{ x =(x_1, ...,x_n) \in V | x = (x_1, ... ,x_k, 0, ..., 0) \} \end{eqnarray} $$

This basically means, that $M\cap U$ locally corresponds to $\mathbb{R}^k$.

A local chart of $M$ at point $m$ is given by the pair $(W,\phi \doteqdot \Phi^{-1})$

From another source, a k-dim manifold is described to be locally $\mathbb{R}^k$ too and covered by a family of local coordinate systems.

What is the difference between a manifold and a submanifold of the same dimension?

Is it just that the sumbanifold is "embeded" into a higher-dimensional space, whereas the manifold is not? To me it seems both can be covered in a very similar way by local coordinates.

1

There are 1 best solutions below

1
On BEST ANSWER

An abstract manifold of dimension $k$ is defined by a family of charts (local coordinate systems). In particular, such a family of charts exists for every $k$-dimensional submanifold of $\mathbb{R}^n$.

On the other hand, manifolds may be constructed independent of a realization in a Euclidean space, e.g., by surgery. There are 2-dimensional manifolds such as the Klein bottle that cannot be realized (without self-intersection) as 2-dimensional submanifold of $\mathbb{R}^3$.

The Whitney embedding theorem says that a $k$-dimensional manifold can be diffeomorphically embedded into $\mathbb{R}^{2k}$ iff its topology is Hausdorff and second countable. Thus the concept of an abstract manifold is slightly more general than a submanifold but the collection of nice examples is the same (up to diffeomorphisms).

Note that there may be multiple differentiable structure on the same manifold considered as a topological space. Examples are exotic spheres.