Integración

Ir a la navegaciónIr a la búsqueda
Para otros usos de este término, véase Integración (desambiguación).
«Integral» redirige aquí. Para otras acepciones, véase Integral (desambiguación).

La integral definida de una función representa el área limitada por la gráfica de la función, en un sistema
de coordenadas cartesianas con signo positivo cuando la función toma valores positivos y signo
negativo cuando toma valores negativos.

La integración es un concepto fundamental del cálculo y del análisis matemático.

Básicamente, una integral es una generalización de
la suma de infinitos sumandos, infinitesimalmente pequeños: una suma continua.
La integral es la operación inversa a la derivada.
El cálculo integral, encuadrado en el cálculo infinitesimal, es una rama de
las matemáticas en el proceso de integración o antiderivación. Es muy común en
la ingeniería y en la ciencia; se utiliza principalmente para el cálculo de áreas y
volúmenes de regiones y sólidos de revolución.
Fue usado por primera vez por científicos como Arquímedes, René
Descartes, Isaac Newton, Gottfried Leibniz e Isaac Barrow. Los trabajos de este
último y los aportes de Newton generaron el teorema fundamental del cálculo
integral, que propone que la derivación y la integración son procesos inversos.

Principales objetivos del cálculo integral[editar]

Sus principales objetivos a estudiar son:

 Área de una región plana

 Cambio de variable
 Integrales indefinidas
 Integrales definidas
 Integrales impropias
 Integral de línea
 Integrales homogéneas
 Integrales múltiples (dobles o triples)
 Integrales trigonométricas, logarítmicas y exponenciales
 Métodos de integración
 Teorema fundamental del cálculo
 Volumen de un sólido de revolución

Teoría[editar]

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

Dada una función  de una variable real  y un intervalo  de la recta real, la integral es igual

al área de la región del plano  limitada entre la gráfica de , el eje , y las líneas verticales  y ,
donde son negativas las áreas por debajo del eje .
La palabra "integral" también puede hacer referencia a la noción de primitiva: una función F,
cuya derivada es la función dada . En este caso se denomina integral indefinida, mientras
que las integrales tratadas en este artículo son las integrales definidas. Algunos autores
mantienen una distinción entre integrales primitivas e indefinidas.

Qué es la integral (animación)

Los principios de la integración fueron formulados por Newton y Leibniz a finales del siglo XVII.

A través del teorema fundamental del cálculo, que desarrollaron los dos de forma
independiente, la integración se conecta con la derivación, y la integral definida de una función
se puede calcular fácilmente una vez se conoce una antiderivada. Las integrales y las
derivadas pasaron a ser herramientas básicas del cálculo, con numerosas aplicaciones en
ciencia e ingeniería.
Bernhard Riemann dio una definición rigurosa de la integral. Se basa en un límite que
aproxima el área de una región curvilínea a base de partirla en pequeños trozos verticales. A
comienzos del siglo XIX, empezaron a aparecer nociones más sofisticadas de la integral,
donde se han generalizado los tipos de las funciones y los dominios sobre los cuales se hace
la integración. La integral curvilínea se define para funciones vectoriales de una variable, y el
intervalo de integración [a,b] se sustituye por el de la parametrización 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 desempeñan un papel fundamental en la geometría
diferencial moderna. Estas generalizaciones de la integral surgieron primero a partir de las
necesidades de la física, y tienen un papel importante en la formulación de muchas leyes
físicas cómo, por ejemplo, las del electromagnetismo. Los conceptos modernos de integración
se basan en la teoría matemática abstracta conocida como integral de Lebesgue, que fue
desarrollada por Henri Lebesgue.
Historia[editar]
Integración antes del cálculo[editar]
La integración 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 conocía una fórmula para calcular el
volumen de un tronco piramidal. La primera técnica sistemática documentada capaz de
determinar integrales es el método de exhausción de Eudoxo (circa 370 a. C.), que trataba de
encontrar áreas y volúmenes a base de partirlos en un número infinito de formas para las
cuales se conocieran el área o el volumen. Este método fue desarrollado y usado más
adelante por Arquímedes, que lo empleó para calcular áreas de parábolas y una aproximación
al área del círculo. Métodos similares fueron desarrollados de forma independiente
en China alrededor del siglo III por Liu Hui, que los usó para encontrar el área del círculo. Más
tarde, Zu Chongzhi usó este método para encontrar el volumen de una esfera. En
el Siddhanta Shiromani, un libro de astronomía del siglo XII del matemático indio Bhaskara II,
se encuentran algunas ideas de cálculo integral.
Hasta el siglo XVI no empezaron a aparecer adelantos significativos sobre el método de
exhaución. En esta época, por un lado, con el trabajo de Cavalieri con su método de los
indivisibles y, por otro lado, con los trabajos de Fermat, se empezó a desarrollar los
fundamentos del cálculo moderno. A comienzos del siglo XVII, se produjeron nuevos
adelantos con las aportaciones de Barrow y Torricelli, que presentaron los primeros indicios de
una conexión entre la integración y la derivación.

