5 无穷的烦恼:“潜无穷”与“实无穷”

芝诺悖论的争论在人类文明史中是从三条线索展开的,哲学、数学和物理。自古希腊以来,哲学家、神学家和数学家就已经开始努力探索无穷这个观念和它的深刻含义。什么是无穷?无穷就是没有尽头。什么是无限?无限就是没完没了。数学的线索是从两条路径展开的,第一个是贯穿于整个数学发展史上的无穷大和无穷小之间纠缠不清的抽象争论,最终由19世纪的集合论画上了句号;第二种是考察数学历史上围绕表示连续所发生的争论,连续意味着光滑的流动或运动和现实世界过程中没有空隙的相继移位。我们知道微积分的基础就是连续性和极限。微积分的极限理论完美地解决了芝诺悖论。第三种是物理的,直到量子力学出现,人们才理解世界并不是连续的,而是离散的。

一般而言,古希腊文化不承认“无限”或“无穷”的概念。毕达哥拉斯学派认为有限是善、无限是恶;欧几里得的《几何原本》中的“直线”只是“线段”,线段可按需要加以延伸,无穷延伸的直线是没有意义的。“无穷”的问题在19世纪前还没有人能用一种严密的方法来回答。法国哲学家和数学家笛卡尔就说过:“无穷可以被认知,但不能被理解。”

从古希腊开始,数学家们就把无穷分为“实无穷”和“潜无穷”。我们知道,自然数列“1,2,3,…,n,…”可以被看成一个永远在增长的没完没了的数列,这叫作“潜无穷”;也可以理解成为一个完成了的整体性无限集合,而一切自然数都在其内,这叫作“实无穷”。“实无穷”就是说“无穷”是实在的,这是柏拉图的观点。他的学生亚里士多德不承认“实无穷”,不认为线段是由无穷个点组成,但承认“潜无穷”,认为“无穷”只是“潜在”地存在,无限只是表现为变化发展的过程,所以叫“潜无穷”。“潜无穷”的认识是,能够“接近”,但实际上不必达到。

亚里士多德对“实无穷”和“潜无穷”的本体论划分,被基督教的教会变成教义:只有上帝才是“实无穷”,他所创造的其他东西都不可能是。直到17世纪,伽利略在他写的《两门新科学的对话》中通过一个方法嘲弄了这种看法。他说,当一条线段是直的时候,你声称它只是潜在包含无穷多个部分,但如果你把线段弯成一个圆时,你却把线段所包含的无穷多个部分变成了实在的东西。

亚里士多德使用“潜无穷”的概念暂时避免了人类与无穷大的直接交锋。在两千多年中,多数哲学家和科学家赞同亚里士多德的“潜无穷”观点。但是,潜无穷的思维范式也使微积分的发现耗费了1700年的时间,一个重要原因是亚里士多德的“潜无穷”概念把无穷大边缘化到一个形而上学的虚幻境界里。实际上,从公元5世纪开始,人们在求解复杂物体的面积体积、计算物体运动轨迹等具体问题时逐渐发展了穷竭法等技巧,最终发现了微积分。而微积分涉及极限和无穷小量,这就使得数学家们不可避免地要去处理实无穷。19世纪的数学家抛弃了亚里士多德的“潜无穷”学说,主要是研究重点从几何无穷大转换到算术无穷大,数学家所面临的最重要的任务似乎是构建一个无穷大的理论。

在19世纪,人们发现,为了使微积分的核心基础极限理论得到完善,必须明确定义无理数概念,而无理数的存在性又必须以实无穷为前提。为了定义无理数,德国数学家戴德金和康托尔引入了无穷集合。无穷集合虽然有悖常理,但符合数学逻辑。康托尔通过集合、幂集、一一对应等几个基本的定义得到一种无穷大数类,他称之为超限数。更进一步,康托尔还发现存在不同的无穷大数类,这些数类之间有可能是以二次方的跳跃增加的。从直观上看,这些是不可思议、难以想象的。但是,从逻辑上讲,如果人们能够接受无理数的存在,那么无穷大和无穷小的存在同样是合理的。现在,无穷大量和无穷小量已经成为数学上的事实。

康托尔是公认的抽象集合论和超限数学之父。在19世纪晚期,他大胆始创“无穷数学理论”。康托尔尝试了计算无穷大,并获得成功。按照康托尔的说法,无限有三种,一是“绝对无限”,又称形而上学的无限,二是“物理无限”,三是“数学无限”。“绝对无限”可以联系到上帝概念,这始终为宗教界人士所赞赏。“物理无限”是指宇宙时空的无限性概念和时间与空间的无限可分割性质。康托尔把分析数学中使用的无限概念和自己始创的超穷基数与序数都归入数学无限范畴。

现代的观点是,只要没有逻辑矛盾,我们可以自由地使用一切无穷集合。现代数学的大厦就是建立在“实无穷”这种观点上的。20世纪30年代的一位数学史家说:“没有一个关于无穷大的相容的数学理论就不会有无理数的理论,没有无理数的理论就不会有任何形式的数学分析;没有了数学分析,现在数学的主要部分,包括几何和绝大部分的应用数学,将不复存在。”无穷或无限的数学符号为∞。无穷大符号:将8水平放成“∞”来表示。“无穷大”符号是在英国人沃利斯(John Wallis)1655年出版的论文《算术的无穷大》一书中首次使用的。

本页共10段,2026个字符,5960 Byte(字节)