image
Physics Forums Logo
image
image
* Register * Upgrade Blogs Library Staff Rules Mark Forums Read
image
image   image
image

Go Back   Physics Forums > Mathematics > Calculus & Analysis


Reply

image Riemann Integrable Share It Thread Tools Search this Thread image
Old Jun20-05, 08:58 PM                  #1
steven187

steven187 is Offline:
Posts: 185
Riemann Integrable

hello all

well I was working through Riemanns Criterion :

let f be a bounded function on the closed interval [a,b]. then f is riemann integrable on [a,b] if and only if , given any epsilon>0, there exist a partition P of [a,b] such that U(f,P)-L(f,P)<epsilon

but there is one thing that im confused about, riemanns integrability only requires a function to be bounded on a closed interval, if that is the case a piecewise function or a function that is discontinuous at a point which are bounded on a closed interval should be riemann integrable would that be be correct? i just couldnt see how you would intergrate such functions

steven
  Reply With Quote
Old Jun20-05, 09:29 PM                  #2
shmoe

shmoe is Offline:
Posts: 1,995
Recognitions:
Homework Helper Homework Helper
Science Advisor Science Advisor
The bounded requirement guarantees that the upper and lower integrals exist. This isn't enough to declare it riemann integrable, you also need the upper and lower integrals to be equal (or your equivalent statement if you prefer).

A function does not have to be continuous to be riemann integrable.
  Reply With Quote
Old Jun20-05, 09:42 PM                  #3
steven187

steven187 is Offline:
Posts: 185
I see so if a function is not continuous it can still be riemann integrable, the thing is that i dont get is that, I cant see how it is is possible to integrate something which is discontinuous or piecewise and bounded in both cases, do you have any examples of a function being riemann integrable and not continuous at the same time Im just finding it hard to imagine finding the area under the curve of such functions
  Reply With Quote
Old Jun20-05, 09:47 PM                  #4
fourier jr

fourier jr is Offline:
Posts: 798
how about the function which =1 for x>=0 and =0 for x<0? that isn't continuous but it's riemann-integrable.
  Reply With Quote
Old Jun20-05, 10:17 PM                  #5
steven187

steven187 is Offline:
Posts: 185
hmmm.. well im still confused I just cant imagine how it is possible to find the area of a open shape, and also I cant see how it is possible to integrate
LaTeX Code: \\int_{-1}^{1}f(x)dx if

