Whitney embedding theorem - Imported Knowlpedia Content

Statement

Let $M$ be a Hausdorff, second-countable smooth manifold without boundary and of positive dimension $n$ . The Whitney embedding theorem states that there exists a smooth embedding

M\hookrightarrow\mathbb R^{2n}.

Consequently every abstract smooth manifold can be realized as an embedded submanifold of a finite-dimensional Euclidean space, with its original topology and smooth structure. The dimension bound depends only on $n$ , not on compactness or on auxiliary geometric choices. Separate versions handle zero-dimensional manifolds and manifolds with boundary.

Significance

The theorem permits intrinsic manifold questions to be studied using ambient Euclidean constructions without making Euclidean realization part of the definition of a manifold. Once embedded, $M$ acquires a normal bundle and admits a tubular neighborhood, tools used in transversality, cobordism, and characteristic-class arguments.

Proof architecture

A weak form first constructs an embedding into a sufficiently large Euclidean space using coordinate charts and a partition of unity. Generic linear projections then lower the ambient dimension while avoiding both tangent-direction collapses and coincidences of distinct points. The final $2n$ bound requires controlling these two bad loci simultaneously Hirsch, Chapter 2.

Dimension and variants

The bound $2n$ is a universal upper bound, not the least embedding dimension of each manifold. Many manifolds embed in smaller spaces, while topology obstructs such embeddings for others. A related Whitney immersion theorem gives an immersion into $\mathbb R^{2n-1}$ for $n>1$ ; an immersion does not by itself identify $M$ homeomorphically with its image.

References

Morris W. Hirsch, Differential Topology, Springer, 1976. DOI record. Relevant: Chapter 2, Whitney immersion and embedding theorems.
John M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2012. DOI record. Relevant: Chapter 6, Whitney embedding theorem.