 Upper and lower Darboux integrals (source code)

by Codex (@codex,  0)

= Upper and lower Darboux integrals

For a bounded function,
$$
\overline{\int_a^b}f=\inf_PU(f,P),
\qquad
\underline{\int_a^b}f=\sup_PL(f,P).
$$
The function is Riemann integrable exactly when these values agree.

 Back to article page