芝诺悖论

✍ dations ◷ 2025-06-29 23:41:35 #数学悖论

芝诺悖论是古希腊哲学家(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对第四个悖论的原文作了修改以说得更清楚些。)

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

相关

  • 兴奋剂检查药物测试(英语:drug test),对于人体进行的测试,通过检查人体的血液、尿液、皮肤、头发等,来确认受测者是否摄取过某种特定药物。在正式的体育运动竞赛中实施的药物检查,称为禁药检
  • 邹志刚邹志刚(1955年3月-),生于天津,籍贯山东黄县,中国材料学专家,从事能源与环境材料方面的研究。1982年毕业于天津大学,1986年取得该校硕士学位,1996年取得东京大学博士学位。担任南京大
  • 猛犸洞猛犸洞国家公园(英语:Mammoth Cave National Park,又译马默斯洞穴国家公园),是美国肯塔基州西南部的一个国家公园,1926年批准通过,1941年建立,1981年10月27日被联合国教科文组织认定
  • 魏禧魏禧(1624年-1681年1月6日),字冰叔,一字凝叔,号裕斋,亦号勺庭先生。江西宁都人。明末清初著名的散文家。与侯朝宗、汪琬合称“明末清初散文三大家”。与兄魏祥、弟魏礼并美,世称“宁
  • 豫章书院豫章书院修身教育专修学校是中国大陆江西省南昌市一间于2013年成立,用以接收管教存在叛逆行为的青少年的学校,其前身是2007年建立的一家名为“龙悔学校”的戒网瘾学校和2011年
  • 约翰·库萨克约翰·保罗·库萨克(英语:John Paul Cusack,1966年6月28日-)是一名美国男演员。参演过较知名的作品如《空中监狱》(1997年)、《傀儡人生》(1999年)、《致命ID》(2003年)、《1408》(2007
  • 海德堡海德堡(德语:Heidelberg)是德国巴登-符腾堡州的无属县城市,位于斯图加特和法兰克福之间。2002年城市方圆109平方千米内有人口140,000。 海德堡坐落于内卡河畔。内卡河在此处由狭
  • 雪山 (台湾)雪山,位处苗栗县泰安乡梅园村与台中市和平区平等里之间,属于雪山山脉,为全台湾第二高峰,标高 3,886 米,仅次于玉山山脉的玉山主峰(3,952 米)。雪山在日治时代被称做次高山,是两座超
  • 俄氏兵鲇俄氏兵鲇,为辐鳍鱼纲鲇形目美鲇科的其中一种,为热带淡水鱼。分布于南美洲巴西伊瓜苏河、巴拉那河流域,体长可达4.7公分,栖息在底层水域,以昆虫幼虫为食,生活习性不明。 维基物种中
  • 亚利布-庞亚县坐标:6°15′S 143°59′E / 6.250°S 143.983°E / -6.250; 143.983亚利布-庞亚县(英语:Ialibu-Pangia District),是巴布亚新几内亚的县份之一,位于新几内亚岛东部,由南高地省负责