Showing that a discontinuous function is integrable

  • Thread starter Thread starter Faris
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion focuses on proving the integrability of the discontinuous function f defined as f(x)=1 for x=1/m (where m is a positive integer) and f(x)=0 otherwise, over the interval [0,1]. The key argument involves demonstrating that the limit of the lower Riemann sums L(f,P_n) equals the limit of the upper Riemann sums U(f,P_n). The user asserts that L(f,P_n) equals 0 as n approaches infinity, while the challenge lies in establishing that U(f,P_n) can be made sufficiently small by appropriately selecting intervals from a partition P_n.

PREREQUISITES
  • Understanding of Riemann sums and their definitions.
  • Familiarity with the concept of integrability in real analysis.
  • Knowledge of partitions and their role in approximating integrals.
  • Basic proficiency in limits and epsilon-delta arguments.
NEXT STEPS
  • Study the properties of Riemann integrable functions in real analysis.
  • Learn about the epsilon-delta definition of limits and its application in proofs.
  • Explore examples of discontinuous functions and their integrability criteria.
  • Investigate the implications of partitions in calculating upper and lower Riemann sums.
USEFUL FOR

Students and educators in mathematics, particularly those studying real analysis, as well as anyone interested in understanding the integrability of discontinuous functions.

Faris
Messages
1
Reaction score
0
Hi,
First, I want to thank you people for the help.

1. Define a function f by setting f(x)=1 if x=1/m for some positive integer m (e.g. f(1)=1, f(1/2)=1, f(1/3)=1,...) and f(x)=0 otherwise. Show that f is integrable on the interval [0,1] by proving that the limit of the lower Riemann sums for the regular partitions P_n equals the limit of the corresponding upper Riemann sums.



2. Lower Riemann sum = L(f,P_n)
Upper Riemann sum = U(f,P_n)




3. I've tried the following argument, but I don't think it's enough for a proof:

L(f,P_n) = 0 because by taking n to infinity, the minimum values for f(x) in the delta x's are zeros, which makes L(f,P_n)=0.

U(f,P_n), however, is the problem here.


Thanks in advance.
 
Physics news on Phys.org
Hint: If you have a partition P_n, then each piece of a partition that contains a point where f is nonzero has an area of \frac{1}{n}. What you need to show is that for any \epsilon, there is an n such that no more than n\epsilon of the pieces contain a point where f is nonzero.

Try to do this example and you'll probably get the idea of the proof:

Exercise:
Let \epsilon=0.1. Show that you can make U,P_{1000} \le \epsilon by covering every value 1/n (for positive integers n) by selecting 100 intervals from P_{1000}.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 10 ·
Replies
10
Views
4K