Newton y Leibniz[editar]
Los principales adelantos en integración vinieron en el siglo XVII con la formulación
del teorema fundamental del cálculo, realizado de manera independiente
por Newton y Leibniz. El teorema demuestra una conexión entre la integración y la derivación.
Esta conexión, combinada con la facilidad, comparativamente hablando, del cálculo de
derivadas, se puede usar para calcular integrales. En particular, el teorema fundamental del
cálculo permite resolver una clase más amplia de problemas. También cabe destacar todo el
marco estructural alrededor de las matemáticas que desarrollaron también Newton y Leibniz.
El llamado cálculo infinitesimal permitió analizar, de forma precisa, funciones con dominios
continuos. Posteriormente, este marco ha evolucionado hacia el cálculo moderno, cuya
notación para las integrales procede directamente del trabajo de Leibniz.

Formalización de las integrales[editar]

Aunque Newton y Leibniz proporcionaron un enfoque sistemático a la integración, su trabajo
carecía de un cierto nivel de rigor. Es memorable la expresión del obispo
Berkeley interpretando los infinitesimales como los "fantasmas de las cantidades que se
desvanecen".
El cálculo adquirió una posición más firme con el desarrollo de los límites y, en la primera
mitad del siglo XIX, recibió una fundamentación adecuada por parte de Cauchy. La integración
fue rigurosamente formalizada por primera vez por Riemann, empleando límites. A pesar de
que todas las funciones continuas fragmentadas y acotadas son integrables en un intervalo
acotado, más tarde se consideraron funciones más generales para las cuales la definición de
Riemann no era aplicable y por tanto no eran integrables en el sentido de Riemann.
Posteriormente Lebesgue dio una definición diferente de la integral1 basada en la teoría de la
medida que generalizaba la definición de Riemann, así toda función integrable en el sentido
de Riemann también 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. Más
recientemente se han propuesto otras definiciones de integral aún más generales, que
amplían las definiciones de Riemann y Lebesgue.
Notación[editar]

El símbolo de integral en escritos (de izquierda a derecha) ingleses, alemanes y rusos

Isaac Newton usaba una pequeña barra vertical encima de una variable para indicar
integración, o ponía la variable dentro de una caja. La barra vertical se confundía fácilmente
con  o , que Newton usaba para indicar la derivación, y además la notación "caja" era difícil de
reproducir por los impresores; por ello, estas notaciones no fueron ampliamente adoptadas.
La notación moderna de las integrales indefinidas fue presentada por Gottfried
Leibniz en 1675.23 Para indicar summa (ſumma; en latín ‘suma’ o ‘total’), adaptó el símbolo
integral, «∫», a partir de una letra S alargada porque consideraba a la integral como una suma
infinita de addendas(‘sumandos’) infinitesimales. La notación moderna de la integral definida,
con los límites arriba y abajo del signo integral, la usó por primera vez Joseph
Fourier en Mémoires de la Academia Francesa, alrededor de 1819-20, reimpresa en su libro
de 1822.45
Existen ligeras diferencias en la notación del símbolo de la integral en la literatura de las
diversas lenguas: el símbolo inglés está inclinado hacia la derecha, en alemán
tradicionalmente se ha escrito derecho (sin inclinación) mientras la variante rusa tradicional
está inclinada hacia la izquierda.
En la notación matemática en árabe moderno, que se escribe de derecha a izquierda, se usa

un signo integral invertido  .6

