微分线性主部_高数中“微分”的前世今生

   微分在数学中的定义：由函数B=f(A)，得到A、B两个数集，在A中当dx靠近自己时，函数在dx处的极限叫作函数在dx处的微分，微分的中心思想是无穷分割。

        早在希腊时期，人类已经开始讨论「无穷」、「极限」以及「无穷分割」等概念。这些都是微积分的中心思想；虽然这些讨论从现代的观点看有很多漏洞，有时现代人甚至觉得这些讨论的论证和结论都很荒谬，但无可否认，这些讨论是人类发展微积分的第一步。

          公元前五世纪，希腊的德谟克利特(Democritus)提出原子论：他认为宇宙万物是由极细的原子构成。在中国，《庄子．天下篇》中所言的「一尺之捶，日取其半，万世不竭」，亦指零是无穷小量。这些都是最早期人类对无穷、极限等概念的原始的描述。

其他关于无穷、极限的论述，还包括芝诺(Zeno)几个著名的悖论：其中一个悖论说一个人永远都追不上一只乌龟，因为当那人追到乌龟的出发点时，乌龟已经向前爬行了一小段路，当他再追完这一小段，乌龟又已经再向前爬行了一小段路。芝诺说这样一追一赶的永远重覆下去，任何人都总追不上一只最慢的乌龟－－当然，从现代的观点看，芝诺说的实在荒谬不过；他混淆了「无限」和「无限可分」的概念。人追乌龟经过的那段路纵然无限可分，其长度却是有限的；所以人仍然可以以有限的时间，走完这一段路。然而这些荒谬的论述，开启了人类对无穷、极限等概念的探讨，对后世发展微积分有深远的历史意味。另外值得一提的是，希腊时代的阿基米德(Archimedes)已经懂得用无穷分割的方法正确地计算一些面积，这跟现代积分的观念已经很相似。由此可见，在历史上，积分观念的形成比微分还要早－－这跟课程上往往先讨论微分再讨论积分刚刚相反。

十七世纪的大发展牛顿和莱布尼茨的贡献

中世纪时期，欧洲科学发展停滞不前，人类对无穷、极限和积分等观念的想法都没有什么突破。中世纪以后，欧洲数学和科学急速发展，微积分的观念也于此时趋于成熟。在积分方面，一六一五年，开普勒(Kepler)把酒桶看作一个由无数圆薄片积累而成的物件，从而求出其体积。而伽利略(Galileo)的学生卡瓦列里(Cavalieri)即认为一条线由无穷多个点构成；一个面由无穷多条线构成；一个立体由无穷多个面构成。这些想法都是积分法的前驱。
在微分方面，十七世纪人类也有很大的突破。费马(Fermat)在一封给罗贝瓦(Roberval)的信中，提及计算函数的极大值和极小值的步骤，而这实际上已相当于现代微分学中所用，设函数导数为零，然后求出函数极点的方法。另外，巴罗(Barrow)亦已经懂得透过「微分三角形」(相当于以dx、dy、ds为边的三角形)求出切线的方程，这和现今微分学中用导数求切线的方法是一样的。由此可见，人类在十七世纪已经掌握了微分的要领。
然而，直至十七世纪中叶，人类仍然认为微分和积分是两个独立的观念。就在这个时候，牛顿和莱布尼茨将微分及积分两个貌似不相关的问题，透过「微积分基本定理」或「牛顿－莱布尼茨公式」联系起来，说明求积分基本上是求微分之逆，求微分也是求积分之逆。这是微积分理论中的基石，是微积分发展一个重要的里程碑

一元微分的定义

设函数y = f(x)在x的邻域内有定义，x及x + Δx在此区间内。如果函数的增量Δy = f(x + Δx) - f(x)可表示为 Δy = AΔx + o(Δx)(其中A是不随Δx改变的常量，但A可以随x改变)，而o(Δx)是比Δx高阶的无穷小(注：o读作奥密克戎，希腊字母)那么称函数f(x)在点x是可微的，且AΔx称作函数在点x相应于因变量增量Δy的微分，记作dy，即dy = AΔx。函数的微分是函数增量的主要部分，且是Δx的线性函数，故说函数的微分是函数增量的线性主部(△x→0)。

通常把自变量x的增量 Δx称为自变量的微分，记作dx，即dx = Δx。于是函数y = f(x)的微分又可记作dy = f'(x)dx。函数因变量的微分与自变量的微分之商等于该函数的导数。因此，导数也叫做微商。

当自变量X改变为X+△X时，相应地函数值由f(X)改变为f(X+△X)，如果存在一个与△X无关的常数A，使f(X+△X)-f(X)和A·△X之差是△X→0关于△X的高阶无穷小量，则称A·△X是f(X)在X的微分，记为dy，并称f(X)在X可微。一元微积分中，可微 可导等价。记A·△X=dy，则dy=f′(X)dX。例如：d(sinX)=cosXdX。

微分概念是在解决直与曲的矛盾中产生的，在微小局部可以用直线去近似替代曲线，它的直接应用就是函数的线性化。微分具有双重意义：它表示一个微小的量，因此就可以把线性函数的数值计算结果作为本来函数的数值近似值，这就是运用微分方法进行近似计算的基本思想。

   几何意义

设Δx是曲线y = f(x)上的点M的在横坐标上的增量，Δy是曲线在点M对应Δx在纵坐标上的增量，dy是曲 线在点M的切线对应Δx在纵坐标上的增量。当|Δx|很小时，|Δy－dy|比|Δx|要小得多(高阶无穷小)，因此在点M附近，我们可以用切线段来近似代替曲线段。也就是“以直代曲”的思想。

多元微分：当自变量为多个时，可得出多元微分的定义。一元微分又叫常微分。

值得大家注意的一点是：

第一点：微分和导数是有区别的！

导数:是指函数在某一点处变化的快慢,是一种变化率。即斜率！ 

微分：是指函数在某一点处(趋近于无穷小)的变化量，是一种变化的量。即增量。微分本质是一个微小的线性变化量，是用一个线性函数作为原函数变化的逼近(或者叫近似)。

第二点

1)古典微分学和极限微分学最本质的区别就是，在前者的体系中，微分就是变化本身，而在后者中，微分是变化的逼近。 

(2)微分是实实在在的一个量，是一个无穷小量(当变化趋近于0时)。它也是有自己的运算法则的，参见高等数学教材。其实跟导数的规则差不多。 

(3)我们现在所学的体系，是按照先极限、再通过极限定义导数、再通过导数定义微分这个次数来的。但是在历史发展中，是先有的微分(即先定义出dy)，然后根据需要(为了解决切线问题)定义出导数的。 

(4)至于为什么要把微分定义出来呢？后续数学的分支会用到！  

(5)求微分是求微分，求导是求导。当想不明白的时候，多想想极限的思想。