数学分析 （数学基础分支）

又称高级微积分，分析学中最古老、最基本的分支。一般指以微积分学和无穷级数一般理论为主要内容，并包括它们的理论基础（实数、函数和极限的基本理论）的一个较为完整的数学学科。它也是大学数学专业的一门基础课程。数学中的分析分支是专门研究实数与复数及其函数的数学分支。它的发展由微积分开始，并扩展到函数的连续性、可微分及可积分等各种特性。这些特性，有助我们应用在对物理世界的研究，研究及发现自然界的规律。


简介[url=]编辑[/url][url=] 语音[/url]
数学分析的主要内容是微积分学，微积分学的理论基础是极限理论，极限理论的理论基础是实数理论。微积分学是微分学(Differential Calculus)和积分学(Integral Calculus)的统称，英语简称Calculus，意为计算，这是因为早期微积分主要用于天文、力学、几何中的计算问题。后来人们也将微积分学称为分析学（Analysis)，或称无穷小分析，专指运用无穷小或无穷大等极限过程分析处理计算问题的学问。
早期的微积分，已经被数学家和天文学家用来解决了大量的实际问题，但是由于无法对无穷小概念作出令人信服的解释，在很长的一段时间内得不到发展，有很多数学家对这个理论持怀疑态度，柯西（Cauchy）和后来的魏尔斯特拉斯（weierstrass）完善了作为理论基础的极限理论，摆脱了“要多小有多小”、“无限趋向”等对模糊性的极限描述，使用精密的数学语言来描述极限的定义，使微积分逐渐演变为逻辑严密的数学基础学科，被称为“Mathematical Analysis”，中文译作“数学分析”。
实数系最重要的特征是连续性，有了实数的连续性，才能讨论极限，连续，微分和积分。正是在讨论函数的各种极限运算的合法性的过程中，人们逐渐建立起了严密的数学分析理论体系。

发展历史[url=]编辑[/url][url=] 语音[/url]

早期发展
阿基米德
在古希腊数学的早期，数学分析的结果是隐含给出的。比如，芝诺的两分法悖论就隐含了几何级数的和。再后来，古希腊数学家如欧多克索斯和阿基米德使数学分析变得更加明确，但还不是很正式。他们在使用穷竭法去计算区域和固体的面积和体积时，使用了极限和收敛的概念。在古印度数学的早期，12世纪的数学家婆什迦罗第二给出了导数的例子。

早期创立
数学分析的创立始于17世纪以牛顿（Newton，I.）和莱布尼茨（Leibniz，G.W）为代表的开创性工作，而完成于19世纪以柯西（Cauchy）和魏尔斯特拉斯（Weierstrass）为代表的奠基性工作。从牛顿开始就将微积分学及其有关内容称为分析。其后，微积分学领域不断扩大，但许多数学家还是沿用这一名称。时至今日，许多内容虽已从微积分学中分离出去，成了独立的学科，而人们仍以分析统称之。数学分析亦简称分析。

研究对象
牛顿
数学分析的研究对象是函数，它从局部和整体这两个方面研究函数的基本形态，从而形成微分学和积分学的基本内容。微分学研究变化率等函数的局部特征，导数和微分是它的主要概念，求导数的过程就是微分法。围绕着导数与微分的性质、计算和直接应用，形成微分学的主要内容。积分学则从总体上研究微小变化（尤其是非均匀变化）积累的总效果，其基本概念是原函数（反导数）和定积分，求积分的过程就是积分法。积分的性质、计算、推广与直接应用构成积分学的全部内容。牛顿和莱布尼茨对数学的杰出贡献就在于，他们在1670年左右，总结了求导数与求积分的一系列基本法则，发现了求导数与求积分是两种互逆的运算，并通过后来以他们的名字命名的著名公式— [1] 牛顿-莱布尼茨公式—反映了这种互逆关系，从而使本来各自独立发展的微分学和积分学结合而成一门新的学科—微积分学。又由于他们及一些后继学者（特别是欧拉（Euler））的贡献，使得本来仅为少数数学家所了解，只能相当艰难地处理一些个别具体问题的微分与积分方法，成为一种常人稍加训练即可掌握的近于机械的方法，打开了把它广泛应用于科学技术领域的大门，其影响所及，难以估量。因此，微积分的出现与发展被认为是人类文明史上划时代的事件之一。与积分相比，无穷级数也是微小量的叠加与积累，只不过取离散的形式（积分是连续的形式）。因此，在数学分析中，无穷级数与微积分从来都是密不可分和相辅相成的。在历史上，无穷级数的使用由来已久，但只在成为数学分析的一部分后，才得到真正的发展和广泛应用。

