Proof of Cauchy Criterion for Riemann Integrals

In summary, the proof for the Cauchy Criterion for Riemann integration follows the format outlined in the given link. The issue with the <= direction of the proof is clarified by understanding that \delta must be smaller than both 1/n and 1/m in order to be a valid choice. The use of m<n in the proof is to show that the sum of the \delta's is still bounded by the upper sum of the partition, which is equivalent to the supremum of the upper sums. This is achieved by using the fact that \delta_k < 1/m for k<=m and \delta_k < 1/n for k>m. This implies that the sum of the \delta's is less than 1
  • #1
S.N.
22
0

Homework Statement


Some proofs I've looked at vary, but they generally follow the format show here: http://en.wikibooks.org/wiki/Real_Analysis/Riemann_integration#Theorem_.28Cauchy_Criterion.29

This isn't a question about an exercise, but rather a request for a clarification or a way of putting part of the proof in more understandable terms. My issue is the <= direction of the proof. I don't understand much about it. We're picking a [tex]\delta[/tex], sure, but then I don't see where the 1/n comes from, or what the business with m<n is, or just about anything in the 'reverse direction' of this proof. Does anyone have maybe a link to a proof with more heuristics, or if you have the time and patience, maybe a more intuitive way of describing that's going on?

Thanks for any help.
 
Physics news on Phys.org
  • #2
Homework Equations The Attempt at a Solution I think the 1/n comes from the fact that if we choose \delta to be smaller than 1/n, then it must also be smaller than 1/m for any m>n. This is because 1/m is larger than 1/n, so \delta will have to be smaller than both. The business with m<n is to show that the sum of the \delta's is still bounded by the upper sum of the partition, which is the same as the supremum of the upper sums, or U(f,P). We do this by picking an arbitrary m and showing that \sum_{k=1}^{n} \delta_k <= U(f,P). To do this, we use the fact that \delta_k < 1/m for all k<=m, and \delta_k < 1/n for all k>m. This implies that \sum_{k=1}^{n} \delta_k < \sum_{k=1}^{m} \frac{1}{m} + \sum_{k=m+1}^{n}\frac{1}{n} = m\cdot\frac{1}{m} + (n-m)\cdot\frac{1}{n}= 1. Since U(f,P) is an upper bound, then \sum_{k=1}^{n} \delta_k <= U(f,P).
 

1. What is the Cauchy Criterion for Riemann Integrals?

The Cauchy Criterion for Riemann Integrals states that a function is Riemann integrable if and only if for any given epsilon greater than zero, there exists a partition of the interval such that the difference between the upper and lower sums of the function on that partition is less than epsilon.

2. How is the Cauchy Criterion used to prove the Riemann Integrability of a function?

The Cauchy Criterion is used by constructing a sequence of partitions with finer and finer mesh sizes and showing that the difference between the upper and lower sums approaches zero as the mesh size approaches zero. This can be done using the properties of the partition and the function, such as monotonicity and continuity.

3. What is the significance of the Cauchy Criterion in Riemann Integration?

The Cauchy Criterion is significant because it provides a necessary and sufficient condition for a function to be Riemann integrable. This means that a function is Riemann integrable if and only if it satisfies the Cauchy Criterion, making it a crucial tool in proving the integrability of functions.

4. Can the Cauchy Criterion be applied to non-continuous functions?

Yes, the Cauchy Criterion can be applied to non-continuous functions. As long as a function is bounded on a closed interval, it can be proven to be Riemann integrable using the Cauchy Criterion, regardless of its continuity or lack thereof.

5. Are there alternative criteria for Riemann Integrability?

Yes, there are alternative criteria for Riemann Integrability, such as the Darboux Criterion and the Lebesgue Criterion. These criteria are also necessary and sufficient conditions for Riemann Integrability, but they use different approaches and techniques compared to the Cauchy Criterion.

Similar threads

Replies
4
Views
1K
  • General Math
Replies
2
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Topology and Analysis
Replies
5
Views
3K
Replies
1
Views
1K
  • Calculus
Replies
7
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
2K
Replies
7
Views
1K
  • New Member Introductions
Replies
6
Views
212
Back
Top