微积分涉及的数学家微积分严格化时期柯西.docxVIP

经过近一个世纪的尝试与酝酿，数学家们在严格化基础上重建微积分的努力到19 世纪初开始获得成效。这方面的先声来自捷克学者波尔察诺（B。Bolzano，1781—1848），他在 1817 年发表了《纯粹分析证明》，以证明连续函数的中值定理为目的，其中包含了对函数连续性、导数等概念的合适定义，但波尔察诺的工作长期湮没无闻。19 世纪分析严格化真正有影响的先驱是法国数学家柯西（A-L.Cauchy,1789—1851）。 柯西长期担任巴黎综合工科学校教授，他有许多著作都是以工科大学讲义形式面世的。在分析方法方面，他写出了一系列著作，其中最有代表性的是《分析教程》和《无限小计算教程概论》，它们以严格化为目标，对微积分的基本概念，如变量、函数、极限、连续性、 导数、微分、收敛等等给出了明确的定义，并在此基础上重建和拓展了微积分的重要事实与 定理。以下是这方面的一些例子： 1。变量。“依次取许多互不相同的值的量叫做变量”。 2。函数。“当变量之间这样联系起来的时候，即给定了这些变量中的一个值，就可以决定所有其他变量的值的时候，人们通常想象这些量是用其中的一个来表达的，这时这个量就 取名为自变量，而由这些自变量表示的其他量就叫做这个自变量的函数”。按照这个定义， 不仅无穷级数可以规定一个函数，而且也突破了函数必须有解析表达式的要求。 3。极限。“当同一变量逐次所取的值无限趋向于一个固定的值，最终使它的值与该定值的差要多小就多小，那么最后这个定值就称为所有其他值的极限”。 4。无限小量。“当同一变量逐次所取的绝对值无限减小，以至比任意给定的数还要小， 这个变量就是所谓的无限小或无限小量”。柯西的无限小不再是一个无限小的固定数。 5。连续函数。柯西第一次解决了函数连续性的定义问题。按他的定义，函数 f ( x ) 在 给定限之间关于 x 保持连续，如果在这两限之间变量的每个无限小增量总产生函数 f ( x ) 本 身的一个无限小增量。以往欧拉所说的“连续”是指光滑（即可微）函数，而在18 世纪后期关于弦振动所引起的争论中，数学家们则把“连续性”理解为函数具有一致的解析表达式。 6。导数与微分。柯西把导数明确定义为差商 ? y ? f ( x ? h ) ? f ( x ) , ? x ? h ? x h 当 h 无限地趋向于零的极限，函数的微分则定义为 dy ? f ( x ) dx 。以往常常是先取某种形 式的微分作为基本概念，而把 y ? f ( x ) 的导数作为表达式dy ? f ( x ) dx 的“微分系数”而 引入。 7。积分。柯西首先指出，在研究积分或原函数的各种性质以前，应先证明它们是存在 的。也就是说需要首先对一大类函数给出积分的一般定义。设函数f ( x ) 在给定区间?x 0 , x ? 上连续，并用点 x 0 , x , , x 1 n ? x 把区间?x 0 , x ?划分为n 个子区间，对应于每个这样的划分， 构造近似和： nS ? ? n i ?1  f ( x  i ?1  )( x i  x ) i ?1 柯西证明这个和数当区间长x i x i ?1 趋向于零时的极限与划分的方式无关，并把这个极限定 义为 f ( x ) 在区间?x 0 , x ?上的积分? x x f ( x ) dx 。这个定义后来被黎曼直接推广，将每个区间 端点 x  i ? 1  用区间内任一点 x i 0 来代替，就得到现在所说的黎曼积分。 在以上一系列定义的基础上，柯西得以严格地表述并证明微积分基本定理，中值定理等 一系列重要定理，如微积分基本定理被表述为：在区间?x 0 , x ?上给定连续函数 f ( x ) ，对于 x ? ?x , x ?，由 0  F? ( x ) ? ? x x 0  f ( x ) dx 定义的新函数 F? ( x ) 就是 f ( x ) 的原函数或反导数，即在?x , x ?上有 0 F? ( x ) ? f ( x ) 柯西还对无穷级数进行了严格化处理，明确定义了级数的收敛性，并研究了判别级数收敛的条件。令 ?S ? u ? u ? u ? ? u ? n 0 1 2 n ?1 是所研究的无穷级数前 n 项的和， n 为自然数，若当 n 趋向于无限大时，和 S n 某一极限S ，柯西就说级数是收敛的。 无限趋近于 柯西的工作向分析的全面严格化迈出了关键的一步。我们看到，他的许多定义和论述已经相当接近于微积分的现代形式，像上面所举的微积分基本定理，几乎与今天的微积分教科书完全一样（区别仅在于现代教科书中为了区别积分号下的哑变量与上限变量，往往将 f ( x ) dx 换做 f ( t ) d t ）。柯西的研究结果一开