- Bochner integral
mathematics, the Bochner integral extends the definition of Lebesgue integralto 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 sumand 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 is "a fortiori" a
complete metric space, 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. However, some new difficulties arise when considering the integral of functions from a general measure spaceinto a Banach space. These difficulties may be addressed by a straightforward generalization of the usual approach to the Lebesgue integral via simple functions. An integral of a vector-valued function with respect to a measure is often called a Bochner integral, for Salomon Bochner.
Let ("X",Σ,μ) be a measure space and "B" a Banach space. The Bochner integral is defined in much the same way as the Lebesgue integral. First, a simple function is any finite sum of the form
where the "E"i are disjoint members of the σ-algebra Σ, the "b"i are distinct elements of "B", and χE is the
characteristic functionof "E". The integral of a simple function is then defined by
exactly as it is for the ordinary Lebesgue integral.
A measurable function ƒ : "X" → "B" is Bochner integrable if there exists a sequence "s"n of simple functions such that
where the integral on the left-hand side is an ordinary Lebesgue integral.
In this case, the Bochner integral is defined by
Many of the familiar properties of the Lebesgue integral continue to hold for the Bochner integral. Perhaps the most striking example is Bochner's criterion for integrability, which states that if ("X", Σ, μ) is a finite measure space, then a measurable function "f" : "X" → "B" is Bochner integrable if and only if
A version of the
dominated convergence theoremalso holds for the Bochner integral. Specifically, if "f""n" : "X" → "B" is a sequence of measurable functions tending almost everywhere to a limit function "f", and if
for almost every "x" ∈ "X", and "g" ∈ "L"1(μ), then
as "n"→∞ and
for all "E" ∈ Σ.
If "f" is Bochner integrable, then the inequality
for all "E" ∈ Σ. In particular, the set function
defines a countably-additive "B"-valued
vector measureon "X" which is absolutely continuouswith respect to μ.
An important fact about the Bochner integral is that the
Radon-Nikodym theorem"fails" to hold in general. This results in an important property of Banach spaces known as the Radon-Nikodym property. Specifically, if μ is a measure on the Banach space "B", then "B" has the Radon-Nikodym property with respect to μ if, for every vector measure on "X" with values in "B" which is absolutely continuous with respect to μ, there is a μ-integrable function "g" : "X" → "B" such that
for every measurable set "E". "B" has the Radon-Nikodym property if it has this property with respect to every finite measure. It is known that the space "ℓ"1 has the Radon-Nikodym property, but "c"0 and the space "L"1(Ω), for Ω an open, bounded domain in R"n", do not. Spaces with Radon-Nikodym property include separable dual spaces (this is the
Dunford–Pettis theorem) and reflexive spaces, which include, in particular, Hilbert spaces.
*citation|first=Joseph|last=Diestel|title=Sequences and series in Banach spaces. Graduate Texts in Mathematics|publisher=Springer-Verlag|year=1984|isbn=0-387-90859-5
*Citation | last1=Diestel | first1=J. | last2=Uhl | first2=J. J. | title=Vector measures | publisher=
American Mathematical Society| location=Providence, R.I. | isbn=978-0-8218-1515-1 | year=1977
* (now published by springer Verlag)
Wikimedia Foundation. 2010.
Look at other dictionaries:
Bochner-Integral — Das Bochner Integral, benannt nach Salomon Bochner, ist eine Verallgemeinerung des Lebesgue Integrals auf Banachraum wertige Funktionen. Inhaltsverzeichnis 1 Definition 2 Messbarkeitssatz von Pettis 3 Bochner Integrierbarkeit … Deutsch Wikipedia
Bochner space — In mathematics, Bochner spaces are a generalization of the concept of Lp spaces to more general domains and ranges than the initial definition, specifically by replacing the Lebesgue integral with the Bochner integral. They are often used in the… … Wikipedia
Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… … Wikipedia
Bestimmtes Integral — Anschauliche Darstellung des Integrals als Flächeninhalt S unter einer Kurve der Funktion f im Integrationsbereich von a bis b. Die Integralrechnung ist neben der Differentialrechnung der wichtigste Zweig der mathematischen Disziplin der … Deutsch Wikipedia
Uneigentliches Integral — Anschauliche Darstellung des Integrals als Flächeninhalt S unter einer Kurve der Funktion f im Integrationsbereich von a bis b. Die Integralrechnung ist neben der Differentialrechnung der wichtigste Zweig der mathematischen Disziplin der … Deutsch Wikipedia
Salomon Bochner — Infobox Scientist name = Salomon Bochner field = Mathematics alma mater = University of Berlin doctoral advisor = Erhard Schmidt doctoral students = Richard Askey Jeff Cheeger Hillel Furstenberg Israel Halperin known for = Bochner integral… … Wikipedia
Daniell integral — In mathematics, the Daniell integral is a type of integration that generalizes the concept of more elementary versions such as the Riemann integral to which students are typically first introduced. One of the main difficulties with the… … Wikipedia
Salomon Bochner — Pour les articles homonymes, voir Bochner. Salomon Bochner (20 août 1899 2 mai 1982) est un mathématicien américain d’origine austro hongroise, connu pour ses travaux en analyse, en théorie des probabilités et en géométrie différentielle.… … Wikipédia en Français
Henstock–Kurzweil integral — In mathematics, the Henstock–Kurzweil integral, also known as the Denjoy integral (pronounced [dɑ̃ˈʒwa]) and the Perron integral, is one of a number of definitions of the integral of a function. It is a generalization of the Riemann integral… … Wikipedia
Darboux integral — In real analysis, a branch of mathematics, the Darboux integral or Darboux sum is one possible definition of the integral of a function. Darboux integrals are equivalent to Riemann integrals, meaning that a function is Darboux integrable if and… … Wikipedia