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 y Leibniz. 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 la expresin del obispo
Berkeley interpretando 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]

El smbolo de integral en escritos (de izquierda a derecha) ingleses, alemanes y

rusos.
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 {\displaystyle {\dot {x}}} {\dot {x}} o {\displaystyle x'\,\!}
x'\,\!, 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 porque consideraba a la
integral como una suma infinita de addendas infinitesimales. La notacin moderna de
la integral definida, con los lmites arriba y abajo del signo integral, la us por
primera vez Joseph Fourier en Mmoires de la Academia Francesa, alrededor de 1819-
20, reimpresa en su libro de 1822.4?5?

Existen ligeras diferencias en la notacin del smbolo de la integral en la

literatura de las diversas lenguas: el smbolo ingls est inclinado hacia la
derecha, en alemn tradicionalmente se ha escrito derecho (sin inclinacin)
mientras la variante rusa tradicional est inclinada hacia la izquierda.

En la notacin matemtica en rabe moderno, que se escribe de derecha a izquierda,

se usa un signo integral invertido Signed'IntegraciArabic.png.6?

Generalizaciones modernas[editar]
Tras la creacin del clculo integral a partir del siglo XVII, y su desarrollo ms
o menos intuitivo durante un par de siglos, la nocin de integracin fue analizada
con mayor rigor durante el siglo XIX. As la primera nocin rigurosa de integracin
es el concepto de integral de Riemann, as como su generalizacin conocida como
integral de Riemann-Stieltjes. A principios del siglo XX, el desarrollo de la
teora de la medida llev al concepto ms general y cualitativamente ms avanzado
de integral de Lebesgue. Ms tarde el desarrollo de la nocin de proceso
estocstico dentro de la teora de la probabilidad llev a la formulacin de la
integral de Ito hacia el final de la primera mitad del siglo XX, y posteriormente a
su generalizacin conocida como integral de Skorohod (1975). Asimismo desde los
aos 1960, se ha buscado definicin matemticamente rigurosa de integral de caminos
cunticos.