Integral de Riemann[editar]

Artculo principal: Integral de Riemann

Integral con el planteamiento de Riemann hace una suma basada en una particin
etiquetada, con posiciones de muestreo y anchuras irregulares (el mximo en rojo). El
verdadero valor es 3,76; la estimacin obtenida es 3,648.
La integral de Riemann se define en trminos de sumas de Riemann de funciones
respecto de particiones etiquetadas de un intervalo. Sea [a,b] un intervalo cerrado de la
recta real; entonces una particin etiquetada de [a,b] es una secuencia finita
y
denotamos la particin como

Convergencia de sumatorios de Riemann a medida en que se parten los intervalos,

cuando se muestrea a la derecha, el mnimo, el mximo, o la izquierda.
Esto divide al intervalo [a,b] en n subintervalos [xi1, xi], cada uno de los cuales es
"etiquetado" con un punto especificado ti de; [xi1, xi]. Sea i = xixi1 la anchura del
subintervalo i; el paso de esta particin etiquetada es el ancho del subintervalo ms
grande obtenido por la particin, maxi=1n i. Un sumatorio de Riemann de una funcin
f respecto de esta particin etiquetada se define como

As cada trmino del sumatorio es el rea del rectngulo con altura igual al valor de la
funcin en el punto especificado del subintervalo dado, y de la misma anchura que la
anchura del subintervalo. La integral de Riemann de una funcin f sobre el intervalo
[a,b] es igual a S si:
Para todo > 0 existex > 0 tal que, para cualquier particin etiquetada [a,b]
con paso ms pequeo que , se tiene
, donde
Cuando las etiquetas escogidas dan el mximo (o mnimo) valor de cada intervalo, el
sumatorio de Riemann pasa a ser un sumatorio de Darboux superior (o inferior), lo que
sugiere la estrecha conexin que hay entre la integral de Riemann y la integral de
Darboux.

Integral de Darboux[editar]
Artculo principal: Integral de Darboux

La Integral de Darboux se define en trminos de sumas de los siguientes tipos:

Llamadas suma inferior y superior respectivamente, donde:

son las alturas de los rectngulos, y xi-xi-1 la longitud de la base de los rectngulos. La
integral de Darboux est definida como el nico nmero acotado entre las sumas
inferior y superior, es decir,

La interpretacin geomtrica de la integral de Darboux sera el clculo del rea de la

regin en [a,b] por el Mtodo exhaustivo. La integral de Darboux de una funcin f en
[a,b] existe si y solo si

Del Teorema de Caracterizacin que dice que si f es integrable en [a,b] entonces >0
P particin de [a,b] : 0U(f,P)-L(f,P), evidencia la equivalencia entre las definiciones
de Integral de Riemman e Integral de Darboux pues se sigue que7

Integral de Lebesgue[editar]
Artculo principal: Integral de Lebesgue

Integracin de Riemann-Darboux (azul) e integracin de Lebesgue (rojo).

La integral de Riemann no est definida para un ancho abanico de funciones y
situaciones de importancia prctica (y de inters terico). Por ejemplo, la integral de
Riemann puede integrar fcilmente la densidad para obtener la masa de una viga de
acero, pero no se puede adaptar a una bola de acero que se apoya encima. Esto motiva la
creacin de otras definiciones, bajo las cuales se puede integrar un surtido ms amplio
de funciones.8 La integral de Lebesgue, en particular, logra una gran flexibilidad a base
de centrar la atencin en los pesos de la suma ponderada.
As, la definicin de la integral de Lebesgue empieza con una medida, . En el caso ms
sencillo, la medida de Lebesgue (A) de un intervalo A = [a, b] es su ancho, b a, as la
integral de Lebesgue coincide con la integral de Riemann cuando existen ambas. En
casos ms complicados, los conjuntos a medir pueden estar altamente fragmentados, sin
continuidad y sin ningn parecido a intervalos.
Para explotar esta flexibilidad, la integral de Lebesgue invierte el enfoque de la suma
ponderada. Como expresa Folland:9 "Para calcular la integral de Riemann de f, se
particiona el dominio [a, b] en subintervalos", mientras que en la integral de Lebesgue,
"de hecho lo que se est particionando es el recorrido de f".
Un enfoque habitual define primero la integral de la funcin caracterstica de un
conjunto medible A por:

.
Esto se extiende por linealidad a las funciones escalonadas simples, que solo tienen un
nmero finito n, de valores diferentes no negativos:

(donde la imagen de Ai al aplicarle la funcin escalonada s es el valor constante ai). As,

si E es un conjunto medible, se define

Entonces, para cualquier funcin medible no negativa f se define

Es decir, se establece que la integral de f es el supremo de todas las integrales de

funciones escalonadas que son ms pequeas o iguales que f. Una funcin medible
cualquiera f, se separa entre sus valores positivos y negativos a base de definir

Finalmente, f es Lebesgue integrable si

y entonces se define la integral por

Cuando el espacio mtrico en el que estn definidas las funciones es tambin un espacio
topolgico localmente compacto (como es el caso de los nmeros reales R), las medidas
compatibles con la topologa en un sentido adecuado (medidas de Radon, de las cuales
es un ejemplo la medida de Lebesgue) una integral respecto de ellas se puede definir de
otra manera, se empieza a partir de las integrales de las funciones continuas con soporte

compacto. De forma ms precisa, las funciones compactamente soportadas forman un

espacio vectorial que comporta una topologa natural, y se puede definir una medida
(Radon) como cualquier funcional lineal continuo de este espacio; entonces el valor de
una medida en una funcin compactamente soportada, es tambin, por definicin, la
integral de la funcin. Entonces se contina expandiendo la medida (la integral) a
funciones ms generales por continuidad, y se define la medida de un conjunto como la
integral de su funcin caracterstica. Este es el enfoque que toma Bourbaki10 y cierto
nmero de otros autores. Para ms detalles, vase medidas de Radon.

Otras integrales[editar]
A pesar de que las integrales de Riemann y Lebesgue son las definiciones ms
importantes de integral, hay unas cuntas ms, por ejemplo:

La integral de Riemann-Stieltjes, una extensin de la integral de Riemann.

La integral de Lebesgue-Stieltjes, desarrollada por Johann Radon, que generaliza
las integrales de Riemann-Stieltjes y de Lebesgue.

La integral de Daniell, que incluye la integral de Lebesgue y la integral de

Lebesgue-Stieltjes sin tener que depender de ninguna medida.

La integral de Henstock-Kurzweil, definida de forma variada por Arnaud

Denjoy, Oskar Perron, y Jaroslav Kurzweil, y desarrollada por Ralph Henstock.

La integral de Haar, que es la integral de Lebesgue con la medida de Haar.

La integral de McShane.

La integral de Bochner.

La integral de It, integral que extiende a la integral de Riemann-Stieltjes,

permite integrar respecto a procesos estocsticos que pueden no ser de variacin
acotada como el movimiento browniano.