Difference between Heine-Borel Theorem and Bolzano-Weierstrass Theorem

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.

Solution 1:

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.

Solution 2:

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 http://www.researchgate.net/publication/232863146