在限制无限过程的每个步骤中,将10个球放入骨灰盒中,然后随机取出一个。还剩下几个球?


121

问题(稍作修改)如下,如果您从未遇到过此问题,则可以在Sheldon Ross的“ 概率论第一课的第 2章示例6a中进行检查:

假设我们拥有一个无限大的骨灰盒和一个标记为1号,2号,3号等的无数球。考虑执行以下实验:在1分钟至下午12点,将编号为1到10的球放入骨灰盒中,并随机取出一个球。(假设撤回没有时间。)在1/2分钟至下午12点,将编号为11到20的球放入骨灰盒,并随机取出另一个球。在1/4分钟到下午12点,将编号为21到30的球放入骨灰盒中,并随机取出另一个球……依此类推。感兴趣的问题是,下午12点骨灰盒里有几个球?

提出的这个问题基本上迫使每个人都弄错了-通常直觉是说在12 PM会有无数个球。Ross提供的答案是,一个one可能是空的在12 PM

在教授概率论时,这个问题就是其中的一个,很难对其进行直观的解释。

一方面,您可以尝试这样解释:“想想我在12 PM时任何球在骨灰盒上的可能性,在无限次随机抽签期间,最终将其删除。因为这对于所有球都成立,所以没有他们中的最后一个可以存在。”

但是,学生会正确地与您争论:“但是我每次要放10个球,然后移去1个球。最后不可能有零个球”。

我们能给他们解决这些矛盾直觉的最好解释是什么?

我也对这个论点持开放态度,这个问题是不恰当的,如果我们更好地表述它,“悖论”就消失了,或者对这个悖论是“纯粹是数学的”论点也持开放态度(但请尝试对此加以精确化)。


6
+1。我喜欢骨灰盒以球开头(然后删除一个),然后再添加(然后删除一个),然后再添加球的版本,等等。:-) @Neil那个参数到底是什么?你能画草图吗?4 8248
ub

16
许多关于误解和对概率的困惑来自极限和无穷大问题。这是一个很好的例子,因为@enumaris的答案很好地说明了这一点。这也是教科书中一个很好的例子,它只会导致学生得出他们不能在该学科上取得成功的结论。
Michael Lew

16
虽然很明显,每个特定的球在午夜出现在骨灰盒中的概率为零,但对我来说,并不是很明显,在午夜时留下的一组球的模式集上有明确定义的概率分布,或者在变量“午夜多少球?”上定义概率分布。
排除和冒犯

15
或更准确地说,这里的样本空间是在什么时候去除哪个球的无限选择序列。样本空间上没有一个合理的代数,“午夜多少球?” 是可测量的功能。σ
排除和冒犯

5
到目前为止,该线程中已有10多个答案,可能有100多个注释,但是似乎大多数人都没有去看Ross的书(当我用google搜索标题时,我得到了直接链接到PDF前几个结果)。那里的演示非常清楚。特别是,罗斯从两个非概率变化开始,这导致午夜时无穷或零球。在理解这一点之前,进行概率变异是没有意义的。但是,似乎许多争议者在这两个初步案件上存在分歧。
变形虫

Answers:


144

Ross 在其教科书中的示例6a中描述了此“悖论”的三个版本。在每个版本中,将10个球添加到骨灰盒中,并在该过程的每个步骤中删除1个球。

  1. 在第一个版本中,在第个步骤中删除了第个球。午夜之后还剩下无数个球,因为所有数字不以零结尾的球都还在那里。n10nn

  2. 在第二种形式中,在第个步骤中删除第个球。午夜之后剩下零个球,因为每个球最终都将在相应的步骤中被移除。ñnn

  3. 在第三个版本中,随机地均匀地去除球。Ross计算出每个球在步骤被移走的概率,并发现它随着收敛到(请注意,这并不明显!实际上必须执行计算)。这意味着,根据布尔的不等式,最后拥有零个球的概率也为。1 Ñ →交通1n1n1

您是在说最后的结论并不直观,也很难解释。这个线程中的许多混乱答案和评论都很好地支持了这一点。但是,第二个版本的结论完全不合常理!它与概率或统计绝对无关我认为在接受第二版之后,第三版就没有什么特别令人惊讶的地方了。

因此,尽管“概率性”讨论必须是关于第三版的[请参见@ paw88789,@ Paul和@ekvall的非常有见地的答案],但是“哲学性”的讨论应该集中在第二个版本上,该版本要容易得多并且在精神到希尔伯特的酒店


第二个版本称为罗斯-利特伍德悖论我链接到Wikipedia页面,但是那里的讨论令人困惑,我不建议您阅读它。相反,请看一下几年前的Math Mathflow线程。到目前为止,它已关闭,但包含几个非常有启发性的答案。我认为最关键的答案的简短摘要如下。

我们可以在步骤之后定义存在于骨灰盒中的球的集合。我们有,等有一个数学上定义良好的的概念的集合的序列的限制,人们可以严格证明该序列的限制存在,并且为空集。确实,极限球可以是什么球?只有那些永不删除的。但是每个球最终都会被清除。因此限制为空。我们可以将写入。 Ñ 小号1 = { 2 ... 10 } 小号2 = { 3 ... 20 } š Ñ →交通SnnS1={2,10}S2={3,20}Sn

同时,数字集合中的球数(也称为该集合的基数)等于。序列显然是发散的,这意味着基数收敛到的基数,也称为aleph-zero。因此我们可以将。小号Ñ 10 ñ - ñ = 9 Ñ 9 Ñ Ñ 0 | S n | →交通0|Sn|Sn10nn=9n9nN 0|Sn|0

现在的“悖论”是,这两个语句似乎相互矛盾:

Sn|Sn|00

但是,当然没有真正的悖论,也没有矛盾。没有人说获取基数是对集合的“连续”操作,因此我们不能与以下限制交换它:换句话说,根据所有整数的事实,我们不能得出结论(第一个序数的值)等于。相反,必须直接计算,结果为零。| S n | = 9 Ñ Ñ Ñ | 小号ω | | 小号ω |

lim|Sn||limSn|.
|Sn|=9nnN|Sω||Sω|

因此,我认为我们真正从中得出的结论是,接受基数是一项不连续的操作... [@HarryAltman]

因此,我认为这种悖论只是人类倾向于假定“简单”操作是连续的。[@NateEldredge]


使用函数而不是集合更容易理解。考虑集合的特征(aka指标)函数,该函数定义为在区间等于1,在其他地方等于0。前十个函数看起来像这样(比较@Hurkyl的答案中的ASCII艺术):S n [ n 10 n ]fn(x)Sn[n,10n]

前十个步骤的指标功能

每个人都会同意,对于每个点,我们都有。根据定义,这意味着函数收敛到函数。同样,每个人都会同意这一点。但是,请注意,这些函数的积分越来越大,积分的顺序也有所不同。换一种说法, LIM ˚F Ñ= 0aRlimfn(a)=0X = 0 ∫ 0 ˚F X d X = 9 Ñfn(x)g(x)=00f(x)dx=9n

limfn(x)dxlimfn(x)dx.

这是一个完全标准且熟悉的分析结果。但这是我们悖论的精确表述!

将该问题形式化的一个好方法是将水罐的状态描述为不是一个集合(的子集),因为它们很难限制,而是将其描述为特征函数。第一个“悖论”是逐点限制与统一限制不同。[@ TheoJohnson-Freyd]N

关键点是“ 午夜 ”整个无限序列已经通过,即我们进行了“超限跳跃”,并到达超限状态。积分“ 午夜中午”的值必须是的积分值,而不是相反。LIM ˚F Ñfω=limfn(x)limfn


请注意,尽管该主题受到了强烈支持,但该主题中的某些答案还是有误导性的。

特别地,@cmaster计算的确是无限的,但这不是悖论要求的。自相矛盾的问题是,在整个无限的步骤序列之后会发生什么?这是一个超限构造,因此我们需要计算,如上所述,该值等于零。ballCount 小号ωlimnballCount(Sn)ballCount(Sω)


8
您的答案以及@ paw88789的答案似乎足以解决直觉上的矛盾。基本上可以说:(i)由于基数不连续,您的直觉将失败;(ii)如果物理类比困扰您,请考虑以下问题:“移除”函数形容词吗?在概率版本中,我们选择概观图的可能性是多少?当然,仍然存在这些对象是否可以对任何真实现象建模的问题,但这是一个不同的问题。总的来说,我现在更欣赏罗斯的例子。f:NN
卡洛斯·辛纳利

11
@MichaelLew数学中有许多违反直觉的结果,这就是其中之一。集S1 = {2,... 10},S2 = {3,... 20}等的序列收敛到空集,即使每个后续集比前一个集具有更多的元素。就是这样。请注意,悖论的表述是在无限数量的步骤之后会发生什么。显然,这样的设置与物理世界没有任何联系。它是数学上的抽象,必须如此处理。[续]
变形虫

6
[续]处理无限性时直觉可能会失败,因此必须依靠数学上的严格性。也许这种重新定义将对您有所帮助:考虑一系列函数,其中第n个函数在除间隔[n + 1,10n]之外的所有位置均为零。即使每个后续函数具有更长的非零间隔,此序列也收敛为常数为零的函数。我们大多数人对功能的收敛比对集合的收敛更熟悉,因此这种重新定义可能更容易理解。
变形虫

6
@Martijn函数收敛到因为对于每个点,对于所有,都是正确的,即根据定义。同时,因为,所以积分的序列发散了。这不是矛盾,因为。只有在所谓的统一收敛成立时,才可以交换它们,这比简单(逐点)收敛要强得多。这是在mathoverflow.net/a/7113中提到的。X = 0fn(x)=I([n+1,10n])g(x)=0˚F Ñ= 0 Ñ > 一个˚F Ñ˚F Ñ = 9 ñ - 1 →交通LIM LIMaRfn(a)=0n>afnfn=9n1limlim
变形虫

7
解释这一问题的另一种方法是问以下问题:是否存在更多的偶数或自然数?即使在任何有限的间隔内,自然数也会更多,但实际上它们具有相同的基数。之后,还有或自然数的倍数吗?同样,大多数人都同意他们具有相同的基数。因此,您添加了“自然数”数量的球,但删除了“ 10个数量的球的倍数”-它们具有相同的基数,因此最终缸为空。(我知道类推并不完全正确,就像罗斯第1版显示的那样,但它提供了一些直觉)10
蚂蚁

28

Hurkyl(在回答中)和Dilip Sarwate(在评论中)给出了此难题的两个常见的确定性变体。在这两种变体中,在步骤,将球至添加到桩中()。 10 ķ - 9 10 ķ ķ = 1 2 k10k910kk=1,2,...

在Hurkyl的变体中,球被删除。在该变体中,可以确定地认为,由于在步骤去除了球,所以没有剩余的球。Ñ Ñknn

在Dilip Sarwate的变体中,球在步骤处被移除,因此在此变体中,所有不是倍数的球都将保留。在此变体中,the的末端无限多个球。ķ 1010kk10

以这两个变体为例,我们看到在执行此过程时可能会发生许多不同的事情。例如,通过执行Hurkyl的过程,但跳过某些球的去除,您可以安排最后保留任何有限的球集。事实上,对于任何一组与数无限的补充(在(正)自然数),你可以有剩余集在过程结束球。B

我们可以考虑问题的随机变化(在原始文章中给出),方法是选择函数,条件是(i)是一对一且(ii)对于所有。 ˚F ˚F ķ 10 ķ ķ Ñf:NNff(k)10kkN

在谢尔顿·罗斯(Sheldon Ross)书中给出的论点(在帖子中引用)表明,几乎所有(在概率意义上)此类函数实际上都存在于函数(猜想)上。

我认为这有点类似于从上的均匀分布中选择一个数字并询问该数字在Cantor集合中的概率是什么的情况(我使用的是Cantor集合,而不是说有理数,因为Cantor集是不可数的)。即使在Cantor集中可以选择许多(无数)数字,概率也为。在除球问题中,剩下的所有球序列都在扮演Cantor集。[ 0 1 ] 0x[0,1]0


编辑:本·米尔伍德正确地指出,有一些有限的球集不能成为剩余的集。例如,不能是剩余的集合。在您最多可以保留前球的。90 10 Ñ Ñ = 1 2 3 1,2,...,1090%10nn=1,2,3,...


4
你不能有任何有限集其余在年底球-例如,你不能有一组1..10。
本·米尔伍德

1
“在谢尔登·罗斯(Sheldon Ross)书中给出的论据(在帖子中引用)表明,几乎所有(在概率意义上)此类功能实际上都存在于功能(猜想)上。” -(+1)这是解决问题的一种非常有趣的方法,实际上,与使用an中球的“物理故事”相比,将其呈现出来实际上可能更容易且不引起混淆。
卡洛斯·辛纳利

