 Almost all standard results on "Lp" spaces do hold on Bochner spaces too; in particular, the Bochner spaces "Lp(X)" are Banach spaces for formula_1.Bochner spaces are named for the Polish-American mathematician Salomon Bochner.Bochner spaces are often used in the functional analysis approach to the study of partial differential equations that depend on time, e.g.