1
$\begingroup$

Problem :

Verify if the statement if true of false -

The set $S$ of all real numbers of the form $\frac{m}{10^n} $ with $m,n \in \mathbb{Z} $ and $n \geq 0$ is dense in $\mathbb{R}$ .

I think this true .

Reason : $S$ is actually a subgroup of $\mathbb{R}$ with respect to addition .

Now i know the theorem that any subgroup of $\mathbb{R}$ is either cyclic or dense .

If $S$ were cyclic then there non-zero $m$ and an $n\geq 0$ such that $\frac{m}{10^n} $ generates $S$ . So there is a non-zero $i\in \mathbb{Z} $ such that $0= \frac{m}{10^n}+..\frac{m}{10^n}$ ( $i$ times adiition )$ = \frac {mi}{10^n} $ which is not possible because neither $m$ or $i$ is $0$ .So $S$ can be cyclic . Hence it is dense .

$\endgroup$
2
  • $\begingroup$ Your argument for $S$ not being cyclic is incorrect. $0$ is the identity of $S$, so it can be written as $0 \cdot g$ ($g$ is the generator). What you have to note is that $g/10 \in S$ cannot be generated by $g$. $\endgroup$
    – Crostul
    Commented Apr 23, 2017 at 8:19
  • $\begingroup$ If you want to show it's not cyclic, you should be looking at denominators which get too big... $\endgroup$
    – Joppy
    Commented Apr 23, 2017 at 8:32

2 Answers 2

1
$\begingroup$

Take $\varepsilon=\frac{1}{10^n}$ and receive $\frac{\lfloor 10^na\rfloor}{10^n}\in (a-\varepsilon,a+\varepsilon)$

because $\lfloor 10^na\rfloor\leq10^na<\lfloor10^na\rfloor+1$

$\endgroup$
0
$\begingroup$

We have to show that $\forall r \in \mathbb{R}$ and $\forall \varepsilon>0, \exists m,n \in \mathbb{Z}: \left|r-\frac{m}{10^n}\right|<\varepsilon$.

From $$m=\left \lfloor r10^n \right \rfloor \leq r10^n < \left \lfloor r10^n \right \rfloor +1=m+1 \Rightarrow \frac{m}{10^n} \leq r < \frac{m}{10^n}+\frac{1}{10^n}$$ we have $$\left|r-\frac{m}{10^n}\right|<\frac{1}{10^n}$$ By "adjusting" $n>0$ we can find one such that $\frac{1}{10^n} < \varepsilon$.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .