ORIGEN Y DESARROLLO HISTORICO DEL CALCULO INFINITESIMAL

M.C. Munoz-Lecanda 1 , N. Roman-Roy 2 Departamento de de Matemtica Aplicada y Telemtica a a C/ Jordi Girona 1; Edicio C-3, Campus Norte UPC E-08034 BARCELONA

1 2

MATMCML@MAT.UPC.ES MATNRR@MAT.UPC.ES

Contents
1 Introduccin o 2 Origen histrico: los problemas o 2.1 2.2 2.3 2.4 El problema de las tangentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Problemas de mximos y m a nimos . . . . . . . . . . . . . . . . . . . . . . . . . . . . Problemas de integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o Otros problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 4 4 5 5 7 9 9

3 Newton y Leibnitz 3.1 3.2 3.3 3.4 El clculo segn Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a u El clculo segn Leibnitz a u

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

Comparacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 o Desarrollos inmediatos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 13

4 El siglo XVIII 4.1

Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 4.1.1 4.1.2 4.1.3 4.1.4 4.1.5 Sobre el concepto de funcin . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 o Tratamiento de las funciones elementales . . . . . . . . . . . . . . . . . . . . 15

Derivadas y diferenciales de las funciones elementales . . . . . . . . . . . . . . 16 Sobre la frmula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 o Otros temas tratados por Euler . . . . . . . . . . . . . . . . . . . . . . . . . . 16

4.2 4.3

Problemas con las series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Controversias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 19 1

5 El siglo XIX

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo... 5.1 5.2 5.3 5.4 5.5

Funciones y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 Derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 o Integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 o Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 Los nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 u

Chapter 1

Introduccin o
Es tradicional decir que Newton y Leibnitz inventaron el clculo innitesimal. Normalmente se a atribuye a personas concretas las invenciones concretas, pero no los mtodos generales, que suelen e ser resultado de la evolucin histrica de los problemas y de las soluciones particulares que se o o han ido dando a cada uno. Sin embargo, el clculo innitesimal se atribuye en concreto a los a mencionados investigadores, habiendo sido el mtodo que ha posibilitado la resolucin de un mayor e o nmero de problemas dispares desde su descubrimiento. u Desde este punto de vista, el trabajo de Newton y Leibnitz es extraordinario pero no es el unico. La situacin es semejante a la atribucin a Einstein de la teor de la Relatividad. Evidentemente o o a su trabajo es enorme; pero su labor, como la de los anteriores, tiene el mrito de haber sido de una e s ntesis y de una imaginacin inmensa para conseguir unir todos los problemas en uno y dar una o sola solucin a todos ellos. o Este es el punto de vista que se va a seguir en este corto repaso del desarrollo histrico del o clculo. Hay unos nombres concretos, pero, sobre todo, est el trabajo de muchas personas que a a hacen evolucionar el conocimiento humano. Inicialmente se van a analizar los problemas que dieron origen al clculo y otros problemas de la a poca que, aunque no eran exactamente de clculo, posibilitaron las soluciones, que se describirn e a a brevemente. Seguidamente se expondr sucintamente parte de los trabajos de Newton y Leibnitz a y se har una comparacin de los mismos. A continuacin se efectuar una corta relacin de los a o o a o desarrollos que se hicieron a lo largo de los siglos XVIII y XIX y de los nuevos problemas que se abordaron en ellos. Debe sealarse que no se pretende aqu hacer un estudio del desarrollo histrico del anlisis n o a matemtico, que tiene muchas ramas hoy claramente diferenciadas, sino solamente de lo cona cerniente al llamado clculo innitesimal. De ah que, aunque se haga alguna referencia a otras a cuestiones (por la inuencia que tuvieron en el clculo), realmente la exposicin se va a centrar, en a o principio, en los problemas de derivacin e integracin de funciones, y despus en los de continuidad o o e de funciones y convergencia de series.

Chapter 2

Origen histrico: los problemas o

La situacin de los problemas matemticos a mediados del siglo XVII era aproximadamente la o a siguiente: adems de tener readquiridos los resultados y mtodos de la matemtica griega, el a e a desarrollo de la geometr anal a tica (el mtodo de las coordenadas) hab permitido plantear y e a resolver algunos problemas relacionados con curvas, de las cuales se conoc muchos tipos. Por an otra parte, la f sica proporcionaba un punto de vista cinemtico: una curva pod interpretarse a a como la trayectoria de un punto material mvil. o Varios tipos de problemas se planteaban sobre las curvas. Aunque la clasicacin existente en o aquel momento era ms amplia (pues se utilizaba un mtodo apropiado para cada problema), se a e va a simplicar utilizando el punto de vista, e incluso el lenguaje, actuales.

2.1

El problema de las tangentes

Es el problema de hallar la ecuacin de la tangente a una curva dada, en un punto. Su origen es o geomtrico y tcnico. Geomtricamente, proviene del tiempo de los antiguos griegos, que obtuvieron e e e las tangentes de algunas curvas. Por otra parte, era necesario resolver este problema para el diseo n de lentes pticas (una cuestin importante en la poca de la que hablamos, el siglo XVII). Tambin o o e e desde un punto de vista f sico ten su relevancia, por cuanto era importante conocer la direccin a o instantnea de un movimiento curvo. a Apolonio (190 a.C.) construy las tangentes a las cnicas. Arqu o o medes (287-212 a.C.) hizo lo propio para las espirales. Sin embargo, el punto de vista griego era esttico: la tangente era la a recta que cortaba a la curva en un slo punto, dejndola a un lado. No hab pues, proceso de o a a, paso al l mite. Fermat (1601-1665) obtuvo un mtodo para hallar la tangente a una curva denida por un e polinomio: y = f (x) = a0 + a1 x + ... + an xn , mtodo que, en realidad, no hac ninguna referencia e a al paso al l mite, sino que se apoyaba en el siguiente razonamiento: si f (x) es un polinomio, entonces f (x + h) f (x) es un polinomio en h divisible por h, de modo que se hace la divisin y se eliminan o los trminos en h, y se obtiene as la ecuacin de la recta tangente. (Obsrvese que este sistema es e o e el utilizado, hoy en d para calcular derivadas por los estudiantes de bachillerato, que no manejan a, con soltura el concepto de l mite.) El punto de vista de Fermat no es, por tanto innitesimal, aunque est realmente cercano, ya que al nal acaba hacindose h = 0 al eliminarse los trminos a e e 4

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo... en h.

Descartes (1596-1650) arma que el problema geomtrico que ms desea solucionar es el de las e a tangentes. Su procedimiento es todav menos innitesimal que el de Fermat y consiste en trazar a la circunferencia con centro en el corte de la normal a la curva (en el punto que se considere) con el eje de abscisas y que pase por el punto en cuestin. Se impone la condicin de que la o o circunferencia no corte a la curva en ningn otro punto y de esta manera se tiene como tangente u la de la circunferencia en este punto. Este mtodo es util para curvas y = f (x) tales que (f (x))2 e sea un polinomio sencillo. Con l se retorna a la situacin griega, completamente esttica. Tanto e o a este mtodo como el anterior fueron mejorados con posterioridad. e Barrow (1630-1677) parece que utiliza la idea de que la tangente es el l mite de las secantes para aplicar el mtodo de Fermat a curvas dadas en forma impl e cita: f (x, y) = 0. Ya se ver ms a a adelante que, no obstante, Barrow segu con la idea griega de que la tangente era la recta que a cortaba a la curva en un solo punto. Por otro lado, en esos mismos aos (hacia 1650), se consigui determinar la tangente a algunas n o curvas por mtodos cinemticos. Para ello se daba la curva en forma paramtrica (con parmetro e a e a el tiempo) y se interpretaba la velocidad como la suma (vectorial) de las velocidades segn los ejes. u Era, pues, necesario que los dos movimientos tuvieran buenas velocidades. De este modo se determin la tangente a la cicloide, a la parbola y a la elipse. o a

2.2

Problemas de mximos y m a nimos

Como el t tulo indica, se trata de hallar el mximo y el m a nimo de una funcin dada. Como o ejemplos prcticos podr a amos tener los siguientes: el alcance de un proyectil depende del ngulo de a inclinacin del tubo del can. Cul es el ngulo que maximiza dicho alcance? En el movimiento o no a a planetario, cules son las distancias mxima y m a a nima de un planeta al Sol? El primer trabajo sobre este problema es de Kepler (1571-1630), quien tuvo que disear cubas n de vino de manera que tuvieran la mxima capacidad, lo cual motiv su estudio sobre la cuestin. a o o Encontr que el paralelep o pedo de base cuadrada y volumen mximo inscrito en una esfera es el a cubo (lo obtuvo midiendo muchas formas distintas). Lo esencialmente importante es su comentario de que, al acercarse al valor mximo, para un cambio jo en las dimensiones, el volumen crece cada a vez ms lentamente. La lectura actual de este hecho es que la derivada se anula en un mximo a a relativo. Fermat parece que da un mtodo de hallar extremos por medio de lo que el denomina pseue doigualdades. Arma que en un punto se alcanza un mximo si para un incremento innitesimal a de la variable la funcin no var La esencia es semejante a la ya comentada sobre el problema de o a. la tangente.

2.3

Problemas de integracin o

Son los problemas de determinar longitudes de curvas, reas encerradas por curvas, centroides, a etc. Y tambin problemas dinmicos, como hallar el espacio recorrido por un mvil conocida la e a o expresin de su velocidad, o el espacio recorrido por un cuerpo sometido a la atraccin gravitatoria o o

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo... de otro cuerpo puntual.

Los griegos, sobre todo Arqu medes, hab resuelto algunos casos particulares del clculo de an a a reas y volmenes por el mtodo llamado exahustivo o mtodo de llenado: se supone que el u e e a rea encerrada por una curva existe y se halla una sucesin de pol o gonos regulares inscritos en la curva, cuya suma de reas se aproxime a la deseada. Este rea est bien calculada por Eudoxio a a a (408-355? a.C.) sin usar expresamente el paso al l mite, pero s teniendo clara la idea de que k/2n tiende a 0 cuando n crece. Otro mtodo usado es el de la compresin: para probar que el rea, e o a el volumen o la longitud buscada, M , es igual al valor C, se toman dos sucesiones de cuerpos {Sn } y {In } de reas, volumenes o longitudes conocidas y tales que veriquen: a 1. Sn > M > In , Sn > C > In ; e 2. dado > 0, Sn In < Sn < 1 + , para n sucientemente grande (recurdese que el o In signicado de Sn In < estaba aclarado por Eudoxio para el caso = 1/2n ). Estos mtodos y los resultados de Arqu e medes se conocieron en Europa en el siglo XVI. Se mejoraron y aplicaron a gran variedad de problemas sin temor al paso al l mite, ni al innito ni a los nmeros irracionales. Ello produjo una amalgama de procedimientos, con una base muy pobre, u pero muy poderosos. Algunos de ellos son los que, a continuacin, se describen de forma rpida: o a Kepler estudio la manera de hallar el volumen de cuerpos de revolucin, descomponindolos o e en partes indivisibles de la forma adecuada a cada problema. As determin el volumen de o ms de noventa cuerpos diferentes. a Galileo (1564-1642) justic que el espacio recorrido por un mvil era igual al rea compreno o a dida entre la curva de la velocidad y el eje del tiempo. Esta idea es muy importante, dado que unicaba dos problemas de or genes bien diferentes: la longitud de una curva y el rea a bajo otra. Fue Cavalieri (1598-1647), un alumno de Galileo, quien utiliz de manera sistemtica tcnicas o a e innitesimales para resolver este tipo de problemas. Compar las reas (o volmenes) de los o a u indivisibles que forman una gura con los que forman otra, deduciendo que si aqullas se e hallaban en una determinada relacin, tambin lo estaban en esa misma las de las guras coro e respondientes. Adems, Cavalieri descompuso las guras en indivisibles de magnitud inferior. a As para calcular volmenes, cortaba los cuerpos y med las reas de las secciones. Esto , u a a supon una ruptura con los procedimientos previos de los griegos y de Kepler. Su postura a puede resumirse en una frase que se le atribuye: el rigor es cosa de los lsofos, no de los o matemticos. Estaba ms interesado en los resultados prcticos de los clculos que en la a a a a justicacin ultima de lo que eran los indivisibles. o El llamado teorema de Cavalieri fue enunciado de la siguiente forma: si dos cuerpos slidos o tienen la misma altura y al hacer secciones paralelas a la base las reas de las secciones estn a a siempre en una proporcin ja, entonces en esa misma proporcin estn los volmenes. o o a u Su justicacin la hizo transformando un slido en otro mediante la transformacin de las o o o secciones a lo largo de la altura. Este resultado fue expuesto en 1635 en su libro Geometr a de los indivisibles. Otro de sus resultado fue la frmula que hoy se escribe en la forma o an+1 , y que n+1 0 n en torno al eje obtuvo estudiando el cuerpo engendrado al girar la curva de ecuacin y = x o
a

xn dx =

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

de abscisas. Evidentemente, el resultado general lo conjetur, tras haberlo demostrado para o valores pequeos de n. n Los problemas de hallar el rea entre un arco de curva y el eje de abscisas se denominaron a problemas de cuadratura y fueron arduamente trabajados, como se est viendo. Para llea gar a probar la expresin de la integral anterior, fue necesario obtener previamente que o n 1 1 n (donde k es un nmero natural), lo que dio lugar a trabajos de Feru hk nk+1 h=1 k+1 mat, Pascal y del mismo Cavalieri. Tambin se consigui calcular esa integral en el caso en e o que el exponente es un nmero racional. El trabajo principal es de Wallis (1616-1703), que lo u prob para n = 1/q. El resultado general es de Fermat y tambin de Torricelli (1608-1647), o e que era otro disc pulo de Galileo. Ms dicultades llev el problema del clculo de la longitud de una curva (la recticacin). En a o a o primer lugar porque no se cre que una curva pudiera tener la misma longitud que un segmento a de recta construible. Incluso Descartes pensaba que era un problema del que pudiera no haber solucin. o Sin embargo se consiguieron recticar curvas. As en el ao 1657 (1659, segn algunos es, n u tudiosos), Neil (1637-1670) rectica la parbola semicbica y 2 = x3 , Wreu (1632-1723) rectica a u la cicloide, Fermat hace lo propio con otras varias y Gregory (1638-1675) da en 1668 un mtodo e general para recticar curvas. Los primeros resultados se obtuvieron inscribiendo pol gonos, aumentando el nmero de lados y disminuyendo as la longitud de stos; aunque se ayudaban con u e curvas auxiliares y mtodos esfricos para calcular las sumas que se obten e e an. Como comentario nal, cabe decir que uno de los problemas de esta poca fue el no saber e relacionar el problema de las tangentes con el de la integracin. As se ten los resultados de o , an xn+1 xn+1 que el rea bajo la curva y = xn es a , y que la tangente a la curva y = tiene pendiente n+1 n+1 n , pero esto no indujo a pensar que, en general, los dos problemas estuvieran relacionados. Hay x un momento en que Barrow llega a intuirlo, pero no se da cuenta completa de ello y deja para su disc pulo Newton (1642-1727) la solucin de la cuestin. En realidad, al parecer, Barrow no supo o o salir de la idea esttica de la tangente a una curva. e

2.4

Otros problemas

Las necesidades de la navegacin hicieron que Napier (1550-1617) estudiase y construyese las tablas o de logaritmos en 1614, que, corregidas por Briggs (1561-1631), dieron origen a los logaritmos tal como hoy son conocidos. Ello dio lugar a una nueva funcin que entonces no se entend como o a tal y que pronto se relacion con el area bajo la hiprbola de ecuacin y = 1/x. El primero o e o que lo hizo fue Gregory, observando que dicha rea no slo vericaba la propiedad del producto, a o sino otras propiedades. Newton obtuvo una serie para calcular logaritmos, lo cual origin otro o de los problemas precursores de los trabajos posteriores del propio Newton y de Leibnitz (16461716): el manejo del innito. Se hac pues, uso (sin ninguna justicacin rigurosa) de las series a, o de potencias, que eran obtenidas, en general, dividiendo polinomios por potencias crecientes. En ningn momento se aclaraba qu signicaba la suma o la convergencia de estas series. La diferencia u e con los griegos, tal como ya se ha comentado, estribaba en haber perdido el miedo al paso al l mite y al manejo del innito.

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

Pero no acababa aqu la cosa. Newton estaba convencido de que todo lo que era posible hacer con sumandos nitos tambin se pod hacer con las series, y as lo hac obteniendo, en general, e a a, resultados correctos, vericados merced a las comprobaciones numricas que l mismo efectuaba e e frecuentemente.

Chapter 3

Newton y Leibnitz
En el apartado anterior se han repasado algunos de los problemas que estaban planteados hacia mitades del siglo XVII y que ten que ver con el clculo. Muchos de ellos ten sus soluciones an a an particulares. El trabajo de Newton y Leibnitz consisti fundamentalmente en efectuar una s o ntesis, en elaborar un mtodo general para atacarlos todos. Pero tambin fue un detenerse para recapitular e e y darse cuenta de que aquel era un buen punto de partida para progresar. En otras palabras, se aprovech un momento en que hab muchas experiencias y era necesario elaborar la teor (dicho o a a en trminos de ciencia experimental). e A continuacin, se van a analizar y comparar los trabajos de ambos. o

3.1

El clculo seg n Newton a u

