Smooth Manifolds — Mathematics Knowledge System

Overview

A smooth manifold is a topological manifold equipped with a smooth (C∞) structure — a maximal atlas of coordinate charts whose transition maps are infinitely differentiable. Smooth manifolds are the natural arena for differential calculus in a coordinate-independent setting. They include the real line, spheres, tori, Lie groups, and the configuration spaces of classical mechanics. The theory, developed by Whitney, Pontryagin, and Cartan among others, underpins virtually all of modern differential geometry.

Intuition

A smooth manifold looks locally like ℝⁿ — every small patch can be mapped to an open subset of Euclidean space by a coordinate chart. The smoothness requirement says that when two charts overlap, the change-of-coordinates map is infinitely differentiable. This lets you do calculus on the manifold without being stuck in any particular coordinate system: derivatives, tangent vectors, and integrals are all defined in a coordinate-independent way.

Formal Definition

Definition

A smooth n-manifold is a pair (M, 𝒜) where M is a second-countable Hausdorff topological space and 𝒜 is a maximal smooth atlas.

\mathcal{A} = \{(U_\alpha, \varphi_\alpha)\}

Each φ_α: U_α → ℝⁿ is a homeomorphism onto an open subset of ℝⁿ

Atlas of coordinate charts

\varphi_\beta \circ \varphi_\alpha^{-1} : \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta) \text{ is } C^\infty

Smooth transition maps (compatibility condition)

\dim M = n

Dimension of M

Properties

Partition of unity

\text{Every smooth manifold admits a smooth partition of unity subordinate to any open cover.}

Smooth functions form a ring

C^\infty(M) = \{f: M \to \mathbb{R} \mid f \text{ smooth}\}

Theorems

Theorem 1: Whitney Embedding Theorem

\text{Every smooth } n\text{-manifold embeds smoothly into } \mathbb{R}^{2n}.

Theorem 2: Whitney Approximation Theorem

\text{Every continuous map between smooth manifolds is homotopic to a smooth map.}

Theorem 3: Invariance of Domain

\text{If } f: U \to M \text{ is an injective smooth map from an open } U \subseteq \mathbb{R}^n \text{, then } f(U) \text{ is open in } M.

Worked Examples

1
Cover Sⁿ with two stereographic projection charts: UN = Sⁿ \ {N} and US = Sⁿ \ {S} where N, S are the north and south poles.
2
The stereographic projection from N gives a homeomorphism φN: UN → ℝⁿ by:
$\varphi_N(x_1,\ldots,x_{n+1}) = \frac{(x_1,\ldots,x_n)}{1 - x_{n+1}}$
3
Similarly for φS from S.
$\varphi_S(x_1,\ldots,x_{n+1}) = \frac{(x_1,\ldots,x_n)}{1 + x_{n+1}}$
4
On the overlap UN ∩ US, the transition map φS ∘ φN⁻¹: ℝⁿ \ {0} → ℝⁿ \ {0} is y ↦ y/|y|², which is C∞.
$\varphi_S \circ \varphi_N^{-1}(y) = \frac{y}{|y|^2}$

✓ Answer

Sⁿ is a smooth n-manifold via the two-chart stereographic atlas. The transition map y/|y|² is C∞ on ℝⁿ \ {0}.

Practice Problems

Mediumproof writing

Prove that GL(n, ℝ) = {A ∈ M_n(ℝ) : det A ≠ 0} is an open smooth manifold of dimension n².

Mediumfree response

What is the dimension of the real projective space ℝPⁿ, and describe a smooth atlas for ℝP¹.

Common Mistakes

Common Mistake

Thinking charts must be globally defined

Charts are only required to cover M locally. Most manifolds require multiple overlapping charts — that is the whole point of an atlas.

Common Mistake

Conflating homeomorphism with diffeomorphism

Two manifolds can be homeomorphic (topologically the same) but not diffeomorphic (non-isomorphic smooth structures). Exotic spheres are the canonical example.

Quiz

Historical Background

Bernhard Riemann's 1854 habilitation lecture first envisaged n-dimensional geometric spaces 'with no ambient embedding', planting the seeds of manifold theory. The rigorous definition of a topological manifold emerged through the work of Poincaré and Brouwer in the early twentieth century. Hassler Whitney's 1936 embedding theorems and his formalization of smooth structures gave the modern notion of a smooth manifold. John Milnor's 1956 discovery of exotic smooth structures on S⁷ showed that smoothness is genuinely extra structure beyond topology.

1854
Riemann's habilitation lecture introduces n-dimensional curved spaces
Bernhard Riemann
1895
Poincaré defines manifolds topologically in Analysis Situs
Henri Poincaré
1936
Whitney proves every smooth manifold embeds in some Euclidean space
Hassler Whitney
1956
Milnor discovers 28 exotic smooth structures on S⁷
John Milnor

Summary

A smooth n-manifold is a second-countable Hausdorff space locally homeomorphic to ℝⁿ, equipped with a maximal atlas of C∞-compatible charts.
The spheres Sⁿ, real projective spaces ℝPⁿ, tori T^n, and matrix groups GL(n,ℝ) are canonical examples.
Whitney's theorem: every smooth n-manifold embeds in ℝ²ⁿ, but smooth structures are not determined by topology.
Smooth maps between manifolds are defined locally by C∞ functions in coordinates; diffeomorphisms are the isomorphisms.
Smooth manifolds carry tangent bundles, cotangent bundles, and differential forms, making calculus intrinsic.

References

BookLee, J. M. — Introduction to Smooth Manifolds, 2nd ed., Springer, 2013
BookSpivak, M. — A Comprehensive Introduction to Differential Geometry, Vol. 1, Publish or Perish, 1999
WebsiteWikipedia — Smooth manifold
WebsitenLab — smooth manifold