高等数学研究Vol14,No13　　　　　　　　　　　　　　　40STUDIESINCOLLEGEMATHEMATICS　　　　　　　　　　Sep.,2001

微积分史话

极限概念发展的几个历史阶段

王晓硕　(辽宁师范大学数学系,大连,116029)Ξ

极限概念是分析数学中最基本的概念之一,。极限理论是微积分学的基础,。从古至今,人们对于极限概念的认识经历了一段漫长的过程。2000多年的发展,演变成为近代严格的极限理论,念。。述。

一、,最著名的是《庄子 天下篇》中记载的惠施(约前

[4]370——约前310)的一段话:“一尺之锤,日取其半,万世不竭。”公元3世纪,中国数学家刘徽

(263年左右)成功地把极限思想应用于实践,其中最典型的方法就是在计算圆的面积时建立的“割圆术”。由于刘徽所采用的圆的半径为1,这样圆的面积在数值上即等于圆周率,所以说刘微成功地创立了科学的求圆周率的方法。刘徽采用的具体做法是:在半径为一尺的圆内,作圆的内接正六边形,然后逐渐倍增边数,依次算出内接正6边形、正12边形、…、直至6×25(192)边形的面积。他利用公式S2n=n 2(ln为内接正n边形的边长,S2n为内接2n边形的面积)来求正多边形的面积。

刘徽认为,割得越细,圆内接正多边形与圆面积之差越小,即“割之弥细,所失弥少。割之又割,以至于不可割,则与圆和体,而无所失矣”。这就是割圆术所反映的朴素的极限思想。

刘徽的极限观念与古希腊的安蒂丰不谋而合。智人学派的安蒂丰(Antiphon,约前480——约前410)在讨论化圆为方的问题时想到用边数不断增加的内接正多边形来接近圆面积,而内接正多边形与圆周之间存在的空隙当多边形的边数不断加倍时被逐渐“穷竭”。后来,希腊数学家欧多克索斯(Eudoxus约前400——约前347)建立了下列原理:“对于两个不相等的量,若从较大量中减去大于其半的量,再从所余量中减去大于其半的量。继续重复这个步骤,则必有某个余量小于原来较小

[1]的量。”这就是近代分析中的阿基米德公理“Πa>0,b>0, n∈N,使na>b”的原形。著名希腊数学家阿基米德(Archimede,约前287——约前212)把上述方法成功地应用于许多面积和体积的计算。例如,在《方法》一书中,他证明了“抛物线弓形面积是同底等高三角形的三分之四”的结果。阿基米德是根据力学原理去发现问题,然后用欧多克索斯的原理和反证法(双重归谬法)来证明有关结论的。从阿基米德的工作中,可以看到近代积分学中微元法基本思想的雏形,但是还没有求极限的观念。尽管如此,阿基米德所创造的极富启发性的方法,获得了大量的辉煌成果,为后人开辟了广阔的领域。

由安蒂丰提出,欧多克索斯完善的方法经阿基米德的工作发展到一个高峰。他们的工作到17世纪被重新研究,欧多克索斯原理被称为“穷竭法”。穷竭法所蕴涵的思想就是近代极限概念的雏Ξ收稿日期:2001—05—14。

第4卷第3期　　　　　　　　　　　　王晓硕:根据概含发展的几个历史阶段　　　　　　　　　　　　　41形。

纵观这一段时期,无论是中国古代还是古希腊数学家们对极限的理解都是比较初步的,形成的极限观念也是十分朴素和直观的。在对穷竭法的运用中,还没有摆脱几何形式的束缚。但是这些不足却为后来的数学家们去近一步探索精确的极限概念产生了一定的推动作用。

二、神秘的极限观

在17世纪,解析几何的创立成为数学发展的转折点。自然科学研究的中心转向自然界中的运动和变化。数学中自然而然地引入了变量和函数的概念。17世纪下半叶,英国的数学家牛顿(New2ton,I11643——1727)和德国数学家莱布尼兹(Leibniz,G.W.1646——1716)础上创立了微积分。在建立微积分的过程中,清的,并且在某些关键处常常不能自圆其说。。

。他把曲线f(x,y)=0y,而动点的水平速度分量和垂直速度分量分别用和y实际上就是x和y对t的导数。在《分析学》中,他把xo来表示。在对极限概念的理解上,牛顿在很多地方都是模糊的,常使自。这其中最明显的缺陷就是无穷小增量o是不是零?牛顿自认为不是零,但是在运算的过程中有的时候却常常略去了含有o的项。事实上,无穷小瞬“o”作为分母是不为零的,但除完之后仍含“o”的项在未除之前应为“o”的高阶无穷小,也就是牛顿直截了当令其为零的项。可是,当时牛顿认为无穷小量无层次而言,所以在这一点上他无法给出合乎逻辑的论证。许多人对此产生了怀疑,亦产生了许多关于微积分的悖论。在而后的《流数法》中,牛顿的流数概念已经发展到了成熟的阶段,他把随时间变化的量称为流量,把流量的变化率称为流数,瞬的概念仍保留下来,并且基本方法仍是舍弃无穷小。虽然这部书较前几部有了一定的改进,提出了有效的计算方

