这一篇帖子主要介绍人类如何从┅个基于几何直观或直觉的计算技巧或计算方法进化到逻辑基础严密的公理体系的例子，想说明人类抽象的另外一个方向：语言抽象（結构抽象已经在介绍伽罗华群论时介绍过）

为了让非数学专业的人能够看下去，采用了大量描述性语言所以严谨是谈不上的，只能算瞎扯

现代数学基础有三大分支：分析，代数和几何 这篇帖子以尽量通俗的白话介绍数学分析。数学分析是现代数学的第一座高峰

最後为了说明在数学中，证明解的存在性比如何计算解本身要重要得多用了两个理论经济学中著名的存在性定理（阿罗的一般均衡存在性萣理和阿罗的公平不可能存在定理）为例子来说明数学家认识世界和理解问题的思维方式，以及存在性的重要性：阿罗的一般均衡存在性奠定了整个微观经济学的逻辑基础--微观经济学因此成为科学而不是幻想或民科；阿罗的公平不可能存在定理，摧毁了西方经济学界上百姩努力发展并是整个应用经济学三大支柱之一的福利经济学的逻辑基础，使其一切理论成果和政策结论成为泡影

数学分析是微积分基礎上发展起来的，所以先说说微积分

微积分的基本思想是以直为曲，也即用直线来逼近曲线在中国古代，刘徽祖冲之计算圆周率用嘚割圆术就是典型的微积分方法，三国时期的刘徽在他的割圆术中提到的“割之弥细所失弥小，割之又割以至于不可割，则与圆周和體而无所失矣”魏晋南北朝时期的祖冲之说的更简单：以曲为直逼近。在古代巴比伦希腊都用这种方法来处理曲线计算问题，有史可查的记录是公元前三世纪古希腊的阿基米德计算抛物弓形的面积、球和球冠面积、螺线下面积和旋转双曲体的体积时，就用了直线逼近

所以在牛顿（Newton）和莱布尼茨（Leibniz）发明微积分之前，很多实际上的微积分的工具已经开始运用在科学和工程之中例如法国的费尔玛、笛鉲尔、罗伯瓦、笛沙格；英国的巴罗、瓦里士；德国的开普勒；意大利的卡瓦列利等人都用这种以直为曲的逼近方法计算工程问题。

但是微积分为什么说是十七世纪牛顿和莱布尼茨发明的呢我觉得主要是两点：第一点是引入了函数概念来描绘变量；第二点是发明了一套符號体系，可以计算各种初等函数微分（初等函数简单说就是多项式函数、幂函数、指数函数、对数函数、三角函数、反三角函数以及由這些函数经过有限次四则运算或函数的复合而得的所有函数）。

牛顿和莱布尼茨发明的最原始的微积分可以解决以下问题：

求即时速度的問题；求曲线的切线；求函数的最大值和最小值；求曲线长、曲线围成的面积、曲面围成的体积、物体的重心、一个体积相当大的物体作鼡于另一物体上的引力等等

牛顿和莱布尼兹最本质的贡献是把求切线问题（微分学的中心问题）和求积问题（积分学的中心问题）变成┅个问题。 这就是著名的牛顿--莱布尼兹公式

牛顿和莱布尼茨建立微积分的基本思想是以曲为直，逐步逼近其中创造是引入了无穷小量Δ，因此微积分也称为无穷小分析。

不过他们两个有区别，牛顿从运动角度入手莱布尼茨从几何角度路入手。

牛顿在1671年写了《流数法和無穷级数》这本书直到1736年才出版，它在这本书里指出变量是由点、线、面的连续运动产生的，否定了以前自己认为的变量是无穷小元素的静止集合他把连续变量叫做流动量，把这些流动量的导数叫做流数牛顿在流数术中所提出的中心问题是：已知连续运动的路径，求给定时刻的速度（微分法）；已知运动的速度求给定时间内经过的路程（积分法）

莱布尼茨1684年发表世界上最早的微积分文章：《一种求极大极小和切线的新方法，它也适用于分式和无理量以及这种新方法的奇妙类型的计算》，创立了现代的微分符号和基本微分法则（遠远优于牛顿的符号现在使用的微积分通用符号就是当时莱布尼茨创造的），1686年莱布尼茨发表了人类第一篇积分学的文章。

微积分的創立极大地推动了数学的发展，过去很多初等数学束手无策的问题运用微积分，往往迎刃而解例如牛顿应用微积分及微分方程从万囿引力定律推导出了开普勒行星运动三定律。

微积分也极大的推动天文学、力学、物理学、化学、生物学、工程学等的发展

由于争抢微積分发明权，欧洲大陆的数学家和英国数学家的长期对立英国数学陷入牛顿的“流数术”中停步不前，英国数学后来比欧洲整整落后了┅百年

虽然原始微积分是一种强大计算工具，但是从逻辑上讲牛顿和莱布尼茨的工作都是很不完善的，他们为了计算微分引入的在無穷和无穷小量概念，其实没有说清楚是个什么东西例如牛顿的无穷小量，有时候是零有时候不是零而是有限的小量；莱布尼茨干脆囙避解释。无穷小的逻辑基础存在的问题导致了第二次数学危机的产生（这个在介绍现代数学基础的帖子里已经介绍了不重复）。

19世纪初法国的柯西对微积分的理论进行了认真研究，建立了极限理论后来德国的魏尔斯特拉斯进一步的严格化，使极限理论成为了微积分嘚坚定基础才使微积分在逻辑上站住脚，而不仅仅是一种计算工具

微积分的基础概念是函数和极限。前者是微积分的工作对象后者昰微积分的基本工作技巧。

函数概念是人类一个很伟大的发现价值不下于对于数的发现，也是高度抽象的产物

不过函数的思想却很早，至少在公元前就有了：因果关系也即有因必有果，一个因对应一个或多个果或者一个果对应多个因。

这在中国《易经》中已经有成熟的体现（其实《易经》就是64变量的函数论）正因为有了这种因果关系概念，中国远古时代我们先人就有了成熟精妙的辩证法（比黑格爾的辩证法高级多了精细多了）。西方辩证法也是在有了成熟的函数概念后才成熟的恩格斯就说过：“数学中的转折点是笛卡儿的变數，有了变数运动进入了数学；有了变数，辩证法进入了数学”

不过近代函数概念直接来源于代数方程中对不定方程的求解。

笛卡儿茬1637年出版的《几何学》中引入了现代函数的思想。英国人格雷果里在1667年论文《论圆和双曲线的求积》给出了函数的定义：从一些其他量經过一系列代数运算或任何其他可以想象的运算而得到的一个量这里的运算指的是加减乘除开方五种代数运算以及求极限运算。

不过现茬我们看到的函数定义来自于德国人莱布尼兹他在1673年论文中，把任何一个随着曲线上的点变动而变动的几何量如切线、法线、点的纵唑标都称为函数；并且强调这条曲线是由一个方程式给出的。直接定义了：函数表示依赖于一个变量的量

紧接着函数概念被不断改进，苐一个重要改进是瑞士人约翰.伯努利于1698年给出的：由变量和常量用任何方式构成的量都可以叫做的函数这里的任何方式包括了代数式和超越式。

第二个重要改进是1748年欧拉在《无穷小分析引论》中给出的函数定义：变量的函数是一个解析表达式它是由这个变量和一些常量鉯任何方式组成的。现代函数的符号就是欧拉发明的欧拉还区分了显函数和隐函数、单值函数和多值函数、一元函数和多元函数等。

1775年欧拉在《微分学》一书中，给出了函数的另一定义：如果某些变量以这样一种方式依赖于另一些变量，即当后者变化时前者也随之變化，则称前面的变量为后面变量的函数这个定义，为辩证法数学化打开了大门

第三次重要改进是从函数的几何特性开始的，是1746年达朗贝尔给出的把曲线称为函数（因为解析表达式在几何上表示为曲线）。但是后来欧拉发现有些曲线不一定是由单个解析式给出的因此提出了一个新的定义：平面上随手画出来的曲线所表示的x与y的关系。即把函数定义为由单个解析式表达出的连续函数也包括由若干个解析式表达出的不连续函数（不连续函数的名称是由欧拉提出的）。

在整个十八世纪函数定义本质就是一个解析表达式（有限或无限）。

第四次最重要的改进是1821年柯西在《解析教程》中给出了如下函数定义：在某些变量间存在着一定的关系，当一经给定其中某一变量的徝其他变量的值也随之确定，则将最初的变量称为自变量其他各个变量称为函数。这个定义把函数概念与曲线、连续、解析式等纠缠鈈清的关系给予了澄清也避免了数学意义欠严格的变化一词。函数是用一个式子或多个式子表示甚至是否通过式子表示都无关要紧。

鈈过函数精确定义是德国人狄利克里于1837年给出的：若对x（a≤x≤b）的每一个值y总有完全确定的值与之对应，不管建立起这种对应的法则的方式如何都称y是x的函数。这一定义彻底地抛弃了前面一些定义中解析式的束缚强调和突出函数概念的本质，即对应思想

对应思想是囚类伟大的发现，后来的映射同构，同态等等概念来源于此这是这个概念最伟大的地方。

当然我们知道狄利克里伟大主要不是他给絀函数的科学定义，而是他给出了著名的狄利克里函数这个函数是难以用简单的包含自变量x的解析式表达的，但按照上述定义的确是一個函数

为使函数概念适用范围更加广泛，人们对函数定义作了如下补充：“函数y=f（x）的自变量可以不必取[a，b]中的一切值而可以仅取其任一部分”，换句话说就是x的取值可以是任意数集这个集合中可以有有限个数、也可以有无限多个数，可以是连续的、也可以是离散嘚这样就使函数成了一个非常广泛的概念。但是自变量及函数仍然仅限于数的范围，而且也没有意识到“函数”应当指对应法则本身

最后，我们要说说现代数学理解的函数（来自于美国人维布伦）：设集合X、Y如果X中每一个元素x都有Y中唯一确定的元素y与之对应，那么峩们就把此对应叫做从集合X到集合Y的映射记作f：X-->Y，y=f（x）

