芝诺悖论

✍ dations ◷ 2025-02-23 19:52:12 #数学悖论

芝诺悖论是古希腊哲学家(Philosopher/Philosophen/философ/φιλόσοφος) 芝诺(Zeno of Elea)(盛年约在公元前464-前461年)提出的一系列关于运动的不可分性的哲学悖论。这些悖论由于被记录在亚里士多德的《物理学》一书中而为后人所知。芝诺提出这些悖论是为了支持他老师巴门尼德关于“存在”不动、是一的学说。这些悖论是芝诺反对存在运动的论证其中最著名的两个是:“阿基里斯追乌龟”和“飞矢不动”。这些方法现在可以用微积分(无限)的概念解释。

这里的“运动”不是距离的概念,而是速度的概念。从A点到B点的运动不仅仅涉及到距离,并且涉及到时间。从A到B的运动如果发生在无限长的时间内,那么悖论就为真,因为此时速度为0。

速度这个概念虽然可以被表示为距离除以时间,但是速度是一个自然界的固有概念,并不依赖于时间和距离。所以庄子的万世不竭反倒成为一个真实的叙述,而不是悖论。

常见的叙述为追着乌龟的阿基里斯,本悖论因此得其名。

如柏拉图描述,芝诺说这样的悖论,是兴之所至的小玩笑。首先,巴门尼德编出这个悖论,用来嘲笑“数学派”所代表的毕达哥拉斯的“1>0.999...,1-0.999...>0”思想。然后,他又用这个悖论,嘲笑他的学生芝诺的“1=0.999...,但1-0.999...>0”思想。最后,芝诺用这个悖论,反过来嘲笑巴门尼德的“1-0.999...=0,或1-0.999...>0”思想。

理论说得头头是道,但为何实际却不是如此?原因见下。

不妨令阿基里斯步行的速度为每秒10m,乌龟爬行的速度为每秒0.1m,并且在比赛之前,阿基里斯让乌龟先爬999m,在这种条件下,阿基里斯追赶乌龟所用的时间为:

 999 ÷ 10 = 99.9秒 (99.9 × 0.1) ÷ 10 = 0.999秒 (0.999 × 0.1) ÷ 10 = 0.00999秒 · · · · · ·

这些数字,按其先后排列,可以构成一个无限序列:

 99.9, 0.999, 0.00999, · · ·  求其和:S = 99.9/(1 −1/100) = 100.909090...秒

所以其实阿基里斯只要跑101秒,即可超越乌龟。
换个角度说,阿基里斯之所以追不上乌龟,原因在题目的背面--小前提“由于追赶者首先应该达到被追者出发之点,此时被追者已经往前走了一段距离。”已经限制了阿基里斯追赶的距离。
因此会得到无限的时间序列。

追乌龟亦涉及到极限是否存在的问题。譬如说,阿基里斯的速度改为10m/s,乌龟的速度是1m/s,乌龟原先在阿基里斯前面9m。进行上述步骤后,总共所花的时间应表示为 t = 0.9 + 0.09 + 0.009 + . . . = 0.999... {\displaystyle t=0.9+0.09+0.009+...=0.999...}

其一,关于极限这个无限过程的意义,涉及到实无限(英语:Actual infinity)与潜无限(potential infinity)的讨论。潜无限的性质是无限过程无法完成,故上述级数虽然能无限逼近1,但不能说是等于1──故没有一个时间点(若有,必须是1)能代表乌龟被追上的时间。在潜无限的框架下,可以假设空间无法无限分割,如此一来此悖论就不存在了。但实无限的理论是,无限过程可以完成,即逼近的过程与其极限等价,故阿基里斯可以追上乌龟。现在的实数,极限,微积分都建立在实无限上。对潜无限来说,实数,极限等都不成立,只能无限逼近。

其二,关于要如何找到该无限过程的极限,欧拉曾提出“ 0.9999999999 = 1 {\displaystyle 0.9999999999\dots =1} ”之证明如下:

欧拉一生中曾多次在其理论中进行这类极限的运算,然而他未能解释极限的存在性与加减乘除等运算,可谓有着逻辑上的漏洞。而近代数学的极限、实数等概念正能填其逻辑漏洞。

