微积分---维度的对话.docxVIP

微积分---维度的对话作者：刘宇强2013/9/17关键词：极限、无穷小量、微分、微积分、变分法。微积分可以说是数学史上最伟大的发明，几乎是一切自然科学的数学基础。本文所要讲述的是微积分的基础---极限（以及部分延伸）。发展简史3000多年前，人们就已经意识到无穷所带来的前所未有的困难。其中最著名的当属芝诺“悖论”（根据现在的观点，它已不算做一个悖论）：阿基里斯与乌龟赛跑，规则是乌龟先跑，阿基里斯在后面追。假设乌龟跑到了S1处后过了时间t1后，阿基里斯才跑到S1，这时乌龟已经跑到了S2，又过了时间t2，阿基里斯也跑到S2，但这时乌龟又向前跑到了S3……这样一来好像跑得快的阿基里斯永远也追不上乌龟，这样的结论甚至不允许物体做任何运动。显然这与事实相悖，那到底问题出在哪了呢？那个时代的人意识到这是一个远超过他们认知范围的问题，的确，甚至直到19世纪这个问题才得到从根本上的解决：无穷序列可以有有限的和。（即序列极限可以为有限常数）这是一个现代微积分的命题。当时发现的另一个极其困难的问题是由毕达哥拉斯的一个学生希帕索斯发现的：边长为一的正方形对角线无法用分数表示。当时的毕达哥拉斯学派认为一切数都可以用分数来表示，而希帕索斯所发现的问题无疑是晴天霹雳。在苦苦寻找答案无果的情况下，他们选择了一个不公平的且极其愚昧残忍的解决办法：将他绑在巨石上投入海中。3000年前的古希腊虽然首次提出了这样深刻的有关极限的问题，但由于当时的科学水平有限，人们意识到根本无法解决这类问题（准确的说是代数问题），所以古希腊人就退而求其次，转而研究不需要用到具体数字的学科---几何学（显然这样就有效地回避了极限问题，而仅仅涉及变换群下不变性的问题）。这类问题直到19世纪才被柯西完全解决，他提出了极限理论的严谨证明，为微积分的严谨化正式画上了句号。注意：这一段仅仅罗列了微积分发展史上的几个里程碑式的问题，应该不能算作微积分的发展简史。但这篇文章毕竟不是也不可能是对于微积分的完整概述，仅详细叙述了微积分中最基本但最重要的部分，因而完整的叙述显然是赘余。=1零后面无穷个9竟然等于1（不是约等于）！细心的读者也许会发现：这个问题与前面的两个问题异曲同工，都涉及到了同样的基本问题。下面这条微积分中的“定理”足可以解决这个困扰人类上千年的难题：对于任意实数a,b ,若不存在数c，使得acb,则a=b。因为你找不出一个介于二者之间的数，所以该命题成立；同样的对于芝诺“悖论”来说，虽然划分成了无穷段时间之和，但它同样可以有有限和；但毕达哥拉斯学派的问题就需要数系的扩充，在这里就不详细说明了。可以看出，这样三个问题都涉及到了一个更基本，更深奥的数学概念，那就是极限。但在引出极限的正式定义之前，还需要对本文第三个问题加以讨论；因为这个问题更接近于下面所叙述的极限中的重要概念，它甚至就像专为引出下面的概念而设计的：这个反直觉的命题恰恰阐明了微积分的一大重点---无穷小量（我认为它就是微积分中最重要的概念）。无穷小量的直观定义可以这样说：比任何一个给定的正实数小，但比0大的“数”。这个定义曾经引起网络上一些“民科”们的争论，其理由是：这种数并不存在。因为正实数和零之间不存在任何数。他们这么想，八成是因为他们断章取义，并不清楚其具体含义；凭借自己的主观臆断，就声称近百年来数学的根基是错误的。请注意：无穷小量并不是一个数，而可以说是一个变量。意思就是无限接近，但不能达到，牛顿对于无穷小量的解释是：一个变量无穷趋近于一个给定的数就像这个变量向那个给定的数运动，不是到达之前，也不是到达之后，而是到达的这一时刻，这便是极限。下面是极限的正式定义（柯西定理）：设f(x)定义在x0的一个可能不包括x0的开区间上，我们说当x趋于x0时f(x)趋于极限L，并记为如果，对任何数ε0，存在相应的数δ0使得对所有满足0δ的x，有注意：这个正式定义看起来很啰嗦，而且很繁琐，貌似没有必要。但它最重要的一点是它巧妙地绕过了运动学而仅仅凭借数学语言就定义了极限。这是为了满足数学的严谨性所必需的。关于极限和无穷小量的几个问题火箭方程火箭是变质量飞行器的典型代表，那么它的速度与质量变化的关系是什么？（图片来源：《物理学基础》 [美]哈里德、瑞思尼克、沃克著）设：时间变化量为dt，质量变化量为dM，速度变化量为dv（本文的变化量均为无穷小量）。火箭在dt内动量守恒，即Pi=Pf（i与f分别是开始时和终了时）所以Mv=-dMU+(M+dM) (v+dv)（火箭相对于惯性系的速度）=（火箭相对于产物的速度）+（产物相对于惯性系的速度）即：(v+dv)=vrel+U将速度的变换式代入动量守恒的式子：-dMvrel=Mdv两边除以dt，有-用-R来代替dM/dt（火箭失去的质量），且dv/dt为加速度，即（第一火箭方程）由式-dMv