Los trabajos de Newton ocupan, en ediciones modernas, ms de cinco mil pginas. Es imposible a a dar aqu un resumen coherente de todos ellos, ni an slo de los referidos al clculo innitesimal, u o a ya que la visin de Newton es general e impone su punto de vista f o sico o mecnico en todas las a cosas que lleva a cabo. A este respecto, es admirable la capacidad de observacin, de imaginacin o o y de cr tica constante de todo lo que hace y que queda de maniesto a lo largo de toda su obra. En general Newton no public los trabajos que iba escribiendo, sino que los divulgaba entre sus o alumnos y conocidos, por miedo a las cr ticas. En 1666 introdujo las uxiones, que es lo que hoy se conoce con el nombre de derivadas. Newton imaginaba una curva como una ecuacin f (x, y) = 0, donde x e y eran funciones del o tiempo; es decir, part de la imagen cinemtica de curva como trayectoria de un mvil. La a a o velocidad en cada punto ten como componentes las velocidades segn las direcciones de los ejes, a u x e y ; funciones que el denominaba uxiones. Para hallar la pendiente de la recta tangente a la curva en un punto calculaba el cociente y /. (Hay que sealar que esta notacin es posterior. x n o Newton la us hacia 1690.) De esta manera, calculaba las tangentes fcilmente. Seguidamente o a se propuso el problema inverso: conocido el cociente f (x) = y /, cmo hallar y en funcin de x o o x? Newton estudi casos particulares de la funcin f y de las variables que en ella intervienen. o o Es lo que hoy se conoce como resolucin de ecuaciones diferenciales o antidiferenciacin. Newton o o armaba que de esta manera se pod resolver todos los problemas, lo cual da idea de su visin an o de futuro, aun cuando l slo pudiera resolver casos particulares. e o

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

10

Para estudiar el clculo del rea bajo una curva por mtodos de antidiferenciacin, primero a a e o investig la variacin del rea al variar la abscisa. As obtuvo el teorema fundamental del clculo o o a a (exactamente igual a como hoy se les hace a los alumnos de bachillerato, con funciones continuas y usando la propiedad de aditividad del rea.) Debe sealarse que para Newton todas las funciones a n eran continuas, ya que se trataba de las trayectorias de movimientos continuos (que era el concepto que en su tiempo se ten de continuidad.) a Aqu se unen dos problemas previos: el de las tangentes y la integracin. De este modo, los o indivisibles se relacionan con los mtodos de hallar tangentes y Newton se percata de que este e procedimiento unicador es el que va a permitir adelantar en el progreso, no slo referido a esos o problemas, sino en el de la comprensin de la naturaleza. o Newton desarroll mtodos de derivacin e integracin; en particular, la regla de la cadena o e o o y el mtodo de sustitucin, as como la propiedad de linealidad, y construy, adems, tablas de e o o a derivadas e integrales. Para el clculo de reas necesitaba conocer los puntos de corte de la curva con el eje. Con ese a a motivo invent el llamado posteriormente mtodo de Newton para calcular ra o e ces aproximadas (y que se sigue usando tal como l lo desarroll.) Hay que sealar, no obstante, que l no hace la e o n e interpretacin geomtrica habitual del mtodo, sino que su versin se basa en realizar pequeas o e e o n variaciones de la variable e ir aproximando la funcin como si fuera una serie. Adems, como utiliza o a funciones impl citas f (x, y) = 0, necesita despejar y en funcin de x; de ah que su idea para el o clculo de ra a ces no sea geomtrica, sino que trata de obtener la variable y como una serie en la e variable x, para despus integrar trmino a trmino. e e e Este uso no justicado de las series (y otros posteriores) no le pas desapercibido. Ten una o a idea intuitiva de la convergencia, aunque no lleg a explicarla. Incluso lleg a armar que, ms que o o a una demostracin, lo que hac era una explicacin corta del mtodo. o a o e Al abordar los problemas de mximos y m a nimos, lleg de inmediato a la conclusin de que o o la derivada es nula en un extremo. Aqu se dio cuenta de que no siempre la variable va a ser el tiempo, cosa que comenta: el tiempo se puede sustituir por otra variable (uente) que uya con continuidad. Sobre el problema de recticacin de curvas, Newton dio las frmulas integrales que se explican o o en los cursos de clculo, y las aplic a muchos casos concretos. a o Como ya se ha comentado, el trabajo de Newton no acaba aqu En realidad se puede decir . que parti de una visin de la naturaleza y construy el clculo innitesimal como una necesidad o o o a para explicar y desarrollar esa visin. A este respecto hay que aadir que, desde luego, no era o n indiferente a los problemas matemticos de su tiempo, pero tampoco a todos los dems, y a todos a a dedic parte de sus energ o as.

3.2

El clculo seg n Leibnitz a u

El punto de partida de Leibnitz es distinto al de Newton. Este parte de ideas f sicas, mientras que aqul lo hace de ideas loscas, tratando de buscar un lenguaje universal y, quizs, su mayor e o a contribucin al clculo sea precisamente dicho lenguaje, que an es usado. Leibnitz cre un lenguaje o a u o mediante el cual, por sencillas manipulaciones, se obtienen frmulas que resultan ser las verdaderas o

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo... y que, naturalmente, hay que comprobar.

11

Ya ha sido comentado que Newton no public sus trabajos sobre el clculo hasta muy posterio a ormente. En el caso de Leibnitz la situacin es peor todav puesto que, prcticamente, ni siquiera o a, a lo escribi en forma ordenada, salvo pequeas contribuciones. Su Historia y origen del clculo o n a Diferencial fue escrito mucho ms tarde de su creacin. As slo se tienen muchos papeles en los a o o que iba anotando sus ideas y resultados. Sus primeros estudios matemticos datan de 1666 y versan sobre progresiones aritmticas de a e orden superior, en concreto, sobre cmo la suma de las diferencias est relacionada con los trminos o a e de la sucesin. De hecho, este es el origen de su desarrollo del clculo: obtener y calcular sumas. o a Hacia 1673 est convencido de la importancia del problema de las tangentes y del problema a inverso, sobre el cual tiene la certeza de que consiste en hallar reas y volmenes. Su primer trabajo a u sobre el clculo de reas lo efecta integrando las funciones polinmicas, de las cuales da las reglas a a u o de integracin; queda claro que entiende la integral como el rea bajo la curva y sta como l o a e mite de innitsimos. Adems va cambiando la notacin continuamente, en busca de la mejor, que es la e a o que hoy en d se usa. a dy Interpreta la derivada como el cociente de los innitsimos e , aunque es incapaz de aclarar dx qu son dichos innitsimos. Incluso, en algn momento, llega a escribir que no cree en ellos, a e e u pesar de haber escrito abundantes pginas tratando de justicarlos y explicarlos. a Al igual que Newton, resuelve en uno solo todos los problemas que estaban abiertos: tangentes, integracin y mximos y m o a nimos. Adems es consciente de que el clculo innitesimal es una a a ruptura con todo lo precedente, en el sentido de que es un paso adelante sin retorno.

3.3

Comparacin o

Es conocida la historia sobre las acusaciones de plagio que sufri Leibnitz, problemas que no fueron o entre Newton y Leibnitz, sino entre sus seguidores y que, ms que de a ndole matemtica, fueron a problemas de tipo nacionalista entre Inglaterra y el continente. Dejando aparte esas disputas, se va a tratar de dilucidar las diferencias entre las dos aproximaciones. Hay que dejar claro, de antemano, que los resultados de uno y otro son, prcticamente, los a mismos, aunque originados de distinta manera. En primer lugar, el trabajo de Newton se basa en las derivadas respecto al tiempo, pues el origen de sus ideas es f sico, como ya se ha comentado. Leibnitz, por el contrario, parte de problemas loscos (de su busca de los innitesimales); de ah que su trabajo se base en sumas de o innitesimales. Por esa razn la integral de Newton es originalmente indenida, mientras que la de o Leibnitz es denida. Por supuesto que, al nal, ambos calculan reas buscando primitivas. a Queda tambin claro que para Newton las nociones originales son las uxiones x e y : las e velocidades segn los ejes. Su cociente es la pendiente de la tangente. Contrariamente, para u Leibnitz, las nociones originales son los diferenciales, y su cociente es algo que tiene un signicado geomtrico claro. e Por otra parte, Newton hace uso continuado de los desarrollos en serie, mientras que Leibnitz preere trabajar slo con las funciones conocidas: racionales, logar o tmicas y trigonomtricas. Esto e

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

12

