无理格在单位区间中稠密

众所周知，实数集 $\mathbb{R}$ 模掉平移 $+n$ 以后就是单位区间 $I=[0,1)$。众所周知，对任意有理数 $\alpha$，它的格$\alpha \mathbb{Z}$在$I$中的像是离散的。然而，还有一个知道的比较少的结论，就是如果 $\alpha$ 是无理数，则 $\alpha \mathbb{Z}$ 在 $I$ 中的像是稠密的。这一现象有许多解释，例如，我们可以把$I$的首尾接起来，形成一个圆 $S^1$，任取一个点$x$，将其沿着圆转动 $\alpha \pi ,2\alpha \pi ,\cdots$ 的角度，这样形成的点集是在S^1稠密，也就是说，经过足够长的时间，$x$ 几乎会经过$S^1$上的任何一个点。如何来证明这一点呢？

命题：设 $\alpha$ 是无理数，则 $\alpha$ 的小数部分在 $[0,1)$ 中稠密

---

证明. 为了方便，记$\bar{\alpha }$为$\alpha$的小数部分。因为有理数在 $[0,1)$中稠密，只需证对任意 $x\in [0,1)$，存在一个序列 { n k α ‾ } \{\overline{n_k\alpha}\} {nk​α​} 收敛于 $x$，其中$n_k$都是整数。我们先断言：存在这样一个序列收敛于0，假设断言成立，那么有这么一个固定的序列 E = { n k α ‾ } E=\{\overline{n_k\alpha}\} E={nk​α​}，满足 ${\lim }_{k\to \infty }\overline{n_k\alpha }=0$。现在令 $x\in [0,1)$，要证明存在一个序列 { m k α ‾ } \{\overline{m_k\alpha}\} {mk​α​} 使得 ${\lim }_{k\to \infty }{m}_k\alpha =x$，我们从$E$出发来构造这个序列。对任意$k\in \mathbb{N}$，存在 $l(k)\in \mathbb{N}$，使得 $0<\overline{n_{l(k)}\alpha }<\frac{1}{k}$，并且存在 $r(k)\in \mathbb{N}$，使得
$$r(k)\cdot \overline{n_{l(k)}}\alpha \le x<(r(k)+1)\cdot \overline{n_{l(k)}}\alpha$$
，我们令 $m_k=r(k)\cdot n_{l(k)}$，则
$$|\overline{m_k\alpha }-x|<\overline{n_{l(k)}}<\frac{1}{k}$$
从而显然 ${\lim }_{k\to \infty }{m}_k\alpha =x$.

现在我们来证明断言. 若$a\in (0,1)$，设 $T(a)$ 为满足 $(n-1)a<1,na\ge 1$ 的正整数 $n$. 不难证明 $\overline{T(a)a}<a$且$T$右连续，即${\lim }_{b\downarrow a}T(b)=T(a)$. 令 $n_1=1,n_{k+1}=T(\overline{n_k\alpha })$，则 { n k α ‾ } \{\overline {n_k\alpha}\} {nk​α​} 是单调减、有下界0的数列，因此存在极限$\beta$。若$\beta >0$，则 $\beta$ 在 $T$ 的定义域内，令 $e=\beta -\overline{T(\beta )\beta }>0$。由于 $T$ 右连续，存在 $ϵ>0$ 使得对任意 $\beta \le x<\beta +ϵ$，$T(x)=T(\beta )$。又因为 $\overline{T(\beta )x}$ 在 $x=\beta$ 附近关于 $x$ 连续，存在$0<\delta <ϵ$使得对任意 $\beta \le x<\beta +\delta$，$\overline{T(\beta )x}<\overline{T(\beta )\beta }+e=\beta$。而由 { n k α ‾ } \{\overline {n_k\alpha}\} {nk​α​} 趋于 $\beta$ 可知存在 $k\in {\mathbb{Z}}_{>0}$，使得 $\beta \le \overline{n_k\alpha }<\beta +\delta$，故$\overline{n_{k+1}\alpha }=\overline{T(n_k\alpha )n_k\alpha }<\beta$，而这与 { n k α ‾ } \{\overline {n_k\alpha}\} {nk​α​} 单调下降至 $\beta$ 矛盾。故 $\beta =0$。

​ 断言证毕

证毕