88

"Particula in minima micat integer orbis", (En la mnima partcula, se encuentra reflejado el universo entero). G. W. Leibniz.

4.6 La contribucin de Leibniz al clculo infinitesimal. En los siguientes trminos se expresa el filsofo espaol Julin Maras 1 con respecto a Leibniz: Vean ustedes como es la amplitud de una figura extraordinaria: (Leibniz) es quiz el ltimo hombre en Europa capaz de poseer el universo de las ciencias. Despus, esto no ha sido posible, por la especializacin, por el crecimiento de la informacin... Y actualmente se llega hasta el extremo de que los cientficos no conocen la disciplina que profesan, sino conocen una pequea parcela de ella: un botnico que est especializado en las algas o en determinada variedad de algas y nada ms, no sabe mucho de lo dems. Y lo mismo ocurre con el fsico, con el qumico, con todos los cientficos. Hay una parcelacin del saber que impide la visin universal que posee todava Leibniz. Es esto posible? Es necesaria esa visin de conjunto, la visin abarcadora del real? Ustedes piensen que la crisis de la filosofa en estos ltimos decenios, que es muy grande lo que se llama filosofa, muchas veces, tiene muy poco que ver con ella consiste precisamente en un abandono de la perspectiva filosfica, del punto de vista filosfico. El filsofo, no sabe casi nada sobre casi todo, pero tiene el punto de vista filosfico: l se pregunta sobre la realidad y por el puesto que cada cosa, cada parroquial realidad, tiene en el conjunto de la realidad. En esto consiste la filosofa y por esto siempre insisto en que se trata de hacer, las preguntas radicales: las respuestas son inseguras, no son necesarias, a veces no se encuentran... pero si se hacen las preguntas radicales, se est haciendo filosofa; si no se hacen esas preguntas hgase lo que se haga se est fuera de la filosofa. Y es interesante ver como el exceso de crtica que aparece ya despus de Leibniz, justamente consiste en una serie de renuncias... Renuncias que van a estar de cierto modo compensadas por lo contrario: por excesos.2 Gottfried Wilhelm Leibniz naci en Leipzig en 1646 y muri en Hannover en 1716. Su universalismo, como lo dice Julin Maras, es aun ms meritorio si se tiene en cuenta que Leibniz vivi y se destac en una poca de cientficos tan importantes como Johann Kepler, Blas Pascal, Ren Descartes, Pierre de Fermat, Galileo Galilei, Isaac Newton y Christian Huygens. Despus de terminar sus estudios a edad muy temprana, se poda decir de l que, era ya, todo un acadmico. Sin embargo, fue despus de terminar la universidad que empez a complementar sus conocimientos con el estudio de las matemticas. Para l, la geometra de Euclides era un misterio y la geometra de Descartes le pareca ininteligible. No obstante, pasados algunos aos logr ser un experto, no slo en geometra, sino en todo el amplio espectro de las matemticas de su tiempo. Ms aun, contribuy al enriquecimiento de las matemticas con sus propios aportes, sobre todo al recin inventado, clculo infinitesimal, nombre, que entre otras cosas, se debe a l, pues para Newton, era la teora de las fluxiones y de las cuadraturas. El ser abogado de profesin y diplomtico de carrera, le permiti entrar en contacto con las esferas ms altas de la sociedad de la antigua Prusia, de la sociedad francesa de Lus XIV, conocido como el
Julin Maras Aguilera (1914 - 2005), filsofo de la Universidad de Madrid, y el discpulo ms destacado de Ortega y Gasset. Ensayista y distinguido filsofo. No ense en las universidades espaolas en el tiempo de Franco por discrepancias ideolgicas, pero fue conferenciante en numerosos pases de Europa y Amrica y profesor en varias universidades de Estados Unidos. Su presencia en el mundo intelectual espaol ha sido constante: colaborador de las publicaciones ms relevantes, fue miembro de la Real Academia desde 1964 y senador por designacin real entre 1977 y 1979. En 1996 se le concedi el Premio Prncipe de Asturias de Comunicacin y Humanidades. Tomado de Wikipedia. 2 MARAS, J. Los estilos de la Filosofa, Madrid, 1999/2000 - edicin: Jean Lauand. Conferencia tomada de Internet.
1