LaTeX Code: f(x)=\\left\\{\\begin{array}{cc}0,&\\mbox{ if }<BR>-1\\le x\\leq 0\\\\1, & \\mbox{ if } 0<x\\le 1\\end{array}\\right
  Reply With Quote
Old Jun20-05, 10:24 PM                  #6
Hurkyl

PF Mentor
 
Hurkyl's Avatar

Hurkyl is Offline:
Posts: 13,363
Try splitting your partition into two parts -- the intervals on which f is continuous, and the intervals on which f is not continuous, and analyze their behavior separately as the norm of the partition goes to zero.
  Reply With Quote
Old Jun21-05, 05:56 PM                  #7
steven187

steven187 is Offline:
Posts: 185
hello all

well I cant get out how you can find an interval where f is not continuous because it is only discontinuous at one point x=0

now would this function be riemann integrable?
LaTeX Code: f(x)=\\left\\{\\begin{array}{cc}0,&\\mbox{ if }x\\in Q\\\\1, & \\mbox{ if } x\\notin Q

and what type of functions which are riemann integrable but discontinuous at the same time? I think that would help me understand what riemann integrability actually applies for.

thank you
  Reply With Quote
Old Jun21-05, 06:03 PM       Last edited by matt grime; Jun21-05 at 06:05 PM..            #8
matt grime

matt grime is Offline:
Posts: 9,385
Recognitions:
Homework Helper Homework Helper
Science Advisor Science Advisor
that function is definitely not riemann integrable. you should prove it; it is the first thing yuo should ever be asked to prove about non-integrable functions.


Now the function that is 0 from -1 to 0 then 1 from 0 to 1
Hurkyl's hint was quite sepcific, that fuction is discontinuous ate exactly one point, zero. the upper and lower riemann sums differ by exactly the width of the interval of the partition containing 0, so obviuosly as the max length of an interval tends to zero the upper and lower sums must converge (to 1)

note a function is discontinuois on a set if it has a discontinuity at any point of that set, not if it is discontinuous at all points of the set. discontinuous is the negation of continuous after all.
  Reply With Quote
Old Jun21-05, 06:05 PM                  #9
Hurkyl

PF Mentor
 
Hurkyl's Avatar

Hurkyl is Offline:
Posts: 13,363
If f is discontinuous at x = 0, then f is not continuous on any open interval containing zero.


If I remember correctly...

A bounded function is Riemann integrable if and only if its set of discontinuities has zero area.
  Reply With Quote
Old Jun21-05, 06:16 PM                  #10
fourier jr

fourier jr is Offline:
Posts: 798
Originally Posted by Hurkyl
If f is discontinuous at x = 0, then f is not continuous on any open interval containing zero.


If I remember correctly...

A bounded function is Riemann integrable if and only if its set of discontinuities has zero area.
i think that's how it goes. a function is riemann integrable if & only if it is continuous almost everywhere, meaning the set of discontinuities has measure zero.
  Reply With Quote
Old Jun21-05, 06:23 PM                  #11
Hurkyl

PF Mentor
 
Hurkyl's Avatar

Hurkyl is Offline:
Posts: 13,363
Zero measure sounds better than zero area!
  Reply With Quote
Old Jun21-05, 08:04 PM                  #12
rachmaninoff

rachmaninoff is
Posts: n/a
Wait a minute... isn't that the criterion for Lebesgue integrability? Riemann integrability requires a countable set of discontinuities (I think)...

edit: replaced word "definition" with "criterion"
  Reply With Quote
Old Jun21-05, 08:39 PM       Last edited by Hurkyl; Jun21-05 at 08:51 PM..            #13
Hurkyl

PF Mentor
 
Hurkyl's Avatar

Hurkyl is Offline:
Posts: 13,363
Nah, you can Lesbegue integrate things that are everywhere discontinuous. Every bounded, measurable function is Lesbegue integrable over any set of finite measure. (And some unbounded functions!)

For example, the Lesbegue integral of the salt-and-pepper function over [0, 1] is 1.
  Reply With Quote
Old Jun21-05, 08:41 PM       Last edited by fourier jr; Jun21-05 at 08:45 PM..            #14
fourier jr

fourier jr is Offline:
Posts: 798
edit: whoops never mind
  Reply With Quote
Old Jun21-05, 08:45 PM                  #15
master_coda

master_coda is Offline:
Posts: 679
Originally Posted by fourier jr
that what it means to be continuous "almost everywhere". countable (finite & infinite) sets of real numbers have measure zero. a function is lebesgue integrable if LaTeX Code: \\int_A f d\\mu < \\infty on a measureable set A wrt a measure LaTeX Code: \\mu
Not quite. A set can be continuous almost everywhere and still have an uncountable set of discontinuities.
  Reply With Quote
Old Jun21-05, 11:24 PM                  #16
steven187

steven187 is Offline:
Posts: 185
hello all

thanxs guys, you have put things into more perspective now about riemann integrability in relation to discontinuities
  Reply With Quote
image image
Reply
Thread Tools


Similar Threads for: Riemann Integrable
Thread Thread Starter Forum Replies Last Post
Proving a Function is Riemann Integrable SNOOTCHIEBOOCHEE Calculus & Beyond 11 Jan21-08 11:18 PM
Riemann integrable math2006 Calculus & Beyond 1 May21-06 02:25 PM
Riemann Integrable Treadstone 71 Calculus & Beyond 7 Feb7-06 05:16 AM
Is this Riemann Integrable? Lizzie11 Calculus & Beyond 3 Oct22-05 01:47 PM
riemann integrable steven187 Calculus & Analysis 13 Jun15-05 05:03 AM

Powered by vBulletin Copyright ©2000 - 2010, Jelsoft Enterprises Ltd. © 2009 Physics Forums
Sciam | physorgPhysorg.com Science News Partner
image
image   image