等分布理论简介

为了研究小数的数字规律,引进等分布的概念,它并不复杂,但
却引人入胜。
    等分布又名一致分布(uniform distribution).
    若x(i)(i=1,2,...)为U1=[0,1)中的一个点集,对于任意正整数n
及任意实数r∈U1,命N(n,r)表示n个点x(i)(i=1,...,n)落入区间[0,r)
的点的个数,如果
            
 N(n,r)
  lim--------=r
       n->∞  n

则称点集x(i)(i=1,2,...)在U1中
一致分布

  外尔判别法:点集x(i)(i=1,2,...)在U1中一致分布的充要条件是,
对于任意一个U1中的黎曼可积函数f(x),都有:

     f(x(1))+f(x(2))...+f(x(n))   1
lim ---------------------------=∫ f(x)dx
n->∞            n                0
 
 外尔,德国数学家,给出了另外一个可行的判别法:
  点集x(i)(i=1,2,...)在U1中一致分布的充要条件是,对于任意一个
 整数h≠0,都有
            
1 n    2πihx(m)
         lim---∑ e^         =0
        n->∞n m=1

  上面的定义只是数学分析性质的,我们可以对其进行通俗的理解。
所谓的等分布,顾名思义就是说数列{x(n)}在[0,1]上“等可能”
分布。
  另外,在定义中所用到的区间[0,1],也可以是另外的区间[x,y],
仅仅是概念上的差别,没有本质的区别。就象我们研究sin(x)一样,
通常只研究[0,2pi]的区间,是不是要考虑其他的区间,仅仅是看
我们的需要而定。

  若数列{x(n)}在[0,1]上等分布,则下列几个结论等价:
结论1.对于任意c∈[0,1],存在{x(n)}的无穷子数列收敛于c.
结论2.设α,β∈[0,1]令V(n,α,β)表示x(1),x(2),...x(n),这n个
数中满足x(i)∈[α,β]的个数,则
     V(n,α,β)
lim ----------=β-α
 n->∞   n

---------------------------------------------
关于等分布有许多有趣的例子,这里仅介绍两个。
首先举一个典型的例子,
定理1:对于任意一个正无理数θ,数列{n*θ}在[0,1]上等分布。
其中{}表示取小数部分。

证明:
   利用结论1,即要证对于任意c∈[0,1],和给定的正数ε,总
存在n满足|{n*θ}-c|<ε。
   首先,c=0时,我们要证明{n*θ}存在收敛于0的子数列。
由于{n*θ}的值全都位于[0,1]上,所以至少有一个聚点α,即
存在自然数列n(1),n(2),... 满足i->∞时,{n(i)*θ}->α. 显然,
可以选择数列{n(i)},使其间隔递增而趋于∞。在此,不妨同时假
定{n(i)*θ}是从单侧趋向α,即为递增或递减,若为递增(递减同理),
考虑数列m(i)=n(i+1)-n(i),必有{m(i)*θ}->0,并且m(i)->∞。
即{m(i)*θ}是收敛于0的子数列。
因此可以选择{m(i)*θ}的子数列(为了方便记号,不妨假定为
{m(i)*θ}本身),满足

           (1/10)^(i+1)<{m(i)*θ}<(1/10)^i .....(*)

  在这里用到了θ的无理性,因为{m(i)*θ}永远不会等于0,所以可以
使(*)式中的两个小于号严格成立,这也是本定理对有理数不成立的原因。
对于任意c∈(0,1),显然存在数列{k(i)},满足:

           k(i)*(1/10)^(i+1)< c <k(i)*(1/10)^i

由以上两式不难证明数列{k(i)*m(i)*θ}->c。
  此定理也可以利用外尔判别法证明。

  对于有理数的情况,设有理数为m/n,其中m,n互素,显然{i*(m/n)}只有n个
不同的取值0,1/n,...(n-1)/n,定理1不成立。

下面我们再来看看方幂的情况。

问题: 是否存在自然数k,使得2^k的左面10位数是1234567890?

看起来与等分布没有多少关系,但利用等分布的理论可以解决此问题。
等分布研究的是[0,1]上的分布,因此要将2^k转化一下,在前面加上
“0.”,使其变为纯小数,0._2^k, 下划线表示结构上的连接。例如,
2^5=32,变为 0.32。
我们将证明

定理2. 数列{0._2^k}在[0.1,1]上等分布。

证明: 
        0._2^k=2^k*10^(-k*log2+{k*log2}-1)
              =10^({k*log2}-1)
因为log2是无理数,由定理1可知{k*log2}在[0,1]上等分布,
所以{k*log2}-1在[-1,0]上等分布,因此10^({k*log2}-1)在[0.1,1]
上等分布,这一点可以由10^x的连续性和结论1推出。
由定理2,必有子数列{0._2^k(i)}收敛于0.1234567890,也就是说,存在
无穷个k,使得2^k的前10位数是1234567890。

当然定理仅仅告诉我们存在,而没有表明究竟是多大。
若m不是10的方幂,可以证明 log(m)是一个无理数,因此有

定理3.若m不是10的方幂,则数列{0._m^k}在[0.1,1]上等分布。

所以m^k的左面同样可以出现任意的数字序列。

下面的一些猜想似乎都还没有解决。

1. {1.1^n} 在[0,1]上等分布。 
2. {e^n} 在[0,1]上等分布,e=2.718...


对于任意正无理数θ,{θ^n}在[0,1]上等分布并不成立,因为令
θ=sqr(2)+1,可以证明{θ^n}->1。
转自  数学之旅
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Suprman

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值