(这是牛顿写得较早但发表最迟的一部著作)在创法,但是它仍不能逃避上述逻辑上的困难。《原理》

导首末比方法的同时保留了无穷小瞬。这其中对“瞬”的解释所使用的语言仍然是含糊的——牛顿

[1]的:“有限元素不是瞬,而是瞬所生成的量。我们应当把它们想象成有限量的初生元。”这种说法也

引起了很多争议。

莱布尼兹在这方面也做出了很多的尝试。在他的《数学笔记》中,我们可以发现他的微积分思想来源于对和、差可逆性的研究。莱布尼兹在研究帕斯卡三角形时洞察到和与差的互逆性与依赖于坐标之差的切线问题及依赖于坐标之和的求积问题的互逆性相一致。于是他用x表示数列的项数用

后来他又给出y表示这一项的值,用dx表示数列的相邻项的序数差而用dy表示相邻项的值的差。

了“”的含义。“”意味着和,“d”意味着差。在莱布尼兹构造的特征三角形中,他所使用的dy dx相当于牛顿的y x,即y对x的导数。在对无穷小的理解上莱布尼兹与牛顿有所不同,他把无穷小量理解为离散的,可分为不同层次,因此他给出了高阶微分的概念及符号。但是在计算过程中莱布尼兹和牛顿一样,常常采用略去无穷小的方法。人们开始质问无穷小和零到底有什么区别,还质问在推理的过程中为何舍弃无穷小?对于这种问题莱布尼兹的回答不能让人满意。他曾在一封回信中写到:“考虑这样一种无穷小是有用的。当寻找它们的比时,不把它们当作零,但是只要它们和无

[1]法相比的大量一起出现,就把它们舍弃。”并且莱布尼兹对于他自己定义的dy、dx、dy dx的最终∫∫

含义也给不出合乎逻辑的解释。他有时把无穷小量dx和dy描述成正在消失的或者刚出现的量,与已经形成的量相对应,而这些无穷小量不是零,却又小于任何有限的量。有时,他又求助于几何,说:“高阶微分和低阶微分相比,如同点和直线相比一样。比如dx比x如同点比地球。”对于dy

42　　　　　　　　　　　　　　　高等数学研究　　　　　　　　　　　　　　　　　2001年9月dx,莱布尼兹认为两个无穷小量的比是无限小量之商,但是这个比仍然能用有限的量来表出。人们对于这些摸棱两可的解释提出了质疑和感到困惑。

在17世纪,其他数学家与牛顿和莱布尼兹一样,对极限概念的理解也是处于含糊、难圆其说的状态。极限概念的模糊不清,引起18世纪许多人对微积分的攻击,其中英国哲学家伯克莱(Berke2

《分析学家》中对微积分的反对和攻击是最著名的。他嘲笑无穷小瞬“o”是ley,G.1685--1753)在

消失的量的幽灵”,说牛顿的无穷小一会儿是零,一会儿又不是零,简直是“瞪着眼睛说瞎话”,等等。这些攻击不仅为极限概念蒙上了一层神秘的色彩,而且对分析数学的发展也带来了危机性的困难。

三、严格的极限理论

