【开篇语】

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

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

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

【成都资讯工程学院】

（定义1）设函数$y=f\left( x \right)$定义在${{x}_{0}}$的某领域$U\left( {{x}_{0}} \right)$内，当给${{x}_{0}}$一个增量$\Delta x\left( {{x}_{0}}+\Delta x\in U\left( {{x}_{0}} \right) \right)$时，相应地得到函数的增量$\Delta y=f\left( {{x}_{0}}+\Delta x \right)-f\left( {{x}_{0}} \right)$.

如果存在常数$A$，使得$\Delta y$能表示成

$\Delta y=A\Delta x+o\left( \Delta x \right)$

则称函数$f$在点${{x}_{0}}$可微，并称$A\Delta x$为$f$在点${{x}_{0}}$的微分。记作

${{\left. dy \right|}_{x={{x}_{0}}}}=A\Delta x$ 或 ${{\left. df\left( x \right) \right|}_{x={{x}_{0}}}}=A\Delta x$.

(定义2）若函数$y=f\left( x \right)$在区间$I$上每一点都可微，则称$f$为$I$上的可微函数，函数$y=f\left( x \right)$在$I$上任一点处的微分记为

$dy={f}'\left( x \right)\Delta x,x\in I$.

它不仅依赖于$\Delta x$，而且也依赖于$x$。

特别地，当$y=x$时，有

$dy=dx={{\left( x \right)}^{\prime }}\Delta x=\Delta x$，

因此我们规定自变量的微分$dx$等于自变量的改变量$\Delta x$。这样，微分公式可以改写成

$dy={f}'\left( x \right)dx,x\in I$.

参考文献：

[1] 张勇，杨光崇.数学分析 上册[M].北京:高等教育出版社.2010.07.117-119.