Compact Subspace of Real Numbers is Closed and Bounded

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$.

Proof 1


Non-Closed Set of Real Numbers is not Compact
Unbounded Set of Real Numbers is not Compact

the result follows by the Rule of Transposition.


Proof 2

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