博赫纳积分

Template:No footnotes 在数学中，以萨洛蒙·博赫纳命名的博赫纳积分（Template:Lang-en）作为简单函数积分的极限，将勒贝格积分的定义推广到在巴拿赫空间中取值的函数。

定义

令(X, Σ, μ)为测度空间，B为巴拿赫空间。博赫纳积分以与勒贝格积分相同的方式定义。首先，简单函数是任意如下形式的有限和

$s(x)=\sum _{i=1}^n{\chi }_{E_i}(x)b_i$

其中E是_iσ-代数Σ的不相交元素，b_i是B的不同元素，而χ_E是E的指示函数。如果μ(E_i)每当b_i ≠ 0时有限，则简单函数是可积的，积分如下定义

$\underset{X}{\int }[\sum _{i=1}^n{\chi }_{E_i}(x)b_i]d\mu =\sum _{i=1}^n\mu (E_i)b_i$

与普通勒贝格积分完全相同。

可测量函数ƒ:X→B是博赫纳可积的，如果存在一列可积的简单函数s_n满足

$\underset{n\to \mathrm{\infty }}{\lim }\underset{X}{\int }\Vert f-s_n{\Vert }_{B}d\mu =0$，

其中左边的积分是普通勒贝格积分。

在这种情形下，博赫纳积分定义为

$\underset{X}{\int }fd\mu =\underset{n\to \mathrm{\infty }}{\lim }\underset{X}{\int }{s}_{n}d\mu$。

可以证明，函数是博赫纳可积的当且仅当它位于博赫纳空间 $L^1$。

参见

• Template:Link-en
• Template:Link-en
• 向量测度

参考文献

• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation
• Template:Springer
• Template:Springer