Compact Subspace of Real Numbers is Closed and Bounded/Proof 2

From ProofWiki
Jump to navigation Jump to search


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

Let $S \subseteq \R$ be compact subspace of $\R$.

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


From Real Number Line is Metric Space, $\left({\R, d}\right)$ is a metric space, where $d$ denotes the Euclidean metric on $\R$.

Therefore, the result follows from:

Metric Space is Hausdorff
Compact Subspace of Hausdorff Space is Closed


Compact Metric Space is Totally Bounded
Totally Bounded Metric Space is Bounded