Heine-Borel Theorem/Real Line

Theorem
Let $\R$ be the real number line considered as an Euclidean space.

Let $S \subseteq \R$.

Then $S$ is closed and bounded in $\R$ iff $S$ is compact.

Sufficient Condition
Let $S$ be closed and bounded in $\R$.

Then by Closed Bounded Subset of Real Numbers is Compact $S$ is compact.

Note
This does not apply in the general metric space.

A trivial example is $\left({0 \,.\,.\, 1}\right)$ as a subspace of itself.

It is closed and bounded but not compact.

Also see

 * Bolzano-Weierstrass Theorem
 * Heine-Borel Theorem (General Case)

The theorem is sometimes called the Borel-Lebesgue Theorem, for Émile Borel and Henri Léon Lebesgue.