Riemann integration is a topic you are likely familiar with from calculus class. Here, we are going to define the Riemann integral in a way you may not be used to. This alternate definition will allow us to explore in more depth what it means for a function to be Riemann integrable and, later, the shortcomings and alternatives to Riemann integration.
We will begin with some definitions.
Definition 1. Let with . A partition of is a finite list of the form where
This allows us to divide the interval into non-overlapping subintervals:
Definition 2. Let be a set of real numbers. is called bounded below if there exists a real number , called a lower bound of S, such that for every element .
is called bounded above if there exists a real number , called an upper bound of A, such that for every element .
Definition 3. Let be a set of real numbers. The infimum or greatest lower bound of , denoted inf, is the largest real number such that for all .
The supremum or least upper bound of , denoted sup, is the largest real number such that for all .
Definition 4. Let be a real-valued function and let be some subset of the domain of . Then we define and
Now, we can move on to defining the upper and lower Riemann sums.
Definition 5. Suppose is a bounded function and is a partition of .
The lower Riemann sum is defined as the trivariate function and the upper Riemann sum is defined as
Example 6. Define as and let .
Below are visualizations with partition .
For we have Thus we have Using the fact that this summation is equal to
Similarly, for the upper Riemann sum:
Theorem 7. Suppose is a bounded function and , are partitions of such that . Then
Proof: Suppose and are two partitions of where and .
For each there exists and such that . Using this, we can say that
This gives us the result that
The same argument gives us
Theorem 8. Suppose is a bounded function and are any partitions of . We will always have that
Using our new definitions of the upper and lower Riemann sums, we reach our definition of the Riemann integral.
Definition 9. Suppose is a bounded function.
We define the lower Riemann integral as and the upper Riemann integral as
Theorem 10. Let is a bounded function. Then, it is true that
Definition 11. A bounded function on a closed interval is called Riemann integrable if
If is Riemann integrable, then the Riemann integral is defined by
Example 12. Define as . Show that this function is Riemann integrable.
Solution: Previously, we found that for , the lower and upper Riemann sums are and Hence, the lower Riemann integral will be To find the supremum, note that this function is strictly increasing for . Hence, the largest value can be is Similarly, the upper Riemann integral is which is a decreasing function for . making the infimum Therefore, the function on is Riemann integrable, and furthermore
Theorem 13. Every continuous real-valued function on a closed, bounded interval is Riemann integrable.
Proof: Suppose with and let be a continuous function.
We are told that is continuous, but since this is true for every point in the domain, we can go further and say that is uniformly continuous. Thus we can use the definition of uniform continuity in our proof:
For every , there exists , such that if and , then .
Now, let be a number such that and let be the uniform (equally spaced) partition of : with We can use the facts and to say that
Note that the length of the interval is , and and are both values of where .
Therefore, we can use uniform continuity to say that So we have that Since can be any infinitesimally small number, this is as good as saying which means that we also have that Therefore, is Riemann integrable.
Theorem 14. Suppose is Riemann integrable. Then
In this section, we will use the definitions from this section to prove well-known facts about integrals. You will already know many of these to be true. However, it is beneficial to look at them through the lens of our new definition.
Problem 15. Suppose is a bounded function such that for any partition of .
Prove that must be a constant function on .
Solution: Let where and . Then, since we have that Note that this implies that Now, since this must be true independent of how we partition , it must be true that The only way that the infimum and supremum can be equal over an interval is if is constant over that interval. Therefore, must be a constant function on .
Problem 16. Let . Define by
Prove that is Riemann integrable on and
Solution: Define a partition of as , where is some very small number. This is represented by the graph below
This gives us a lower Riemann sum of
and the upper Riemann sum
But are these equal? Note that is continuous for . This means that for all there exists which we can set as such that Therefore, these two Riemann sums are equal and is Riemann integrable. Therefore it must be true that
Notation: We define to be the set of all Riemann integrable functions on .
Problem 17. Suppose is a bounded function. Prove that is Riemann integrable if and only if for all , there exists a partition of such that
Solution:
() Let and let be given. Define partitions and such that and Now let . So we have This tells us that () Now let be given. We know, given an earlier theorem, that meaning that we must also have Therefore, is Riemann integrable.
We will use this theorem to help us with many of the problems below.
Problem 18. Suppose are two Riemann integrable functions. Prove that is also Riemann integrable and that
Solution: Let and let be a partition of .
Note that: Similarly, we can deduce that Together, these two facts give us the inequalities Since and are Riemann integrable, for all , there exist partitions and such that and Now let . Then we can combine the above two statements into
Therefore, is Riemann integrable.
To show that note that we have and which tells us that
Problem 19. Let be Riemann integrable. Prove that is also Riemann integrable and that
Solution: Since is Riemann integrable, we know that which clearly means that Now, note that and for any interval in the domain of . (The smallest value of will be the greatest value of -f and vice versa)
Hence, we have that and which implies that Therefore, is Riemann integrable and
Note that we only need to adjust this proof slightly to prove that for any , we have We will use this fact moving forward.
Problem 20. Suppose is Riemann integrable. Now, suppose that is a function such that for all except finitely many . Prove that is Riemann integrable on and
Solution: To solve this problem, first let’s look at a function with a domain of only finitely many points, and what the Riemann integral of that function would be.
Define the function on , with as
We want to show that is Riemann integrable and
Starting with the lower Riemann sum, the infimum of over any subinterval of is zero, so for any partition of and therefore Now, we look at the upper Riemann sum. Given any partition , the supremum over each subinterval will be and so To find , let the length of the interval approach zero:
Therefore is Riemann integrable and Now let’s expand this function to include any finite number of nonzero points which aren’t necessarily equal to 1.
Define a set of points and let be real numbers. Using the result from previous problems, we know that is Riemann integrable and Now we can return to . Let be the finite list of points in where . If we let for , we can write and are integrable, so is also integrable and
Problem 21. Suppose is a bounded function. For any , let denote the partition that divides into intervals of equal size. Prove that
and
Solution: Let where the length of each subinterval is . Let . We will focus on the lower sum and the result for the upper sum will come as a consequence.
First, note that by definition we will have Since is the supremum of all lower sums. So we just need to show For any and partition of , choose an such that First note that if we take the partition , we will have Now we can take the difference This gives us the result
Therefore we have that We can prove the second part using the same logic.
Problem 22. Suppose is Riemann integrable on . Prove that
Solution: (Easier than it looks) Let and define a partition of as where for all .
Then, Similarly, we can deduce that Now, look at what happens as . We can see that and which gives us the result
Problem 23. Suppose is Riemann integrable. Prove that if and , then f is Riemann integrable on .
Solution: Since is Riemann integrable, for all , there exists a partition of such that Now define a new partition since our partition of will have to contain and . Adding extra points to our partition won’t change that Finally, define a partition of where This gives us the result Hence, is integrable over .
Problem 24. Suppose is a bounded function and . Prove that is integrable on if and only if is integrable on and and
Suppose is Riemann integrable on . This means that for any , there exists a partition of such that Now, define a new partition with where and split this partition in two so that is a partition of and is a partition of . Similarly, for the upper Riemann sum, we have Hence Breaking this apart, we get and Therefore, is integrable on and .
The proof of the reverse will follow the same logic.
Now, to show that, given is integrable on , , and , We know that Let’s look at the lower sum:
Problem 25. Suppose is Riemann integrable. Define Prove that is continuous.
Solution: To prove continuity, we will show that We will split this into the cases and
For , we need to show that Since is Riemann integrable on , given any , there exists a such that if , then This is enough to tell us that Now, let and let’s show that (For this will be the left-sided limit only, but the argument is otherwise identical so we will omit it.) We know that since is Riemann integrable on , it must be bounded on . Let be the upper bound. Our result from Problem 1.2 gives us that So we have that Hence, is continuous.
Problem 26. Suppose is Riemann integrable. Prove that is Riemann integrable and that
Solution: Since is Riemann integrable, we know that, given , there exists a partition such that Note that if we take the absolute value of , we have for any interval contained in . So we have Therefore is Riemann integrable.
To prove the second part, define such that . (In other words, or .) We know that Taking the absolute value of both sides we get Now, using , we can conclude
Problem 27. Suppose is an increasing function. Prove that is Riemann integrable.
Solution: Let’s choose a partition and show that the difference between the upper and lower sum goes to zero as the number of subintervals in our partition goes to infinity.
Let . Note that since is an increasing function, the infimum over any interval in will be while the supremum will be . So we have: Since and are fixed Therefore is Riemann integrable.
Problem 28. Suppose is a sequence of Riemann integrable functions on which converges uniformly to a function as .
Prove that is Riemann integrable on and
Solution: Uniform convergence tells us that for any , there exists an such that for all
Let . In other words, Therefore, we have that which will go to zero as . Therefore, is Riemann integrable.
Furthermore, if we choose we have which gives us the result