微积分定绩分-黎曼积分.doc

微積分:定績分-黎曼積分. 勒貝格積分 在實分析中，由黎曼創立的黎曼積分（Riemann integral）首次對函數在給定區間上的積分給出了一個精確定義。黎曼積分在技術上的某些不足之處可由後來的黎曼－斯蒂爾傑斯積分和勒貝格積分得到修補。 概念 作為曲線與坐標軸所夾面積的黎曼積分 對於一在區間[a,b]上之給定非負函數f(x)，我們想要確定f(x)所代表的曲線與X坐標軸所夾圖形的面積，我們可以將此記為 黎曼積分的核心思想就是試圖通過無限逼近來確定這個積分值。同時請注意，如f(x)取負值，則相應的面積值S亦取負值。 一列黎曼和。右上角的數字錶示分割的矩形數。這列黎曼和趨於一個定值，記為此函數的黎曼積分。 定義 區間的分割 一個閉區間[a,b]的一個分割是指在此區間中取一個有限的點列。每個閉區間[xi,xi + 1]叫做一個子區間。定義λ 為這些子區間長度的最大值：λ = max(xi + 1 ? xi)，其中。 再定義取樣分割。一個閉區間[a,b]的一個取樣分割是指在進行分割後，於每一個子區間中[xi,xi + 1]取出一點 。λ的定義同上。 精細化分割：設以及構成了閉區間[a,b]的一個取樣分割，和是另一個分割。如果對於任意，都存在r(i)使得xi = yr(i)，並存在使得ti = sj，那麼就把分割：、稱作分割、的一個精細化分割。簡單來說，就是說後一個分割是在前一個分割的基礎上添加一些分點和標記。 於是我們可以在此區間的所有取樣分割中定義一個偏序關係，稱作「精細」。如果一個分割是另外一個分割的精細化分割，就說前者比後者更「精細」。對一個在閉區間[a,b]有定義的實值函數f，f關於取樣分割 、的黎曼和定義為以下和式： 和式中的每一項是子區間長度xi + 1 ? xi與在ti處的函數值f(ti)的乘積。直觀地說，就是以標記點ti到X軸的距離為高，以分割的子區間為長的矩形的面積。 黎曼積分 不太嚴格地來說，黎曼積分就是當分割越來越「精細」的時候，黎曼和趨向的極限。下面的證明中，會對「越來越『精細』」作出嚴格的定義。 要使得「越來越『精細』」有效，需要把λ趨於0。如此[xi,xi + 1]中的函數值才會與f(ti)接近，矩形面積的和與「曲線下方」的面積的差也會越來越小。實際上，這就是黎曼積分定義的大概描述。 嚴格定義如下：S是函數f在閉區間[a,b]上的黎曼積分，若且唯若對於任意的ε 0，都存在δ 0，使得對於任意的取樣分割、，只要它的子區間長度最大值 ，就有： 也就是說，對於一個函數f，如果在閉區間[a,b]上，無論怎樣進行取樣分割，只要它的子區間長度最大值足夠小，函數f的黎曼和都會趨向於一個確定的值，那麼f在閉區間[a,b]上的黎曼積分存在，並且定義為黎曼和的極限，這時候稱函數f為黎曼可積的。 這個定義的缺陷是沒有可操作性，因為要檢驗所有的取樣分割是難以做到的。下面引進另一個定義，然後證明它們是等價的。 另一個定義: S是函數f在閉區間[a,b]上的黎曼積分，若且唯若對於任意的ε 0，都存在一個取樣分割、，使得對於任何比其「精細」的分割 and ，都有： 這兩個定義是等價的。如果有一個S滿足了其中一個定義，那麼它也滿足另一個。首先，如果有一個S滿足第一個定義，那麼只需要在子區間長度最大值的分割中任取一個。對於比其精細的分割，子區間長度最大值顯然也會小於δ，於是滿足 其次證明滿足第二個定義的S也滿足第一個定義。首先引進達布積分的概念，第二個定義和達布積分的定義是等價的，具體見達布積分。其次我們證明達布積分的定義滿足第一個定義。任選一個分割使得它的上達布和與下達布和都與S相差不超過 。令r等於，其中Mi和mi是f在[xi,xi + 1]上的上確界和下確界。再令δ是和中的較小者。可以看出，當一個分割的子區間長度最大值小於δ時， f關於它的黎曼和與上達布和或下達布和至多相差，所以和S至多相差ε。 由於以上原因，黎曼積分通常被定義為達布積分（即第二個定義），因為達布積分比黎曼積分更簡單、更有可操作性。 黎曼積分的性質 線性性：黎曼積分是線性變換，也就是說，如果f 和g 在區間[a,b]上黎曼可積，α和β是常數，則： 由於一個函數的黎曼積分是一個實數，因此在固定了一個區間[a,b] 後，將一個黎曼可積的函數設到其黎曼積分的映射是所有黎曼可積的函數空間上的一個線性泛函。 正定性：如果函數f 在區間[a,b]上幾乎處處（勒貝格測度意義上）大於等於0，那麼它在[a,b]上的積分也大於等於零。如果f 在區間[a,b]上幾乎處處大於等於0，並且它在[a,b]上的積分等於0，那麼f 幾乎處處為0。 可加性：如果函數f 在區間[a,c] 和[c,b] 上都可積，那麼f 在區間[a,b] 上也可積，並且有 無論a、b、c之間的大小關係如何，