proviene, otra vez, de los or genes de las ideas de ambos. El primero es experimental: va buscando buenos resultados, de acuerdo con la experiencia; no busca teor globales sino resultados concretos. as Contrariamente, el segundo es ms dado a la generalizacin y a la especulacin. Newton, a veces, a o o no se preocupa de escribir el resultado de forma general, sino que le basta con varios ejemplos. Leibnitz hace todo lo contrario. Dejando aparte estas diferencias, los trabajos de ambos hicieron que la situacin matemtica o a fuera radicalmente diferente a nales que a principios del siglo XVII. Ambos hicieron posible el paso de una coleccin anrquica de problemas y mtodos de resolucin, a un mtodo general para o a e o e atacar y resolver todos ellos. Adems, Newton propici un desarrollo inmenso en la comprensin a o o de la naturaleza y el universo, utilizando el instrumento que hab creado a lo largo de sus trabajos. a Habr que aadir, nalmente, que Leibnitz fue un gran polemista sobre las ideas de sus trabajos, a n respondiendo continuamente a las acusaciones de oscuridad, falta de rigor y falta de acuerdo con los grandes maestros de la antiguedad; en cambio Newton fue completamente silencioso en ese aspecto.

3.4

Desarrollos inmediatos

Parte de las mismas personas que con anterioridad a los trabajos de Newton y Leibnitz hab an planteado los problemas previos, contribuyeron rpidamente al desarrollo del clculo innitesimal. a a Entre otros, Wallis y Raphson (1648-1715) mejoraron los mtodos de Newton para hallar ra e ces. Rolle (1652-1719) dio, en 1691, el resultado que hoy se conoce con su nombre, aunque sin demostrarlo. Los hermanos Bernouilli contribuyeron fuertemente a la obra de Leibnitz, tal como ste e reconoce. Uno de ellos escribi el primer tratado de clculo innitesimal basado en los mtodos de o a e Leibnitz y, en su traduccin al francs, lHpital (1661-1704) incluy la regla que hoy es de todos o e o o conocida. Pero no slo se desarroll, sino que el clculo contribuy a aclarar las ideas acerca de los objetos o o a o con los que se estaba trabajando. As aparecen ya en 1697 ideas sobre la continuidad. Gregory , arma que el clculo introduce una nueva operacin, el paso al l a o mite, la cual da lugar a nmeros u irracionales distintos a los obtenidos como ra de nmeros racionales. Wallis enuncia claramente ces u la actual denicin de l o mite de una funcin. Y as otras. o

Chapter 4

El siglo XVIII
El siglo XVII proporcion a las matemticas dos instrumentos extraordinarios: la geometr o a a anal tica y el clculo innitesimal. Ambos fueron extensamente desarrollados en esa poca y aplia e cados a la resolucin de una enorme variedad de problemas. o Durante este siglo, eran la mecnica y la astronom adems de las propias matemticas, las a a, a a ramas que continuamente exig a las Matemticas la resolucin de sus problemas, la creacin an a o o de nuevas tcnicas y el desarrollo de nuevas ideas. As nace la mecnica anal e a tica, el clculo de a variaciones, el clculo en varias variables y el anlisis de las ecuaciones diferenciales (ordinarias y a a en derivadas parciales), as como su uso en la descripcin de los fenmenos de la naturaleza. o o No es preciso aclarar que, realmente, la divisin en siglos es articiosa, puesto que no se toma o el ao cero de cada siglo para hacer balance y comenzar de nuevo (ya que la evolucin histrica de n o o la resolucin de los problemas es continuada.) Sin embargo, dicha divisin s permite claricar el o o anlisis de esta evolucin. (De esta manera, se pueden incluir en el siglo que nos ocupa los trabajos a o de Newton y Leibnitz y de sus inmediatos continuadores.) Ya se ha comentado que las matemticas se desarrollan enormemente en este siglo. Aqu no a , obstante, slo se va a analizar la evolucin del clculo innitesimal y, en ese aspecto, la gura que o o a eclipsa a todos los dems es la de Euler, por lo que se tomar como el personaje representativo del a a siglo. Se va a dividir el estudio en tres partes. En primer lugar se har un repaso de la obra de a Euler. Se continuar con el trabajo general sobre las series y su desarrollo, lo que permitir hacer a a un breve resumen de los dems resultados de clculo en este siglo. Finalmente, se har un breve a a a comentario sobre las discusiones habidas al respecto de la validez o no del clculo innitesimal, a sobre sus posibles errores y dems problemas relacionados. a

4.1

Euler

Euler (1707-1783) realiz contribuciones importantes a varias ramas de la matemtica pura y aplio a cada y de la f sica. De entre sus muchos escritos, slo se va a prestar atencin a sus tres libros o o sobre clculo: Introductio in Analysis innitorum (1748), Institutiones Calculo Dierentialis (1755) a y Institutiones Calculo Integralis (1768-1770).

13

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

14

La exposicin que se va a realizar seguidamente es un repaso a las contribuciones que Euler o realiz al clculo (dejando claro, de entrada, que su trabajo es mucho ms extenso, incluso soo a a bre los temas aqu considerados.) Se aprovechar, de paso, para citar las aportaciones que otros a matemticos hicieron a los distintos temas. a

4.1.1

Sobre el concepto de funcin o

En el siglo XVIII eran conocidas (junto con muchas de sus propiedades) las funciones que, hoy en d se llaman elementales (racionales, trigonomtricas, exponencial y logar a, e tmica.) Entre las propiedades conocidas guraban, por ejemplo, la expresin de sin (x y), las derivadas y la relacin o o entre las funciones exponencial y logar tmica como inversas una de otra. Sin embargo, no se ten a una denicin expresa, ni tan siquiera una nocin clara, del concepto de funcin en general. Las o o o funciones eran magnitudes geomtricas asociadas a curvas o al movimiento de un cuerpo material e (de ah las funciones del tiempo, que era tal como las entend Newton.) Siguiendo esta imagen de a magnitudes asociadas a curvas era como se entendieron las funciones elementales y otras muchas. No obstante, Euler comenz dando una denicin del objeto que iba a estudiar en sus obras, o o pasando de las funciones particulares conocidas a una nocin general de funcin. Para l, una o o e funcin era una expresin anal o o tica en la que interviniesen las variables y, eventualmente, algunas constantes. Con ello entend Euler una expresin en la que, no slo hab operaciones algebraicas, a o o a sino tambin el paso al l e mite de sucesiones, sumas de series y las funciones elementales conocidas. (Euler entend que las series y los productos innitos no eran sino la repeticin innitas veces de a o las operaciones racionales, acerca de cuya validez no ten ninguna duda.) De ah su denicin de a o las funciones exponencial y logar tmica en la forma: log x := ex :=
n n

lim n(x1/n 1) 1+ x n
n

lim

o su descomposicin de las funciones trigonomtricas en productos innitos. o e En realidad, a esas expresiones anal ticas las llama Euler funciones continuas, y se pueden identicar con lo que actualmente se denominan funciones anal ticas, salvo en puntos aislados de discontinuidad (como 1/x en x = 0.) As no hay ninguna duda de que toda funcin se desarrolla en o serie de potencias. El argumento utilizado es el experimental: tmese una funcin y comprubese. o o e Esto tambin le permite utilizar funciones impl e citas por medio de su desarrollo en serie. A pesar de eso, Euler reconoce la existencia de otras funciones a las que llama mecnicas o bien dice de a ellas que se pueden dibujar libremente. Respecto a las funciones polinmicas, admite sin demostracin que se descomponen en producto o o de factores lineales cuadrticos. a A lo largo del siglo hubo controversias sobre el concepto de funcin, motivadas, en general, o por la necesidad de admitir soluciones de ecuaciones diferenciales que estn denidas a trozos. e Esto oblig a Euler a generalizar, ms adelante, su idea de funcin, del siguiente modo: si unas o a o magnitudes cambian al cambiar otras, se dice que las primeras son funcin de las segundas. o Tambin a nales del siglo, el otro gran matemtico de la poca, Lagrange (1736-1813), deni e a e o la nocin de funcin como cualquier expresin util para efectuar clculos, en la que las variables o o o a

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

15

intervienen de cualquier manera. La diferencia estriba en admitir diversas expresiones para trozos distintos.

4.1.2

Tratamiento de las funciones elementales

Uno de los mritos con que cuenta Euler es la facilidad con que maneja los nmeros innitamente e u pequeos y los innitamente grandes, como puede verse en el siguiente ejemplo. Por primera vez n dene loga x como el exponente al que hay que elevar la base a para obtener el nmero x. A partir u de ah da su denicin de la funcin exponencial como o o ax := lim
n

1+

kx n
N

(donde k depende de a), expresin que l escribe en la forma: o e ax := 1 + kx N