Generalizaciones modernas[editar]
Tras la creación del cálculo integral a partir del siglo XVII, y su desarrollo más o menos
intuitivo durante un par de siglos, la noción de integración fue analizada con mayor rigor
durante el siglo XIX. Así la primera noción rigurosa de integración es el concepto de integral
de Riemann, así como su generalización conocida como integral de Riemann-Stieltjes. A
principios del siglo XX, el desarrollo de la teoría de la medida llevó al concepto más general y
cualitativamente más avanzado de integral de Lebesgue. Más tarde el desarrollo de la noción
de proceso estocástico dentro de la teoría de la probabilidad llevó a la formulación de
la integral de Itō hacia el final de la primera mitad del siglo XX, y posteriormente a su
generalización conocida como integral de Skorohod (1975). Asimismo desde los años 1960,
se ha buscado definición matemáticamente rigurosa de integral de caminos cuánticos.

Terminología y notación[editar]
Si una función tiene una integral, se dice que es integrable. De la función de la cual se calcula
la integral se dice que es el integrando. Se denomina dominio de integración a la región
sobre la cual se integra la función. Si la integral no tiene un dominio de integración, se
considera indefinida (la que tiene dominio se considera definida). En general, el integrando
puede ser una función de más de una variable, y el dominio de integración puede ser un área,
un volumen, una región de dimensión superior, o incluso un espacio abstracto que no tiene
estructura geométrica en ningún sentido usual.
El caso más sencillo, la integral de una función real f de una variable real x sobre el intervalo
[a, b], se escribe
El signo ∫, una «S» alargada, representa la integración; a y b son el límite inferior y el límite
superior de la integración y definen el dominio de integración; 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 teoría que se emplee. Por ejemplo, puede verse simplemente como una
indicación de que x es la variable de integración, como una representación de los pasos en la
suma de Riemann, una medida (en la integración de Lebesgue y sus extensiones),
un infinitesimal (en análisis no estándar) o como una cantidad matemática independiente:
una forma diferencial. Los casos más complicados pueden variar la notación ligeramente.

Conceptos y aplicaciones[editar]

Aproximaciones a la integral de  entre 0 y 1, con ■ 5 muestras por la izquierda (arriba) y ■ 12 muestras
por la derecha (abajo).

Las integrales aparecen en muchas situaciones prácticas. Considérese una piscina. Si es

rectangular y de profundidad uniforme, entonces, a partir de su longitud, anchura y
profundidad, se puede determinar fácilmente 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 cálculo integral de áreas se sigue el siguiente razonamiento:
1. Por ejemplo, consideremos la curva mostrada en la figura de arriba, gráfica de la
función , acotada entre  y .
2. La respuesta a la pregunta ¿Cuál es el área bajo la curva de función , en el intervalo
desde  hasta ? es: que el área coincidirá con la integral de . La notación para esta
integral será
.
Una primera aproximación, aunque no muy precisa, 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
también 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 más pequeño.
Particionando la superficie en estudio, con trazos verticales, de tal manera que vamos
obteniendo pequeños rectángulos, y reduciendo cada vez más el ancho de los
rectángulos empleados para hacer la aproximación, se obtendrá un mejor resultado. Por
ejemplo, dividamos el intervalo en cinco partes, empleando los puntos 0, 1⁄5, 2⁄5,3⁄5,4⁄5 y
finalmente la abscisa 1. Se obtienen cinco rectángulos cuyas alturas se determinan
aplicando la función con las abscisas anteriormente descritas (del lado derecho de cada
pedazo de la curva), así , , … y así hasta . Sumando las áreas de estos rectángulos, se
obtiene una segunda aproximación de la integral que se está buscando,
Nótese que se está sumando una cantidad finita de valores de la función f,
multiplicados por la diferencia entre dos puntos de aproximación sucesivos. Se puede
ver fácilmente que las continuas aproximaciones continúan dando un valor más
grande que el de la integral. Empleando más pasos se obtiene una aproximación más
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 transición desde la suma de una
cantidad finita de diferencias de puntos de aproximación multiplicados por los
respectivos valores de la función, hasta usar pasos infinitamente finos,
o infinitesimales. La notación
concibe la integral como una suma ponderada (denotada por la «S» alargada), de
los valores de la función multiplicados por pasos de anchura infinitesimal, los
llamados diferenciales (indicados por dx).
Con respecto al cálculo real de integrales, el teorema fundamental del cálculo,
debido a Newton y Leibniz, es el vínculo fundamental entre las operaciones
de derivación e integración. Aplicándolo a la curva raíz cuadrada, se tiene que
mirar la función relacionada  y simplemente tomar , donde  y  son las fronteras
del intervalo [0,1]. Este es un ejemplo de una regla general, que dice que para ,
con q ≠ −1, la función relacionada, la llamada primitiva, es . De este modo, el valor
exacto del área bajo la curva se calcula formalmente como:
Como se puede ver, la segunda aproximación de 0,7 (con cinco rectangulitos),
arrojó un valor superior al valor exacto; en cambio la aproximación con 12
rectangulitos de 0,6203 es una estimación muy por debajo del valor exacto (que
es de 0,666…).
Históricamente, después de que los primeros esfuerzos de definir rigurosamente
los infinitesimales no fructificasen, Riemann definió formalmente las integrales
como el límite de sumas ponderadas, de forma que el dx sugiere el límite de una
diferencia (la anchura del intervalo). La dependencia de la definición de Riemann
de los intervalos y la continuidad motivó la aparición de nuevas definiciones,
especialmente la integral de Lebesgue, que se basa en la habilidad de extender la
idea de «medida» de maneras mucho más flexibles. Así, la notación
hace referencia a una suma ponderada de valores en que se divide la función,
donde μ mide el peso que se tiene que asignar a cada valor. (Aquí A indica la
región de integración.) La geometría diferencial, con su «cálculo de variedades»,
proporciona otra interpretación a esta notación 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 (más
general) teorema de Stokes,
a partir del cual se deriva el teorema de Green, el teorema de la divergencia, y
el teorema fundamental del cálculo.
 Recientemente, los infinitesimales han reaparecido con rigor, a través de
