A topological property of a set meaning that every sequence in the set has a convergent subsequence whose limit lies in the set; equivalently in metric spaces, the set is sequentially compact.

Principle

Compactness encodes finite-dimensional behavior in possibly infinite contexts: it prevents loss of mass at infinity and supplies convergent subsequences, enabling extraction arguments and continuity results.

Demonstration

Heine–Borel: in R^n a subset is compact iff it is closed and bounded. In infinite-dimensional Banach spaces, the unit ball is not compact, and compactness of embeddings (Rellich) yields strong convergence from boundedness and regularity.

Misapplication

Assuming boundedness implies compactness in infinite-dimensional spaces, or exchanging sequential compactness with other compactness notions without checking the space's topology.

Consequence

Compact sets ensure existence of accumulation points and maxima/minima of continuous functions, allow diagonal extraction arguments for sequences of functions, and make continuous operators attain extrema.

Reversal

Noncompactness permits escaping sequences with no convergent subsequence (mass escaping to infinity or oscillation at finer scales), requiring different tools like tightness, weak compactness, or concentration-compactness.

Boundary

Compactness depends on the topology considered; in metric spaces sequential compactness is equivalent to compactness, but in general topological spaces variations (countable compactness, limit point compactness) differ.

Semantic Tension

Compactness is often contrasted with completeness and boundedness; while in finite dimensions they coincide (with closedness), in infinite dimensions the concepts diverge and must be distinguished from compact operators versus compact sets.

Synthesis

Compactness is the property that enforces subsequential convergence and finite-dimensional-like behavior in a topological set, underpinning existence, continuity, and stability arguments where direct convergence may fail.