5
+1。我认为,这是目前唯一与问题有关的答案。其他人似乎都在讨论如果将第n个球#n移走,是否还剩下零个球。换句话说,我在本主题中看到的大多数讨论实际上都是关于您的答案的第二段,并且没有其他内容。抄送@CarlosCinelli。
变形虫

3
这实际上是使我真正了解结果背后原因的第一个答案。您将展示我们获得的结果如何与我们应用的选择功能联系在一起-这很有意义,并且可以帮助进一步发展,而不是仅仅因为基数不连续而接受该数量可能为零。
sukhmel

(+1)我喜欢这个答案,因为更好地建议了基于不确定形式的似是而非的争论的不确定性。可以通过说是不确定的形式并使用它来简化很多工作。另外,请参阅下面的我的答案,它更直接地说明了这一点。0×
卡尔

24

Enumaris的答案完全正确,适用于差异极限问题。但是,实际上可以以明确的方式回答这个问题。因此,我的答案将准确地向您展示零球解决方案出了哪些问题,以及为什么直观的解决方案才是正确的解决方案。


的确,对于任何球,它在末端处在the中的概率为零。确切地说,只有极限为零:。P Ñ P Ñ = LIM Ñ →交通 P Ñ Ñ = 0nP(n)P(n)=limNP(n,N)=0

现在,您尝试计算总和 破损的计算直接跳到该部分,称其极限为零,因此总和仅包含零项,因此总和本身为零: PnN lim N 球数N

limNballCount(N)=limNn=1n10NP(n,N).
P(n,N)
limNballCount(N)=limNn=1n10NP(n,N)broken step here =limNn=1n10NlimNP(n,N)=limNn=1n10NP(n)=limNn=1n10N0=limN10N×0=0

但是,这非法将分为两个独立的部分。如果和的范围取决于的参数,则不能简单地将移入和您必须整体解决。limlimlimlim

因此,解决此的唯一有效方法是首先针对任何有限使用的事实求和。 Σ Ñ 10 Ñ Ñ = 1个 P Ñ Ñ = 9 Ñ Ñ LIM Ñ →交通 ballCount Ñ limn=1n10NP(n,N)=9NN

limNballCount(N)=limNn=1n10NP(n,N)=limN9N=

直观的解决方案正是这样做的,它是从根本上打破了“聪明”的解决方案。


9
无疑,这形成了悖论。这就等于:断言无限多的球仍然存在,这提出了一个自然的问题:哪个球? 您能说出一个有非零剩余几率的单个球吗?如果不是这样,那么可数的可加公理似乎意味着不存在任何球,因为只有许多球。因此,通过声称直观的解决方案是正确的,您就暗中否认了概率的基本公理。
ub

13
@whuber我不需要用非零概率来命名一个球:我无限多个球。两物之积的极限可以是任何东西,其中一物为零,另一物为无穷大。它可以是零,可以是无穷大,也可以是介于两者之间的任何值(例如42)。这取决于产品的整体性能。这与“悖论”相同,它使R中分布中的任何点的概率为零-只是无限多个点的间隔出现的概率为非零。在数学上确实没有悖论。
cmaster

6
您必须正确地做数学,然后才能声称没有悖论。让我举例说明。是自然数的集合。考虑一组序列,其中在步骤,从到所有数字均已删除。在每一步中,无数剩余。限制中还有多少个数字?如果我正确理解,您的“唯一有效方法”将回答“无限多个”,因为“。限制为空的事实有力证明您的方法在数学上是可疑的。= 0 1 2 ... 0 LIM Ñ →交通= ... = N={0,1,2,}i=0,1,2,0ilimn==
ub

7
@Michael不幸的是,这是一个错误的计算。每个球保留在限制中的机会是。0
ub

13
只需在此处再次评论以确保人们知道此答案是错误的。@cvote,您应该阅读Ross的论点,您的回答根本无法解决他的推论。
卡洛斯·辛纳利

14

该论点集中于无限集和序列以单位求和方式表现的趋势。这并不比希尔伯特酒店更令人惊讶。在这种情况下,您确实会拿出无限数量的球,但是您将放入无限数量的球。反过来考虑希尔伯特酒店。您可以从酒店中删除无限数量的客人,但仍然剩下无限数量的客人。

这在物理上是否可以实现完全是另一个问题。

因此,我认为它不一定是错误的形式,而是放在错误的书中。这种计数问题属于一组理论课程,而不是概率课程。


2
支持答案为0的参数比“无穷大减去无穷大为零”更为复杂,因此我认为这个答案并不能真正解决这个问题。您还可以将无数客人从酒店中剔除,剩下的零。从某种意义上讲,这里的挑战是确定您做了哪一项。集合论对这个问题的答案绝非显而易见,而概率论却没有。
本·米尔伍德

3
@BenMillwood这就是为什么我认为这个难题属于理论集而不是概率书的原因。
Cort Ammon

14

我认为这有助于消除问题中多余的时间因素。

这个悖论的更基本的变体是始终删除编号最小的球。为了便于绘制,我还将在每个步骤中仅添加两个球。

该过程描述了如何填充无限的二维网格:

.*........
..**......
...***....  ....
....****..
.....*****

 :  :  :
 :  :  :

每行是从前一行形成的,方法是在右侧添加两个星号,然后删除最左侧。

然后要问的问题是:

有多少列以重复的星号而不是重复的点结尾?

我认为,错误地将此结果等同于“每行中的星号数量限制”的想法远没有那么令人信服。


2
@LucaCiti:balls里有哪些球?与以重复的astrisk结尾的列相对应的列。有多少列以重复的形式结束?没有。
排除和冒犯

3
问哪个球和问几个球是不一样的。
Sentinel

3
@LucaCiti:多少列以星号结尾?没有。那是罗斯打算问这个图的具体问题。(实际上,以这种方式表述问题的全部重点的一部分是弄清楚正在问什么具体问题)
排除在外

5
@Hurkyl具有实际应用性且恕我直言更有意义的问题是没有几个球。考虑一个有开着的窗户的房间。在任何时候,氧气分子都会进出房间。的概率,在有限的时间中输入的分子仍处于在时间房间变为零作为。这并不意味着房间将以形式消耗氧气。Ť Ť →交通Ť →交通tTTT
卡·花旗

4
@LucaCiti:我想还不清楚,但是网格无限地向下和向右延伸。没有“最后”。是的,这就是黄色框中的文本所说的-我在帖子中给出的形式化就是该文本的含义。这是一个标准问题,Ross的实际分析与我的形式化一致。您可以问一个不同的问题,但这将是一个不同的问题。
排除在外

14

这个答案旨在做四件事:

  1. 回顾罗斯对问题的数学表述,展示其如何从问题描述中直接而明确地遵循。

  2. 捍卫罗斯的悖论解决方案在数学上合理且与我们对物理世界的理解有关的立场,无论它是否可以100%在物理上实现。

  3. 讨论某些扎根于物理直觉的谬误论据,并表明在中午时常陈述的无限球“物理”解不仅与数学矛盾,而且与物理学矛盾。

  4. 描述问题的物理实现方式,这可能会使Ross的解决方案更加直观。从这里开始,了解卡洛斯的原始问题。

1.如何用数学方式描述问题

我们将解开Ross论证的初始“无限过程建模”步骤(第46页)。这是我们将重点论证的声明:

将定义为第n次撤出后第1号球仍在the中的事件...第1号球在ball 12时处于the中的事件只是事件。Ñ = 1 Ë ÑEnn=1En

在解开Ross的陈述之前,让我们考虑一下,经过无数次操作之后,甚至有可能在中午了解the的内容。我们怎么可能知道what里有什么?好吧,让我们考虑一个特定的球;您可以想象或或任何您想要的。如果在中午之前的某个阶段将球取出,那么肯定不会在中午出现在骨灰盒中。相反,如果给定的球在过程的每个阶段在骨灰盒中,直到中午(添加之后),那么它在中午就在骨灰盒中。让我们正式写出这些语句:b = 1 1000 bbb=11000b

当且仅当球在每个阶段都在骨灰盒中,球在中午才在骨灰盒中在中午之前,其中是阶段球被添加到the。Ñ { Ñ bÑ b + 1 Ñ b + 2 } n bbn{nb,nb+1,nb+2,...}nb

现在让我们解开Ross的陈述-用简单的英语意味着什么?让我们对urn流程进行一次认识并说出来: Xn=1En x

  • xE1表示过程1的第1个球在骨灰盒中。
  • xE1E2表示在过程的第1和第2步之后,球1处于骨灰盒中。
  • xE1E2E3表示在过程的第1、2和3阶段之后,球1处于骨灰盒中。
  • 对于任何,表示在第阶段到第阶段之后,球处于the中。X ∈ Ñ ķ = 1个 Ë ķ 1 Ñk{1,2,3,...}xk=1nEk1n

那么显然,表示,在实现此骨灰盒过程的时,球1在第1、2阶段之后处于骨灰盒中3 :正午之前的所有有限阶段。无限交点只是另一种写法,因此精确地包含了第1个球在the中的过程的实现。中午之前的阶段。一个事件只是一个过程的定义的实现集,因此最后一句话恰好等于说是指中午前所有阶段球1都在the中的事件,对于这个随机过程。 X ķ Ñ = 1 Ë Ñ Ñ = 1 Ë Ñ Ñ = 1 Ë Ñxk{1,2,3...}Ekxkn=1Enn=1Enn=1En

现在,最重要的是:通过上面的“ if and only if”语句,这与说第1球中午在the里完全一样!因此是中午时球1进入骨灰盒的事件,就像罗斯最初所说的那样。优质教育n=1En

在上面的推导中,我们说的话对于确定性和概率版本均同样有效,因为确定性建模是概率建模的特例,其中样本空间只有一个元素。除了“事件”和“实现”(这只是“集合”和“元素”的术语)之外,甚至没有使用度量理论或概率概念。

2.矛盾的解决方案在数学上是合理的,并且与物理学有关

在此设置点之后,确定性和概率变体会有所不同。在确定性变体中(变形虫后篇的版本2),我们知道球1是在第一步中取出的,所以,并且无限交点当然也是空的。同样,其他任何球在阶段取出,中午不出现。因此,骨灰盒在中午不能包含任何编号的球,因此必须为空。b b bE1=bbb

在概率变量中,只是在较软的“预期”意义上发生了相同的现象。当我们接近中午时,存在任何给定球的可能性降至零,并且在正午的限制时间,几乎肯定没有球出现。由于每个球都以零概率出现,并且无限多个零的和仍为零,因此在中午几乎肯定没有骨灰盒中的球。Ross完全严格地显示了所有这些内容。如@ekvall的答案所示,可以用研究生水平的测量理论知识来填充细节。

如果您接受表示为无限序列的数学对象的标准参数,例如,则此处的参数应完全可接受,因为它依赖于完全相同的原理。剩下的唯一问题是数学解决方案是适用于现实世界,还是仅适用于柏拉图式数学世界。这个问题很复杂,将在第4节中进一步讨论。0.999...=1

就是说,没有理由以为无限的un问题是非物理的也没有理由将其视为无关紧要的,即使它是非物理的。通过研究无限的结构和过程,例如无限的导线渗流晶格,已经获得了许多物理见解。并非所有这些系统都必须在物理上可实现,但是它们的理论影响着其余的物理学。微积分本身在某些方面是“非物理的”,因为我们不知道是否有可能物理地实现通常是其研究主题的任意小的距离和时间。这并不能阻止我们将微积分在理论和应用科学中得到不可思议的良好利用。

3.基于“物理直觉”的解的非物理性

对于仍然认为罗斯的数学是错误的或在确定性变量上物理不正确的人,真正的物理解决方案是无限多个球:无论您认为中午发生什么,都不可能否认中午之前的情况:每个编号的球添加到骨灰盒中的物品最终将被移除。因此,如果您认为中午the中仍然有无限多个球,您必须承认,中午之前没有一个球可以添加。因此,这些球一定来自其他地方:您断言,与原始问题过程无关的无数个球正好在正午突然出现,以挽救基数连续性不受侵犯的问题。正如“空集”解决方案看起来不自然一样,这种选择在客观上也证明是不自然的。只是为了满足人类对无限的直觉,无法立即收集无限的对象集合。

这里常见的谬误似乎是,我们可以只看时间接近中午时的球数,并假设发散趋势在中午产生无限多个球,而不必考虑确切地取出和取出哪个球。甚至有人试图用“冷漠原则”来证明这一点,该原则指出答案不应该取决于是否标记了球。

