Teora de la integracion

se interpreta como el rea bajo la curva de f, entre a y b. Dada una funcin f(x) de una variable real x y un intervalo [a,b] de la recta real, la integral

es igual al rea de la regin del plano xy limitada entre la grfica de f, el eje x, y las lneas verticales x = a y x = b, donde son negativas las reas por debajo del eje x. La palabra "integral" tambin puede hacer referencia a la nocin de primitiva: una funcin F, cuya derivada es la funcin dada f. 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 de dos o tres variables, y el intervalo de integracin [a,b] se sustituye por una cierta curva que 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.

[editar] Historia

[editar] Integracin antes del clculo

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.

[editar] Newton y Leibniz

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.

[editar] Formalizacin de las integrales

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 Berkeley calificando 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 no se aplica la definicin de Riemann, y Lebesgue formul una definicin diferente de la integral1 basada en la teora de la medida. Tambin se propusieron otras definiciones de integral, que amplan las definiciones de Riemann y Lebesgue.

[editar] Notacin
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 o , 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 (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 Fourier en 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

[editar] Terminologa y notacin

En los chelos tambin puede observarse el smbolo de la integral. 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 integracin a 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.