donde N es un nmero innitamente grande. Desarrollando por la frmula del binomio y teniendo u o en cuenta que N 1 N 2 1= = = ... N N (pues N es innitamente grande) queda: kx k 2 x2 k 3 x3 + + + ... 1! 2! 3! Poniendo x = 1 se tiene la relacin entre k y a: o ax = 1 + k k2 k3 + + + ... 1! 2! 3! y el caso en que k = 1, da el nmero e (introducido por Euler): u a=1+ 1 1 1 + + + ... 1! 2! 3! que queda inmediatamente identicado como la base de los logaritmos naturales. Adems, puesto a que x N x n ex := 1 + = lim 1 + n N n se obtiene, as la denicin habitualmente utilizada. , o e=1+ Con respecto a las funciones trigonomtricas, Euler introduce el radin como unidad de medida e a de ngulos, y el seno y el coseno como razones entre segmentos, ya que utiliza circunferencias de a radio unidad en las deniciones. De estas buenas deniciones obtiene fcilmente las propiedades a correspondientes. Adems, como tampoco tiene ningn tipo de problemas en el manejo conjunto a u de nmeros complejos junto con funciones reales o complejas, obtiene, asimismo, los desarrollos en u serie de estas dos funciones, as como la famosa expresin: o eix = cos x i sin x por identicacin de los correspondientes desarrollos en serie formales. o Finalmente, cabe sealar que los desarrollos en serie los obtiene Euler sin hacer uso del clculo n a diferencial, sino repitiendo innitas veces operaciones racionales (como ya se ha dicho).

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

16

4.1.3

Derivadas y diferenciales de las funciones elementales

A partir de los desarrollos en serie obtenidos para las funciones elementales, Euler deduce los correspondientes diferenciales (al estilo Leibnitz), y as escribe: dxn = nxn1 dx d(pq) = dpq + pdq d(log x) = log (x + dx) log x = log (1 + = dx dx2 dx3 dx 2 + 3 ... = x 2x 3x x dx ) x

(ya que dx2 , dx3 ,... son innitamente pequeos frente a dx.) De igual forma, y por la misma razn: n o d(ex ) = ex+dx ex = ex (edx 1) = ex dx y lo mismo con todas las dems. a Ya se ha comentado que Euler no ten ningn problema en mezclar nmeros complejos y a u u reales en las expresiones de las funciones, o en tomar como variables nmeros complejos, aun u cuando inicialmente las funciones estuvieran denidas slo para nmeros reales. De hecho, mantuvo o u grandes discusiones sobre la funcin logaritmo, llegando a tener claro el hecho de que sta toma o e innitos valores para cada nmero, si se valora en los nmeros complejos. u u dx2 dx3 + ... 2! 3! = ex dx

4.1.4

Sobre la frmula de Taylor o

Taylor (1685-1731) fue un disc pulo de Newton, que obtuvo esa expresin al estudiar los mtodos o e de interpolacin. La aportacin de Euler consisti en identicar los coecientes de los diferenciales o o o de orden superior como las derivadas sucesivas de la funcin. La frmula la obtuvo a partir de o o la de interpolacin de Newton, para un nmero innitamente grande de pasos, y trabajando con o u nmeros innitamente grandes e innitamente pequeos. u n

4.1.5

Otros temas tratados por Euler

Con respecto a la integracin, Euler siempre la entendi como la operacin inversa a la diferenciacin o o o o (al estilo de Newton, cabr decir.) Unicamente la visualiz como suma al hacer aproximaciones de a o integrales. En particular estudi las funciones denidas mediante integrales, y obtuvo las conocidas funo ciones y B. El origen de estas funciones es tratar de interpolar, al estilo polinmico de Newton, o funciones denidas sobre los nmeros naturales (en este caso n!), pero con productos innitos. u Con respecto a las funciones de varias variables, aunque Newton us f (x, y) = 0, y alguno de o sus seguidores introdujo las derivadas parciales (en concreto fueron usadas por Nicholas Bernouilli (1687-1759)), el desarrollo de su estudio lo efectuaron Euler, Clairaut (1713-1765) y DAlembert (1717-1783) en el siglo XVIII. El mayor trabajo se realiz al estudiar las ecuaciones en derivadas o parciales que rigen algunos problemas f sicos. Euler lleg a dar, incluso, lo que hoy se conoce con o el nombre de teorema de Schwarz sobre la igualdad de las derivadas cruzadas.

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

17

En relacin a la integracin mltiple, parece claro que, aunque anteriormente se hab utilizado o o u an algunas integrales mltiples de tipo geomtrico y f u e sico, fue Euler el que tuvo una idea clara sobre el signicado de las integrales dobles extendidas a un recinto plano limitado por arcos, y dio el mtodo para calcularlas. Al nal del siglo, Lagrange y Laplace (1749-1827) introdujeron las e integrales mltiples en general y estudiaron el cambio de variable en ellas. u

4.2

Problemas con las series

Grandes controversias origin el manejo indiscriminado de las series que se hac como ya se ha o a, visto, en los siglos XVII y XVIII. Hay que tener en cuenta que dicho manejo se hac pensando a en las series como polinomios innitos y, por tanto, era de una manera formal. No eran, pues, completamente conscientes de que, al pasar de un nmero nito de operaciones a un nmero innito, u u se introducen nuevos problemas. De ah que, aunque sin ignorar los problemas de convergencia, no les dieran demasiada importancia. As se observa que Newton y Gregory eran conscientes de la necesidad de que convergiesen , las series que usaban. En concreto, el primero arma que las series de potencias convergen para valores pequeos de x y recomienda no utilizar series que en algn punto no converjan. n u Leibnitz enuncia el criterio de convergencia de las series alternadas que lleva su nombre. Mac Laurin (1698-1746) da el criterio integral de convergencia de series. En general imponen como condicin que se utilicen slo en series en las que el trmino general se vaya haciendo cada vez o o e menor, acercndose a cero. a Euler arma que las series no convergentes tienen un valor denido: puesto que las series provienen de expresiones nitas, han de valer lo que valgan dichas expresiones en el punto en cuestin. Esto le lleva a armar que, por ejemplo, la serie 1, 1, 1, 1, ... suma 1/2, ya que es la o serie de potencias de la funcin 1/(1 + x) en el punto x = 1. Esto provoc grandes discusiones con o o uno de los hermanos Bernouilli. De hecho, se pod interpretar que todas las expresiones de los a nmeros , e y otros, como sumas o productos innitos, no eran sino comprobaciones de que sus u series funcionaban y converg an, mediante el clculo expreso de muchas cifras decimales. a Tambin Lagrange tercia en este problema, sobre todo despus de verse obligado a trabajar con e e la frmula de Taylor; recomendando que no se use dicha serie sin haber hecho, previamente, un o estudio minucioso del resto. DAlembert expresa en la gran Enciclopdie sus dudas sobre el uso de series divergentes (aun e a pesar de que se obtengan resultados correctos.) Este es un punto crucial en el pensamiento del siglo XVIII: el rigor viene medido por la obtencin de resultados correctos, aunque los manejos o intermedios no sean absolutamente claros, mientras que DAlembert introduce una idea de rigor ms relacionada con la claridad en los manejos de los objetos que se utilizan. a Resumiendo, durante el siglo XVIII las series se utilizan formalmente, pero asociadas a las funciones de las cuales se obtienen. Los problemas de convergencia no se desprecian, pero quedan relegados a segundo trmino por razones pragmticas: se obtienen, pese a no estar del todo claro e a el proceso, resultados correctos.

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

18

4.3

Controversias

Culturalmente, el siglo XVIII es el siglo de la razn. Sin embargo, a la vista de lo expuesto, da la o impresin de que el desarrollo del clculo se haga sin un exceso de rigor. A continuacin se va a o a o discutir un poco sobre esta cuestin. o A lo largo de todo el siglo, los matemticos son conscientes de la falta de base de la ciencia del a clculo que estn construyendo e intentan con toda su fuerza rigorizar al mximo los desarrollos y a a a claricar los problemas. As la escuela inglesa, seguidora de Newton y de sus mtodos geomtricos, pretende justicar , e e el clculo por medio de la geometr eucl a a dea, y cree que es posible justicar todas las ideas y desarrollos mediante los mtodos de Eudoxio y Arqu e medes. De este modo, Taylor llega a justicarlo todo utilizando slo incrementos nitos, aunque, naturalmente, slo para funciones algebraicas. o o En otro frente, los matemticos seguidores de Leibnitz centran sus esfuerzos en la claricacin a o de los diferenciales. Avanzado el siglo Rolle llega a armar: el clculo es una coleccin de ingeniosas falacias. a o Por otra parte, junto a estas tomas de conciencia de hechos reales e intentos claricadores, se maniestan tambin aquellos a los que la nueva ciencia estropea parte de sus supuestos, y toman e una postura enconada en su contra, pretendiendo que se olvide. El ms famoso de estos polemistas a fue el obispo Berkeley (1685-1753). Evidentemente el mecanicismo y determinismo que implicaba la descripcin de los fenmenos f o o sicos que permit el clculo chocaba frontalmente con la postura a a religiosa ocial de la poca: el poder y la conanza en la religin disminuir si se demostraba e o an que la naturaleza se reg por leyes. Por tanto era preciso atacar y desprestigiar el clculo y, dado a a que hab por donde hacerlo, a ello se dedic el mencionado Berkeley. En concreto, se bas en la a o o debilidad de los fundamentos y los matemticos cayeron en la trampa de argumentar en su contra a sin aclarar realmente casi nada. As lo hicieron, por ejemplo, Jurin (1684-1751) y otros disc pulos de Newton. En realidad, los unicos que pod defenderse con garant eran los seguidores de Leibnitz, an as que abogaron siempre por un manejo formal, sin entrometer otras consideraciones; obtuvieron as resultados y aplicaciones a la f sica que eran contrastables experimentalmente. De cualquier modo, ha de quedar claro que el rigor fue una preocupacin constante, y ms que o a el rigor, el intento de fundamentar claramente las bases del clculo. El problema (como se va a a ver en el prximo apartado) estribaba en que era imposible hacerlo sin tener ideas claras sobre o el concepto de l mite y en carecer de un modelo para los nmeros reales, cuestiones estas que se u resolver en el siguiente siglo. an

