In differential topology, the Whitney embedding theorem states that any smooth (and second-countable) m-dimensional manifold can be smoothly embedded in Euclidean $2m$-space. The fact that this is the strongest theorem for the maximum number of dimensions it takes to smoothly embed such manifolds is apparent in the fact that the real projective space of dimension $m$ cannot be embedded into Euclidean ($2m-1$)-space.

A little about the proof

Cases $m=1$ and $2$ can be done by hand. For $m\backslash ge\; 3$ a general position argument show that there is an immersion $f:M\backslash to\backslash mathbb\; R^\{2m\}$ with transversal self-intersections. Then apply the Whitney trick, i.e. the following procedure which removes self-intersections one by one.

Whitney trick

Suppose $p\backslash in\backslash mathbb\; R^\{2m\}$ is a point of self-intersection and $x,y\backslash in\; M$ such that $f(x)=f(y)=p$. Connect $x$ and $y$ by a smooth curve

$c:*\backslash to\; M$

so that $f\backslash circ\; c$ is a simple closed curve in $\backslash mathbb\; R^\{2m\}$. Construct an embedding of a $2$-disc $h:D^2\backslash to\backslash mathbb\; R^\{2m\}$ with boundary $f\backslash circ\; c$.

By a general position argument it can be constructed with no self-intersections and with no intersections with $f(M)$ (here we use that $m\backslash ge\; 3$). Then one can deform $f$ in a little neighborhood of $h(D^2)$ so that the self-intersection disappears. The last statement is very easy to see once you visualize this picture properly.

Other things coming from Whitney trick

The Whitney trick is used to prove h-cobordism theorem; it also shows that two oriented submanifolds of complementary dimensions in a simply connected manifold of dimension $\backslash ge\; 5$ are isotopic to submanifolds such that all points of intersections have the same sign.

History

The occasion of the proof by Hassler Whitney of the embedding theorem for smooth manifolds is said (rather surprisingly) to have been the first complete exposition of the manifold concept (which had been implicit in Riemann's work, Lie group theory, and general relativity for many years), building on Hermann Weyl's book The Idea of a Riemann surface.

See also

• Whitney immersion theorem

Differential topology | Mathematical theorems

Einbettungssatz_von_Whitney | Теорема Уитни о вложении