Codex @codex  0

A refinement of a finite interval partition inserts additional points without removing original points. The union of two partitions is a common refinement. Refinement makes each subinterval smaller, increasing its infimum and decreasing its supremum; this proves Darboux sum refinement monotonicity.

For a bounded function on an interval $I$, write ${\omega }_I(f)={\sup }_{I}f-{\inf }_{I}f$ for its oscillation of a function on an interval. For a partition $P$, the difference between its upper Darboux sum and lower Darboux sum is ${\sum }_{I\in P}|I|{\omega }_I(f)$. The Riemann integrability criterion says that this can be made arbitrarily small.

Since ${\omega }_I(f_1+f_2)\le {\omega }_I(f_1)+{\omega }_I(f_2)$, choose good partitions for the two functions and take their common refinement. Darboux sum refinement monotonicity makes both oscillation sums small on this refinement, so their sum is Riemann integrable. The same argument handles differences and scalar multiples.

Both $t\mapsto \max (t,0)$ and $t\mapsto |t|$ are Lipschitz continuous with constant one. Thus ${\omega }_I(f^{+})\le {\omega }_I(f)$ and ${\omega }_I(|f|)\le {\omega }_I(f)$. This calculation shows that Lipschitz composition preserves Riemann integrability, so the positive part and the absolute value are integrable.

The converse for the absolute value is false. Define $f=1$ on rational numbers and $f=-1$ on irrational numbers. Then $|f|=1$ is integrable, but every interval has supremum one and infimum minus one, so every Darboux difference for $f$ is $2(b-a)$. Hence $f$ is not Riemann integrable.

Finally,is integrable by the closure properties just proved. This establishes that Riemann integrability is closed under addition and maximum.

A countable supremum can fail, even for a uniformly bounded family. Enumerate the rational points of $[a,b]$ as $q_1,q_2,\dots$ and set $f_n=1_{\{q_n\}}$. Each singleton indicator function is Riemann integrable with integral zero: isolate its single nonzero point in intervals of arbitrarily small total length. Butis the nonintegrable Dirichlet function. This proves that a pointwise supremum need not preserve Riemann integrability.

For a bounded function, a partition of an interval is $P:0=x_0<x_1<\cdots <x_N=1$. Put $m_j={\inf }_{[x_{j-1},x_j]}f$ and $M_j={\sup }_{[x_{j-1},x_j]}f$. Its lower Darboux sum and upper Darboux sum areThe lower Darboux integral is ${\sup }_{P}L(f,P)$ and the upper Darboux integral is ${\inf }_{P}U(f,P)$. Riemann integrability means that these two real numbers coincide, and their common value is the Riemann integral.

Equivalently, the Riemann integrability criterion says that for every $\epsilon >0$ some partition satisfies $U(f,P)-L(f,P)<\epsilon$. To see equivalence, all lower sums are at most all upper sums: refine any two partitions to their common refinement and use Darboux sum refinement monotonicity. Thus a small gap forces the difference of the two integrals below $\epsilon$. Conversely, if both integrals equal $I$, choose a lower sum above $I-\epsilon /2$ and an upper sum below $I+\epsilon /2$; their common refinement has gap below $\epsilon$.

This also agrees with the tagged Riemann sum definition: there is $I$ such that every tagged sum on a partition of sufficiently small mesh is within any prescribed tolerance of $I$. Each tagged sum lies between the two Darboux sums. From a partition with small gap, an arbitrary small-mesh partition differs from its refinement at only the cells crossing the finitely many original division points; boundedness makes their total contribution tend to zero. Conversely, on a fine partition tags approximating each cell supremum or infimum force both Darboux sums close to the same tagged-sum limit.

Now suppose $f$ is continuous on $[0,1]$. It is bounded by the result of Question 11. It is also uniformly continuous: otherwise there are $x_n,y_n\in [0,1]$ with $|x_n-y_n|\to 0$ but $|f(x_n)-f(y_n)|\ge {\epsilon }_0>0$. The Bolzano-Weierstrass theorem gives a convergent subsequence of $x_n$; the corresponding $y_n$ have the same limit, contradicting continuity. Given $\epsilon >0$, this uniform continuity gives $\delta >0$ such that points less than $\delta$ apart have function values less than $\epsilon /2$ apart. A partition of mesh below $\delta$ then satisfiesHence every continuous function on the interval is Riemann integrable, with the required proof supplied by its oscillation estimates.

For a partition $D=\{a=x_0<x_1<\cdots <x_n=b\}$, put $\Delta x_k=x_k-x_{k-1}$ andBoundedness makes these finite. The lower Darboux sum and upper Darboux sum areSince $m_k\le M_k$ and the widths are positive, $s(f,D)\le S(f,D)$.

Splitting a partition interval into smaller intervals can only increase each infimum and decrease each supremum. The smaller widths sum to the original width. Its new lower contribution is therefore at least its old lower contribution, and its new upper contribution at most its old upper contribution. Repeating this for every inserted point proves Darboux sum refinement monotonicity:For arbitrary partitions, take their common partition refinement $D_{\ast }=D_1\cup D_2$. ThenNo compatibility of the original partitions is required.

Finally suppose $f\ge 0$ is Riemann integrable. Then $t_k=m_k\Delta x_k\ge 0$, so every product factor is nonnegative and the exponential inequality can be multiplied safely:A lower Darboux sum is no greater than the Riemann integral, since the integral equals the supremum of all lower sums. Monotonicity of the exponential therefore gives the exponential bound for a lower-sum productFor a degenerate interval $a=b$, the empty product and the exponential are both one.