数学危机Word格式.docx
- 文档编号:17848927
- 上传时间:2022-12-11
- 格式:DOCX
- 页数:10
- 大小:33.08KB
数学危机Word格式.docx
《数学危机Word格式.docx》由会员分享,可在线阅读,更多相关《数学危机Word格式.docx(10页珍藏版)》请在冰豆网上搜索。
我们已经知道,古希腊的毕达哥拉斯(Pythagoras,ca.560-ca.480.BC)学派从毕达哥拉斯开始,一直延续到公元前四世纪中叶.这个学派是一种宗教式的秘密结社,致力于哲学和数学的研究.相传,"
哲学"
和"
数学"
这两个词就是它创造的,原意分别指"
智力爱好"
可学到的知识"
.在这个学派兴盛的时期,学派内部的各种发现往往秘而不宣,并且大家习惯于把各这些发现都归结在领袖毕达哥拉斯的名下.
毕达哥拉斯学派对数学最重要的贡献之一是证明了毕达哥拉斯定理(在中国被称为勾股定理),即:
直角三角形斜边长度的平方等于二直角边长度的平方和.据说当时的人们为了庆祝发现这个定理,曾经宰了100头牛来拜祭天神.这一定理我们在小学的时候就已经知道,因此大家可能觉得当年毕达哥拉斯学派没有必要那么大动干戈,但这也可能是因为大家对于这个定理的重要性并不是特别关注.之所以说它特别重要,是因为在平面几何学中,直角三角形的地位很类似于素数在数系中的地位.我们知道,复数系,实数系,有理数系和整数系都可以归结为自然数系,而根据素因子唯一分解定理,自然数又可以最终归结为素数.可见素数在"
数"
中的核心地位.同理,任意规则的平面多边形都可以被分割成多个三角形,而每个三角形又可以被分割成两个直角三角形.而任意不规则的多边形或者说曲多边形,我们总是可以通过把它看作边数无限多的规则多边形来处理.从这一点可以看出,关于直角三角形的毕达哥拉斯定理是多么重要.
所附的这张图片载于欧几里得(Euclid,ca.325-ca.270.BC)的巨著《几何原本》,相传毕达哥拉斯学派曾经使用过这个图形来证明毕达哥拉斯定理.
毕达哥拉斯学派认为"
万物皆数"
(Everythingisnumber),这个学派的一位晚期成员菲洛劳斯(Philolaus,ca.390.BC)曾经说过:
"
人们所知道的一切事物都包含数;
因此,没有数就既不可能表达,也不可能理解任何事物."
在当时,数学分为算术,音乐,几何和天文四个部分,而毕达哥拉斯学派认为它们都可以归结为数的理论(他们所指的数是整数),因此,他们认为,一切事物都可以归结为整数和整数之比.不难看出,毕达哥拉斯学派所承认的数仅限于有理数.同时,毕达哥拉斯学派认为点是位置的单位元素,这样,在几何学上的一个自然结论就是,任意两条线段都是可公度的,也就是说,对任意给定的两条线段,都可以找到第三条线段,以它为单位线段能将给定的那两条线段划分为整数份.
但是,当毕达哥拉斯学派研究等腰直角三角形的时候,矛盾出现了.
如图,在等腰直角三角形中,,,.是一个实实在在的线段长,但它能不能表示成整数的比呢
若它可表示为两个整数的比,不妨设(,是互素的整数),则有,.即,为偶数.不妨设,于是,即.于是,也是偶数.
所以,,均为偶数,这与它们互素的最初假设矛盾.
也就是说,不能表示成两个整数的比,或者说是不可公度的.按照今天的说法,毕达哥拉斯学派发现是无理数.
相传毕达哥拉斯学派的一个成员希帕苏斯(Hippasus,ca.470.BC)在该学派的一次海上泛舟集会中首先做出了这一发现.当他把自己的发现公之于众的时候,惊恐不已的其他成员把他抛进了大海.由于我们所接受教育的方式,今天的我们已经很难体会到当时那些人的恐惧感.要知道,毕达哥拉斯学派把抽象的数作为万物的本原,他们研究数的目的并不是为了应用,而是试图通过揭示数的奥秘来探索宇宙的永恒真理."
是整个毕达哥拉斯学派的一种信念,是这个学派的宗教,哲学和数学的基础.而不可公度的无理数的发现彻底粉碎了他们的基本信念,使整个学派失去了赖以存在的基础.
从另一个角度来讲,毕达哥拉斯学派的观点类似于原子论(这里的原子和今天我们所熟知的原子不同,在那个时代,原子是构成实体的基本的不可分割的元素).对于毕达哥拉斯学派来说,整数是一切的基础,这样,它就构成了数的"
原子"
.也就是说,他们认为任何事物都可以由整数表示出来.但无理数的发现使整数的原子地位受到了质疑,因为上述的无理数显然不能表示为整数的比.如果数的原子都不存在了,那么整个原子论也就失去了根基,这也许正是毕达哥拉斯学派乃至整个希腊数学所最为恐惧的事实.
继之后,人们又陆续发现了许多其它的无理数.这些无理数被毕达哥拉斯学派隐瞒了将近一百年,最后终于被菲洛劳斯等人公布于世.
1.2芝诺悖论
对毕达哥拉斯学派的哲学和数学的另一个致命打击来自古希腊伊利亚(Elea)学派的代表人物芝诺(Zeno,ca.495-430.BC).芝诺提出过四个著名的悖论,其中的一个悖论常被称为"
阿基里斯追龟说"
.阿基里斯(Achilles)是希腊神话中的神行太保,跑得非常快,但是芝诺论证说阿基里斯如果和乌龟赛跑,它将永远也追不上乌龟.他论证到,如果设乌龟先于阿基里斯一段距离,那么当阿基里斯到达乌龟的起跑点时,乌龟也爬过了一段距离;
当阿基里斯又追完这段距离时,乌龟又向前跑了一段;
如此以至无穷.虽然这一连串的距离越来越小,但它们的数目是无穷的,所以阿基里斯永远也追不上乌龟.容易看出,在这里,芝诺并没有采用毕达哥拉斯学派的"
点是位置的单位元素"
的观点,而是认为一条线段是可以无限分割的.
芝诺采取这种立场是有他的道理的.因为他在另一个常被称为"
飞箭静止说"
的悖论中否定了空间是由点(单位元素)所组成的观点.芝诺认为,飞行的箭在运动的任何瞬间(即单位元素)必定处于一个确定的位置,这个位置和箭的大小是相同的,箭既不能落后于它,也不会超过它;
所以,在任何这样的瞬间里,箭是静止不动的.这样,芝诺在空间是点的总和的假设下证明了运动是不可能的.而这显然不符合常识,所以毕达哥拉斯学派的基本假设即"
至少在几何学和运动学上是不成立的.
后来,伽利略(GalileoGalilei,1564-1642)在芝诺悖论的基础上提出了这样一种模型:
如图,,过作一直线和,分别交于,,容易看出,和是一一对应的,这样,如果承认直线(或线段)是由点组成的,将有.这显然是荒谬的.
我们知道,毕达哥拉斯学派坚持"
是和他们"
的信念一脉相承的.否定了"
也就间接地否定了"
同时,芝诺悖论也说明了这样一个事实,即涉及无穷的问题往往超出了人们的直观;
人们对它的感觉经常含糊不清,也很难用一个适当的概念来说明它.只有在数学中正确地引入无限的观点以后,这一困难才能够被完全解决.作为一个直接结果,希腊数学中从此排除了无限的观念.
1.3数与量的分离
第一次数学危机的消解依赖于比例理论的建立.这一工作是由欧多克斯(Eudoxus,408-347.BC)完成的,其主要内容被欧几里得收录在其著名的《几何原本》的第5卷.
欧多克斯是柏拉图(Plato,427-347.BC)的学生,他对数学的另一个重大贡献是发展并完善了穷竭法(简单地说,是一种通过无限增加圆内接或外切正多边形的边数来求圆的面积的方法),使这一方法获得了精确的严格性.
我们已经知道,毕达哥拉斯学派证明了和1不可公度,或者说发现了是无理数,但他们并没有指出无理数到底是什么.这个问题成为当时希腊数学关注的焦点.柏拉图在其《规律》一书中就曾呼吁人们重视关于不可公度的无理数的知识.
欧多克斯区分了量和数,认为量是线段,角,面积,体积,时间等等这样一些连续变动的东西;
而数则是离散的,是从一个跳到一个.对于数和量的区分,也体现在欧多克斯同一时代的亚里士多德(Aristotle,384-322.BC)的《范畴篇》中.
欧多克斯显然深知无理数的困难,因此他把所有的量从几何角度而不是从算术角度加以考虑,通过建立起比例理论而把可处理的问题由可公度量推广到了不可公度量.他的比例的定义如下:
设,;
是两对同类的几何量.如果对于任意的自然数,,满足关系:
若,则;
若,则,
则称
可以看出,在这个定义中并没有必要区分可公度量和不可公度量,当和1都被看作是同一类的量(比如长度,面积等等)时,它们之间在比例的运算中就没有什么区别了.
第一次数学危机促使人们对于数学的严密性给予了更多的关注,即把数学建立在什么样的基础上才是牢靠的.对此,欧几里得曾经说过"
必须承认,直觉是不可靠的."
因为从直觉上来看,有理数(或者说整数的比)在数轴上是稠密的,但是在它们之间居然还存在着很多空隙,这显然有悖于人们的直觉.
希腊数学家开始借助于严格的证明来保证数学的正确性和严密性.他们从经过精心选择的少数几条明显的公理和公设(公理对所有学科都成立,公设仅针对数学学科,现在的数学家对此已经不做区分了)出发,借助于逻辑方法,把数学上各种零碎的,片断的成果组织成一个比较严密的知识体系,揭示出它们之间的深层关系,并进而得到许多新的结果,这就是演绎数学.欧几里得是希腊演绎数学的集大成者,其巨著《几何原本》是用公理化方法建立起演绎体系的最早典范,在历史上成为影响仅次于《圣经》的一部数学名著.可以这样说,正是第一次数学危机导致了演绎数学的兴起.
应该注意的是,关于连续量的比例理论的建立并没有最终消除无理数所造成的数学危机.或者可以这样说,比例理论的建立只是掩盖了这次危机."
连续"
这个基本概念仍然依赖于直觉,这一点可能会带来新的困难,对此,我们将在第二次数学危机中仔细论述.另外,虽然无理数被发现了,但是它并没有被吸收到演绎数学的体系中来.而且,更重要的是,很多数学家并没有停止对这种当时并没有逻辑基础的"
的研究和使用.像阿基米德(Achimedes,287-212.BC),托勒密(Ptolemy,ca.100-170.AD),丢番图(Diuphantus,ca.250.AD)等伟大的数学家并不排斥使用无理数.而东方的印度和阿拉伯的数学家则更进了一步,他们为无理数建立了运算法则,而丝毫不去关心其逻辑上的困难.
但是,不管怎样,比例理论被采纳之后,数学的基本问题由"
什么是数"
转变成了"
什么是量"
毕达哥拉斯学派"
的信念也就自然地转化为"
万物皆量"
.巴罗(IssacBarrow,1630-1677)曾经这样评价过无理数:
无理数不过是一些记号,脱离了几何量这个载体,便不复存在了."
对此,帕斯卡(B.Pascal,1623-1662)和牛顿(IssacNewton,1643-1727)都持相同的观点.可以看出,他们都赋予了连续的几何量以更基本的地位.
2.第二次数学危机
2.1危机的产生和发展
在牛顿和莱布尼茨(GottfriedWilhelmLeibniz,1646-1716)发明微积分之前,很多数学家已经在微分学和积分学这两个原来没有关联的学科上进行了深入的研究并取得了很多重要的结果.大体来说,微分研究瞬时速度,切线和极值问题;
积分则用于求解距离,面积和体积的问题.牛顿和莱布尼茨之所以享有微积分发明权的荣誉,是因为他们通过微积分基本定理把这两个学科联系了起来.
我们已经知道,伽利略曾经得到了自由落体运动的距离公式,根据这一公式可以很容易求得任意时刻的瞬时速度.但是对于非匀加速运动的情况,这种方法就不能奏效了.于是,牛顿开始从不同的角度,使用不同的方法来研究瞬时速度的问题.
仍以自由落体的情况为例,不过为简便起见,我们省略了上面公式中的常数,而把运动公式简单地表示成.
对,牛顿考虑在时间的无穷小增量内距离的无穷小增量.
根据自由落体运动公式,有
即.
化简得,
或.
牛顿认为,和有限量相比,无穷小增量可以忽略不计,所以在上式中,牛顿令,即得
和第五讲"
天上人间"
介绍的伽利略的方法相比,牛顿的方法有很大的不同.首先,它更简单;
其次,它可以适用于更广泛的情况.但是,这里面也存在着一个问题.我们不难发现,牛顿在除法中默认不是0,而在把和有限量进行比较时又令,这在逻辑上显然是自相矛盾的.因此,牛顿的方法受到了很多人的批评,其中尤以贝克莱(B.G.Berkeley,1685-1753)大主教最为著名.在一本标题很长的,名为《分析学者,或致一个不信神的数学家,其中审查现代分析对象,原则与推断是否比起宗教的神秘与信条,构思更为清楚,或推理更为明晰》的小册子里,贝克莱批评牛顿的无穷小增量说:
它们既不是有限量,也不是无穷小,但也不是无,难道它们是死去量的幽灵吗!
贝克莱指出的矛盾也叫"
贝克莱悖论"
说明了微积分理论在逻辑上的明显缺陷,这标志着第二次数学危机的产生.
但是,和第一次数学危机不同,第二次数学危机在产生之初并没有引起大部分数学家的恐慌甚至关注.由于微积分在解决实际问题中所显示出来的巨大威力,数学家们不顾对微积分的种种非难,积极投入到发展这种新工具的历史大潮中,而并不急于给它奠定一个稳定的基础.于是出现了这样一种局面:
一方面,微积分不断取得各种显著的成就,得到各种更强有力的应用;
另一方面,在某些领域,数学家们由于滥用微积分而得到很多荒谬的结论.这种荒谬性突出地表现在无穷级数的使用上.
以二项式的负指数幂的无穷展开为例.牛顿在研究积分问题时得到了一般的二项展开式定理,其形式和我们在高中阶段所学的二项展开式定理相同,只不过后者仅涉及正整数次幂的情况.根据这一定理,我们有
…
用代替上式中的即得
在上式中,令,得
为简便起见,我们把这个式子称为.如果我们对右边使用结合率,显然会有
…=0.
对比这两个式子,我们将得到,这显然是荒谬的.
但是问题并没有到此结束.如果我们对右边换一种结合方式,比如
…=1,
我们又得到.如此可以一直进行下去.事实上,如果我们对右边使用所有类型的交换率和结合率,我们将得到所有的整数;
也就是说,和所有的整数都相同!
上面的结果已经够让人惊讶了,但是还有更加令人不可思议的现象存在.如果我们在的表达式中令,将有
这就是说,无穷多个正数的和竟然是一个负数!
当然,这些悖论的最终解决依赖于后来无穷级数收敛和发散理论的正确建立.我们所关心的是,微积分中出现了这么严重的困难,大多数数学家却并没有停下手头的工作来填补这些漏洞.这使我们不得不意识到这样一点,即这个时代的数学传统已经不同于欧几里得时代坚持严格证明的数学传统了.这一点也能从当时一些著名数学家说过的话中得到体现.
克莱洛(Alexis-ClaideClairaut,1713-1765)曾经说过:
欧几里得自找麻烦地去证明…是不足为怪的.这位几何学家必须去说服那些冥顽不化的诡辩论者,而这些人是以拒绝最明显的真理为自豪的.因此,像逻辑那样,几何必须依赖形式推理去反驳他们."
他接着说到了他那个时代的传统,"
但是,一切都倒了个个儿,所有那些涉及到常识且早已熟知的事情的推理,只能掩盖真理,使读者厌倦,在今天人们对它已不屑一顾了"
.拉克鲁瓦(S.F.Lacroix,1765~1843)在其《微积分教程》中也宣布:
希腊人所烦恼的这种琐碎的东西,我们不再需要了!
最有意思的莫过于大数学家西尔维斯特(JamesSylvester,1814-1897),他在给学生上课的时候经常会出现这样两段互相联系的有意思的开场白:
我还没有证明这个结果,但是,我能像肯定任何必然事物一样肯定它.在这个基础上,我们证明……"
对不起,上节课假定的结果错了.让我们重新假设……"
高斯(CarlFriedrichGauss,1777-1855)可以称得上是反传统的代表,他在1812年就考虑了无穷级数的收敛性.但是,大部分数学家对这种严密性并不感兴趣.对此,雅可比(JakobJacobi,1804-1851)说过:
要达到像高斯那样的严密,我们没有时间!
对于当时的这种不过分追求严密性的数学传统,也有一些数学家发出了反对的呼声.早在1743年,达朗贝尔(J.B.L.R.d'
Alembert,1717-1783)就曾经批评当时数学界的现状:
人们总是热衷于扩大数学的范畴,却很少阐明其来源;
注重向高层次发展,而很少考虑加固它的基础."
罗尔(MichelRolle,1652~1719)也宣称"
微积分只是一些精巧的谬误的集合"
.但如前所述,这些并不高昂的呼声被微积分前进的车轮声淹没了.
不过,历史是公正的.数学家们迟早要为他们的这种做法付出代价.在1800年左右,微积分经过一个半世纪的迅猛发展,已经变成了一座雄伟的分析学的大厦,但是它赖以存在的基础却还在那儿摇摇晃晃.庞大的分析学也正是在这个时候陷入了困境.这突出地表现在以下几个方面:
首先是证明的严密性问题,即上述牛顿式的证明到底算不算是一种数学意义上的严格证明其次是函数概念的模糊性,例如数学家们让无穷级数像普通函数一样直接参与各种运算,但是,无穷级数到底是不是函数第三个是关于发散无穷级数的问题,上文已经提及这种级数会造成很多悖论,所以很多数学家反对把它纳入数学体系中,但也有一些数学家在这一领域得到了许多很好的研究成果.另外,由于没有清楚的无穷小概念,导数,微分和积分等最基本的概念并不是很清晰,当时的数学家们对在连续这样的基本问题上都没有取得一致意见.例如,欧拉(LeonardEuler,1707-1783)所说的连续是指光滑的(即可微分的)函数,而在18世纪后期,数学家们则把连续理解为函数具有一致的解析表达式,他们并不承认我们今天所谓的分段连续函数.
2.2微积分的严格化
既然第二次数学危机是由于使用微积分的不严格性造成的,这次危机的消除过程自然就是一个使之严格化的过程.我们知道,微积分产生之初是建立在几何的基础之上,而关于连续量的几何在很大程度上也要依赖于人们的直觉.像时间,长度,角,面积和体积等等连续量,如果我们以整体的观点来处理它们,那么根据欧多克斯的比例理论,我们不会遇到什么困难.但是,在微积分计算中,这些连续量不再被作为一个整体进行研究,而是被分割成无穷多份,牛顿和莱布尼茨都是基于这种方法得到微积分的一般原理的.
所以,当数学家们试图给微积分奠定一个合适的基础时,他们的注意力就集中到代数和算术上来了.而代数最终可以归结为算术,也就是说,分析学应该建立在算术的基础上.对此,高斯在1817年曾经说过:
真理只存在于算术之中."
但是,我们将会看到,这一发展过程并不是一蹴而就的.
有两位数学家对于分析学的严格化做出了最重要的贡献,即柯西(AugustinCauchy,1789-1857)和维尔斯特拉斯(KarlWeierstrass,1815-1897).应该说明的是,在此之前,欧拉在其发表于1755年的《微分学》中引入了无穷小的不同阶零的理论;
拉格朗日(J.L.Lagrange,1736-1813)则在其1797年的《解析函数论》中把微积分归结为"
纯粹的代数分析艺术"
.他们的形式化观点加上达朗贝尔于1754年引入的比较明确的极限观点,对于柯西等人的工作起到了奠基性的作用.另一个应该指出的人是波尔察诺(B.Bolzano,1781-1848),他在1817年发表了《纯粹分析证明》,对函数的连续性,导数等概念做出了合适的定义,得到了很多实质上和柯西相同的结果.但由于他的工作长期湮没无闻,对当时的数学界并没有产生什么影响.
柯西生前写了一系列的著作,其中最具代表性的是1821年的《分析教程》和1823年的《无穷小计算教程概论》.他的著作以严格性为目标,对微积分的基本概念,如变量,函数,极限,连续,导数,微分,收敛等等给出了明确的定义.例如,他把变量定义为"
依次取许多互不相同的值的量"
进而把函数定义为变量之间的某种联系(即由自变量表示的那些量),这样,按照柯西的定义,无穷级数就可以表示一个函数了,而且还突破了在他之前数学家们一直坚持的函数必须有解析表达式的限制;
然后,以变量为基础,柯西定义了极限,并把无穷小量定义为极限为零的变量,继而又用无穷小量定义了连续函数,等等.
在以上基本定义的基础上,柯西严格地表述并证明了微积分基本定理,中值定理等一系列重要定理.此外,柯西还对无穷级数进行了严格的处理,明确地定义了无穷级数的收敛性,并建立了判别级数收敛的一个法则,即柯西收敛准则.
很明显,柯西的工作使分析学向全面的严格化迈出了关键的一步.事实上,他的研究成果也很快就在科学界产生了轰动效应.据说,柯西在巴黎科学院的一次会议上宣读第一篇关于无穷级数收敛性的论文时,当时年高望重的拉普拉斯(P.S.M.deLaplace,1749-1827)大为震惊,他在会议之后急急忙忙赶回家,仔细检查其5大卷的名著《天体力学》,并庆幸自己所用的无穷级数都是收敛的.
但是,柯西的工作虽然在很大程度上澄清了在微积分基础问题上长期存在的混乱,但它也并非是完美无缺的.例如,柯西使用了许多诸如"
无限趋近,"
想要多小就多小"
等依赖于直觉的语言进行描述;
另外,他也混淆了连续和一致连续这两个不同的概念并错误地认为连续函数一定可导.更重要的是,柯西的几个重要证明都依赖于实数的完备性,但在当时,实数系的这一基本性质还没有建立起来,对此,我们在后面还要进行仔细地讨论.
微积分进一步严格化的重任落在了维尔斯特拉斯的肩上.在数学史上,维尔斯特拉斯关于分析严格化的贡献给他带来了"
现代分析之父"
的称号,现代分析学中普遍使用的语言就是他创造的.他批评柯西等人使用的"
无限趋近"
"
等说法具有明显的运动学涵义,并用其静态的,不依赖于直观的语言重新定义了极限,连续,导数等分析学的基本概念.另外,维尔斯特拉斯引入了一直被忽视的一致收敛的概念,最终消除了微积分中不断出现的各种异议和混乱现象.可以说,微积分能达到今天所具有的严密形式,本质上应该归功于维尔斯特拉斯.
1872年,维尔斯特拉斯发表了他构造的一个处处连续但却处处不可微分的函数
这里,是奇数,为常数,.其实,维尔斯特拉斯在1861年的课堂上就已经给学生举出了这个例子;
更早的波尔察诺也给出了一个具有同样性质但没有解析表达式的例子,但如前所述,数学界直到很晚才知道他的工作.
维尔斯特拉斯的例子使数学界大为震惊,它否定了长期以来数学家们一贯坚信不移的直觉,即认为连续函数一定可以微分,所以,这种函数被数学界称为"
病态函数"
.当时的数学界甚至掀起了一股寻找这种病态函数的热潮,作为结果之一,人们意外地发现了存在无穷多间断点,但可以
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数学 危机