Hausdorff defined spaces where closeness needs no ruler
A topological space is a set of points plus a structure—a topology—that says what counts as nearby without requiring a numeric distance. Limits, continuity, and connectedness all make sense there. It is the most general setting modern mathematics uses for those ideas, from Euclidean space to exotic manifolds.
Neighbourhoods and open sets offer equivalent axioms. Felix Hausdorff’s neighbourhood rules demand that every point sits in each of its neighbourhoods, supersets of neighbourhoods remain neighbourhoods, intersections of two neighbourhoods stay neighbourhoods, and neighbourhoods of different points link in a controlled way. On the real line, a set is a neighbourhood of a number when it contains an open interval around that number. The open-set package is now the most common: a topology τ on X is a family of subsets containing X and the empty set, closed under arbitrary unions and finite intersections. Complements of open sets are closed; both X and empty are clopen.
History threaded toward that abstraction slowly. Around 1735 Leonhard Euler found a polyhedron relation that Cauchy (1789–1857) and L’Huilier (1750–1840) generalised. Carl Friedrich Gauss’s 1827 General investigations of curved surfaces already spoke of surfaces in a near-modern spirit, yet until Bernhard Riemann’s early-1850s work surfaces stayed local and parametric. August Möbius and Camille Jordan sought numerical invariants deciding when compact surfaces are homeomorphic. Felix Klein’s 1872 Erlangen Program cast geometry as invariants of continuous transformations. Johann Benedict Listing coined “topology” in 1847 (having used it earlier in letters); Henri Poincaré’s opening paper on the subject dates to 1894. By the 1930s, Alexander and Whitney were treating a surface as a space that looks locally Euclidean.
Maurice Fréchet defined metric spaces in 1906; Hausdorff named them and, in 1914’s Principles of Set Theory, gave the first definition of topological spaces. Examples range from the trivial topology {∅, X} to richer collections such as {∅, {2}, {1,2}, {2,3}, {1,2,3}, X}. Not every family works: all finite subsets of the integers plus the whole set fail, because infinite unions of finite sets need not stay finite. Closed-set axioms dualise the open ones via de Morgan’s laws.
General topology—point-set topology—studies these spaces for their own sake, yet virtually every branch of modern mathematics borrows them. Euclidean spaces, metric spaces, and manifolds are familiar special cases; many other equivalent axiomatisations reconstruct the same structure from different starting points.
Source: Topological space
