Bochner integral
From Wikipedia, the free encyclopedia
In mathematics, the Bochner integral extends the definition of Lebesgue integral to functions which take values in a Banach space.
The theory of vector-valued functions is a chapter of mathematical analysis, concerned with the generalisation to functions taking values in a Banach space, or more general topological vector space, of the notions of infinite sum and integral. It includes as a particular case the idea of operator-valued function, basic in spectral theory, and this case provided much of the motivation around 1930. When the vectors lie in a space of finite dimension, everything typically can be done component-by-component.
Infinite sums of vectors in a Banach space B, which are a fortiori complete metric spaces, converge just when they are Cauchy sequences with respect to the norm of the space. This case, of functions from the natural numbers to B, presents no particular fresh difficulty. An integral of a vector-valued function with respect to a measure is often called a Bochner integral, for Salomon Bochner. Modern developments of Lebesgue integration often include this case, which does not require major modification of the theory based on real-valued functions.
[edit] References
- Bochner, Solomon Integration von Funktionen, dern Wert die Elemente eines Vectorraumes sind, Fundamenta Mathematicae 20 (1933). pp.262-276
