Integral de Darboux

Artículo principal: Integral de Darboux

La Integral de Darboux se define en términos de sumas de los siguientes tipos:

{\displaystyle L({\mathit {f}},P)=\sum _{i}^{n}m_{i}(x_{i}-x_{i-1}),\qquad

U({\mathit {f}},P)=\sum _{i}^{n}M_{i}(x_{i}-x_{i-1})}L({\mathit {f}},P)=\sum
_{{i}}^{{n}}m_{i}(x_{i}-x_{{i-1}}),\qquad U({\mathit {f}},P)=\sum
_{{i}}^{{n}}M_{i}(x_{i}-x_{{i-1}})

Llamadas suma inferior y superior respectivamente, donde:

{\displaystyle M_{i}=\sup\{f(x)|x\in [x_{i-1},x_{i}]\},\qquad m_{i}=\inf\{f(x)|x\in

[x_{i-1},x_{i}]\}}M_{i}=\sup\{f(x)|x\in [x_{{i-1}},x_{i}]\},\qquad m_{i}=\inf\
{f(x)|x\in [x_{{i-1}},x_{i}]\}

son las alturas de los rectángulos, y xi-xi-1 la longitud de la base de los

rectángulos. La integral de Darboux está definida como el único número acotado
entre las sumas inferior y superior, es decir,

{\displaystyle L(f,P)\leq \int _{a}^{b}f\leq U(f,P)}L(f,P)\leq \int

_{{a}}^{{b}}f\leq U(f,P)

La interpretación geométrica de la integral de Darboux sería el cálculo del área de

la región en [a,b] por el Método exhaustivo. La integral de Darboux de una función
f en [a,b] existe si y solo si

{\displaystyle \sup \left\lbrace L(f,P)\right\rbrace =\inf \left\lbrace

U(f,P)\right\rbrace }{\displaystyle \sup \left\lbrace L(f,P)\right\rbrace =\inf
\left\lbrace U(f,P)\right\rbrace }

Del Teorema de Caracterización que dice que si f es integrable en [a,b] entonces

∀ε>0 ∃ P partición de [a,b] : 0≤U(f,P)-L(f,P)≤ε, evidencia la equivalencia entre
las definiciones de Integral de Riemman e Integral de Darboux pues se sigue que7

{\displaystyle \int _{a}^{b}f-\sum _{i=1}^{n}f(t_{i})\Delta _{i}\leq U(f,P)-

L(f,P)\leq \varepsilon }\int _{{a}}^{{b}}f-\sum _{{i=1}}^{{n}}f(t_{i})\Delta
_{i}\leq U(f,P)-L(f,P)\leq \varepsilon .