3
$\begingroup$

Possible Duplicate:
For every irrational $\alpha$, the set $\{a+b\alpha: a,b\in \mathbb{Z}\}$ is dense in $\mathbb R$

I want to show that

Given any irrational number $\alpha\in \mathbb{R}$, the set $\displaystyle S=\{ m+n\alpha : m,n\in Z \}$ is dense in $\mathbb{R}$.

Thanks in advance!

1 Answers 1

1

Kronecker's Theorem gives us that the set $\{ma\}_{m \in \mathbb{Z}}$ is dense in $(0,1)$ for irrational $a$, and hence, that the set $\{n+ma\}_{m,n \in \mathbb{Z}}$ is dense in $\mathbb{R}$.

If you want to prove Kronecker's Theorem, you may use Weyl's Criterion, which proves more strongly, that the said sequence is equidistributed too!

  • 4
    OK, maybe when using $\{\}$ in any other way than to denote sets, it would be a good idea to explicitly say that :-) Especially since your second use obviously *is* using it just to denote a set (the set of fractional parts of $n+ma$ definitely is *not* dense in $\mathbb{R}$).2012-07-31