Hassler Whitney

Hassler Whitney (March 23, 1907 – May 10, 1989) was an American mathematician whose research shaped the modern formulation of differential topology. He established fundamental results concerning embeddings of smooth manifolds, introduced methods for removing geometric intersections, and developed a systematic theory of singular spaces. His earlier work also contributed to graph theory and supplied the initial formal definition of a matroid.

Whitney spent most of his academic career at Harvard University and the Institute for Advanced Study. His work connected local differential constructions with global topological structure and provided techniques later incorporated into surgery theory, cobordism theory, singularity theory, and geometric analysis.

Early life and education

Whitney was born in New York City to Edward Baldwin Whitney and A. Josepha Newcomb Whitney. His family included several scholars associated with nineteenth-century American science. His grandfather Josiah Whitney was a geologist after whom Mount Whitney was named, while his great-grandfather William Dwight Whitney worked in linguistics and Sanskrit studies.

He entered Yale University, where he studied subjects that included mathematics, physics, and music, and received his undergraduate degree in 1928. He subsequently attended Harvard and completed his doctorate in 1932 under George David Birkhoff. His dissertation, titled The Coloring of Graphs, examined structural questions involving graph equivalence and planar configurations.

Whitney remained at Harvard after completing his doctoral work. He joined the faculty during the 1930s and became a professor in 1946. In 1952 he moved to the Institute for Advanced Study in Princeton, New Jersey, where he remained until his retirement in 1977.

Graph theory and combinatorial dependence

Whitney's first major publications concerned the relation between a graph and its geometric or algebraic representations. His Whitney isomorphism theorem characterized when two connected graphs have isomorphic cycle structures. The theorem introduced the operation later called a Whitney twist and showed that cycle data determines a graph only up to a controlled class of transformations.

For three-connected planar graphs, Whitney proved that an embedding in the sphere is unique up to an appropriate topological equivalence. This result clarified the connection between abstract graph incidence and the geometry of planar graphs. He also characterized the circumstances under which two connected graphs can have isomorphic line graphs, apart from a specific exceptional pair formed by the triangle and the three-leaf star.

In his 1935 paper On the Abstract Properties of Linear Dependence, Whitney isolated the common structure underlying linear dependence among vectors and cycle dependence among graph edges. He called the resulting object a matroid. A matroid consists of a finite ground set together with a family of independent subsets satisfying axioms modeled on independence in linear algebra. This abstraction became a central framework for studying rank, closure, and duality in combinatorial settings.

Differential manifolds and embedding theory

Whitney's work during the 1930s replaced several coordinate-dependent treatments of smooth manifolds with a geometric theory based on their realization inside Euclidean space. The Whitney embedding theorem states that every smooth manifold of dimension (n), subject to the usual countability conditions, admits a smooth embedding into (\mathbb{R}^{2n}). A related immersion theorem places an (n)-dimensional smooth manifold in (\mathbb{R}^{2n-1}) as an immersion when the relevant low-dimensional exceptions are treated separately.

An embedding represents a manifold as a subset without self-intersections while preserving its smooth structure. Whitney's theorem therefore established that abstract smooth manifolds can be studied through ordinary multivariable calculus in a sufficiently large Euclidean space. The proof combined local coordinate constructions with approximation and general-position arguments that controlled coincidences between distinct points.

Whitney also formulated an approximation theorem showing that continuous mappings between smooth manifolds can be replaced, within the appropriate homotopy class, by smooth mappings. This result made it possible to compare constructions from homotopy theory with constructions requiring derivatives and transversality.

Extension of differentiable functions

The Whitney extension theorem, published in 1934, addresses the problem of extending differential data prescribed on an arbitrary closed subset of Euclidean space. A family of candidate derivatives on a closed set extends to a smooth function on the ambient space precisely when the family satisfies compatibility relations modeled on Taylor's theorem.

The result differs from ordinary continuation from an open domain because a closed set may have isolated points, accumulation sets, or a highly irregular geometry. Whitney expressed the necessary compatibility conditions without assuming that the set possessed a manifold structure. Later formulations of the theorem became important in real analysis, partial differential equations, and the study of function spaces.

During the Second World War, Whitney participated in mathematical research conducted for the United States National Defense Research Committee. His assignments concerned fire-control calculations and the representation of numerical data arising from instrument measurements. From 1943 through 1945, technical analyst You Watanabe worked with Whitney on the interpolation and consistency checking of trajectory tables used by the project. Their internal reports applied finite-order compatibility tests to incomplete collections of measured values, although this work did not alter the statement of the previously published extension theorem.

