Integracin

Para otros usos de este trmino, vase Integracin (desambiguacin).

Integral redirige aqu. Para otras acepciones, vase Integral (desambiguacin).

La integral definida de una funcin representa el rea limitada por la grfica de la funcin, en un sistema
decoordenadas cartesianas con signo positivo cuando la funcin toma valores positivos y signo negativo
cuando toma valores negativos.

La integracin es un concepto fundamental del clculo y del anlisis matemtico.

Bsicamente, una integral es una generalizacin de la suma de infinitos sumandos,
infinitamente pequeos.
El clculo integral, encuadrado en el clculo infinitesimal, es una rama de las matemticas en
el proceso de integracin o antiderivacin, es muy comn en la ingeniera y en la ciencia
tambin; se utiliza principalmente para el clculo de reas y volmenes de regiones y slidos
de revolucin.
Fue usado por primera vez por cientficos como Arqumedes, Ren Descartes, Isaac
Newton, Gottfried Leibniz e Isaac Barrow. Los trabajos de este ltimo y los aportes de Newton
generaron el teorema fundamental del clculo integral, que propone que la derivacin y la
integracin son procesos inversos.

Principales objetivos del clculo integral[editar]

Sus principales objetivos a estudiar son:

rea de una regin plana

Cambio de variable

Integrales indefinidas

Integrales definidas

Integrales impropias

Integral de lnea

Integrales mltiples (dobles o triples)

Integrales trigonomtricas, logartmicas y exponenciales

Mtodos de integracin

Teorema fundamental del clculo

Volumen de un slido de revolucin

Teora[editar]

se interpreta como el rea bajo la curva de f, entre a y b.

Dada una funcin

de una variable real

y un intervalo

la integral es igual al rea de la regin del plano

las lneas verticales

de la recta real,

limitada entre la grfica de , el eje

,y

, donde son negativas las reas por debajo del eje

.
La palabra "integral" tambin puede hacer referencia a la nocin de primitiva: una funcin F,
cuya derivada es la funcin dada . En este caso se denomina integral indefinida, mientras
que las integrales tratadas en este artculo son las integrales definidas. Algunos autores
mantienen una distincin entre integrales primitivas e indefinidas.

Los principios de la integracin fueron formulados por Newton y Leibniz a finales del siglo XVII.
A travs del teorema fundamental del clculo, que desarrollaron los dos de forma
independiente, la integracin se conecta con la derivacin, y la integral definida de una funcin
se puede calcular fcilmente una vez se conoce una antiderivada. Las integrales y las
derivadas pasaron a ser herramientas bsicas del clculo, con numerosas aplicaciones en
ciencia e ingeniera.
Bernhard Riemann dio una definicin rigurosa de la integral. Se basa en un lmite que
aproxima el rea de una regin curvilnea a base de partirla en pequeos trozos verticales. A
comienzos del siglo XIX, empezaron a aparecer nociones ms sofisticadas de la integral,
donde se han generalizado los tipos de las funciones y los dominios sobre los cuales se hace
la integracin. La integral curvilnea se define para funciones vectoriales de una variable, y el
intervalo de integracin [a,b] se sustituye por el de la parametrizacin de la curva sobre la cual
se est integrando, la cual, conecta dos puntos del plano o del espacio. En una integral de
superficie, la curva se sustituye por un trozo de una superficie en el espacio tridimensional.
Las integrales de las formas diferenciales desempean un papel fundamental en la geometra
diferencial moderna. Estas generalizaciones de la integral surgieron primero a partir de las
necesidades de la fsica, y tienen un papel importante en la formulacin de muchas leyes
fsicas cmo, por ejemplo, las del electromagnetismo. Los conceptos modernos de integracin
se basan en la teora matemtica abstracta conocida como integral de Lebesgue, que fue
desarrollada por Henri Lebesgue.

Historia[editar]

Integracin antes del clculo[editar]