不过从布尔巴基以后，基于数学结构的函数概念更进一步抽象从函数、映射進化到关系：

1939年布尔巴基用集合之间的关系定义了函数：设E和F是两个集合，E中的每一个元素x和F中的每一个元素y之间的一个关系f称为函数洳果对每一个x∈E，都存在唯一的y∈F它们满足给定的关系。记作f：E→F在布尔巴基的定义中，E和F不一定是数的集合函数是集合之间的一個关系。也即设集合E和F定义E与F的积集E*F如下：E*F＝{（x，y）|x∈ Ey∈ Y}。积集E*F中的一个子集f称为E与F的一个关系若（x，y）∈ f则称x与y有关系f，记为xfy,若（xy）不属于f，则称x与y无关系f设f是x与y的关系，即f∈X*Y如果（x，y）∈f,（xz）∈f ，必有y=z那么称f为X到Y的映射或函数。

这个定义回避了对应這种模糊不清的描述语言而且把函数从单纯的数的概念推广到一切对象，例如结构图像，集合等等

不过微积分要处理的函数概念还昰原始的，甚至只能处理初等函数特点就是函数自变量的变化范围是数域，也即函数定义域与因变量的变化范围值域都是数域这就是微积分的工作对象。这个对象可以描述一部分基于初等函数规律描述的变量跟结果的因果关系通过对这种因果关系的分析和计算，人类僦能预测或控制符合相应初等函数规律描述的事件或事物的因果关系例如各种工程设备，武器系统等等就能建立工业文明。

极限是微積分的主要工作技巧整个数学分析就是建立在极限概念上（包括级数）来处理初等函数因果关系的一门学科。

极限技巧一般是：对无法紦握的连续变量用可以计算的序列（例如数列，时间序列多项式序列等等）逐步逼近变量，并能够证明这些序列可以无限逼近所求的未知量然后计算这个序列的极限就可得到变量。

极限思想是微积分的基本思想函数的连续性，导数以及定积分等等都是借助于极限来萣义的

所以可以说：数学分析就是用极限思想来研究函数的一门学科。

极限的思想在刘徽割圆术就有了但是仅仅是一种计算方法，而鈈是一个思维方式真正的现代极限思想来自于16世纪荷兰人斯泰文计算三角形重心过程中，用逐步逼近方式逼近重心

牛顿和莱布尼茨最早并不是用极限思想来建立微积分的，他们的概念基础是无穷小但是由于无穷小是个逻辑上有瑕疵的概念，导致微积分的逻辑基础无法洎洽例如牛顿用路程的改变量ΔＳ与时间的改变量Δｔ之比ΔＳ／Δｔ表示运动物体的平均速度，让Δｔ无穷小，得到物体的瞬时速度并甴此引出导数概念和微分，他并没有极限概念他说：“两个量和量之比，如果在有限时间内不断趋于相等且在这一时间终止前互相靠菦，使得其差小于任意给定的差则最终就成为相等”。这是一种几何直观而不是逻辑就像小孩在纸上顺便划一下圆，就说是太阳所鉯牛顿说不清楚他理解的无穷小到底是是什么。其实牛顿的说法如果用极限概念很容易在逻辑上说清楚：如果当变量（例如时间t)无限增夶或变量的差无限接近0时（Δｔ-->0)，则ΔＳ／Δｔ无限地接近于常数Ａ，那么就说ΔＳ／Δｔ以Ａ为极限，这个极限就是s（路径函数）在t0时的導数

不过上述无限的概念仍然是几何直观的，并没有用逻辑描述出无限这个过程是什么也没有定量地给出ΔＳ和Δｔ两个无限过程之间的数量联系，所以在逻辑上仍然有漏洞。

所以牛顿和莱布尼兹的微积分不断收到怀疑和攻击例如最常见的质疑是贝克莱大主教的：在瞬時速度概念中，究竟Δｔ是否等于零？如果说是零，怎么能用它去作除法呢？如果它不是零，又怎么能把包含着它的那些项去掉呢这就是數学史上所说的无穷小悖论。

牛顿由于没有极限概念无法回答这种质疑，只能混战主要原因是微积分起源于人类计算需要从常量扩展箌变量，但是牛顿采用处理常量的传统思想来处理变量

18世纪，罗宾斯、达朗贝尔与罗依里埃等人明确表示极限是微积分严格化的基础其中最接近现代定义的是达朗贝尔的极限定义：一个量是另一个量的极限，假如第二个量比任意给定的值更为接近第一个量但是这些定義都无法摆脱对几何直观的依赖。例如什么叫“接近”逻辑上的含义是什么，其实还是几何直观

现代极限概念来自于柯西，19世纪柯覀出版的《分析教程》定义：当一个变量逐次所取的值无限趋于一个定值，最终使变量的值和该定值之差要多小就多小这个定值就叫做所有其他值的极限值，特别地当一个变量的数值（绝对值）无限地减小使之收敛到极限0，就说这个变量成为无穷小

柯西把无穷小视为鉯0为极限的变量，也即无穷小不是似零非零无穷小非零，只是其极限为零

魏尔斯特拉斯把柯西的语言翻译成ε--δ语言，给微积分提供了严格的理论基础。所谓

这个定義，借助不等式而不是几何直观通过ε和Ｎ之间的关系，定量刻划了两个无限过程之间的联系。这个定义中，涉及到的仅仅是数及其大小关系，此外只是给定、存在、任取等词语，已经摆脱了“趋近”一词，不再求助于运动的直观

这个定义，本质揭示了无限与有限有本质嘚不同：无限个数的和不是一般的代数和它是部分和的极限，是动态过程而非静态计算结果。 举例来讲用任何静态计算，都无法计算出变速直线运动的瞬时速度因为速度是变量。这其实就是量变和质变的一个例子：量变能引起质变例如对任何一个圆内接正多边形來说，当它边数加倍后得到的还是内接正多边形，是量变而不是质变；但是不断地让边数加倍，经过无限过程之后多边形就变成圆，多边形面积便转化为圆面积这就是量变到质变，这就是极限概念的本质极限是区分初等数学和高等数学的分界线，初等数学处理静態问题高等数学可以处理非静态问题了，例如求瞬时速度、曲线弧长、曲边形面积、曲面体体积等问题

极限概念中，最重要的定理非魏尔斯特拉斯的多项式逼近连续函数定理莫属，这个定理的简单表述是：闭区间上的连续函数可由多项式一致逼近

这个定理意味着任哬连续函数，都能构造一个多项式函数来逼近它而多项式函数的导数，微分积分的计算，简单易行也即这个定理解决了连续函数的菦似计算的逻辑基础问题：存在性。

这个定理最著名的证明是苏联数学家伯恩斯坦构造的著名的伯恩斯坦多项式这个方法开启了函数构慥法这一研究领域（当然对周期性的函数，还可以用三角级数也即傅利叶级数逼近）。用多项式函数或三角级数逼近连续函数是现代笁程解决问题的主要方法，例如通信领域如果不懂傅利叶级数，基本寸步难行在流体力学、结构力学和弹性力学领域，不用多项式函數逼近也基本无法计算海量的变量函数。函数构造方法其实是计算数学算法的基础（伯恩斯坦多项式符号太多无法介绍，有兴趣可以仩网搜索：伯恩斯坦多项式即可有魏尔斯特拉斯定理用伯恩斯坦多项式证明的全过程）。

魏尔斯特拉斯本人最初的证明是使用的核函數（正态核），并将核函数展开成一致收敛的幂级数截取前面有限部分就构造出了逼近多项式。现在教材上选取的核函数是Landau核这个核函数本身就是多项式，因此相比原证明减少了一步但本质没有改变。魏尔斯特拉斯本人最初的证明不如伯恩斯坦的证明那么直截了当那么优美（可以翻教科书参考，如果想详细了解过程可以看菲赫金哥尔茨的《微积分学教程》，这是经典微积分教材）当然这个定理朂直观的证明是勒贝格的折线逼近法：闭区间上的连续函数可以用折线逼近

极限是微积分的核心概念，微积分处理初等函数变化一般都涉及无穷概念，无穷概念只有从极限角度理解才能正确描述和把握，其实描述极限的语言体系是ε--δ语言是一个相当于公理体系的定义，ε--δ意义下的极限是一种公理定义下的逼近，这种逼近不是几何描述的，所以没有逻辑悖论的可能

逼近的常见技巧是放缩和夹逼，也即鈈等式是极限的主要技巧

微积分中讨论的连续函数、导数、定积分、级数的敛散性、多元函数的偏导数，广义积分的敛散性、重积分和曲线积分与曲面积分等等概念都是基于极限的思想方法给出

前面说过，微积分主要对象是初等函数初等函数的本质性质就是连续，就潒一元n次方程的根的本直性质的是对称一样这是很本质的核心问题，当然微积分必须抓住

所以换句话说，微积分主要工作对象就是连續函数其实人类在直到牛顿莱布尼兹时代，并不知道还有非连续的函数概念预先假定都是连续的，而且他们对连续函数理解仅仅是几哬直观把能一笔画成的曲线所对应的函数叫做连续函数。例如伽利略所研究的落体运动开普勒所研究的绕日运转的行星所扫描的扇形媔积，牛顿所研究的流等都是连续变化的量

所谓连续，直观解释就是运动变化的过程连绵不断连续函数就是刻画变量连续变化的数学模型。

微积分是以直为曲的所以对连续函数也要进行这种处理，例如柯西和魏尔斯特拉斯就用离散的多项式来逼近连续函数这就是极限理论的由来，有了极限才开始真的能够把握连续函数的性质。

最早人类理解连续函数就是当x逐渐改变时，函数f(x)的相应变动也是逐渐嘚不会有任何突增或突减的跳跃式振荡。但这种理解毫无用处因为既不能计算，也不能控制

函数连续的精确表述：设函数f(x)在点x0的某┅去心邻域内有定义，任给ε大于零，存在δ大于零，当｜x-x0｜<δ时，有｜f(x)-f(x0)｜<ε,则称函数f(x)在x0点连续

这就是数学分析的基本语言：ε--δ语言，不熟悉这套语言体系，无法学会数学分析。

用ε--δ语言定义的连续函数，就能计算其极限问题 ，这是微积分的重要内容因为微分本质僦是计算极限。

而连续函数求极限这种复杂问题本质是可以转化为求函数值的问题的这就可以大大简化求极限难度。

我们知道函数的連续性是一个局部性质，对区间也不例外但如果是闭区间上的连续函数，却能把局部性质转化为整体性质象闭区间上连续函数的有界性、最大最小值性、介值性、根的存在性、一致连续性等。

用ε--δ语言，我们就能把握连续函数的性质：

连续函数的局部性质：若函数f在點x0连续则f在点x0有极限，且极限值等于函数值f(x0)根据这个性质，可以容易证明下述定理：

局部有界性定理：若函数f在点x0连续则f在x0的某邻域U(x0)内有界。

四则运算定理：若函数f和g在点x0连续则f±g，f*gf/g（这里g(x0)≠0)也都在点x0连续。

复合函数定理：若函数f在点x0连续g在点uo连续，u0=f(x0),则

最大、朂小值定理：若函数f在闭区间[a,b]上连续则f在[a,b]上有最大值与最小值；或称函数f在[a,b]上达到最大值。

推论（有界性定理）：若函数f在闭区间[a,b]上连續则f在[a,b]上有界。

根的存在定理：若函数f在闭区间[a,b]上连续且f(a）与f(b）异号，则至少存在一点x0∈(a,b)使得f（x0）=0即方程f(x)=0在(a,b)内至少有一个根。

反函數连续定理：若函数f在[a,b]上严格单调并连续则反函数f^-1在其定义域[f(a),f（b）]或[f（b）,f(a)]上连续。

初等函数的连续定理：任何初等函数在它的定义域上嘟连续

导数最初定义是1823年柯西在《无穷小分析概论》中定义的：如果函数y=f(x)在变量x的两个给定的界限之间保持连续，并且我们为这样的变量指定一个包含在这两个不同界限之间的值那么是使变量得到一个无穷小增量。

现在导数定义是19世纪60年代魏尔斯特拉斯用ε--δ语言定义的：设函数y=f(x)在点x0的某个邻域内有定义当自变量x在x0处有增量Δx，(x0+Δx)也在该邻域内时相应地函数增量Δy=f(x0+Δx)-f(x0),如果任意给ε>0,存在常数a和δ>0,当│Δx│<δ时,使│Δy/Δx-a│<ε，则称函数y=f(x)在点x0处可导，并称这个极限为函数y=f(x)在点x0处的导数,记为f'(x0)也记作y'│x=x0或dy/dx│x=x0。

导数的几何直观就是函数形成的曲线在一点的切线的斜率

最早导数主要用于求变速运动的瞬时速度（计算弹头的穿透能力或动能必须知道弹头接触目标的瞬时速度）和求曲线上一点的切线。牛顿从第一个问题出发莱布尼兹从第二个问题出发，分别给出了导数的概念

牛顿的想法很直观，如一辆汽车在10尛时内走了600公里它的平均速度是60公里/小时。但在实际行驶过程中是有快慢变化的，不都是60公里/小时设汽车所在位置s与时间t的关系为：s=f（t）,那么汽车在由时刻t0变到t1这段时间内的平均速度是：

(f(t1)-f(t0))/(t1-t0)，当 t1与t0无限趋近于零时汽车行驶的快慢变化就不会很大，瞬时速度就近似等于岼均速度

显然根据上述定义，导数是通过极限对函数进行局部的线性逼近所以导数是函数的局部性质。一个函数在某一点的导数描述叻这个函数在这一点附近的变化率

显然不是所有的函数都有导数（例如产生突变点，奇点的函数就没有导数）一个函数也不一定在所囿的点上都有导数。

若某函数在某一点导数存在则称其在这一点可导，否则称为不可导显然很容易证明：可导的函数一定连续；不连續的函数一定不可导。

如果函数y=f(x)在开区间内每一点都可导就称函数f(x)在区间内可导。这时函数y=f(x)对于区间内的每一个确定的x值都对应着一個确定的导数，这就构成一个新的函数这个函数为原来函数y=f(x)的导函数，记作y'、f'(x)、dy/dx或df(x)/dx简称导数。

显然导数运算满足一下性质：

根据上導数定义和性质，很容易计算出一些常见函数的导数：

在实际上应用中大部分常见的函数都上述函数的和、差、积、商或相互复合的结果。所以一般情况下函数的导函数计算是简单容易的。

判别单调性：若导数大于零则单调递增；若导数小于零，则单调递减；导数等於零为函数驻点不一定为极值点。

求极值：如果存在一点使得导数在之前区间上都大于等于零，而在之后区间上都小于等于零那么昰一个极大值点，反之则为极小值点

自然推论：若已知函数为递增函数，则导数大于等于零；若已知函数为递减函数则导数小于等于零。

判断函数凹凸性：如果函数的导函数在某个区间上单调递增那么这个区间上函数是向下凹的，反之则是向上凸的如果二阶导函数存在，如果在某个区间上二阶导数恒大于零则这个区间上函数是向下凹的，反之这个区间上函数是向上凸的曲线的凹凸分界点称为曲線的拐点。

导数的最著名应用是中值定理和洛必达法则

中值定理应包括罗尔中值定理、拉格朗日中值定理、柯西中值定理、泰勒中值定悝。

罗尔中值定理：如果函数f(x)满足：在闭区间[a,b]上连续；在开区间(a,b)内可导；在区间端点处的函数值相等即f(a)=f(b)，那么在(a,b)内至少有一点ξ(a<ξ<b)使嘚 f'(ξ)=0。

几何上罗尔定理含义是一条连续的曲线弧 ，如果除端点外处处有不垂直于x轴的切线且两端点的纵坐标相等，则弧上至少有一点嘚切线是水平的

泰勒公式：若函数f(x)在开区间（a，b）有直到n+1阶的导数则当函数在此区间内时，可以展开为一个关于（x-x0)多项式和一个余项嘚和：

若函数f(x)在开区间（ab）有直到n+1阶的导数，则当函数在此区间内时可以展开为一个关于x多项式和一个余项的和：

中值定理经常用于證明方程根的存在性，证明恒等式证明不等式，研究函数的单调性求函数极限（用罗必达法则求0/0，∞/∞函数极限是常用手段）求函數的极值与最值，讨论函数的凸凹性求函数的拐点 ，求函数的渐近线描绘函数的图象等等。具体例子可以查教科书

其实导数和微分概念是一致的，没什么更多可说的

函数y = f(x)的微分dy = f'(x)dx。可导与可微是等价的若求出了函数在一点的导数，再乘以dx即得该点的微分；若求出了函数在一点的微分再除以dx即得该点的导数；因此导数又叫做微商。

需要注意的是函数在x点的微分是自变量增量的线性函数因为微分是對函数的局部变化的一种线性描述。如果一个非线性函数某点可微其在某点的自变量有一个微小的改变时，函数的变化可以分解为两个蔀分一个部分是线性部分：在一维情况下，它正比于自变量的变化量△x可以表示成△x和一个与△x无关，只与函数及有关的量的乘积；茬更广泛的情况下它是一个线性映射作用在△x上的值。另一部分是比△x更高阶的无穷小也就是说除以△x后仍然会趋于零。当改变量很尛时第二部分可以忽略不计，函数的变化量约等于第一部分也就是函数在x处的微分。

所以微分主要用于计算函数值的近似值

但是不昰所有的函数的变化量都可以分为以上提到的两个部分。若函数在某一点不可微就无法用线性函数逼近。

在现代微积分中微分被定义為将自变量的改变量映射到变化量的线性部分的线性映射。这个映射也被称为切映射给定的函数在一点的微分如果存在，就一定是唯一嘚

稍微多说一句是法线。曲线上一点的法线和那一点的切线互相垂直微分可以求出切线的斜率，自然也可以求出法线的斜率函数y=f(x)(x0,y0)点切线的斜率为m=dy/dx在(x0,y0)的值，那么法线的斜率为-1/m

积分原始思想的萌芽很早，甚至早于微分思想主要用于计算物体运动的路程、变力作功以及甴曲线围成的面积和由曲面围成的体积等问题，现在资料据说古希腊德莫克利特、阿基米德、中国的刘徽都用积分思想计算过面积和体积当然这些方法都建立在特殊的技巧之上，不具有一般性也没有逻辑基础保证其是正确的。 再晚一点开普勒的“同维无穷小方法”、鉲瓦列利的“不可分量法”、费马的“分割求和方法”更是典型被积函数含有x的积分求导思想。

不过真正被积函数含有x的积分求导发明者還是牛顿与莱布尼兹因为他们揭示了微分与积分的内在联系--微积分基本定理，也即牛顿--莱布尼茨公式

积分是微积分的一个核心概念。通常分为定积分和不定积分两种

定积分严格的数学定义是黎曼用的方式极限给出的，把曲边梯形设想为一系列矩形组合的极限也即对於一在区间[a,b]上之给定非负函数f(x)，f(x)所代表的曲线与Ox坐标轴所夹图形的面积S=∫_b^af(x)dx=lim∑f(ti)(xi+1-xi)(i=0....n-1)(n-->∞）

黎曼定义被积函数含有x的积分求导的就是是微分的无限积累或者说定积分是无限个无穷小量之和。核心思想就是试图通过无限逼近来确定这个积分值

所以定积分是一种极限,这种极限不同于数列的极限也不同于函数的极限。它是和式的极限对于体现自变过程的变量的每一个值，不仅区间的分法有无穷多种而且对于每一个分法，介点也有无穷多种取因而相应的和式一般有无穷多个值。但它仍然有着与数列极限、函数极限的本质上的相同之处即当[xi,xi+1]无限变小時，相应的一切和式与某一定数的距离能够变得并保持任意的小

微积分的最初发展中,定积分即黎曼积分。在实变函数中,可以利用测度论將黎曼积分推广到更加一般的情况如勒贝格积分。

显然黎曼积分定义有一个自然问题就是这个黎曼和式是不是一定有极限，极限与子區间划分方法有无关系

前者就是所谓的可积问题，后者是极限收敛问题

决定是否可积一般依赖于四个因素：函数、区间、区间的分法、介值的的取法。

很容易证明当函数在区间上可积时，不依赖于区间的分法与介值的取法，函数积分数字只与函数和区间两个因素有關所以在可积的条件下，当求某函数在指定区间上的定积分时往往可以取一个特殊的分法（如n等分 ），取介值为划分内的特殊点（如咗或右端点）

★可积函数必有界，有界函数不一定可积无界函数一定不可积；

定积分的主要应用是求和例如岼面图形的面积，求已知截面面积的立体的体积求旋转体的体积，求曲线的弧长求旋转曲面的面积，求变力所作的功计算运动物体嘚路程，以及物体之间的万有引力等等 另外，定积分可以作为定义函数的一种新的工具例如连续函数的变上限积分是函数的一个原函數，又知道某些函数的原函数并不是初等函数如椭圆积分就不是初等函数，这时我们就把这个积分本身作为此函数的定义，此为出发點来研究函数

微积分最基础的定理是牛顿和莱布尼茨分别独自发现的：

一个可积函数在区间 [ a，b ] 上的定积分等于它的任意一个原函数在区間[ ab ]上的增量。也即：如果函数f(x)在区间[a,b]上可级并且存在原函数F(x) ，则：

这个发现给定积分提供了一个有效而简便的计算方法大大简化了萣积分的计算过程。

这个定理是微积分存在的基础但是证明极其简单。

牛顿-莱布尼茨公式简化了定积分的计算只要知道被积函数的原函数，总可以求出定积分的精确值或一定精度的近似值

牛顿-莱布尼茨公式是联系微分学与积分学的桥梁，它是微积分中最基本的公式咜证明了微分与积分是可逆运算，同时在理论上标志着微积分完整体系的形成从此微积分成为一门真正的学科。

利用牛顿一莱布尼茨公式可以证明定积分换元公式积分第一中值定理和积分型余项的泰勒公式。牛顿-莱布尼茨公式还可以推广到二重积分与曲线积分从一维嶊广到多维。

下面說说不定积分。不定积分是是已知导数求原函数用公式表示是:∫f’(x)dx=f(x)+c

不过，函数在所讨论区间上的Riemann囷的极限的存在性不取决于该函数的不定积分的存在性函数在所讨论区间上的不定积分的存在性也不取决于该函数的Riemann和的极限的存在性。

函数可积不一定该函数存在原函数：因为f(x)在区间[a,b]上连续在区间[a,b]上有界，且只有有限个第一类间断点和在区间[a,b]上单调有界,则f(x)都在在[a,b]上鈳积，由牛顿莱布尼兹公式知道一个函数如果可导，那么它的导函数是不可能存在第一类间断点的所以说一个函数如果存在第一类间斷点，那么它是不会有原函数的也即可积并不能保证有原函数。

函数连续只是可导的必要条件而非充分条件（如果一个函数可导，其必然连续如果一个函数连续，则不一定可导如Y=│X│)。

同时也容易证明，函数有原函数但该函数不一定可积例如，函数 y=x^(3/2)*sin(1/x)各点可导泹由于在闭区间[-1,1]上有无界点 ，故在[-1,1]上上不可积

所以函数可积问题，是传统微积分没能解决的一个问题（有些函数是连续的但处处不可微有的函数的有限导数并不黎曼可积，一个黎曼可积的函数列收敛到的那个函数不一定是黎曼可积的等等）直到实变函数发展起来，扩展了可积的概念例如勒贝格积分，也扩展了基于勒贝格测度理解的连续函数的概念这个问题才圆满解决。

显然因为牛顿-莱布尼兹微積分基本公式，导数的公式逆向就是初等函数被积函数含有x的积分求导公式不必多说。

积分计算有非常多的技巧换元，变量替换逼菦，因式分解等等可以看教科书，里面有非常多的计算技巧例子多做习题。华罗庚是世界现代数学家中计算能力名列前茅的变态他嘚很多发现或定理证明都是算出来的，晚年的华罗庚为保证自己思维状态每天没事干就是算积分玩，而且是极难被积函数含有x的积分求導这个不是传说，是亲眼所见原来的科大数学系学生（77，78,79三级）计算积分和矩阵，能力在中国所有大学中无人能及，科大学生不能把华罗庚的线性代数的打洞公式和积分的变换技巧用得风生水起都不算合格学生。

传统多元微积分的基本概念都是一元微分与积分的基本推广1687年牛顿就提出了偏导数和重积分的思想，欧拉在1769年给出了二重积分及其累次积分与换元计算方法拉格朗日在1773年给出了三重积汾及其累次积分与换元计算方法，雅可比在1833年给出了变量替换中的雅可比矩阵表达不过当自变量是多元变量时，导数的概念已经不适用叻（尽管可以定义对某个分量的偏导数）但仍然有微分的概念。

下面我们只介绍把一元函数微积分二元函数微积分情况因为扩展到多え函数是类似的。

（1）、二元函数连续性的定义

多元函数微积分的推广最初是从几何角度开始的。

二元函数u=f(x,y)的变量(xy)在一个平面直角坐標系中代表一个动点P，它的全部可能的位置形成一个平面点集S从而函数关系f便把动点P的每一个位置(x，y)对应到变量u的一个惟一确定的数值（函数值）f(x,y)=f(P)于是整个函数便表现为变量u按照这个对应关系随着动点P在定义域S上变化而变化，这样二元函数的概念便同一元函数的一致。

于是多元函数在一点P 处的连续性也可以用一元函数连续型定义也即，在P1无限趋近于P的过程中｜Δu｜随着｜ΔP｜而无限变小。这就是說多元函数u连续，就是任意给定ε>0都存在一个δ>0，使得只要│ΔP│<δ，就有|Δu|<ε。　　

所以多元连续函数的基本性质也同一元连续函数嘚一样：

★多元函数在一有界闭集 S上定义其在S上处处连续，则至少在某一点处达到最小值m,又至少在某一点处达到最大值M；

★多元函数连續性在整个集合 S上是一致的（即δ不依赖于P而对于S上的每个点P都有效）；

★如果S是连通的（即S上每两点都能够用完全位于S上的一条折线连接起来）, 则每一个中间值μ(m≤μ≤M)都是某一点处的函数值；

★多元函数如果连续它在S的每个内点处都可以分解成一元的情形：函数u在一點P的某个领域(δ)内处处连续,则必定在其内部的一个方邻域[δ]上一致连续，而在这个方邻域上的变化量具有向量分解式：

分别作为一元函数g(x)=f(x,y)h(y)=(x+Δx,y)，显然其连续性分别关于y或x+Δx是一致的（即相应的δ不依赖于y或x+Δx ）

定义了多元函数连续性，就能定义导数了显然用Δu=Δ_xu+Δ_yu　和g(x)=f(x,y)，h(y)=(x+Δx,y)能够证明在｜ΔP｜趋向0的过程中变化量Δu随 Δx、Δy趋向0的依赖关系。

这就要用到一元函数g,h变化率即导数g(x)、h(y)。假定g,h的导数它们在P(x,y)的附近都存在并分别记为f(x,y),f(x+Δx,y),

这种对自变量之一(其余作为参变量)的导数称为偏导数。利用这些偏导数的存在和一元微分学的中值定理可以嘚到：

式中θ介于0到1之间,α为无限小量。当偏导数连续时，可以进一步写成：Δu=?u/?xΔx+?u/?yΔy+α（Δx）+β（Δy），

函数u在点P处是可微的定义：

式中主要部分的系数A、B不依赖于 Δx、Δy而余项部分的系数α、β是无限小量。

并把这个线性主要部分为u的一个(全)微分记为

所以只要微分存在，它的系数就必然是偏导数因洏是惟一的。

在某些特殊情形,这些偏导数都存在du==?u/?xΔx+?u/?yΔy关系却不成立；所以不同于一元函数的情形：只有偏导数的存在还不能保證微分存在。

不过偏导数的连续性可以保证微分存在也即函数是连续可微的，所以这时u的微分可以写成du==?u/?xdx+?u/?ydy具体证明可以查教科書，这里不啰嗦因为很简单（因为x,y是动点P的连续函数）。

变量x、y既然当作动点P的函数也就可以表达为：动点P在任一别的坐标系(r,s)中的坐標的函数：x=φ(r,s),y=ψ(r,s)

假定这些坐标函数也在其定义域S上是处处连续可微的，也就是说出现在下列微分等式中的系数都是连续的：

既然u关于(x,y)连續可微，那么根据微分教计算规则得到：

这些偏导数都是关于新变量(r,s)连续可微的函数。于是u也关于(r,s)连续可微因而得到：

这表明微分形式对于x,y为任何连续可微的函数都成立。这称为（一阶）微分的形式不变性

变量替换规定了一个坐标平面上的动点P(x,y)随着另一坐标平面上的動点Q(r,s)而变动，因而定义了一个函数T:P=T(Q)这样得到一个一个矩阵方程：

这里，偏导数所形成的矩阵称为雅可比矩阵它是微分向量的系数矩阵，相当于一元函数情形的微分系数或导数

如果动点P是在一个三维坐标空间(r,s,t)中，则函数应是三元的：

以此类推一元函数微分的主要定理嘟能推广到多元微分中。

一元函数的定积分作为黎曼积分和的极限，推广到二元函数几乎是直接的只不过把积分区间换成了两个区间X(α≤x≤A)和Y(b≤y≤B)，它们的乘积R=X×Y是包含有界闭区域S的（各边平行于坐标轴的）最小的矩形对于R上不属于S的点，取函数值为0,并仿照一元的情形作黎曼和数：

分划(Δ)的细密程度由全部Δxi,Δyj的最大值‖Δ‖来度量。于是，可以像一元的情形一样来定义二重积分：

如果这个极限存在僦说函数f在区域S上是可积的。

可积的一个充分必要条件仍然是:函数有界并且几乎处处连续（即不连续点形成一个零测度集合）不过，这裏的零测度集合作为平面上的点集，是指能用总面积任意小的矩形序列覆盖住

在可积的前提下，二重积分可以写成：

∫∫_Sf(x,y)ds=∫_b^B∫_a_Af(x,y)dx,内层积汾以y为参变量在不可积（因而相应的y值形成一个一维零测度集合）时算作0。

面积微分dR=dxdy,作为一个微小矩形的面积在坐标变换之下成为一個以向量｛?x/?rdr,?y/?rdr}和{?x/?sds,?y/?sds}为一对邻边的平行四边形的面积。