基本方法
欧拉
数学分析的基本方法是极限的方法，或者说是无穷小分析。洛比达（L’Hospital）于1696年在巴黎出版的世界上第一本微积分教科书，欧拉于1748年出版的两卷本沟通微积分与初等分析的书，书名中都出现过无穷小分析这个词。在微积分学发展的初期，这种新的方法显示出巨大的力量，因而得到大批重要的成果。许多与微积分有关的新的数学分支，如变分法、微分方程以至于微分几何和复变函数论，都在18—19世纪初发展起来。然而，初期的分析还是比较粗糙的，被新方法的力量鼓舞的数学家们经常不顾演绎的逻辑根据，使用着直观的猜测和自相矛盾的推理，以致在整个18世纪，对这种方法的合理性普遍存在着怀疑。这些怀疑在很大程度上是从当时经常使用的无穷小的含义与用法上引起的。随意使用与解释无穷小导致了混乱和神秘感。许多人参与了无穷小本质的论争，其中有些人，如拉格朗日（Lagrange），试图排除无穷小与极限，把微积分代数化。论争使函数与极限的概念逐渐明朗化。越来越多的的数学家认识到，必须把数学分析的概念与其在客观世界的原型以及人的直觉区分开来。
柯西
因而，从19世纪初开始了一个一个把分析算术化（使分析成为一种像算术那样的演绎系统）为特征的新的数学分析的批判改造时期。柯西于1821年出版的《分析教程》是分析严密化的一个标志。在这本书中，柯西建立了接近现代形式的极限，把无穷小定义为趋于零的变量，从而结束了百年的争论。在极限的基础上，柯西定义了函数的连续性、导数、连续函数的积分和级数的收敛性（后来知道，波尔查诺（Bolzano）同时也做过类似的工作）。进一步，狄利克雷于（Dirichlet）1837年提出了函数的严格定义，魏尔斯特拉斯引进了极限的ε-δ定义。基本上实现了分析的算术化，使分析从几何直观的局限中得到了“解放”，从而驱散了17—18世纪笼罩在微积分外面的神秘云雾。
继而在此基础上，黎曼（Riemann）于1854年和达布（Darboux）于1875年对有界函数建立了严密的积分理论，19世纪后半叶，戴德金（Dedekind）等人完成了严格的实数理论。至此，数学分析的理论和方法完全建立在牢固的基础之上，基本上形成了一个完整的体系，也为20世纪现代分析的发展铺平了道路。 [2]

相关联系[url=]编辑[/url][url=] 语音[/url]
微积分理论的产生离不开物理学，天文学，经济学，几何学等学科的发展，微积分理论从其产生之日起就显示了巨大的应用活力，所以在数学分析的教学中，应强化微积分与相邻学科之间的联系，强调应用背景，充实理论的应用性内容。数学分析的教学除体现本课程严格的逻辑体系外，也要反映现代数学的发展趋势，吸收和采用现代数学的思想观点与先进的处理方法，提高学生的数学修养。



数学·包含学科

14 逻辑与基础

▪ 1410:演绎逻辑学 ▪ 1420:证明论 ▪ 1430:递归论 ▪ 1440:模型论 ▪ 1450:公理集合论 ▪ 1460:数学基础 ▪ 1499:数理逻辑与数学基础其他学科

17 数论

▪ 1710:初等数论 ▪ 1720:解析数论 ▪ 1730:代数数论 ▪ 1740:超越数论 ▪ 1750:丢番图逼近 ▪ 1760:数的几何 ▪ 1770:概率数论 ▪ 1780:计算数论 ▪ 1799:数论其他学科

21 代数学

▪ 2110:线性代数 ▪ 2115:群论 ▪ 2120:域论 ▪ 2125:李群 ▪ 2130:李代数 ▪ 2135:Kac-Moody代数 ▪ 2140:环论 ▪ 2145:模论 ▪ 2150:格论 ▪ 2155:泛代数理论 ▪ 2160:范畴论 ▪ 2165:同调代数 ▪ 2170:代数K理论 ▪ 2175:微分代数 ▪ 2180:代数编码理论 ▪ 2199:代数学其他学科

27 几何学

▪ 2710:几何学基础 ▪ 2715:欧氏几何学 ▪ 2720:非欧几何学 ▪ 2725:球面几何学 ▪ 2730:向量和张量分析 ▪ 2735:仿射几何学 ▪ 2750:分数维几何 ▪ 2740:射影几何学 ▪ 2745:微分几何学 ▪ 2755:计算几何学 ▪ 2799:几何学其他学科

31 拓扑学

▪ 3110:点集拓扑学 ▪ 3115:代数拓扑学 ▪ 3120:同伦论 ▪ 3125:低维拓扑学 ▪ 3130:同调论 ▪ 3135:维数论 ▪ 3140:格上拓扑学 ▪ 3145:纤维丛论 ▪ 3150:几何拓扑学 ▪ 3155:奇点理论 ▪ 3160:微分拓扑学 ▪ 3199:拓扑学其他学科

34 数学分析

▪ 3410:微分学 ▪ 3420:积分学 ▪ 3430:级数论 ▪ 3499:数学分析其他学科

41 函数论

▪ 4110:实变函数论 ▪ 4120:单复变函数论 ▪ 4130:多复变函数论 ▪ 4140:函数逼近论 ▪ 4150:调和分析 ▪ 4160:复流形 ▪ 4170:特殊函数论 ▪ 4199:函数论其他学科

44 常微分方程

▪ 4410:定性理论 ▪ 4420:稳定性理论 ▪ 4430:解析理论 ▪ 4499:常微分方程其他学科

47 偏微分方程

▪ 4710:椭圆型偏微分方程 ▪ 4720:双曲型偏微分方程 ▪ 4730:抛物型偏微分方程 ▪ 4740:非线性偏微分方程 ▪ 4799:偏微分方程其他学科

51 动力系统

▪ 5110:微分动力系统 ▪ 5120:拓扑动力系统 ▪ 5130:复动力系统 ▪ 5199:动力系统其他学科

57 泛函分析

▪ 5710:线性算子理论 ▪ 5715:变分法 ▪ 5720:拓扑线性空间 ▪ 5725:希尔伯特空间 ▪ 5730:函数空间 ▪ 5735:巴拿赫空间 ▪ 5740:算子代数 ▪ 5745:测度与积分 ▪ 5750:广义函数论 ▪ 5755:非线性泛函分析 ▪ 5799:泛函分析其他学科

61 计算数学

▪ 6110:插值法与逼近论 ▪ 6120:常微分方程数值解 ▪ 6130:偏微分方程数值解 ▪ 6140:积分方程数值解 ▪ 6150:数值代数 ▪ 6160:连续问题离散化方法 ▪ 6170:随机数值实验 ▪ 6180:误差分析 ▪ 6199:计算数学其他学科

64 概率论

▪ 6410:几何概率 ▪ 6420:概率分布 ▪ 6430:极限理论 ▪ 6440:随机过程 ▪ 6450:马尔可夫过程 ▪ 6460:随机分析 ▪ 6470:鞅论 ▪ 6480:应用概率论 ▪ 6499:概率论其他学科

67 数理统计学

▪ 6710:抽样理论 ▪ 6715:假设检验 ▪ 6720:非参数统计 ▪ 6725:方差分析 ▪ 6730:相关回归分析 ▪ 6735:统计推断 ▪ 6740:贝叶斯统计 ▪ 6745:试验设计 ▪ 6750:多元分析 ▪ 6755:统计判决理论 ▪ 6760:时间序列分析 ▪ 6799:数理统计学其他学科

71 应用统计数学

▪ 7110:统计质量控制 ▪ 7120:可靠性数学 ▪ 7130:保险数学 ▪ 7140:统计模拟 ▪ 7199:应用统计数学其他学科

74 运筹学

▪ 7410:线性规划 ▪ 7415:非线性规划 ▪ 7420:动态规划 ▪ 7425:组合最优化 ▪ 7430:参数规划 ▪ 7435:整数规划 ▪ 7440:随机规划 ▪ 7445:排队论 ▪ 7450:对策论 ▪ 7460:决策论 ▪ 7455:库存论 ▪ 7465:搜索论 ▪ 7470:图论 ▪ 7475:统筹论 ▪ 7480:最优化 ▪ 7499:运筹学其他学科

其他二级学科

▪ 11:数学史 ▪ 24:代数几何学 ▪ 37:非标准分析 ▪ 54:积分方程 ▪ 77:组合数学 ▪ 81:离散数学 ▪ 84:模糊数学 ▪ 87:应用数学 ▪ 99:数学其他学科