- 小菜G的建站之路
-
积分 是微积分学与数学分析里的一个核心概念。通常分为 定积分 和 不定积分 两种。直观地说,对于一个给定的正实值函式,在一个实数区间上的定积分可以理解为在坐标平面上,由曲线、直线以及轴围成的曲边梯形的面积值(一种确定的 实数 值)。
积分的一个严格的数学定义由波恩哈德·黎曼给出(参见条目“黎曼积分”)。黎曼的定义运用了极限的概念,把曲边梯形构想为一系列矩形组合的极限。从十九世纪起,更高级的积分定义逐渐出现,有了对各种 积分域 上的各种类型的函式的积分。比如说,路径积分是多元函式的积分,积分的区间不再是一条线段(区间[a,b]),而是一条平面上或空间中的曲线段;在面积积分中,曲线被三维空间中的一个曲面代替。对微分形式的积分是微分几何中的基本概念。
基本介绍
- 中文名 :积分
- 外文名 :integral
- 基本原理 :微积分基本定理
- 提出者 :艾萨克·牛顿
- 特点 :发展的动力来自于实际套用中的
基本介绍
积分发展的动力源自实际套用中的需求。实际操作中,有时候可以用粗略的方式进行估算一些未知量,但随着科技的发展,很多时候需要知道精确的数值。要求简单几何形体的面积或体积,可以套用已知的公式。比如一个长方体状的游泳池的容积可以用长×宽×高求出。但如果游泳池是卵形、抛物型或更加不规则的形状,就需要用积分来求出容积。物理学中,常常需要知道一个物理量(比如位移)对另一个物理量(比如力)的累积效果,这时也需要用到积分。术语和标记
如果一个函式的积分存在,并且有限,就说这个函式是 可积的 。一般来说,被积函式不一定只有一个变数,积分域也可以是不同维度的空间,甚至是没有直观几何意义的抽象空间。如同上面介绍的,对于只有一个变数x的实值函式f,f在闭区间[a,b]上的积分记作 其中的 除了表示x是f中要进行积分的那个变数( 积分变数 )之外,还可以表示不同的含义。在黎曼积分中, 表示分割区间的标记;在勒贝格积分中,表示一个测度;或仅仅表示一个独立的量(微分形式)。一般的区间或者积分范围J,J上的积分可以记作 如果变数不只一个,比如说在二重积分中,函式 在区域D上的积分记作 或者 其中 与区域D对应,是相应积分域中的微分元。严格定义
定义积分
方法不止一种,各种定义之间也不是完全等价的。其中的差别主要是在定义某些特殊的函式:在某些积分的定义下这些函式不可积分,但在另一些定义之下它们的积分存在。然而有时也会因为教学的原因造成定义上的差别。最常见的积分定义是黎曼积分和勒贝格积分。黎曼积分
黎曼积分得名于德国数学家波恩哈德·黎曼,建立在函式在区间取样分割后的黎曼和之上。设有闭区间[a,b],那么[a,b]的一个 分割 是指在此区间中取一个有限的点列 。每个闭区间 叫做一个子区间。定义 为这些子区间长度的最大值: ,其中 。而闭区间[a,b]上的一个 取样分割 是指在进行分割 后,于每一个子区间中 取出一点 。 对一个在闭区间[a,b]有定义的实值函式f,f关于取样分割 的 黎曼和 定义为以下和式: 和式中的每一项是子区间长度 与在 处的函式值 的乘积。直观地说,就是以标记点 到X轴的距离为高,以分割的子区间为长的矩形的面积。 图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 u2212 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勒贝格可积,那么对任意 ,都存在 ,使得 中任意的元素A,只要 ,就有保号性
如果一个函式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在 上的最大值和最小值,那么: 其中的 在黎曼积分中表示区间 的长度,在勒贝格积分中表示 的测度。种类
- 黎曼积分
- 达布积分
- 勒贝格积分
- 黎曼-斯蒂尔吉斯积分
- 数值积分
相关知识
- 微积分基本定理
- 不定积分
- 定积分
- 积分符号
- 积分表