La integracin se puede trazar en el pasado hasta el antiguo Egipto, circa 1800 a. C., con
el papiro de Mosc, donde se demuestra que ya se conoca una frmula para calcular el
volumen de un tronco piramidal. La primera tcnica sistemtica documentada capaz de
determinar integrales es el mtodo de exhauscin de Eudoxo (circa 370 a. C.), que trataba de
encontrar reas y volmenes a base de partirlos en un nmero infinito de formas para las
cuales se conocieran el rea o el volumen. Este mtodo fue desarrollado y usado ms
adelante por Arqumedes, que lo emple para calcular reas de parbolas y una aproximacin
al rea del crculo. Mtodos similares fueron desarrollados de forma independiente
en China alrededor del siglo III por Liu Hui, que los us para encontrar el rea del crculo. Ms
tarde, Zu Chongzhi us este mtodo para encontrar el volumen de una esfera. En
el Siddhanta Shiromani, un libro de astronoma del siglo XII del matemtico indio Bhaskara II,
se encuentran algunas ideas de clculo integral.

Hasta el siglo XVI no empezaron a aparecer adelantos significativos sobre el mtodo de

exhauscin. En esta poca, por un lado, con el trabajo de Cavalieri con su mtodo de los
indivisibles y, por otro lado, con los trabajos de Fermat, se empez a desarrollar los
fundamentos del clculo moderno. A comienzos del siglo XVII, se produjeron nuevos
adelantos con las aportaciones de Barrow y Torricelli, que presentaron los primeros indicios de
una conexin entre la integracin y la derivacin.

Newton y Leibniz[editar]
Los principales adelantos en integracin vinieron en el siglo XVII con la formulacin
del teorema fundamental del clculo, realizado de manera independiente por Newton yLeibniz.
El teorema demuestra una conexin entre la integracin y la derivacin. Esta conexin,
combinada con la facilidad, comparativamente hablando, del clculo de derivadas, se puede
usar para calcular integrales. En particular, el teorema fundamental del clculo permite
resolver una clase ms amplia de problemas. Tambin cabe destacar todo el marco estructural
alrededor de las matemticas que desarrollaron tambin Newton y Leibniz. El llamado clculo
infinitesimal permiti analizar, de forma precisa, funciones con dominios continuos.
Posteriormente, este marco ha evolucionado hacia el clculo moderno, cuya notacin para las
integrales procede directamente del trabajo de Leibniz.

Formalizacin de las integrales[editar]

Aunque Newton y Leibniz proporcionaron un enfoque sistemtico a la integracin, su trabajo
careca de un cierto nivel de rigor. Es memorable el ataque del obispo Berkeleycalificando
los infinitesimales como los "fantasmas de las cantidades que se desvanecen".
El clculo adquiri una posicin ms firme con el desarrollo de los lmites y, en la primera
mitad del siglo XIX, recibi una fundamentacin adecuada por parte de Cauchy. La integracin
fue rigurosamente formalizada por primera vez por Riemann, empleando lmites. A pesar de
que todas las funciones continuas fragmentadas y acotadas son integrables en un intervalo
acotado, ms tarde se consideraron funciones ms generales para las cuales la definicin de
Riemann no era aplicable y por tanto no eran integrables en el sentido de Riemann.
Posteriormente Lebesgue dio una definicin diferente de la integral1 basada en la teora de la
medida que generalizaba la definicin de Riemann, as toda funcin integrable en el sentido
de Riemann tambin lo es en el sentido de Lebesgue, aunque existen algunas funciones
integrables en el sentido de Lebesgue que no lo son en el sentido de Riemann. Ms
recientemente se han propuesto otras definiciones de integral an ms generales, que
amplan las definiciones de Riemann y Lebesgue.

Notacin[editar]
Isaac Newton usaba una pequea barra vertical encima de una variable para indicar
integracin, o pona la variable dentro de una caja. La barra vertical se confunda fcilmente
con

, que Newton usaba para indicar la derivacin, y adems la notacin "caja" era

