Is the following statement true for all irrational numbers :
Consider the set where denotes the fractional part of . Then, is dense in .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
I will show that for a specific irrational α , the set S is not dense.
Use base 2 representation α = 0 . 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 … 2 , where there are n 0's between the n th 1 and the ( n + 1 ) th 1. Because this sequence is not an eventually repeating decimal (due to the string of 0's), it is not a rational number.
The values of { 2 n α } are easily read off here. This is not dense, since it clearly doesn't contain any number in the range [ 0 . 1 0 1 1 2 , 0 . 1 1 2 ] .
Note that there are some irrational numbers where the set S is dense. For example, 0 . ∣ 0 1 ∣ 0 0 0 1 1 0 1 1 ∣ 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 ∣ … 2 , which is formed by concatenating all binary strings of length n . To see why, note that we can the number 0 . a 1 a 2 a 3 … 2 within 2 − k for all integers k , so the number is an accumulation point of the set. Hence, S is dense.