10 分析的严格化.pptVIP

10 分析的严格化 柯西与分析基础 分析的算术化 分析的扩展 10 分析的严格化 分析的基础是极限，而理解极限运算是困难的，其根本原因是涉及到无穷的概念.在日常生活中人们遇到的事物是有限的，因此要抽象出无穷的概念，甚至要抽象出利用无穷进行计算的运算法则，实在困难.但是，数学历来被认为是严谨的学科，人们通常认为由数学得出的结论是不容置疑问，现在数学家们却解释不清具有如此威力的微积分运算法则，实在是不可容忍的事. 10 分析的严格化 1784年，柏林科学院数学分部（主任是拉格朗日）设立一个奖项，寻求关于无穷问题的最佳解答.它的宣言如下： “…众所周知，高等几何（数学）经常使用无穷大和无穷小，然而古代的几何学家甚至分析学者煞费苦心地避开导致无穷的任何事物，一些当代著名分析学者则认为无穷量的术语是矛盾的. 因此，科学院期望得到一个解释，说明为什么从一个矛盾的假设出发却推出了那么多的正确理论，希望有一个确切清晰的描述，简而言之，一个真正的数学原理…” 10 分析的严格化 两年后即1786年，科学院共收到23篇应征论文，科学院认为问题没有得到满意的答案.奖项勉强给了瑞士数学家惠利尔.他的论文虽然没有新的建树，但他在论文中使用符号lim来表示极限，而此符号沿用至今，这种符号表示对于建立极限理论是重要的. 10 分析的严格化 经过长时间的努力，数学家们在严格化的基础上重建微积分在十九世纪初开始获得成效。 波尔察诺（Bolzano，1781—1848） 著《纯分析的证明》（1817），以证明连续函数中值定理为目的，其中包含了对函数连续性、导数等概念的合适定义，是19世纪分析严格化的先声，但知晓其工作的人很少。 真正对19世纪分析严格化有影响的先驱是柯西（Cauchy，1789—1851） 10 分析的严格化 10.1 柯西与分析基础 《分析教程》（1821） 《无限小计算教程概论》（1823） 它们以严格化为目标，对微积分的基本概念：变量、函数、极限、无限小量、连续函数、导数、微分、积分、收敛等给出了明确的定义。在这些定义的基础上，柯西较为严格地表述并证明微积分基本定理、中值定理等一系列重要定理。 柯西的工作向分析的严格化迈出了关键的一步，他的许多定义与论述己相当接近微积分的现代形式。 10 分析的严格化 10.2 分析的算术化 魏尔斯特拉斯 实数理论 集合论的诞生 10 分析的严格化 10.2 分析的算术化 柯西的工作在一定程度上澄清了微积分基础问题上长期存在的混乱，但柯西的理论也存在漏洞。 实际上，严格的微积分必须建立在实数理论的基础上。 将微积分建立在“纯粹算术”的基础上，这方面的努力在19世纪后半叶酿成著名的“分析算术化”运动，其运动主将是魏尔斯特拉斯（Weierstrass，1815—1897）。 10.2 分析的算术化 10.2.1 魏尔斯特拉斯 魏尔斯特拉斯认为实数赋予我们极限与连续等概念，从而成为分析的本源。要使分析严格化，首先要使实数系本身严格化。为此最可靠的方法是按照严密的推理将实数归结为有理数、整数，这样，分析的所有概念便可由整数系导出，从而使以往的漏洞和缺陷都能得以填补，这就是所谓“分析算术化”纲领。 魏尔斯特拉斯与其学生们为实现这一纲领作出了艰苦的努力并获得了很大成功。 算术化 1817年波尔查诺(捷, 1781-1848)定义了导数、连续 1821年柯西(法, 1789-1857)《分析教程》定义了极限、连续、导数 10.2.1 魏尔斯特拉斯 魏尔斯特拉斯关于分析严格化的贡献使他获得了“现代分析之父”的称号。这种严格化的突出表现是创造了一套 语言，用以重新定义了极限、连续、导数等分析基本概念，特别是通过引进一致收敛性而消除了微积分中不断出现的各种混乱。 可以说，数学分析达到今天所具有的严密形式，本质上应归功于魏尔斯特拉斯的工作。 10.2.1 魏尔斯特拉斯 希尔伯特（德，1862－1942年）：“魏尔斯特拉斯以其酷爱批判的精神和深遽的洞察力，为数学分析建立了坚实的基础。通过澄清极小、函数、导数等概念，他排除了微积分中仍在涌现的各种异议，扫清了关于无穷大和无穷小的各种混乱观念，决定性地克服了起源于无穷大和无穷小概念的困难．……今天分析达到这样和谐、可靠和完美的程度，……本质上应归功于魏尔斯特拉斯的科学活动。” 10.2 分析的算术化 10.2.2 实数理论