Chapter 5

El siglo XIX
El siglo XVIII produjo un enorme desarrollo de los mtodos iniciados en el XVII. Sin introducir e ningn nuevo concepto, aumentaron considerablemente los conocimientos en todas las ramas. Tal u como ya se ha mencionado, los matemticos de nales del siglo XVIII eran conscientes de la a falta de rigor en las demostraciones y de la vaguedad con que se explicaban los conceptos. Las demostraciones eran una mezcla de pruebas formales con consideraciones geomtricas y f e sicas sobre los problemas. As las demostraciones de muchos resultados no se hallaban hechas en sitio , alguno y los enunciados eran meras generalizaciones de experiencias concretas. El rigor se basaba en la comprobacin experimental a posteriori de los resultados obtenidos. La bsqueda formal del o u rigor en dicho siglo se realiza intentando basar los conceptos iniciales del clculo en la geometr a a, que era el modelo ms riguroso disponible. a Al concluir el siglose ten claro que hab que imponer un cierto orden. A la vez se ten la a a a conviccin de que los mtodos usados hab dado de s todo lo que pod ofrecer, por lo que no o e an an se iba a poder avanzar a menos que se introdujeran nuevas ideas fundamentales. El siglo XIX se caracteriza porque se consiguen estos nes. Pero, adems, hay otras muchas a cosas. En primer lugar, se critica a la geometr como modelo de rigor; su lugar lo pasa a ocupar a la aritmtica (y es en sta en la que hay que basar el anlisis.) De esta manera, se produce una e e a aritmetizacin de las matemticas. En segundo lugar, hay una autntica explosin en todas las o a e o ramas de las matemticas. En concreto, el desarrollo del clculo da lugar a lo que, hoy en d se a a a, conoce con el nombre de anlisis matemtico. a a Por otra parte, esta necesidad de rigorizacin hace que las matemticas dejen de ser, en parte, o a una idealizacin de la naturaleza; y pasan a ser consideradas como una creacin del ser humano. Su o o objetivo primordial no es ya la descripcin de la naturaleza, sino el estudio de los entes matemticos, o a que pasan a tener existencia independiente y en pie de igualdad con los dems objetos que conforman a la realidad. Dejan, pues, de ser meras creaciones arbitrarias de la mente, para pasar a ser objetos reales que hay que descubrir y estudiar. Todas estas discusiones se producen a nales del siglo XIX, pero, mientras tanto, se ha puesto orden y se han desarrollado todas las ramas de las matemticas. En particular, en el clculo, que es a a el que interesa aqu los nombres importantes en esta poca son Cauchy (1789-1857), Weierstrass , e (1815-1897), Bolzano (1781-1848), Abel (1802-1828), Riemann (1826-1866) y Dirichlet (1805-1859). Los ms clebres, en relacin al clculo innitesimal, son los dos primeros, pero la labor de los a e o a dems (y de otros muchos no citados) es tambin grande en este campo. a e 19

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

20

Se va a analizar este siglo dividiendo su estudio segn los temas trabajados, como ya se ha u hecho anteriormente.

5.1

Funciones y continuidad

A lo largo del siglo XVIII se entend por funcin continua toda expresin anal a o o tica en la que interviniesen la variable, constantes y las funciones elementales; es decir, continuidad signicaba tener la misma expresin formal en todo el dominio. Las discusiones sobre esta denicin fueron o o largas y estaban en parte motivadas por las funciones arbitrarias que intervienen en las soluciones de las ecuaciones diferenciales en derivadas parciales. Otro motivo eran los problemas de contorno o de condiciones iniciales para esas ecuaciones. As para el problema de la cuerda vibrante, una , condicin inicial natural es estirar de un punto de la cuerda, lo que da lugar a una solucin que o o se expresa por medio de una funcin no derivable en un punto y con expresiones diferentes a cada o lado de ese punto. Dado que se trata de una condicin inicial, eso deb interpretarse como una o a funcin, aunque se sal del marco de la anterior denicin. o a o Al nal del siglo, objetos como el anterior eran, pues, admitidos dentro de la categor de a funciones, y eran denominados funciones discontinuas o mecnicas. Se puede observar que la a nocin intuitiva que se ten de continuidad era ya la moderna idea de conexin del grafo de la o a o funcin (que se pueda dibujar sin levantar el lpiz del papel.) o a El problema se complica cuando Fourier (1768-1830) publica su memoria sobre la transmisin o del calor, donde se obtienen series trigonomtricas (que se suponen convergentes) para funciones e mucho ms arbitrarias que las entonces admitidas. Para que existan los coecientes de Fourier a basta que f (x), f (x) sin nx y f (x) cos nx tengan rea bajo su grca (en palabras del propio a a Fourier). Cabe recordar que uno de los problemas pendientes todav (aunque an no se era consciente a u del mismo) era denir lo que se entiende por variable. La cuestin radica en no disponer de un o concepto claro sobre el cuerpo de los nmeros reales. As por ejemplo, en 1821 Cauchy enunciaba u , que una variable es una magnitud que va tomando sucesivamente muchos valores diferentes. En esta denicin se observa la presencia de las ideas temporales de Newton. Igualmente, Cauchy o dice: dadas varias variables tales que, conocido el valor de una de ellas, se puede obtener el valor de las dems, entonces esas otras se expresan por medio de la primera que se denomina variable a independiente; mientras que de las dems se dice que son funcin de esa variable. El adelanto en a o relacin al siglo precedente es que ya no se exige ningn tipo de expresin para poder hablar de o u o funciones. Es Dirichlet, en 1837, el que da una denicin como la que se usa hoy d la variable y es o a: funcin de la variable x cuando a cada valor de x en un intervalo le corresponde un valor de y. o Todo ello independientemente de que haya expresiones (una o varias) que liguen y con x. Una vez visto cmo se ha perlado la idea de funcin, veamos cmo se llega a la de continuidad. o o o Es Bolzano el que, sorprendentemente, en 1817 escribe: la funcin f (x) es continua en un o intervalo si, para cada valor de x en ese intervalo, la diferencia f(x + ) f (x) se puede hacer tan pequea como se quiera, tomando sucientemente pequeo. Pero no es slo esto; salvo una n n o teor sobre los nmeros reales, Bolzano expuso ya correctamente todas las ideas necesarias para a u el desarrollo del clculo. As lleg a admitir la existencia de los nmeros innitamente grandes y a , o u

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

21

de los innitamente pequeos, el axioma del extremo superior y el hoy llamado criterio de Cauchy n para la convergencia de una sucesin de nmeros reales. o u Sin embargo, el trabajo de Bolzano no circula con la amplitud necesaria entre sus contemporaneos y su inuencia no es notoria. El que s tuvo una inuencia decisiva fue el Curso de Anlisis a que Cauchy public en 1821. Cauchy ataca y dene con precisin el concepto de l o o mite de una funcin y el de continuidad. Igualmente aclara los innitamente pequeos como las variables con o n l mite cero, y los innitamente grandes como las variables cuyo valor crece indenidamente (ms a all de toda cota) y converge a . Su denicin de continuidad es la siguiente: f (x) es continua a o en un punto x si un incremento innitesimal de la variable produce un incremento innitesimal de la funcin; esto es, o f es continua en a lim f (x) = f (a)
xa

