Bochner measurable function
In mathematics – specifically, in functional analysis – a Bochner-measurable function taking values in a Banach space is a function that equals almost everywhere the limit of a sequence of measurable countably-valued functions, i.e.,
where the functions each have a countable range and for which the pre-image is measurable for each element x. The concept is named after Salomon Bochner.
Bochner-measurable functions are sometimes called strongly measurable, -measurable or just measurable (or uniformly measurable in case that the Banach space is the space of continuous linear operators between Banach spaces).
Properties[edit]
The relationship between measurability and weak measurability is given by the following result, known as Pettis' theorem or Pettis measurability theorem.
Function f is almost surely separably valued (or essentially separably valued) if there exists a subset N ⊆ X with μ(N) = 0 such that f(X \ N) ⊆ B is separable.
A function f : X → B defined on a measure space (X, Σ, μ) and taking values in a Banach space B is (strongly) measurable (with respect to Σ and the Borel algebra on B) if and only if it is both weakly measurable and almost surely separably valued.
In the case that B is separable, since any subset of a separable Banach space is itself separable, one can take N above to be empty, and it follows that the notions of weak and strong measurability agree when B is separable.
See also[edit]
- Bochner integral
- Bochner space – Type of topological space
- Measurable function – Function for which the preimage of a measurable set is measurable
- Measurable space – Basic object in measure theory; set and a sigma-algebra
- Pettis integral
- Vector measure
- Weakly measurable function
References[edit]
- Showalter, Ralph E. (1997). "Theorem III.1.1". Monotone operators in Banach space and nonlinear partial differential equations. Mathematical Surveys and Monographs 49. Providence, RI: American Mathematical Society. p. 103. ISBN 0-8218-0500-2. MR 1422252..