Compactness in Metric Spaces
Compare the open-cover and sequential definitions, prove they agree in a metric space, and see what compactness buys for continuous functions.
What a learner can do afterwards
- Prove that a continuous function on a compact space is bounded and attains its bounds
- Show closed and bounded is not enough for compactness outside finite dimensions
- State the Heine-Borel theorem and identify exactly where its proof uses completeness
1 · Read
Continuous functions on compact domains behave well. Their images stay compact, hence bounded, and maxima are attained. The closed unit interval is the model case. Drop an endpoint and the promise breaks: sequences escape toward the missing point with no inside limit to catch them.
In the reals, compact means closed plus bounded, the Heine Borel rule. Closed keeps the limits, bounded keeps the spread fenced. Sequentially, every sequence lands a convergent subsequence with its limit inside, with Bolzano Weierstrass supplying it. Completeness of the reals is the engine underneath that proof.
Outside finite dimensions the equivalence collapses. The closed unit ball in infinite dimensions is closed and bounded yet not compact: it cradles a sequence with no convergent subsequence. Rationals inside [0, 1] fail nearer home by missing irrational limits. Closed plus bounded alone is not enough.
To certify a maximum, first certify compactness. Name the set, check closed, check bounded, check the space is finite dimensional. Never trust half open intervals or bare rationals with your extremes.
In the reals closed plus bounded is compact, and compact domains tame continuous maps.
2 · Watch
Take it off screen
Where it sits
This opens up
8 questions wait behind this lesson, each with its answer explained. Every answer feeds the sky: stars light as they are learned, and dim when it is time to come back.