innovaciones modernas como el análisis no estándar. Estos métodos no solo
reivindican la intuición de los pioneros, también llevan hacia las nuevas
matemáticas, y hacen más intuitivo y comprensible el trabajo con cálculo
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 geométrica, 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 cálculo será el mismo en todos
los casos.

Definiciones formales[editar]
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 también en ocasiones por razones
pedagógicas. Las definiciones más utilizadas de la integral son las integrales de
Riemann y las integrales de Lebesgue.

Integral de Riemann[editar]
Artículo principal: Integral de Riemann

Integral con el planteamiento de Riemann hace una suma basada en una partición

etiquetada, con posiciones de muestreo y anchuras irregulares (el máximo en rojo). El
verdadero valor es 3,76; la estimación obtenida es 3,648.

La integral de Riemann se define en términos 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 partición etiquetada de [a,b] es una secuencia finita
 y denotamos la partición como 
 Convergencia de sumatorios de Riemann a medida en que se parten los intervalos,
cuando se muestrea a ■ la derecha, ■ el mínimo, ■ el máximo, o ■ la izquierda.

Esto divide al intervalo [a,b] en n subintervalos [xi−1, xi], cada uno de los cuales
es "etiquetado" con un punto especificado ti de; [xi−1, xi]. Sea Δi = xi−xi−1 la
anchura del subintervalo i; el paso de esta partición etiquetada es el ancho del
subintervalo más grande obtenido por la partición, maxi=1…n Δi. Un sumatorio
de Riemann de una función f respecto de esta partición etiquetada se define
como
Así cada término del sumatorio es el área del rectángulo con altura igual
al valor de la función en el punto especificado del subintervalo dado, y de
la misma anchura que la anchura del subintervalo. La integral de
Riemann de una función f sobre el intervalo [a,b] es igual a S si:
Para todo ε > 0 existe δ > 0 tal que, para cualquier partición etiquetada [a,b] con paso
más pequeño que δ, se tiene
, donde 
Cuando las etiquetas escogidas dan el máximo (o mínimo) valor de
cada intervalo, el sumatorio de Riemann pasa a ser un sumatorio de
Darboux superior (o inferior), lo que sugiere la estrecha conexión que
hay entre la integral de Riemann y la integral de Darboux.

Integral de Darboux[editar]
Artículo principal: Integral de Darboux

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

siguientes tipos:
Llamadas suma inferior y superior respectivamente, donde:
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,
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
 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
.
Integral de Lebesgue[editar]
Artículo principal: Integral de Lebesgue