确实,答案并不取决于球是否贴有标签,但这是罗斯解决方案的一个论据,而不是反对的。从古典物理学的角度来看,无论您是否认为球是已标记的,都有效地标记了这些球。它们具有与标签等效的不同的永久性标识,并且无论数字是否真实地写在球上,都必须进行真正的物理分析。标签本身不会直接影响解决方案的产生方式,但是需要使用标签来准确描述球如何移动。一些程序将球永远遗留在骨灰盒中,另一些程序可证明会删除添加的每个球,并且甚至需要标签来描述这些程序之间的差异。试图忽略标签不是“物理的”,而是忽略了足够精确地理解物理问题来解决它的想法。(对于复杂的变体而言,在每个阶段都要重新排列标签,情况也是如此。重要的是the中有哪些球,而不是有人放置或替换的replaced上的标签。这可以通过完全忽略复杂的重新标记方案并简单地使用一个不变的标签方案,这是罗斯最初的问题之一。)

如果“球”是量子机械粒子,则唯一的可分辨性将无法成立的事实。在这种情况下,冷漠原则会严重失败。量子物理学告诉我们,不可区分的粒子的行为与可区分的粒子完全不同。这对我们的宇宙结构产生了难以置信的根本后果,例如保利排斥原理,这也许是化学中最重要的单一原理。迄今为止,还没有人试图分析这种悖论的量子形式。

4.物理上描述解决方案

我们已经看到模糊的“物理”直觉会使我们误入歧途。相反,事实证明,对问题进行更精确的物理描述有助于我们理解为什么数学解决方案实际上是最具有物理意义的解决方案。

考虑一个受经典力学定律支配的无限牛顿宇宙。这个宇宙包含两个物体:一个无限的架子和一个无限的Ur,它们从宇宙的起源开始,并彼此平行,相隔一英尺,直到永远。搁板位于英尺的线上,而骨灰盒位于英尺的线上。沿着书架无限地放置许多相同的球,它们之间的间隔均匀为一英尺,第一个是距原点一英尺(因此,球在英尺的线上)。-实际上就像架子一样,但是更加华丽,封闭并且通常带有Urnish-是空的。y = 1 n x = ny=0y=1nx=n

一个过道将货架和Ur连接在底部,在过道的顶部,在Origin处,是一个Endeavor机器人,该机器人具有无限的电源。从11 AM开始,奋进号激活并开始在过道中来回缩放,并根据Ross-Littlewood的编程说明在instructions和架子之间转移球:

  • 当程序命令将球插入the时,从原点起的英尺球将从架子转移到the。ñnn
  • 当程序命令将球从from中取出时,距离原点的英尺将球从the转移到架子上。ñnn

在任何一种情况下,转移都是笔直进行的,因此球距原点英尺。该过程按照Ross-Littlewood问题中的规定进行:n

  • 上午11:00,奋进号将1-10的球从架子转移到to,然后将其中一个balls球移回架子。
  • 上午11:30,奋进号将11-20的球从架子转移到Ur,然后将其中一个then球移回架子。
  • 上午11:45,奋进号将21-30的球从架子上移到Ur,然后将其中一个balls移回架子。
  • 等等...

随着过程的继续,每个新步骤都需要更长的上下走道行程,并且只需要一半的行程时间。因此,奋进号必须在中午关闭时以指数方式上下移动通道。但是它始终与程序保持一致,因为它具有无限的电源,并且可以根据需要快速移动。最终,中午到了。

在这个更生动想象的悖论版本中会发生什么?从上方观看,朝中午的方向真的很壮观。在the内,一波球似乎从原点向外传播。Wave的大小和速度随着中午的临近而无限增长。如果我们在每个步骤之后立即拍照,那么球形的布局会是什么样?在确定性的情况下,它们看起来就像变形虫的答案中的阶跃函数。球的位置将精确地遵循他绘制的曲线。(x,y)在概率情况下,它看起来大致相似,但是在原点附近散乱。

中午到来时,我们会盘点发生的一切。在确定性版本中,每个球只从架上转移到transferred上一次,然后在以后的步骤中移回,两次转移都在中午之前进行。中午时分,宇宙必须回到原始的上午11点状态。浪潮不再。每个球都恰好回到了起点。什么也没有变。是空的。在概率版本中,会发生同样的事情,只是现在的结果几乎是肯定的,而不是肯定的。

无论哪种情况,“身体上的异议”和对无穷大的抱怨似乎都消失了。当然the在中午是空的。我们怎么能想到否则呢?

唯一剩下的谜是奋进的命运。随着正午的临近,它从原点的位移和速度变得任意大,因此在正午时分,在我们无限的牛顿宇宙中找不到“奋进号”。奋斗精神的丧失是在此过程中发生的唯一违反物理的行为。

在这一点上,人们可能会反对“奋进号”在物理上是不可能的,因为它的速度无限增长,并最终违反了相对论性的极限,即光速。但是,我们可以稍微更改方案以解决此问题。代替单个机器人,我们可以有无限多个机器人,每个机器人负责一个球。我们可以根据Ross的指示事先对它们进行编程,以确保完美的协调和时机。

这种变化是100%物理的吗?可能不是,因为机器人必须以任意精确的时间运行。当我们接近中午时,要求的精度最终将低于普朗克时间,并产生量子力学问题。但是最终,无限的导线和无限的渗流晶格也可能不是那么物理。这并不会阻止我们研究无限的系统和过程,并确定如果阻塞物理约束被暂停会发生什么情况。

4a。为什么计数单调性被违反

许多罗斯怀疑论者质疑,随着中午临近,骨灰盒中球的数量有可能无限增加,然后在中午为零。归根结底,我们必须相信对自己的直觉进行严格的分析,这通常是错误的,但是存在悖论的变体,可以阐明这个谜团。

假设我们有个球,而不是无限多个球,标记为1、2、3,最大为,并且向动球者规则添加了以下内容:10 N10N10N

  • 如果说明要求您移动不存在的球,请忽略该说明。

注意,如果我们添加此指令,原始问题不会改变,因为该指令永远不会被无限多个球激活。因此,我们可以认为原来的问题和这个新的问题家族属于同一家族,具有相同的规则。检查有限的族,尤其是对于非常大的,可以帮助我们理解“ N = ”的情况。ñ NN

在此变体中,球与以前一样每步累积9,但仅直到该过程的步骤这样,要添加的球的编号将不再与实际的球相对应,我们只能按照删除球的说明进行操作,并且该过程将在增加步之后停止,总共步。如果很大,则仅清除阶段会在正午时非常接近时进行,这时任务执行得非常快,并且骨灰very很快被清空。9 N 10 N NN9N10NN

现在假设我们对每个值进行实验的这种变化,并绘制随时间变化的球数,其中范围是上午11点后0到1小时(即上午11点到中午)。通常,会上升一段时间,然后在或之前下降到零。随着接近无穷大,图形上升得越来越高,下降得越来越快。到中午时,总是空的:。在极限图中,,对于曲线接近无穷大,但f Nt NfN(t)˚F Ñ= 1 ñ ˚F Ñ1 = 0 ˚F = LIM Ñ →交通 ˚F Ñ< 1 ˚F 1 = 0 Ñ →交通tfN(t)t=1NfN(1)=0f(t)=limNfN(t)t<1f(1)=0。这恰好是罗斯证明中得出的结果:球数在中午之前发散到无穷大,但在中午时为零。换句话说,罗斯的解决方案相对于N保持了连续性:由于与无穷大球盒中的球数相匹配,所以球数的点状极限。N

我不认为这是Ross解决方案的主要论据,但对于那些对为什么球数永远增加而不是中午崩溃到零的人来说,这可能会有所帮助。虽然很奇怪,但它是问题的有限形式的限制行为,例如,因此在无限情况下不作为“突然的冲击”出现。N

最后的反思

为什么这个问题被证明是如此之多呢?我的推测是,我们的身体直觉比我们想象的要模糊得多,并且我们经常基于不精确和不完整的心理概念得出结论。例如,如果我要求您考虑也是圆形的正方形,您可能会想像是方形的和圆形的,但这并不能同时满足这两种情况-这是不可能的。人脑可以轻松地将模糊,矛盾的概念融合在一起,形成单一的心理画面。如果像Infinite这样的概念不太熟悉,我们可以说服自己,这些模糊的思维混搭实际上就是Real Thing的概念。

这正是the问题中发生的事情。我们并不是一次真正地想到整个事情。我们会思考其中的点点滴滴,例如随着时间的流逝会有多少个球。我们抛弃了所谓无关紧要的技术,例如随着时间的推移每个不起眼的小球会发生什么,或者“ ur”到底能容纳无限多个球的精确程度。我们忽略了精确地列出所有细节,而没有意识到结果是不一致,不兼容的心理模型的混搭。

数学旨在将我们从这种情况中拯救出来。面对陌生和异国情调,它会训练我们并使自己坚强。它要求我们对“必须”为真的事情三思而行……对吗?它提醒我们,无论事情变得多么奇怪,一个和一个仍然是两个,一个球要么在骨灰盒中,要么不在,并且陈述是对还是错。如果我们坚持不懈,这些原则最终将使我们的大多数问题变得清晰。

那些将数学分析服从于“物理”或“常识”直觉的人,后果自负。挥舞直觉仅仅是物理学的开始。从历史上看,所有成功的物理学分支最终都建立在严格的数学基础上,这些数学可以消除错误的物理直觉,增强正确的物理直觉,并能够对理想系统进行严格的研究,例如无限的载流导线,它可以阐明物体的行为。更复杂,混乱的现实世界。罗斯·利特伍德(Ross-Littlewood)是身体上的问题,通常被解释为经典力学之一,并且经典力学具有完全成熟和严格的数学基础。我们应该依靠数学建模和分析来了解古典物理学的世界,而不是相反。


3
这是要走的路。但是,“与概率无关”的全部含义尚不完全清楚,因为对概率有必要的假设:没有它们,结论就会改变。例如,如果您在每个阶段将撤回第球的机会分配为零概率,则第球将在午夜之后保留。111
ub

评论不作进一步讨论;此对话已转移至聊天
whuber

12

几位发帖人一直担心,罗斯中的计算可能并不严格。这个答案通过证明存在一个概率空间来解决这个问题,在该概率空间中,罗斯考虑的所有结果集的确是可度量的,然后重复罗斯计算的重要部分。

寻找合适的概率空间

要得出Ross的结论,几乎可以肯定,严格地说,在下午12点骨灰盒中没有球,我们需要存在一个概率空间,其中事件“在12点骨灰盒中没有球” PM”可以正式构建并显示为可测量的。为此,我们将在这些讲义中使用定理33 [Ionescu-Tulcea] ,稍作改写,并使用@NateEldredge在对该问题的评论中建议的构造。(Ω,F,P)

定理。(Ionescu-Tulcea扩展定理)考虑一系列可测量的空间。假设对于每个,存在概率内核从至(将设为对其第一个参数(即概率度量)不敏感的内核)。然后存在一个随机变量序列,在相应的,使得对于每的联合分布Ñ κ ÑΞ 1X 1× × Ξ ñ - 1X Ñ - 1Ξ ÑX Ñκ 1 X Ññ = 1 2 ... Ξ ñ ñ(Ξn,Xn),n=1,2,nκn(Ξ1,X1)××(Ξn1,Xn1)(Ξn,Xn)κ1Xn,n=1,2,Ξnnκ 1... κ Ñ(X1,,Xn)是内核。κ1,,κn

我们让表示在第次退出时移除的球的标签。显然,(无限)过程(如果存在)告诉我们模仿Ross的论点所需了解的所有信息。例如,知道某个整数与知道退出后的the中的球数相同:它们恰好是带有标签,减去移除的球。更一般而言,可以根据过程来描述事件,该事件描述在任何给定撤回之后after中有多少个球。 Ñ X = X 1X 2... X 1... X 0 { 1 2 ... 10 } { X 1... X } XXnnX=(X1,X2,)X1,,Xmm0m{1,2,,10m}{X1,,Xm}X

