【开篇语】

微分概念在整个微积分体系中占有重要地位。理解微分概念是微积分教育的重要环节。在历史上，微分的定义经历了很长时间的发展。牛顿、莱布尼兹是微积分的主要创建人，他们的微积分可以称为第一代微积分，第一代微积分的方法是没有问题的，而且获得了巨大的成功，但是对微分的定义（即微分的本质到底是什么）的说明不够清楚；以柯西、维尔斯特拉斯等为代表的数学家在极限理论的基础上建立了微积分原理，可以称之为第二代微积分，并构成当前教学中微积分教材的主要内容。第二代微积分与第一代微积分在具体计算方法上基本相同，第二代微积分表面上解决了微分定义的说明，但是概念和推理繁琐迂回。

当前，围绕微分定义问题，国内外学术界已经开始形成一些讨论，参与者从科学院院士，中青年数学工作者，以致在读博士硕士，当然也包括一些毫无话语权的“N无数学家”。但真理面前人人平等，只要我们抱着持之有故言之成理的科学态度，相信会引发深刻的思考。

为了使得微分定义的讨论更加深入，并且有充足的养料支撑，有必要将古今中外现行微积分学术著作中的微分定义详细调查。从今天起，我将在我所搜集整理的微积分定义逐次摘录在网上，方便大家讨论。在摘录的同时，将做一些简单的讨论。

【郑州大学】

定义  一般情形下，设有函数$y=y(x)$定义在区间$(a, b)$上。当自变量$x$在点$x \in(a, b)$有增量$\Delta x=x-x_{0}$（$\Delta x>0$或$\Delta x<0$）时，函数$y=y(x)$就会相应地有增量

$\Delta y=y\left(x_{0}+\Delta x\right)-y\left(x_{0}\right)$

其中记号“$\Delta y$”作为一个整体，表示$\Delta x$的函数。确切地说，应当把$\Delta y$记成$\Delta y\left(x_{0}, \Delta x\right)$，而$\Delta y$就像一个函数记号（$\Delta x$是自变量）。

（1）自变量$x$的增量$\Delta x$称为自变量$x$的微分，记成$\mathrm{d} x$；

（2）若有与$\Delta x$无关的常数$k=k\left(x_{0}\right)$，

使

$\Delta y=k \Delta x+o(\Delta x)$

其中

$\lim _{\Delta x \rightarrow 0} \frac{o(\Delta x)}{\Delta x}=\lim _{\Delta x \rightarrow 0} \frac{\Delta y-k \Delta x}{\Delta x}=0$

则称函数$y=y(x)$在点$x_{0}$为可微分；并称$k \Delta x$为函数$y=y(x)$在点$x_{0}$的微分，记成$\left.\mathrm{d} y\right|_{x=x_{0}}$ 或$\mathrm{d} y\left(x_{0}\right)$；其中$k=k\left(x_{0}\right)$关于$x_{0}$是唯一的，称它为函数$y=y(x)$在点$x_{0}$的导数，记成 $\left.y^{\prime}(x)\right|_{x=x_{0}}$。因此，微分$dy\left( {{x}_{0}} \right)={y}'\left( {{x}_{0}} \right)\Delta x={y}'\left( {{x}_{0}} \right)\text{d}x$。

注意，当把$\Delta x=d x$看成有限量时，微分是有限量；而在极限过程$\Delta x \rightarrow 0$中，微分又是无穷小量。因此，为了能够满意地解释微积分中的一些记号和运算，我们把微分既看成有限量，又看成无穷小量。

参考文献：

[1] 闫站立.微积分 上册（第二版）[M].北京:高等教育出版社.2007,05:75-76.