定积分的公理化定义方法.pdfVIP

第 6卷 　第 6期 ( ) 广州大学学报 自然科学版 Vo l. 6　No. 6 　2007年 　12 月 　 ( ) Journal of Guangzhou U n iversity N atu ral Science Edition D ec. 　2007 文章编号 : 167 14229 (2007) 定积分的公理化定义方法 张景中 ( 1. 广州大学 教育软件研究所 ,广东 广州 　510006; 2. 中国科学院成都计算机应用研究所 , 四川 成都 　6 1004 1) 摘 　要 : 提出了定积分的一个不依赖极限概念的新的定义. 新的定义比黎曼积分的定义更为简单并且更容易 掌握. 基于这个新的定义 ,证明了连续函数定积分的唯一性和微积分基本定理. 关键词 : 定积分 ; 公理化方法 ; 微积分学 中图分类号 : O 24　　　文献标识码 : A ( ) ( ) 　　从牛顿 莱布尼兹时代算起 ,微积分学已有 300 多年的 题, 是 “导数正 负 则函数增 减 ”. 在传统的微积分教程 历史. 牛顿和莱布尼兹的微积分是不严格的. 直到 19 世 中, 这个看来很简单的命题证明起来相当曲折麻烦 :先建 纪 50年代 ,经过波尔察诺 、柯西 、魏尔斯特拉斯 、戴德金和 立实数理论, 引进连续函数的概念, 证明连续函数在闭区 康托尔等人的相继工作 ,才建立了微积分的严密的数学理 间上取到最大值; 另一方面建立极限理论, 用极限定义导 论. 这段精彩的历史可见文献 [ 1 ]. 150 年来 ,大学数学教 数, 用连续函数在闭区间上取到最大值的性质证明罗尔定 材里一直是按照那时形成的理论讲授微积分的基础内容 , 理, 再导出拉格朗日中值定理, 最后用中值定理推出导数 直到今天. 正负与函数增减的关系. 推理过程如此迂回, 以至于非数 ε δ 微积分的严格化基于所谓 - 语言的极限概念的引 学专业的高等数学的课程中, 只要求学生知道导数正负与 进. 而这样表述的极限概念对于初学者很难理解, 已经成 函数增减的关系, 不要求真正明白其中的道理了. 为学习高等数学之路上的一道关卡. 许多理工科学生, 由 在初等化的微积分教学体系中, 不需要实数理论和极 ε δ 于没有掌握 - 语言的极限概念, 始终不能理解他们所 限理论的预备, 只要开门见山地用一个初等的不等式定义 用的许多公式的来龙去脉, 无可奈何地安于知其然而不知 ( ) 导数, 接着就可 以根据定义证 明 “导数正 负 则函数增 其所以然的境地. 如何使微积分入门教学变得容易, 是国 ( ) 减 ”这个基本命题. 原来两个星期还讲不清楚的道理, 际数学教育领域的百年难题. 现在一节课就给出了严谨而简捷的论证. ε 作者在文献 [ 2 ] 中曾提 出一种 “非 语