为了符合Ross的实验,我们需要对于每个, 的分布在。我们还需要的分布在上均匀。为了证明确实存在具有这些有限维分布的无限过程,我们检查了Ionescu-Tulcea扩展定理的条件。对于任何整数,令并定义可测量空间,其中X Ñ | X ñ - 1... X 1 { 1 2 ... 10 Ñ } X 1... X ñ - 1 X 1 { 1 ... 10 } X = X 1X 2n I n = { 1n2XnXn1,,X1{1,2,,10n}X1,,Xn1X1{1,,10}X=(X1,X2,)nΞ ÑX Ñ= 10 Ñ2 10 Ñ2 κ 1Ξ 1X 11 / 10 Ξ 1 ñ 2 X 1... X ñ - 1&Element; Ξ 1 × In={1,2,,n}(Ξn,Xn)=(I10n,2I10n)2B表示集合的幂集。将上的度量定义为对所有元素施加质量的。对于任何和定义是在所有点上均等质量的概率内核,在所有其他点上即零,整数Bκ1(Ξ1,X1)1/10Ξ1n2 κ ÑX 1... X Ñ - 1Ξ Ñ{ X 1... X ñ - 1 } X &Element; Ξ Ñ= 1 ... ñ - 1 X Ω FP (x1,,xn1)Ξ1××Ξn1κn(x1,,xn1,)Ξn{x1,,xn1}xiΞn,i=1,,n1。通过构造,概率核与罗斯指定的均匀去除概率一致。因此,无穷过程和概率空间的存在由定理给出,这为我们正式执行Ross的论证提供了一种方法。X(Ω,F,P)

令表示结果集,以使球在退出后处于骨灰盒中。就我们的随机过程而言,这意味着,对于所有和,使得我们定义,即在直到第个(包括个)的任何平局中都没有移除球。对于我们可以清楚地定义因为球尚未添加到转弯处。对于每一个和,一组Ñ X Ñ 10 Ñ Ê Ñ = Ñ Ĵ = 1 { ω X Ĵω } Ñ > 10 Ñ Ê Ñ = Ĵ { ω X jω i } X j E iEininXini10nEin=j=1n{ω:Xj(ω)i}ini>10nEin=iji{ω:Xj(ω)i}是可测量的,因为是随机变量(可测量)。因此,可作为可测量集合的有限交集来测量。XjEin

我们对一组结果感兴趣,以便在下午12点骨灰盒中没有球。也就是说,对于每个整数,组结果都没有球在12 PM 骨灰盒中对于每个,令为结果集(),以使球在下午12点处于骨灰盒中。我们可以使用来正式构造,如下所示。即是在下午12时瓮相当于它在它加入到瓮后制成每停药后瓮之中,所以Ë ω &Element; Ω ë ë ÑÊ = Ñ 10 Ñ Ë Ñ Ë i=1,2iiEiωΩiEiEiniEi=n:i10nEin。现在,对于每个,结果集可作为可测量集的可数交集进行测量。Eii

下午12点骨灰盒中至少有一个球的结局是至少发生一个的结局,即。结果集可作为可衡量集合的可数联合来衡量。现在,是在12 PM骨灰盒中没有球的情况,确实可以作为可测量组的补充进行测量。我们得出结论,所有期望的结果集都是可测量的,我们可以像罗斯一样继续计算它们的概率。 Ë = = 1 Ë Ë Ω ëEiE=i=1EiEΩE

计算概率P(ΩE)

我们首先注意到,由于事​​件是可数的,因此通过可数次可加的测度,Ei,i=1,2,

P E i= a i i P E = 0 N i = 1 a i = 0 N a i = 0 i

P(E)i=1P(Ei)=limNi=1NP(Ei).
为了便于说明,让我们表示所有的实数。显然,为了证明,对于所有,都足以证明。这等效于显示每个,我们现在要这样做。P(Ei)=aiiP(E)=0i=1Nai=0Nai=0i

为此,请注意,对于所有球已添加到骨灰盒,即, 。这是因为如果球在步骤处在骨灰盒中,那么它在步骤处也在骨灰盒中。换句话说,集合对所有形成递减序列,使得。为了便于说明,让。Ross证明等于并指出对于所有其他10 Ñ ë Ñë Ñ + 1 ñ + 1个ñ Ë Ñ Ñ 10 Ñ 一个Ñ = P Ë Ñ一个1 ñ0 Ñ 一个i n = n k = i [ 9 kni10niEinEi(n+1)in+1nEinn10niain=P(Ein)a1n0ni,我将其视为真实。证明包括表明,对于所有,和基本但冗长的计算,在此不再赘述。有了这个结果,事实是事件集,对于每个i都是可数的,因此度量的连续性可以得出LIM ñ →交通一个Ñ = 0 Ë Ñ 10 Ñ > ain=k=in[9k/(9k+1)]limnain=0iEin10n>i

ai=P(n:10n>iEin)=limnP(Ein)=limnain=0.

我们得出的结论是,因此。QED。P Ω E = 1P(E)=0P(ΩE)=1


一些常见的误解:

  1. 一个答案与以下事实有关:(用我的符号表示)。但是,这与解决方案的有效性无关,因为根据所提供的论点,右侧的数量不是所关注的数量。limNi=1NlimnainlimNi=1NaiN
  2. 有人担心限额不能在和内移动,或者换句话说,在。像前面的评论一样,这与解决方案无关,因为右侧的数量不是所关注的数量。i=1limnainlimni=1ain

4
@ekvall Kudos进行了这项无用的工作。人们通常应该理解的是,如果您定义一些事件并对这些事件进行可数的集合运算,则在这些事件所生成的sigma代数中可以测量所得集合。这正是sigma代数设计的目的:给我们一个宇宙,我们可以在其中进行可数的集合运算而无需担心可测量性。
Paul

评论不作进一步讨论;此对话已转移至聊天
whuber

10

一方面,您可以尝试这样解释:“想想我在12 PM时任何球在骨灰盒上的可能性,在无限次随机抽签过程中,它最终将被移除。因为这适用于所有球,所以没有他们中的最后一个可以存在。”

我认为这种说法没有说服力。如果该论点起作用,则以下论点起作用:每年,有一些人出生(比如说占总人口的一定比例),而有一些人死亡(假设有恒定的比例)。然后,由于在一定范围内几乎肯定有人死了,因此人类必须灭绝!现在,人类可能因其他原因而灭绝,但是这种说法是垃圾。

对于这个问题,在对球进行编号时,只有一个解决方案,而对球匿名时,则要有完全不同的答案是没有意义的。通过对称性,任意标签不应影响解决方案。杰恩斯称这个论点为冷漠原则,我接受。

换句话说,如果有人告诉您,他们将十个球放入一个骨灰盒中,然后反复取出一个,那么骨灰盒中的骨灰盒有多满,您的答案是“这取决于球是否编号”?当然不是。像这个问题中的the一样,的内容也有所不同。

因此,我认为解决方案在于我们如何使问题形式化。根据集合理论极限的通常定义,我们有

LIM SUP Ñ →交通小号Ñ =Ñ 1 Ĵ Ñ小号Ĵ

lim infnSn=n1jnSj.
lim supnSn=n1jnSj

设集合基数的极限为

klimn|Sn|

且 -limit 的基数为lim inf

l|lim infn(Sn)|.

我建议重新定义集合理论极限,以便:

limnSn{lim infn(Sn)if lim infn(Sn)=lim supn(Sn),k exists, and k=lαkif lim infn(Sn)=lim supn(Sn),k exists, and klundefinedotherwise.

这个特殊的“匿名集”描述了在无穷大处发生的情况。正如代表数字的限制行为,代表集合的限制行为。即,我们有和。这种形式主义的好处是,它使我们具有基数的连续性,并且与冷漠原则保持一致。α α ķ| α ķ | = kαkαiαki|αk|=k

对于骨灰盒问题,我们有是骨灰盒中的一组球。并且 因此,这些元素不会在无限处“掉下悬崖”,这仅是因为没有人是不朽的,对人类灭绝是没有任何意义的。LIM Ñ →交通小号Ñ = α Sn={n+1,,10n}

limnSn=α.

同样,假设我们修改了问题,以便在每个步骤中添加一个球,并删除编号最小的球。那么,骨灰盒中的极限球数是多少?匿名集提供了直观的答案:

limn{n}=α1.

我认识到数学家可能不同意关于这一悖论的解决方案,但是对我来说,这是最直观的解决方案。


8
任何认为数学需要修正的人都必须提供令人信服的理由说明。否则,默认位置必须是一个人的直觉值得纠正。如果不是这样,那么在过去的2500年中,我们几乎不可能宣称自己已经超越了芝诺。
ub

5
如果您接受规则概率公理,并且进一步接受任何特定球在骨灰盒中的概率为零,那么根据布尔的不等式,您必然会接受没有任何球在骨灰盒中的概率为1。
卡洛斯·辛纳利

5
您的论点注定人类不会灭绝,因为我们永远都不会到达无数次生死的地步-永无止境。几乎在下午12点发生了很多事情,这实际上是问题的关键根源。
Ben Millwood

6
-1。考虑在第n步(而不是随机球)移除球#n时修改此悖论。显然,在午夜将保留零个球(因为每个球将在相应的步骤中被删除),但是我们仍然添加10个球,并且在每个步骤中仅删除一个球,所以我说这是不直观的。但是,此修改与概率或统计无关。因此,这里不可能有任何“现代统计的失败”。
变形虫

6
@NeilG这一点是在MathOverflow帖子和ameoba的答案上明确提出的。基数不是连续的操作,仅因为并不意味着。微积分没有被破坏,而是您发明了一个不存在的极限规则。|Si|Si|0
马里奥·卡内罗

6

问题是格式错误还是不是一阶逻辑。

根本原因:执行“最后一个”步骤将在球上写入无数个数字,从而使该步骤花费自己无限的时间来执行。

具有无限步长执行无限过程的能力意味着可以通过执行以下序列H(对于定理X)来解决所有一阶逻辑问题(因此Gödel为假)的能力:

Z = asymptotic_coroutine(
  FOR N = 1...∞
    FOR P = 1...N
      Convert number P to string S by characters.
      IF S is a proof for theorem X
      THEN
        OUTPUT "yes" and HALT
) + asymptotic_coroutine(
  FOR N = 1...∞
    FOR P = 1...N
      Convert number P to string S by characters.
      IF S is a proof for theorem ¬X
      THEN
        OUTPUT "no" and HALT
)
IF Z = "" 
THEN Z = "independent"
IF Z = "yesno" ∨ Z = "noyes"
THEN Z = "paradox"
OUTPUT Z

无限步将假脱机输出的地方

asymptotic_coroutine内部的程序只是穷举搜索证明(或反对)X的一个定理。将P转换为S会得出“ aa”,“ ab”,“ ac”,...“a∨”,...生成可以出现在定理中的每个符号。这导致依次生成所有长度对数字符 N的定理。由于N在外循环中不受限制地增长,因此最终将生成所有定理。

错误的那一侧将永远不会终止,但是我们不必在意,因为我们可以执行无限的步骤。实际上,我们依赖于能够做到这一点来检测独立性,因为双方永远都不会结束。除了一件事。通过逐步提高执行速度,我们允许在无限时间内执行无数个步骤。这是令人惊讶的部分。在渐近时间之后,永不结束且永不生成输出的asymptotic_coroutine已“完成” *,并且仍从未生成任何输出。

*如果将输出放置在FOR N = 1 ...∞之后,则不会达到,但我们不会这样做。

哥德尔不完全性定理的强形式可以这样表述:“对于每个一阶逻辑系统F,都有一个陈述G F在F中是正确的,但不能证明在F中是正确的。” 但是证明方法H不能不证明F(H)中所有必须为真的陈述。

困境:哥德尔((允许无限的步长)
因此:
困境:哥德尔((315502在一阶逻辑中形成得很好)


1
好点(+1)。请注意,有关于无限时间图灵机的研究,请参见例如arxiv.org/abs/math/0212047v1mathoverflow.net/a/22038。这当然不是第一顺序。
变形虫

5
约书亚,您的答案假设您知道这里的大多数人不熟悉,因此他们将无法做出判断。如果您可以进一步详细说明,那将很棒。
卡洛斯·辛纳利

对于任何有限数,长度都是有限的。对于任何无限(又称跨界)数字,都可以用Cantor范式(长度有限)编写。它可以称为“基本无穷大”。因此写数字不是限制。
Craig Hicks

@CraigHicks:当您也必须记下介于两者之间的所有中间数字时,该方法不起作用。提示:当循环从基数10整数切换为cantor正常形式输出时,循环的停止约束是什么?
约书亚

这只是对符号表中没有的机器的限制。要在有限时间内分析Ross描述的无限+10 -1过程,则不必模拟整个过程。一个智能程序可以连接到Mathematica并更快地完成它。
Craig Hicks

4

令x为已移除的球数,y为剩余的球数。在每个循环之后,y = 9x。当x> 0时,y> 0。下午12点时,the中将无限多个球。

基于概率的解决方案导致困难的原因是无限级数的概率很棘手。ET杰恩斯(ET Jaynes)在他的《概率论:科学的逻辑》一书中写下了几种不同的明显的概率悖论,就像这样。我没有手头的副本,但是本书的第一部分可从此处的 Larry Bretthorst在线获得。以下引言来自前言。

然而,当说了一切之后,令我们惊讶的是,剩下的只是一个松散的哲学共识;在许多技术问题上,我们非常反对de Finetti。在我们看来,他对待无限集合的方式打开了潘多拉盒子的无用和不必要的悖论。不可聚集性和有限可加性是第15章讨论的示例。

无限集的寄生虫病已成为一种病态感染,如今正在以威胁概率论生命的方式传播,需要立即进行手术切除。在我们的系统中,手术后,这种悖论会自动避免。它们不能源于正确应用我们的基本规则,因为这些规则仅接受有限集和无限集,这些有限集和无限集是有限集的定义明确且行为良好的极限。造成这种现象的原因是:(1)直接跳入无限集而未指定任何限制过程来定义其属性;然后(2)提出问题,其答案取决于如何达到极限。

例如,问题:“整数是偶数的概率是多少?”我们可以在(0,1)中给出任何答案,这取决于定义“所有整数的集合”的限制过程(就像有条件的收敛系列可以收敛到我们希望的任意数量,具体取决于我们安排条款的顺序)。

我们认为,至少在概率论中,无穷集不能说完全具有任何“存在”和数学性质,除非我们指定了要从有限集生成它的限制过程。换句话说,我们在高斯,克罗内克和庞加莱的旗帜下航行,而不是在康托尔,希尔伯特和布尔巴基的旗帜下航行。我们希望对此感到震惊的读者研究数学家莫里斯·克莱恩(Morris Kline,1980)对布尔巴克主义的起诉,然后对我们耐心等待足够长的时间,以了解我们方法的优点。例子几乎出现在每章中。

在@enumaris(+1)的答案中使用限制提供了一种解决概率无限的难题的方法。


5
请在第一段中告诉我们哪种概率定律证明您的结论正确。否则,您将做出毫无根据的断言。
ub

3
问题不是由概率定律引起的,而是当人们未能正确认识或正确使用概率定律时出现的。否认一个人在其他情况下用于推理的公理和技术并不是悖论的解决方案。
ub

4
问题中的“随机”一词要求考虑概率。否则,您对“随机”的理解是什么?
ub

4
您的答复不正确。我要问的是,如果不是(显然是故意的)统一地随机发生,那么“随机”可能意味着什么,并且,如果没有某种随机性理论,无论如何,您建议如何推理一个明确陈述的随机过程?
ub

5
我尚未在您的帖子中看到任何有效的概率推理,迈克尔。
豪伯

4

我们能给他们解决这些矛盾直觉的最好解释是什么?

这是最好的答案,与概率无关。所有的球都有数字,我们称它们为出生数字。出生数字从B1,B2,B3 ...到无穷大,因为我们确实从未停止过。我们快到12:00 AM了,但是不断添加和删除球,这就是为什么没有球的最终编号的原因。顺便说一句,这是一个非常重要的考虑因素。

我们将这些球按10个球批次放入一个盒子中,例如批次7:B71,B72,...,B80。让我们暂时忘掉这些,然后集中注意从盒子中取出的球。它们以随机顺序出现。我将在后面解释为什么随机性很重要,但是现在,这意味着在步骤K处,仍可以抽出活度数从B1到B10k的任何球。我们将按照删除顺序对删除的球进行索引,我们将其称为死亡编号:D1,D2,D3 ... DK。

到12:00 AM,我们将无数个球放入一个盒子里,而且我们肯定不会用完要从中取出的球。为什么?因为我们先放了10个球,然后才将其中一个去掉。因此,总有一个要去除的球。这意味着我们在12:00 AM之前也删除了无数球。

这也意味着每个删除的球的索引从1到无穷大,即我们可以将每个删除的球与放置在框中的球配对:B1到D1,B2到D2,依此类推。这意味着我们删除的球数与我们输入,因为每个出生数字都与每个死亡数字配对。

现在这就是解决方案。为什么它破坏了我们的直觉?小学,沃森博士。原因是因为我们肯定知道所有K都成立: 这就是为什么在K步之后,我们不能从盒子中取出所有球,因为我们放了10K球,只取出了K个。对?

K<10K

有一个小问题。问题在于,当,这不再成立: 这就是直觉破裂的原因。10 × K=

10×

现在,如果球不是随机取出的。@amoeba的规范答案中可能会发生两件事。首先,假设我们先放10个球,然后立即移除最后一个。好像我们只放了9个球。这将符合我们的直觉,并且在12:00 AM将有无数个球。怎么会?因为我们并没有消除球随意,我们在以下地方出生数配对死亡人数为算法在移除时间。因此,我们将每个移出的球与放入的一个球配对: ,这意味着成吨的球从未配对过B1,B2。 ..,B9,B11,...等B 10 D 1 B 20 D 2 B 30 D 3 B10K=DK B10D1,B20D2,B30D3,

非随机球去除可能发生的第二件事也与去除时的配对有关:我们将BK = DK关联。我们可以通过在每个步骤K上用BK移除一个球来做到这一点,以确保BK与DK配对。这样,每个取出的球都与我们放入的每个球配对,即相同的最终结果,就像随机抽取的球一样。显然,这意味着12:00 AM之后,盒子里没有球了。

我只是表明问题本身与概率无关。它与无限可数(?)集的幂有关。我避免讨论的唯一真正的问题是这些集合是否真正可数。您会看到,当您接近12:00 AM时,您插入球的速度会相当快地增加,说得一点点。因此,弄清楚我们放入盒子中的球的数量是否实际上是可数的并不是一件容易的事。

拆散

现在,我将解开这一悖论的规范解决方案,并回到我们的直觉上。

我们怎么可能在12小时内放入10个球,取出一个球而仍然用尽所有球?这是真正发生的事情。12个小时是无法到达的

重新提出问题。我们不再将时间间隔减半。我们每分钟放置和移走球。这与原始问题完全不同吗?是的,没有。

是的,因为在我上面的论述中,我没有明确提到时间,而是最后。我正在计算步骤k。因此,我们可以继续按k计算步数和死球。

不,因为现在我们永远不会停止。我们将不断添加和删除球,直到时间到头为止。在原始问题中,结束时间为12小时。

这解释了我们的直觉是如何失败的。尽管我们以9 倍的清除率放置球,但由于时间永远不会结束,我们放入的每个球最终都会被清除!可能要花费无数分钟,但可以,因为我们还有无数分钟。这是问题的真正解决方案。

在这种表述中,您会问“无穷大结束后盒子里有多少个球?” 没有!因为这是一个荒谬的问题。这就是为什么原来的问题也是荒谬的。或者,您可以称其为病态。

现在,如果您回到原始问题,那么时间的终结显然会发生。现在是12点。事实上,我们停止放球意味着时间刚刚结束,我们超越了终点。因此,对这个问题的真正答案是永远不要出现12点钟。无法到达。


2
@MartijnWeterings,我没有做概率,因为悖论是专门为利用概率的度量理论基础而构建的。谁提出了悖论,首先必须意识到这与无限可数集的力量有关。这就是为什么变形虫在变形虫的答案中将其分为三个版本。例如,第一个版本显示每十分之一自然数的集合与所有自然数的集合具有相同的幂。第二个和第三个版本基本相同。这里的概率只是风景,所有动作都是固定的。
阿克萨卡尔(Aksakal)

1
这种推理似乎无法区分Ross书中的版本1和版本2(请参阅我的回答),即使这些版本导致相反的结果:在一种情况下,n缸是空的,而在另一种情况下,n缸是空的。
变形虫

1
我认为事实是您无法达到12岁。这是真正的解决方案。考虑相同的问题,但不要将每一步的时间减半,而是要进行等时的时间步长,例如1分钟。这将永远持续下去。它永远不会停止。但是问题将是“何时停止包装盒中的物品?”所以您的答案将是这是一个荒谬的问题,因为时间永远不会结束。
阿克萨卡尔(Aksakal)

1
不,这不是平时。这就是重点。此问题以与普通物理时间完全不同的方式设置时间。骨灰盒是无限的,没关系
Aksakal

1
您是物理学家吗?您知道什么物理过程甚至与这一过程相似?
阿克萨卡尔(Aksakal)

3

值得阅读变形虫的答案,它的回答非常好,并且可以非常清楚地说明问题。我并不完全不同意他的回答,但要指出,问题的解决是基于某种约定的。有趣的是,这种问题表明该约定虽然经常使用,但值得怀疑。

就像他说的那样,证明每个球永远留在骨灰盒中的概率为0是一个技术要点。除此之外,问题不在于概率。可以给出确定性的等价物。这很容易理解。关键思想是:由于从某个时间点开始每个骨灰盒都没有球,所以最后的骨灰盒是空的。如果用零和一的序列表示每个球在骨灰盒中的存在,则每个序列在一定范围内为0,因此其极限为0。

现在,这个问题可以进一步简化。为了简单起见,我称矩1、2、3 ...:

  • 瞬间1:将球1放入the
  • 时刻2:将其删除
  • 瞬间3:将球2放入the
  • 时刻4:将其删除
  • 瞬间5:将球3放入
  • ...

结束时(中午)是什么球?同样的想法,同样的答案:没有。

但是从根本上讲,没有办法知道,因为问题没有说明中午会发生什么。实际上,很可能最终,皮卡丘突然出现在骨灰盒中。或者也许所有球突然崩溃并合并成一个大球。并不意味着这是现实的,只是未指定。

仅当某种约定告诉我们如何达到极限:连续性假设时,才能解决该问题。中午the的状态是之前状态的极限。我们应该在哪里寻找可以帮助我们回答问题的连续性假设?

在物理定律中?物理定律确保一定的连续性。我想到的是一个简单的古典模型,而不是真正的现代物理学。但是从根本上讲,物理定律会带来与数学定律完全相同的问题:我们选择描述物理定律的连续性的方式依赖于数学上的问题:什么是连续的,如何进行?

我们必须以更抽象的方式寻找连续性假设。通常的想法是将the的状态定义为从一组球到的函数。0表示不存在,1表示存在。为了定义连续性,我们使用产品拓扑,也就是逐点收敛。我们说,根据此拓扑,中午的状态是中午之前的状态的限制。在这种拓扑下,有一个限制,它是0:一个空的。{0;1}

但是现在我们稍微修改一下问题,以挑战这种拓扑:

  • 瞬间1:将球1放入the
  • 时刻2:将其删除
  • 瞬间3:将球1放入the
  • 时刻4:将其删除
  • 瞬间5:将球1放入the
  • ...

对于相同的拓扑,状态序列没有限制。那就是我开始将悖论视为真正的悖论的地方。对我来说,这个修改过的问题基本上是相同的。想象你是are。您会看到球来来去去。如果您看不清上面的数字,那么无论是同一球还是另一个球都不会改变您的状况。与其将球视为单独的不同元素,不如将它们视为大量进出的物质。连续性自然可以通过查看物质数量的变化来定义。确实没有限制。从某种意义上说,这个问题与您决定忽略球身份的原始问题相同,从而导致不同的度量标准和不同的收敛概念。即使您看到球上的数字,

在一种情况下,状态序列的限制是“空”,在另一种情况下,该限制是不确定的。

产品拓扑问题的形式化从根本上取决于将每个不同的球所发生的事情分开,从而创建一个反映“可区分性”的度量。仅由于这种分离,才可以定义一个极限。这种分离对答案是如此重要,但对于描述骨灰盒中的“正在发生的事情”(这一点无休止地争论着)却不是根本,这一事实使我认为解决方案是公约的结果而不是基本真理。

对我来说,只要提供丢失的信息,当将其视为纯粹抽象时,该问题就可以解决:中午的状态是先前状态的限制,并且在某种意义上是限制。但是,当直觉地考虑此问题时,状态序列的限制不是您可以以单一方式考虑的。从根本上讲,我认为没有办法回答。


1
原始问题的答案不依赖于形式化。您提出的问题变体不是相同问题的不同形式,而是不同的问题。
保罗

1
我同意@Paul的观点,但在这里只说一句,我确实发现了将1个球放在奇数步上并将其取出来进行偶数步的例子。这一系列的states状态显然没有任何限制,恕我直言,这意味着该“ 超级任务 ”定义不明确,无法完成。这与我们在这里讨论的超级任务相反。
amoeba

1
有趣的重写Benoit!那当然是一对发人深省的超级任务。@Paul,不要错过编辑。
amoeba

1
对我来说,球上的数字使Benoit的两个新的问题变得与众不同。保持非常频繁的经常性访客和观看踩踏事件是有区别的。很难说中午回头的游客会发生什么,但是踩踏事件很容易看到它会消失,什么也没留下。只有当您忽略球的独特身份这一关键事实时,您才会失去视野,并且一切看上去都令人困惑。那里的数字提醒我们这些身份。忽略它们是不自然的。
保罗

1
是的,我同意,对于循环单球版本。对于连续编号的踩踏球,很容易证明中午没有ball在球中。
保罗

3

我想使重构尽可能容易,以使答案0更加直观,从简化的示例开始,即不随机去除球,但在第步去除球。ñnn

考虑一下:一开始我把所有的球都放进了。在步骤1中,我取出球1。在步骤2中,我取出球2,依此类推。是否有疑问,无数步后steps会变成空的?

好的。但是,如果我一开始不把所有的球都放进the,而是只放一些球,the到底怎么会满?


1
+1。真好 就像每个人一个接一个地搬离希尔伯特一家旅馆一样;酒店将空无一人。
amoeba

在每个有限步长n之后,缸不是空的。但是,交易只能在有限的步骤中进行。矛盾。
威廉

@Wilhelm您能详细说明吗?我不明白这一点。
Thern

@Thern:只能在有限的步长n处移走球。但是在每个有限的步骤之后,after中都有球(在原始示例和您的示例中)。因此,限制不能为空。否则,在所有有限步和极限之间必定发生了某些事情。矛盾。
威廉

该矛盾是由您对以下原则的信念造成的:“当序列的成员具有我喜欢的属性时,该属性将通过限制序列来保留。” 这不是数学(或物理学)的有效原理。
保罗

3

这篇文章的目的是为OP争辩说我们需要更好的表述。或者至少,罗斯证明不像乍看起来那样清晰明了,当然,证明不是那么直观,因此处于概率论入门课程中的良好位置。在理解悖论方面都需要大量解释,而一旦罗斯的证明通过得很快,就需要进行清楚的解释,这使得很难看到证明所依赖的公理,定理和隐式解释。

与此相关的是,Teun Koetsier在“ Didactiek遇见oneindig veel pingpongballen吗?”中的最后一句话非常有趣

我们还建议不要使用“ Paradoxes混淆的窗口”。

翻译为“如果我们不小心,那么它将成为'Paradoxes混淆的窗口'”

下面是对“超任务”的讨论中可能会通过的“常规”参数的描述,更具体地说,是确定性的罗斯-利特伍德悖论。在此之后,当我们将所有讨论搁置一旁时,就会看到概率罗斯-利特伍德悖论的特殊情况提供了额外的要素,但是这些要素在超级任务的广泛设置中迷失了方向并造成混乱。

三种确定性案例和关于超级任务的讨论

罗斯-利特伍德(Ross-Littlewood)悖论知道许多不同的结果,具体取决于球从骨灰盒中移位的方式。为了研究这些问题,让我们从Littlewood在其1953年手稿中描述的第五个问题开始,使用确切的问题描述开始。

版本1骨灰盒中剩余的球组为

罗斯-利特伍德悖论或利特伍德-罗斯悖论首次出现在利特伍德1953年的手稿“数学家的杂项”中,是第五个问题。

无限悖论。编号为1、2,...(或对于数学家来说,数字本身)的球如下放入盒子中。到中午1分钟时,将数字1到10放入,并将数字1取出。在1/2分钟到正午,输入11至20,取出2,依此类推。中午盒子里有几个?

Littlewood在这个问题上很简短,但是给出了一个很好的表示形式:

P1+P2+...+P10P1+P11+...+P20P2+...

对于它,很容易注意到它为“ null”。

版本2骨灰盒中剩余的球的大小无限的

罗斯(1976)在这个悖论上又增加了两个版本。首先我们看一下第一个加法:

假设我们拥有一个无限大的骨灰盒和一个标记为1号,2号,3号等的无数球。考虑执行以下实验:在1分钟至下午12点,将编号为1到10的球放入骨灰盒中,并取出编号为10的球。(假设撤回不花时间。)在12分钟至12 PM时,将编号11到20的球放入骨灰盒中,并将球号20撤回。在14分钟至下午12点,将编号为21到30的球放在骨灰盒中,并取出编号为30的球。在18分钟到下午12点,依此类推。感兴趣的问题是,下午12点骨灰盒中有几个球?

显然答案是无穷大的,因为此过程将所有数量为的球留在骨灰盒中,这是无限多个。xmod100

在继续进行Ross的第二次加法(其中包括概率)之前,我们继续进行另一种情况。

版本3骨灰盒中剩余的球集是任意大小的有限集

骨灰盒在下午12点可以有任意数量的球,具体取决于放置球的过程。Tymoczko和Henle(1995)将这种变化描述为网球问题。

汤姆在一个大箱子里,除了他自己以外,都是空的。吉姆站在箱子外面,坐着无数个网球(编号为1、2、3 ...)。吉姆将球1和2投进盒子。汤姆拿起一个网球扔出去。接下来,吉姆(Jim)投出3和4。汤姆(Tom)拿起一个球,将球扔出去。接下来,吉姆(Jim)投出5和6。汤姆(Tom)拿起一个球,将球扔出去。这个过程进行了无数次,直到Jim投入了所有的球。再次,我们要求您接受在有限的时间内完成无限数量的任务。问题是:行动结束后,汤姆的盒子里有多少个球?

答案有些令人不安:取决于情况。没有提供足够的信息来回答这个问题。可能剩下无限数量的球,或者可能没有球。

在教科书示例中,他们针对两种情况(无限或有限)(Tymoczko和Henle,将中间情况作为练习)进行了争论,但是在一些期刊文章中对该问题进行了进一步的研究,其中对该问题进行了概括,这样我们可以得出任何数字,取决于所遵循的程序。

尤其有趣的是有关问题组合方面的文章(但是,重点不在无穷大的方面)。例如,计算我们可以随时拥有的可能集合的数量。在添加2个球并在每个步骤中删除1个球的情况下,结果很简单,第n步中可能的组数为第n + 1个加泰罗尼亚数。例如,第一步中有2个可能性{1},{2},第二步中有5种可能性{1,3} {1,4} {2,3} {2,4}和{3,4},其中14个是第三名,第四名中的42名,等等(参见Merlin,Sprugnoli和Verri 2002,《网球问题》)。这个结果已经推广到不同数量的加减球上了,但这对现在的帖子来说太过分了。

基于超级任务概念的争论

在讨论概率论之前,已经可以针对确定性情况和完成超级任务的可能性提出许多论据。同样,可以质疑所设定的理论处理方法是否是超任务运动学表示形式的有效表示形式。我不想争论这些论点是好是坏。我提到它们是为了强调概率情况可以与这些“超任务”参数进行对比,并且可以看作包含与超任务无关的其他元素。概率案例具有唯一且独立的元素(使用概率论进行推理),无论是针对超级任务还是针对超级任务的论证,都无法证明或反驳这一事实。

  • 连续性论点:这些论点通常更具概念性。例如,像阿克萨卡(Aksakal)和约书亚(Joshua)这样的超级任务无法完成的想法在他们的答案中争论不休,而汤姆森的台灯则清楚地证明了这些概念,在罗斯·利特伍德(Ross Littlewood)悖论的情况下,就像要问的那样,是最后删除的。数字是奇数还是偶数?

  • 物理论证:还有一些论点质疑数学构造与问题的物理实现有关。我们可以对问题进行严格的数学处理,但是仍然存在一个问题,这是否真的与任务的机械执行有关(除了简单的概念,例如突破物理世界的某些障碍,例如速度限制或能量/空间要求) 。

    • 一个论点可能是,集合理论极限是一个数学概念,不一定描述物理现实

      例如,请考虑以下不同的问题:ur有一个我们动的球。每一步,我们都会删除先前写在球上的数字,并在上面改写一个新的较低数字。经过无数个步骤,the会清空吗?在这种情况下,使用集合理论极限(空集合)似乎有点荒谬。作为数学推理,此限制是不错的选择,但是它代表问题的物理性质吗?如果由于抽象的数学推理(也许应该将其更多地视为一个不同的问题)而让球从骨灰盒中消失,那么我们是否也可以使整个骨灰盒消失?

    • 同样,球的区分和给它们分配顺序似乎是“不自然的”(这与布景的数学处理有关,但是the中的球的行为是否类似于那些布景?)。如果我们在每一步都对球进行改组(例如,每一步随机地将丢弃的堆中的球换成剩下的无限球中的球),那么就忘记了根据它们进入骨灰盒的时间或获得的数字来进行编号从一开始,基于集合理论极限的参数就不再有意义了,因为集合不会收敛(一旦从骨灰盒中丢出一个球,就没有稳定的解决方案,它可以再次返回)。

      从执行填充和清空骨灰盒的物理任务的角度来看,似乎我们是否在球上都没有关系。这使得集合理论推理更像是关于无限集合的数学思想,而不是实际过程。

无论如何,如果我们坚持将这些无限悖论用于教学目的,因此,在我们探讨概率论之前,我们首先需要争取一个被最怀疑/顽固的人接受的(某些)超级任务的可接受想法。思想家们,那么可能会感兴趣的是使用由艾里斯和科耶西耶(1995)描述并在下面简短描述的芝诺悖论与罗斯-利特伍德悖论之间的对应关系。

以他们的类比,阿基里斯试图追赶乌龟,而他们两个都以这种方式越过标记,距离使得带有标记的阿基里斯的距离是带有标志的乌龟距离的两倍,即。然后直到中午12点。乌龟和阿喀琉斯过去的旗帜差异越来越大。但是,最终在下午12点,除了Eleatics之外,没有人会争辩说他们的致命弱点和乌龟到达了同一点,并且(因此)它们之间的标记为零。

F(n)=210logn
n10nF(n)=2F(10n)

阿喀琉斯与乌龟

概率案例及其如何为问题添加新的方面。

Ross(在他的教科书中)添加的第二个版本根据随机选择删除球

现在让我们假设,每当要抽出一个球时,都会从存在的球中随机选择一个。也就是说,假设在1分钟至12 PM时,将编号为1到10的球放置在骨灰盒中,并随机选择并撤回一个球,依此类推。在这种情况下,下午12点骨灰盒中有几个球?

罗斯(Ross)解决方案是骨灰盒为空的概率为1。但是,尽管罗斯的论证听起来很严格,但人们可能会想知道,为此需要哪种公理,以及哪些使用的定理可能会被那些公理中没有的隐含假设置于压力之下(例如,可以为中午的事件分配概率)。

简而言之,Ross的计算是两个元素的组合,将非空empt的事件分为许多子集/事件,并证明对于每个这些事件,概率为零:

  1. 对于,如果球号在12 pm出现在骨灰盒中,则FiiP(F1)=0

  2. 对于 ,the在12 pm不为空的概率为P(1Fi)

    P(1Fi)1P(Fi)=0

Ross-Littlewood悖论的概率情况,无需对超级任务进行推理

在最裸露的悖论形式中,将其从超任务性能的任何问题中剥离出来,我们可能想知道减去无限集的“更简单”问题。例如,在三个版本中,我们得到:

Sadded={1,2,3,4,5,6,7,8,9,10}+{10k with kN}Sremoved,1={k with kN}Sremoved,2={10k with kN}Sremoved,3={k with kN}{a1,a2,a3,... with aiN}

并且问题减少为的集合减法。SaddedSremoved,1=

任何无穷大的序列是一个(相等)可能的序列,描述了在概率实现Ross时可以删除球的顺序。 -小木问题。让我们将这些无限序列称为RL序列。SRL={ak without repetitions and ak<10k}

现在,更普遍的问题是,没有关于超级任务的悖论推理,是关于不包含整个的RL序列的密度。N

问题的图形视图。

嵌套,分形,结构

在此答案的编辑版本之前,我曾提出过一个论点,该论点使用了从“清空的无限序列”到“不包含数字1的无限序列”的内射映射的存在。

那不是一个有效的论点。例如,与平方集的密度进行比较。有无限多个正方形(并且存在双射关系和),但是正方形集的密度为零。nn2n2nN

下图提供了一个更好的视图,即每增加一个步骤,the骨球1的概率如何降低(对于其他所有球我们都可以辩驳)。即使所有RL序列的子集(位移球的序列)的基数等于所有RL序列的基数(图像显示一种分形结构,并且树包含无限多个其自身的副本)。

样本空间的增长,路径数

该图显示了前五个步骤的所有可能实现,以及针对网球问题的方案(网球问题,每个步骤:加2删除1,增长速度较慢,并且更易于显示)。蓝绿色和紫色线条显示了可能展开的所有可能路径(想象在每个步骤我们掷出大小为的骰子,并根据其结果选择条路径之一,或者换句话说,根据结果我们会移除骨灰盒中的球之一)。nn+1n+1n+1

随着第n + 1个加泰罗尼亚数字,可能的compositions组合数量(方框)增加,并且阶乘的路径总数也增加。对于缸号为1(深灰色)且通向这些盒子的路径(紫色)的the组合物,其展开完全相同,但是这次是第n加泰罗尼亚数和阶乘。Cn+1(n+1)!n!

将球留在内部的路径密度n

因此,对于导致球号为1的inside的路径,密度为并且随着增大而减小。尽管有很多认识可以导致在方框中找到球号,但概率接近零(我认为这并非不可能,但几乎肯定不会发生,Ross论点的主要技巧是可数的许多null事件的并集也是null事件)。(n)!(n+1)!nn

网球问题前五个步骤的路径示例(每个步骤:加2删除1) 网球问题中前五个步骤的路径示例

罗斯的论点肯定是空的empty。

Ross 在步骤定义事件(样本空间的子集),编号为的球在the中。(在他的教科书中,他实际上省略了下标并主张第1球)。Einini

证明步骤1)

罗斯使用他的命题6.1。用于增加或减少事件序列(例如,减少等效于)。E1E2E3E4...

命题6.1:如果是事件的递增或递减序列,则{En,n1}

limnP(En)=P(limnEn)

罗斯使用这个命题指出,在12 pm 观察球的概率(这是)等于ilimnEin

limnP(Ein)

Allis和Koetsier认为这是这些隐含假设之一。超级任务本身并不(逻辑上)暗示在中午12点会发生什么,并且问题的解决方案必须做出隐式假设,在这种情况下,我们可以对use骨内部的球组使用连续性原理来说明发生了什么在无穷大。如果无穷大(定理)极限是一个特定值,那么在无穷大处我们拥有该特定值(不能有突然的跳跃)。

罗斯-利特伍德悖论的一个有趣变化是,当我们还随机返回以前丢弃的球时。这样就不会有收敛(就像汤姆森的灯一样),我们不能轻易定义序列的极限(现在不再减小)。Ein

证明步骤2)

限制已计算。这是一个简单的代数步骤。

limnP(Ein)=k=i9k9k+1=0

证明步骤3)

有人认为,通过简单的陈述,第1步和第2步对所有都有效i

“类似地,我们可以证明所有 ”P(Fi)=0i

其中是球的情况下已经取出骨灰盒的时候,我们已经达到了12点Fii

虽然这可能是正确的,但我们可能想知道其低索引现在变为无穷大的乘积表达式:

limi(limnP(Ein))=limik=i9k9k+1=...?

除了希望我可以向我解释它是否有效之外,我没有太多要说的。

获得关于以下命题6.1所要求的递减序列的概念的更好的直观示例也将很不错从步数索引等于1开始。该索引应增加到无穷大(不仅步数变为无穷大,而且要丢弃的球的随机选择也将变为无穷大,并且我们观察到的极限球数变为无限大)。尽管可以解决这种技术问题(并且可能已经在其他答案中进行了隐式或显式的处理),但全面而直观的解释可能会非常有帮助。Ein,Ein+1,Ein+2,...n

在第3步中,它变得非常技术化,而Ross对此却很短。Ross假定存在一个概率空间(或至少不是明确的概率空间),在该概率空间中我们可以在无穷大处应用这些操作,就像在有限子空间中应用这些操作一样。

ekvall的答案使用了Ionescu-Tulcea产生的扩展定理,提供了一个构造,从而产生了无限的乘积空间,其中我们可以通过概率核的无穷乘积来表示事件,从而得出。k=0Ωik=0AiP(Ei)P=0

但是,它不是在直观意义上阐明的。我们如何直观地显示事件空间有效?它的补码是空集(而不是带有无限多个零的数字1,例如Allis和Koetsier的Ross-Littlewood问题的调整版中的解决方案),并且它是一个概率空间?Ei

证明步骤4)

布尔的不等式用于确定证明。

P(1Fi)1P(Fi)=0

证明了不等式对于有限或无限可数事件集。对于来说确实如此。Fi

罗斯的这一证明并不是建构主义意义上的证明。代替证明的概率几乎为1瓮要的处12时,它被证明的概率几乎为0的瓮成填充有任何球上有一个有限数。

回想

确定性的Ross-Littlewood悖论明确包含空集(这是本文的开始方式)。这使得概率版本最终以空集结尾就不足为奇了,其结果(无论是否成立)的结果与非概率RL版本相比并不那么矛盾。以下是RL问题的一个有趣的思想实验:

  • 想象一下,从一个装满无数个球的starting开始,然后开始随机丢弃其中的球。如果此超级任务结束,则必须在逻辑上清空骨灰盒。从那以后,如果它不是空的,我们可以继续。(但是,这种思想实验扩展了超任务的概念,并且模糊地定义了终点。是在when是空的还是到达下午12点时?)

罗斯的证明技术有些令人不满意,或者至少可能需要一些更好的直觉和其他例子的解释,以便能够充分欣赏证明的美。这四个步骤共同构成了一种机制,可以概括该机制,并可能将其应用于生成许多其他悖论(尽管我已经尝试过,但没有成功)。

我们可能能够生成一个定理,使得对于任何其他合适的样本空间,该样本空间的大小朝无穷大增加(RL问题的样本空间具有)。如果我们可以定义一组可计数的事件,它们随着步数增加而递减序列的极限为0 ,那么随着我们接近无穷大,作为这些事件的并集的事件的概率将变为零。如果我们可以使事件的合并成为整个空间(在RL示例中,空花瓶未包含在概率为零的联合中,那么就不会发生严重的悖论),那么我们可以做出更严峻的悖论来挑战公理的一致性与超限推导相结合。card(2N)Eijj

  • 一个这样的例子(或尝试创建)是将面包无限次地分裂成小块(为了满足数学条件,我们只将分裂成具有正有理数大小的块)。在本例中,我们可以定义事件(在步骤x,我们有一个大小为x的片段),它们是递减的序列,并且该事件的概率极限变​​为零(就像RL悖论一样,递减的序列仅会进一步发生,并且随着时间的推移,这是有针对性的,但没有统一的收敛)。

    我们必须得出的结论是,当完成此超级任务时,面包消失了。我们可以在这里进入不同的方向。1)我们可以说解决方案是空集(尽管此解决方案比RL悖论中的令人愉快得多,因为空集不是样本空间的一部分)2)我们可以说有无限多个未定义的部分(例如无限大的尺寸)3)还是我们不得不得出结论(在执行Ross的证明并找到空白之后),这不是可以完成的超级任务吗?可以提出完成这种超级任务的概念,但不一定“存在”(一种罗素悖论)。


