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