Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Lebesgue integral once again

  1. Feb 19, 2007 #1
    I have one more question about the Lebesgue integral:

    What if we defined the Lebesgue integral like this:

    Let X be a measurable space and f any nonnegative function from X to R.

    Then the Lebesgue integral of f as [tex]\int_X f d\mu = sup(I_X)[/tex] where [tex]I_X[/tex] is the integral of a simple function and the sup is taken over all simple measurable functions on X, such that 0<=s<=f.

    As you see this definition is the same as the original, except, that the assumption that f is measurable is missing.

    My question is: What would be wrong with this definition?
    Last edited: Feb 19, 2007
  2. jcsd
  3. Feb 19, 2007 #2


    User Avatar
    Science Advisor

    If f is not measurable, then sup(Ix) will not exist.
  4. Feb 19, 2007 #3
    Why shouldn't the supremum exist?
  5. Feb 20, 2007 #4
    What would be the meaning of a simple integral over a non-measurable set?

    The set is non-measurable, so we cannot apply the definition, and [tex]I_{X}[/tex] is empty and thus has no supremum!
  6. Feb 20, 2007 #5


    User Avatar
    Homework Helper

    You could define it like that for any functions, but you'd lose nice properties, like linearity and the convergence theorems.
  7. Feb 21, 2007 #6
    The set IS measurable, the FUNCTION is not measurable.

    Thanks, this seems to be reasonable.
  8. Feb 21, 2007 #7


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    More concretely, I would expect your definition, for nonmeasurable functions, to have bad behavior akin to Lebesgue inner measure for nonmeasurable sets.
  9. Feb 21, 2007 #8
    I don't really understand what you mean, can you give an example?

    To StatusX:
    Can it be proven, that if f is not measurable, then the integral is not linear?

    Basically, what I want to know is - I try to imagine that I'm in the position of Henri Lebesgue and I have to define a new kind of integral as general as possible. The definition of the measure seems to be very natural.

    But I don't understand how did he come to the definition of a measurable function.
    I see, that there are no problems with that definition and that we get many nice properties from it, but I think that the natural question is, can we make it more general and still keep the nice properties?
    Or can the opposite be PROVEN, that if we changed the definition we would lose the properties?
  10. Feb 21, 2007 #9


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    The definition of measurable function is "obvious". There is an interesting class of sets (measurable sets), so one naturally wants to know what sorts of functions play nice with them.

    open sets : continuous functions :: measurable sets : measurable functions

    From this, one (maybe) can intuit why measurable functions are precisely the functions that behave nicely w.r.t. integration.

    Incidentally, here's a simle class of nonmeasurable functions that might help you build counterexamples: for any nonmeasurable set, its characteristic function is nonmeasurable.
  11. Sep 30, 2007 #10


    User Avatar

    need measurable set

    Lebesgue integral of a function is based on measure of sets defined by inverse images. the inverse image need to belong to the sigma algebra on which the measure is defined. A function is not measurable with respect to a measure if the inverse image does not belong to the sigma algebra. In that case you cannot give a measure of this inverse image and therefore the integral cannot be calculated.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook