Bochner integral
= Bochner integral
{c}
{wiki}
The Bochner integral integrates a strongly measurable function taking values in a <Banach space>. It is obtained as a norm limit of integrals of simple vector-valued functions and satisfies the usual linearity and norm bound.