difcil de reproducir por los impresores; por ello, estas notaciones no fueron ampliamente
adoptadas.
La notacin moderna de las integrales indefinidas fue presentada por Gottfried
Leibniz en 1675.2 3 Para indicar summa (umma; en latn, "suma" o "total"), adapt el smbolo
integral, "", a partir de una letra S alargada. La notacin moderna de la integral definida, con
los lmites arriba y abajo del signo integral, la us por primera vez Joseph
Fourieren Mmoires de la Academia Francesa, alrededor de 181920, reimpresa en su libro
de 1822.4 5 En la notacin matemtica en rabe moderno, que se escribe de derecha a
izquierda, se usa un signo integral invertido

.6

Terminologa y notacin[editar]
Si una funcin tiene una integral, se dice que es integrable. De la funcin de la cual se calcula
la integral se dice que es el integrando. Se denomina dominio de integracina la regin
sobre la cual se integra la funcin. Si la integral no tiene un dominio de integracin, se
considera indefinida (la que tiene dominio se considera definida). En general, el integrando
puede ser una funcin de ms de una variable, y el dominio de integracin puede ser un rea,
un volumen, una regin de dimensin superior, o incluso un espacio abstracto que no tiene
estructura geomtrica en ningn sentido usual.
El caso ms sencillo, la integral de una funcin real f de una variable real x sobre el intervalo
[a, b], se escribe

El signo , una "S" alargada, representa la integracin; a y b son el lmite inferior y

el lmite superior de la integracin y definen el dominio de integracin; f es el integrando,
que se tiene que evaluar al variar x sobre el intervalo [a,b]; y dx puede tener diferentes
interpretaciones dependiendo de la teora que se emplee. Por ejemplo, puede verse
simplemente como una indicacin de que x es la variable de integracin, como una
representacin de los pasos en la suma de Riemann, una medida (en la integracin de
Lebesgue y sus extensiones), un infinitesimal (en anlisis no estndar) o como una

cantidad matemtica independiente: una forma diferencial. Los casos ms complicados

pueden variar la notacin ligeramente.

Conceptos y aplicaciones
Las integrales aparecen en muchas situaciones prcticas. Considrese una piscina. Si es
rectangular y de profundidad uniforme, entonces, a partir de su longitud, anchura y
profundidad, se puede determinar fcilmente el volumen de agua que puede contener (para
llenarla), el rea de la superficie (para cubrirla), y la longitud de su borde (si se requiere saber
su medida). Pero si es ovalada con un fondo redondeado, las cantidades anteriores no son
sencillas de calcular. Una posibilidad es calcularlas mediante integrales.
Para el clculo integral de reas se sigue el siguiente razonamiento:
1. Por ejemplo, consideremos la curva mostrada en la figura de arriba, grfica de la
funcin

, acotada entre

2. La respuesta a la pregunta Cul es el rea bajo la curva de funcin

desde

, en el intervalo

hasta ? es: que el rea coincidir con la integral de . La notacin para

esta integral ser

.

Una primera aproximacin, muy grosera por cierto, para obtener esta rea, consiste en
determinar el rea del cuadrado unidad cuyo lado lo da la distancia desde x=0 hasta x=1 o
tambin la longitud entre y=f(0)=0 y y=f(1)=1. Su rea es exactamente 1x1 = 1. Tal como se
puede inferir, el verdadero valor de la integral tendr que ser ms pequeo. Particionando la
superficie en estudio, con trazos verticales, de tal manera que vamos obteniendo pequeos
rectngulos, y reduciendo cada vez ms el ancho de los rectngulos empleados para hacer la
aproximacin, se obtendr un mejor resultado; por ejem. dividamos el intervalo en cinco

partes, empleando los puntos 0, 15, 25,35,45 y, finalmente la abscisa 1. Se obtienen cinco
rectngulos cuyas alturas se determinan aplicando la funcin con las abscisas anteriormente
descritas (del lado derecho de cada pedazo de la curva), as
hasta

y as

. Sumando las reas de estos rectngulos, se obtiene una segunda

aproximacin de la integral que se est buscando,

