數學上,可積函數是存在積分的函數。除非特別指明,一般積分是指勒貝格積分。否則,稱函數為"黎曼可積"(也即黎曼積分存在),或者"Henstock-Kurzweil可積",等等。
![]() |
注意,函數可以有不定積分(反導數),而並不在如下的定義中可積。例如函數
是
的不定積分,但是f(x)不是實數上的可積函數。這種情況在不定積分在每個方向都有極限的時候也可能成立,例如
其導數不是從1到無窮可積的。積分區間不是無窮的時候也會出現這種情況,譬如不定積分
其導數不是從0到1可積的。(無論f(x)在0點取何值,它都是在該點不連續的,而F'(0)無定義,所以微積分基本定理在[0, 1]上不適用。)
給定集合X及其上的σ-代數σ和σ上的一個測度,實值函數f:X → R是可積的如果正部f +和負部f −都是可測函數並且其勒貝格積分有限。令
為f的"正部"和"負部"。如果f可積,則其積分定義為
對於實數 p ≥ 0,函數f是p-可積的如果|f|p是可積的;對於p = 1,也稱絕對可積。(注意f(x)是可積的若且唯若|f(x)|是可積的,所以"可積"和"絕對可積"在勒貝格意義下等價。)術語p-可和也是一樣的意義,常用於f是一個序列,而μ是離散測度的情況下。
我們說一個實變或者復變量的實值或者複值函數是在區間上平方可積的,如果其絕對值的平方在該區間上的積分是有限的。所有在勒貝格積分意義下平方可積的可測函數構成一個希爾伯特空間,也就是所謂的L2空間,幾乎處處相等的函數歸為同一等價類。[1]形式上,L2是平方可積函數的空間和幾乎處處為0的函數空間的商空間。
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.