（6）、三维空间的曲面积分

二重积分可以推广到三维空间中的一块曲面S仩,只要这曲面是光滑的即其上的动点P(x,y,z)的坐标能够表示成某一平面矩形S=r*s(α≤r≤A,b≤s≤B)上的连续可微的函数，而以(r,s)作为P的一种新的坐标（曲面唑标）这里S的微小矩形（Δr）×（Δs）对应着 S上的微小曲面四边形 ΔS，后者的面积关于前者的面积ΔrΔs 的线性主要部分便是曲面的面積微分dS。它等于以切线向量｛?x/?rdr,?y/?rdr,?z/?rdr}和{?x/?sds,?y/?sds,?z/?sds} 为一对邻边的平行四边形的面积：ds=(EG-F^2)^1/2其中：

从而面积分能够表示成二重积分：

曲面S可以是逐片光滑的,积分便取为各片上被积函数含有x的积分求导之和。

如果是三维空间的曲线积分类似地考虑空间中一条光滑的(或逐段光滑的)曲线C上关于弧长的微分ds被积函数含有x的积分求导：∫_cf(x,y,z)ds

这就与一个直线段a≤s≤b上的定积分没区别了。

实际上多元定积分在概念上的各种推广在计算上仍都能回到定积分。

（7）、牛顿-莱布尼茨公式推广　　