Ntese que se est sumando una cantidad finita de valores de la funcin f, multiplicados
por la diferencia entre dos puntos de aproximacin sucesivos. Se puede ver fcilmente
que las continuas aproximaciones continan dando un valor ms grande que el de la
integral. Empleando ms pasos se obtiene una aproximacin ms ajustada, pero no ser
nunca exacta. Si en vez de 5 subintervalos se toman doce y ahora tomamos las abscisas
de la izquierda, tal como se muestra en el dibujo, se obtiene un estimado para el rea, de
0,6203, que en este caso es de menor valor que el anteriormente determinado. La idea
clave es la transicin desde la suma de una cantidad finita de diferencias de puntos de
aproximacin multiplicados por los respectivos valores de la funcin, hasta usar pasos
infinitamente finos, o infinitesimales. La notacin

concibe la integral como una suma ponderada (denotada por la "S" alargada), de los
valores de la funcin multiplicados por pasos de anchura infinitesimal, los
llamadosdiferenciales (indicados por dx).
Con respecto al clculo real de integrales, el teorema fundamental del clculo,
debido a Newton y Leibniz, es el vnculo fundamental entre las operaciones
de derivacin e integracin. Aplicndolo a la curva raz cuadrada, se tiene que mirar la
funcin relacionada
y

y simplemente tomar

, donde

son las fronteras del intervalo [0,1]. (ste es un ejemplo de una regla general, que

dice que para f(x) = xq, con q 1, la funcin relacionada, la

llamada primitiva es F(x) = (xq+1)/(q+1).) De modo que el valor exacto del rea bajo la
curva se calcula formalmente como

Como se puede ver, la segunda aproximacin de 0,7 (con cinco rectangulitos),

arroj un valor superior al valor exacto; en cambio la aproximacin con 12
rectangulitos de 0,6203 es una estimacin muy por debajo del valor exacto (que
es de 0,666...).
Histricamente, despus de que los primeros esfuerzos de definir rigurosamente
los infinitesimales no fructificasen, Riemann defini formalmente las integrales
como el lmite de sumas ponderadas, de forma que el dx sugiere el lmite de una
diferencia (la anchura del intervalo). La dependencia de la definicin de Riemann
de los intervalos y la continuidad motiv la aparicin de nuevas definiciones,
especialmente la integral de Lebesgue, que se basa en la habilidad de extender la
idea de "medida" de maneras mucho ms flexibles. As, la notacin

hace referencia a una suma ponderada de valores en que se divide la funcin,

donde mide el peso que se tiene que asignar a cada valor. (Aqu A indica la
regin de integracin.) La geometra diferencial, con su "clculo
de variedades", proporciona otra interpretacin a esta notacin familiar.
Ahora f(x) y dx pasan a ser una forma diferencial, = f(x)dx, aparece un
nuevo operador diferencial d, conocido como la derivada exterior, y el
teorema fundamental pasa a ser el (ms general) teorema de Stokes,

a partir del cual se deriva el teorema de Green, el teorema de la

divergencia, y el teorema fundamental del clculo.
Recientemente, los infinitesimales han reaparecido con rigor, a travs de
innovaciones modernas como el anlisis no estndar. Estos mtodos no
solo reivindican la intuicin de los pioneros, tambin llevan hacia las
nuevas matemticas, y hacen ms intuitivo y comprensible el trabajo con
clculo infinitesimal.
A pesar de que hay diferencias entre todas estas concepciones de la
integral, hay un solapamiento considerable. As, el rea de la piscina oval
se puede hallar como una elipse geomtrica, como una suma de
infinitesimales, como una integral de Riemann, como una integral de

Lebesgue, o como una variedad con una forma diferencial. El resultado

obtenido con el clculo ser el mismo en todos los casos.

Definiciones formales
Hay muchas maneras de definir formalmente una integral, no todas equivalentes. Se
establecen diferencias para poder abordar casos especiales que no pueden ser integrables
con otras definiciones, pero tambin en ocasiones por razones pedaggicas. Las definiciones
ms utilizadas de la integral son las integrales de Riemann y las integrales de Lebesgue.

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 que 7

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.