当a∉ℚ时，求证O_T(0)在[0,1)中稠密，已知ma≡na mod1⇨m=n，后续如何推进？

这是个经典的遍历理论入门问题，用鸽巢原理就能轻松搞定，我一步步给你拆解：

我们的目标是验证稠密性的核心定义：对任意$x\in[0,1)$和任意$\varepsilon>0$，总能找到整数$n$使得$|na\pmod1 - x| < \varepsilon$。结合题目给出的“$ma\equiv na\pmod1$当且仅当$m=n$”（即轨道点无重复），按以下步骤推进：

步骤1：用鸽巢原理找“近邻点” #

取任意正整数$N$，考虑$n=0,1,2,...,N$对应的$na\pmod1$，一共$N+1$个不同的点（题目条件保证无重复），全部落在$[0,1)$内。

将$[0,1)$均匀划分为$N$个长度为$\frac{1}{N}$的子区间：
$$[0,\frac{1}{N}),\ [\frac{1}{N},\frac{2}{N}),\ ...,\ [\frac{N-1}{N},1)$$
根据鸽巢原理，$N+1$个点放进$N$个区间，至少有两个不同的点落在同一个子区间。假设这两个点是$ka\pmod1$和$la\pmod1$（$0\leq k<l\leq N$），则它们的差满足：
$$|(l-k)a\pmod1| < \frac{1}{N}$$
记$p=l-k$（正整数），则$pa\pmod1$是一个小于$\frac{1}{N}$的正数（因为$a$是无理数，$pa$不可能是整数，所以不会等于0）。

步骤2：生成“均匀覆盖”的轨道点 #

现在，我们把$pa\pmod1$这个数不断平移（即取$npa\pmod1,\ n\in\mathbb{Z}$），这些点会把$[0,1)$分割成一系列长度小于$\frac{1}{N}$的小段：

• 每加一次$pa\pmod1$，轨道点就向右移动小于$\frac{1}{N}$的距离（到达1时自动绕回0）；
• 由于所有轨道点无重复，这些平移后的点会依次填满$[0,1)$，相邻两点的间隔都小于$\frac{1}{N}$。

步骤3：结合任意小的$\varepsilon$完成证明 #

对任意给定的$\varepsilon>0$，我们只需取$N$满足$\frac{1}{N}<\varepsilon$。此时轨道中存在一系列间隔小于$\varepsilon$的点，完全覆盖$[0,1)$——这意味着任意$x\in[0,1)$必然落在某两个相邻轨道点构成的小区间内，而这个小区间的长度小于$\varepsilon$，因此区间内的轨道点到$x$的距离必然小于$\varepsilon$。

直观补充 #

比如取$a=\sqrt{2}-1$（无理数），计算轨道点：

• $n=1$时：$\sqrt{2}-1\approx0.414$
• $n=2$时：$2\sqrt{2}-2\approx0.828$
• $n=3$时：$3\sqrt{2}-4\approx0.242$
• $n=4$时：$4\sqrt{2}-5\approx0.656$
• $n=5$时：$5\sqrt{2}-7\approx0.070$
  这些点会逐渐填满$[0,1)$的所有角落，完美对应稠密性的结论。

内容的提问来源于stack exchange，提问作者user534808