Given an irrational number $x \in \mathbb{R}\setminus \mathbb{Q}$, is it possible to find a map $T: \mathbb{N} \to \mathbb{N}$ strictly increasing such that $\left\{T(n) x\right\} \to 0$ as $n \to \infty$, where $\left\{\cdot\right\}$ is the fractional part?
Limit involving fractional part of irrational numbers
2
$\begingroup$
real-analysis
limits
-
0Another question: which one of Kronecker's theorems? – 2012-11-24
2 Answers
4
- If $x$ is irrational, by Kronecker's theorem, for all $N$ there exists some $1 \le q$ such that $\{qx\}<\frac{1}{N}$.
- If $x$ is irrational then $nx$ is irrational.
Let $T(1) = 1$ and suppose we have built $n$ terms of the sequence $T(n)$, to build the next pick $N$ large enough that $\frac{1}{N} < \{T(n)x\}$ and apply Kronecker's theorem on the irrational $T(n)x$ to get some $q > 1$ such that $\{qT(n)x\}$ and put $T(n+1) = T(n)q$.
1
I would like to add a second proof of this theorem based on a deleted answer.
Since $x$ is irrational the continued fraction gives a sequence of convergents (best rational approximations) $\frac{p_n}{q_n} \to x$ with (at least) quadratic convergence, further from the theory of continued fractions $p_n x - q_n$ is alternating in sign so we may choose a subsequence $r$ from it such that $\{p_{r(n)} x\} \to 0$.