从一致性不等式到一致性不等式微积分学的初等化.docxVIP

从一致性不等式到一致性不等式微积分学的初等化 这项工作严格解释了函数学的可能性，即不引入限制概念，并用初等数学方法解释了函数学的可能性。 从牛顿-莱布尼兹时代算起,微积分学已有300多年的历史.这段精彩的历史可见文献.150年来,大学数学教材里一直是按照那时形成的理论讲授微积分的基础内容. 微积分的严格化基于所谓ε-δ语言的极限概念的引进.而这样表述的极限概念对于初学者很难理解,已经成为学习高等数学之路上的一道关卡.如何使微积分入门教学变得容易,是国际数学教育领域的百年难题.文献中曾提出一种“非ε语言的极限概念”,用一种形式上更简易但逻辑上等价的极限概念表述方法来代替“ε-δ语言的极限概念”,以克服微积分入门教学的难点.目前已有3种教材采用了文献中的方法,并在教学实践中取得很好的效果.但是,文献中仅仅是对极限概念给出一种新的表述方法,不是不用极限概念,是因为还没有实现微积分的初等化. 近年来,林群院士致力于微积分初等化的努力引人注目.他发现(文献第32页),采用“一致微商”的定义可以大大简化微积分基本定理的论证.2005年11月在上海的一次全国性教学研讨会上,林群院士进一步阐述了微积分初等化的思想.2006年5月12日～14日在西安举行的“中国高等教育学会教育数学专业委员会学术研讨会”上,他又作了题为“新版微积分”的大会报告,在报告中明确提出了作为函数导数初等定义的“一致性不等式”,为微积分的初等化指出了一条新路,其详细的推导论证参见文献. 本文以林群院士提出的“一致性不等式”为出发点,结合文献中的思路,用与文献不同的方式实现了微积分的初等化. 1 [a,b]-[a,b]-[a,b]生长 林群院士在文献中建议,不采用基于极限概念的点态导数定义,而在区间上用一个不等式定义导数: 定义1设函数F在[a,b]上有定义.如果有一个在[a,b]上有定义的函数f和正数M, 使得对[a,b]上任意的x和x+h,有下列不等式 |(F(x+h)-F(x))-f(x)h|≤Mh2(1) 成立,则称F在[a,b]上强可导,并且称f(x)是F(x)的导数,记作F′(x)=f(x). 不等式(1)就是林群院士建议的“一致性不等式”.显然,它可以写成以下的等价式: F(x+h)-F(x)=f(x)h+M(x,h)h2, (2) 其中,M(x,h)是一个在区域{(x,h):x∈[a,b],x+h∈[a,b]}上有界的函数.后面将视方便而使用(1)或(2)式. 容易看出,若F在[a,b]上强可导,则它在任一点x∈[a,b]处可导;反过来则不成立.由于初等函数在任意不含奇异点的闭区间上都是强可导的,所以对理工领域中的实际应用而言,研究强可导函数类已经足够. 如果要考虑更广泛的一类函数的导数的初等定义,可使用以下定义2: 定义2设函数F在[a,b]上有定义.如果有一个在[a,b]上有定义的函数f和正数M, 和一个在(0,b-a]上正值递减无界的函数D(x),使得对[a,b]上任意的x和x+h,有下列不等式 |D(|h|)(F(x+h)-F(x)-f(x)h)|≤M|h| (3) 成立,则称F在[a,b]上一致可导,并且称f(x)是F(x)的导数, 记作F′(x)=f(x). 在定义2中取D(x)=1/x,则(3)就是(1);可见强可导蕴含一致可导,且导数相同.反过来显然不成立.例如,函数y=x4/3在任意闭区间上是一致可导的,但在包含x=0的闭区间上不是强可导的. 不等式(3)可以看成是一致不等式的推广,它也可以写成以下的等价式: D(|h|)(F(x+h)-F(x)-f(x)h)=M(x,h)h, (4) 其中,M(x,h)是一个在区域{(x,h):x∈[a,b],x+h∈[a,b]}上有界的函数. 在(3)和(4)中,函数D(h)在h=0时没有意义,这对于有些推导会不方便.用等价的另一种表达方式叙述定义2,有时可能更方便一些. 定义3设函数F在[a,b]上有定义.如果有一个在[a,b]上有定义的函数f和正数M, 和一个在[0,b-a]上递增的非负函数d(x), 1/d(x)在(0,b-a]上无界,使得对[a,b]上任意的x和x+h,有下列不等式 |(F(x+h)-F(x))-f(x)h|≤M|hd(|h|)| (5) 成立,则称F在[a,b]上一致可导,并且称f(x)是F(x)的导数, 记作F′(x)=f(x). 容易看出,定义3和定义1的差别,仅仅是把右端的h2换成了|hd(|h|)|.这里d(h)其实就是定义2中的D(h)的倒数,并扩充了定义d(0)=0而已.今后,把[0,b-a]上递增的非负函数d(x), 1/d(x)在(0,b-a]上无界者,简称为关于[a,b]的判别函数,或更简单的就叫做d函数.类似