Aleksandrov compactification

Aleksandrov compactification
Name	Aleksandrov compactification
Other names	one-point compactification
Type	Topological construction
Introduced by	Pavel Aleksandrov
Field	Topology
First published	1924

Aleksandrov compactification is a classical method in topology that adjoins a single extra point to a noncompact space to produce a compact space. It is closely associated with work by Pavel Aleksandrov and appears alongside constructions by Henri Lebesgue, Felix Hausdorff, and Maurice Fréchet in the early 20th century. The construction connects to concepts developed by Émile Borel, Luitzen Egbertus Jan Brouwer, and Andrey Kolmogorov and finds application in analysis by Jean Leray, John von Neumann, and Laurent Schwartz.

Definition

Given a noncompact Hausdorff locally compact space X as considered by Pavel Aleksandrov and Felix Hausdorff, the Aleksandrov compactification adds a single point ∞ to X to obtain a compact Hausdorff space X∪{∞}. This process parallels compactifications studied by Henri Lebesgue and Maurice Fréchet and is contrasted with the Čech–Stone compactification developed later by Marshall Stone and Eduard Čech. The resulting space often appears in contexts involving Élie Cartan, Norbert Wiener, and Paul Dirac when compactification simplifies boundary behavior in problems linked to Sofia Kovalevskaya, Évariste Galois, and David Hilbert.

Construction and properties

The topology on X∪{∞} makes subsets U⊂X open as in X, while neighborhoods of ∞ are complements of closed compact subsets of X, reflecting techniques used by Emmy Noether and Hermann Weyl. If X is locally compact and Hausdorff—as in many examples studied by Henri Cartan and John von Neumann—the compactified space is compact and Hausdorff, echoing separation axioms formalized by Felix Hausdorff and Kazimierz Kuratowski. The construction preserves metrizability under conditions analyzed by Maurice Fréchet and Pavel Urysohn and interacts with countability properties investigated by Georg Cantor, John Nash, and André Weil. For non-locally compact spaces, counterexamples by R.L. Moore and Mary Cartwright show failure of Hausdorffness, paralleling pathologies considered by Srinivasa Ramanujan and George Pólya.

Examples

A canonical example is ℝ, whose Aleksandrov compactification is homeomorphic to the circle S^1 studied by Henri Poincaré and Bernhard Riemann via stereographic projection used by Augustin-Louis Cauchy and Carl Friedrich Gauss. For ℝ^n the one-point compactification yields the n-sphere S^n relevant to René Descartes and Élie Cartan in differential topology. Discrete countable spaces produce the convergent sequence compactification similar to constructions considered by Georg Cantor and Felix Hausdorff. Non-locally compact examples exhibiting failure of the construction include the rationals ℚ where compactness issues relate to analysis by Joseph Fourier and Peter Dirichlet. Manifold examples connect to work by John Milnor, Michael Atiyah, and Raoul Bott in algebraic topology and index theory.

Universal property and functoriality

The Aleksandrov compactification satisfies a universal mapping property for continuous maps from a locally compact Hausdorff space X to a compact Hausdorff space Y, akin to adjunctions examined by Samuel Eilenberg and Saunders Mac Lane in category theory. Given a continuous proper map studied in the context of René Thom and Shiing-Shen Chern, there is a unique continuous extension to the one-point compactification, mirroring functorial ideas used by Alexander Grothendieck and Jean-Pierre Serre. Limitations of functoriality appear in comparisons with constructions by John von Neumann and Paul Halmos where extensions fail without properness, echoing obstructions noted by Alexander Grothendieck and Jean Leray.

Relations to other compactifications

The Aleksandrov compactification is the simplest compactification and contrasts with the Čech–Stone compactification of Marshall Stone and Eduard Čech, which is maximal and uses ultrafilters as in work by Alfred Tarski and Wacław Sierpiński. It relates to the Stone–Čech construction used by László Révész and to the Alexandroff–Urysohn considerations of Pavel Urysohn and Andrey Tikhonov in product compactness theorems. Comparisons to ends compactification studied by Hans Freudenthal, Freudenthal compactification contexts used by William Thurston, and the Martin compactification applied in potential theory by Rolf Nevanlinna and Arne Beurling show diverse applications in dynamics, ergodic theory as developed by George Birkhoff, and harmonic analysis by Norbert Wiener.

Applications and extensions

Applications appear across algebraic topology in works by Henri Poincaré and Samuel Eilenberg, in functional analysis connected to John von Neumann and Stefan Banach where one-point compactifications aid spectral theory, and in differential geometry as used by Michael Atiyah and Isadore Singer. Extensions include equivariant one-point compactifications relevant to Felix Klein and Sophus Lie in group actions, and noncommutative analogues inspired by Alain Connes and Israel Gelfand in operator algebras. Further developments link to dynamical systems studied by Stephen Smale and Yakov Sinai, to probability theory in the style of Andrey Kolmogorov and Paul Lévy, and to partial differential equations treated by Jean Leray and Lars Hörmander.

Category:Topological constructions