Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It's a very basic (may be a trivial) question but what is the exact difference, if any, between Heine Borel Theorem and Bolzano Weierstrass Theorem. It is true that one (Heine Borel) can be proved from another (Bolzano Weierstrass ).

Heine Borel Theorem: Subspace of $\mathbb{R}^n$ is compact iff it is closed and bounded.

Bolzano Weierstrass Theorem: Every bounded sequence in $\mathbb{R}^n$ has a convergent subsequence.

share|cite|improve this question
Could you explain a bit more clearly just what you’re asking? The theorems very obviously say different things. – Brian M. Scott Jan 11 '13 at 18:35
up vote 11 down vote accepted

One answer is that the Bolzano-Weierstrass theorem says that every closed, bounded set in $\Bbb R^n$ is sequentially compact, while the Heine-Borel theorem says that every closed, bounded set in $\Bbb R^n$ is compact. (The Heine-Borel theorem also asserts the converse, of course.)

In general the notions of compactness and sequential compactness are distinct. Here is an example (with proof) of a compact Hausdorff space that is not sequentially compact, and here, also with proof, is an example of a sequentially compact Hausdorff space that is not compact. However, in metric spaces the two notions of compactness coincide, so in $\Bbb R^n$ the Bolzano-Weierstrass theorem can be thought of as one direction of the Heine-Borel theorem.

share|cite|improve this answer
Oh, it seems that I lacked to see the difference between sequentially compact and compact. A few sources I checked seemed to imply that they are equivalent but without clarification that they meant "sequentially". Thank You. – 007resu Jan 11 '13 at 18:52
@Freddy: You’re welcome. – Brian M. Scott Jan 11 '13 at 18:53

The Heine-Borel and the Bolzano-Weierstrass theorems are two fundamental results in real analysis. These theorems are equivalent in the sense that their proofs can be derived from each other. In fact, there are other axioms and results such as completeness axiom, the nested interval property, the Dedekind cut axiom of continuity and Cauchy’ s general principle of convergence which are equivalent to these theorems. Most textbooks do not mention these equivalences. Apparently, it is not within the scope of elementary textbooks on real analysis to include proofs of all these equivalences. Among these results, the Heine-Borel theorem and the Bolzano-Weierstrass theorem are of fundamental importance in applications and generalization to a wider framework of topological spaces.

For detail, see

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.