89 Rey Sol, y de la flemtica sociedad londinense, que lo acogi como uno ms de los miembros de la Royal Society de Londres. En su obra De Arte Combinatoria (Sobre el arte de las combinaciones) de 1666, hace de la igualdad de conceptos un objeto de anlisis. Entre las propiedades que se desprenden de sus estudios estn las siguientes: REFLEXIVIDAD. Si A es un concepto, entonces A = A. SIMETRIA. Para conceptos A y B, si A = B, entonces B = A. TRANSITIVIDAD. Para conceptos A, B y C, si A = B y B = C, entonces A = C. En esta misma obra dedica bastante espacio al estudio de las sucesiones y las series y hace un estudio sistemtico de las propiedades de las combinaciones y permutaciones. Alrededor del ao 1672, trabajaba sobre las diferencias sucesivas de progresiones aritmticas del tipo, a 0 , a 1 , a 2 ,, a n . Observ que las diferencias sucesivas de los trminos: d1 , d 2 , , d n , definidas por: d i = ai ai 1 , cumplan la siguiente propiedad:

d
i =1

= (a 1 - a o ) + (a 2 - a 1 ) + + (a n - a n 1 ) =

a n - a o . Una serie de este tipo, hoy se conoce

como serie telescpica. Se sigue de aqu que la suma de las diferencias de una sucesin es la diferencia entre el primero y el ltimo trmino de la progresin. De esta elemental propiedad, Leibniz encuentra todas las propiedades que los pitagricos hallaron a travs del lgebra geomtrica, como son la suma de los nmeros impares, de los pares, de los cuadrados, etc. Y va ms all cuando extiende la propiedad a sumas infinitas, al encontrar que:

b
i =1

= a1

Donde la sucesin b i es decreciente y est definida por b i = (a i - a i +1 ), i = 1, 2, 3,. Pars fue su mayor experiencia. All recibi la benfica influencia del cientfico holands Christian Huygens (1629-1695), quiz el cientfico ms prestigioso de Europa por esa poca, quien en una ocasin le puso como reto, el clculo de la serie: 1 +1/3 +1/6 +1/10 +1/15 +1/21 + 1/28 +1/36 + 1/45 +. Donde los sumandos son los inversos de los nmeros triangulares, o sea, aquellos que resultan de la suma de los primeros naturales, en su orden 1, 1+2, 1+2+3, 1+2+3+4, etc. Leibniz convierte esta serie en otra ms digerible. 1 +1/3 +1/6 +1/10 +1/15 +1/21 + = 2[1/2 + 1/6 + 1/12 +1/20 +1/30 +1/42 +] = 2[(1- 1/2) + (1/2-1/3) + (1/3-1/4) + (1/4-1/5) + (1/5-1/6) +] = 2[1] = 2.

90 Esta serie se convierte en telescpica usando transformaciones simples. En efecto, la suma de los primeros k nmeros naturales es, k(k+1)/2. Pero 1/[k (k+1)] = 1/k - 1/(k + 1). A este resultado se llega usando fracciones parciales, tema comn, cuando se trata de integrar funciones racionales. Usando la notacin para series, la suma de Leibniz se reduce a:
n 2 1 1 1 2 [ ] = 2[1 ]. = k =1 k (k + 1) k +1 n +1 k =1 k n

Como se vio arriba, Leibniz ya tena la frmula para calcular estas sucesiones decrecientes. Cuando n , el miembro de la izquierda se convierte en una serie infinita y el miembro de la derecha va a 2(1) =2. La serie anterior fue como un bautizo de ingreso para Leibniz al seno de las matemticas. Fascinado con las series, sigui explorando su comportamiento y fue a travs de ellas que lleg a inventar el clculo. En 1675, escribi un manuscrito donde el simbolismo

f ( x)dx

ya estara presente y es la primera

