重写:2018年1月16日
第1节:概述
这篇文章的基本结果如下:
- 中途球随着步距前进到位置,有大约的可能性保留在极限中-这既是真实的观察结果,又是数学推导的结果。
导出的函数具有中的有理数域,例如,中途球剩余极限中的概率对应于域值。此函数可以计算出任意分数的剩余概率。步长。∞ (0 ,1 ] 1 / 20.91∞
(0,1]1/2
- Ross的分析是正确的,但不完整,因为它尝试按数量级迭代有理数。
理性不能按数量级进行迭代。因此,Ross的分析无法访问整个域,而只能提供整体行为的有限视图。(i,∞),i=1..∞
- 然而,罗斯的分析确实说明了一个特殊的可观察到的行为:在极限情况下,不可能通过从1到最后一个剩余球组的串行迭代来实现。
- 罗斯的极限序列具有一些令人信服的特性,这些特性在直观上似乎是独特的。
但是,我们显示了另一组极限序列,它们满足相同的良好属性并给出函数的值。
第2节“符号和术语”涵盖了本文中使用的符号和术语。
第3节“中途球组”介绍了现实世界的观察-收敛于索引在所有插入的球的中途的球的剩余概率极限。该极限值为约91%。中途球集的情况在可以推广到任何有理数,它们都具有非零极限值。 (0,1]
第4节“悖论的解决”提出了一个统一的框架,用于同时包含罗斯的结果和“理性域”的结果(在此进行描述)。如前所述,Ross的分析仅提供了总体行为的有限观点。因此,矛盾的根源得以识别和解决。
在附录中,讨论了其他一些次要的结果:
- “极限值中的期望值”计算出直至并包括步长大小的任何分数的预期剩余球数。
- 该结果的推论是确定期望保持大于一个值的第一个球的索引。
第2节:符号和术语
- 我们将在第步插入的球索引标记为
并将其称为第个“球集”。Ballset是为此职位创建的一个词。
令人遗憾的是,该术语偏离了Ross的术语,但同时也使文本更加清晰和简短。n{n.1,n.2,n.3,.....n.10}n
- 符号指的是球的情况下在ballset保持在步骤,忽略ballset其他球。E(a,b)a.1ab
- 符号是用于缩写,并将其指的概率。
请注意,所有的球在ballset有剩余的概率相同。
-的值是。P(a,b)P(E(a,b))E(a,b)
a.ia
P(E(a,b))∏bk=a9k(9k+1)
- 罗斯极限是概率为趋于无穷:
-P(a)P(a,b)b
Plim1(a)=limb→∞P(a,b)
- 有理数极限被定义为当球指数和步数都达到无穷大且保持恒定比率时的:abPlim2(a,b)=limk→∞P(ka,kb)
第3节:中途球拍
在每个偶数步骤,将中途球组定义为第个球组。在每个偶数步骤,剩余的中途概率定义为。
因此,在极限为,剩余的中途概率为
。
下面的定理1给出了剩余中途概率的数值。2nn2nP(n,2n)
n→∞limn→∞P(1∗n,2∗n)
定理1-保比例域序列中元素的概率极限
limn→∞P(a∗n,b∗n)=(ab)19
的证明在附录正下方给出。
根据定理1,保留在极限中的中途概率为
,的近似十进制值为。(12)190.925875
健全性检查
让我们进行健全性检查,以查看中途概率的数值极限是否“看起来正确”。
n1000100001000001000000∞P(n/2,n)P(500,1000)P(5000,10000)P(50000,100000)P(500000,1000000)limn→∞P(n,2n)======trunc decimal val0.925726140820.92585985280.9258732260.925874560.925875
前4行是剩余的步数的值的概率中途
,,,和分别。最后一行是限制。看来中途概率确实在收敛到预测的极限。
需要解释这种不符合Ross框架的现实世界观察。 103104105106
**第4节“悖论的解决” **
本节说明了Ross分析和有理域分析的统一框架。通过一起查看它们,可以解决悖论。
有理极限可归从有理到实数的函数:
其中和,这里的表示最大公约数。等效的陈述是“和是互质”和“是的缩减部分。 Plim2(a,b)(0,1](0,1]
Plim2(a,b)==limk→∞P(ka,kb)(a′b′)19
gcd(a′,b′)=1a′b′=abgcd()a′b′a′b′ab
罗斯极限可以写为有理极限序列的极限:
元组不是中的有理数的成员;它属于,因此Ross极限与域上的函数同构, 并且其图像始终是唯一的实数。
Plim1(a)====limk→∞P(a,k)limi,k→∞P(ka/i,kb)limi→∞Plim2(a/i,b)limi→∞Plim2(0,b)for some b
(0,b)(0,1][0,0]Plim2(a,b)[0,0]0
Ross极限和有理极限分别在两个不相交的域和上具有相同的函数,Ross极限仅考虑已被降级为相对于无穷小的球集索引的情况。一步的大小。 [0,0](0,1]
罗斯极限分析预测,在极限中,对于依次访问值 永远不会达到非零值。
这是正确的,并且与真实世界的观察结果相对应。Plim1(i)i=1,2,...∞
有理极限分析考虑了真实世界的观察结果,例如罗斯极限未考虑的半球。函数是相同的但是域是而不是Plim2(a,b)(0,1][0,0]
下图描述了Ross极限序列和有理极限序列。
可以公平地说,罗斯的分析包含一个隐含的假设,即罗斯极限及其域是整个感兴趣域。即使没有明确识别出以下四个条件,Ross假设所隐含的直觉也是如此:
令是第个Roth极限序列。令是Roth极限序列的并集。 Si=P(i,n),n=1,...,∞iS=∪i=(1...∞)Si
- (1)序列不相交,并且每个序列收敛。Si
- (2)所有序列的元素的并集恰好覆盖了所有正在使用的(球,步)元组的集合:S{(i,n) | i≤n ∧ i,n∈Q}
- (3)所有序列在(步长索引)中都是无限的,因此它们不会“提前”终止。Sin
- (4)序列本身形成一个超序列。因此,可以迭代地“创建”超序列,即它们是可数的。Si{Si}iin(1...∞)
现在还不很清楚,另一个极限序列系统是否可以满足上述(1)-(4)点。
但是,我们现在将讨论另一种确实满足上述要点(1)-(4)的极限序列系统。
令(其中)表示有理极限序列
让是的互质元组:= 。令为所述有理极限序列的并集: Sp,qgcd(p,q)=1
Sp,q={(kp,kq)}k∈(1...∞)
D∗DD∗={(p,q)∈D∧gcd(p,q)=1}S∗S∗=∪d∈D∗Sp,q
显然其并集为的序列满足上述属性(1)-(3)。
索引恰好是的有理数,要满足条件(4),我们需要证明的有理数是可数的。 Sp,qS∗
(p,q)(0,1](0,1]
阶的(Farey序列)2是0到1之间完全减少的分数的序列,当以最低的术语表示的分母小于或等于,按大小递增的顺序排列。以下是前八个Farey序列:nn
F1 = {0/1, 1/1}
F2 = {0/1, 1/2, 1/1}
F3 = {0/1, 1/3, 1/2, 2/3, 1/1}
F4 = {0/1, 1/4, 1/3, 1/2, 2/3, 3/4, 1/1}
F5 = {0/1, 1/5, 1/4, 1/3, 2/5, 1/2, 3/5, 2/3, 3/4, 4/5, 1/1}
F6 = {0/1, 1/6, 1/5, 1/4, 1/3, 2/5, 1/2, 3/5, 2/3, 3/4, 4/5, 5/6, 1/1}
F7 = {0/1, 1/7, 1/6, 1/5, 1/4, 2/7, 1/3, 2/5, 3/7, 1/2, 4/7, 3/5, 2/3, 5/7, 3/4, 4/5, 5/6, 6/7, 1/1}
F8 = {0/1, 1/8, 1/7, 1/6, 1/5, 1/4, 2/7, 1/3, 3/8, 2/5, 3/7, 1/2, 4/7, 3/5, 5/8, 2/3, 5/7, 3/4, 4/5, 5/6, 6/7, 7/8, 1/1}
令表示没有第一个元素的第个Farey序列。F∗nn0/1
令是有理极限序列的并集,该序列具有至少一个元素直到并包括步骤:
S∗nn
S∗n={Sp,q | ∃(a,b)}
从分数转换为元组的索引元素完全索引的元素。下表比较了Ross分析和有理极限分析中极限序列的分组:F∗nS∗n
num new seq per step new seq at step ntot num seq up to step nsuper-seq up to step nRoss1Snn{Sm}nm=1rationalmultiple (generally)F∗n−F∗n−1∥F∗n∥F∗n
最后,由于存在用于迭代地创建超序列方法[ 3 ],[ 4 ],因此还满足条件(4)。F∗n
这些方法之一是Stern-Brocot树的变体,如下所示:
两个有理数和的中位数定义为a/cb/da+bc+d
矛盾已解决。
定理的证明1
首先请注意:
,其中最后一个转换是Sterling转换。
P(Ea,b)===∏k=ab9k(9k+1)Γ(a+19)Γ(b+1)Γ(a)Γ(b+109)(a−1)12−a(a−89)a−718bb+12(b+19)−b−1118
然后,在语法上将和入最后一个(斯特林形式)方程,我们得到
a→a∗nb→b∗n
limn→∞P(Ea,b)==limn→∞(aM−1)12−aM(aM−89)aM−718(bM)bM+12(bM+19)−bM−1118(ab)19
附录:其他结果
期望极限
本节给出了一个预期的剩余球数量的封闭式表达式,该数量不超过步长的任何部分。
该结果的推论是第一个球的指数的数值近似,该指数期望保持大于一个。
( 未完待续 )