基本介紹
積分發展的動力源自實際套用中的需求。實際操作中,有時候可以用粗略的方式進行估算一些未知量,但隨著科技的發展,很多時候需要知道精確的數值。要求簡單幾何形體的面積或體積,可以套用已知的公式。比如一個長方體狀的游泳池的容積可以用長×寬×高求出。但如果游泳池是卵形、拋物型或更加不規則的形狀,就需要用積分來求出容積。物理學中,常常需要知道一個物理量(比如位移)對另一個物理量(比如力)的累積效果,這時也需要用到積分。
術語和標記
如果一個函式的積分存在,並且有限,就說這個函式是 可積的。一般來說,被積函式不一定只有一個變數,積分域也可以是不同維度的空間,甚至是沒有直觀幾何意義的抽象空間。如同上面介紹的,對於只有一個變數x的實值函式f,f在閉區間[a,b]上的積分記作
其中的除了表示x是f中要進行積分的那個變數( 積分變數)之外,還可以表示不同的含義。在黎曼積分中,
表示分割區間的標記;在勒貝格積分中,表示一個測度;或僅僅表示一個獨立的量(微分形式)。一般的區間或者積分範圍J,J上的積分可以記作
如果變數不只一個,比如說在二重積分中,函式在區域D上的積分記作
或者
其中
與區域D對應,是相應積分域中的微分元。
嚴格定義
定義積分
方法不止一種,各種定義之間也不是完全等價的。其中的差別主要是在定義某些特殊的函式:在某些積分的定義下這些函式不可積分,但在另一些定義之下它們的積分存在。然而有時也會因為教學的原因造成定義上的差別。最常見的積分定義是黎曼積分和勒貝格積分。黎曼積分
黎曼積分得名於德國數學家波恩哈德·黎曼,建立在函式在區間取樣分割後的黎曼和之上。設有閉區間[a,b],那么[a,b]的一個分割是指在此區間中取一個有限的點列![積分[數學術語]](/img/2/53d/wZwpmLxcTO3IDO2cjN1IDN0UTMyITNykTO0EDMwAjMwUzL3YzLzAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/e/d58/wZwpmL1gjMwgjN4ATO4EDN0UTMyITNykTO0EDMwAjMwUzLwkzLzIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![積分[數學術語]](/img/3/2f8/wZwpmLwIDNxAjMxMTMzEDN0UTMyITNykTO0EDMwAjMwUzLzEzLyIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![積分[數學術語]](/img/a/6c2/wZwpmL3ITO2MTN3ADO3EDN0UTMyITNykTO0EDMwAjMwUzLwgzLyEzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/a/c99/wZwpmLxIjMwITNxgDNxMDN0UTMyITNykTO0EDMwAjMwUzL4QzL3EzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/2/53d/wZwpmLxcTO3IDO2cjN1IDN0UTMyITNykTO0EDMwAjMwUzL3YzLzAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/e/d58/wZwpmL1gjMwgjN4ATO4EDN0UTMyITNykTO0EDMwAjMwUzLwkzLzIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![積分[數學術語]](/img/f/c38/wZwpmLyYTOzMTN1IzM0IDN0UTMyITNykTO0EDMwAjMwUzLyMzL2czLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
對一個在閉區間[a,b]有定義的實值函式f,f關於取樣分割的 黎曼和定義為以下和式:
![積分[數學術語]](/img/5/365/wZwpmLzcTNwQTNwMzMzIDN0UTMyITNykTO0EDMwAjMwUzLzMzLxQzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)

和式中的每一項是子區間長度與在
處的函式值
的乘積。直觀地說,就是以標記點
到X軸的距離為高,以分割的子區間為長的矩形的面積。
積分[數學術語]最簡單的取樣分割方法是將區間均勻地分成若干個長度相等的子區間,然後在每個子區間上按相同的準則取得標記點。例如取每個子區間右端(見左圖左上角)或者取每個子區間上函式的極大值對應的
(左圖左下角)等等。不同的取樣分割方式得到的黎曼和一般都不相同,而如果當
足夠小的時候,所有的黎曼和都趨於某個極限,那么這個極限就叫做函式f在閉區間[a,b]上的黎曼積分。即,S是函式f在閉區間[a,b]上的黎曼積分,若且唯若對於任意的
,都存在
,使得對於任意的取樣分割
,只要它的子區間長度最大值
,就有:
![積分[數學術語]](/img/5/6e6/wZwpmLxcjM3IDO4kTNwMDN0UTMyITNykTO0EDMwAjMwUzL5UzL2EzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
也就是說,對於一個函式f,如果在閉區間[a,b]上,無論怎樣進行取樣分割,只要它的子區間長度最大值足夠小,函式f的黎曼和都會趨向於一個確定的值S,那么f在閉區間[a,b]上的黎曼積分存在,並且定義為黎曼和的極限S。這時候稱函式f為 黎曼可積的。將f在閉區間[a,b]上的黎曼積分記作:
![積分[數學術語]](/img/1/a12/wZwpmLxQzMxITM1IzM0IDN0UTMyITNykTO0EDMwAjMwUzLyMzLxMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
勒貝格積分
勒貝格積分的出現源於機率論等理論中對更為不規則的函式的處理需要。黎曼積分無法處理這些函式的積分問題。因此,需要更為廣義上的積分概念,使得更多的函式能夠定義積分。同時,對於黎曼可積的函式,新積分的定義不應當與之衝突。勒貝格積分就是這樣的一種積分。黎曼積分對初等函式和分段連續的函式定義了積分的概念,勒貝格積分則將積分的定義推廣到測度空間裡。
勒貝格積分的概念定義在測度的概念上。測度是日常概念中測量長度、面積的推廣,將其以公理化的方式定義。黎曼積分實際可以看成是用一系列矩形來儘可能鋪滿函式曲線下方的圖形,而每個矩形的面積是長乘寬,或者說是兩個區間之長度的乘積。測度為更一般的空間中的集合定義了類似長度的概念,從而能夠“測量”更不規則的函式曲線下方圖形的面積,從而定義積分。在一維實空間中,一個區間 A= [ a, b] 的勒貝格測度μ( A)是區間的右端值減去左端值, b− a。這使得勒貝格積分和正常意義上的黎曼積分相兼容。在更複雜的情況下,積分的集合可以更加複雜,不再是區間,甚至不再是區間的交集或並集,其“長度”則由測度來給出。
給定一個集合上的
代數
以及
上的一個測度
,那么對於
中的一個元素
,定義指示函式
關於測度
的積分為:
再定義可測的非負簡單函式(其中
)的積分為:
![積分[數學術語]](/img/5/0ab/wZwpmLxYTN4QTN1EDNxMDN0UTMyITNykTO0EDMwAjMwUzLxQzLyUzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
至於一般的(有正有負的)可測函式f,它的積分是函式曲線在x軸上方“圍出”的面積,減去曲線在x軸下方“圍出”的面積。嚴格定義需要引進“正部函式”和“負部函式”的概念:
直觀上,這種逼近方式是將f的值域分割成等寬的區段,再考察每段的“長度”,用其測度表示,再乘以區段所在的高度。對於一般的函式
![積分[數學術語]](/img/d/b2b/wZwpmLwgDOwYTO0IzM0IDN0UTMyITNykTO0EDMwAjMwUzLyMzLyUzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/a/f16/wZwpmL2cTNwQDMwkDO0ATN0UTMyITNykTO0EDMwAjMwUzL5gzLzEzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/b/f9c/wZwpmLxEDN0QDM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL2gzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/8/f36/wZwpmLwIDO0ATNyUjNxIDN0UTMyITNykTO0EDMwAjMwUzL1YzLyYzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/0/7a9/wZwpmL1ATOwYDNxMDO4EDN0UTMyITNykTO0EDMwAjMwUzLzgzLyEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![積分[數學術語]](/img/d/722/wZwpmL3UjM1cjN0IzM0IDN0UTMyITNykTO0EDMwAjMwUzLyMzL4IzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
如果
則
否則
如果
則
否則
給定一個可測集合A,可以定義可積函式在A上的積分為:可以驗證,總有而f的積分定義為
: 。以上定義有意義僅當
和
中至少有一個的值是有限的(否則會出現無窮大減無窮大的情況),這時稱f的勒貝格 積分存在或 積分有意義。如果
和
都是有限的,那么稱f 可積。
![積分[數學術語]](/img/b/e9c/wZwpmLxQDN4IDOwMjM4IDN0UTMyITNykTO0EDMwAjMwUzLzIzL4YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
除了黎曼積分和勒貝格積分以外,還有若干不同的積分定義,適用於不同種類的函式。
達布積分:等價於黎曼積分的一種定義,比黎曼積分更加簡單,可用來幫助定義黎曼積分。
黎曼-斯蒂爾傑斯積分:黎曼積分的推廣,用一般的函式g(x)代替x作為積分變數,也就是將黎曼和中的推廣為
。
勒貝格-斯蒂爾傑斯積分:勒貝格積分的推廣,推廣方式類似於黎曼-斯蒂爾傑斯積分,用有界變差函式g代替測度。
哈爾積分:由阿爾弗雷德·哈爾於1933年引入,用來處理局部緊拓撲群上的可測函式的積分,參見哈爾測度。
伊藤積分:由伊藤清於二十世紀五十年代引入,用於計算包含隨機過程如維納過程或半鞅的函式的積分。
性質
通常意義
積分都滿足一些基本的性質。以下的在黎曼積分意義上表示一個區間,在勒貝格積分意義下表示一個可測集合。
線性
積分是線性的。如果一個函式f可積,那么它乘以一個常數後仍然可積。如果函式f和g可積,那么它們的和與差也可積。
![積分[數學術語]](/img/1/252/wZwpmL3cDOzETO4kTNwMDN0UTMyITNykTO0EDMwAjMwUzL5UzLxYzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
所有在上可積的函式構成了一個線性空間。黎曼積分的意義上,所有區間[ a, b]上黎曼可積的函式f和g都滿足:
![積分[數學術語]](/img/3/466/wZwpmL3cDN5QTMwITN2IDN0UTMyITNykTO0EDMwAjMwUzLyUzL1EzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
所有在可測集合上勒貝格可積的函式f和g都滿足:
![積分[數學術語]](/img/b/2ad/wZwpmL2QDO0UjM5gDM5IDN0UTMyITNykTO0EDMwAjMwUzL4AzL1AzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
在積分區域上,積分有可加性。黎曼積分意義上,如果一個函式f在某區間上黎曼可積,那么對於區間內的三個實數a, b, c,有
![積分[數學術語]](/img/b/3da/wZwpmLyMDN1cDOxUjNxIDN0UTMyITNykTO0EDMwAjMwUzL1YzLzAzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
如果函式f在兩個不相交的可測集和
上勒貝格可積,那么
![積分[數學術語]](/img/a/294/wZwpmL4EDO2MTMxkDO0ATN0UTMyITNykTO0EDMwAjMwUzL5gzL3UzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
如果函式f勒貝格可積,那么對任意,都存在
,使得
中任意的元素A,只要
,就有
![積分[數學術語]](/img/b/c53/wZwpmL3MTO3EDNxgTN2IDN0UTMyITNykTO0EDMwAjMwUzL4UzL0gzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
保號性
如果一個函式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在
上的最大值和最小值,那么:
![積分[數學術語]](/img/d/76e/wZwpmLxYTM0gDN2cjN1IDN0UTMyITNykTO0EDMwAjMwUzL3YzL2gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
其中的在黎曼積分中表示區間
的長度,在勒貝格積分中表示
的測度。
種類
•黎曼積分
•達布積分
•勒貝格積分
•黎曼-斯蒂爾吉斯積分
•數值積分
相關知識
•微積分基本定理
•不定積分
•定積分
•積分符號
•積分表