贝特西科维奇的一句名言印在利特伍德的杂记中:

“数学家的声誉取决于他提供的错误证据的数量”。


Allis,V.,Koetsier,T.(1995),关于无限II的某些悖论《英国科学哲学杂志》,第235-247页

Koetsier,T.(2012),Didactiek遇见了oneindig veel pingpongballen,Nieuw Archief voor Wiskunde,5/13 nr4,第258-261页(荷兰语原版,可以通过Google和其他方法翻译)

利特伍德(美国,JE)(1953年),《数学家的杂记》,第5页(通过archive.org免费链接

Merlin,D.,Sprugnoli,R.和Verri MC(2002),网球问题《组合理论杂志》,第307-344页

Ross,SM(1976),概率论的第一门课,(第2.7节)

Tymoczko,T.和Henle,J.(1995年原著)(Google 1999年第2版参考),《甜蜜的理由:现代逻辑的现场指南》


评论不作进一步讨论;此对话已转移至聊天
whuber

1

好,我再试一次。

答案是悖论纯粹是数学上的。Enumaris和cmaster的答案以一种方式告诉发生了什么,但这是解决问题的另一种方式。问题在于,正如Jaynes所写的那样,我们如何处理无穷概率(有关详细信息,请参阅我其他尝试的答案)。

无限系列通常被视为没有终点,但是在这个问题中有一个终点时间(12PM),因此从逻辑上讲,即使没有数学上的关系,也存在最后一个添加和删除球的循环:无限地在12PM之前。“最后”循环的存在使我们可以回顾时间上的倒退概率。

考虑最后添加的十个球。对于它们中的每一个,它们被删除的可能性为零,因为它们每个都是可能被删除的无限球之一。因此,在中午12点将剩余至少十个球的概率为1。

QED。不会导致胡说八道的概率论证。


4
问题中没有最后一个“周期”,而是序列,的最后一项,它的“结束时间”为1 。an=11/nn=1,2,
ekvall

@ekvall您能说为什么无限循环系列可以在12 PM结束而又没有结束吗?似乎是在这种情况下,传统上假定的无限性规则导致荒谬的结果(不是违反直觉的,而是错误的)。
迈克尔·卢

2
@MichaelLew:考虑拍手的行为。考虑到某个时间点,您的手将合在一起1/2。然后1/4在一起。然后1/8在一起。考虑到每当您的手将彼此之间的剩余距离减半时,他们总是可以再次将其减半。这是一个循环,显然没有止境(在下一步之前,您必须采取多少步骤才能将双手放在一起?),但是其循环非常明显有终点(或者您无法鼓掌?)
Vegard

@Vegard考虑不要拍手,因为它们彼此靠近的速度越来越慢。在起始距离处,需要2秒才能到达距离的1/2,从到距离的距离通常要多秒距离的。迈克尔+1的顺便说一句。2n12n112n
卡尔

@卡尔为什么我的手越来越缓慢地互相靠近?那将是可悲的掌声。假设我的手以恒定的速度运动,然后解释一下我如何在有限的时间内没有覆盖无限数量的距离减半?无限级数可以收敛,而无限级数1/2 + 1/4 + ... 1/2^n也可以收敛,因为我假设曾经有入门级微积分的人都知道吗?但这是对以下问题的回应:如何在有限时间内遍历无穷级数,而序列本身本身并没有实际结束,而不是对球类问题的某种解决方案。
Vegard

1

最近,威廉·沃尔夫冈·穆肯海姆(WolfgangMückenheim)的一些评论使我重新考虑了我的回答中的某些表述。我将其发布为新答案,主要是因为此答案的方法不同,不是争论这个问题的教导,而是争论悖论无效。

威廉在他冗长的手稿中谈到

事务只能在有限的步长(“在所有和之间没有可能的动作)”。nnω

这让我想起了这个词

k=1n=k(9n9n+1)

这是从罗斯的作品衍生而来的。如果没有为以下限制定义无穷大路径,则该术语不确定

lim(l,m)(,)k=1ln=km(9n9n+1)

这似乎与威廉讨论的观点相似,并且在阿卡萨尔的回答中也提到了这一点。时间步长变得无限小,因此从这个意义上讲,我们将可以达到12 pm,但同时我们需要添加和删除(非物理的)无数个球。将这个超级任务附加到Zeno箭头之类的过程是一个错误的想法,就像汤普森悖论灯的开关在超级任务的末尾不能确定的位置一样。

就极限而言,我们可以说我们采取无穷大的物理路径是

limlk=1ln=kl(9n9n+1)=liml9l10

所以不是零而是无限


2
仅供参考,几十年来,沃尔夫冈·穆肯海姆(WolfgangMückenheim)一直在胡说八道数学论坛mathforum.org/kb/…–
保罗,

谢谢您提供这些信息,说实话,尽管我确实喜欢一个很好的finitist论点,但他没有读完整的手稿,而且他的论点(不管是否为巨魔)确实有意义(这在巨魔中并不罕见)。尽管我个人说过,如果步数变得无限小,那么我们可能会有一个(物理的)过程被认为是步数是无限的。可悲的是,与其说是他的拖钓,不如说是他对反对派立场(或赞成立场的人)的选票扰乱了他的讨论,并助长了拖钓(或其他)。
马丁·韦特林

@Martijn Weterings:很容易证明谁是这里的巨魔:Cantor的想法是1,2,3,...之后的极限。首先这违反数学归纳法,因为之前有总是另一个自然数。其次,要排除集合论的任何物理关联,请通过对旋转进行计数的旋转木马对序列进行建模。可以有限制吗?(发射引力波年后地球轨道的崩溃当然不是集合论的结果。)ω 10 15ωω1015
威廉

1
“首先这违反了数学归纳法,因为在ω之前总是有另一个自然数。” 数学归纳法对“应该”在ω之前或应该在ω之前什么都说不了。极限序数不是由归纳法生成的,归纳法无论它们是否存在。您的脑子里充斥着关于数学应该如何工作的错误假设,而当这些错误假设与真实数学相矛盾时,您会责怪后者。
保罗

数学归纳法说,对于每一个有,这也从不改变。极限序数由无法理解无穷大的数学家假定。量化所有自然数意味着什么?这是否意味着仅采用具有每个自然数的特征的自然数,即紧随其后的是无限多个自然数?这样一来,您就无法获得全部,因为总是有无限多的剩余。还是您会毫无例外地采用所有自然数?n + 1nn+1
威廉

0

我相信该示例支持“如果前提为假,那么条件为真”

在这个宇宙中,没有无限的,也没有无限的球集合。不可能将时间分成任意小块。

因此,谢尔顿·罗斯(Sheldon Ross)正确地说say在12:00时是空的。说say在12:00处有无限球的学生也一样。

如果您回答骨灰盒有50个球,那么您也是正确的。

我没有严格地证明这个宇宙不包含无限的和无限的球,而且时间不是原子的-我只是相信那些东西。如果您认为这三个断言是错误的,那么您认为罗斯的问题在经验上是可以证伪的。我正在等待您的实验结果。


2
您是否还在等待是非理性的实验结果,理由是没有人可以在这个宇宙中将无穷无尽的微小三角形拟合成一个圆?π
user603

3
@ user603不,但我声称pi的最后一位是7。您能证明否则吗?
Emory

1
确实,这是一个公平的区别。
user603

4
-1。这个问题在数学上是明确定义的,而物理实现的不可能与此无关。
变形虫

2
我也发现这个问题毫无意义。如果骨灰盒在12:00时是空的,那么一定有一段时间移除了最后一个球。但是,在任何给定的时刻,如果移除一个球,则会添加更多的球,以使最后一个球不会被移除。怎么没有时间最后一个球被移走?另一方面,如果在12:00停止添加球,则必须在某个时间添加最后一个球。但是,如果最后添加了一个球,那么cannot中不可能有无限多个球。一个过程不能有开始,永无止境,而又不能终止。
凯文(Kevin)

0

我支持这个问题是不恰当的。当我们考虑超限的东西时,我们常常不得不使用一个极限。看来这是唯一的方法。由于我们区分不同的球,因此我们有一个无穷大的过程 其中代表时间,,如果有球在时间和否则。= - 1 - 1 / 2 - 1 / 4 X t j = 1 j t + 0 X t j = 0

(Xt,1,Xt,2,...),
t=1,1/2,1/4,...Xt,j=1jt+0Xt,j=0

现在,每个人都可以决定使用哪种收敛方式:统一,分量,等。不用说,答案取决于选择。lp

对这个问题的误解来自忽略以下事实:当我们考虑无限维向量的收敛性时,度量问题至关重要。如果不选择收敛的类型,就无法给出正确的答案。

(存在零向量的收敛范数计算球的数量,因此在该范数中该过程呈爆炸式增长。)l1


2
只有在每个已放入的球最终都被取出时,“ The是空的”。那就是空虚的定义。并且它转化为组件方式的融合。
amoeba

2
我同意这个答案。首先,选择哪种收敛概念完全独立于概率论。并不是因为我们习惯于使用逐点收敛/乘积拓扑(此处的点是具有特定标识的球),所以必须将此概念用作唯一选择。问题或一般约定中均未指定。即使我们决定完全同意标准概率论,这也是。
贝诺瓦·桑切斯

1
这是货运崇拜的数学。您引入度量标准问题是因为它们与其他问题有关,而不是因为它们与此问题相关。
保罗

1
@保罗“货物崇拜数学”。从来没有想过这个词存在。会考虑的。:)
Viktor

