积分

积分（）是微积分学与数学分析里的一个核心概念。通常分为定积分和不定积分两种。直观地说，对于一个给定的正实值函数formula_1，formula_1在一个实数区间formula_3上的定积分
可以在数值上理解为在formula_5坐标平面上，由曲线formula_6（formula_7），直线formula_8，formula_9以及formula_10轴围成的曲边梯形的面积值。
formula_11的不定积分（或原函数）是指任何满足导数是函数formula_1的函数formula_13。一个函数formula_11的不定积分不是唯一的：只要formula_15是formula_1的不定积分，那么与之相差一个常数的函数 formula_17也是formula_18的不定积分。
微积分基本定理是微积分学中的一条重要定理，由艾萨克·牛顿和戈特弗里德·威廉·莱布尼茨在十七世纪分别独立发现。微积分基本定理将积分与微分建立联系，通过找出一个函数的原函数，即可方便地计算它在一个区间上的积分。积分和导数已成为高等数学中最基本的工具，并在自然科学和工程学中得到广泛运用。
积分的一个严格的数学定义由波恩哈德·黎曼给出，因此习惯上我们常见的积分也称为“黎曼积分”。黎曼的定义运用了极限的概念，把曲边梯形设想为一系列矩形组合的极限。从十九世纪起，更高级的积分定义逐渐出现，有了对各种积分区间上的各种类型的函数的积分。对微分形式的积分是微分几何中的基本概念。
对积分概念的推广来自于物理学的需要，并体现在许多重要的物理定律中，尤其是电动力学。现代的积分概念基于测度论，主要是由昂利·勒贝格建立的勒贝格积分。
简介.
积分发展的动力源自实际应用中的需求。实际操作中，有时候可以用粗略的方式进行估算一些未知量，但随着科技的发展，很多时候需要知道精确的数值。要求简单几何形体的面积或体积，可以套用已知的公式。但如果游泳池是卵形、抛物型或更加不规则的形状，就需要用积分来求出容积。物理学中，常常需要知道一个物理量（比如位移）对另一个物理量（比如力）的累积效果，这时也需要用到积分。
我们以下面这个问题作为介绍积分概念的开始：
问题中的“下方”面积，是指函数formula_22的图象与x轴之间的部分的面积formula_23（见右图）。我们把这个面积称为函数formula_18在区间formula_25上的积分，写作：
其中的formula_27称为积分变量，表示要求面积的范围是用坐标轴横轴的刻度计算；formula_28则表示从0开始算起，到1为止，称为积分范围或积分域，其中0称为积分下界，1称为积分上界，formula_29叫做积分号，是从拉长的字母S演变过来的。函数formula_30写在中间，称为被积函数。
改进的方法是用更多的小方框来将函数图象“覆盖”，如右图中的做法，就是将坐标轴横轴formula_25等分成5个部分：formula_32、formula_33、formula_34、formula_35、formula_36，然后每一部分上放一个黄色的长方形（见右图■）。这5个长方形的高度分别是函数在每个部分的极大值（也就是最右侧的值）：formula_37、formula_38、formula_39、formula_40、formula_41。这样函数下方的部分就被5个黄色长方形覆盖了，所以面积formula_23小于5个黄色长方形面积之和：
求出了formula_23的上限之后，用类似的方法可以求formula_23的下限。同样是将坐标轴等分成若干部分，然后在每个部分放上长方形，不过这时候长方形的高度需要是函数在这个部分的最小值，也就是最左侧的值。比如，如果将横轴等分成12个部分，然后按照以上的方法放上绿色长方形（如右图■），那么从图中可以看出，formula_23必定大于绿色长方形面积之和：
于是，面积formula_23的取值介于0.6203和0.7497之间。要取得更加精确的估计，可以将横轴细分成更多的部分，并按照同样的方法放置长方形，计算长方形的面积之和。随着长方形越来越多，每个长方形越来越“细”，计算出的formula_23的范围会越来越窄，最后得出formula_23的精确值。
以上的方法可能出现的“漏洞”，是所谓的“取值范围”不一定会越来越小，最后聚集到同一个值上。虽然直观上来说，由于函数下方的图形面积是确定的，只要不断地用相似的形状“逼近”，最后总会趋向函数下方图形的真实面积。然而，对于某些“病态”的函数，以上的方法是无法得到确定的数值的。十九世纪的数学家波恩哈德·黎曼证明了，对于满足某些条件的良态函数，以上的方法一定能求出函数下方的面积。现代的数学家将这种方法求出的面积称为黎曼积分，并给出了严格的定义（见#严格定义一节）。对于那些无法用黎曼的方法定义“函数下方图形面积”的函数，黎曼之后的数学家发展出了一些更宽泛的定义，让这些函数也能定义积分。
术语和标记.
如果一个函数的积分存在，并且有限，就说这个函数是可积的。一般来说，被积函数不一定只有一个变量，积分域也可以是不同维度的空间，甚至是没有直观几何意义的抽象空间。如同上面介绍的，对于只有一个变量 formula_10的实值函数 formula_18 ， formula_18在闭区间 formula_54上的积分记作
其中的formula_27除了表示formula_10是formula_18 中要进行积分的那个变量（积分变量）之外，还可以表示不同的含义。在黎曼积分中，formula_27表示分割区间的标记；在勒贝格积分中，表示一个测度；或仅仅表示一个独立的量（微分形式）。一般的区间或者积分范围formula_60，formula_61上的积分可以记作formula_62
如果变量不只一个，比如说在二重积分中，函数formula_63 在区域D上的积分记作
其中 formula_66 与区域 formula_67 对应，是相应积分域中的微分元。
严格定义.
定义积分的方法不止一种，各种定义之间也不是完全等价的。其中的差别主要是在定义某些特殊的函数：在某些积分的定义下这些函数不可积分，但在另一些定义之下它们的积分存在。然而有时也会因为教学的原因造成定义上的差别。最常见的积分定义是黎曼积分和勒贝格积分。
黎曼积分.
黎曼积分得名于德国数学家波恩哈德·黎曼，建立在函数在区间取样分割后的黎曼和之上。设有闭区间formula_54，那么formula_54的一个分割是指在此区间中取一个有限的点列formula_70。每个闭区间formula_71叫做一个子区间。定义formula_72 为这些子区间长度的最大值：formula_73，其中formula_74。而闭区间formula_54上的一个取样分割是指在进行分割formula_70后，于每一个子区间中formula_71取出一点 formula_78。
对一个在闭区间formula_54有定义的实值函数formula_18，formula_18关于取样分割formula_82 、formula_83的黎曼和定义为以下和式：
formula_84
和式中的每一项是子区间长度formula_85与在formula_86处的函数值formula_87的乘积。直观地说，就是以标记点formula_86到X轴的距离为高，以分割的子区间为长的矩形的面积。
最简单的取样分割方法是将区间均匀地分成若干个长度相等的子区间，然后在每个子区间上按相同的准则取得标记点。例如取每个子区间右端formula_89（见左图左上角）或者取每个子区间上函数的极大值对应的formula_86（左图左下角）等等。不同的取样分割方式得到的黎曼和一般都不相同，而如果当formula_72足够小的时候，所有的黎曼和都趋于某个极限，那么这个极限就叫做函数formula_18在闭区间formula_54上的黎曼积分。即，formula_23是函数formula_18在闭区间formula_54上的黎曼积分，当且仅当对于任意的formula_97，都存在formula_98，使得对于任意的取样分割formula_82、formula_83，只要它的子区间长度最大值formula_101 ，就有：
formula_102
也就是说，对于一个函数formula_18，如果在闭区间formula_54上，无论怎样进行取样分割，只要它的子区间长度最大值足够小，函数formula_18的黎曼和都会趋向于一个确定的值formula_23，那么formula_18在闭区间formula_54上的黎曼积分存在，并且定义为黎曼和的极限formula_23。这时候称函数formula_18为黎曼可积的。将formula_18在闭区间formula_54上的黎曼积分记作：
formula_113
勒贝格积分.
勒贝格积分的出现源于概率论等理论中对更为不规则的函数的处理需要。黎曼积分无法处理这些函数的积分问题。因此，需要更为广义化的积分概念，使得更多的函数能够定义积分。同时，对于黎曼可积的函数，新积分的定义不应当与之冲突。勒贝格积分就是这样的一种积分。 黎曼积分对初等函数和分段连续的函数定义了积分的概念，勒贝格积分则将积分的定义推广到测度空间里。
勒贝格积分的概念定义在测度的概念上。测度是日常概念中测量长度、面积的推广，将其以公理化的方式定义。黎曼积分实际可以看成是用一系列矩形来尽可能铺满函数曲线下方的图形，而每个矩形的面积是长乘宽，或者说是两个区间之长度的乘积。测度为更一般的空间中的集合定义了类似长度的概念，从而能够“测量”更不规则的函数曲线下方图形的面积，从而定义积分。在一维实空间中，一个区间 formula_114 的勒贝格测度formula_115 是区间的右端值减去左端值， formula_116。这使得勒贝格积分和正常意义上的黎曼积分相兼容。在更复杂的情况下，积分的集合可以更加复杂，不再是区间，甚至不再是区间的交集或并集，其“长度”则由测度来给出。
给定一个集合formula_117上的formula_118代数formula_119以及formula_119上的一个测度formula_121，那么对于formula_119中的一个元素formula_123，定义指示函数formula_124关于测度formula_121的积分为：
再定义可测的非负简单函数formula_127（其中 formula_128）的积分为：
对于一般的函数formula_130，如果对每个区间formula_131，都满足 formula_132，那么测度论中定义formula_133是可测函数。对于一个非负的可测函数formula_133，它的积分定义为：
这个积分可以用以下的方式逼近：
直观上，这种逼近方式是将formula_18的值域分割成等宽的区段，再考察每段的“长度”，用其测度表示，再乘以区段所在的高度。其覆盖之处如右图中的红色区域所示。佛兰德（）总结说，“黎曼积分是把定义域区间 formula_54 划分为子区间”，而勒贝格积分则是“划分formula_18的值域”。
至于一般的（有正有负的）可测函数formula_18，它的积分是函数曲线在x轴上方“围出”的面积，减去曲线在x轴下方“围出”的面积。严格定义需要引进“正部函数”和“负部函数”的概念：
可以验证，总有formula_151 而formula_18的积分定义为：formula_153
以上定义有意义仅当formula_154和formula_155中至少有一个的值是有限的（否则会出现无穷大减无穷大的情况），这时称formula_18的勒贝格积分存在或积分有意义。如果formula_154和formula_155都是有限的，那么称formula_18可积。
给定一个可测集合formula_160，可以定义可积函数在formula_160上的积分为：
其他定义.
除了黎曼积分和勒贝格积分以外，还有若干不同的积分定义，适用于不同种类的函数。
性质.
通常意义上的积分都满足一些基本的性质。以下的formula_169在黎曼积分意义上表示一个区间，在勒贝格积分意义下表示一个可测集合。
线性.
积分是线性的。如果一个函数formula_18可积，那么它乘以一个常数后仍然可积。如果函数formula_18和formula_167可积，那么它们的和与差也可积。
所有在formula_169上可积的函数构成了一个线性空间。黎曼积分的意义上，所有区间["a", "b"]上黎曼可积的函数formula_18和formula_167都满足：
所有在可测集合formula_169上勒贝格可积的函数formula_18和formula_167都满足：
在积分区域上，积分有可加性。黎曼积分意义上，如果一个函数formula_18在某区间上黎曼可积，那么对于区间内的三个实数 formula_183, formula_184, formula_185，有
如果函数formula_18在两个不相交的可测集formula_169和formula_189上勒贝格可积，那么
如果函数formula_18勒贝格可积，那么对任意formula_97，都存在formula_193，使得formula_119中任意的元素formula_160，只要formula_196，就有formula_197
保号性.
如果一个函数formula_18在某个区间上黎曼可积，并且在此区间上大于等于零。那么它在这个区间上的积分也大于等于零。如果formula_18勒贝格可积并且几乎总是大于等于零，那么它的勒贝格积分也大于等于零。作为推论，如果两个formula_169上的可积函数formula_18和formula_167相比， formula_18（几乎）总是小于等于formula_167，那么formula_18的（勒贝格）积分也小于等于formula_167的（勒贝格）积分。
如果黎曼可积的非负函数formula_18在formula_169上的积分等于0，那么除了有限个点以外，formula_209。如果勒贝格可积的非负函数formula_18在formula_169上的积分等于0，那么formula_18几乎处处为0。如果formula_119中元素formula_160的测度formula_215等于0，那么任何可积函数在formula_160上的积分等于0。
函数的积分表示了函数在某个区域上的整体性质，改变函数某点的取值不会改变它的积分值。对于黎曼可积的函数，改变有限个点的取值，其积分不变。对于勒贝格可积的函数，某个测度为0的集合上的函数值改变，不会影响它的积分值。如果两个函数几乎处处相同，那么它们的积分相同。如果对formula_119中任意元素formula_160，可积函数formula_18在formula_160上的积分总等于（大于等于）可积函数formula_167在formula_160上的积分，那么formula_18几乎处处等于（大于等于）formula_167。
介值性质.
如果formula_18在formula_169上可积， formula_227和formula_228分别是formula_18在formula_169上的最大值和最小值，那么：
其中的formula_232在黎曼积分中表示区间formula_169的长度，在勒贝格积分中表示formula_169的测度。
绝对连续性.
积分的绝对连续性表明，如果函数在某区间或集合上可积，那么当积分区域是近乎全区域的时候，积分的值也会逼近在全区域上的积分值。如果函数formula_18在某区间formula_169上黎曼可积，那么对于满足formula_237，formula_238的区间序列formula_239，有
积分不等式.
涉及积分的基本不等式可以看作是一些离散不等式的类比。如柯西不等式的积分版本：假如有函数formula_18和formula_167使得formula_243、formula_244、formula_245都在区间formula_169上黎曼可积，那么
而更广泛的赫尔德不等式也有积分版本。设有正实数formula_248和formula_249，其倒数和为1：formula_250，则对黎曼可积函数formula_18和formula_167，有以下不等关系（在下式各项有意义的时候）：
可以看出柯西不等式是赫尔德不等式在formula_254的时候的特例。
此外闵可夫斯基不等式也有积分版本。设有正实数formula_255，则对黎曼可积函数formula_18和formula_167，有以下不等关系：
对于勒贝格可积的函数，类似的不等式可以帮助构建formula_259空间。
一个函数formula_18可积当且仅当函数formula_261可积，并且formula_18的积分的绝对值，小于等于其绝对值的积分：formula_263。如果函数formula_18勒贝格可积，那么formula_261几乎处处有限。
微积分基本定理.
微积分基本定理是将微分运算（求导运算）和积分运算（原函数）联系在一起的基本定理。从基本定理可以看出微分和积分运算之间的互逆关系。定理叙述如下：
设有在闭区间 formula_266 上连续的可积函数formula_18。考虑积分上限函数formula_268，则formula_269在闭区间 formula_266 上连续，在开区间 formula_271 上可导，并且对开区间 formula_271 中任意的formula_10有：
微积分基本定理的一个实用的直接推论，也被称为微积分第二基本定理：
设有在闭区间 formula_266 上连续的可积函数formula_18。考虑它的一个原函数formula_13，即：
则formula_18在区间 formula_266 上的定积分满足：
推广.
反常积分.
狭义的黎曼积分中，被积函数是定义在闭区间（长度有限）上的函数，因此取值也是在有限区间中。反常积分也称为广义积分，是对更一般区间上的函数定义的积分，研究在狭义黎曼积分的被积函数条件没有满足时，是否能够有积分的定义。一个基本的情形是，被积函数在半开区间 formula_282 上有定义，然而在自变量趋向开区间的某一端（比如说"b"）时，函数有“瑕点”（函数值趋向无穷或没有极限）。这时候，考察被积函数在闭区间 formula_283 上的积分值formula_284，如果当其中的正实数 formula_285 趋向于0的时候，积分值formula_284趋于一个极限formula_287，那么就称被积函数在 formula_282 上广义可积，并且称其为瑕积分formula_287。这个定义也可以简单地记作：
另一个基本的情形是区间长度为无限大的情形，称为无穷限广义积分。比如说被积函数在在闭区间 formula_291 上有定义。考虑被积函数在闭区间 formula_266 上的积分值formula_293，如果当 formula_184 趋向正无穷大的时候，积分值formula_293趋于一个极限formula_287，那么就称被积函数在 formula_291 上广义可积，并且称为无穷限积分formula_287。这个定义也可以简单地记作：
其余更加复杂的情形包括瑕点在区间内部，或者同时包含了无穷限的情形等等。这些情形都可以拆分为基本情形的组合，然后使用以上的方法探讨广义积分的存在性。比如，考虑函数formula_300在正实数区间（0到正无穷）上的积分（如右图所示）。这是一个双重广义积分。一方面函数在0处有瑕点（在0附近趋向正无穷），另一方面函数积分区域是无穷限（直到正无穷大）。这时候可以将这个积分分割为两个部分来考察。比如说以1为界限，左右分割为0到1的积分和1到正无穷大的积分。
首先考察1到正无穷大的部分，依据上述方法，可以首先考察formula_11在闭区间 formula_302 上的积分：
当实数 formula_304 趋于无穷大的时候，上述积分值的极限为formula_305 所以formula_11从1到正无穷大的积分可以定义为：
同样地，考察从0到1的部分，可以首先考察formula_11在闭区间 formula_309 上的积分：
当正实数 formula_311 趋于0的时候，上述积分值的极限为formula_312 所以formula_11从0到1的积分可以定义为：
因此可以定义formula_300在正实数区间（0到正无穷）上的积分为这两部分的和：
多重积分.
狭义积分的积分范围是实数的一个区间或者可测子集。多重积分将积分范围扩展到多维空间中的区域或可测子集。比如说二重积分的积分范围是平面上的一个区域。这时候积分formula_317中的变量formula_10可以是（赋予了拓扑结构的）向量空间里面的一个向量。富比尼定理证明，在一定条件下，多重积分可以转换为累次积分。也就是说，在多维空间上的积分可以通过转化为多个嵌套的一重积分来计算。通常的方法是将多重的积分变量转变为各个坐标指标上的积分变量。例如，考虑以下二重积分：
其中的formula_320是一个半径为1的圆盘。这个二重积分可以转变成：
路径积分与曲面积分.
路径积分也称曲线积分，可以看作是区间上积分的推广。积分的范围不是区间（直线段），而是高维空间中的有向曲线。后者称为积分路径。路径积分有很多种类，当积分路径为闭合曲线时，称为环路积分或围道积分。路径积分的被积函数可以是标量函数（标量场）或向量函数（向量场）。如果被积函数是一个梯度场，那么的曲线积分与所取的路径无关，而只与路径的起点和终点的选取有关。与路径积分类似，平面区域的二重积分可以推广为在高维空间中的（有向）曲面上进行积分，称为曲面积分。路径积分和曲面积分是物理学中很重要的工具，例如计算电场或重力场中的做功、量子力学中计算粒子出现的概率，会用到路径积分。流体力学中计算流体的流量、电力学中使用高斯定律计算电场和电荷分布时，会用到曲面积分。