Welcome to MathOverflow

Question

0

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.

edited Jun 12 2011 at 21:07

Yemon Choi
8,608●1●20●45

asked Jun 10 2011 at 11:42

Anil P
33●6

2

If possible, could you please edit your post to fix the spelling and capitalization? – Carl Mummert Jun 10 2011 at 11:46

2

Perhaps you will need to provide a definition of "integrable" as well. – Gerald Edgar Jun 10 2011 at 13:55

1

also: "measurable" wrto which sigma-algebra on the Banach space? – Pietro Majer Jun 10 2011 at 16:54

1

Wikipedia has definitions of the Bochner integral (en.wikipedia.org/wiki/Bochner_integral), Bochner space (en.wikipedia.org/wiki/Bochner_space) and Bochner measurability (en.wikipedia.org/wiki/Bochner_measurable_function). I assume these are the intended definitions. – George Lowther Jun 13 2011 at 3:39

1

Maybe the question is asking whether Bochner measurable functions are measurable in the usual sense with respect to the Borel sigma-algebra. But I'm not sure. – George Lowther Jun 13 2011 at 3:57

show 9 more comments

Is an integrable map from a measure space to a Banach space always measurable?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.