Real Number Line is Locally Compact Hausdorff Space

Theorem
Let $\left({\R, \tau_d}\right)$ be the real number line under the Euclidean metric considered as a topological space.

Then $\left({\R, \tau_d}\right)$ is locally compact.

Proof
We have that a Real Number Space Satisfies All Separation Axioms.

Specifically, $\left({\R, \tau_d}\right)$ is a Hausdorff space.

Consider $\mathcal C$ the set of subsets of $\R$ defined as:
 * $\mathcal C = \left\{{\left[{n \,.\,.\, n + 1}\right]: n \in \Z}\right\}$

where $\left[{n \,.\,.\, n + 1}\right]$ is the closed real interval between successive integers.

By the Heine-Borel Theorem, each element of $\mathcal C$ is compact.

Every element of $\R$ is contained in at least one of the elements of $\mathcal C$.

Hence, by definition, $\R$ is locally compact.