 Thus, if "X" is the set of complex numbers, it is the standard Lebesgue "Lp" space.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.