A pesar de su habitual precisin, Cauchy tambin dice, de manera imprecisa, que si una funcin o e o de varias variables es continua en cada una de ellas, entonces dicha funcin es continua, cosa que o sabemos que no es cierta. Con estas deniciones Cauchy estudi las propiedades de las funciones continuas y muchos o matemticos siguieron, despus, sus pasos. La nocin de continuidad quedaba denitivamente a e o aclarada y separada de la de los valores intermedios (Darboux (1842-1917) dio un ejemplo de funcin que toma todos los valores entre dos de ellos pero sin ser continua.) o Weierstrass fue el que elimin del lenguaje del anlisis toda relacin con el movimiento. Frases o a o como una variable se acerca a un l mite, que recuerdan las ideas temporales de Newton, fueron transformadas en desigualdades, intentando aritmetizar todo lo posible. De l es la denicin de e o continuidad que hoy se llama del . Tambin prob la existencia de mximo y m e o a nimo para una funcin continua denida en un intervalo cerrado, que hab sido usado por Cauchy sin o a demostracin. Igualmente prob el llamado teorema de Bolzano-Weierstrass sobre el punto de o o acumulacin, utilizando, para ello, el mtodo de Bolzano de dividir el intervalo en dos partes y dar o e una regla para elegir una de ellas. Los seguidores de estas ideas, Heine (1821-1881), Borel (1871-1956) y otros, obtuvieron, asimismo, la primera nocin de compacidad por recubrimientos para un intervalo cerrado. o

5.2

Derivacin o

Otra vez Bolzano fue el primero en denir: f (x) := lim f (x + h) f (x) h

h0

indicando que f (x) no es un cociente de ceros ni la razn entre dos cantidades evanescentes, o sino un nmero hacia el que se va aproximando ese cociente. Esto no era sino precisar las ideas de u Newton, ya renadas en el siglo XVIII, entre otros por DAlembert, que fue el que ms se acerc a o a esa denicin. Sin embargo, tampoco este trabajo de Bolzano tuvo difusin. o o Ms tarde, Cauchy vuelve a tomar como buena esta denicin y la desarrolla con plenitud. a o En primer lugar quita problemas a los diferenciales de Leibnitz: dx es una cantidad cualquiera y dy = f (x)dx. Esto es, la diferencial es la funcin lineal que aproxima a la funcin dada en el o o punto considerado. Cauchy distingui claramente entre dy y y, entendiendo este ultimo como la o

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

22

variacin de los valores de la funcin. Para aclararlo obtuvo el teorema del valor medio y el que hoy o o se denomina teorema de Cauchy, que generaliza el anterior (y que, realmente, lo precedi.) Como o consecuencias, obtuvo la regla de lHpital y las condiciones de extremo relativo. o Igualmente obtuvo la frmula de Taylor con la expresin del resto que lleva su nombre (la o o manera de obtenerlo es la que hoy se usa normalmente.) Emple, adems, dicha expresin para o a o estudiar la convergencia de las series de Taylor de las funciones elementales. Hay que sealar que, para demostrar el teorema del valor medio, prob previamente, de una n o forma intuitiva pero muy natural (igual que hoy se hace en los cursos de bachillerato, utilizando la compacidad de un intervalo cerrado y acotado, pero sin saberlo), que si una funcin tiene o derivada positiva en un intervalo, entonces es creciente. A pesar de todo esto, Cauchy cre que una funcin continua era diferenciable salvo, quizs, a o a en puntos aislados, y con l, los libros de la poca estn llenos de demostraciones de este hecho. e e a Sin embargo, Bolzano ten clara la diferencia y dio, en 1834, una funcin continua con derivada a o no acotada en todos los puntos (tampoco este trabajo fue conocido.) Hubo muchos intentos de probar que continuidad implica derivabilidad, y bsqueda de conu traejemplos. Entre otros, Riemann, en 1854, y Weierstrass, en 1874, dieron ejemplos concretos de funciones continuas en todos los puntos y no derivables en ninguno.

5.3

Integracin o

Durante los siglos XVII y XVIII no hab una teor de la integral, ni una denicin de tal concepto, a a o ni una caracterizacin de las funciones integrables. Las ideas usadas eran las de Newton, como opo eracin inversa de la derivacin, mientras que las de Leibnitz no se utilizaban. Todo eran conceptos o o vagos, pero resultados que podr ser calicados de maravillosos. La necesidad de construir una an teor al respecto aparece nuevamente en el trabajo de Fourier. a Cauchy es el primero en elaborarla, en 1823, y lo hace para funciones continuas: sea f : [a, b]
R una funcin continua y P = {a = x < x1 < ... < xn = b} una particin del intervalo, entonces o o
b n1

f (x)dx := lim
a

f (xi1 )(xi xi1 )

i=1

(aunque la notacin no era exactamente sta.) El problema estaba en demostrar que ese l o e mite existe cuando n , que quiere decir cuando la distancia entre los puntos de la particin tiende o a cero. Para probarlo Cauchy utiliza el que f sea uniformemente continua en [a, b] (nocin, para o l, idntica a la de continuidad). e e Esto le lleva a estudiar la funcin o
x

x F (x) :=
a

f (x)dx

de la que prueba que es continua y derivable y que F = f , y de ah el teorema fundamental del clculo (teorema de Barrow.) a Tambin estudia las integrales impropias de segunda especie. Igualmente extiende su nocin de e o integrabilidad a funciones continuas a trozos. Con esto se denen, adems, las ideas geomtricas a e

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

23

para las que se requiere la integral: clculo de reas planas, longitudes de curvas, volmenes, etc; a a u restringidas, desde luego, al caso en que el integrando sea una funcin continua. o En 1854 es Riemann quien, en su trabajo sobre las series trigonomtricas, se pregunta por las e condiciones para que una funcin sea integrable. Su pregunta exactamente es la siguiente: qu o e x ha de entenderse por a f (x)dx? Para responderla construye la suma de Riemann:
n1

f (i1 )(xi xi1 )

i=1

donde i [xi1 , xi ], en las mismas condiciones de Cauchy, pero para una funcin cualquiera. La o primera condicin de integrabilidad que da entonces, es: las sumas se acercan a un l o mite cuando el dimetro de la particin tiende a cero, si la suma de los intervalos en los que la oscilacin de f a o o es mayor que un nmero prejado se acerca a cero cuando lo hace el dimetro. Esto le permite u a cambiar las funciones continuas por funciones con discontinuidades aisladas e, incluso, por otras ms generales. Da, asimismo, un ejemplo de funcin integrable que tiene innitas discontinuidades a o en cualquier intervalo, por pequeo que sea. n Tambin enuncia otra condicin de integrabilidad. Para ello dene las sumas superior e inferior e o de f en una particin, aunque l slo usa su diferencia. As arma que una funcin es integrable o e o , o si, y slo si, dicha diferencia tiende a cero cuando el dimetro de la particin tiende a cero. La o a o demostracin la hace Darboux en 1875, quien prueba, adems, que el teorema fundamental del o a clculo vale para todas esas nuevas funciones. a Es tambin Darboux el que prueba, en 1875, que una funcin acotada es integrable si, y slo e o o si, los puntos de discontinuidad se pueden recubrir por un nmero nito de intervalos de longitud u tan pequea como se quiera (es decir, si forman un conjunto de medida nula.) n Riemann no se atreve a asegurar que toda funcin continua sea integrable. Para ello le falta o la completitud de los nmeros reales, que permite demostrar que toda funcin continua en un u o intervalo cerrado es uniformemente continua en l (resultado que no se tuvo hasta 1870.) e Enseguida se trabaj con las integrales impropias y se extendio la integral de Riemann a funo ciones no acotadas y a funciones de dos variables. Con ello conclu el problema de la integracin. a o Sin embargo, el origen de la integracin fue hallar reas. Ahora se dispon del concepto de o a a integral y hab que unirlo con el de rea. De nuevo el comienzo es el mismo: hay que preguntarse a a qu es el rea. La primera formulacin de esta nocin es de Peano (1858-1932) y la dio en 1887. e a o o Deni el rea interior y exterior de un conjunto del plano como lo que hoy se llama contenido de o a Jordan, y prob la relacin entre las integrales superior e inferior de una funcin con el rea del o o o a recinto plano limitado por la grca de una funcin positiva y el eje de abscisas, en el intervalo de a o denicin de la funcin. o o En 1893, Jordan (1838-1922) extendi la integral de Riemann a funciones de varias variables, o deniendo el contenido de Jordan de paralelep pedos en Rn . El siguiente paso adelante lo da Lebesgue (1875-1941), ya en el siglo XX, pero no se va a hablar aqu de ello.

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

24

5.4

Convergencia

