Compact space

Lore & Background

In the 19th century, Bernard Bolzano (1817) proved that any bounded sequence of points has a subsequence that gets arbitrarily close to a limit point, using the method of bisection. This result was later rediscovered by Karl Weierstrass. In the 1880s, similar ideas were extended to spaces of functions by Giulio Ascoli and Cesare Arzelà, culminating in the Arzelà–Ascoli theorem, which allowed extraction of a uniformly convergent sequence from a suitable family of functions.

Eduard Heine in 1870 showed that a continuous function on a closed and bounded interval is uniformly continuous, using a lemma that from any countable cover of the interval by smaller open intervals, a finite number could be selected that still cover it. This lemma was generalized by Émile Borel (1895), Pierre Cousin (1895), and Henri Lebesgue (1904), leading to the Heine–Borel theorem. Lebesgue exploited this property in developing the integral now bearing his name.

Maurice Fréchet in 1906 distilled the essence of the Bolzano–Weierstrass property and coined the term compactness. Later, Pavel Alexandrov and Pavel Urysohn (1929) formulated compactness in terms of open covers, showing that this version was stronger than Fréchet's sequential compactness and could be applied to general topological spaces with minimal technical machinery.

Reader's Guide

Compactness is a central concept in topology and analysis, as it allows local properties to yield global conclusions. For subsets of Euclidean space, compactness is equivalent to being closed and bounded (Heine–Borel theorem). In metric spaces, compactness is equivalent to sequential compactness—every infinite sequence has a convergent subsequence—though this equivalence can fail in more general topological spaces. The open-cover definition—every open cover has a finite subcover—became the standard because it is stronger and applicable in a general topological setting.

Compactness underpins many major results: continuous real-valued functions on compact spaces attain maxima and minima (extreme value theorem), the Arzelà–Ascoli theorem for families of functions, and the Peano existence theorem for differential equations. The term compact set may refer to a compact topological space or a subset that is compact in the subspace topology. The development of compactness from Bolzano's bisection method through Fréchet's formalization to Alexandrov and Urysohn's open-cover formulation illustrates a key evolution in modern mathematics.

Did You Know?

• Compactness was formally introduced by Maurice Fréchet in 1906 in work generalizing the Bolzano–Weierstrass theorem.
• The open-cover formulation of compactness was developed by Pavel Alexandrov and Pavel Urysohn in 1929.
• In Euclidean space, compactness is equivalent to being closed and bounded, by the Heine–Borel theorem.
• Every continuous real-valued function on a compact space attains its maximum and minimum.