A characterization of compact subsets of Euclidean space: a subset of R^n is compact if and only if it is closed and bounded.

Principle

In finite-dimensional Euclidean geometry, topological compactness reduces to the metric conditions of closedness and boundedness, so local finiteness (finite subcovers) can be tested by simple geometric checks.

Demonstration

The closed interval [0,1] in R is closed and bounded, hence compact: every open cover of [0,1] has a finite subcover. Conversely, the open interval (0,1) is bounded but not closed and fails compactness because the cover by intervals (1/n,1) has no finite subcover.

Misapplication

Applying the criterion in infinite-dimensional normed spaces or arbitrary metric spaces — in many infinite-dimensional Banach spaces a set can be closed and bounded yet not compact, so the equivalence fails outside finite dimensions.

Consequence

Enables easy verification of compactness in R^n, justifying finite-subcover arguments, guaranteeing sequential compactness, continuity attaining extrema, and many finite-dimensional compactness-based theorems.

Reversal

While compact subsets of R^n are necessarily closed and bounded, the converse implication (closed and bounded implies compact) is specific to Euclidean (finite-dimensional) settings and does not reverse in general topological vector spaces.

Boundary

Valid for Euclidean spaces R^n and, more generally, for finite-dimensional normed vector spaces with the standard topology. It excludes infinite-dimensional Banach spaces, non-metric topologies, and settings where completeness or finite dimensionality fails.

Semantic Tension

Tension exists with notions like total boundedness plus completeness or sequential compactness: in metric spaces compactness is equivalent to sequential compactness and to completeness plus total boundedness, whereas Heine-Borel packages this specifically as closedness and boundedness in R^n.

Synthesis

In the dictionary of analysis: the Heine-Borel theorem identifies compactness in R^n with the elementary geometric conditions closed and bounded, providing a finite-dimensional shortcut from open-cover compactness to practical geometric verification.