## [Compactness](/compactness-0) Definition A topological property: a space is compact if every open cover admits a finite subcover; in metric spaces often equivalent to sequential compactness and to closedness plus boundedness in Euclidean settings. ## Principle Principle A finiteness-like constraint that prevents escape to infinity and permits extraction of convergent subsequences and the attainment of extrema under continuity. ## Demonstration Demonstration Every closed and bounded subset of Euclidean R^n is compact: any open cover has a finite subcover (Heine–Borel property) and continuous functions on it attain maxima and minima. ## Misapplication Misapplication Treating closed and bounded as synonymous with compact in arbitrary infinite-dimensional function spaces where bounded closed sets may fail to be compact. ## Consequence Consequence Compactness guarantees limit-point compactness properties, continuity-induced attainment of extrema, and precompactness of images under continuous maps. ## Reversal Reversal Non-compactness allows sequences with no convergent subsequence (they 'escape' or oscillate), so continuous functions need not reach bounds and infima/suprema may not be realized. ## Boundary Boundary A purely topological notion; equivalences with sequential compactness or closed-and-bounded hold only under additional structure (metric, Euclidean). Excludes measure-theoretic finiteness or probabilistic tightness unless explicitly related. ## Semantic Tension Semantic Tension Often contrasted with completeness: completeness concerns Cauchy behavior of sequences relative to a metric, while compactness imposes global finiteness of coverings; they are independent properties in general. ## Synthesis Synthesis Compactness is a topological finiteness condition ensuring that coverings reduce to finite subcoverings, enabling extraction of convergent subsequences and forcing continuous images to be well-behaved (e.g., achieve extrema) within its scope.