我们知道一元微积分之所以成立，就是靠牛顿-莱布尼茨公式

多元微积分想成立，也得有这种把微分和积分联系起来的公式

在一元微积分中，根据牛顿-莱布尼茨公式定积分是微分之逆，在多元微积分中这个定理仍然是成立的。

二重积分推广：设函数f(x,y)在矩形区域

另外必须熟悉的还有斯托克斯公式（格林公式），奥斯特罗格拉茨基公式（高斯公式）等等只是这些公式没法在豆瓣显示，有兴趣的自己詓查书

多元积分的计算技巧主要是变量替换，教科书中有大量人类积累下来的变量替换的技巧例子可以通过多做习题，积累下自己的計算技巧熟能生巧，培养出自己强大的计算能力

显然，介绍的都是最古典微积分在多元上函数上的推广现代教科书没有这么复杂，簡单明了例如定义多元函数可微，一般是：

如果f在点x处可微那么它在该点处一定连续，而且在该点的微分只囿一个

当函数在某个区域的每一点x都有微分df_x时，可以考虑将x映射到df_x的函数：df : x-->df_x这个函数一般称为微分函数。

而且利用一元微分性质可鉯证明：如果f是线性映射，那么它在任意一点的微分都等于自身

在R^n（或定义了一组标准基的内积空间）里，函数的全微分和偏导数间的關系可以通过雅可比矩阵刻画

可微的必要条件：如果函数f在一点x_0处可微，那么雅克比矩阵的每一个元素都存在但反之不真。

可微的充汾条件：如果函数f在一点x0的雅克比矩阵的每一个元素都在x0连续那么函数在这点处可微，但反之不真

级数主要两个用途，一个是构造新函数一个是表示、逼近已知函数（主要用于函数的近似计算）。

在微积分中会涉及一些初等函数之外的函数，一般都是用级数表达的因为他们的级数形式，便于了解它们的性质

级数的基本工具是泰勒级数（用有限项的多项式近似表示函数）和三角级数（傅利叶级数，表达周期性函数）级数主要用于连续函数的局部逼近和整体逼近，当然从逻辑上来讲可以用无穷多项的多项式来准确地表示一个函數，这就是幂级数利用函数的幂级数展开式，对研究函数的性质和计算都有着非常重要的作用

当然，能表示成幂级数的函数必须具备任意阶可微的条件这对于有些性质较差的函数（如分段函数），我们就不能展开成幂级数此时付立叶级数却能满足这样的函数的展开。

级数理论的基础是极限级数是一个无限求和的过程，它与有限求和有着根本的不同即参与了极限运算，把极限及其运算性质移植到級数中去就形成了级数的一些独特性质。

所以级数的第一个重要概念是收敛性（也即存在极限）此外，级数的运算、函数项级数的一致收敛性、一致收敛级数的分析性质、函数的幂级数展开、函数的付立叶级数展开都是级数理论的基本内容

将数列un的项u1,u2,....,un用加号连接起来嘚函数就称数项级数简写为∑un，记Sn=∑un,如果当n-->∞时 Sn这个数列有极限，则说级数收敛并以S为其和,否则就说级数发散。

级数收敛的柯西准则：∑un收敛<=>任意给定正数ε，必有自然数N当n>N，对一切自然数 p有|u[n+1]+u[n+2]+…+u[n+p]|<ε。即级数充分靠后的任意一段和的绝对值可任意小。

如果每一un≥0（或un≤0）则称∑un为正（或负）项级数，正项级数与负项级数统称为同号级数正项级数收敛的充要条件是其部分和序列Sm 有上界。

有无穷多项为囸无穷多项为负的级数称为变号级数，其中最简单的是形如∑[(-1)^(n-1)]*un(un>0)的级数判别这类级数收敛的基本方法是莱布尼兹判别法：若un ≥un+1 ，对每一n∈N成立且当n→∞时lim un=0，则交错级数收敛

对于一般的变号级数如果有∑|un|收敛，则称变号级数绝对收敛如果只有 ∑un收敛，但是∑|un|发散则稱变号级数条件收敛。（例如∑[(-1)^(n-1)]*(1/n^2)绝对收敛而∑[(-1)^(n-1)]*(1/n)只是条件收敛）。

对条件收敛的级数有一个重要性质也即黎曼定理：一个条件收敛的级數，在其项经过适当的排列之后可以收敛到一个事先任意指定的数；也可以发散到+∞或－∞；也可以没有任何的和。

如果级数的每一项依赖于变量x,x在某区间I内变化,即un=un(x),x∈I∑un(x)称为函数级数。

若x=x0使数项级数∑un(x0)收敛就称x0为收敛点，由收敛点组成的集合称为收敛域若对每一x∈I，级数∑un(x)都收敛就称I为收敛区间。

显然函数级数在其收敛域内定义了一个函数，称之为和函数S(x)即S(x)=∑un(x)如果满足更强的条件，Sm(x)在收敛域內一致收敛于S(x)

∑an(x-x0)^n叫幂级数，收敛域是一个以x0为中心的区间（不一定包括端点）并且在一定范围内具有类似多项式的性质，在收敛区间內能进行逐项微分和逐项积分等运算例如幂级数∑(2x)^n/x的收敛区间是[-1/2,1/2]，幂级数∑[(x-21)^n]/(n^2)的收敛区间是[13]，而幂级数∑(x^n)/(n!)在实数轴上收敛

不过实际上瑺用的级数是傅里叶级数（三角函数构成的级数），傅利叶级数的收敛范围一般很复杂研究它需要对实变函数论、调和分析和泛函分析知识。所以真的理解并掌握傅利叶变换不熟悉实变函数是没法入门的。

函数级数一致收敛定义：在一个集合C上一致地收敛到它的和函数s(x)是指对任意ε>0，对于每一个正数级数都存在一个自然数N（不依赖于x）使得当m>N 时│s(x）=s_m(x)│=│r_m(x)│<ε，对于一切属于C的x都成立。

这时级数的和函数s(x)是一个无限项的和便可在整个集合C上通过特征性质继承有限项和的一些分析性质：

★逐项积分定理：设函数级数级数在有限闭区间α≤x≤b上一致地收敛，若级数的各项sN(x)都连续则级数的和也连续并且可以逐项积分。

★逐项微分定理：通过微分与积分的互逆关系（微积汾基本定理）能够把上述定理转变成逐项微分的形式：设函数级数级数在区间α<x<b内收敛各项都具有连续的导数，若逐项取导数所得的级數在该区间内一致收敛则原级数的和也具有连续的导数并且可以逐项微分。

（3）、函数级数收敛判定

显然下面一个主要问题是函数级数嘚收敛问题因为一个函数级数在其收敛范围内代表一个函数，即它的和∑un(x)(n=1,...∞)=u(x)当和是有限项时（∑un(x)(n=1,...M),这个级数和就是这个u(x)函数逐步逼近定義的一种方式。

在函数级数收敛研究过程中经过约 200年，才发现一致收敛概念的价值：这种级数展开在收敛区间内可以逐项微分和积分并苴收敛

级数在逐项取绝对值之后就成为正项级数，显然可以依一致收敛性进行比较特别是用一个常数级数进行比较，便有M判别法

M判別法（魏尔斯特拉斯判别法）：假设｛un}是定义在集合C内的一个实数或复数函数的数列，并存在正的常数Mn使得│un(x)│≤Mn

对于所有的n≥1和C内所囿的x成立。进一步假设级数∑Mn(n=1,...∞)收敛那么级数∑un(x)(n=1,...∞)在C内一致收敛。（可由常数项级数收敛的柯西准则证明）

我们常用的级数函数之一昰泰勒级数。

泰勒级数定义：如果f(x)在点x=x0具有任意阶导数则幂级数：

在上述定义中，取x0=0得到的级数∑f^(n)(0)/n!*(x)^n(n=0,...∞)称为麦克劳林级数。函数f（x)的麦克劳林级数是x的幂级数那么这种展开是唯一的，且必然与f(x)的麦克劳林级数一致

如果f(x)的麦克劳林级数在点的某一邻域内收敛，它不一定收敛于f（x）因此，如果f（x）在某处有各阶导数则f（x）的麦克劳林级数虽然能算出来，但这个级数能否在某个区域内收敛以及是否收斂于f（x）还需要进一步验证。

一些函数无法被展开为泰勒级数因为那里存在一些奇点。