2
(+1)我同意这个问题是没有度量标准的。而且,零球答案同时也是1个球,因此零球答案不是数字。可数的无限不是数字。病态的问题。确实有些问题太荒谬了,无法回答。
卡尔,

-2

比正规教育更具直觉,但:

如果到午夜的间隔减半,我们将永远不会到达午夜……我们只是渐近地靠近;所以人们可以说,有无解的。

或者,根据措辞:

  • 因为有+10个球的无限间隔,所以答案是无限的
  • 因为有(+10球-1)个无限间隔,答案是10 *无限-1 *无限= 0?
  • 因为有(+9个球)+1的无限间隔,所以答案是无限+ 1

11
您似乎同意芝诺(Zeno)的观点,阿基里斯(Achilles)永远抓不到乌龟。更糟糕的是,他们甚至都无法开始比赛。
ub

@whuber这些问题根本与此答案无关。
清晰的时间是

2
@Clearer我想建议他们通过对“无限”的幼稚处理密切相关。
ub

5
-1,因为它现在在我的手表上是00:00,因此尽管剩余时间段在最后一分钟的广告无限量减少了一半,但我还是到了午夜。
amoeba

@amoeba不连续之处在于您当时有无限数量的已移除滚珠。确切地说,您将那数目的球放在哪里?球也无限小,以便宇宙中有足够的空间容纳我们的非球吗?请注意,无限数量的无限小球仍然可以占据无限体积,当您使用度量标准时,规则并不像这里的帖子那么幼稚。
卡尔,

