Is { 2 n α } \{2^n \alpha\} A Dense Set?

Calculus Level 2

Is the following statement true for all irrational numbers α \alpha :

Consider the set S : = { { 2 n α } n N } , S := \big\{\{2^n \alpha\} \, | \, n \in \mathbb{N}\big\}, where { x } \{x\} denotes the fractional part of x x . Then, S S is dense in [ 0 , 1 ] [0,1] .

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.

1 solution

Calvin Lin Staff
Apr 27, 2019

I will show that for a specific irrational α \alpha , the set S S is not dense.

Use base 2 representation α = 0.101001000100001000001 2 \alpha = 0.101001000100001000001\ldots_2 , where there are n n 0's between the n n th 1 and the ( n + 1 ) (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 α } \{2^n \alpha \} are easily read off here. This is not dense, since it clearly doesn't contain any number in the range [ 0.101 1 2 , 0.1 1 2 ] [0.1011_2, 0.11_2] .


Note that there are some irrational numbers where the set S S is dense. For example, 0. 01 00011011 000001010011100101110111 2 0.|01|00011011|000001010011100101110111| \ldots _2 , which is formed by concatenating all binary strings of length n n . To see why, note that we can the number 0. a 1 a 2 a 3 2 0.a_1 a_2 a_3 \ldots _2 within 2 k 2^{-k} for all integers k k , so the number is an accumulation point of the set. Hence, S S is dense.

I also solve it in base 2 !

Théo Leblanc - 1 year, 9 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...