Register to reply 
Integrable function 
Share this thread: 
#1
May507, 08:32 AM

P: 26

how can we prove that if F(function) is integrable [a,b] then f must be bounded on [a,b]



#2
May507, 10:06 AM

Sci Advisor
HW Helper
PF Gold
P: 4,771

By definition, a function in integrable if the lower integral equals the upper integral. What happens to the upper integral if a function is not bounded, say, above?



#3
May507, 12:53 PM

P: 1,295

The easiest way to see this result is by the contrapositive. If f is unbounded, the integral of f does not exist. 


#4
May507, 07:31 PM

Sci Advisor
P: 6,077

Integrable function
Something is missing here. x^{1/2} is integrable between 0 and 1, but it is not bounded.



#5
May607, 01:27 AM

P: 1,295

Integration is defined only for closed intervals, an improper integral is an extension of this.



#6
May707, 11:59 PM

P: 26

can you give me a mthemathica proof



#7
May807, 04:17 PM

Sci Advisor
P: 6,077




#8
May907, 10:07 AM

Sci Advisor
HW Helper
P: 9,488

there are various definitions of the integral, that apply to different classes of funtions.
riemann's definition applies only to bounded ones, i.e. the limit of riemann sums is finite and independent of choice of partitions and choice points, only if the function is bounded. this is easy to prove as follows: if f is unbounded on [a,b], then for any partition it is possible to choose a choice point so that the product of the value there by deltax will be as large as desired. e.g. in your example of 1/x^(1/2), if you subdivide [0,1] say by intervals of length 1/n, then in the interval [0,1/n], select your point to be 1/n^4. then f(x)deltax will be equal to n. then the riemann sums have no limit. what you are thinking of in this case is called the improper integral, a different definition that applies when the function is only unbounded locally near finite number of points. then here e.g. the improper integral ius defined differently, as the limit of the riemann integrals on intervals where the function is bounded, say [e,1], as e goes to 0. riemann himself mentioned this extension in his paper where he defined the usual riemann integral. other more flexible definitions by lebesgue and others apply to even more functions, such as the function which equals 1 on the rationals and 0 on the irrationals. in this case one can adapt the idea of improper integrals as follows. approximate the function rather than the interval, by the sequence of functions fn where fn equals 1 on those rationals whose denominator is no larger than n, and 0 elsewhere. then one gets that the limit of these integrals is zero, a reasonable definition for the integral of the original function. the technical nuisance here is proving independence of the choice if the approximating sequence of integrable functions. lebesgues own approach, although equivalent is more complicated, and istead assigns a length separately to the sets of rationals and irrationals. since in his theory the set of rationals has length zero, the integral is again zero. 


Register to reply 
Related Discussions  
Proving a function is integrable over Jordan Region  Calculus & Beyond Homework  2  
Proving a Function is Riemann Integrable  Calculus & Beyond Homework  11  
Proving a Function is Rieman Integrable  Calculus & Beyond Homework  4  
Proving function is improper riemann integrable  Calculus & Beyond Homework  2  
Integrable function proof  Calculus & Beyond Homework  1 