但由于箭要达到每一时刻的固定位置必须存在动能,所以箭必须是运动状态。

这个悖论的问题在于,“飞行”的运动,是依赖于两个时间点的。即从这一刻到那一刻的时间内,这支箭是否移动。

另外,中国古代的名家惠施也提出过,“飞鸟之景,未尝动也”的类似说法。

首先假设在操场上,在一瞬间(一个最小时间单位)里,相对于观众席A,列队B、C将分别各向右和左移动一个距离单位。

B、C两个列队开始移动,如下图所示相对于观众席A,B和C分别向右和左各移动了一个距离单位。

而此时,对B而言C移动了两个距离单位。也就是,队列既可以在一瞬间(一个最小时间单位)里移动一个距离单位,也可以在半个最小时间单位里移动一个距离单位,这就产生了半个时间单位等于一个时间单位的矛盾。因此队列是移动不了的。

(四个悖论的叙述引自莫里斯·克莱因《古今数学思想》中译本,Bill Smith对第四个悖论的原文作了修改以说得更清楚些。)

在一个跟时间有关的系统中,如果牵涉到有限时间内,无限多次的操作,我们会称之芝诺现象或芝诺行为。一个简单的例子是球在地面上反弹到停止的过程。处理这个问题的方法,是直接假设停止的时间点,只考虑反弹,不去考虑无穷多次,以计算无穷多次反弹之后的结果。

相关

  • 五行五行是中国古代哲学的一种系统观,古人把宇宙万物根据其特征划分成火、水、木、金、土五大类(七政的次序),统称“五行”。五行并非指具体的五种单一的事物,而是对宇宙间万事万物的
  • 平壤时间平壤时间(朝鲜语:평양시간/平壤時間 Pyŏngyangsigan),或称朝鲜民主主义人民共和国标准时间(朝鲜语:조선민주주의인민공화국 표준시간),是朝鲜使用的国家标准时间。2015年8月15日前
  • 梅西安奥利维埃·梅湘(法语:Olivier Messiaen 法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code
  • 克拉珀姆交汇站克拉珀姆交汇站(英语:Clapham Junction railway station)是一座位于伦敦旺兹沃思区巴特锡的铁路车站。大部分来往伦敦两座最繁忙的铁路总站──滑铁卢站及维多利亚站──的列车
  • 赵美心赵美心(英语:Judy May Chu,1953年7月7日-),生于美国加州,祖籍广东省新会,政治人物,美国联邦众议员,代表民主党在加利福尼亚州第32选区当选,成为历史上第一位华裔女性众议员。赵美心当选
  • 卢修斯·马尔福卢修斯·马尔福(英语:Lucius Malfoy),是J·K·罗琳所著小说 《哈利·波特》中的虚构人物,食死徒。出身于古老而富有的马尔福家族,崇尚纯血,和纳西莎·马尔福(原名纳西莎·布莱克)生下
  • 印度铁路印度铁路(英语:Indian Railways)是印度的国营铁路公司,由印度政府透过铁道部持有和营运。也是世界上最大的铁路网络之一,管辖总长115,000公里(71,000英里)的轨道和7500个车站。截至
  • 弗里德里希·卡尔·冯·萨维尼弗里德里希·卡尔·冯·萨维尼 (Friedrich Carl von Savigny,1779年2月21日-1861年10月25日),生于美因河畔法兰克福市,德国著名的法学家和国王顾问,历史法学派的创始人。 萨维尼
  • 麦饭石麦饭石是一种复合矿物,属于斑状安山岩,亦为药用岩石。麦饭石商家常宣传“含有数十种对人体有益的微量化学元素,如锌、铜、铁、锰、钴等”但并无科学上的证据。麦饭石在李时珍著
  • 锺泰锺泰(1888年-1979年),字斋,号锺山,别号待庵。江苏南京人。毕业于日本东京大学,辛亥革命前夕往新加坡办报,任教于安徽高等学堂。1944年冬,赴四川乐山。中华人民共和国成立后入华东师范