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

  1. May 7, 2012 #1
    can anyone please show me that how to apply Lebesgue integral by showing some example like we do Riemann integral in calculus class? for example:
  2. jcsd
  3. May 7, 2012 #2
    It is a standard fact that if f is a real valued function defined on a closed interval which is integrable in the Riemann sense, then the function is measurable and integrable (in the Lebesgue sense) and the two integrals are equal. So if what you're asking for is an example of finding an anti-derivative of functions as is done in calculus, then the procedure is to note the above and integrate.

    However, the power and utility of the Lebesgue integral is the ease with which more complicated functions can be integrated (the integral can easily be broken up over various sets which have specific properties and has powerful convergence theorems; there also exist functions which may fail to be integrable in the Riemann sense; see the characteristic function of the rationale over any closed interval). But these don't have general calculus style approaches. These sorts of integration arguments require more care than applying a set of procedural formulas.
    Last edited: May 7, 2012
  4. May 7, 2012 #3
    thanks a tonne
  5. Aug 15, 2012 #4


    User Avatar
    Science Advisor

    Sorry for the necropost; I ran into this in a search. Feel free to Ignore if you don't need
    it anymore:

    Just like the case with a Riemann integral, where you do Riemann sums, in the Lebesgue case, you do Lebesgue sums, where you partition the range instead of the domain, and then the value of the Lebesgue integral is the sum of these values:

    If your range likes in [y1,y2], then you partition your range, select some points yi, i.e., you select a point in each interval of the range ---remember you select points in your domain when you do Riemann sums--then your sums are of the form:

    Ʃy=1n yi*m(A)

    where A is the preimage set under f, so that you sum a value selected in your range. There are , of course, conditions for this integral to exist/converge; some of these conditions can be described with simple functions, but I think it is important to note that, just like with Riemann, the value of the sum should approach a limit as the number of partitions increases.

    Is that what you were asking?

    times the measure of the associated preimage.
  6. Aug 15, 2012 #5
    thanks a tonne for helping me to understand it, though I have managed to clarify this topic from different texts but your answer is truly great.
    once again thanks a tonne.

    Edited note: what is m here? is it some function? if it takes A (which is domain) then what does map into ? range? can you please guide me in the context of probability if it's possible. Thanks
  7. Aug 15, 2012 #6


    User Avatar
    Science Advisor

    The Riemann integral assumes you partition up the domain and approximate with rectangles.
    The Lebesgue integral assumes you partition up the range and approximate.
    I use word assume because its not obvious you can do this and and even achieve a unique answer.

    In Riemann, you take an interval [a,b] and split it into subintervals [x0, x1], [x1, x2], ...
    You then define a way to "measure the length" of these subintervals ##m([\alpha,\beta]) = \beta-\alpha##. This gives you the width of each rectangle.

    In Lebesgue, we split up the range, then look at the sets of form ##f^{-1}(E) = \{ x \in X | f(x) \in E\}##. This is the pullback, all the x that f sends to E. However, in general this set will look nasty even if E looks nice. So we define a "measure", a function whose input is subsets of the domain of f and outputs a number (the "length" of that set). That is m.

    The theory is called measure theory and if you are doing probability you will need to know this.
  8. Aug 15, 2012 #7


    User Avatar
    Science Advisor

    In a very basic and informal way, this is part of how it is laid out:

    You have a measure triple (X, m, Sigma). X is a set/space, m is a measure (see below), and the sigma algebra is a collection of subsets of X.

    You have a measure m, which is a function defined on a certain collection of subsets that is countably subadditive (measure of the union of sets is ≤ sum of the measures), non-negative and monotone (A Subset B, then m(A) < m(B)) .

    You normalize your space, so that m(X)=1 . Then the probability of an event is its measure. So that, for example, the probability of hitting a rational with a dart thrown
    at random is the measure of the subset of rationals in X . In the Lebesgue measure , the
    measure of all rationals is 0 .

    I need to go, but let me know if there is something else that interests you.
  9. Aug 16, 2012 #8
    so m in lebesgue gives the width of rectangle as it gives in reimann?

    I am lil' confused that, is m=f^-1 (E) ?????
  10. Aug 16, 2012 #9


    User Avatar
    Science Advisor

    m is a function that is intended to abstract/generalize the properties you would want

    to find in the measure of a set. So, the Lebesgue measure of an interval is its length,

    and, with some adjustments, the measure of a rectangle is the product of the lengths

    of the intervals forming the sides of the rectangle.

    f^-1(E) is just the set {x: f(x) is in E}. What you do is you break down your range

    --like the way you break down your domain -- as {y1, y2,...,yn} , and --again,like

    the case of the Riemann integral-- you select one point yi* in each interval [yi,yi+1)

    and then you consider the measure of the preimage.The Lebesgue integral is then

    the sum yi*m(Ei). There are rules for the (net ) convergence of the Lebesgue

    integral: the Leb integral equals, 'L' if,given any e>0 , there must be some del.>0 with

    ||P||< del. implies the integral of any of these partitions is within less than e of L,

    i.e. | Int f -L| <e when ||P||< del.

    Along the lines of what Pwsnafu said, you define the Lebesgue measure (in R

    here, since you want to do probability; you can define measures in general topological

    space) by defining
    declaring the length of an interval (a,b) to be b-a and then defining the measure of a

    subset of R to be the infimum of the measures over all covers of a set.
  11. Aug 16, 2012 #10
    Sir, thank you so much.
  12. Aug 16, 2012 #11


    User Avatar
    Science Advisor

    One thing you will be surprised with: it is possible to construct a definition of integral which is equivalent to the Lebesgue integral on ℝ, but nonetheless partitions the domain. It's called the McShane integral, but you'll want to read about the Henstock-Kurzweil integral first.
  13. Aug 17, 2012 #12
    WOW, how many integrals are out in the world? I thought Riemann & Lebesgue are the only integrals :D Does any of the Henstock-Kurzweil & McShance have any use or role in probability?

    Thanks a tonne for sharing this wonderful information with me.
  14. Aug 17, 2012 #13


    User Avatar
    Science Advisor

  15. Aug 18, 2012 #14
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook