Is every integrable mapping defined in a general measure space to a Banach space measurable?
The answer is yes if it is function (real valued). The answer is yes if it is a mapping into a Banach space but defined on euclidean space.
The monograph by J. Mikisuinski says that you must add this fact as an axiom for general Bochner integral. Serge Lang in his book "real analysis" defines Lebesgue integral for mappings into a Banach space and specifically insists on measurability but definition makes sense if a mapping f is not measurable but | f| is |f| is a real valued function . So why should we force measurability?
As far as I know, nobody has given a specific mapping say on a locally compact space to a Banach space which is integrable and of course |f| measurable but f not measurable.Can somebody furnish an actual example? Will it involve transfinite induction (axiom of choice in some form)? Will it involve a cardinal greater than the cardinal number of real line? a transfinite induction in some sense of higher order? These questions are not at all addressed.