新起点
可积函数
2020-06-13 09:56:36

数学上,可积函数是存在积分的函数。除非特别指明,一般积分是指勒贝格积分。否则,称函数为"黎曼可积"(也即黎曼积分存在),或者"Henstock-Kurzweil可积",等等。

注意,函数可以有不定积分(反导数),而并不在如下的定义中可积。例如函数

的不定积分,但是()不是实数上的可积函数。这种情况在不定积分在每个方向都有极限的时候也可能成立,例如

其导数 f ( x ) = cos ( x ) / x sin ( x ) / x 2 {\displaystyle f(x)=\cos(x)/x-\sin(x)/x^{2}} 及其上的σ-代数σ和σ上的一个测度,实值函数: → 是可积的如果正部 +和负部 −都是可测函数并且其勒贝格积分有限。令

为的"正部"和"负部"。如果可积,则其积分定义为

对于实数 ≥ 0,函数是-可积的如果||是可积的;对于 = 1,也称绝对可积。(注意()是可积的当且仅当|()|是可积的,所以"可积"和"绝对可积"在勒贝格意义下等价。)术语-可和也是一样的意义,常用于是一个序列,而μ是离散测度的情况下。

这些函数组成的空间是泛函分析研究中的主要对象之一。

我们说一个实变或者复变量的实值或者复值函数是在区间上平方可积的,如果其绝对值的平方在该区间上的积分是有限的。所有在勒贝格积分意义下平方可积的可测函数构成一个希尔伯特空间,也就是所谓的L2空间,几乎处处相等的函数归为同一等价类。形式上,2是平方可积函数的空间和几乎处处为0的函数空间的商空间。

这在量子力学上很有用,因为波函数必须在空间上平方可积才能从理论中得到物理可能解。

网站公告: