Bochner measurable function (source code)

= Bochner measurable function
{wiki=Bochner_measurable_function}

A **Bochner measurable function** is a type of function that arises in the context of measure theory and functional analysis, particularly when dealing with vector-valued functions. A function is called Bochner measurable if it maps from a measurable space into a Banach space (a complete normed vector space) and satisfies certain measurability conditions with respect to the structure of the Banach space.