Compactness

Compactness is the topological abstraction of finiteness: a space is compact when every open cover has a finite subcover, a property that turns many infinite problems into finite ones.

Definition

A topological space is compact if every collection of open sets whose union is the whole space (an open cover) admits a finite subcollection that still covers the space.

Scope

This topic defines compactness via open covers and develops its equivalent and related forms — limit-point compactness, sequential compactness, and countable compactness — and their relationships under countability and metrizability assumptions. It covers the consequences of compactness (continuous images of compact spaces are compact, continuous real functions attain extrema, compact subsets of Hausdorff spaces are closed), the Heine-Borel characterization in Euclidean space, and the Tychonoff theorem that products of compact spaces are compact. Local compactness and compactifications are included.

Core questions

• Why is the open-cover definition the right abstraction of finiteness rather than boundedness or sequential limits?
• When do sequential, limit-point, and open-cover compactness coincide, and when do they diverge?
• How does compactness propagate through continuous maps, products, and subspaces?
• What makes the Tychonoff theorem — and its dependence on the axiom of choice — central to general topology?

Key concepts

• Open covers and finite subcovers
• Sequential, limit-point, and countable compactness
• Heine-Borel theorem in Euclidean space
• Tychonoff theorem for arbitrary products
• Local compactness and one-point compactification

Clinical relevance

Compactness underlies existence results across mathematics — attainment of extrema (extreme value theorem), existence of convergent subnets, compact operators in functional analysis, and the closedness of moduli and parameter spaces in geometry.

History

The notion grew from the Heine-Borel theorem on closed bounded intervals; the modern open-cover definition was abstracted in the 1920s, and Tychonoff's 1930 theorem on products established compactness as a property robustly preserved under arbitrary products, equivalent in strength to the axiom of choice.

Key figures

• Eduard Heine
• Émile Borel
• Andrey Tychonoff

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

Is compact the same as closed and bounded?

Only in finite-dimensional Euclidean space, where the Heine-Borel theorem makes them equivalent. In general metric and topological spaces, closed and bounded sets need not be compact.

Why does the Tychonoff theorem need the axiom of choice?

Proving that an arbitrary (possibly uncountable) product of compact spaces is compact is logically equivalent to the axiom of choice, so the theorem cannot be established without some form of choice.