Integración de Riemann-Darboux (azul) e integración de Lebesgue (rojo)

La integral de Riemann no está definida para un ancho abanico de

funciones y situaciones de importancia práctica (y de interés teórico).
Por ejemplo, la integral de Riemann puede integrar fácilmente 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 creación de otras definiciones, bajo las cuales se puede
integrar un surtido más amplio de funciones.8 La integral de
Lebesgue, en particular, logra una gran flexibilidad a base de centrar
la atención en los pesos de la suma ponderada.
Así, la definición de la integral de Lebesgue empieza con una medida,
μ. En el caso más 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
más complicados, los conjuntos a medir pueden estar altamente
fragmentados, sin continuidad y sin ningún 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 función
característica de un conjunto medible A por:
.
Esto se extiende por linealidad a las funciones
escalonadas simples, que solo tienen un número finito n, de
valores diferentes no negativos:
(donde la imagen de Ai al aplicarle la función escalonada s es
el valor constante ai). Así, si E es un conjunto medible, se
define
Entonces, para cualquier función 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 más pequeñas o iguales que f.
Una función 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 métrico en el que
están definidas las funciones es también
un espacio topológico localmente
compacto (como es el caso de los
números reales R), las medidas
compatibles con la topología 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 más precisa, las
funciones compactamente soportadas
forman un espacio vectorial que
comporta una topología natural, y se
puede definir una medida (Radon)
como cualquier funcional lineal continuo
de este espacio; entonces el valor de
una medida en una función
compactamente soportada, es también,
por definición, la integral de la función.
Entonces se continúa expandiendo la
medida (la integral) a funciones más
generales por continuidad, y se define la
medida de un conjunto como la integral
de su función característica. Este es el
enfoque que toma Bourbaki10 y cierto
número de otros autores. Para más
detalles, véase medidas de Radon.

Otras integrales[editar]
A pesar de que las integrales de
Riemann y Lebesgue son las
definiciones más importantes de integral,
hay unas cuántas más, por ejemplo:

 La integral de Riemann-Stieltjes, una

extensión 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 estocásticos que pueden
no ser de variación acotada como el
movimiento browniano.

Propiedades de la
integración[editar]
Linealidad[editar]
 El conjunto de las funciones
Riemann integrables en un intervalo
cerrado [a, b] forman un espacio
vectorial con las operaciones de
suma (la función suma de otras dos
es la función que a cada punto le
hace corresponder la suma de las
imágenes de este punto por cada
una de las otras dos) y la
multiplicación por un escalar. La
operación integración
es un funcional lineal de este espacio vectorial. Así, en primer lugar, el conjunto de
funciones integrables es cerrado con la combinación lineal, y en segundo lugar, la
integral de una combinación lineal es la combinación lineal de las integrales,

 De forma parecida, el
conjunto de las
funciones reales
Lebesgue integrables en
un espacio
métrico E dado, con la
medida μ es cerrado
respecto de las
 combinaciones lineales
y por lo tanto forman un
espacio vectorial, y la
integral de Lebesgue
es un funcional lineal de este espacio vectorial, de forma que

 De forma
más
general, si
se toma el
espacio
vectorial de
todas
las funcione
s
medibles so
bre un
espacio
métrico
(E,μ), que
toman
valores en
un espacio
vectorial
topológico c
ompleto loc
almente
compacto V 
sobre
un campo
topológico l
ocalmente
compacto K
, f : E → V.
Entonces se
puede
definir una
aplicación
integración
abstracta
que a cada
función f le
asigna un
elemento
de V o el
símbolo ∞,
que es compatible con las combinaciones lineales. En esta situación, la linealidad se
sostiene para el subespacio de las funciones, cuya integral es un elemento de V (es
decir, las integrales finitas). Los casos más importantes surgen cuando K es R, C, o
una extensión finita del campo Qp de números p-ádicos, y V es un espacio vectorial de
dimensión finita sobre K, y cuando K=C y V es un espacio de Hilbert complejo.
La
linealida
d, junto
con
algunas
propied
ad
naturale
s de
continui
dad y la
normali
zación
para
ciertas
clases
de
funcion
es simp
les, se
pueden
usar
para
dar una
definició
n
alternati
va de
integral.
Este es
el
enfoque
de Dani
ell para
el caso
de
funcion
es
reales
en un
conjunt
o X,
generali
zado
por Bou
rbaki a
funcion
es que
toman
valores
en un
espacio
vectoria
l
topológi
cament
e
compac
to.
Véase
Hildebr
andt
(1953)11
para
una
caracter
ización
axiomát
ica de
la
integral.

