Definition
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 Ei are disjoint members of the σ-algebra Σ, the bi are distinct elements of B, and χE is the characteristic function of E. If μ(Ei) is finite whenever bi ≠ 0, then the simple function is integrable, and the integral 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 of integrable simple functions sn such that
where the integral on the left-hand side is an ordinary Lebesgue integral.
In this case, the Bochner integral is defined by
It can be shown that a function is Bochner integrable if and only if it lies in the Bochner space .
Read more about this topic: Bochner Integral
Famous quotes containing the word definition:
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)