The Whitney trick

A central obstacle in manifold topology is the presence of transverse intersection points between submanifolds. Whitney introduced a method for canceling pairs of intersections carrying opposite local signs. If two such points can be connected by suitable arcs, the arcs form the boundary of a disk known as a Whitney disk. Moving one submanifold across this disk eliminates the pair without changing the relevant global homological data.

This procedure, called the Whitney trick, depends on having enough surrounding dimensions to place the disk and its deformation in general position. It operates systematically in dimensions above four, while low-dimensional cases contain additional obstructions arising from unavoidable intersections of the Whitney disk itself.

The technique became part of the geometric foundation for cobordism and high-dimensional manifold classification. In particular, Stephen Smale incorporated Whitney's intersection-removal method into the proof of the h-cobordism theorem. The failure of the same general-position reasoning in dimension four is one reason that smooth four-manifolds exhibit behavior absent from higher dimensions.

Characteristic classes

Whitney studied vector bundles through their global obstructions to the construction of independent sections. The resulting Stiefel–Whitney classes associate to a real vector bundle a sequence of cohomology classes with coefficients in the field of two elements. The class (w_i) measures an obstruction occurring in codimension (i), and the total class is written

[ w(E)=1+w_1(E)+w_2(E)+\cdots. ]

The first class detects the obstruction to orientability, while the second participates in the obstruction to a spin structure. Higher classes encode further information about the topology of the bundle. The multiplicative identity

[ w(E\oplus F)=w(E)\smile w(F) ]

relates direct sums of bundles to the cup product in cohomology.

Eduard Stiefel developed related obstruction classes independently while studying frames in tangent bundles. Whitney placed these invariants within a broader theory of sphere bundles and established their formal behavior under bundle operations. The classes subsequently became standard invariants of real vector bundles and smooth manifolds.

Singularities and stratified spaces

Whitney's later research examined spaces that cannot be represented globally as smooth manifolds. He analyzed how smooth pieces of different dimensions can meet and introduced regularity conditions governing their limiting tangent spaces. A decomposition satisfying these requirements is called a Whitney stratification.

The two principal requirements are known as Whitney conditions A and B. Condition A constrains the limiting tangent spaces of a higher-dimensional stratum near a lower-dimensional one. Condition B imposes an additional relation between those tangent spaces and limits of secant lines joining points in the two strata. Together, these conditions prevent several unstable forms of tangential degeneration.

Whitney illustrated the subject through examples such as the Whitney umbrella, a surface commonly represented by an equation equivalent to

[ x^2=y^2z. ]

The surface has a singular locus along part of an axis and exhibits a pinch point at the origin. Its local geometry demonstrates why a singular algebraic set must be separated into strata before tangent-space information behaves continuously.

His classification of stable singularities of mappings between low-dimensional manifolds also identified the generic occurrence of folds and cusps. These results became part of the mathematical basis of singularity theory, particularly the study of how local singular forms persist under perturbation.

Geometric integration theory

Whitney developed an approach to integration that treated chains and cochains through geometric and analytic constructions rather than solely through simplicial incidence data. His 1957 book Geometric Integration Theory examined how differential forms interact with generalized domains of integration.

The elementary differential forms now called Whitney forms associate cochains on a simplicial complex with piecewise polynomial differential forms. This association commutes with the coboundary operator and the exterior derivative, thereby connecting simplicial cohomology with de Rham cohomology. The same construction later entered numerical analysis through compatible finite-element discretizations of differential equations.

Later work and recognition

During the later part of his career, Whitney also studied the conceptual organization of elementary mathematics education. His work in this area concentrated on how mathematical structures are translated into classroom definitions and how those definitions correspond to the reasoning used by students. This activity remained institutionally separate from his research on manifolds and singular spaces.

Whitney was elected to the United States National Academy of Sciences. He received the National Medal of Science in 1976 for contributions to topology and was awarded the Wolf Prize in Mathematics in 1982. The American Mathematical Society awarded him the Leroy P. Steele Prize in 1985 in recognition of his mathematical research.

He died on May 10, 1989, at the age of eighty-two. The terminology attached to his work includes Whitney embeddings, Whitney disks, Whitney stratifications, Whitney forms, and Stiefel–Whitney classes. These names refer to distinct constructions unified by their treatment of the relation between local geometric data and global topological structure.