In Euclidean space R^n, a subset is compact (every open cover has a finite subcover) if and only if it is closed and bounded; this characterizes compact sets in the standard topology on R^n.

Principle

Compactness in finite-dimensional Euclidean spaces is equivalent to the finite-subcover formulation and reduces to the concrete conditions of closedness and boundedness.

Demonstration

The closed interval [0,1] in R is bounded and closed, so every open cover admits a finite subcover; conversely, an unbounded set such as (0,∞) fails the finite-subcover property because one can cover it by the open intervals (n-1, n+1) with no finite subcollection covering all large values.

Misapplication

Applying the closed-and-bounded criterion in infinite-dimensional normed spaces or arbitrary metric spaces can be false; for example, closed and bounded subsets of an infinite-dimensional Banach space need not be compact.

Consequence

In R^n the theorem guarantees existence of maxima and minima for continuous functions on compact sets, sequential compactness, and many finiteness properties used in analysis and optimization.

Reversal

The negation shows that if a set is not closed or not bounded, then there exists an open cover without any finite subcover; e.g., a nonclosed set can be covered by shrinking neighborhoods around boundary points that refuse finite subcovering.

Boundary

The statement is specific to Euclidean space R^n with the standard topology; it excludes infinite-dimensional spaces, nonstandard topologies, and spaces where 'bounded' has different meanings.

Semantic Tension

The theorem contrasts the general topological definition of compactness (open-cover condition) with the metric/geometric condition 'closed and bounded'; in general spaces compactness, completeness, total boundedness, and closedness separate into distinct properties.

Synthesis

Heine–Borel links the abstract open-cover notion of compactness to the tangible geometric criteria closedness and boundedness in finite-dimensional Euclidean settings, enabling concrete verification of compactness and its analytical consequences.