Bounded Piecewise Continuous Function is Darboux Integrable

Theorem
Let $f$ be a real function defined on a closed interval $\left[{a \,.\,.\, b}\right]$.

Let $f$ satisfy Piecewise Continuous Function/Definition 2.

Then $f$ is Riemann integrable.

Proof
We have that $f$ is piecewise continuous on $\left[{a \,.\,.\, b}\right]$.

Therefore, there exists a finite subdivision $\left\{{x_0, \ldots, x_n}\right\}$ of $\left[{a \,.\,.\, b}\right]$, $x_0 = a$ and $x_n = b$, such that $f$ is continuous on $\left({x_{i - 1} \,.\,.\, x_i}\right)$ for every $i \in \left\{{1, \ldots, n}\right\}$.

Note that $n$ is the number of intervals $\left({x_{i - 1} \,.\,.\, x_i}\right)$ defined from the subdivision $\left\{{x_0, \ldots, x_n}\right\}$.

We shall use proof by induction on the number of intervals.

We start with the case $n = 1$, the base case.

From the piecewise continuity of $f$ for the case $n = 1$ it follows that:


 * $f$ is continuous on $\left({a \,.\,.\, b}\right)$
 * $f$ is bounded on $\left[{a \,.\,.\, b}\right]$

By Bounded Function Continuous on Open Interval is Riemann Integrable, $f$ is Riemann integrable on $\left[{a \,.\,.\, b}\right]$.

This finishes the proof for the case $n = 1$.

Assume that the theorem is true for some $n$, $n \ge 1$.

We need to prove that the theorem is true for the case $n + 1$.

We have that $f$ is piecewise continuous on $\left[{a \,.\,.\, b}\right]$.

Therefore, a subdivision $P$ of $\left[{a \,.\,.\, b}\right]$ exists, $P = \left\{{x_0, \ldots, x_{n + 1}}\right\}$, $x_0 = a$ and $x_{n + 1} = b$, so that $f$ is continuous on $\left({x_{i - 1} \,.\,.\, x_i}\right)$ for every $i \in \left\{{1, \ldots, n + 1}\right\}$.

First we show that $f$ is piecewise continuous on $\left[{a \,.\,.\, x_n}\right]$ and $\left[{x_n \,.\,.\, b}\right]$.

We know that $f$ is continuous on $\left({x_{i - 1} \,.\,.\, x_i}\right)$ for every $i \in \left\{{1, \ldots, n}\right\}$.

Also, $f$ is bounded on $\left[{x_0 \,.\,.\, x_n}\right]$ because $f$ is bounded on the superset $\left[{x_0 \,.\,.\, x_{n + 1}}\right]$ of $\left[{x_0 \,.\,.\, x_n}\right]$.

Therefore, all the requirements for $f$ to be piecewise continuous on $\left[{x_0 \,.\,.\, x_n}\right]$ for the subdivision $P \setminus \left\{ x_{n + 1} \right\}$ of $\left[{x_0 \,.\,.\, x_n}\right]$ are satisfied.

As $x_0 = a$, we have shown that $f$ is piecewise continuous on $\left[{a \,.\,.\, x_n}\right]$.

We know that $f$ is continuous on $\left({x_n \,.\,.\, x_{n + 1}}\right)$.

Also, $f$ is bounded on $\left[{x_n \,.\,.\, x_{n + 1}}\right]$ because $f$ is bounded on the superset $\left[{x_0 \,.\,.\, x_{n + 1}}\right]$ of $\left[{x_n \,.\,.\, x_{n + 1}}\right]$.

Therefore, all the requirements for $f$ to be piecewise continuous on $\left[{x_n \,.\,.\, x_{n + 1}}\right]$ for the subdivision $\left\{{x_n, x_{n + 1}}\right\}$ of $\left[{x_n \,.\,.\, x_{n + 1}}\right]$ are satisfied.

As $x_{n + 1} = b$, we have shown that $f$ is piecewise continuous on $\left[{x_n \,.\,.\, b}\right]$.

Next we show that $f$ is integrable on $\left[{a \,.\,.\, x_n}\right]$ and $\left[{x_n \,.\,.\, b}\right]$:

We have that $f$ is piecewise continuous on $\left[{a \,.\,.\, x_n}\right]$.

Also, the number of intervals $\left({x_{i - 1} \,.\,.\, x_i}\right)$ defined from the subdivision $\left\{{x_0, \ldots, x_n}\right\}$ equals $n$.

Therefore, $f$ is integrable on $\left[{a \,.\,.\, x_n}\right]$ by the induction hypothesis.

We have that $f$ is piecewise continuous on $\left[{x_n \,.\,.\, b}\right]$.

Also, the number of intervals $\left({x_{i - 1} \,.\,.\, x_i}\right)$ defined from the subdivision $\left\{{x_n, x_{n + 1}}\right\}$ equals 1.

Therefore, $f$ is integrable on $\left[{x_n \,.\,.\, b}\right]$ by the fact that the theorem is true for the base case.

We have that $f$ is integrable on $\left[{a \,.\,.\, x_n}\right]$ and $\left[{x_n \,.\,.\, b}\right]$.

It follows by Existence of Integral on Union of Adjacent Intervals that $f$ is integrable on $\left[{a \,.\,.\, x_n}\right] \cup \left[{x_n \,.\,.\, b}\right] = \left[{a \,.\,.\, b}\right]$.

This finishes the proof.