複製鏈接
請複製以下鏈接發送給好友

可積函數

鎖定
數學上,可積函數是存在積分的函數。除非特別指明,一般積分是指勒貝格積分;否則,稱函數為"黎曼可積"(也即黎曼積分存在),或者"Henstock-Kurzweil可積",等等。黎曼積分在應用領域取得了巨大的成功,但是黎曼積分的應用範圍因為其定義的侷限而受到限制;勒貝格積分是在勒貝格測度理論的基礎上建立起來的,函數可以定義在更一般的點集上,更重要的是它提供了比黎曼積分更廣泛有效的收斂定理,因此,勒貝格積分的應用領域更加廣泛。
中文名
可積函數
外文名
Integrable function
定    義
如果f(x)在[a,b]上的定積分存在
分    類
黎曼積分、勒貝格積分
充分條件
f(x)在區間[a,b]上連續
勒貝格可積性
可積函數是存在積分的函數
類    型
數學學科概念

可積函數定義

黎曼可積
是定義在區間
上的一個函數,
是一個確定的實數。若對任意的正數
,總存在某一正數
,使得對
的任何分割
,以及在其上任意選擇的點集
,只要
,就有
,則稱
在區間
上可積或黎曼可積 [1] 
勒貝格積分
定義勒貝格積分常用的方法:
對可測集
上的有界可測函數
,找一串數
,使
,任取
,討論和式
,當
時,極限是否存在。 [2] 
黎曼積分與勒貝格積分
黎曼積分在應用領域取得了巨大的成功,但是黎曼積分的應用範圍因為其定義的侷限而受到限制。由於黎曼可積函數主要是連續函數或不連續點不太多的函數,使得黎曼積分在量子力學概率論中的應用都遇到了瓶頸。僅從數學分析中的一些重要結果如積分與極限交換次序、重積分交換次序、牛頓一萊布尼茨公式等來看,黎曼積分要求的條件苛刻,對於一些問題的處理顯得力不從心,但是在勒貝格積分的框架下,上述問題就會得到較為圓滿的解決。另外為引入積分而得到的勒貝格測度概念還使數學分析中本來很難講清楚的一些道理(如單調函數的可微性、黎曼可積的充要條件等)變得清晰。 [2] 
勒貝格積分是在勒貝格測度理論的基礎上建立起來的。這一積分可以統一處理函數有界與無界的情形,函數也可以定義在更一般的點集上,更重要的是它提供了比黎曼積分更廣泛有效的收斂定理。因此,勒貝格積分的應用領域更加廣泛,特別對概率論與數理統計的深入學習有十分重要的意義。 [2] 

可積函數黎曼可積

可積函數充分條件

(1)設
在區間
連續,則
上可積。
(2)設
在區間
上有界,且只有有限個間斷點,則
上可積。
(3)設
在區間
上單調有界,則
上可積。 [3] 

可積函數必要條件

定理:若函數
上可積,則
上必有界。
該定理指出,任何一個可積函數一定是有界的,但是需要注意的是,有界函數不一定可積,如狄利克雷函數
上有界但是不可積。 [4] 

可積函數充要條件

為對
的任一分割。由
上有界,它在每個
上存在上、下確界,記為
,設
,稱為
上的振幅。
定理1(可積準則):函數
上可積的充分必要條件是對任意的
,總存在相應的一個分割
,使得
關於分割
的上和
和下和
滿足
定理2:函數
上可積的充分必要條件是對任意的
,總存在相應的一個分割
,使得
[4] 

可積函數性質

函數乘積的可積性
設函數
在區間
上可積,那麼乘積
也可積。 [3] 
函數絕對值的可積性
如果函數
在區間
上可積,那麼它的絕對值函數
也可積,並且滿足:
積分值為正的條件
(1)設函數
在區間
上恆正、可積,那麼
(2)設函數
在區間
上非負、可積,那麼
在區間
的每個閉子區間上
都有零點。 [3] 
複合函數的可積性
設函數
在區間
可積,m 和 M 是它的上界和下界(m<M),函數
在 [m,M] 上連續,那麼複合函數
在區間
可積。 [3] 
參考資料
  • 1.    段雅麗編著 .微積分學習指導 上.北京:中國科學技術大學出版社,2014:155-157
  • 2.    張波,張倫傳編.實變函數論講義.北京:清華大學出版社,2012:75-79
  • 3.    丁曉慶編著.數學分析 第3冊 典型問題與習題集.北京:清華大學出版社,2014:103-105
  • 4.    華東師範大學數學系編.數學分析(第三版)(上冊).北京:高等教育出版社,2001:207-212