Mathematics
Limit Points and Compactness in Metric Spaces
Quick fact
In a metric space, a compact set is one where every infinite subset has a limit point within the set—this is the Bolzano–Weierstrass property, and it is equivalent to the usual open-cover definition of compactness in metric spaces.
Why this is interesting
Imagine a crowd of points gathering closer and closer to a single spot—never quite arriving, but always approaching. What does that tell us about the entire set, and when can we be sure that such a gathering place must exist?
Read the full explanation
Understanding Limit Points and Compactness in Metric Spaces
Think of a point as a location in space, and a set as a collection of such locations. A limit point (or accumulation point) of a set is a point that is "infinitely close" to the set: no matter how small a neighborhood you draw around it, you will always find other points of the set inside (not counting the point itself). For example, in the interval (0,1), the point 0 is a limit point even though it is not in the set, because you can find numbers like 0.1, 0.01, 0.001 getting arbitrarily close to 0. Now, compactness is a property that captures the idea of a set being "small" or "finite-like" despite possibly having infinitely many points. In metric spaces, a set is compact if every infinite subset has a limit point that lies within the set. This is the sequential compactness view. The classic example is the closed unit interval [0,1]: it is compact because any infinite subset must have a limit point inside it, while the open interval (0,1) is not compact because the infinite subset {1/n} has its limit point 0 outside the set.
A deeper explanation
The modern definition of compactness uses open covers: a set is compact if every collection of open sets that covers it has a finite subcollection that still covers it. In metric spaces, this definition is equivalent to the Bolzano–Weierstrass property (every infinite subset has a limit point in the set). This equivalence is powerful because it connects local accumulation to global finiteness. The mechanism works because if a set lacked a limit point for some infinite subset, one could construct an open cover with no finite subcover by isolating each point; conversely, if every infinite subset has a limit point, sequences can be guided to converge, enabling extraction of finite subcovers. This characterization is what makes compactness so useful: it lets us transfer statements about infinite processes to finite ones, which is the backbone of many existence proofs, such as the extreme value theorem (a continuous function on a compact set attains its maximum and minimum). In Euclidean space, the Heine-Borel theorem tells us that compactness is simply closed and bounded, but in general metric spaces, boundedness is not sufficient—completeness and total boundedness are needed. This distinction highlights why compactness is a deep property of the space, not just a measure of its size.