Compact space
Compactness makes a space behave like a finite set.
Compactness is a property of a topological space that makes it behave in many ways like a finite set. In mathematics, especially general topology and mathematical analysis, it allows local information to be combined into global conclusions.
- Field
- Mathematics (general topology, mathematical analysis)
- Key contributors
- Maurice Fréchet, Pavel Alexandrov, Pavel Urysohn
- Related theorems
- Bolzano–Weierstrass theorem, Heine–Borel theorem, extreme value theorem, Arzelà–Ascoli theorem
Lore & Background
This open-cover definition became dominant because it was stronger and could be formulated in a more general setting relying only on the structure of open sets.
Reader's Guide
Compactness is a central concept throughout mathematics. It allows local information to be combined into global conclusions. For example, every continuous real-valued function on a compact space attains its maximum and minimum (the extreme value theorem). In metric spaces, compactness is equivalent to sequential compactness, though these equivalences can fail in more general topological spaces. The property is crucial for major results such as the Arzelà–Ascoli theorem and the Peano existence theorem. Compactness also underlies the Heine–Borel theorem, which characterizes compact subsets of Euclidean space as those that are closed and bounded. The term compact set may refer to a compact topological space or a subset of a topological space that is compact in the subspace topology.
Frequently Asked Questions
What is a compact space in topology?
A compact space is a topological space with the property that every open cover admits a finite subcover. Intuitively, it forces the space to behave as though it were finite, letting you stitch together local facts into a single global conclusion.
Who are the key figures behind the modern theory of compactness?
Maurice Fréchet, Pavel Alexandrov, and Pavel Urysohn are the names most associated with shaping compactness into the general-topological tool it is today. Their work in the early twentieth century moved the idea from concrete analysis into abstract space theory.
Which major theorems depend on compactness?
The Bolzano–Weierstrass, Heine–Borel, extreme value, and Arzelà–Ascoli theorems all use compactness as a core hypothesis. In each case, the finite-subcover property is what lets a locally true statement be promoted to one that holds across the entire space.
Why do analysts and topologists care so much about compactness?
Compactness is the bridge that turns 'nearby' information into 'everywhere' information, which is exactly the move needed to prove existence results and control limits. Without it, sequences can escape to infinity and continuous functions can fail to attain their bounds.
How does compactness make a space 'act like a finite set'?
In a finite set, any collection of open conditions that covers the set is automatically covered by finitely many of them; compactness generalizes that guarantee to infinite spaces. This is why compact spaces inherit many of the nicest properties we take for granted in finite combinatorics.
More in Geometry And Topology 1-24
Spotted an error? Know more?
Reader corrections go straight into our review queue. Suggest an edit · How this site is sourced