# Prove that every subset of $\mathbb{N}$ is clopen

My proof is:

Let $x$ be any point in $\mathbb{N}$, and let $\beta$ be the closest number (such as a factor or irrational number) to $x$, such that $\beta \notin \mathbb{N}$ and $\beta > x$.

Let $B_\epsilon(x)$ be the epsilon ball around $x$ in $\mathbb{N}$. Let $\epsilon = \beta - x$.

Clearly $\forall x \in \mathbb{N}: \exists \epsilon >0, \epsilon \in \mathbb{R}: B_\epsilon \left({x}\right) \subseteq \mathbb{N}$. So we have that all singleton sets in $\mathbb{N}$ are open.

All subsets of $\mathbb{N}$, except the empty set, consist of a union of many such $x \in \mathbb{N}$ and since all unions of open sets are open, we have that all subsets of $\mathbb{N}$ are open.

This means that the complement to every subset in $\mathbb{N}$ is closed. However, since the complement to any subset of $\mathbb{N}$ is itself a subset of the space, we have that all subsets of $\mathbb{N}$ are closed.

Therefore, all subsets of $\mathbb{N}$ are clopen.

Is this correct?

• Surely $x + \frac{\beta - x}{2}$ is closer to $x$ than $\beta$ is, showing that no such $\beta$ exists. If $x$ is $3$ what is $\beta$ supposed to be? – user4894 Feb 7 '17 at 5:47
• I don't really understand your definition of $\beta$. Why not just take $\varepsilon=\frac{1}{2}$? – carmichael561 Feb 7 '17 at 5:47
• I see this now, very dumb mistake. Thanks. – jackson5 Feb 7 '17 at 5:51
• @carmichael561 if you'd like to post this as an answer, I will gladly accept it. – jackson5 Feb 7 '17 at 5:52

There is no closest number to $x$, there is always another number between $x$ and any $\beta$ you come up with.
However you have the right idea about showing the singletons are open, just use $\epsilon = \frac{1}{2}$.
Just show all singletons are open, which is easy, as all natural numbers are at least 1 apart: $\{n\} = B_\frac{1}{2}(n)$ where the ball is taken in the restricted metric. If all singletons are open, all subsets $A \subseteq \mathbb{N}$ are open, as $A = \cup\{\{n\}: n \in A\}$ is a union of open sets, so open.