I tried to prove the following, please could somebody tell me if my proof is correct?

If $f: [a,b]\to \mathbb R$ is a bounded Riemann integrable function then for every $\varepsilon > 0$ there exists a $\delta > 0$ such that for any $\delta$-fine tagged partition $P$ it follows that $$ \left |\int_a^b f - R(P,f) \right |<\varepsilon$$where $R(P,f)$ is the Riemann sum for this tagged partition.

My proof: Let $\varepsilon > 0$. Let $S$ be the set of all partitions $P$ such that $U(f,P) - L(f,P) < {\varepsilon \over 2}$ (here $U(f,P)$ and $L(f,P)$ are upper and lower Riemann sum respectively). Let $\delta = \sup \{ |x_k-x_{k+1}|\mid x_k,x_{k+1}\in P \text{ for some } P \in S\}$.Then for any $\delta$-fine tagged partition $Q$:

$$ \left |\int_a^b f - R(Q,f) \right |= \left |U(f) - R(Q,f) \right | \le |U(f) - L(f,Q)| \le {\varepsilon \over 2} < \varepsilon$$


You can't be sure at this point in your proof, depending on the starting premise, that any other partition $Q$ with mesh $||Q||<\delta$ is necessarily in the set $S$.

What you are trying to prove is usually taken as the definition that $f$ is Riemann integrable.

The function $f:[a,b] \rightarrow \mathbf{R}$ is Riemann integrable with integral value $I$ if for every $\epsilon > 0$ there is a $\delta >0$ such that for any partition $P = (x_0,x_1,\ldots,x_n)$ with $||P|| = \max_{1 \leq i\leq n}(|x_i-x_{i-1}|)< \delta $ and any set of tags $\xi_i \in [x_{i-1},x_i]$ then

$$\left|\sum_{i=1}^{n}f(\xi_i)(x_i-x_{i-1})- I\right|=|S(P,f)-I| < \epsilon.$$

If $f$ is Riemann integrable, then it must be bounded.

So I assume you are trying prove this starting from Darboux's criterion for integrability.

The bounded function $f:[a,b] \rightarrow \mathbb{R}$ is Riemann integrable if the upper and lower Darboux integrals are equal. Or, equivalently, if for any $\epsilon > 0$ there exists a partition $P$ such that $U(P,f)-L(P,f) < \epsilon$

Using your notation:

$$\int_{a}^{b}f=I=U(f) = L(f), $$


$$U(f) = \inf_{P} \,U(P,f),\\ L(f)= \sup_{P} \,L(P,f)$$

This implies that for any $\epsilon > 0$ there are partitions $P_1$ and $P_2$ such that $I-\epsilon/2 < L(P_1,f)$ and $U(P_2,f) < I+\epsilon/2.$ Let $P_3 = P_1 \cup P_2$ be a common refinement. Note that a partition $P'$ is a refinement of $P$ if every point in $P$ is also in $P'$. If $P'$ refines $P$ then $||P'|| \leq ||P||$, but the converse is not necessarily true.


$$I-\epsilon/2 < L(P_1,f) \leq L(P_3,f) \leq U(P_3,f) \leq U(P_2,f)< I + \epsilon/2.$$

At this point, you can show that any tagged Riemann sum corresponding to a partition that refines $P_3$ is within $\epsilon$ of $I$, but you still need to show that this is true if the mesh of the partition is sufficiently small regardless of whether or not it refines $P_3.$

Let $D=\sup\{|f(x)−f(y)|:x,y∈[a,b]\}$ denote the maximum oscillation of $f$ and let $δ=ϵ/2mD\,$ where $m$ is the number of points in the partition $P_3$ .

Now let $P$ be any partition with $||P|| < \delta$ . Form the common refinement $Q=P∪P_3$ .

You will see that the upper sums $U(P,f)$ and $U(Q,f)$ differ in at most $m$ sub-intervals and at each the deviation is bounded by $δD$, and

$$|U(P,f)-U(Q,f)| < m\delta D=mD\frac{\epsilon}{2mD}=\epsilon/2$$

It follows that

$$U(P,f)<U(Q,f)+ϵ/2\leq U(P_3,f)+ϵ/2<I+ϵ.$$

By a similar argument, you can show $L(P,f)>I−ϵ$.

Hence for any tagged Riemann sum, $S(P,f)$

$$ I-\epsilon < L(P,f)\leq S(P,f)\leq U(P,f) < I+ϵ,$$


$$|I - S(P,f)| < \epsilon.$$


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.