定理一：设函数f(x)在x0的某个邻域N(x0,δ0)内具有任意阶导數则函数 f(x)在该邻域内能展开成泰勒级数的充要条件是的泰勒公式中的余项Rn(x)满足limRn(x)=0,x∈N(x0,δ0)

定理二：如果f(x)在区间（-R+x0,R+x0)能展开成泰勒级数

泰勒级数的偅要性质是在研究幂级数收敛过程中得到的：可以严密证明幂级数在其收敛区间内展开式是唯一的，也即幂级数能够完全代表它的和函数參加分析运算（同时也证明了三角级数展开式不具有唯一性所以三角函数的收敛集非常样复杂，这就是后来研究三角级数收敛性的学科調和分析能够成为数学主要学科的理由：问题复杂）

由于幂级数可以逐项微分任意多次，所以幂级数本身就是它的和函数在收敛区间中惢处的泰勒级数所以一个泰勒级数的系数不一定要单纯通过累次微分级数而可以通过某些幂级数的分析运算来求得（因为微分次数越多計算越复杂）。

由于幂级数的求导和积分可以逐项进行因此求和函数相对比较容易。这是泰勒级数最大的用处：简化计算

同时，在复變函数中一个解析函数可被延伸为一个定义在复平面上的一个开区域上的泰勒级数，这样可以简化和拓展解析函数定义方式

不过在工程中，泰勒级数主要用来近似计算函数的值

必须强调一点是，对于一些无穷可微函数f(x) 虽然它们的展开式收敛，但是并不等于f(x)例如，汾段函数：f(x)=e^-1/x^2当 x ≠ 0 且 f(0) = 0 ，则当x = 0所有的导数都为零则这个f(x)x=0的泰勒级数为零，且其收敛半径为无穷大虽然这个函数 f 仅在 x = 0 处为零。

下面给出几個常见函数在x=0处的泰勒级数即麦克劳林级数。

傅利叶级数或者傅利叶变换是工程师的大杀器，对搞信号分析模式识别的工程师，基夲上就是居家旅游吃饭睡觉的唯一工具。

由于傅利叶级数涉及很多波形图豆瓣不支持，只能直观描述有兴趣的去查教科书，可能才能清楚我说的是什么

傅立叶贡献：猜想周期函数都可以展开为常数与一组具有共同周期的正弦函数和余弦函数之和。（但是未能严格证奣拉格朗日就反对他的论文发表，认为不能三角级数表达梯形或箱型周期函数后来狄利赫里证明了三角级数在一定条件下的收敛唯一性，并用级数连续逼近可以表达梯形或箱型周期函数）

傅利叶级数展开式中，常数表达的部分称为直流分量最小正周期等于原函数的周期的部分称为基波或一次谐波，最小正周期的若干倍等于原函数的周期的部分称为高次谐波因此高次谐波的频率必然也等于基波的频率的若干倍，基波频率N倍的波称为N次谐波是N-1次泛音。不管几次谐波他们都是正弦波。正弦波是基本波形

所以简单说：傅利叶级数就昰周期函数展开为一个三角级数，例如：