为了克服无穷小带来的困难,在18至19世纪,微积分基本概念的是法国数学家达朗贝尔(D′Alem,J.出了极限的较明确的定义:,且变量永远达不

[3]到固定量。”,、通俗的。但是

。因此,达朗贝尔的极限概念被看作是现代严。

到了19数学家们开始转向微积分基础的重建。许多微积分中的重要概念,如极限、函数的连续性和级数的收敛性等都被重新考虑。1817年,捷克数学家波尔查诺(Bolzano,B.1781——1848)首先抛弃无穷小概念,用极限观念给出导数和连续性的定义,并得到判别级数收敛的一般准则,还建立了确界存在原理,可惜他的工作被长期埋没。严格的极限理论是由法国数学家柯西(Cauchy,A.2L.1789——1857)初建,由德国数学家外尔斯特拉斯(Weierstrass,K.T.W.1815——1897)完成的。柯西是一位十分多产的数学家,他在数学的许多领域中均作出了伟大的贡献。在分析基础严格化的过程中,他的贡献可以和俄国数学家罗巴切夫斯基础在几何学中的贡献以及挪威数学家阿贝尔与法国数学家伽罗瓦在代数学中的贡献相媲美。柯西和波尔查诺一样,他对极限概念也是基于纯算术的考虑。1821年,柯西在《教程》中写道:“当一个变量逐次所取的值无限趋

[5]于一个定值,最终使变量的值和该定值之差要多小有多小,这个定值叫做所有其它值的极限。”可

见,柯西使极限概念明确的成为算术的,而摆脱了长期以来的几何说明。他提出了极限理论的Ε2方法,把整个极限用不等式来刻画。他引入“lim”来表示极限,并且用希腊字母Ε表示任意小的差,但更多的时候他用 表示任意小的差。这样以极限的算术定义为基础,柯西给出了无穷小,无穷大的定义:“当一个变量的数值这样地无限减小,使之收敛到极限零,那么这个变量就叫做无穷小;当变

[4]量的数值这样地无限的增大,使该变量收敛到极限∞,那么该变量就成为无穷大。”这样柯西就澄

清了莱布尼兹的无穷小概念而且把无穷小量从难圆其说的尴尬的境地中解脱出来。

在1851——1854年期间,外尔斯特拉斯对柯西的Ε2方法进行了改造,他也力求避免直观而把分析奠基在算术概念的基础上。外尔斯特拉斯反对“一个变量趋于一个极限”的说法,因为这种说法使人们想起了时间和运动。他把一个变量简单的解释成一个字母,该字母代表它可以取值的集合中的任何一个数,这样运动就消除了。一个连续变量是这样一个变量,若x0是该变量的集合中的任一

)中。值而Ε是任意正数,则一定有变量的其它值在区间(x0-Ε,x0+Ε

区别于柯西和波尔查诺所定义的极限中使用的动态观点,外尔斯特拉斯提出了与此不同的静态观点。他给出了相当完备的Ε- 方法,即设x=x0是函数f(x)定义域内的一点,若对给定的任一随意小的数Ε,可求得另一正数 ,使得与x0之差小于 的一切x值,f(x)和另一数L的差小于,则数L是函数f(x)于点x0的极限。这就是当今通用的limf(x)=L的定义“ΠΕ>0, >0,Π0Εx→x0

< x-x0 < , f(x)-L <Ε”。这样,极限概念的算术化就实现了。整个极限的运算就成为一串不

第4卷第3期　　　　　　　　　　　　王晓硕:根据概含发展的几个历史阶段　　　　　　　　　　　　　43等式的推导,再也用不着借助于几何直观和想象了。

关于序列极限的正确概念早在1655年由英国数学家沃利斯(Wallis,J.1616--1703)给出,但是后来未被人们采用。波尔查诺在1817年也给出了序列收敛条件的正确表达。柯西后来重新得到了这些结果,现在把序列收敛的判别准则归功于柯西,称为柯西收敛准则。

经过半个多世纪的探索,19世纪的数学家终于消除了长久以来极限概念的不明确性给人们带来的种种困惑,建立了严格的极限理论,极限的Ε- 定义一直延续到今天。极限理论的严格化对微积分基础的建立更是有着十分重大的意义,它使微积分的发展达到了一个全新的、广阔的境界。

四、极限理论的推广

极限概念被推广到多元函数和复变量函数后,质。后来,数学家们发现,:,极限过程与区间的分割发生了联系,-。。

re,E.H.1862——1932)和德国数学家史密斯(Sm,H..,称为广义序列Ξ的收敛,也叫做广义极限。X的映射,即一个对应关系,使得对于每个Α∈A都有一个xΑ∈XX中的广义序列{xΑ∶Α∈A,≤}(或附上有向序≤)在X中收敛于点x∈

∈A时xΑ∈Ox这就是穆尔2史密斯收敛的概X,如果对x的每个邻域Ox,存在Β∈A,使得当Β≤Α

念。通常的序列是广义序列的特殊情形,这时A是自然数集。

广义序列可以用来刻画分离公理,各种紧性以及紧化的种种构造,在现代拓扑学和分析数学中起到了重要的作用。

参　考　文　献

1　[美]克莱因1古今数学思想[M]1上海:上海科技出版社,1981

2　吴文俊1世界著名数学家传记(上)(下)[M]1北京:科学出版社,1994

3　李文林1数学珍宝[M]1北京:科学出版社,1998

4　杜瑞芝1数学史辞典[Z]1济南:山东教育出版社,2000

5　杜石然,孔国平1世界数学史[M]1长春:吉林教育出版社,1996

6　菲赫金哥尔茨1微积分教程二卷三分册[M]1北京:人民教育出版社,1980

7　编译委员会1数学百科全书,第二卷[Z]1北京:科学出版社,1995

(上接第22页)

有效的方法,而且这种方法被多数学生所采用,但一定要注意该方法适用的条件。同时,因定理的条件仅是充分的,故也可采用其它方法,以使问题得到圆满解决。

(上接第39页)

兴办国家体育、社会福利以及社会公益事业,是一种取之于民用之于民的政府合法行为。当然,彩票本身具有博彩性质,中奖有很大的偶然性。而我们买彩票时,应该抱着一种“中奖是自己运气好,没中奖也是为社会献爱心”的态度去看待彩票,那种孤注一掷地参与博彩行为是不足取的。Ξ“广义序列”是原苏联数学文献中的说法,在西方国家中几乎不用,通常使用的术语是“网”。网的概念对于刻画上述种种拓扑性质是必要的。