Desig
ualda
des
con
integr
ales[e
ditar]
Se
verifica
n varias
desigua
ldades
general
es
para fun
ciones 
Rieman
n
integrab
les
definida
s en
un inter
valo cer
rado y a
cotado [
a, b] y
se
pueden
generali
zar a
otras
nocione
s de
integral
(Lebesg
ue y
Daniell).

 Cot
as
sup
erio
res
e
infe
rior
es. 
Una
fun
ción 
f int
egr
abl
e
en
[a, 
b],
es
nec
esa
ria
me
nte 
aco
tad
a e
n el
inte
rval
o.
Por
lo
tant
o
hay
dos 
nú
mer
os
real
es 
m y 
M t
ales
que 
m ≤ 
f (x)
≤ M 
par
a
tod
o x 
de
[a, 
b].
Dad
o
que
los
su
mat
orio
s
sup
erio
re
infe
rior
de f 
sob
re
[a, 
b]
son
tam
bié
n
aco
tad
os
par
a m
(b − 
a)
y M
(b − 
a)
res
pec
tiva
me
nte,
de
aqu
í
res
ulta
que

 D
e
s
i
g
u
a
l
d
a
d
e
s

e
n
t
r
e

f
u
n
c
i
o
n
e
s
.
 
S
i
 
f
(
x
)

≤
 
g
(
x
)

p
a
r
a
t
o
d
o
 
x
 
d
e

[
a
,
 
b
]

e
n
t
o
n
c
e
s

c
a
d
a

u
n
o

d
e

l
o
s

s
u
m
a
t
o
r
i
o
s

s
u
p
e
r
i
o
r

i
n
f
e
r
i
o
r

d
e
 
f
 
s
o
n

a
c
o
t
a
d
o
s

i
n
f
e
r
i
o
r

s
u
p
e
r
i
o
r
m
e
n
t
e

p
o
r

l
o
s

s
u
m
a
t
o
r
i
o
s

s
u
p
e
r
i
o
r

i
n
f
e
r
i
o
r
 d
e
 
g
 
r
e
s
p
e
c
t
i
v
a
m
e
n
t
e
.

A
s
í
Esto es una generalización de las desigualdades anteriores, dado que M '(b − a) es la
integral de la función constante con valor M en el intervalo [a, b].

 S
u
b
i
n
t
e
r
v
a
l
o
s
. 
S
i
[
c
, 
d
]
e
s

u
n

s
u
b
i
n
t
e
r
v
a
l
o

d
e

[
a
, 
b
]
y
 
f
(
x
)
e
s

n
o

n
e
g
a
t
i
v
a

p
a
r
a

t
o
d
 o
 
x
,
e
n
t
o
n
c
e
s

 Prod
ucto
sy
valo
res
abs
olut
os
de
funci
one
s. Si 
f y g 
son
dos
funci
ones
,
ento
nces
pode
mos
empl
ear
su
prod
ucto,
pote
ncia
sy
valor
es
abso
lutos
:
Si f es Riemann integrable en [a, b] entonces lo mismo se cumple para |f|, y
Es más, si f y g son ambas Riemann integrables entonces f 2, g 2, y fg son también
Riemann integrables, y
Esta desigualdad se conoce como desigualdad de Cauchy-Schwarz, y desempeña un
papel fundamental en la teoría de los espacios de Hilbert, donde el lado de la derecha
se interpreta como el producto escalar de dos funciones integrables f y g en el
intervalo [a, b].

 Desigualdad de
Hölder. Si p y q
dos números re
1 ≤ p, q ≤ ∞ con
1/p + 1/q = 1,
y f y g son dos
funciones Riem
integrables.
Entonces las
funciones |f|p y
q
 también son
integrables y se
cumple
la desigualdad
Hölder:
Para el caso de p = q = 2, la desigualdad de Hölder pasa a ser la desigualdad de
Cauchy–Schwarz.

 Desigualdad de