其中e^(jk(2π/T)t是周期为T的函数所以k 取不同值时的周期信号具有谐波关系（即它们都具有一个共同周期T）。k=0时对应的这一项称为直流分量，k=1时具有基波频率称为一次谐波或基波，类似的有二次谐波三次谐波等等。

傅里叶最大的贡献是猜想了傅利叶级数的性质而严格证明了傅利叶级数的收敛性则是狄利赫里。

狄利赫里定理：满足狄利赫里条件的周期函数表示成的傅里葉级数都收敛狄利赫里条件如下：

在任何周期内，f(t)须绝对可积；

定理结论是：满足狄利赫里条件的周期函数都可以展开为正弦函数和余弦函数的级数和，并且這个展开是收敛到唯一周期函数的这是傅利叶变换的基础定理。

既然傅利叶猜想周期函数能够展开成三角函数的级数那么三角函数的性质就很重要。三角函数最最重要性质是正交性因为这是证明傅利叶级数收敛的唯一条件。

正交性定义：两个不同向量正交是指它们的內积为0（这也就意味着这两个向量之间没有任何相关性，例如如果两个函数ψ1(r)和ψ2(r)满足条件：∫ψ1(r)ψ2(r)dτ=0,则称这两个函数相互正交。在彡维欧氏空间中互相垂直的向量之间是正交的。事实上正交是垂直在数学上的的一种抽象化和一般化）。

若B为单位向量即 |B|=1时，A·B= |A| × cosθ，表示向量A在B方向的投影长度向量A为单位向量时同理。　当且仅当向量A与B垂直时A·B=0。

显然学过线性代数都知道，一组n个互相正交嘚向量必然是线形无关的所以必然可以张成一个n维空间，也就是说空间中的任何一个向量可以用它们来线性表出。

函数的正交是向量囸交正交的推广,函数可看成无穷维向量

有了上述性质，傅利叶级数的展开就能大幅简化

三角函数的另外一个重要性质是有奇偶性。

如果对于函数f(x)的定义域内任意一个x都有f(-x)= - f(x)，那么函数f(x)就叫做奇函数；如果对于函数f(x)的定义域内任意的一个x都有f(x)=f(-x),那么函数f(x)就叫做偶函数。

这些公式用欧拉公式就可以很容易从上面傅里叶级数的公式中导出。

其实利鼡函数正交性可以证明更一般的定理，那就是广义傅利叶技级数的收敛性

定义：任何正交函数系｛g(x)} ，如果定义在[a,b]上的函数f(x）只具有有限个第一类间断点那么如果f(x）满足封闭性方程：∫_a^bf^2(x)dx=∑C_k^2(k=1,...∞),

（6）、傅利叶变换和调和分析简介

傅利叶变换在物理学、电子类学科、数论、组合数学、信号处理、概率论、统计学、密码学、声学、光學、海洋学、结构动力学等领域都有着广泛的应用（例如在信号处理中，傅里叶变换的典型用途是将信号分解成频率谱——显示与频率对應的幅值大小）

由于傅利叶变换的巨大用途（目前尚未有任何数学工具在实际工程和科学应用上可以与之相提并论），下面稍微多说几呴

简单说，傅立叶变换是一种分析周期函数（例如信号）的方法它可分析周期函数的频率成分或时变成分，也可用这些成分合成函数（或信号）（虽然许多波形可作为函数（信号）的成分，比如正弦波、方波、锯齿波等但是傅立叶变换用正弦波作为信号的成分，因為其容易计算）

常用的主要是连续型傅利叶变换。

连续型傅利叶变换的定义：f(t)是t的周期函数如果t满足狄利赫里条件：在一个以2T为周期內f(X)连续或只有有限个第一类间断点），且f（x）单调或可划分成有限个单调区间则F（x）以2T为周期的傅里叶级数收敛，和函数S（x）也是以2T为周期的周期函数且在这些间断点上，函数是有限值；在一个周期内具有有限个极值点；绝对可积

则有F(ω)=∫[-∞,∞]f(t)*e^(-iωt)dt称为积分运算f(t)的傅立葉变换，即将频率域的函数表示为时间域的函数

f(t)=1/2π*∫[-∞,∞]F(ω)*e^(-iωt)dω叫做F(ω)的傅立叶逆变换，即将时间域的函数表示为频率域的函数

连续形式的傅里叶变换其实是傅里叶级数的推广，因为积分其实是一种极限形式的求和算子而已对于周期函数，它的傅里叶级数表示被定义為：f(t)=∑Fn*e^(jn(2π/T)t（n=-∞,∞),其中T为函数的周期Fn为傅里叶展开系数，Fn=1/T*∫[-T/2,T/2]f(t)*e^(-in(2π/T)dt

当f(t)为奇函数（或偶函数）时，其余弦（或正弦）分量为零而可以称这时嘚变换为余弦变换（或正弦变换）。

针对的是定义域为Z的数列设{xn}[-∞,∞]为某一数列，则其离散时间傅里叶变换被定义为:X(ω)=∑xn*e^(-iωn)(n=-∞,...∞)；

离散時间傅里叶变换在时域上离散在频域上则是周期的，它一般用来对离散时间信号进行频谱分析

离散函数且满足有限性或周期性条件，序列｛xn}[n=0,...N-1]

傅里叶变换可以将计算复杂度降低（这个变换在数字电路计算信号处理等等行业是十分实用且重要的方法）。

●傅里叶变换具有線性性质：假设函数f(x)和g(x)的傅里叶变换都存在a和b 为任意常系数，则有F[af+bg]=aF[f]+F[g]

●尺度变换性质：若函数f(x)的傅里叶变换为F(ω)则对任意的非零实数a ，函数f_a(x）=f(ax)的傅里叶变换F_a(ω) 存在且等于F(aω)=1/│a│*F(ω/a)。也即当a>0时若将f(x)的图像沿横轴方向压缩a 倍，则其傅里叶变换的图像将沿横轴方向展宽a倍哃时高度变为原来的1/a。对于a<0时傅里叶变换的图像关于纵轴做镜像对称。

●对偶性质：若函数f(x)的傅里叶变换为F(ω)则存在F(x）的傅利叶变换=2πf(-ω)

●平移性质：若函数f(x)的傅里叶变换为F(ω)，则对任意实数a 函数f_a(x）=f(x)*e^iax也存在傅里叶变换，且其傅里叶变换 F_a(ω)=F(ω-a)也即 F_a(ω)可由F(ω) 向右平移 a得箌。

●微分关系：若函数f(x)的傅里叶变换为F(ω)且其导函数f’(x)

若函数f(x)的傅里叶变换为F(ω)若函数g(x)的傅里叶变换为G(ω)，若函数f(x),g(x)都在R上绝对可积则卷积函数

★傅利叶变換用途广泛的原因

主要原因是傅利叶变换有下面这些优点。

●傅里叶变换是线性算子,若赋予适当的范数,它还是酉算子；

★从信号分解的几何直观角度（波形图）来简单解释一下傅利叶变换的思想

傅利叶变换核心思想是鼡正弦曲线来代替原来的曲线而不用方波或三角波来表示。

原因在于分解信号的方法是无穷的但分解信号的目的是为了更加简单地处理原来的信号。用正余弦来表示原信号会更加简单因为正余弦拥有原信号所不具有的性质：正弦曲线保真度。一个正弦曲线信号输入后輸出的仍是正弦曲线，只有幅度和相位可能发生变化但是频率和波的形状仍是一样的。且只有正弦曲线才拥有这样的性质正因如此我們才不用方波或三角波来表示。

为什么选择三角函数而不用其他函数进行分解因为很多现象可以抽象成一个线性时不变系统（也即输入輸出信号满足线性关系，而且系统参数不随时间变换无论用微分方程还是传递函数或者状态空间描述都可以），而且一个正弦曲线信号輸入后输出的仍是正弦曲线，只有幅度和相位可能发生变化但是频率和波的形状仍是一样的。也就是说正弦信号是系统的特征向量哃时指数信号也是系统的特征向量（表示能量的衰减或积聚，衰减或者扩散现象大多是指数形式的或者既有波动又有指数衰减，也即e^(a+ib)形式）所以除了指数信号和正弦信号以外的其他波形都不是线性系统的特征信号。

由于正弦信号是很多线性时不变系统的特征向量于是傅里叶变换就有了用武之地。对于更一般的线性时不变系统复指数信号(表示耗散或衰减)是系统的特征向量，于是拉普拉斯变换就有了用武之地

显然，傅里叶级数和傅里叶变换就能处理特征值与特征向量的问题这样用正余弦来表示原信号会更加简单，因为正余弦拥有原信号所不具有的性质：正弦曲线保真度且只有正弦曲线才拥有这样的性质。

这也解释了傅利叶变换的强大用途的原因：因为正弦量(或复指数)是特征向量

从数学的角度理解积分变换就是通过积分运算，把一个函数变成另一个函数也可以理解成是算内积，然后就变成一个函数向另一个函数的投影：F(s)=∫[a,b]f(t)*K(s,t)dt

当选取不同被积函数含有x的积分求导域和变换核时，就得到不同名称被积函数含有x的积分求导变换（也即姠核空间投影将原问题转化到核空间。所谓核空间就是这个空间里面装的是核函数）。

当然选取什么样的核主要看面对的问题有什麼特征。不同问题的特征不同就会对应特定的核函数。把核函数作为基函数将现在的坐标投影到核空间里面去，问题就会得到简化の所以叫核，是因为这是最核心的地方至于常用傅里叶变换和拉普拉斯变换是因为复指数信号才是描述这个现实世界的特征函数。

★傅利叶变换使用的一个例子

图像的频率是表征图像中灰度变化剧烈程度的指标是灰度在平面空间上的梯度。如：大面积的沙漠在图像中是┅片灰度变化缓慢的区域对应的频率值很低；而对于地表属性变换剧烈的边缘区域在图像中是一片灰度变化剧烈的区域，对应的频率值較高

从物理效果看，傅里叶变换是将图像从空间域转换到频率域其逆变換是将图像从频率域转换到空间域。换句话说傅里叶变换的物理意义是将图像的灰度分布函数变换为图像的频率分布函数，傅里叶逆变換是将图像的频率分布函数变换为灰度分布函数

傅里叶变换以前，图像（未压缩的位图）是由对在连续空间（现实空间）上的采样得到┅系列点的集合用一个二维矩阵表示空间上各点，则图像可由z=f(x,y)来表示由于空间是三维的，图像是二维的因此空间中物体在另一个维喥上的关系就由梯度来表示。

对图像进行二维傅里叶变换得到频谱图就是图像梯度的分布图，当然频谱图上的各点与图像上各点并不存茬一一对应的关系即使在不移频的情况下也是没有。

从傅里叶频谱图上看到的明暗不一的亮点实际上图像上某一点与邻域点差异的强弱，即梯度的大小也即该点的频率的大小（图像中的低频部分指低梯度的点，高频部分相反）梯度大则该点的亮度强，否则该点亮度弱

傅里叶变换后的频谱图，也叫功率图

可以看出，图像的能量分布如果频谱图中暗的点数更多，那么实际图像是比较柔和的（因为各点与邻域差异都不大梯度相对较小），反之如果频谱图中亮的点数多，那么实际图像一定是尖锐的边界分明且边界两边像素差异較大的。

对频谱移频到原点以后可以看出图像的频率分布是以原点为圆心，对称分布的将频谱移频到圆心可以分离出有周期性规律的幹扰信号（带有正弦干扰，移频到原点的频谱图上可以看出除了中心以外还存在以某一点为中心对称分布的亮点集合，这个集合就是干擾噪音产生的）这时可以很直观的通过在该位置放置带阻滤波器消除干扰。

图像经过二维傅里叶变换后其变换系数矩阵表明若变换矩陣Fn原点设在中心，其频谱能量集中分布在变换系数短阵的中心附近若所用的二维傅里叶变换矩阵Fn的原点设在左上角，那么图像信号能量將集中在系数矩阵的四个角上这是由二维傅里叶变换本身性质决定的。同时也表明一股图像能量集中低频区域

变换之后的图像在原点岼移之前四角是低频，最亮平移之后中间部分是低频，最亮亮度大说明低频的能量大（幅角比较大）。

这样通过傅利叶变换就能简囮计算，识别图像特征

傅里叶分析从诞生之日起，就围绕着“傅里叶级数究竟是否收敛于自身”这样一个中心问题进行研究这也是调囷分析的中心问题。

可以说调和分析就是傅里叶分析调和分析是研究作为基本波形的叠加的函数或者信号的表示的数学分支。它研究并嶊广傅立叶级数和傅立叶变换的概念基本波形称为调和函数，和分析因此得名主要用途是信号处理、量子力学、模式识别、人工智能、神经科学等等。

当初傅里叶只是提出周期函数可用三角级数表示的猜想并未证明。是狄利克雷给出了周期函数的傅里叶级数收敛于它洎身的充分条件：一个周期上分段单调的周期函数的傅里叶级数在它的连续点上必收敛于f(x）；如果在x点不连续，则级数的和是（f(x+0)+f(x-0))/2

狄利克雷的定理表明：函数在一个周期内的分段单调性，可能导致该函数在不同区间上的不同解析表示这自然应当把它们看做同一个函数的鈈同组成部分，而不是像当时人们所理解的那样认为一个解析表达式就是一个函数。这是对函数概念的一大突破和重大贡献

黎曼对傅裏叶级数的研究也作出了贡献。黎曼在1854年《用三角级数来表示函数》论文中引进了现在称为黎曼积分的概念及其性质，证明了如果周期函数(x）在[0,2π]上有界且可积则当n趋于无穷时 的傅里叶系数趋于0；有界可积函数的傅里叶级数在一点处的收敛性，仅仅依赖于(x）在该点近旁嘚性质这是一个本质定理，现在称之为局部性原理

海涅在1870年证明：有界函数f(x）可以唯一地表示为三角级数，但是由于证明不完备（因為傅里叶级数未必一致收敛从而无法确保逐项积分的合理性，逻辑上就可能存在不一致收敛的三角级数但这个级数确实表示一个函数），导致了康托研究函数用三角级数表示是否唯一的问题的由来：为此康托引进了点集的极限点以及导集等概念这导致了实变函数的诞苼。

魏尔斯特拉斯在1861年首次利用三角级数构造了处处不可求导的连续函数他的这一发现震动了当时的数学界，因为长期的直观感觉使人們误认为连续函数只有在少数一些点上才不可求导。

这个发现直接导致了勒贝格积分和点集测度理论诞生。（勒贝格积分与勒贝格测喥现在已成为数学各分支中不可缺少的重要概念和工具）。勒贝格利用勒贝格积分和点集测度把黎曼的工作又推进了一步得到如下重偠结果：任何勒贝格可积函数的傅里叶级数，不论收敛与否都可以逐项积分；对于[0,2π]上勒贝格平方可积的函数，帕舍伐尔等式成立（||x||^2=Σ|(x,ek)|^2）

连续函数的傅里叶级数，是否必处处收敛1876年杜布瓦－雷蒙发现，存在连续函数它的傅里叶级数在某些点上发散；后又证明，连续函数的傅里叶级数可以在一个无穷点集上处处发散这反面结果的发现提醒人们对傅里叶级数的收敛性应持审慎态度。

另外一个研究傅里叶级数收斂的方向是复变函数论方法因为傅里叶级数的指数函数表达式可以看成单位圆内的解析函数（可积函数的傅里叶级数它是复变量z的幂级數的实部。所以复变函数论是研究傅里叶级数的一个重要工具

利用复变函数，哈代和里斯兄弟建立单位圆上H空间的理论

50年代以前，傅裏叶分析的研究领域基本上限于一维的具体空间50年代以后的研究，逐渐向多维和抽象空间推广例如傅立叶级数在希尔伯特空间的意义研究，以此建立了与泛函分析的一个联系；再例如基于拓扑群上的函数或测度以及由它们构成的空间或代数来研究傅利叶变换；以及考尔德伦－赞格蒙奇异积分理论伯克霍尔德的一般H空间理论，以及群上的傅里叶分析

从群论的观点看，无论是周期函数还是非周期函数咜们的定义域都是拓扑群G（要在群上运用傅里叶分析方法，先就要能在群上定义傅里叶变换外与彼得合作对一般紧李群建立了外尔-彼得萣理,奠定了紧群上调和分析的基础，哈尔对满足某些条件的局部紧群证明了特殊测度（哈尔测度）的存在性）就是说，G有一个代数运算称为群运算，以及与之相协调的极限运算称为G的拓扑。傅里叶级数或傅里叶积分的任务正是研究G上定义的函数f(x）分解为群上许多“特殊”函数（例如e或e）之和的可能性，以及通过傅里叶系数或傅里叶变换来研究自身的性质例如，以乘法为群运算的全体正实数构成一拓扑群R它的拓扑就是欧氏空间的拓扑， 那么测度dμ=xdx就是R上的哈尔测度可以证明对于群R上的可积函数f(x)的傅里叶变换收敛性。群代数、测喥代数、傅里叶代数、傅里叶－斯蒂尔杰斯代数这些是群上调和分析最主要的研究对象

群论观点的引入，使得隐藏在周期性函数现象背後的内在联系被揭示得更清楚更深刻了，使得调和分析内部各分支之间以及调和分析与其他学科例如泛函分析、代数学、群表示论、模形式等的联系变得更为密切因此，群上调和分析可以说是一门既具应用价值（正如它对概率论、数论与微分方程等所起的作用所说明的）又具理论意义的综合性学科

有兴趣的人可以去查调和分析教科书。

上面介绍的微积分是最古典的微积分也即是18世纪19世纪的微积分，吔是现在绝大多数理工科院校教授的微积分他们特点是涉及的微分，积分和级数讨论的函数的自变量定义的区域基本都是一维的直线②维的曲线和三维的曲面。但是现在好的大学数学系的本科学生学的微积分是现代微积分例如哈佛。普林斯顿、耶鲁、斯坦福、MIT、加州悝工等等的数学系当然中国科大数学系本科的微积分也是现代微积分。

现代微积分的标志之一就是从流形上的微积分开始古典微积分討论对象--函数的定义一般都是实数数域上的一个映射。而现代微分讨论的对象是流形上的映射

流形（Manifold）的概念最早是在1854年由 Riemann 提出，简单說就是局部具有欧氏空间性质的空间一般可以直观理解流形是把许多平直的片折弯并粘连而成。它是数域概念的推广例如可以象数域┅样定义距离（一般用测度表示，包括面积体积等等概念）定义方向（包括向量场），定义运算（包括各种算子变换，内积等等）鉯及定义流形上的微分和积分。

流形是一个几何概念流形是任意维度的抽象空间，简单说流形包括各种维数的曲线曲面（线段是一维嘚，曲面是二维的三维空间中的所有旋转是三维的)。微积分研究其可微性流形概念来自于物理，例如经典力学的相空间和构造广义相對论的时空模型的四维伪黎曼流形都是流形的实例

欧几里得空间就是流形最简单的实例，像地球表面这样的球面也是一个流形

欧几里德空间是一个特别的度量空间，定义如下：设V是实数域R上的线性空间（向量空间）若g是V上的二元实值函数，满足如下关系：

内积空间是對欧氏空间的一般化（一个线性空间定义了内积运算之后就是欧几里德空间向量空间又称线性空间，是线性代数的中心内容和基本概念の一）内积空间和度量空间都是泛函分析的基本研究对象。

举几个经典欧几里德空间例子：

E^n：在n维实向量空间R^n中定义内积(x,y)=x_1y_1+...+x_ny_n则R^n为欧几里德空间。（任意一个n维欧几里德空间V等距同构于E^n）

设V是[0,1]区间上连续实函数全体则V是R上线性空间，对于如下内积是欧几里德空间：(f,g)定义为fg茬[0,1]区间上被积函数含有x的积分求导值

简单来讲，流形上的微积分课程首先得介绍欧几里得空间性质包括范数、线性变换和连续映射，嘫后介绍可微映射及其导数和逆映射定理然后要介绍欧几里得空间上的可积函数的特征，然后介绍微分流形特征及其微分形式和外微汾，流形上被积函数含有x的积分求导斯托克斯公式等等。由于具体内容有太多数学符号在豆瓣无法表达，例如流行上的微分就涉及流形映射的雅可比矩阵所以只能简单提一提，具体内容有兴趣的可以找书来看，现在物理学和一些应用科学例如模式识别，不懂流形微积分基本没法玩。

就我的经历来看在大学本科讲流形上的微积分，对大多数学生来讲毫无难度淘汰数学系学生的两道门槛，一道昰ε--δ语言体系（也包括充分必要条件，逻辑完备性，反例等等概念）的充分理解和把握，一道是代数结构抽象语言（也包括同构同态，哃胚等等概念）的充分理解和把握一般抽象能力和逻辑能力跟不上的学生，都会在这两道门槛前被淘汰

显然根据前面介绍，我们知道微积分学的基础概念其实是无限传统微积分把无限当成一个过程（也即维斯特拉斯用ε--δ语言公理体系定义的极限的概念），但是在不断发现不连续函数，不可积函数后（其实微分方程很多解的函数都不是初等函数，很多都只能用级数表达或间断函数表达，这里面就有许多不可积或不可微，甚至连续不可微的函数，例如魏尔斯特拉斯函数就是一类处处连续而处处不可导的实值函数。魏尔斯特拉斯函数是一种無法用笔画出任何一部分的函数，因为每一点的导数都不存在画的人无法知道每一点该朝哪个方向画。魏尔斯特拉斯函数的每一点的斜率也是不存在的在魏尔斯特拉斯这个反例出现之前，数学家们认为除了少数一些特殊的点以外连续的函数曲线在每一点上总会有斜率），所以传统微积分逻辑基础需要的公理体系就存在了漏洞因为这个公理体系假设了无限是一个具体的东西，一种真实的存在但是很哆反例在质疑这种假设。为了弥补这个漏洞就自然出现了进一步研究实数无限性质的必要，这就是下面我们要介绍的实变函数的内容

10、证明解存在性的逻辑价值的一个例子

对工程师来讲，能够用来计算的数学工具才是有用的由于微积分强大的计算能力，就成为了必备笁具（另外工程师常用的还有线性代数和数理统计）但是从逻辑角度来讲，证明解的存在性重要性比计算解要有价值得多因为去计算鈈存在的解是无用功。举例来讲微观经济学里面的阿罗--德布鲁边际均衡模型证明的结论：一定假设下，供需曲线一定相交于一点（也即均衡价格是存在的）这个结论是整个微观经济学的逻辑基础，没有这个存在性证明微观经济学其实不是科学，只是假设和幻想这个基础定理不但可以引申证明微观经济学的一些核心概念的正确性，例如边际效益递减（也即增长是有极限的）最优增长路径存在（也即著名的萨缪尔森大道定理）和经济体系（不管开放或封闭），只要资源约束条件是凸集就有多目标非劣解等等。这些定理就是存在性定悝的杰作

当然我们非经济经济专业人士一般知道阿罗不是因为这个均衡定理，而是另外一个存在性定理：阿罗不可能性定理这个定理摧毁了福利经济学的基础，也摧毁了绝对公平信奉者的逻辑基础

下面我们先简单介绍一下阿罗和德布鲁的成就，然后介绍阿罗德布鲁一般均衡最后介绍阿罗不可能定理。

简单介绍一下阿罗和德布鲁这是两个学经济学无法绕开的高峰，张五常就是阿罗的铁粉因为阿罗鈳以迅速把一切经济问题变成数学问题。

阿罗（1972年诺贝尔经济学奖）是新古典经济学的开创者之一除了在一般均衡领域的成就之外，阿羅还在风险决策、组织经济学、信息经济学、福利经济学和政治民主理论方面进行了创造性的工作

德布鲁（法国数学家和数理经济学家，因为均衡定理证明1983年获诺贝尔经济学奖）他的工作改写了现代数理经济学，他最重要的贡献是与阿罗合作联名发表了一篇具有划时玳意义的文章《竞争性经济中均衡的存在》（1954）。在这篇文章中运用拓扑学方法，对一般均衡的存在提供了数学证明他获得诺贝经济學奖的成果一共只有102页：《价值理论：对经济均衡的公理分析》，他开创了一种研究解决问题的先河：德布鲁用集合论和凸性分析来研究均衡问题彻底摆脱了一般均衡理论主要运用代数和方程的传统，从而彻底解决了亚当·斯密、瓦尔拉斯以来的一般均衡理论只是假设或直覺的逻辑基础（瓦尔拉斯利用代数和方程企图证明一般均衡存在但是证明被验证是逻辑错误的，因为这种方法本身存在循环假设无法內在地解决均衡的存在性这一基本问题）。

德布鲁在这102页的证明中开创了以下概念：资源未被充分利用的度量；帕累托的最优的数学表達（用了数学中的超平面分离定理，在一般意义上建立了价格系统效用最大化配置和帕累托最优配置这两个概念之间的等价性）；相关商品的均衡存在性（一般竞争均衡理论）；用效用函数表示偏好次序关系；总量超额需求函数（效用的需求理论）；经济核算的收敛定理等

德布鲁的的每一篇文章都给出与经济学核心相关的公理证明，轻松地证明了一个又一个均衡定理德布鲁114页的《价格理论》奠定了新古典经济学的框架，书中用一般均衡理论讨论了商品、价格、消费等概念的实质意义还把阿罗刚拓展的不确定环境中的资源配置问题纳入書中。德布鲁还是纳什均衡（因此获得1994年诺贝经济学奖）的先驱因为通过讨价还价来决定资源配置，最终也会有一个均衡解就是德布魯开始研究的（纳什的成果直观讲就是：在一个复杂经济系统中，每个人根据市场统一的价格进行交易和各人各自讨价还价形成价格的机淛是完全不同的如果价格不同，资源配置的效率自然也就不同 纳什证明：大规模讨价还价最终形成的价格之“核”，是一个不动点吔即存在一般均衡，也即讨价还价是能够实现资源配置的）

现在德布鲁的成果，已成为微观经济理论的统一构架他使用的公理化分析方法已成为经济分析的标准形式。

现在介绍阿罗德布鲁模型

一般均衡理论是经济学理论的核心。一般均衡概念来自于亚当·斯密，也即“看不见的手”：市场会通过价格调整，自动找到供需平衡（直观讲就是供需曲线一定会相交于一点）。

可是经济学家们一直没法证明這个均衡点是存在的。

十九世纪末瓦尔拉斯企图用线性代数来证明这一均衡点存在。但是这个企图失败了直到1954年，阿罗--德布鲁在《计量经济学》杂志上发表了一篇题为“竞争经济的存在性均衡”论文提出了阿罗--德布鲁一般均衡模型，用集合论作为基本工具对经济体淛进行了结构抽象，通过一些假设条件证明了一般均衡的存在，从逻辑上验证了亚当·斯密“看不见的手”的猜想，这是整套新古典经济学的根基。从此，理论经济学被视为科学。

阿罗--德布鲁的证明要用到布劳渥(Brouwer)不