vez que esta notacin aparece en imprenta. En el mismo artculo aparece la regla para la diferenciacin de un producto de dos funciones. Para el ao 1676, Leibniz haba descubierto la frmula; d(x n ) = nx n 1 dx, para derivar una potencia donde el exponente poda ser entero o racional. Por esta poca Newton y Leibniz se haban cruzado cartas en las que tocaban estos temas. Por esta razn Newton sospech que Leibniz le estaba copiando sus mtodos y resultados para publicarlos como propios. En una de estas cartas Leibniz describe a Newton la forma en la que l encuentra la derivada de una funcin compuesta, tema que para este tiempo ya lo haba tratado Newton. La polmica sobre la prioridad del descubrimiento del clculo tom un cariz cido al involucrar, tanto a seguidores de Newton como de Leibniz. Los dos contrincantes en esta polmica, eran figuras de gran relieve intelectual, quienes no se rebajaran a cometer plagio para ganar una fama inmerecida. El juicio de la historia parece concluir que las dos celebridades de las matemticas, llegaron al descubrimiento del clculo por sendas propias y por mtodos distintos. Ya decamos que Newton estaba clasificado entre los tres matemticos mayores de la historia, y recordemos que Leibniz tambin es considerado uno de los ms grandes lgicos que haya producido la humanidad, al lado de Aristteles, Frege, Russell y Tarski. Un mrito que exalta la personalidad cientfica de Leibniz es su capacidad de sntesis, al involucrar los ejemplos particulares en frmulas generales, como igualmente lo hiciera Newton, con la probable ventaja de que, su notacin, tanto para la diferencial como para la integral se universaliz dentro del lenguaje matemtico. Pero no slo fue el clculo, la nica aportacin de Leibniz. Tambin encontr curiosas propiedades en la teora de nmeros. Hizo un estudio detallado del sistema binario del cual dej un escrito, Essay d'une nouvelle science des nombres (Ensayo sobre una ciencia moderna de los nmeros) que es considerado como el primero en estos temas, trabajo que adems fue presentado a la Academia de Ciencias de Pars. En este trabajo se introduce el sistema binario o de base dos, que permite expresar todos los nmeros reales con slo los dgitos {0, 1}. Leibniz estudi este sistema motivado en la interpretacin del libro clsico de la filosofa taosta, el I Ching3, donde las unidades
El I Ching, o, Libro de las Mutaciones, es la obra fundamental de la filosofa taosta. Su origen se remonta al III milenio AC, y parte del libro, se atribuye al filsofo chino Confucio. Este libro se menciona en la historia de las matemticas, en razn a que el ms antiguo cuadrado mgico conocido, aparece aqu con el nombre de Lo Shu. La edicin en idioma ingls ms conocida es: The I Ching, or Book of Changes. Prologada por C. G. Jung, traducida del chino y comentada por Richard Wilhelm. La public Princeton University Press en 1967. Hay tambin edicin en espaol publicada por Edhasa,
3

91 bsicas que forman los exagramas son el ying y el yang. George Boole (1815-1864) desarroll un lgebra que lleva su nombre, en la que el sistema binario de 0s y 1s, juega un papel importante. En el proceso de resolver sistemas de ecuaciones simultneas, Leibniz encontr los determinantes, de los cuales hizo un estudio sistemtico, el que, sin embargo, permaneci indito por varios aos. Entre las cosas curiosas en el lgebra elemental logradas por Leibniz es la extraa identidad: 1 + 3 + 1 3 = 6 , cuya prueba es un reto a los lectores que dicen conocer bien el lgebra de Baldor. El proyecto de su vida fue la bsqueda de un lenguaje unificador o lenguaje simblico para la lgica, que permitiera mecanizar, no slo las operaciones aritmticas si no tambin los procesos racionales de la mente, y as ahorrarle a la misma mente, el esfuerzo y desgaste que implica la actividad repetitiva de las rutinas presentes en las operaciones aritmticas y en el logro de juicios acertados a partir de las premisas de una argumentacin. Esa bsqueda de un lenguaje universal que simplifique procesos y que gue a la mente, lo llev a convertir su notacin en el clculo infinitesimal, como la simbologa estndar en esa disciplina matemtica. Para ilustrar la conveniencia de su notacin, recordemos aqu, cmo expresa Leibniz en su notacin, la regla de la cadena, que Newton haba tratado. Cuando z = h(x) = f[g(x)], donde y = g(x) (4), sabemos que h(x) = f[g( x)] g(x). En notacin de Leibniz, esta ltima expresin se convierte en: dz dz dy = dx dy dx Una frmula que a simple vista muestra su carcter evidente. La aparicin del trmino dy en el miembro de la derecha de la igualdad, aunque obvio en apariencia, su significado en todo el proceso de diferenciacin es muy importante. La versin de la regla de la cadena en el clculo integral corresponde al proceso de integracin por sustitucin f ( g ( x)) g(x)dx = f (u )du . Donde la sustitucin, u=g(x), y, du = g(x) dx, se ve casi obvia. La concepcin con que Leibniz se acerca al clculo, es global, en el sentido de tratar las variaciones discretas de las variables geomtricas como un todo, es decir, una curva est asociada en un punto especfico, a su tangente, que a su vez, est ligada a una componente dy y a una componente dx, tomadas en relacin a las variables y y x respectivamente, que la definen como el cociente dy . Al contrario Newton se interesa en las fluxiones o cambios de las variables con diferencial dx respecto al tiempo, basado en la idea intuitiva del movimiento continuo. Como consecuencia de esto, la notacin y la terminologa de Leibniz soslaya el concepto de lmite que se supone implcito en los procesos infinitesimales. En el caso de Newton el concepto de lmite aparece claramente explicito, como lo hemos visto, tanto en las derivadas y cuadraturas como en el mismo mtodo de aproximar races. La integral de Newton es una integral indefinida; es un flujo determinado por una fluxin dada. Para Leibniz la integral es una suma infinita de diferenciales, representada explcitamente en su notacin f ( x)dx , donde el smbolo corresponde a la distorsin de la letra S, como apareca en imprenta en los libros de la poca, y para el caso aqu, representaba una suma de infinitos trminos.
Barcelona. Leibniz conoci esta obra por intermedio de un padre jesuita que trabaj muchos aos en labores pastorales y de evangelizacin en la China. 4 La notacin funcional y = f(x) se origin en Lagrange.

92 Las inquietudes cientficas de Leibniz fueron muy amplias. En una visita a la Royal Society de Londres llev su mquina calculadora, que aunque incompleta, sera el primer acercamiento a la meta de lograr el clculo aritmtico en forma mecnica5. Al igual que Newton, Leibniz se interes por la alquimia, por la fsica, sobre todo por la cinemtica y la geologa. Propuso el diseo de motobombas accionadas por energa elica (producida por el viento) o movidas por energa hidrulica. En fin, su curiosidad cientfica e intelectual no tuvo lmites. Estuvo ligado como miembro, o fundador, de las principales academias de Europa; empezando por la Academia Ciencias de Pars, siguiendo con la Royal Society de Londres, con la Academia de San Petersburgo y con la Academia de Berln, de la que fue su fundador. La siguiente tabla muestra el simbolismo y la terminologa de Newton y Leibniz.

Newton Leibniz

Clculo infinitesimal Teora de fluxiones y cuadraturas Clculo diferencial e integral

Integral

f(x)

f ( x)dx

Derivada & y cociente de fluxiones & x dy cociente diferencial dx

Diferencial & x
fluxin de x

dx
Diferencial de x

Gottfried Wilhelm Leibniz es considerado uno de los grandes 6 lgicos en la historia de la humanidad. Para una descripcin de la mquina de Leibniz, ver mi artculo: Breve Historia del Computador. Matemtica. Enseanza Universitaria. No. 28. Noviembre. 1983. 6 Foto tomada del libro, ya citado, de William Dunham: The Mathematical Universe, pgina 146.
5

93

4.7. Otra forma de ver el Clculo Infinitesimal. El Anlisis no Estndar.

Una de las crticas que aun se le hace a Euler es, su forma poco rigurosa de aproximarse al clculo, sobretodo en el proceso de calcular lmites. Sin embargo, hoy podemos decir que los resultados encontrados por l, pueden ser justificados, cuando stos, se miran con la ptica de un enfoque reciente, conocido como anlisis no estndar. El rigor impuesto al clculo, empezando por Cauchy y culminando con Weierstrass y sus seguidores, dejaba a los infinitesimales sin piso matemtico alguno, a tal punto que con el arribo, del logicismo de Russell7 y luego, de la Escuela Bourbaki, estos entes raros, fueron condenados al ostracismo matemtico. Pero en la dcada de 1960, Abraham Robinson (1918-1974), usando la teora de modelos, creo una extensin de los nmeros reales, conocida como el conjunto de los nmeros reales no estndar, notado por R*. Estos nmeros nuevos, se denominan hiperreales y se definirn adelante. Robinson viene a reivindicar, particularmente a Newton, quien fue tan duramente atacado por el obispo George Berkeley (1685-1753), por proponer una teora que usaba unos nmeros que eran y no eran nulos, o textualmente fantasmas de cantidades desaparecidas, como se deca de los infinitesimales. Robinson public su obra central, Non-standard Analysis en 1966. Con este enfoque se puede lograr que los infinitesimales, sirvan de base para el desarrollo total del clculo de Newton y Leibniz. Jerome Keisler de la Universidad de Wisconsin, uno de los alumnos ms brillantes de Alfred Tarski en la Universidad de Berkeley, y su vez asesor de tesis de Sergio Fajardo, ex alcalde de Medelln, public un libro de clculo con este enfoque como texto para estudiantes de pregrado8 el que puede descargarse gratuitamente de la pgina: http://www.math.wisc.edu/~keisler/. El conjunto de los nmeros reales es un cuerpo ordenado completo, es decir, se cumple el axioma del extremo superior, sin embargo el conjunto de los hiperreales R*, no lo es, pero s, contiene como subcuerpo propio a R. Describamos someramente algo de la axiomtica de los hiperreales.
Axioma de extensin. Existe una extensin propia y ordenada R*, del cuerpo R de los nmeros reales.

