• 正在加载中...
  • 积分”是个多义词,全部含义如下:

    纠错 | 编辑多义词

    积分[数学术语]

    积分是微积分学与数学分析里的一个核心概念。通常分为定积分和不定积分两种。直观地说,对于一个给定的正实值函数,在一个实数区间上的定积分可以理解为在坐标平面上,由曲线、直线以及轴围成的曲边梯形的面积值(一种确定的实数值)。 积分的一个严格的数学定义由波恩哈德·黎曼给出(参见条目“黎曼积分”)。黎曼的定义运用了极限的概念,把曲边梯形设想为一系列矩形组合的极限。从十九世纪起,更高级的积分定义逐渐出现,有了对各种积分域上的各种类型的函数的积分。比如说,路径积分是多元函数的积分,积分的区间不再是一条线段(区间[a,b]),而是一条平面上或空间中的曲线段;在面积积分中,曲线被三维空间中的一个曲面代替。对微分形式的积分是微分几何中的基本概念。

    编辑摘要

    基本信息 编辑信息模块

    中文名: 积分 英文名: integral
    基本原理: 微积分基本定理 提出者: 艾萨克·牛顿
    特点: 发展的动力来自于实际应用中的

    目录

    基本介绍/积分[数学术语] 编辑

    积分发展的动力源自实际应用中的需求。实际操作中,有时候可以用粗略的方式进行估算一些未知量,但随着科技的发展,很多时候需要知道精确的数值。要求简单几何形体的面积或体积,可以套用已知的公式。比如一个长方体状的游泳池的容积可以用长×宽×高求出。但如果游泳池是卵形、抛物型或更加不规则的形状,就需要用积分来求出容积。物理学中,常常需要知道一个物理量(比如位移)对另一个物理量(比如力)的累积效果,这时也需要用到积分。

    术语和标记/积分[数学术语] 编辑

    如果一个函数的积分存在,并且有限,就说这个函数是 可积的。一般来说,被积函数不一定只有一个变量,积分域也可以是不同维度的空间,甚至是没有直观几何意义的抽象空间。如同上面介绍的,对于只有一个变量x的实值函数f,f在闭区间[a,b]上的积分记作积分[数学术语]

    其中的 积分[数学术语]除了表示x是f中要进行积分的那个变量( 积分变量)之外,还可以表示不同的含义。在黎曼积分中, 积分[数学术语]表示分割区间的标记;在勒贝格积分中,表示一个测度;或仅仅表示一个独立的量(微分形式)。一般的区间或者积分范围J,J上的积分可以记作积分[数学术语]

    如果变量不只一个,比如说在二重积分中,函数积分[数学术语] 在区域D上的积分记作积分[数学术语] 或者 积分[数学术语]其中 积分[数学术语]与区域D对应,是相应积分域中的微分元。  

    严格定义/积分[数学术语] 编辑

    定义积分

    方法不止一种,各种定义之间也不是完全等价的。其中的差别主要是在定义某些特殊的函数:在某些积分的定义下这些函数不可积分,但在另一些定义之下它们的积分存在。然而有时也会因为教学的原因造成定义上的差别。最常见的积分定义是黎曼积分和勒贝格积分。

    黎曼积分

    黎曼积分得名于德国数学家波恩哈德·黎曼,建立在函数在区间取样分割后的黎曼和之上。设有闭区间[a,b],那么[a,b]的一个 分割是指在此区间中取一个有限的点列 积分[数学术语]。每个闭区间 积分[数学术语]叫做一个子区间。定义 积分[数学术语]为这些子区间长度的最大值:积分[数学术语] ,其中 积分[数学术语]。而闭区间[a,b]上的一个 取样分割是指在进行分割 积分[数学术语]后,于每一个子区间中 积分[数学术语]取出一点 积分[数学术语]

    对一个在闭区间[a,b]有定义的实值函数f,f关于取样分割 积分[数学术语]黎曼和定义为以下和式:

    积分[数学术语]


    图1图1

    和式中的每一项是子区间长度积分[数学术语] 与在 积分[数学术语]处的函数值 积分[数学术语]的乘积。直观地说,就是以标记点 积分[数学术语]到X轴的距离为高,以分割的子区间为长的矩形的面积。


    积分[数学术语]
    最简单的取样分割方法是将区间均匀地分成若干个长度相等的子区间,然后在每个子区间上按相同的准则取得标记点。例如取每个子区间右端 积分[数学术语](见左图左上角)或者取每个子区间上函数的极大值对应的 积分[数学术语](左图左下角)等等。不同的取样分割方式得到的黎曼和一般都不相同,而如果当 积分[数学术语]足够小的时候,所有的黎曼和都趋于某个极限,那么这个极限就叫做函数f在闭区间[a,b]上的黎曼积分。即,S是函数f在闭区间[a,b]上的黎曼积分,当且仅当对于任意的 积分[数学术语],都存在 积分[数学术语],使得对于任意的取样分割 积分[数学术语],只要它的子区间长度最大值积分[数学术语] ,就有:

    积分[数学术语]

    也就是说,对于一个函数f,如果在闭区间[a,b]上,无论怎样进行取样分割,只要它的子区间长度最大值足够小,函数f的黎曼和都会趋向于一个确定的值S,那么f在闭区间[a,b]上的黎曼积分存在,并且定义为黎曼和的极限S。这时候称函数f为 黎曼可积的。将f在闭区间[a,b]上的黎曼积分记作:

    积分[数学术语]

    勒贝格积分

    勒贝格积分的出现源于概率论等理论中对更为不规则的函数的处理需要。黎曼积分无法处理这些函数的积分问题。因此,需要更为广义上的积分概念,使得更多的函数能够定义积分。同时,对于黎曼可积的函数,新积分的定义不应当与之冲突。勒贝格积分就是这样的一种积分。 黎曼积分对初等函数和分段连续的函数定义了积分的概念,勒贝格积分则将积分的定义推广到测度空间里。

    勒贝格积分的概念定义在测度的概念上。测度是日常概念中测量长度、面积的推广,将其以公理化的方式定义。黎曼积分实际可以看成是用一系列矩形来尽可能铺满函数曲线下方的图形,而每个矩形的面积是长乘宽,或者说是两个区间之长度的乘积。测度为更一般的空间中的集合定义了类似长度的概念,从而能够“测量”更不规则的函数曲线下方图形的面积,从而定义积分。在一维实空间中,一个区间 A= [ a, b] 的勒贝格测度μ( A)是区间的右端值减去左端值, ba。这使得勒贝格积分和正常意义上的黎曼积分相兼容。在更复杂的情况下,积分的集合可以更加复杂,不再是区间,甚至不再是区间的交集或并集,其“长度”则由测度来给出。

    给定一个集合 积分[数学术语]上的 积分[数学术语]代数 积分[数学术语]以及 积分[数学术语]上的一个测度积分[数学术语] ,那么对于 积分[数学术语]中的一个元素 积分[数学术语],定义指示函数 积分[数学术语]关于测度积分[数学术语] 的积分为:积分[数学术语]

    再定义可测的非负简单函数 积分[数学术语](其中 积分[数学术语])的积分为:

    积分[数学术语]积分[数学术语]

    至于一般的(有正有负的) 可测函数f,它的积分是函数曲线在x轴上方“围出”的面积,减去曲线在x轴下方“围出”的面积。严格定义需要引进“正部函数”和“负部函数”的概念:
    直观上,这种逼近方式是将f的值域分割成等宽的区段,再考察每段的“长度”,用其测度表示,再乘以区段所在的高度。对于一般的函数 积分[数学术语],如果对每个区间(a,b],都满足积分[数学术语] ,那么测度论中定义f是可测函数。对于一个 非负的可测函数f,它的积分定义为: 积分[数学术语]为简单函数,并且积分[数学术语] 恒大于零 积分[数学术语]这个积分可以用以下的方式逼近:
    积分[数学术语]


    积分[数学术语]
    如果积分[数学术语] 则 积分[数学术语]否则积分[数学术语]

    积分[数学术语]如果积分[数学术语] 则 积分[数学术语]否则积分[数学术语]

    给定一个可测集合A,可以定义可积函数在A上的积分为:可以验证,总有 积分[数学术语]而f的积分定义为积分[数学术语]: 。以上定义有意义仅当 积分[数学术语]和 积分[数学术语]中至少有一个的值是有限的(否则会出现无穷大减无穷大的情况),这时称f的勒贝格 积分存在积分有意义。如果 积分[数学术语]和 积分[数学术语]都是有限的,那么称f 可积

    积分[数学术语]积分[数学术语]

    除了黎曼积分和勒贝格积分以外,还有若干不同的积分定义,适用于不同种类的函数。

    达布积分:等价于黎曼积分的一种定义,比黎曼积分更加简单,可用来帮助定义黎曼积分。

    黎曼-斯蒂尔杰斯积分:黎曼积分的推广,用一般的函数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在 积分[数学术语]上的最大值和最小值,那么:

    积分[数学术语]


    其中的积分[数学术语] 在黎曼积分中表示区间积分[数学术语] 的长度,在勒贝格积分中表示积分[数学术语] 的测度。  

    种类/积分[数学术语] 编辑

    • 黎曼积分

    • 达布积分

    • 勒贝格积分

    • 黎曼-斯蒂尔吉斯积分

    • 数值积分

    相关知识/积分[数学术语] 编辑

    • 微积分基本定理

    • 不定积分

    • 定积分

    • 积分符号

    • 积分表

    添加视频 | 添加图册相关影像

    开放分类 我来补充

    互动百科的词条(含所附图片)系由网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。未经许可,禁止商业网站等复制、抓取本站内容;合理使用者,请注明来源于www.baike.com。

    登录后使用互动百科的服务,将会得到个性化的提示和帮助,还有机会和专业认证智愿者沟通。

    互动百科用户登录注册
    此词条还可添加  信息模块

    WIKI热度

    1. 编辑次数:8次 历史版本
    2. 参与编辑人数:7
    3. 最近更新时间:2019-01-21 17:17:50

    相关词条

    互动百科

    扫码下载APP