海之美文新闻资讯
积分(数学术语)
积分是微积分学与数学分析里的一个核心概念。通常分为定积分和不定积分两种。直观地说，对于一个给定的正实值函式，在一个实数区间上的定积分可以理解为在坐标平面上，由曲线、直线以及轴围成的曲边梯形的面积值（一种确定的实数值）。
积分的一个严格的数学定义由波恩哈德·黎曼给出（参见条目“黎曼积分”）。黎曼的定义运用了极限的概念，把曲边梯形构想为一系列矩形组合的极限。从十九世纪起，更高级的积分定义逐渐出现，有了对各种积分域上的各种类型的函式的积分。比如说，路径积分是多元函式的积分，积分的区间不再是一条线段（区间[a,b]），而是一条平面上或空间中的曲线段；在面积积分中，曲线被三维空间中的一个曲面代替。对微分形式的积分是微分几何中的基本概念。
基本介绍
- 中文名：积分
- 外文名：integral
- 基本原理：微积分基本定理
- 提出者：艾萨克·牛顿
- 特点：发展的动力来自于实际套用中的
基本介绍
积分发展的动力源自实际套用中的需求。实际操作中，有时候可以用粗略的方式进行估算一些未知量，但随着科技的发展，很多时候需要知道精确的数值。要求简单几何形体的面积或体积，可以套用已知的公式。比如一个长方体状的游泳池的容积可以用长×宽×高求出。但如果游泳池是卵形、抛物型或更加不规则的形状，就需要用积分来求出容积。物理学中，常常需要知道一个物理量（比如位移）对另一个物理量（比如力）的累积效果，这时也需要用到积分。
术语和标记
如果一个函式的积分存在，并且有限，就说这个函式是可积的。一般来说，被积函式不一定只有一个变数，积分域也可以是不同维度的空间，甚至是没有直观几何意义的抽象空间。如同上面介绍的，对于只有一个变数x的实值函式f，f在闭区间[a,b]上的积分记作
如果变数不只一个，比如说在二重积分中，函式
在区域D上的积分记作
或者
其中
与区域D对应，是相应积分域中的微分元。
严格定义
定义积分
方法不止一种，各种定义之间也不是完全等价的。其中的差别主要是在定义某些特殊的函式：在某些积分的定义下这些函式不可积分，但在另一些定义之下它们的积分存在。然而有时也会因为教学的原因造成定义上的差别。最常见的积分定义是黎曼积分和勒贝格积分。
黎曼积分
黎曼积分得名于德国数学家波恩哈德·黎曼，建立在函式在区间取样分割后的黎曼和之上。设有闭区间[a,b]，那幺[a,b]的一个分割是指在此区间中取一个有限的点列
。每个闭区间
叫做一个子区间。定义
为这些子区间长度的最大值：
，其中
。而闭区间[a,b]上的一个取样分割是指在进行分割
后，于每一个子区间中
取出一点
。
对一个在闭区间[a,b]有定义的实值函式f，f关于取样分割
的黎曼和定义为以下和式：
和式中的每一项是子区间长度
与在
处的函式值
的乘积。直观地说，就是以标记点
到X轴的距离为高，以分割的子区间为长的矩形的面积。
图1
图1最简单的取样分割方法是将区间均匀地分成若干个长度相等的子区间，然后在每个子区间上按相同的準则取得标记点。例如取每个子区间右端
（见左图左上角）或者取每个子区间上函式的极大值对应的
（左图左下角）等等。不同的取样分割方式得到的黎曼和一般都不相同，而如果当
足够小的时候，所有的黎曼和都趋于某个极限，那幺这个极限就叫做函式f在闭区间[a,b]上的黎曼积分。即，S是函式f在闭区间[a,b]上的黎曼积分，若且唯若对于任意的
，都存在
，使得对于任意的取样分割
，只要它的子区间长度最大值
，就有：
也就是说，对于一个函式f，如果在闭区间[a,b]上，无论怎样进行取样分割，只要它的子区间长度最大值足够小，函式f的黎曼和都会趋向于一个确定的值S，那幺f在闭区间[a,b]上的黎曼积分存在，并且定义为黎曼和的极限S。这时候称函式f为黎曼可积的。将f在闭区间[a,b]上的黎曼积分记作：
勒贝格积分
勒贝格积分的出现源于机率论等理论中对更为不规则的函式的处理需要。黎曼积分无法处理这些函式的积分问题。因此，需要更为广义上的积分概念，使得更多的函式能够定义积分。同时，对于黎曼可积的函式，新积分的定义不应当与之冲突。勒贝格积分就是这样的一种积分。 黎曼积分对初等函式和分段连续的函式定义了积分的概念，勒贝格积分则将积分的定义推广到测度空间里。
勒贝格积分的概念定义在测度的概念上。测度是日常概念中测量长度、面积的推广，将其以公理化的方式定义。黎曼积分实际可以看成是用一系列矩形来儘可能铺满函式曲线下方的图形，而每个矩形的面积是长乘宽，或者说是两个区间之长度的乘积。测度为更一般的空间中的集合定义了类似长度的概念，从而能够“测量”更不规则的函式曲线下方图形的面积，从而定义积分。在一维实空间中，一个区间A= [a,b] 的勒贝格测度μ(A)是区间的右端值减去左端值，b−a。这使得勒贝格积分和正常意义上的黎曼积分相兼容。在更複杂的情况下，积分的集合可以更加複杂，不再是区间，甚至不再是区间的交集或并集，其“长度”则由测度来给出。
给定一个集合
上的
代数
以及
上的一个测度
，那幺对于
中的一个元素
，定义指示函式
关于测度
的积分为：
再定义可测的非负简单函式
（其中
）的积分为：
对于一般的函式
，如果对每个区间(a,b]，都满足
，那幺测度论中定义f是可测函式。对于一个非负的可测函式f，它的积分定义为：
为简单函式，并且
恆大于零
这个积分可以用以下的方式逼近：
直观上，这种逼近方式是将f的值域分割成等宽的区段，再考察每段的“长度”，用其测度表示，再乘以区段所在的高度。
至于一般的（有正有负的）可测函式f，它的积分是函式曲线在x轴上方“围出”的面积，减去曲线在x轴下方“围出”的面积。严格定义需要引进“正部函式”和“负部函式”的概念：
可以验证，总有
而f的积分定义为：
。以上定义有意义仅当
和
中至少有一个的值是有限的（否则会出现无穷大减无穷大的情况），这时称f的勒贝格积分存在或积分有意义。如果
和
都是有限的，那幺称f可积。
给定一个可测集合A，可以定义可积函式在A上的积分为：
其他定义
除了黎曼积分和勒贝格积分以外，还有若干不同的积分定义，适用于不同种类的函式。
达布积分：等价于黎曼积分的一种定义，比黎曼积分更加简单，可用来帮助定义黎曼积分。
黎曼－斯蒂尔杰斯积分：黎曼积分的推广，用一般的函式g(x)代替x作为积分变数，也就是将黎曼和中的
推广为
。
勒贝格－斯蒂尔杰斯积分：勒贝格积分的推广，推广方式类似于黎曼－斯蒂尔杰斯积分，用有界变差函式g代替测度
。
哈尔积分：由阿尔弗雷德·哈尔于1933年引入，用来处理局部紧拓扑群上的可测函式的积分，参见哈尔测度。
伊藤积分：由伊藤清于二十世纪五十年代引入，用于计算包含随机过程如维纳过程或半鞅的函式的积分。
性质
通常意义
积分都满足一些基本的性质。以下的
在黎曼积分意义上表示一个区间，在勒贝格积分意义下表示一个可测集合。
线性
积分是线性的。如果一个函式f可积，那幺它乘以一个常数后仍然可积。如果函式f和g可积，那幺它们的和与差也可积。
所有在
上可积的函式构成了一个线性空间。黎曼积分的意义上，所有区间[a,b]上黎曼可积的函式f和g都满足：
所有在可测集合
上勒贝格可积的函式f和g都满足：
在积分区域上，积分有可加性。黎曼积分意义上，如果一个函式f在某区间上黎曼可积，那幺对于区间内的三个实数a, b, c，有
如果函式f在两个不相交的可测集
和
上勒贝格可积，那幺
保号性
如果一个函式f在某个区间上黎曼可积，并且在此区间上大于等于零。那幺它在这个区间上的积分也大于等于零。如果f勒贝格可积并且几乎总是大于等于零，那幺它的勒贝格积分也大于等于零。作为推论，如果两个
上的可积函式f和g相比，f（几乎）总是小于等于g，那幺f的（勒贝格）积分也小于等于g的（勒贝格）积分。
如果黎曼可积的非负函式f在
上的积分等于0，那幺除了有限个点以外，
。如果勒贝格可积的非负函式f在
上的积分等于0，那幺f几乎处处为0。如果
中元素A的测度
等于0，那幺任何可积函式在A上的积分等于0。
函式的积分表示了函式在某个区域上的整体性质，改变函式某点的取值不会改变它的积分值。对于黎曼可积的函式，改变有限个点的取值，其积分不变。对于勒贝格可积的函式，某个测度为0的集合上的函式值改变，不会影响它的积分值。如果两个函式几乎处处相同，那幺它们的积分相同。如果对
中任意元素A，可积函式f在A上的积分总等于（大于等于）可积函式g在A上的积分，那幺f几乎处处等于（大于等于）g。
介值性质
如果f在
上可积，M和m分别是f在
上的最大值和最小值，那幺：
种类
- 黎曼积分
- 达布积分
- 勒贝格积分
- 黎曼-斯蒂尔吉斯积分
- 数值积分
相关知识
- 微积分基本定理
- 不定积分
- 定积分
- 积分符号
- 积分表