Lebesgue Integral: Definition & Examples

  • Context: Graduate 
  • Thread starter Thread starter mooberrymarz
  • Start date Start date
  • Tags Tags
    Integral
Click For Summary
SUMMARY

The Lebesgue integral is defined through measure theory, distinguishing it from the Riemann integral. The integral of the function \( f(x) = \frac{1}{x^2} \) over the interval \([1, \infty)\) is classified as an improper Riemann integral, yielding a value of 1. A function is Lebesgue integrable if it is measurable and the integral of its absolute value is finite. The discussion emphasizes that while Riemann integrability implies Lebesgue integrability, the converse is not necessarily true.

PREREQUISITES
  • Understanding of Riemann integrals
  • Basic concepts of measure theory
  • Familiarity with improper integrals
  • Knowledge of measurable functions
NEXT STEPS
  • Study the properties of Lebesgue integrals
  • Learn about measure theory fundamentals
  • Explore examples of functions that are Riemann integrable but not Lebesgue integrable
  • Investigate the concept of step functions in Lebesgue integration
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced integration techniques, particularly those studying real analysis or measure theory.

mooberrymarz
Messages
53
Reaction score
0
is this a lebesgue intergral? And why?

\int\frac{dx}{x^2}

P.S Can u also give me exact definition of Lebesgue integral PLz. Textbook tooooooo complicated.
 
Last edited:
Physics news on Phys.org
At the moment it isn't an integral. You need to put in a dx or something. it is a lebesgue integral if you're integrating using the measure theoretic definition for integral. however, sidestepping the issue of the function not being defined at zero and that there is no limit in the integral, it is riemann integrable, as it's a continuous function.

remember to end environments with "/" in brackets, not "\".

Do you really need to learn measure theory? I can think of other things you need to learn before you get that far that appear to be missing (cf your other thread) before starting an advanced topic such as measure theory.
 
Ok. forgive my mathematical incompetency Mr Matt Grime :-p . I have to do learn this coz its part of General integration theory.
 
One question mATT! how do u know all this stuff? Are u a lecturer or masters student.?
 
Last edited:
Hi:

My answer to you is yes !

But i can't understand your meening when you ask "why".
So please explain what you know already about measure theory.

Moshek

Try to be carfull from Math answers...
 
I am not a lecturer nor am I a masters student. I am somewhere in between.

I'm just surprised that they're making you do this stuff given you were new to the idea of proving that other result about |f| by contradiction. Please don't take offence, I am genuinely bemused by that sylllabus.

As it is my knowledge of measure theory is very ropey so I won't begin to explain the intricate aspects of it. Something is a legesbue integral if it use lebesgue integration, you don't indicate in that example what kind of integral you are doing, but it is lebesgue integrable (since it is riemann integrable).
often something like du(x) is used to indicate one needs to use lebesgue techniques.

One way of doing the lebesgue integral is, I believe, to use step functions to approximate the function in some way.

Say we have f defined on the unit interval to be 1 at irrationals and 0 at rationals. Then that is not Riemann integrable. But it is lebesgue integrable because it is equal to the constant function f(x)=1 except on a set of measure zero, hence its integral is the same as the integral of the constant function, ie 1. (Someone set me straight if I'm mucking it up).
 
I know that's riemann integrable coz its bounded and has no points of discontinuity over that interval. riemann integrable implies lebesgue integrable. is that a good enough reason for why its lebesgue integrable?
 
hmm. matt,I wasnt totally new to the idea of proving by contradiction, its just that I'm not good with mathematical proofs and this lecturer really is something when he marks stuff. If i leave anything no matter how trivial it is he subtracts marks. That kind of question is intuitively obvious but I suck at putting it into mathsy type o language.
 
well, assuming the interval over which your integrating is indeed as you say it is then that's fine.
 
  • #10
The interval is [1,infinity)
 
  • #11
then that isn't fine as the interval is unbounded. the same observations you made apply to 1/x and that isn't integrable over that region. (and i made a mistake too in the reply.)
 
  • #12
Oh interval has to be closed. ure right. is it an improper riemann integral??
 
  • #13
absolutely, that integral exists.
 
  • #14
\[<br /> \int_1^\infty {\frac{{dx}}{{x^2 }}} = 1<br /> \]<br />

Just in case you were wondering.
 
  • #15
thanx!i figured that part cos
that integral
= 1 + lim 1/n (as n tends to infinity)
= 1

just trying to figure out if our questions are lebesgue integral,riemann integral or improper riemann integral and why??
So this one should be a improper riemann integral,,,rite?
 
  • #16
A function f is Lebesgue integrable if it is measurable and int(|f|) is finite. However just because a function is bounded and measurable does not imply that it's Lebesgue integrable. For example the constant function 1 is not Lebesgue integrable on [1, infinity). However, for your problem, you could use the fact that it's both positive and Riemann integrable.
Vignon .S Oussa
 
Last edited:

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
16K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
7K