← Back to Home

Compact Sets

What is Compactness?

Compactness is one of the most important concepts in analysis. Intuitively, a compact set is "small enough" that certain nice properties holdβ€”like being able to extract convergent subsequences from any sequence.

πŸ“œ Definition (Open Cover)

A subset A βŠ‚ ℝ is compact if every open covering of A has a finite subcovering.

In ℝ (and ℝⁿ), this is equivalent to being closed and bounded. This is the famous Heine-Borel Theorem!

Closed

Contains all its accumulation points (complement is open)

Bounded

Contained in some interval [βˆ’M, M] for M ∈ ℝ