How can we show that the dyadic rationals are dense in $\mathbb R$? Numbers of the form $ \dfrac{m}{2^{n}} $, where $ m $ is an integer and $ n $ is a non-negative integer, are called dyadic rational numbers.
How can one show that the dyadic rationals are dense in $ \mathbb{R} $?
 A: HINT: Let $x,y\in\Bbb R$ with $x<y$. There is an $n\in\Bbb N$ such that $2^{-n}<y-x$. Show that $(x,y)$ must contain an integer multiple of $2^{-n}$ and therefore some dyadic rational with denominator $2^m$ for some $m\le n$.
A: Show that the smallest closed set containing the set of all such dyadic numbers is $\mathbb{R}$. Specifically: any arbitrary open neighborhood $U$ of a  real number $q$ not dyadic must intersect nontrivially with the set of all dyadic numbers. So $q$ is a limit point. Can you show why the intersection contains something other than $q$?
A: So, basically, we have to show that the set of dyadic rationals are dense in $\mathbb{R}$. For this, if we show that the set $\left\lbrace \frac{m}{2^n}:m\in \mathbb{N}\cup\lbrace 0 \rbrace,n\in\mathbb{N}\text{ and }0\leq m \leq 2^n \right\rbrace$ is dense in $[0,1]$, then we are done. From this, one can easily extend $\textit{denseness}$ of the above numbers from $[0,1]$ into whole $\mathbb{R}$.
For the above purpose, let $\epsilon >0$, and let $x\in[0,1]$. From the Archimedean property, there is $n\in\mathbb{N}$ such that $\frac{1}{2^n}<\epsilon$. Let $m=\lfloor x\cdot2^n \rfloor$ where $\lfloor\cdot\rfloor$ represents Floor function. Then it is clear that $0\leq m \leq 2^n$. From the usual properties of Floor function, we have $$m=\lfloor x\cdot2^n \rfloor \leq x\cdot2^n \leq m+1=\lfloor x\cdot2^n \rfloor+1 $$, i.e., $$ \frac{m}{2^n}\leq x\leq \frac{m+1}{2^n} $$, i.e., $$ 0\leq x-\frac{m}{2^n}\leq \frac{1}{2^n} <\epsilon $$ which is exactly the statement we want to prove. Thus the set $\left\lbrace \frac{m}{2^n}:m\in \mathbb{N}\cup\lbrace 0 \rbrace,n\in\mathbb{N}\text{ and }0\leq m \leq 2^n \right\rbrace$ is dense in $[0,1]$. Now just extend this to whole $\mathbb{R}$.
A: Hint: if I walk from left to right on the real line taking steps of fixed length $\delta > 0$ and start to the left of some interval $I = (a,b)$, then if $\delta < b-a$, I must set foot in the interval $I$.  
A: Hint: show that for any non-empty open interval $\,(a,b)\,$ there exist $\,m,n\in\Bbb Z\,$ s.t. $\,\displaystyle{\frac{m}{2^n}\in(a,b)}\,$ (why is this enough?)
A: I'll use a specific value for epsilon of 0.001 = 1/1000. Let x be a real number. Let n= 10 because 1/2^10 = 1/1024. Then -1/1/000 < -1/1024 < 1/1000 → x-1/1000 <. x - 1/2^10 < x + 1/1000
By Archim property, there will always be an n such that 1/2^n < epsilon etc