-5

重写: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))k=ab9k(9k+1)
  • 罗斯极限是概率为趋于无穷: -P(a)P(a,b)b
    Plim1(a)=limbP(a,b)
  • 有理数极限被定义为当球指数和步数都达到无穷大且保持恒定比率时的:abPlim2(a,b)=limkP(ka,kb)

第3节:中途球拍

在每个偶数步骤,将中途球组定义为第个球组。在每个偶数步骤,剩余的中途概率定义为。 因此,在极限为,剩余的中途概率为 。 下面的定理1给出了剩余中途概率的数值。2nn2nP(n,2n)
nlimnP(1n,2n)

定理1-保比例域序列中元素的概率极限

limnP(an,bn)=(ab)19
的证明在附录正下方给出。

根据定理1,保留在极限中的中途概率为 ,的近似十进制值为。(12)190.925875

健全性检查 让我们进行健全性检查,以查看中途概率的数值极限是否“看起来正确”。

nP(n/2,n)=trunc decimal val1000P(500,1000)=0.9257261408210000P(5000,10000)=0.9258598528100000P(50000,100000)=0.9258732261000000P(500000,1000000)=0.92587456limnP(n,2n)=0.925875

前4行是剩余的步数的值的概率中途 ,,,和分别。最后一行是限制。看来中途概率确实在收敛到预测的极限。 需要解释这种不符合Ross框架的现实世界观察。 103104105106

