Why Use Supremum Instead of Maximum in Riemann Sums?

Click For Summary
SUMMARY

The discussion clarifies the necessity of using the supremum instead of the maximum in the definition of the upper Riemann sum for a Riemann integrable function. Specifically, the upper Riemann sum is defined as U(f,P) = ∑ M_i (x_i - x_{i-1}), where M_i = sup_{x∈[x_{i-1},x_i]} f(x). An example provided illustrates that the function y=x when x≠1 and y=0 when x=1 does not attain its maximum on the interval [0,1], thus necessitating the use of supremum to ensure accurate integration over partitions.

PREREQUISITES
  • Understanding of Riemann integrable functions
  • Familiarity with the concepts of supremum and maximum
  • Knowledge of partitioning intervals in calculus
  • Basic understanding of upper Riemann sums
NEXT STEPS
  • Study the properties of Riemann integrable functions
  • Learn about the differences between supremum and maximum in mathematical analysis
  • Explore examples of functions that do not attain their maximum
  • Investigate the implications of using supremum in numerical integration techniques
USEFUL FOR

Mathematics students, calculus instructors, and anyone studying numerical integration methods will benefit from this discussion, particularly those interested in the theoretical foundations of Riemann sums.

AxiomOfChoice
Messages
531
Reaction score
1
Let f be a Riemann integrable function defined on an interval [a,b], and let P = \{a = x_0 < x_1 < \ldots < x_n = b\} be a partition of [a,b]. I don't understand why the definition of (say) the upper Riemann sum of f associated with P is always given as
<br /> U(f,P) = \sum_{i=1}^n M_i (x_i - x_{i-1}),<br />

where

<br /> M_i = \sup\limits_{x\in [x_{i-1},x_i]} f(x).<br />

Why does it need to be \sup? Why can't it just be \max? I can't think of an instance where \max wouldn't be suitable; that is, I can't think of a Riemann integrable function that doesn't actually attain its max somewhere on any given [x_{i-1},x_i]. Can someone provide an example for me?
 
Physics news on Phys.org
y=x when x\neq 1, y=0 when x=1 on interval [0,1]. Take interval [x_{n-1},x_n] from the partition.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 14 ·
Replies
14
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K