En esta extensin R*, definimos: i) x como un infinitesimal en R*, si x < r, para todo real positivo
r, ii) x es finito, si x <r, para algn real positivo r, y, iii) x es infinito, si x >r, para todo real r R. Se sigue de aqu que en R*, adems de los nmeros reales, hay infinitesimales y nmeros infinitamente grandes, ms grandes que cualquier nmero real dado. Estos hiperreales tienen su propio lgebra, entre cuyas propiedades estn, por ejemplo que suma, resta y multiplicacin de infinitesimales es nuevamente infinitesimal, o hablando algebraicamente, estas operaciones son cerradas en R*.
7

Bertrand Russell, consideraba a los infinitesimales, como innecesarios, errneos y contradictorios, segn lo menciona John L. Bell en su artculo Infinitesimal and the Continuum, The Mathematical Intelligencer, Vol. 17 No. 2. Spring, 1995. 8 KEISLER, H. Jerome. Elementary Calculus: An Approach Using Infinitesimals. Prindle Weber & Schmidt. 1976.

94 Tambin es un infinitesimal el recproco de un nmero infinito. Sin embargo el producto de un infinitesimal y un nmero finito ser un infinitesimal. Dos hiperreales, x, y, se dicen infinitamente cercanos, notado, x y, si su diferencia es un infinitesimal. De aqu se sigue que dado un hiperreal x hay infinitos hiperreales infinitamente cercanos a x. En el argot del anlisis no estndar, este conjunto alrededor de x, se llama una galaxia centrada en x. En particular si x es real, todo y de su galaxia tiene la propiedad de que la parte estndar, st(y), es x, simblicamente, x = st(y).
Axioma de funcin. Si f es una funcin de valor real, definida en un subconjunto de R n , entonces a f est asociada una funcin de valor hiperreal f*, de n hipervariables, que llamaremos, la extensin natural de f. Las operaciones en R*, son las extensiones naturales del cuerpo R. Axioma de solucin. Si dos sistemas de frmulas, tienen exactamente las mismas soluciones reales, entonces sus extensiones naturales, tienen exactamente las mismas soluciones hiperreales. Por ejemplo: (X U Y)* = X* U Y*, (X I Y)* = X* I Y*. X Y, si y slo si, X* Y*.

Si X es un conjunto acotado de nmeros reales, entonces, X* consiste de elementos hiperreales finitos. Si f es una funcin de valor real y variable real, entonces, (Dominio f)* = Dominio ( f*), y (Rango de f)* = Rango de f*. Si f y g son dos funciones de valor real definidas en un conjunto D R, con f(x) g(x), para todo x en D, entonces las dos frmulas, f(x) = g(x) y f(x) g(x), tienen el mismo conjunto de soluciones reales, es decir D y as las dos frmulas, f*(x) = g*(x) y f*(x) g*(x), tienen el mismo conjunto solucin D* en los hiperreales. Ciertos procesos en el clculo se simplifican, usando el anlisis no estndar. Este es el caso de la definicin de derivada. Especficamente, f es una funcin diferenciable en a R, siempre que el cociente f (a + x) f (a) , x sea finito y tenga la misma parte estndar para cada infinitesimal no nulo, x 0 . Su derivada es
f (a) = st ( f ( a + x ) f ( a ) ). x

Para ejemplos de derivacin e integracin en clculo no estndar, ver: EDWARDS, C. H. The Historical Development of Calculus. Springer-Verlag. New York, 1979. Pg. 341 y siguientes. Para conocer la teora completa y aplicaciones del clculo no estndar, visitar la pgina del profesor Keisler, antes citada.
Siguiente Seccin: La Crisis de los Fundamentos. Las Paradojas de Zenn