博赫納積分

在數學中，以薩洛蒙·博赫納命名的博赫納積分（英語：Bochner integral）作為簡單函數積分的極限，將勒貝格積分的定義推廣到在巴拿赫空間中取值的函數。

定義

令(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時有限，則簡單函數是可積的，積分如下定義

$\int _{X}\left[\sum _{i=1}^{n}\chi _{E_{i}}(x)b_{i}\right]\,d\mu =\sum _{i=1}^{n}\mu (E_{i})b_{i}$

與普通勒貝格積分完全相同。

可測量函數ƒ:X→B是博赫納可積的，如果存在一列可積的簡單函數s_n滿足

$\lim _{n\to \infty }\int _{X}\|f-s_{n}\|_{B}\,d\mu =0$，

其中左邊的積分是普通勒貝格積分。

在這種情形下，博赫納積分定義為

$\int _{X}f\,d\mu =\lim _{n\to \infty }\int _{X}s_{n}\,d\mu$。

可以證明，函數是博赫納可積的若且唯若它位於博赫納空間 $L^{1}$。

參見

• 博赫納空間
• 佩蒂斯積分
• 向量測度

參考文獻

• Bochner, Salomon, Integration von Funktionen, deren Werte die Elemente eines Vektorraumes sind (PDF), Fundamenta Mathematicae, 1933, 20: 262–276 [2017-02-17], （原始內容存檔 (PDF)於2018-07-21） 
• Cohn, Donald, Measure Theory, Springer, 2013 [2017-02-17], ISBN 978-1-4614-6955-1, （原始內容存檔於2020-08-29） 
• Yosida, Kôsaku, Functional Analysis, Springer, 1980 [2017-02-17], ISBN 978-3-540-58654-8, （原始內容存檔於2020-08-08） 
• Diestel, Joseph, Sequences and Series in Banach Spaces, Springer, 1984 [2017-02-17], ISBN 0-387-90859-5, （原始內容存檔於2020-10-27） 
• Diestel; Uhl, Vector measures, American Mathematical Society, 1977 [2017-02-17], ISBN 978-0-8218-1515-1, （原始內容存檔於2020-07-23） 
• Hille, Einar; Phillips, Ralph, Functional Analysis and Semi-Groups, American Mathematical Society, 1957, ISBN 0-8218-1031-6 
• Lang, Serge, Real and Functional Analysis 3rd, Springer, 1993, ISBN 978-0387940014 
• Sobolev, V. I., Bochner integral, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
• van Dulst, D., Vector measures, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4