**第4节“悖论的解决” **

本节说明了Ross分析和有理域分析的统一框架。通过一起查看它们,可以解决悖论。

有理极限可归从有理到实数的函数: 其中和,这里的表示最大公约数。等效的陈述是“和是互质”和“是的缩减部分。 Plim2(a,b)(0,1](0,1]

Plim2(a,b)=limkP(ka,kb)=(ab)19
gcd(a,b)=1ab=abgcd()ababab

罗斯极限可以写为有理极限序列的极限: 元组不是中的有理数的成员;它属于,因此Ross极限与域上的函数同构, 并且其图像始终是唯一的实数。

Plim1(a)=limkP(a,k)=limi,kP(ka/i,kb)for some b=limiPlim2(a/i,b)=limiPlim2(0,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) | in  i,nQ}
  • (3)所有序列在(步长索引)中都是无限的,因此它们不会“提前”终止。Sin
  • (4)序列本身形成一个超序列。因此,可以迭代地“创建”超序列,即它们是可数的。Si{Si}iin(1...)

现在还不很清楚,另一个极限序列系统是否可以满足上述(1)-(4)点。

但是,我们现在将讨论另一种确实满足上述要点(1)-(4)的极限序列系统。

令(其中)表示有理极限序列 让是的互质元组:= 。令为所述有理极限序列的并集: Sp,qgcd(p,q)=1

Sp,q={(kp,kq)}k(1...)
DDD={(p,q)Dgcd(p,q)=1}SS=dDSp,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序列。Fnn0/1

令是有理极限序列的并集,该序列具有至少一个元素直到并包括步骤: Snn

Sn={Sp,q | (a,b)}

从分数转换为元组的索引元素完全索引的元素。下表比较了Ross分析和有理极限分析中极限序列的分组:FnSn

Rossrationalnum new seq per step 1multiple (generally)new seq at step nSnFnFn1tot num seq up to step nnFnsuper-seq up to step n{Sm}m=1nFn

最后,由于存在用于迭代地创建超序列方法[ 3 ],[ 4 ],因此还满足条件(4)。Fn

这些方法之一是Stern-Brocot树的变体,如下所示:

两个有理数和的中位数定义为a/cb/da+bc+d

  • 设置Fn=
  • 将附加到1/nFn
  • 环路在i1...(Fn11)

    • 将附加到F * _n $Fn1[i]

    • x=mediant(Fn1[i],Fn1[i+1])

    • 如果将x附加到denom(x)nFn
    • 继续循环
  • 将附加到Fn1[n]Fn

矛盾已解决。

定理的证明1 首先请注意: ,其中最后一个转换是Sterling转换。

P(Ea,b)=k=ab9k(9k+1)=Γ(a+19)Γ(b+1)Γ(a)Γ(b+109)=(a1)12a(a89)a718bb+12(b+19)b1118

然后,在语法上将和入最后一个(斯特林形式)方程,我们得到 aanbbn

limnP(Ea,b)=limn(aM1)12aM(aM89)aM718(bM)bM+12(bM+19)bM1118=(ab)19

附录:其他结果

期望极限

本节给出了一个预期的剩余球数量的封闭式表达式,该数量不超过步长的任何部分。
该结果的推论是第一个球的指数的数值近似,该指数期望保持大于一个。

( 未完待续 )


1
请不要针对两个不同的问题发布两个相同的答案。
Glen_b

@Glen_b-我已经完全重写了答案,改为使用纯粹的数学和统计方法。没有哲学,集合,计数或计算科学。我认为这与董事会一致。也许我可以将其发布为新答案?谢谢您的考虑。
克雷格·希克斯

1
我不确定您要我在这里做什么。如果您确实认为自己有不同的答案,则可以发布它。
Glen_b

@Glen_b Craig无法发布其他答案,因为此线程受到保护,并且他的声誉(减去协会奖金)目前为负。除了暂时取消保护之外,我不确定是否有任何方法可以帮助他。Craig,一个更好的解决方案是让您在其他线程中发布一些其他答案,进行几次投票,并积累足够的代表才能在此处发布。
amoeba

@amoeba-我浓缩了答案,用更少的词来传达信息。你读过它吗?在 > DOMAIN <空间中,每个Ross极限都接近零的比。相比之下,的比率保留限制保留比率。你明白我的意思吗?(i,n)i/nlimnanbna/b
Craig Hicks

-5

编辑编辑

长话短说。所谓的悖论是一种不确定的形式错误,是初学者的错误,其结果类似于除以零的错误,证明了。这种错误(在这种情况下用于计数)自然会产生可以为0,或答案。1=2n

顺便说一句,当一个人添加无限数量的无穷小概率时,就会创建一个 1,这是一个不确定的形式,Ross的证明是不正确的。要获得正确答案,请使用L'Hopital规则。无限不是数字。像对待数字一样对待无穷大会导致错误。


5
您给出的答案与几个现有的高度评价的答案和一本教科书直接矛盾。为什么您对降票感到惊讶?
变形虫

8
请原谅,让我澄清一下。像本系列中的大多数其他错误答案一样,该答案表明,没有意识到罗斯提出的严格论据是一种粗略,非正式的论点,得出的结论要么是错误的,要么是根本没有结论的。正如您所说的,没有确切的答案,因此很明显,您的分析功能不足以支持或排除对此问题的任何解决方案。换句话说,这不是答案。
保罗

6
(-1)您的论点仍然挥之不去,并得出错误的结论。您还说明了没有这些陈述的任何证据的概率。您应该真正尝试阅读罗斯的论点,并试图找到一个真正的缺陷。
ekvall '17

9
罗斯(Ross)是一位非常杰出的统计学家,他写了许多关于概率和统计学的书籍和文章,而我是一位博士数学家,他为自己解决问题的严谨性提供了保证。您至少可以做的是指出实际原始证明中的一个缺陷到目前为止,您的所有尝试都失败了。那应该让你停下来。
保罗

8
(-1)。您要建立的后两个方程与该问题无关(例如,您误解了“一致”的去除概率),因此不能为您的陈述“依据,因此,在罗斯的情况下,布尔的不等式具有[ ]上限为 ”。考虑到您坚持不使用形式数学,并且拒绝研究罗斯的证明,我认为,如果您取消所有数学尝试的答案,也许会更好地表达您的观点。0×
ekvall '17
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.