Professional Documents
Culture Documents
* La base documental de esta comunicacin fue'realizada bajo la subvencin de la Fundacin Alexander von Himboldt.
70
a quien pretendi suceder como miembro de la Academia de Ciencias de Pars. Roberval fue uno de los escasos crticos, en aquellos tiempos, de la naciente geometra cartesiana, y Leibniz siempre se interes en su pretensin,
entonces tomada a broma, de analizar e intentar demostrar los axiomas y
postulados de Euclides, es decir una de las labores previas a la construccin
de un Analysis Situs, sobre la cual volvi Leibniz en numerosas pocas de
su vida.
En tanto crtico de la geometra cartesiana, cuya mdula consista en expresar las figuras geomtricas clsicas por medio de ecuaciones, Leibniz descubri la importancia de las series numricas (incluido el tringulo de Pascal) como instrumento de una geometra nueva que desbordaba los estrechos lmites en la que Descartes la haba situado: el Culcul des Tunscendurztes
habilitaba un mtodo para tratar geomtricamente figuras que no podan
ser reducidas a ecuaciones polinmicas. El convencimiento de que el Algebra cartesiana era insuficiente para dar cuenta de la rica variedad de las figuras geomtricas posibles, y por lo tanto la ampliacin del concepto de objeto geomtric, fue, durante estos aos, el motor de muchas de las investigaciones leibnicianas, que confluyeron, en el mbito de la Geometra, en
la idea de que haba que construir una nueva Caracterstica.
Pascal es otra de sus fuentes de inspiracin. Desde marzo de 1673, y por
consejo de Huygens, Leibniz conoci las Lettres del precoz matemtico, y
a finales del 1675 consigui acceder, a travs de sus depositarios, los hermanos Prier, a diversos manuscritos inditos de Pascal, entre ellos el clebre Trait des Coniques y la Introduction d la Gometrie, cuyo texto se conserva>gracias a la copia que tom Leibniz, por haber desaparecido ste y
otros originales que Leibniz consult: para Jean Ytard (L'introduction a la
Gomtrie de Pascal, Revue d'Histoire des Sciences X V ( 1 962), pg. 253-268
y 269-286) este ltimo fragmento pascaliano podra haber sido (aunque no
llega a afirmarlo tajantemente) el origen de las ideas leibnizianas de un Clculo de la Situacin. En los manuscritos reIativos a la Cnicas se retomaban las ideas del Brozrillon-Project de Desargues, de quien Pascal se consider un discpulo en esta materia y cuyos escritos siempre busc Leibniz,
intuyendo en la obra del gemetra de Lyon la posibilidad de una Geometra distinta, que se desarrollb efectivamente en el siglo XIX bajo la denominacin de Geometra Proyectiva, o de Situacin. En el XVII, sin embargo, los escritos de Desargues quedaron oscurecidos por el xito del lgebra
cartesiana, y fueron entendidos como una contribucin tcnica al arte de la
perspectiva, tal y como ste se aplicaba a la pintura, a la talla de piedras,
al trazado de planos de fortificaciones, al sombreado de dibujos, etc.
La Geometria Leibniciana
71
72
que buscar ms que nmeros. Pero en el caso de los problemas curvilneos, cuando se trata
d e encontrar los centros d e gravedad y la dimensin d e las lneas curvas, de las figuras y de
los slidos, todava no se puede introducir en una ecuacin la incgnita que se busea. Y las
promesas, demasiado optimistas, del Sr. Descartes, quien habla en su Geometria como si todos los problemas se redujesen a ecuacioiies, resultan cortas. Esto no pudo dejar de saberlo,
pero el crea que la mayor parte d e los problemas curvilineos no pueden ser resueltos; de lo
cual se hubiera desengaado si todava estuviese vivo. All donde las ecuaciones fallan, en efecto,
la naturaleza noS ha proporcionado otro medio para referir los problemas a nmeros, que consiste en las progresiones de nmeros2, cuya suma hay que encontrar para determinar la
magnitud3 d e algunas figuras curvilineas. Arquimedes fue el primero en utilizarlas para la cuadratura de la parbola: en nuestra poca Cavalieri, as como los Sres. Fermat y Wallis, han
llevado la cosa ms all. Pero nadie ha podido encontrar una hilera de nmeros que expresase las ordenadas del circulo, que son siempre irracionales. Por eso yo me puse a indagar la existencia de una figura equivalente al circulo que fuese racional, y he tenido la dicha de encontrar una soltr. Llarnofigura racional a aquella cuyas ordenadas son racionales cuando las abscisas son racionales. La razn por la cual los que han escrito sobre la geometra de los
indivisibles4 y sobre la aritmtica d e los infinitos5 no han hecho la misma observacin, estrib a en que se esta acostumbrado a resolver las figuras nicamente mediante ordenadas paralelas en una infinidad de rectngulos pequeos, mientras que yo he encontrado un medio general de resolver tilmente toda figura en una infinidad de tringulos pequefios confluyentes en
un punto, mediante ordenadas convergentes. Pues los Sres. Desargues y Pascal han hecho muy
bien en tomar las ordenadas, en su forma general, como lineas convergentes o paralelas, tant o mas cuanto que las paralelas pueden ser consideradas como una especie de las convergentes, cuyo punto de concurrencia est infinitamente alejado.
H e llegado a esta nueva manera d e resolver las figuras gracias al lema: Si por los tres ngulos de un tringulo etc., etc., del cual no doy aqu demostracin , ya que cualquier gemctra puede lograrlo por s mismow6.
La Geometra Leibniciana
Fig. 1
Fig. 2
74
Algunos de los borradores inditos conectados con el Apndice que Leibniz adjunt a Huygens en esta carta evidencian con mucha mayor claridad
que en el texto mismo del Apndice que Leibniz buscaba una Geometra que
no dependiese de una mtrica determinada, sino que resultase vlida para
infinitas mtricas. La nocin de distancia medida sobre una recta con una
escala punteada no es ya la base de la geometra, puesto que Leibniz define la recta en funcin de otra nocin ms simple, para l, que no es sino
la nocin de situs. Dicho de otra manera, la nocin de recta no es una nocicin comUn, indefinible, sino que puede ser delimitada junto con las nociones de otras figuras (planos, esfera, circunferencia, punto y espacio) como
especie de un gnero comn que sera el situs. Al analizar esta ltima nocin (conforme al mtodo puesto en prctica contiriuamente por Leibniz cada vez se trata de buscar la Caracterstica Universal, el Anlisis de las nociones mediante definiciones), surgen sucesivamente, por pura combinatoria, las principales figuras de dos y de tres dimensiones.
El fragmento 32 de estos inditosg puede dar una idea de la enorme generalidad de la nocin leibniziana de situs, puesto que, partiendo de la relacin de congruencia como primitiva junto con la de situs, la recta puede
ser definida con todo rigor:
La Geometra Leibniciana
76
Al introducir, paco despus, puntos indeterminados, designados mediante las letras X, Y, Z, Leibniz puede definir el plano en funcin de dos puntos dados, como el lugar expresado por la frmula A.X y B.X, y en cuanto a la recta, es definida a partir de tres puntos dados: A.Y Y B.Y Y C.Y.
Tal y como lo subray Lechalas, estas definiciones leibnicianas de la recta
y del plano anticipan en casi dos siglos las que luego permitieron a Lobatchevski descubrir su geometria no eucldealO.
La relacin situm entre dos o ms puntos aparece en este fragmento (y
en otros varios de este perodo) como una relacin de equivalencia entre todos los extensos rgidos que pueden conectar entre s a dos o ms puntos.
La longitud de dichos extensos (que se suponen lineales y de ah que, en el
fondo, se trate autnticamente de una Caracterstica geomtrica o lineal) es
indiferente, pues cualquiera de ellos vale como representante de la clase de
equivalencia. Ciertamente, en un momento ulterior de su desarrollo terico, el Analysis situs tomar la recta como el extenso rgido ms simple enstre todos los posibles. Pero la definicin siturn no depende de la idea de recta. La Geometria leibniciana puede ser construda perfectamente en un espacio en el que las reglas para medir fuesen curvadas, es decir en un espacio relativistico en el sentido de Einstein.
No voy a insistir, en esta comunicacin, en la importancia de este planteamiento, puesto que le he dedicado trabajos ms amplios. Tampoco se trata de la opcin definitiva elegida por Leibniz, ya que en los inditos del 1682
y 1684 esta idea se precisa todava ms, y se mejora, superando todava ms
la nocin de una geometria exclusivamente mtrica'y aproximndose considerablemente a la nocin de topologa: puede mostrarse que las bases de
entornos son el ncleo que permite el anlisis del sitio de un punto, y de sus
conexiones con otros puntos que puedan plasmarse en figuras geomtricas.
Terminar pues con unas breves consideraciones sobre el paso dado desde
la perspectiva hasta esta nueva geometria naciente, que intenta pensar mediante smbolos las relaciones geomtricas cualitativas, por utilizar el lenguaje clsico.
As como Descartes analizaba y defina las figuras geomtricas en funcin de la figura racional 1, que Desargues y Pascal intentaron mejorar con
la figura 2, Leibniz quiere prescindir por completo de los nmeros y de las
lneas geomtricas como instrumentos de anlisis (es decir de los sistemas
de coordenadas), definiendo la recta, el plano, la circunferencia, la esfera
y en general el resto de las curvas y cuerpos geomtricos en funcin de un
nuevo instrumento conceptual, que se compone exclusivamente de signos y
frmulas. El fue el primero que recurri a lo que hoy en da se llama un
La Geometra Leibnieiana
77
sistema formal, y enunci las reglas de escritura del mismo, as como los
convenios y las leyes que se derivan de stos ltimos. Un objeto georntrico puede ser pensado por medio de los trminos de las lenguas naturales,
pero este mtodo de anlisis induce numerosos errores, lo mismo en la geometra que en otras ciencias. Descartes tuvo pues razn al prescindir de las
palabras (o intentarlo, al menos), reemplazndolas en la medida de lo posible por frmulas algebraicas, por ecuaciones. Pero Leibniz quere dar un
paso ms, y por eso pretende construir un instrumento de anlisis que permita expresar y estudiar, no slo las relaciones cuantitativas que mantienen
los objetos geomtricos entre s, sino tambin las relaciones cualitativas: situacin, homegeneidad, igualdad de forma, etc. La Caracterstica Geomtrica de 1679, y en general el resto de sus investigaciones en torr,, Analysis
Situs, van siempre en esta direccin, y precisamente por ello Leibniz aparece, desde el punto de vista de la historia de la ciencia, ya que no por su
influencia efectiva en el desarrollo de la geometra pura, como un precursor de buena parte de. las ideas que son constitutivas de esta ciencia en el
siglo XX. La concepcin segn la cual son las letras del alfabeto (junto con
otros signos) las que, articuladas en un sistema de escritura esencialmente
combinatorio, pueden expresar mejor (ms amplia y adecuadamente) la multiplicidad de interrelaciones que caracteriza la geometra de los cuerpos y de
las curvas, supone un salto importantsimo con respecto al propio Pascal
(o Desargues). Salvo que, como pudo comprobarse en el caso de Huygens,
quien no se interes lo ms mnimo en el ensayo geomtrico que le envi
Leibniz y le aconsej explcitamente que dedicase su tiempo a otras investigaciones, se produjo fuera de tiempo, cuando nadie estaba en condiciones
de entender rnnimamente la pretensin misma de la geometra leibniciana.
Resulta ms extrao, en cambio, que tres siglos despus los historiadores
de la ciencia sigan en la misma disposicin, y la ignorancia respecto a esta
geometra leibniciana siga siendo prcticamente general.
NOTAS
78
7 Vase Freudenthal, Leibniz und die A nalysis situs,, Studia Lei bnitiana V. 4 (1972), pg.
61-69.
8 Ver J. Echeverra: L'Analyse Gomtrique de Grassmann et la Caractristique Gometrique de Leibniz, Studia Leibnitiana XI/2 (1979), pg. 223-273.