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
1

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.

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:
n

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
3

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,

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.
5

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.

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