Si p ≥ 1 es un n
y f y g son func
Riemann integr
Entonces |f|p, |g
p
 son también R
integrables y se
la desigualdad
Una desigualdad análoga a ésta para la integral de Lebesgue se usa en la
construcción de los espacios Lp.
Convenciones
En esta sección f e
una función real Ri
integral
sobre un intervalo
Esto significa que l
e inferiores de la fu
una partición a = x0
valores xi son creci
significa que la inte
izquierda a derech
intervalos [x i , x i +1]
índice más grande
intervalo con un índ
valores a y b, los p
del intervalo, se de
 integración de f. La
pueden definir si a 

 Inversión de lo
integración. si a
Ello, con a = b, imp

 Integrales sobr
cero. si a es un
La primera conven
integrales sobre su
dice que una integr
o un punto, tiene q
primera convención
de f sobre un interv
integrable sobre cu
particular las integr

 Aditividad de la
intervalos. si c 
entonces
Con la primera con
queda bien definida
de a, b, y c.
En lugar de ver lo a
puede adoptar el p
solo sobre variedad
dimensional orienta
orientación opuesta
(véase más abajo l

Teorema fund
Artículo principal: Teo

El teorema fundam
la derivación y la in
una función continu
recupera la función
ocasiones denomin
cálculo, permite ca
una primitiva de la

Enunciado de
 Teorema funda
integrable defin
define F para c
entonces F es continua en [a, b]. Si f es continua en x de [a, b],
entonces F es derivable en x, y F ′(x) = f(x).
  Segundo teore
integrable defin
tal que F ′(x) = 
una primitiva d

 Corolario. Si f e
en [a, b], y F, d
es una primitiva de f en [a, b]. Además,

Extensiones[e
Integrales imp
Artículo principal: Inte

La integral impropia

tiene intervalos no ac

Una integral de Rie

un intervalo cerrad
integral impropia a
algunos casos, est
una sucesión de in
largos.
Si el intervalo no e
impropia es el límit
Si el integrando so
entonces, otra vez
Esto es, la integral
extremos del interv
o −∞. En casos má
interiores.
Por ejemplo, la fun
a medida que x se
pesar de que la fun
por ejemplo, desde
resultado de . Para
bien, cualquier lími
Este resultado tien
integral desde 1⁄3 ha
de nuevo . Sustituy
resultado definido y
Combinando los lím
Este proceso no tie
ejemplo, sobre el in
del 1 a ∞ la integra

La integral impropia

no está acotada inter

También puede pa
integral se ha de p
han de ser acotado
A la integral similar
no se le puede asig
convergen indepen

Integración m
Artículo principal: Inte
 Integral doble como e

Las integrales se p
sobre un conjunto 
Aquí x no hace falt
apropiada, por ejem
reescribirse como u
coordenadas una p
De la misma mane
entre la gráfica de
el volumen de la re
su dominio. (El mis
tres variables—[cit
superficie y el plan
número de variable
más de tres dimen
Por ejemplo, el vol

 Con la integral
de la función f(x, y) = 5 calculada en la región D del plano xy que es la base del
paralelepípedo.

 Con la integral
de la función constante 1 calculada sobre el mismo paralelepípedo (a pesar de que
este segundo método también se puede interpretar como el hipervolumen de un
hiperparalelepípedo de cuatro dimensiones que tiene como base el paralelepípedo en
cuestión y una altura constante de 1, como la altura es 1 el volumen coincide con el
área de la base).
Puesto que es imp
indefinidas: tales in

Integrales de
Artículo principal: Inte
Una integral de línea

El concepto de inte
superficies. Estas i
importantes aplicac
Una integral de líne
integrales curvilíne
La función a integr
valores del campo
arco o, en el caso d
ponderación disting
Muchas fórmulas s
ejemplo, el hecho d
cantidades vectoria
que tiene su parale
que acumula los co
través de un camp

Integrales de
Artículo principal: Inte

La definición de las in

Una integral de su
se puede entender
vectorial. El valor d
 se puede consegui
de Riemann.
Como ejemplo de l
decir, para cada pu
la velocidad del flu
hallar el caudal, ha
un campo escalar,
.
El caudal de fluido
integrales de super

Integrales de
Artículo principal: For

Una forma diferenc
moderna de las for
exteriores formand
Se empieza trabaja
una función f sobre
(Los superíndices n
para hacer que la i
una medida de la «
Se define el conjun
forma dxa∧dxb∧dxc 
son las funciones i
formas (funciones
Sobre Rn como má
alternante.
Además del produc
Para una k-forma ω
con extensión a las
Este planteamiento
natural del teorema
donde ω es una k-
recta real, el teorem
en el plano, el teor
al teorema de Stok
de la integración.

Métodos y ap
Cálculo de int
Artículo principal: Mé

La técnica más bás

1. Se escoge una
2. Se halla una an
3. Se emplea el te

4. Por tanto, el va
Nótese que la integ
definidas.
A menudo, el paso
directamente su pr
mayoría de ellas tr

 Integración por
 Integración por
 Integración por
 Integración de
Incluso si estas téc
la serie de Taylor a
series. También ha
transformar una int
ejemplo de este tip
Los cálculos de vo
Los resultados esp

Algoritmos sim
Artículo principal: Inte

En muchos problem
Con esta finalidad,
profesionales, educ
para desarrollar tar
desarrollo de este
Una dificultad mate
función aparentem
cerrada en las que
operaciones de sum
La teoría de Galois
desgracia, resulta q
sistemas de cálculo
construida de form
puede expresar la
simbólica en el cas
hacen precisament
Algunos integrando
las primitivas, las fu
extender el algoritm
La mayoría de los
integrando fórmula
punto esto es una
 Cuadratura nu

Métodos numéricos d

Artículo principal: Inte

Las integrales que

las aplicaciones re
que son muy comp
aplicación de méto
cálculos a mano su
mejoras.
Los objetivos de la
que tiene el valor a
explora aquí — es
por ejemplo, 16 tro

Valores de la función en los puntos

x −2,00 −1,50 −1,00 −0,50  0,00  0,50  1,00  1,50  2,00

f(x  2,6720
 2,22800  2,45663  2,32475  0,64400 −0,92575 −0,94000 −0,16963  0,83600
) 0

x   −1.75 −1,25 −0,75 −0,25  0,25  0,75  1,25  1.75

f(x  2,3304  2,6293  1,6401

 2,58562 −0,32444 −1,09159 −0,60387  0,31734
) 1 4 9
 Algunas aplic
Valor medio d
Para calcular el va
Nótese que, si la fu
los escalones tiene
anchura del escaló

Aplicaciones e
Muchas leyes de la
una primitiva y muc
Por ejemplo, la inte
gravedad es aprox
por la siguiente fun
El signo negativo e
hacia arriba.
Si se quiere saber
velocidad es const
de todos los espac
.
El resultado de est
Otros ejemplos de

 La energía con
 La variación de
 La integración
integración.

Véase tambié

 Tabla de integ
 Integración num
 Derivada
 Signo de Integr
  Portal:Mate
 Sumatorio
 Límite matemá
 Infinito
 Integral de líne
 Cambio de var
 Integrales defin
 Integrales inde
Referencias y

1. ↑ En el caso de l
2. ↑ Burton, David M
3. ↑ Leibniz, Gottfri
4. ↑ Cajori, Florian
5. ↑ Fourier, Jean B
6. ↑ W3C (2006). A
7. ↑ Haaser, Norma
8. ↑ Rudin, Walter (
9. ↑ Folland, Gerald
10. ↑ Bourbaki, Nico
11. ↑ Hildebrandt, T.

Bibliografía[e

 Apostol, Tom M.
 Bourbaki, Nicola
 Burton, David M.
 Cajori, Florian (1
 Dahlquist, Germ
de 2007.
 Folland, Gerald B
 Fourier, Jean Ba
Disponible en ing
 Heath, T. L., ed.
(Originalmente p
 Hildebrandt, T. H
 Kahaner, David;
 Leibniz, Gottfried
 Miller, Jeff. Earlie
 O’Connor, J. J.;
 Rudin, Walter (1
 Saks, Stanisław 
 Stoer, Josef; Bul
 W3C (2006). Ara

Libros en inte
 Keisler, H. Jerom
 Stroyan, K.D., A
 Mauch, Sean, Se
 Crowell, Benjam
 Garrett, Paul, No
 Hussain, Faraz, 
 Kowalk, W.P., In
 Sloughter, Dan, 
 Numerical Metho