Finishing a proof that the points $e^{ixn}$ are dense in $S^1$ for $x\notin \pi \mathbb{Q}$. [duplicate]

Solution 1:

The set of real numbers $x\not\in\pi\mathbb{Q}$ contains $\mathbb{Q}\setminus\{0\}$, and is therefore dense in $\mathbb{R}$. The map $\mathbb{R}\to S^{1}, t\mapsto e^{it}$ is a continuous surjection. The image of a dense set under a continuous surjection is dense in the codomain.

Solution 2:

In brief: the key is to consider the points $(e^{ixl})^k = e^{ix(lk)}$ (with $k \in \Bbb N$), which break up $S^1$ into $\epsilon$-balls.

Begin with any point $z \in S^1$. To show that your set is dense, we need to show that for any $\epsilon > 0$, there exists an $n \in \Bbb N$ such that $|e^{ixn} - z| < \epsilon$. You've found that for any $\epsilon > 0$, there exists an $l \in \Bbb N$ such that $|e^{ixl} - 1| < \epsilon$. From there, let $0 \leq x_0 < 2 \pi$ be such that $e^{ix_0} = e^{ixl}$ (that is, $x_0 \equiv xl \pmod {2\pi}$).

Suppose first that $\operatorname{Im}(e^{ixl}) = \sin(xl) > 0$. Let $0 \leq y < 2 \pi$ be such that $z = e^{iy}$. Note that for any $0 \leq t \leq x_0$, it holds that $|e^{it} - e^{ixl}| < \epsilon$. Similarly, for any $k \in \Bbb N$, it holds for $kx_0 \leq t \leq (k+1)x_0$, that $|e^{it} - e^{ix[l(k+1)]}| < \epsilon$. Now, there must exist a $k \in \Bbb N$ such that $kx_0 \leq y \leq (k+1)x_0$. Thus, with $n = (k+1)l$, we have $|e^{ixn} - e^{iy}| < \epsilon$.

On the other hand, suppose that $\operatorname{Im}(e^{ixl}) < 0$. Let $0 \leq y \leq 2 \pi$ be such that $z = e^{-iy}$, and outline a similar argument to conclude the proof.