Is f Integrable? Prove It or Give an Argument

  • Context: Graduate 
  • Thread starter Thread starter tomboi03
  • Start date Start date
Click For Summary
SUMMARY

The function f defined on the interval [0,1] as f(1/n) = n^(-1/2) for n = 1, 2, 3,... and f(x) = 0 for other x values is integrable. The Lebesgue integral is straightforward since f is zero almost everywhere except on a set of measure zero. For Riemann integration, dividing [0,1] into m subintervals shows that the upper Darboux sum approaches zero, while the lower Darboux sum remains zero, confirming integrability. The function is discontinuous only at countably many points, affirming its integrability under both Riemann and Lebesgue definitions.

PREREQUISITES
  • Understanding of Riemann and Lebesgue integrals
  • Familiarity with Darboux sums
  • Knowledge of measure theory concepts
  • Basic properties of functions defined on intervals
NEXT STEPS
  • Study the properties of Lebesgue integrals in detail
  • Learn about Riemann vs. Lebesgue integrability
  • Explore the concept of measure zero sets in measure theory
  • Investigate the implications of discontinuities in functions on integrability
USEFUL FOR

Mathematicians, students of calculus and analysis, and anyone interested in advanced integration techniques and the properties of functions defined on intervals.

tomboi03
Messages
74
Reaction score
0
The function f is defined on [0,1] so that f(1/n)=n^(-1/2) for n=1,2,3,... and f(x)=0 if x is not a reciprocal of a positive integer. Is f integrable on [0,1]? If so, prove it and compute the integral. If not then give an argument for why not.

See, I read this question over a hundred times, and the thing is... f(x) is always going to be a reciprocal of a positive integer... so the second statement is saying that any number inbetween the reciprocal of a positive integer, meaning all the irrational numbers inbetween 0 and 1 are equal to zero, no? Therefore this function is not continuous? Therefore this function cannot be integrable right? On top of that, if the function is 1 over a squareroot, then there will be two values for every reciprocal of a positive integer. (keeping in mind that a squareroot gives a positive and a negative answer right?

Am I wrong?

Thanks,
Jonnah Song
 
Physics news on Phys.org
The function is integrable, Riemann or Lebesgue. Lebesgue is easy, since f=0 except on a set of measure 0. To show Riemann integrable, divide [0,1] into m subintervals, most of them will not contain a point where x=1/n. The upper Darboux sum can be seen to be < [sum(1,m) 1/n^1/2]/m ~ 1/m^1/2 -> 0. The lower Darboux sum is 0.
 
sorry wrong statement, he said... "first notice that the function f is not continuous only at
countably many points."

sorry about that.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K