# Set of Rational Numbers is not Closed in Reals

## Theorem

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

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

Then $\Q$ is not closed in $\R$.

## Proof

Let $\alpha \in \R \setminus \Q$.

Let $I := \openint a b$ be an open interval in $\R$ such that $\alpha \in I$.

$\exists \beta \in \Q: \beta \in I$.

Thus $I$ contains elements of $\Q$ and so $\R \setminus \Q$ is not open in $\R$.

Thus by definition, $\Q$ is not closed in $\R$.

$\blacksquare$