In this post, I’ll be going through Chapter 1 in Axler. It covers Riemann integration.
In what follows, we’ll let $\mathbb{R}$ denote the closed, ordered field of real numbers.
Riemann Sums
First, let’s recall the building block of the Riemann integral: the Riemann sum.
Definition (Lower/Upper Riemann Sum). Let $f: [a, b] \rightarrow \mathbb{R}$ be a bounded function, and let $P = \{ x_0, x_1, \dots, x_n \}$ denote a partition of $[a, b]$. The lower Riemann sum and upper Riemann sum, denoted respectively with $L(f, P, [a, b])$ and $U(f, P, [a, b])$, are given by: $$ \begin{aligned} L(f, P, [a, b]) &= \sum_{j = 1}^n (x_j - x_{j-1}) \underset{x \in [x_{j-1}, x_j]}{\inf} \left\{ f(x) \right\} \\ U(f, P, [a, b]) &= \sum_{j = 1}^n (x_j - x_{j-1}) \underset{x \in [x_{j-1}, x_j]}{\sup} \left\{ f(x) \right\} \\ \end{aligned} $$
Properties
One property of Riemann sums is that finer partitions (ones will more points) will yield greater lower Riemann sums and smaller upper Riemann sums. That is, if we let $P$ and $P’$ be partitions of $[a, b]$ such that $x \in P’$ for all $x \in P$, then the following holds:
Another property is that lower Riemann sums are no greater than an upper Riemann sum (for the same function and interval). That is, for partitions $P$ and $S$ on $[a, b]$:
\[L(f, P, [a, b]) \leq U(f, P', [a, b])\]
Proofs of these properties are fairly simple and can be found in Axler.
Riemann Integrals
We now come to two stars of the chapter: the lower and upper Riemann integrals.
Definition (Lower/Upper Riemann Integral). Let $f: [a, b] \rightarrow \mathbb{R}$ be a bounded function. The lower Riemann integral and upper Riemann integral, denoted respectively by $L(f, [a, b])$ and $U(f, [a, b])$, are given by: $$ \begin{aligned} L(f, [a, b]) &= \underset{P}{\sup} \left\{ L(f, P, [a, b]) \right\} \\ U(f, [a, b]) &= \underset{P}{\sup} \left\{ U(f, P, [a, b]) \right\} \end{aligned} $$
We have a similar relationship between the lower and super Riemann integrals as Riemann sums:
\[L(f, [a, b]) \leq U(f, [a, b])\]
Now, the main event: the Riemann integral. First, we note that a bounded function $f: [a, b] \rightarrow \mathbb{R}$ is called Riemann integral if $L(f, [a, b]) = U(f, [a, b])$.
Definition (Riemann Integral). Let $f: [a, b] \rightarrow \mathbb{R}$ be Riemann integrable. Its Riemann integral is defined by: $$ \int_a^b f(x) dx = \int_a^b f = L(f, [a, b]) = U(f, [a, b]) $$
Properties
Below we have some important results about Riemann integrals.
Let $a, b, M \in \mathbb{R}$ with $a < b$. Let $f_1, f_2, \dots$ be a sequence of Riemann integrable functions on $[a, b]$ such that, for all positive integers $k$ and all $x \in [a, b]$:
$$
\rvert f_k(x) \rvert \leq M
$$
Assume:
$$
f(x) = \underset{k \rightarrow \infty}{\lim} f_k(x)
$$
exists for all $x \in [a, b]$. If $f$ is Riemann integrable on $[a, b]$ then:
$$
\int_a^b f(x) dx = \underset{k \rightarrow \infty}{\lim} \int_a^b f_k(x) dx
$$
Proof to be completed.
Limitations
Unfortunately, for a lot of the things we want to do, the Riemann integral is insufficient. The first limitation that Axler introduces is that many functions that are “not so nice” are not Riemann integrable.
Example. Let $f: [0, 1] \rightarrow \mathbb{R}$ be the function defined by: $$ f(x) = \begin{cases} 1 & \text{if } x \text{ is rational} \\ 0 & \text{if } x \text{ is irrational} \end{cases} $$ This function is not Riemann integrable because its lower and upper Riemann integrals are not equal. For any $[a, b] \subseteq [0, 1]$ with $a < b$: $$ \underset{x \in [a,b]}{\inf} \left\{ f(x) \right\} = 0 \hspace{10mm} \underset{x \in [a,b]}{\inf} \left\{ f(x) \right\} = 1 $$ since all intervals contain at least one rational and irrational number. This implies: $$ L(f, P, [0, 1]) = 0 \hspace{10mm} U(f, P, [0, 1]) = 1 $$ for all partitions of $[0, 1]$. Thus, $L(f, [a, b]) = 0$ and $U(f, [a, b]) = 1$.
The example above is a function with many discontinuities (infinitely many, in fact). Another problem that arises is related to the interchanging of the Riemann integral and the limit function.
Example. Let $r_1, r_2, \dots$ be the sequence of all rational numbers in the interval $[0, 1]$ (once and in order). For positive integer $k$, let $f_k: [0, 1] \rightarrow \mathbb{R}$ be the function defined by: $$ f_k(x) = \begin{cases} 1 & \text{if } x \in \{ r_1, \dots, r_k \} \\ 0 & \text{else} \end{cases} $$ Each $f_k$ is Riemann integrable, and we also have that: $$ \underset{k \rightarrow \infty}{\lim} f_k(x) = f(x) $$ However, as we showed in the previous example, $f(x)$ is not Riemann integrable.
Unbounded functions are also not Riemann integrable and reveal some deficiencies in Riemann integration.
Example. Let $f: [0, 1] \rightarrow \mathbb{R}$ be the function defined by: $$ f(x) = \begin{cases} \frac{1}{\sqrt{x}} & \text{if } 0 < x \leq 1 \\ 0 & \text{if } x = 0 \end{cases} $$ For any partition $P = \{ x_0, x_1, \dots, x_n \}$ of $[0, 1]$, $\underset{x \in [x_0, x_1]}{\sup}\left\{ f(x) \right\} = \infty$ and $\underset{x \in [x_0, x_1]}{\inf} \left\{ f(x) \right\} = 0$. These results imply the upper Riemann integral is infinity while the lower one is $0$. Another concern is the fact that the area under $f$ on $[0, 1]$ to be equal to $2$.