El uso indiscriminado de las series durante el siglo XVIII produjo contradicciones y discusiones. Al comenzar el siglo XIX, en 1810, Fourier, Gauss (1777-1855) y Bolzano empezaron a aclarar el problema de la convergencia y a criticar la vaguedad de las razones previas sobre el uso de las series no convergentes. La primera denicin de convergencia la dio Fourier en su memoria sobre el calor: una serie o converge si, cuando n aumenta, la suma de n trminos se acerca a un nmero y llega a diferir de e u l una cantidad que es menor que cualquier magnitud. Reconoci, adems, la necesidad de que e o a el trmino general de la serie tienda a cero para que la serie converja. A pesar de ello, no tuvo e demasiados problemas para manejar series no convergentes y mantuvo que n0 (1)n = 1/2. Gauss aclar el problema, y en su memoria de 1812 sobre las series, estudi la serie hipero o geomtrica. Este es el primer estudio serio y completo sobre las condiciones en que converge una e serie concreta de funciones que depende, adems, de tres parmetros. a a Bolzano, en 1817, dio la condicin que hoy recibe el nombre de condicin de Cauchy. Adems o o a da la impresin de que ten unas ideas absolutamente claras sobre la convergencia. o a De nuevo es el trabajo de Cauchy el primer estudio organizado sobre series. Acerca de las series numricas, dio la buena denicin de convergencia y prob la necesidad del criterio que hoy lleva su e o o nombre. La suciencia era inaccesible debido al desconocimiento de las propiedades de los nmeros u reales. Tambin dio criterios para estudiar la convergencia de series de trminos no negativos: el e e que lleva su nombre (criterio de la ra el de DAlembert o del cociente y los de comparacin. z), o Igualmente deni convergencia absoluta y vio que implicaba la convergencia. Tambin dedujo el o e criterio de Leibnitz para series alternadas. Estudi, adems, las series de funciones y aplic los criterios para hallar intervalos de convero a o gencia. Obtuvo la frmula de Taylor con una expresin para el resto, y estudi la convergencia de o o o dicha serie analizando el resto. Dio ejemplos de funciones no anal ticas, contradiciendo as las ideas de Lagrange. Sin embargo, no supo distinguir entre convergencia puntual y uniforme, y supuso sta para asegurar que se conserva la continuidad al pasar al l e mite en una serie de funciones y que se puede integrar trmino a trmino y sumar. e e Abel se dio cuenta, en 1826, de la necesidad de un concepto de convergencia ms fuerte que la a convergencia puntual, a n de que se conserve la continuidad, y Stokes (1819-1903) dio la denicin o correcta de convergencia uniforme en 1848. En escritos posteriores, Cauchy reconoci la necesidad o de la convergencia uniforme para esos resultados. El estudio completo ms preciso lo realiz Weierstrass, quien ten clara la idea de convergencia a o a uniforme y su necesidad para explicar las mencionadas propiedades, as como los problemas sobre diferenciacin de series de funciones. Tambin prob que toda funcin continua en un intervalo o e o o cerrado se puede aproximar por una serie uniformemente convergente de polinomios. Finalmente, Dirichlet y Riemann estudiaron los problemas de reordenacin de series. o

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

25

5.5

Los n meros reales u

Desde nuestro actual punto de vista, un tanto acostumbrado al mtodo formal, parece inexplicable e que los nmeros reales, la base del clculo, fueran el ultimo punto que se aclarara en los problemas u a del clculo innitesimal. Aparte de su dicultad, est el hecho de que la idea de magnitud parece a a la ms natural y es dif darse cuenta de la necesidad de aclararla por completo. Inuy, adems, a cil o a otro problema de la poca: el inters por aritmetizar las matemticas se basaba en que el nmero e e a u era un dato, una idea a priori, y de ah que no se tuviera conciencia de la necesidad de aclararlo. As las propiedades de las funciones continuas en un intervalo cerrado de la recta quedaban , demostradas slo en parte al no disponer de una teor sobre los nmeros reales. Igualmente la o a u condicin de Cauchy para la convergencia de sucesiones y series de nmeros quedaba incompleta, o u y lo mismo ocurr con las construcciones de la integral. La gota que colm el vaso fueron las a o funciones continuas no diferenciables. Todo ello exigi una aclaracin del sistema de los nmeros o o u reales. Hubo varias construcciones distintas. Las ms utilizadas son las de Cantor (1845-1918) y a Dedekind (1831-1916.) Ambas ten como punto de partida el conjunto Q de los nmeros an u racionales, y en ellas el conjunto de los nmeros reales deja de ser una idea a priori para ser u construido a partir de otros conceptos. El problema era el de los nmeros irracionales. Durante el siglo XVIII se hab utilizado sin u an problemas y se supon que para ellos eran vlidas las mismas propiedades y operaciones que para a a los racionales. Se dec de ellos que se aproximaban por racionales y eso bastaba. Despus se a e precis que eran l o mite de nmeros racionales. Cantor aclar que primero hab que construirlos u o a y despus ver si eran l e mite de algo. Weierstrass, en 1859, habl claramente de la necesidad de o hacer una teor sobre estos nmeros. a u El origen de la construccin de Dedekind es la idea de continuidad de la recta, ligada a la teor o a de las magnitudes de Eudoxo. Observ que la continuidad consist en que partir la recta en dos, o a de forma que una parte quede a un lado de la otra, slo es posible hacerlo tomando un punto de o la recta (esto era un axioma geomtrico en su tiempo.) Por otra parte observ que eso no ocurr e o a con los nmeros racionales. De la teor de Eudoxo dedujo que la relacin entre dos magnitudes u a o inconmensurables divide a los racionales en dos clases con esa propiedad. De aqu obtuvo la idea de cortadura y denomin nmero real a una cortadura del conjunto Q. Deni la suma, el producto y o u o el orden sin demasiadas dicultades y prob que, haciendo cortaduras en los reales, no se obten o an nuevos nmeros. Seguidamente demostr que toda sucesin montona creciente y acotada tiene u o o o l mite. Eso era suciente para dejar bien aclarados los problemas de su tiempo. Dedekind tuvo algunos problemas y controversias sobre su mtodo y a l mismo le costaba e e aclarar si un nmero real era lo mismo que una cortadura o era algo ms. Su problema era que no u a intentaba dar una teor de los nmeros reales, sino construir los irracionales. a u Cantor critic la construccin de Dedekind por considerar que las cortaduras no aparecen de o o manera natural en el anlisis y construy, simultneamente, los nmeros reales utilizando la idea a o a u de que un nmero irracional es el l u mite de una sucesin de racionales. As tom las sucesiones de o , o Cauchy de nmeros racionales y llam nmero real a su l u o u mite; identicando dos sucesiones si su diferencia tiende a cero. Fcilmente comprob que estos nmeros formaban un cuerpo ordenado a o u que contiene a los racionales y demostr que es completo (esto es, que las sucesiones de nmeros o u reales no dan nuevos nmeros.) u

 M.C. Mu noz-Lecanda, N. Roman-Roy: Origen y desarrollo...

26

Puede observarse que en ambas construcciones es necesario un nmero innito de nmeros u u racionales para determinar un irracional. Esto provocaba autnticos problemas en su tiempo, por e lo que no fueron aceptadas de una manera general ninguna de ambas. Mucho antes, en 1696, Wallis hab identicado los nmeros racionales con los decimales a u peridicos. Stolz prob, en 1886, que todo irracional se puede representar como un nmero decimal o o u no peridico. Esto provoc otra forma de ver el problema: los nmeros reales son los nmeros o o u u decimales. Una vez construidos los nmeros reales, quedaba por ver cmo se pod pasar de las ideas a u o a priori, esto es, los nmeros naturales, a los racionales. Peano (1858-1932) dio, en 1889, los axiomas u de los nmeros naturales y deni sus propiedades. Weierstrass hab pasado, en 1854, de los u o a naturales a los racionales, tal como se hace hoy. Los reales se construyeron en 1872. Un comentario nal: una vez construido el cuerpo R, fue Hilbert (1862-1943) el que arm que o para trabajar era ms cmodo dar sus propiedades de forma axiomtica (puesto que ya se sab a o a a construir) que seguir el camino que lleva de N a R. As dio un sistema de axiomas, en 1899, , divididos en cuatro grupos: 1. Axiomas de conexin, o 2. Axiomas de clculo, a 3. Axiomas de orden, 4. Axiomas de continuidad. Aclar que no eran un sistema independiente y que era preciso probar su consistencia (con lo o cual, desde el punto de vista matemtico, el objeto existe.) De cualquier modo, el punto de a vista axiomtico tampoco fue generalmente aceptado, ya que muchos prerieron el punto de vista a constructivo.

Bibliography
[1] A.D. Alexsandrov et al. La matemtica: su contenido, mtodo y signicado. Alianza a e Ed., Madrid, 1976. [2] R. Courant, R. Robbins Qu es la matemtica? Aguilar, Madrid, 1967. e a [3] M. Kline Mathematical thought from ancient to modern times. Oxford Univ. Press, Nueva York, 1972. [4] W.M. Priestley Calculus: an historical approach, Springer-Verlag, Nueva York, 1979. [5] D.J. Struik, A concise history of mathematics. Dover Pub. Inc., Nueva York, 1967.

27