You are on page 1of 10

LA GEOMETIRIA LEIBNICIANA:

DE LA PERSPECTIVA AL ANALUSIS SITUS*


Javier ECHEVERRIA EZPONDA
Facultad de Filosofia y CCEE de San Sebastidn
II Congreso Sociedad EspaAola Historio de la Ciencias.

Leibniz permaneci cuatro aos de su vida en Pars (1672-1676) y esta


poca fue decisiva para su formacin como matemtico. Josef Ehrenfield
Hofmann (Die Entwicklungsgeschichte der Leibnizschen Mathematik wihrend des A ufenthaltes in Paris, Leibniz Verlag, Munich 1949; Introduccin
al primer tomo de correpondencia matemtica de la edicin de obras completas de la Academia de Berln, Mathematischer, Naturwksenshaftlicher
und fechnkcher Breifwechsel, Akademie Verlag, vol. 11, 1, pg. XIX-LXXV,
Berln 1976) ha contribudo enormemente a desentraar esta poca de la actividad leibniciana. Jean Mesnard (Leibniz et les papiers de Pascal, Studia
Leibnitiana Supplementa. XVII, pg. 45-58, 1981) y Ren Taton (L 'initiation de Leibniz a la Gomtrie, Ibid., pg. 103-129) han estudiado ms recientemente su formacin como gemetra, que tambin tuvo lugar durante
esta etapa de su vida. Pese a que Hofmann centra su atencin en el descubrimiento del clculo diferencial y en la polmica posterior sobre la prioridad del hallazgo entre Leibniz y los discpulos de Newton, lo cierto es que,
de soslayo, tambin aporta datos muy importantes para comprender las diversas influencias que actuaron en la mente del filsofo y matemtico alemn ayudndole a concebir su idea de una nueva Geometra, a la que sola
llamar Analysis Situs.
De acuerdo con los estudios recin mencionados, en 1673 Leibniz todava no haba estudiado a fondo los Elementos de Euclides y la Geornetrkz
de Descartes la comenz a leer en 1674. Durante su estancia en Pars se entrevist en ms de una ocasin con Roberval, antes de la muerte de ste,

* La base documental de esta comunicacin fue'realizada bajo la subvencin de la Fundacin Alexander von Himboldt.

70

Javier Echeverra Ezponda

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

Tal y como he intentado mostrar en mi comunicacin al Syrnposium


Leibniz de Seyllac (junio 1981), Leibniz lleg a conocer (sobre todo a travs del grabador Abraham des Bosses, pero tambin por lectura directa) las
teoras arguesianas, viendo en ellas un nuevo mtodo para el estudio de las
figuras geomtricas e interesndose sobre todo en la nocin de las rectas paralelas como convergentes en el infinito. A partir de ellas Leibniz concibi
una Ciencia Perspectiva enormemente general (vase el manuscrito indito
Scientia Perspectiva L. Hd. XXXV, vol. XI, Nr. 1, B1. lr, parte del cual
aparece transcrita en la rnencionada comunicacin). Sus tentativas de construirla efectivamente, sin embargo, quedaron en simples bosquejos, pues entre tanto sus propias concepciones sobre una posible Matemtica Simblica (expresin que aparece ya en la Dissertatio de Arte Combinatoria de 1666)
se haban ido configurando hasta confluir, juntamente con las influencias
recin mencionadas, en su clebre proyecto de la Characteristica Universalis, en la que se incluye tanto su nueva Geometra (es decir la Characteristica Geometrica de 1679, ms tarde Analysis Situs) como sus Clculos Lgicos o incluso su Calculo de las Diferencias: por lo tanto tambin el Arte
Perspectiva, pues para Leibniz los dibujos y las distintas tcnicas para el trazado de los mismos estn incluidos en dicho proyecto.
En la presente comunicacin quiero aportar, entre los diversos manuscritos inditos relevantes al respecto, un borrador de carta a un destinatario desconocido, a travs del cual se puede comprender bastante bien de qu
manera Leibniz, sin renunciar a elaborar una Geometra Perspectiva psopiarnente dicha, logra sintetizar el nuevo mtodo de Desargues y de Pascal
con sus propias ideas y en particular con sus criticas a la geometra cartesiana, enunciando a partir de entonces con toda claridad las bases de su Geometria Situs, de la que se ocup, bajo diferentes denominaciones y en funcin de ideas bsicas distintas (congruencia, semejanza, homogeneidad, etc.),
durante toda su vida. El fragmento al que alude es el L. Hd. XXXV, vol.
2, 1 B1. 119 de la catalogacin Bodemann y su referencia primera la dio Rivaud en el Catalogue Critique, voi. 2, Nr. 1227. Tras una serie de consideraciones que no hacen al caso, dicho fragmento dice as:
LEIBNIZ, L. Hd. XXXV, vol. 2, 1, F. 119. (RIVAUD Cc 2, 1227)
"Los que han buscado ,la cuadratura del crculo no han encontrado siquiera las vas para
intentarlo. La que presento es prometedora y, si no nos llega a dar todo, por lo menos nos
permite dar un paso. Como se sabe, la mejor va para que los problemas de geometra puedan ser tratados, consiste en referirlos a los nmeros. Vieta y Descartes han hecho eso en el
caso de los problemas rectilineos', al reducirlos a las ecuaciones de lgebra como si no hubiese

72

Javier Echeverra Ezponda

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.

En el mtodo de Desargues y de Pascal, por lo tanto, Leibniz fue el nico


que supo vislumbrar, con la enorme claridad que acabamos de ver, la existencia de un nuevo sistema de coordenadas, ms general que el sistema cartesiano. La geometra arguesiana contiene yirtualemente a la geometra propuesta por Descartes y, al sustituir la figura racional 1 de los dos (o tres)
ejes perpendiculares, numerados en funcin de una unidad de medida, por
la figura racional 2, que tambin constituye un sistema geomtrico de referencia (aparte de remitirse directamente al tringulo aritmtico de Pascal,
y por lo tanto con las series numricas), la ampla. Desde el punto de vista
de Leibniz, la cuadratura del crculo (es decir la definicin de 1 o de n mediante una serie convergente) es factible gracias a que el mtodo de anlisis, y por lo tanto la figura racional que lo encarna como organon, ha cambiado y ha pasado a ser mCis general.
Leibniz busc y conoci los manuscritos de Pascal y, en lo que respecta
a Desargues, fue una de las personas que ms intent rastrear el destino de
sus escritos, buena parte de los cuales se fueron perdiendo tras la decisin

La Geometra Leibniciana

Fig. 1

Fig. 2

arguesiana de abandonar la Geometra, a partir de su desdichada polmica


con Beaugrand, secretario del rey, y sobre todo con el poderoso editor Langlois, que estaba al servicio de la Casa Real y orquest una tremenda campaa para desacreditar a Lyonns, acusndolo de que su Maniere universeIle pour faire la perspective (es decir el mtodo mismo descubierto por Desargues, que implica una Geometra proyectiva naciente) era un plagio de
Aleaune, quien estuvo muy lejos de atisbar la genertilidad que Desargues (y
tras l Pascal) aportaron a la Geometra. El impacto del cartesianisrno en
Geometra, a partir de 1637, sin embargo, fue tan fuerte que el siglo XVII
(con la casi nicaxxcepcin de Leibniz y La Hire) no lleg a tomar conciencia, ni del nuevo mtodo de anlisis geomtrico de las figuras clsicas griegas, ni de algunas de sus ideas resultantes ms novedosas, como puede ser
la nocin de punto del infinito.
Las conc1;siones que sac Leibniz de esta fase de su investigacin geomtrica (que cabe fechar a primeros de 1676, aunque tras su llegada a Hannover todava trabaj algo en esta direccin) fueron, sin embargo, todava
ms generales. Pascal y Desargues mostraban que. era posible un&geometra ms general que la de Descartes,.mediante la cual se ofreca un tratamiento determinado, no slo de la relacin de alineacin (en su sentido ms
amplio de configuracin proyectiva), sino tambin de la relacin de curvatura, a travs de las series numricas, La cuadratura de la circunferencia descubierta por Leibniz en 1672 (que fue el origen del Calculo diferencial tras
la invencin de las notaciones leibnizianas, que Hofmann sita en 1674) y
la perspectiva arguesiana, junto con otras influencias, entre las cuales no es
de desdear la confianza en la Combinatoria como mtodo algortmico til
para el anlisis de las ms diversas cuestiones, produjeron un proyecto geomtrico ms amplio y general al que Leibniz llama Caracterstica Geometrica ya en enero de 1676, y al que va a dedicar importantes trabajas en 1679,

74

Javier Echeverra Ezponda

es decir en el mismo ao en que intent construir una nueva Caracterstica


para la Lgica aristotlica. Si estos ltimos trabajos, los clebres Clculos
Lgicos de abril de 1679, le han convertido en el precursor de la Lgica formal moderna, su Caracterstica Geomtrica, rebautizada Analysis Situs y
Geometriu Situs en pocas posteriores de su vida, ha suscitado la polmica
de si Leibniz ha de ser considerado o no como precursor de la Topologa7.
He intentado mostrar en otros trabajos8 que, efectivamente, segn se
desprende de diversos inditos geomtricos que se conservan en Hannover,
Leibniz concibi una geometra enormemente general, que desborda las relaciones mtricas y que toca cuestiones importantes de topologa general (conexin, interior-exterior-frontera, entornos). En la carta a Huygens del 8 de
septiembre de 1679 esta pretensin se anuncia explcitamente:
"Nos hace falta todava otro anlisis propiamente geomtrico o lineal que nos exprese directamente sifum como el lgebra expresa magnitudinem. Y creo tener el medio de ello, y que
podran representarse figuras e incluso mquinas y movimientos mediante caracteres, como el
Algebra representa los nmeros y magnitudes, y os envio un ensayo que me parece
c~nsiderable"~.

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

Fragmento 32 (L. Hd. XXXV, vol. 1, Nr. 11, f. 47 y 50)


A Designa al puntos A. y B designa al punto B.
A.B significa el sitio de los puntos A y B entre si, es decir un cierto extenso que los conecta (no cuenta para nada que sea rectilneo o curvilneo), y que en tanto no se mueve, el sitio
de los dos puntos entre s permanece el mismo.
A.B.C., de la misma manera, significa el sitio de los tres puntos A, B y C entre si, es decir
un extenso rgido que los conecta. Y as sucesivamente se puede decir lo mismo de varios puntos.

El signo Y significa congruencia. As, A Y B significa que el punto A es congruente con


el punto B, es decir que puede ser sustituido por dicho punto sin que aparezca ninguna distincin. La proposicin A Y' B es por consiguiente, siempre verdadera, ya que cualquier punto
es congruente con cualquiera otro.
A.B. ?' C.D. significa que el sitio entre los puntos A y B es el mismo que el sitio entre los
puntos C y D, es decir que el extenso que conecta a A y B tambin puede conectar al C y D
o que otro extenso congruente con el extenso que conecta A y B tambin puede conectar los
puntos C y D. O, dicho de otra manera, los puntos A y B pueden ser transportados al lugar
de los puntos C y D sin que vare el sitio o extenso rgido que los conecta.

76

Javier Echeverra Ezponda

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

Es decir las ecuaciones de prirner grado.


Las series numricas.
Dirnensidn en e1 texto: el ttlrmino todava no tenia un significado tcnico.
Es decir, Cavalieri.
Es decir Wallis.
A continuacin viene un fragmento tachado en el manuscrito, y se termina el texto, que
evidentemente es un borrador de carta.
1
2
3
4
5
6

78

Javier Echeverra Ezponda

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.

9 Cito en mi propia edicin de estos inditos, contenida en el segundo volumen (Edition


critiques des munuscrits concernant la Caractristique Comtrique de Leibniz en 1679) de ,la
tesis para el Doctorado de Estado defendida en la Universidad Pars 1 (Panthon-Sorbonne)
en junio de 1980 bajo eI ttulo "La Caractristique Gomtrique de Leibniz en 1679"'.Esta
tesis estB actualmente en curso de edicin.
10 G. Lechalas, Une dflnition gomtrique du plan et de la ligne droite d'apris Leibniz et
Lobatchevski, Revue de Mtaphysique et de Morale, vol. 20 (1912), pg. 718-721.