You need to enable JavaScript to run this app.
最新活动
大模型
产品
解决方案
定价
生态与合作
支持与服务
开发者
了解我们

无理数的倍数构成的集合在[0,1]上是否均匀稠密?

无理数的倍数构成的集合在[0,1]上是否均匀稠密?

这个问题问得非常好!你提出的用有限对称子集的累积分布函数来刻画“均匀性”的思路,正好切中了**一致分布(equidistribution)**这个核心概念,而问题的答案是明确的:是的,$F_N(x)$会在很严格的意义下收敛到$x$。

我来拆解一下这个结论的来龙去脉:

首先,先修正一下你给出的累积分布函数的笔误——积分变量应该是$t$(否则和上限$x$重复了),正确的形式应该是:
$$
F_N(x) = \frac{1}{2N+1}\int_0^x \sum_i 1_{t < x_i} dt
$$
这个定义本质上和经验分布函数(即$R_N$中小于等于$x$的元素数量占总元素数的比例)是等价的,只是用积分形式表示而已,两者的收敛性完全一致。

而解决这个问题的关键工具是Weyl一致分布定理,这个定理正好针对无理数倍数模1的分布问题:

如果$r$是无理数,那么序列${nr \mod 1 \mid n \in \mathbb{Z}}$是一致分布在$[0,1]$上的。

这里的“一致分布”就是你想刻画的“均匀性”的严格数学定义,它意味着:对于任意子区间$[a,b] \subset [0,1]$,$R_N$中落在$[a,b]$内的元素数量占总元素数$(2N+1)$的比例,会随着$N$趋向无穷而收敛到区间长度$b-a$。

从这个定理出发,可以直接推导出$F_N(x)$的收敛性:

  • 逐点收敛:对于每个$x \in [0,1]$,$F_N(x)$都会趋向于$x$;
  • 一致收敛:甚至可以做到全局的均匀逼近——对于任意小的$\varepsilon > 0$,当$N$足够大时,所有$x \in [0,1]$对应的$F_N(x)$与$x$的差的绝对值都小于$\varepsilon$,也就是说整个分布函数会紧贴着$y=x$这条直线趋近。

另外补充一点:你考虑对称集合$[-N,N]$的倍数是非常自然的选择,因为负整数的倍数${-nr \mod 1}$等价于${1 - nr \mod 1}$(由于$r$是无理数,$nr$永远不会是整数),所以对称集合的分布和非负整数倍数的分布是对称互补的,同样满足一致分布的性质。

备注:内容来源于stack exchange,提问作者Andrew Yuan

火山引擎 最新活动