# Rationals are Everywhere Dense in Reals

## Theorem

### Topology

Let $\struct {\R, \tau_d}$ denote the real number line with the usual (Euclidean) topology.

Let $\Q$ be the set of rational numbers.

Then $\Q$ is everywhere dense in $\struct {\R, \tau_d}$.

### Normed Vector Space

Let $\struct {\R, \size {\, \cdot \,}}$ be the normed vector space of real numbers.

Let $\Q$ be the set of rational numbers.

Then $\Q$ are everywhere dense in $\struct {\R, \size {\, \cdot \,}}$