Mathematics
The Heine-Borel Theorem and Compactness in Real Analysis
Quick fact
In Euclidean space, a set is compact—meaning every open cover has a finite subcover—if and only if it is closed and bounded. This surprising equivalence, known as the Heine-Borel theorem, is a cornerstone of real analysis.
Why this is interesting
Imagine covering a circle with a collection of tiny patches—you can always pick just a few patches that still cover the whole circle. But try that with an open interval, and you might need infinitely many. Why the difference?