Editorial de la Universidad de Costa Rica Primera edicin, 1999

NDICE
PREFACIO..........................................................................................................................................5 Captulo I: UNA INTRODUCCIN...................................................................................................7 1.1 EN LA ANTIGEDAD GRIEGA...........................................................................................8 Thales y Pitgoras......................................................................................................................8 Periodo Alejandrino...................................................................................................................9 Eudoxo.....................................................................................................................................10 Euclides y Apolonio.................................................................................................................11 Arqumedes..............................................................................................................................12 Algunas caractersticas de la poca..........................................................................................12 Los romanos.............................................................................................................................13 1.2 EN LA EDAD MEDIA...........................................................................................................14 El "regreso'' de los griegos.......................................................................................................16 Los rabes.................................................................................................................................16 1.3 RENACIMIENTO Y REVOLUCIN CIENTFICA............................................................18 Matemticas renacentistas........................................................................................................20 Las nuevas ideas.......................................................................................................................20 La Revolucin Cientfica.........................................................................................................22 Los lmites de la geometra clsica..........................................................................................22 Los logros de la Revolucin Cientfica....................................................................................24 1.4 DE LA GEOMETRA ANALTICA AL CLCULO...........................................................25 La Geometra Analtica............................................................................................................25 Descartes..................................................................................................................................25 Fermat......................................................................................................................................26 El lgebra................................................................................................................................26 Las matemticas del siglo XVII...............................................................................................27 El Clculo.................................................................................................................................28 1.5 EN EL SIGLO XVIII..............................................................................................................31 Intuicin y aplicacin en las matemticas................................................................................31 Un balance................................................................................................................................31 El Anlisis................................................................................................................................32 Los matemticos franceses del siglo XVIII.............................................................................33 Una sntesis..............................................................................................................................34 1.6 EL SIGLO XIX Y LAS NUEVAS MATEMTICAS...........................................................34 Dos factores claves...................................................................................................................34 Geometra proyectiva...............................................................................................................35 lgebra.....................................................................................................................................36 Geometra y lgebra.................................................................................................................37 La lgica...................................................................................................................................39 1.7 LAS GEOMETRAS NO EUCLIDIANAS............................................................................40

Otra periodizacin....................................................................................................................40 La autonoma de las matemticas.............................................................................................41 1.8 PREGUNTAS.........................................................................................................................42 Captulo II: En la Geometra Euclidiana...........................................................................................44 2.1 LOS POSTULADOS..............................................................................................................45 Postulados................................................................................................................................46 Nociones comunes....................................................................................................................48 El quinto postulado..................................................................................................................49 2.2 AUTOEVIDENTES?............................................................................................................49 2.3 PREGUNTAS.........................................................................................................................51 Captulo III: El quinto postulado ......................................................................................................52 3.1 DE EUCLIDES A SACCHERI..............................................................................................53 Ptolomeo..................................................................................................................................53 Proclus......................................................................................................................................54 Nasr-Eddn..............................................................................................................................54 Wallis.......................................................................................................................................54 La formulacin ms conocida: el postulado de las paralelas...................................................56 Mtodos indirectos...................................................................................................................57 3.2 SACCHERI.............................................................................................................................57 3.3 OTROS PRECEDENTES.......................................................................................................60 Klgel.......................................................................................................................................60 Lambert....................................................................................................................................60 Schweikart................................................................................................................................61 3.4 PREGUNTAS.........................................................................................................................61 Captulo IV: Las nuevas geometras .................................................................................................62 4.1 GAUSS Y LA NUEVA GEOMETRA..................................................................................62 La geometra es emprica.........................................................................................................63 4.2 BOLYAI Y LOBACHEVSKY...............................................................................................64 Lobachevsky............................................................................................................................64 Bolyai.......................................................................................................................................64 4.3 PRIORIDAD Y SENTIDO HISTRICOS............................................................................65 Una revolucin.........................................................................................................................66 Dos paralelas y una perpendicular...........................................................................................67 4.4 ALGUNAS IMPLICACIONES..............................................................................................68 1. El sentido social de la ciencia y de las matemticas............................................................68 2. Varios factores sociales........................................................................................................68 3. Pleitos...................................................................................................................................69 4. Inercia y temor.....................................................................................................................69 5. Individuo y colectividad.......................................................................................................69 4.5 PREGUNTAS.........................................................................................................................70

Captulo V: Desarrollos Posteriores..................................................................................................71 5.1 RIEMANN..............................................................................................................................71 No hay paralelas.......................................................................................................................72 La geometra diferencial...........................................................................................................74 La superficie como espacio......................................................................................................76 La geometra euclidiana es emprica........................................................................................77 Por pedazos..............................................................................................................................77 Espacio fsico como ejemplo de variedad................................................................................77 Una nueva visin del espacio...................................................................................................78 5.2 DE RIEMANN A KLEIN.......................................................................................................79 Curvatura..................................................................................................................................80 La pseudoesfera........................................................................................................................80 La esfera...................................................................................................................................81 Dentro de la geometra proyectiva...........................................................................................81 La aplicacin de las nuevas geometras...................................................................................82 5.3 PREGUNTAS.........................................................................................................................83 Captulo VI: Sobre la esfera .............................................................................................................84 6.1 GEOMETRA ESFRICA.....................................................................................................85 Aplicaciones.............................................................................................................................86 6.2 SEMEJANZAS Y DIFERENCIAS........................................................................................87 El quinto postulado..................................................................................................................87 Dos tipos de geometra.............................................................................................................89 En la geometra esfrica...........................................................................................................90 Angulos de un tringulo...........................................................................................................91 6.3 PREGUNTAS.........................................................................................................................92 Captulo VII: Otros modelos geomtricos ........................................................................................93 7.1 EN UNA SILLA DE MONTAR.............................................................................................93 7.2 DENTRO DE UN DISCO......................................................................................................94 7.3 OTRO MODELO....................................................................................................................99 7.4 EL OTRO MODELO DE POINCAR................................................................................102 7.5 PREGUNTAS.......................................................................................................................103 Captulo VIII: Algunas lecciones ...................................................................................................104 8.1 LA CUERDA ESTIRADA...................................................................................................104 Newton y Einstein..................................................................................................................105 Un paradigma.........................................................................................................................106 8.2 LECCIONES TILES..........................................................................................................106 8.3 PREGUNTAS.......................................................................................................................108 BIBLIOGRAFIA.............................................................................................................................109

PREFACIO
Uno puede interpretar la geometra como un juego. Todo juego posee reglas. Cules son las reglas del juego geo-m-trico? Podemos decir que las reglas de ste juego son dadas por los postulados y axiomas, es decir por las suposiciones ms bsicas y los procedimientos y acciones permitidas. En el ftbol, por ejemplo, se tiene 11 jugadores en cada equipo, dos porteras, algunos jugadores pueden tocar la bola con sus manos y otros no, tambin depende de ciertas condiciones cundo se vale tocar la bola con la mano. A veces el rbitro pita por ejemplo "fuera de juego'' y se sabe que es porque se transgredi una regla. Pues lo mismo sucede en la geometra. La geometra comn que usted, estimado lector, conoce se llama euclidiana. Posee reglas muy precisas. Y lo usual es que las haya conocido y estudiado durante muchos aos de su vida. Se puede pensar qu pasara si se cambia algunas de las reglas del ftbol. Por ejemplo, que todos los jugadores puedan tocar la bola con sus manos en cualquier lugar de la cancha, o que solamente se pueda usar el pie derecho y no el izquierdo. Evidentemente, el nuevo juego tendra algo de parecido con el ftbol pero ya no sera el mismo. Ms parecera balonmano o rugby. Ahora qu pasara si cambia algunas de esa reglas de la geometra? Es este el tipo de asuntos que vamos a tratar en este captulo. Porque, precisamente, podramos decir que las geometras no euclidianas respresentan un cambio de algunas de esas reglas. El nuevo juego resulta diferente pero tambin contiene cosas similares. En lo que sigue, vamos a conocer algunas de las geometras que se generaron al cambiar algunos de los postulados clsicos de Euclides. Este no fue un proceso sencillo y fcil porque la geometra euclidiana ha estado asociada a lo que se ha credo es el espacio que nos rodea. Y cambiar una geometra as rompa y todava rompe muchos de los esquemas mentales e ideas que poseemos. Su historia es la historia de una de las ms grandes revoluciones del pensamiento humano. Es apasionante. Debera recordarse como se recuerda la Revolucin Francesa o el descubrimiento de Amrica, y sin embargo la realidad es que pocas personas saben que existi esta revolucin. Este libro constituye esencialmente una resea histrica e introductoria de las geometras no euclidianas, pero tambin hemos querido dotarlo de algunos ejemplos o representaciones fsicas (o visualizables) de las mismas. La primera parte est constotuida por cuatro captulos. El primer captulo nos ofrece un recuento breve de los postulados y axiomas de la geometra euclidiana. El segundo captulo recorre la historia del famoso quinto postulado, cuya negacin fue responsable de la generacin de las geometras no euclidianas. En el tercer captulo resumimos la obra de Gauss, Bolyai y Lobachevsky, los padres de este tipo de geometras. En el captulo cuarto describimos la evolucin de las geometras no euclidianas y especialmente dentro del marco de la geometra diferencial. Los captulos quinto y sexto, que constituyen la segunda parte del libro, ofrecen representaciones visuales y fsicas de las nuevas geometras.

Este libro busca llenar una necesidad cultural y educativa en torno a la geometra y las matemticas. Por sus caractersticas la geometra no euclidiana permite avanzar en la comprensin de la naturaleza de las matemticas; en particular el sentido que en esta disciplina poseen las premisas, los axiomas, y la lgica. Pero, ms importante, la historia de estas geometras ofrece un ejemplo de cmo funciona la construccin matemtica en la realidad, en donde las condiciones sociales, histricas e individuales ocupan un papel trascendental. Para terminar este prefacio, deseo expresar mi agradecimiento a la Editorial de la Universidad de Costa Rica por su apoyo para la publicacin de este libro. Angel Ruiz Catedrtico Escuela de Matemtica Universidad de Costa Rica 9 de setiembre de 1997.

Captulo I: UNA INTRODUCCIN

Al describir la historia de las matemticas lo adecuado sera ofrecer una visin integral que incorporara las contribuciones matemticas de otras culturas importantes adems de la occidental; sin embargo, no es ste nuestro propsito en la presente resea orientada a la comprensin de la creacin de las geometras no euclidianas. As pues, vamos a comenzar este libro con el establecimiento de una periodizacin histrica, en general en concordancia con la historia de la sociedad occidental. Una primera etapa podemos decir que fue la greco-romana, donde la fase griega fue ms sustantiva y significativa para las ciencias y las matemticas. Una segunda etapa: la poca medieval, dominada esencialmente por una atmsfera cultural poco propicia para el progreso de las ciencias y, por ende, un escaso desarrollo social y cientfico. Una tercera etapa: el Renacimiento, donde lo fundamental fue un cambio de actitud frente al conocimiento y frente a la vida. Una cuarta etapa fue la Revolucin Cientfica en el siglo XVII y, si se quiere, parte del siglo XVIII. Podemos decir que una quinta etapa la constituye el trabajo realizado por los matemticos del siglo XVIII y parte del XIX, cuya caracterstica esencial fue el desarrollo de los temas y mtodos matemticos generados en la revolucin matemtica y cientfica del XVII, con especial nfasis en trabajos relacionados con el Clculo Diferencial e Integral. Una sexta etapa se desarrolla en el siglo XIX, donde los elementos significativos fueron el desarrollo del lgebra y en particular de la teora de grupos, la geometra proyectiva, las geometras no euclidianas y la rigorizacin del anlisis y las matemticas en general. 7

Se puede decir que en algn momento en esta ltima etapa emerge la matemtica moderna que llega hasta nuestros das. Es una decisin algo convencional el establecer los lmites finales de una sexta etapa y el inicio de una stima, con toda precisin, porque las principales tendencias que todava dominan las matemticas, de alguna forma, fueron planteadas y desarrolladas durante el mismo siglo XIX. En este captulo no ponemos nfasis en los resultados propiamente matemticos sino, ms bien, en lo aspectos histricos generales que nos permitan ubicar el trabajo de los matemticos. Es decir, no hay detalles matemticos solo descripcin de fases y caractersticas histricas globales de inters especial para la comprensin del lugar intelectual que ocupan las geometras no euclidianas.

1.1 EN LA ANTIGEDAD GRIEGA

Los primeros desarrollos de la geometra y, en general, de las matemticas podemos decir que se encuentran alrededor de la cultura helnica, en la Grecia Antigua. Esta cultura fue una base esencial de la civilizacin occidental.

Thales y Pitgoras
Los primeros nombres de matemticos que vienen a nuestra mente son los de Thales de Mileto (circa 625-545 a.C.) y Pitgoras de Samos (c. 580-500 a.c.), aunque no se sabe con exactitud cules son los resultados matemticos que realmente obtuvieron. Probablemente, y a diferencia de otras obras como las de Platn (c. 429.348 a.C.) o Herodoto, no existen obras especficas que nos den certeza sobre sus trabajos y resultados. En el caso de Pitgoras, que estableci una escuela cientfica y religiosa, ni siquiera se puede decir si los resultados que se le atribuyen son suyos o de sus discpulos y correligionarios. En general, con relacin a todas las obras de la Antigedad Clsica es muy difcil saber con precisin el de-sarrollo histrico y las caractersticas especficas del mismo pues mucho se ha perdido a lo largo de tantos siglos. No obstante, podemos establecer algunas ideas y concensos en torno a este momento de las matemticas griegas. Un primer detalle: tanto Thales como Pitgoras tuvieron influencia de las civilizaciones del bronce, grandes culturas que dominaron el mundo conocido durante muchos siglos. Es Thales quien se supone que inici la geometra deductiva, y a quien se le atribuye el teorema de que un ngulo inscrito en una circunferencia es recto, y, tambin, que el crculo es dividido en dos partes iguales por un dimetro.

Egipto: una de las civilizaciones del Bronce Podemos recordar que Thales fue miembro de una famosa escuela de pensadores que trataron de ofrecer una interpretacin naturalista sobre la realidad, la Escuela Jnica. Se asegura que esta escuela constituye el primer eslabn en el desenvolvimiento de la cultura griega. Los pitagricos establecieron una doctrina importante sobre la naturaleza de los nmeros: ellos consideraban a los nmeros como el fundamento del universo; les daban a los nmeros un significado abstracto. Para Pitgoras, cada cosa es un nmero especfico y, por supuesto, diferentes cosas son representadas por diferentes nmeros.

Pitgoras

Periodo Alejandrino
Una nueva poca en la civilizacin griega comenz a partir de la conquista realizada por los macedonios, un pueblo del norte de Grecia; se dice que los macedonios destruyeron la civilizacin griega clsica y generaron la apertura de una nueva fase en la historia griega. La conquista macedonia comenz con Filipo II alrededor del ao 352 a.C., de hecho Atenas fue derrotada en el 338 a.C.; sin embargo, quien ms huella dejara en la historia de la humanidad fue Alejandro El 9

Grande, precisamente hijo de Filipo. Alejandro conquist Grecia, el Cercano Oriente, Egipto y lleg hasta la India; sin embargo, muri muy pronto y su gran imperio se dividi en tres partes. Una de las partes que ms importancia tendra para el desarrollo de Occidente y, en particular, de las ciencias, las tcnicas y la matemtica, fue el llamado Imperio de los Ptolomeos, cuya ciudad ms importante llev el nombre de Alejandra.

Eudoxo
Antes de la nueva fase alejandrina, debemos mencionar el trabajo de Eudoxo (c.408-355 a.C.) que naci en Cnido alrededor del ao 408 a.C. Este fue uno de los matemticos ms importantes de toda la cultura griega. Eudoxo se supone fue discpulo de Arquitas (fl.c.400-360 a.C.), en Tarento; y tambin form parte de la Academia de Platn. Es muy conocido por haber desarrollado el llamado mtodo de exhauscin , para aproximar reas geomtricas. Es interesante mencionar que Eudoxo evit considerar los nmeros irracionales como nmeros; evit dar valores numricos a longitudes de segmentos de recta, tamao de ngulos y a otras magnitudes as como las razones entre ellas. Esto implic una drstica separacin entre geometra y aritmtica, y un cambio en la orientacin anterior que daba un nfasis al nmero como concepto central (visin pitagrica).

10

Euclides y Apolonio
Ya en pleno perodo alejandrino, se suele citar los nombres de Euclides (fl.c.300 a. C.) y de Apolonio de Perga (c.262-190 a.C.), aunque el trabajo de Apolonio se dice que posee el espritu del perodo anterior. Euclides es bien conocido por un famoso libro llamado Elementos, cuya influencia en la historia ha sido extraordinaria, precisamente porque sintetiz, resumi y sistematiz todo el conocimiento matemtico previo y, en particular, a travs de un mtodo que echaba mano de la lgica: la axiomtica. Ya hablaremos de Euclides en los siguientes captulos. Ahora solo nos interesa colocar su contribucin en el marco histrico que describimos.

Conjunto de puntos cuya distancia de un punto fijo es un mltiplo de su distancia de otro punto fijo

11

Arqumedes
La figura matemtica ms importante de toda la poca podemos decir que fue Arqumedes (c.287212 a.C.), quien estudi en Alejandra; aquel centro del Imperio de los Ptolomeos que fue una base para la cultura y el aprendizaje en el mundo griego. Adems del clculo de reas y volmenes, aproxim el nmero hidrosttica, astronoma, y mecnica. , y obtuvo grandes resultados en

Se afirma que tuvo relacin con discpulos de Euclides precisamente en Alejandra y algunos de los detalles de su vida son conocidos por medio de una historia escrita por el famoso Plutarco, 45-120 d.C., (Vidas paralelas: Marcellus), acerca de un general romano llamado Marcelo.

Arqumedes

Algunas caractersticas de la poca

Por razones que no vamos a desarrollar aqu, la matemtica griega, a pesar de su grandeza, tuvo importantes limitaciones: poca relevancia del lgebra y la aritmtica (podemos decir que existi un exceso de geometrizacin de las matemticas) y una geometra limitada por reglas muy rgidas desprendidas de la construccin exclusiva con regla y comps. Se afirma que pes en todo esto el descubrimiento de los nmeros irracionales, que enfrentaron la visin dominante pitagrica que afirmaba a los nmeros enteros y racionales como fundamento del universo. Otros asuntos como las paradojas de Zenn (c. 450 a.C.) tambin jugaron un papel en las caractersticas especficas de las matemticas griegas.

12

La muerte de Arqumedes por un soldado romano

Los romanos
Por diversas razones, el mundo griego fue derrotado por Roma y se cre una nueva fase en el Mediterrneo gobernada por la influencia de los habitantes de la Pennsula Italiana. Los romanos dejaron su impronta en la historia occidental, pero, en pocos siglos, a eso del V siglo D.C., haban entrado en una plena decadencia. Durante la poca romana si bien se dieron progresos con relacin a la organizacin poltica y jurdica, a los medios de transporte y distribucin, para la cultura no represent una gran victoria: los trabajos en ciencias, matemticas y en tcnicas fueron prcticamente congelados; es decir: un gran retroceso durante siglos para el desarrollo del conocimiento.

13

1.2 EN LA EDAD MEDIA

Se suele considerar la Cada de Roma en el ao 476 como el inicio de la Edad Media, y el ao 1453, con la Cada de Constantinopla en manos turcas, su final. Se trata de una demarcacin en esencia poltica.;, para la historia de las matemticas o de la ciencia en general otras fechas sera mejores, pero vamos a seguir la divisin clsica por propsitos didcticos.

China: una cultura que contribuy a las matemticas medievales Es necesario, sin embargo, hacer una advertencia: el grueso de la historia de las matemticas medievales no fue exclusividad europea; ms bien fue el resultado de varias civilizaciones: rabe, india, china, bizantina (Imperio Romano de Oriente) y lo que quedaba del Imperio Romano de Occidente. Cada civilizacin posea diferentes lenguas. No vamos en este pequeo libro a analizar ms que una de esas culturas, pero nos interesa resaltar el marco global diverso de esta evolucin histrica. Esto es importante porque para muchos asuntos de esta poca la mejor comprensin se logra solo si se estudian los contactos e interrelaciones culturales que existieron. Alrededor del siglo XII y siglos previos la sociedad europea fue esencialmente una coleccin de pueblos aislados y de poco nivel cultural, con la Iglesia Catlica como albacea intelectual. Culturalmente durante todo este perodo no existi mucha relacin con la mayor parte del pensamiento clsico griego, distancia que ya se haba establecido desde el mismo Imperio Romano.

14

El Taj Mahal, del periodo indoislmico, se empez a construir en 1628 Durante siglos, la enseanza, el aprendizaje, el conocimiento escaso que se haba rescatado de las culturas griega y romana, estuvieron asociados a la Iglesia Catlica y, sobre todo, a las necesidades que ella tena (como, por ejemplo, en los servicios religiosos y la lectura de los libros sagrados). El latn fue escogido como idioma oficial de la Iglesia, por eso durante todo este perodo en la enseanza como en el intercambio de conocimiento fue el latn la lengua que se us. Debe decirse que en toda esta poca no haba mucha matemtica disponible, aunque en el currculo educativo para las pocas escuelas que hubo se le dio cierto nfasis a las matemticas. Por ejemplo, el modelo educativo estaba formado por lo que se llama el cuadrivium y el trivium. El primero estaba constituido por geometra, aritmtica, astronoma y msica. El trivium: por retrica, gramtica y dialctica . Sin embargo, como hemos dicho, el nivel matemtico era bajo, apenas una aritmtica y una geometra muy elementales. La razn fundamental del bajo nivel de las matemticas y la ciencia era la ausencia de factores que estimularan el de-sarrollo del conocimiento. Para la Iglesia de esos tiempos la verdad y las fuentes y criterios de la misma slo se encontraban en la revelacin divina, y los estudios tenan que orientarse hacia la lectura y anlisis de los textos sagrados, donde se supona se encontraban la verdad y el conocimiento. En ese sentido, mtodos empricos o experimentales estaban prcticamente excluidos para la investigacin del mundo circundante. Como los temas principales de reflexin y anlisis eran el pecado, el temor al infierno, la salvacin o cmo ascender al cielo, el estudio del mundo fsico real no solo se consideraba fuera de los fines de la educacin y el conocimiento por parte de la Iglesia, sino que, muchas veces, era considerado algo estril y, en ocasiones, hasta hertico. Debe advertirse que el trmino "Edad Media'' convoca en realidad diferentes periodos histricos, circunstancias culturales heterogneas, y resultados histricos que sera mejor separar o distinguir. Hubo autnticas etapas "oscuras'' cultural y socialmente, y otras con importantes realizaciones espirituales; hubo regiones cultas y otras muy atrasadas. Cohabitaron diferentes sistemas 15

econmicos, polticos y sociales y puede decirse que toda la poca estuvo llena de importantes contradicciones culturales. Al igual que domin un contexto nada propicio para las ciencias y las matemticas -como ya sealamos-, de la Edad Media son las primeras universidades "modernas'', desarrollos urbanos novedosos, el progreso de mtodos y tcnicas agrcolas, y de transporte, etc. Nos resulta ms apropiado, entonces, un enfoque "prudente'' que parta de esta diversidad y que seale algunas tendencias importantes en su devenir social y cultural.

El "regreso'' de los griegos

La forma de vida que domin durante todos estos siglos, empez a sentirse afectado alrededor del siglo XII por el descubrimiento por parte de los europeos de las grandes contribuciones en ciencias, matemticas, literatura y arte, realizados en la Grecia Antigua. Fue a travs del comercio y diversos tipos de viajes que tomaron contacto con obras que haban sido conservadas, traducidas e incluso ampliadas por los rabes. Los trabajos de la Antigedad griega fueron retomados por los intelectuales europeos y religiosos de la poca, creando lo que se suele llamar la Escolstica; en sntesis podemos decir que se trat de establecer una unidad entre el pensamiento del gran filsofo de la Antigedad Aristteles (c.384322 a.C.), y las ideas y doctrinas de la Iglesia Catlica. A pesar de la vinculacin con el pensamiento griego antiguo y los resultados de aquella gran cultura, los dirigentes espirituales de la poca no pusieron sus nfasis en los aspectos naturalistas o ms relacionados con la indagacin emprica, sino en los aspectos, digamos, ms metafsicos: en la lgica y en las premisas cosmolgicas que menos entraban en contradiccin con los dogmas establecidos. Por eso, a pesar de que se lograron algunos resultados de inters en ciencias y en matemticas, stos no fueron de una gran trascendencia. La situacin slo cambiara bajo la accin de importantes transformaciones sociales, culturales y polticas que se suelen asociar con los trminos de Renacimiento y, tambin, de Revolucin Cientfica. Alrededor de esta poca se conocen algunos resultados matemticos asociados a los nombres de Leonardo de Pisa (c. 1170-1250) y Nicole Oresme (c.1323-1382).

Los rabes
Antes de que hablemos un poco ms del Renacimiento y de la Revolucin Cientfica, expresemos algunas consideraciones sobre el influjo rabe en la historia del pensamiento occidental, el cual normalmente no es ampliamente divulgado en los libros de historia y los textos que usamos en nuestras escuelas primarias y secundarias. Los rabes eran un conjunto de pueblos nmadas que vivan en lo que hoy es la Pennsula Arbiga, que bajo el liderazgo de un gran dirigente religioso llamado Mahoma constituyeron un extraordinario imperio en el Mediterrneo. En el ao 632 d.C. el Imperio Arabe limitaba con la India y Espaa, inclua el norte de Africa y el sur de Italia, mientras que Europa era apenas un grupo de pueblos esencialmente atrasados y aislados. Los rabes construyeron una extraordinaria civiliza-cin que cultiv ciencias, artes e incluso promovieron una atmsfera cultural, social y poltica bastante flexible y tolerante con relacin a las religiones y a los pueblos alrededor del Mediterrneo. Los rabes, por lo menos hasta el siglo XV, constituyeron el principal centro de cultura, educacin, y ciencias de toda la regin. El fundamento bsico de su desarrollo cultural 16

estuvo asociado al conocimiento griego de la Antigedad, a travs directamente de fuentes griegas en versin siria o hebrea. Ellos haban tomado contacto con lo que qued del mundo griego en Bizancio, lo que se suele llamar el Imperio Romano de Oriente, a la vez que de Egipto y escuelas sirias de Edessa, Damasco y Antioqua; aunque tambin tuvieron contacto con obras conservadas por los cristianos nestorianos en Edessa.

Al-Khoarizmi Solo para mencionar un ejemplo, debemos decir que en el caso de las matemticas su papel fue esencial por la relevancia que le dieron al lgebra y a la aritmtica. Los griegos antiguos haban geometrizado el lgebra y la aritmtica debido a los problemas que encontraron con los nmeros irracionales y con algunas paradojas numricas. Las debilidades griegas hicieron que se restringieran las posibilidades de desarrollo de la misma geometra; aunque los ms afectados fueron el lgebra y la aritmtica. Los rabes usaron a diestra y siniestra los nmeros irracionales, al igual que los hindes. La notacin posicional en base 10 y los nmeros negativos fueron introducidos en Europa por el influjo hind y rabe. Podemos citar el nombre de dos insignes matemticos rabes que han quedado guardados en nuestra cultura: Mohamed ibn Al-Khoarizmi (c.825 d.C.) y Omar Khayyam (c.1038-1123). La principal influencia rabe podemos decir que empez a tener su impacto en el mundo europeo sobre todo a partir del mismo siglo XII, cuando represent ese extraordinario puente entre los intelectuales europeos y la Antigedad griega. En muchas ocasiones, las primeras versiones que recibieron los europeos de los textos clsicos de la Antigedad (tanto en matemticas, medicina, qumica y otras reas del conocimiento y las tcnicas) fueron textos y obras traducidos por los islmicos al arbigo.

17

1.3 RENACIMIENTO Y REVOLUCIN CIENTFICA

El Renacimiento signific un reencuentro con la cultura clsica antigua; pero esta vez no fue con la lgica formal o la especulacin abstracta y no emprica que haban realizado los escolsticos, sino con algo fundamental: la relacin con el mundo y la indagacin prctica de la naturaleza, el sentido vital, el humanismo. Fue una poca en la que todo se cuestion y, con ello, se abri un perodo extraordinario en la produccin intelectual y cultural de la sociedad occidental.

18

Detalle de La Escuela de Atenas de Rafael

19

Con el Renacimiento, que arranc en Italia y luego se extendi por otras partes del suelo europeo, comenz una verdadera revolucin de ideas y una nueva actitud ante la sociedad, la naturaleza y el hombre; revolucin que afirmamos constituye uno de los principales fundamentos del mundo moderno. El reencuentro con la Antigedad clsica fue importante, pero no fue el nico factor que pes; diversas condiciones econmicas, polticas y sociales fueron un autntico caldo de cultivo para poder potenciar los resultados cognoscitivos de la Antigedad que "reentraban'' en el mundo occidental.

Matemticas renacentistas
El Renacimiento no produjo grandes resultados en matemticas, lo que no era el caso en otras partes de la vida cultural, por ejemplo en la literatura y el arte. Pero la realidad es que en esta poca se estaba logrando crear la infraestructura para dar el salto que se realiz en el siglo XVII y que podemos sintetizar con el nombre de Revolucin Cientfica. De esta poca, vienen a nuestra mente los nombre de algunos matemticos: Nicols de Cusa (14011464), Regiomontano (1436-1476), Luca Pacioli (1445-1514). Tambin es necesario mencionar que los importantes trabajos en el lgebra (que como veremos seran fundamentales en el nuevo periodo) estuvieron asociados a los italianos Hiernimo Cardano (1501-1576), y Niccolo Tartaglia (c. 1500-1557). Otros matemticos de la poca fueron: Robert Recorde (1510-1558), Georg Rheticus (1514-1576), Pierre de la Rame (1515-1572), Johannes Werner (1468-1522), Albrecht Drer (1471-1528), Gerard Mercator (1512-1594) y Francesco Maurolico (1494-1575).

Las nuevas ideas

Los cambios que se dieron en este periodo de la historia fueron extraordinarios. En lo que se refiere a los mtodos de la ciencia fueron de fundamental impacto las ideas de Francis Bacon (1561-1626), Ren Descartes (1596-1650) y de Galileo Galilei (1564-1642). Con su trabajo se apoy el desarrollo de los mtodos experimentales y empricos, y el uso de descripciones matemticas y mecnicas en la comprensin de la naturaleza. Los nuevos mtodos se enfrentaron a las ideas del viejo orden, escolstico y aristotlico, y en un principio se orientaron especialmente contra la cosmologa geocntrica dominante (la Tierra el centro del universo).

20

La teora heliocntrica (los planetas giran alrededor del Sol) de Coprnico (1473-1543), que posea antecedentes en la misma Antigedad, fue defendida radicalmente por Galileo, integrando no solo el marco terico de Coprnico sino tambin los resultados de los astrnomos Tycho Brahe (15461601) y Johannes Kepler (1571-1630). El combate que libr este gran cientfico con las ideas e instituciones dominantes (que le cost condena y castigo por la Inquisicin) se convirti en un impulso extraordinario en la construccin de la nueva ciencia. El debate con relacin a los mtodos de la ciencia resida en que para los escolsticos las "verdades'' se encontraban en la revelacin divina y no en el ejercicio de la experiencia y la razn. Fueron muy pocos los intentos antes del Renacimiento por acudir a la experiencia o a procedimientos experimentales.

Galileo Galilei

21

Galileo, adems de su lucha por abrir espacio al heliocentrismo, contribuy notablemente en la afirmacin de la experimentacin emprica y, especialmente, en el uso de las matemticas (cuantitativas) para la descripcin del mundo circundante. De la misma manera, el filsofo ingls Bacon fue un verdadero profeta de la ciencia emprica, y Descartes, filsofo y matemtico francs, adems de subrayar el papel de las matemticas, fue un abanderado por una explicacin mecanicista del universo.

La Revolucin Cientfica
Para la revolucin intelectual que se dio en las ciencias y las matemticas del siglo XVII fue necesaria la matemtica griega y rabe, pero adems el desarrollo de ciertas ciencias empricas y algunas tcnicas nuevas. Tampoco puede decirse que las matemticas del Renacimiento y el nfasis que se le dio al lgebra y a la aritmtica fueran producto exclusivo del influjo griego o de los mismos trabajos rabes; las tradiciones medievales realizadas en ciudades italianas y germanas durante la poca medieval, tambin, jugaron su papel. Durante el Renacimiento, las matemticas tuvieron aplicacin en varias reas: desde la contabilidad, la cartografa hasta la agrimensura, el arte y la ptica. Durante esta poca hubo un inters por las obras griegas de cierta complejidad terica, pero esto no fue muy significativo; podemos decir que obras de Apolonio, Arqumedes o de Pappus (fl.c. 320 d. C.) no haban sido todava traducidas al latn durante esta poca. Tampoco la geometra tuvo mucho desarrollo pero, como hemos dicho antes, lo fundamental no estaba tanto en los resultados como en la actitud que se haba abierto hacia la realidad y hacia los mtodos del conocimiento. Ya en el siglo XVII, la Revolucin Cientfica busc de-sarrollar mtodos matemticos y cientficos apropiados para poder integrar una gran coleccin de resultados en la fsica y en la astronoma que se haban estado generando.

Los lmites de la geometra clsica

Para que se tenga una idea de lo que significaba esta revolucin en las matemticas conviene que hagamos una breve digresin sobre la geometra clsica. Los lmites que sta tuvo se debieron esencialmente a dos caractersticas: Por un lado: los griegos antiguos establecieron que las construcciones geomtricas y la geometra en general tenan que hacerse con base en la regla y el comps, lo cual restringa extraordinariamente los resultados geomtricos. De la misma manera, la geometra era esttica, las figuras que se dibujaban eran producto de los procedimientos con regla y comps que se haban establecido y, salvo en algunas excepciones importantes y significativas, el grueso se realizaba de esa manera. Por otro lado: las limitaciones en el lgebra, tambin, hacan que la geometra no tuviera una interrelacin que pudiera potenciar sus posibilidades.

22

Entonces: en los tiempos de una sociedad emergente (como la europea del Renacimiento del siglo XVII), todo conduca a un replanteo del tipo de geometra que se hizo en la Antigedad, y no solo de la geometra sino, tambin, de las matemticas en general. Consideremos un ejemplo: uno de los temas claves de la historia de las matemticas es el de los mtodos infinitesimales que constituyen la base del Clculo Diferencial e Integral. En la Antigedad griega se trabaj con los conceptos de infinito y continuidad que son los que estn a la base del Clculo. Obras de Eudoxo y de Arqumedes en esa direccin son pioneras y constituyen, tambin, una muestra de la calidad de pensamiento que se lleg a tener en esta fase de la historia de la humanidad, sin embargo, la geometra euclidiana (que ocup un lugar tan importante en la historia de las matemticas durante siglos y siglos) posea limitaciones que le impedan integrar tericamente los mtodos infinitesimales. Exclua, por ser esencialmente esttica, el tiempo en los fenmenos fsicos que trataba de describir. Los procesos cinemticos no podan ser captados por la geometra tradicional. Incluso, curvas como la espiral de Arqumedes, la cuadratiz de Hippias o la conchoide de Nicomedes, no podan ser integradas por esta geometra clsica porque stas curvas estaban definidas en trminos de movimiento. Los mtodos de Pappus tampoco podan integrarse y, por supuesto, no poda integrarse en ese marco conceptual el movimiento de los cuerpos fsicos, los cambios en el espacio y el tiempo, la variacin de las cantidades: asuntos fundamentales para los matemticos y cientficos del siglo XVII.

23

Proyectiles, detalle de una pintura de 1648 Motivados por problemas planteados por las ciencias fsicas y por la vida social durante los siglos XVI y XVII, los matemticos y cientficos buscaron un nuevo enfoque y nuevos mtodos para abordar los problemas; ah naci precisamente el Clculo Diferencial e Integral, que tuvo una repercusin extraordinaria en la historia de las matemticas y en la geometra.

Los logros de la Revolucin Cientfica

El siglo XVII fue una revolucin cientfica en muchos campos, pero esencialmente en las matemticas y en la astronoma. Podemos tener una idea de lo que esto signific para las matemticas cuando citamos algunas de las principales obras de la poca: la Geometra Analtica de Descartes y Pierre de Fermat (1601-1665), el mismo Clculo de Newton y Wilhelm G. Leibniz (1646-1716), el Anlisis Combinatorio y la Teora de las Probabilidades que desarrollaron Fermat y Blaise Pascal (1623-1662), la Aritmtica superior de Fermat, la Dinmica de Galileo y de Isaac Newton (1642-1727) y la Gravitacin Universal de Newton, la Geometra Proyectiva de Gerard Desargues (1593-1662) y Pascal, y hasta los principios de la Lgica Simblica con Leibniz.

24

1.4 DE LA GEOMETRA ANALTICA AL CLCULO

En esta seccin nos interesa resear una de los momentos ms importantes en la historia de las matemticas.

La Geometra Analtica
Una mencin aparte y especial para nosotros en este libro merece la Geometra Analtica que, como sabemos, conecta los conceptos de la geometra con los del lgebra y viceversa; al decir de Descartes, la expresin de curvas por medio de relaciones algebraicas. Ya desde la Antigedad esta vinculacin se trat de plantear. Por ejemplo Menecmo, quien fue discpulo de Eudoxo, se supone que conoca algo de geometra analtica; aunque con las limitaciones impuestas al lgebra por los griegos es difcil que esto haya sido muy desarrollado. Sin embargo, Apolonio de Perga en su famosa obra Las Cnicas, y quien vivi alrededor de los aos 262 y 190 a.C., us rectas de referencia para puntos, tambin un dimetro y una tangente a la misma para expresar esos puntos; es decir, algo parecido a lo que en geometra analtica moderna hacemos cuando usamos los ejes de coordenadas. Tambin Pappus y Omar Khayyam los usaron en su resolucin de ecuaciones cbicas. Parte de la obra de Las Cnicas fue traducida por los rabes y fue introducida en Europa precisamente por Edmund Halley (1556-1742) quien fue un cientfico amigo de Newton.

Descartes
Muchos otros matemticos hicieron algunos avances en esta relacin entre lgebra y geometra durante esta poca. Giovani di Casoli, Nicole Oresme (c. 1323-1382) y el mismo Galileo haban tratado de establecer representaciones grficas de conceptos como los de tiempo, rapidez, distancia y velocidad; sin embargo, fue Ren Descartes quien di el impulso definitivo en esta direccin a la geometra. Subrayemos que Descartes es considerado el primer filsofo moderno y, por eso mismo, debe interpretarse que la geometra analtica corresponde al espritu de lo que ya es una nueva era en el desarrollo de la sociedad occidental.

Ren Descartes 25

La obra de Descartes es autnticamente revolucionaria. Podemos decir que el mtodo que l propona se reduce a tres pasos: 1- La expresin de un problema geomtrico en forma algebraica. 2- Resolucin de las ecuaciones algebraicas que corresponden al problema geomtrico. 3- Construir o interpretar geomtricamente lo que planteaba la solucin. Descartes se dice que buscaba liberar a la geometra del exceso de figuras, pero tambin buscaba darle sentido o significado al lgebra por medio de la geometra. Fue revolucionario Descartes al establecer que una curva se construye con solamente ofrecer una ecuacin algebraica. Recordemos que en la Antigedad para que una curva existiera era necesario que hubiera un procedimiento con regla y comps para poderla construir.

Fermat
Se le atribuye tambin la creacin de la geometra analtica a Pierre de Fermat, quien escribi sobre estos temas antes incluso que Descartes hubiera publicado su obra seminal sobre el tema, pero que, desafortunadamente, fue publicada de manera pstuma posteriormente a la obra de Dercartes.

El lgebra
Lo importante a subrayar ac es el uso de los mtodos algebraicos. Podramos decir que hasta el siglo XVII el lgebra estuvo subordinada a la geometra y a partir de este momento el rol se invirti y, con ello, se dio un cambio sustancial en la historia de las matemticas. A pesar del impacto de la geometra analtica desarrollada por Descartes y Fermat, su repercusin no fue tan grande en esa poca; fue hasta el trabajo de Gaspard Monge (1746-1818) y sus discpulos en la Escuela Politcnica Francesa, ya en el siglo XVIII y XIX, que lleg a tener la importancia, proyeccin, dinamismo e impacto que hoy reconocemos a la geometra analtica. Sin embargo, debemos decir que la geometra analtica fue decisiva para el desarrollo del Clculo Diferencial e Integral, que constituy una autntica revolucin en el pensamiento matemtico.

26

Las matemticas del siglo XVII

De manera general, podemos decir que durante el siglo XVII las matemticas tuvieron un carcter muy aplicado, lo cual corresponda a una demanda en crecimiento del uso de las ciencias en la vida social, y a flujos e influjos en la economa y en las tcnicas que afectaron los trabajos en las matemticas; aunque no puede decirse de una manera mecnica y determinista que las demandas de la vida social y fsica fueron las que generaron los resultados matemticos.

En el siglo XVII las ideas cientficas se abrieron con gran intensidad. Gassendi (1592-1655) introdujo de nuevo una forma de la teora atomista de Leucipo y Demcrito. Grimaldi (1618-1663) y despus Newton obtuvieron resultados en la ptica y en el esclarecimiento de la naturaleza de la luz. Huygens hizo una descripcin matemtica de un funcionamiento ondulatorio de la luz. Torricelli (1608-1647), discpulo de Galileo, invent el barmetro descubriendo la presin atmosfrica y tambin el "vaco''. Es el siglo de Boyle con sus resultados sobre el vaco y la teora de gases; tambin de Hooke, a quien se le atribuye haber sido el principal fsico experimental antes de Faraday. Los resultados y las figuras cientficas del XVII pueden seguir enumerndose pero, sin duda, es la obra de Newton la que culmina la llamada Revolucin Cientfica. La teora newtoniana de la gravitacin universal complet la destruccin del modelo cosmolgico anterior. Con Newton, efectivamente, puede considerarse que una fase intelectual fue completada. En las etapas histricas siguientes nuevos saltos cualitativos hacia adelante en la ciencia van a demandar ms condiciones econmicas, tcnicas, polticas y sociales.

27

Isaac Newton

El Clculo
Con la creacin del Clculo infinitesimal va a completar los trabajos matemticos que desde Eudoxo y Arqumedes en la Antigedad hasta Kepler, Fermat y Descartes (entre muchos otros en la nueva poca) se venan dando en busca de un mtodo para abordar el "continuo''. El Clculo infinitesimal represent el resultado matemtico ms decisivo del siglo XVII, que generara un extenso territorio intelectual para los siglos siguientes no solo en las matemticas sino en la ciencia en general. Ya slo esto hubiera sido suficiente para inmortalizar a Newton, pero realiz otra hazaa intelectual: la mecnica celeste; es decir, la descripcin del movimiento de los astros a partir de las leyes de la mecnica terrestre. Fue la fundicin terica de los resultados de Coprnico y Kepler con los de Galileo. No se trataba de un sistema filosfico, sino de una descripcin matemtica. La obra que condens sus extraordinarias contribuciones a la mecnica fue el famoso Philosophiae naturalis principia mathematica ("Principios matemticos de la filosofa natural''), publicado en 1687. Es una de las joyas del pensamiento humano. En ella, donde aplica hasta cierto punto el Clculo, formula con gran rigor matemtico las leyes de Kepler sobre el movimiento planetario, las cuales haban sido establecidas de manera emprica. Newton demostr que estas leyes se deducan de la ley de gravitacin de los cuadrados inversos: La fuerza gravitacional entre dos masas es igual a una constante por el producto de las masas, dividido ste por el cuadrado de la distancia entre ellas. Explic el movimiento de los cuerpos celestes y de las mareas. Tambin estableci los fundamentos de la teora del movimiento de la Luna. Newton asumi un tratamiento axiomtico y matemtico, en el que asuma el espacio y el tiempo como absolutos. El descubrimiento-construccin del Clculo lo realiz entre 1665 y 1666 mientras estaba en su lugar de nacimiento en el campo para escapar de la peste que atormentaba Cambridge.

28

Newton construy el Clculo entre 1665 y 1666 mientras Leibniz lo hizo entre 1773 y 1776, pero fue Leibniz quien public primero sus resultados entre 1684 y 1686 y, luego, lo hizo Newton entre 1704 y 1736. Ambos hicieron sus contribuciones de manera independiente y con caractersticas propias, sin embargo se dio una polmica muy famosa, que dur dcadas, sobre quin lo haba encontrado primero. Con el Clculo se resolvieron problemas fundamentales que implicaban el uso de un concepto central: el lmite. Tanto Newton como Leibniz usaron esta nocin pero lo hicieron de una manera ms bien intuitiva, fsica o geomtrica. Una formulacin ms precisa y rigurosa tendra que esperar ms de un siglo en la historia de las matemticas.

Wilhelm Leibniz Con la idea de "lmite'' no solo se respondera a los problemas inmediatos con los que se enfrentaron los matemticos de la Revolucin Cientfica, sino a aquellos originados en la Antigedad alrededor del infinito y la continuidad. Todos esos procesos matemticos en los que se us el trmino "indefinidamente'' hacan referencia al lmite. Ya fuera que se planteara realizar sumas indefinidas de trminos o subdivisin indefinida de una longitud, rea o volumen, hay una relacin con los mtodos infinitos. Es la nocin de lmite a la que se apela cuando en el mtodo de Exhauscin se pasa del rea de polgonos regulares inscritos en un crculo con lados, al rea del crculo. O, tambin, cuando se puede dividir un rea en un nmero infinito de rectas "indivisibles'', o cuando para calcular el rea bajo la curva se construye rectngulos y, luego, este nmero se vuelve infinito o, lo que es igual, la base de los mismos "se va hacia el cero''.

29

Para el clculo de reas se retom el espritu del mtodo de eshauscin con aproximaciones al rea por medio de figuras geomtricas representadas analticamente; los rectngulos sustituyeron los tringulos (o polgonos compuestos por tringulos) que se usaron anteriormente. El concepto de la integral posee su origen en estos objetivos. Debe subrayarse la existencia de una ntima relacin entre Geometra Analtica y Clculo. Aunque el clculo de reas, longitudes y volmenes ocup una historia ms larga en las matemticas, el clculo de la tangente a una curva (planteado en el siglo XVII) fue decisivo y determinante para el desarrollo de los mtodos El clculo de la recta tangente y el de la velocidad instantnea se redujeron al clculo de la derivada, lo que hoy reconocemos como un tipo particular de lmite. Newton, incluso, consider sus derivadas como velocidades. No podemos dejar de mencionar que la relacin complementaria o inversa entre los procesos de la derivacin y la integracin fue uno de los resultados ms interesantes y sorprendentes de esta temtica.

30

1.5 EN EL SIGLO XVIII

Los matemticos europeos de estos siglos sobrepasaron la produccin matemtica antigua; esto en trminos cuantitativos y, sobre todo, cualitativos: nuevas disciplinas y nuevos conceptos matemticos se crearon en este perodo.

Intuicin y aplicacin en las matemticas

En el siglo XVIII las matemticas fueron an todava de carcter ms cuantitativo y con mayor aplicacin fsica. A pesar de la gran cantidad de resultados que se dieron, muchos historiadores de la ciencia consideran que tambin haba un marasmo lgico en los fundamentos de la matemtica que se haca. El corazn de las matemticas era el Clculo y aunque ste haba generado un gran progreso posea muchas lagunas lgicas; los nmeros irracionales, por ejemplo, no seran admitidos sino hasta principios del mismo siglo XIX, aunque los nmeros negativos y los complejos no. Los matemticos del siglo XVIII se concentraron en el Clculo y en sus aplicaciones a la mecnica. Las principales figuras fueron el mismo Leibniz, los hermanos Bernoulli, Jacques (1654-1705) y Jean (1667-1748), Euler (1707-1783), Lagrange (1736-1813) y Laplace (1749-1827). Aunque debe incluirse a los matemticos franceses Clairaut (1713-1765), D'Alambert (1717-1783) y Maupertuis (1698-1759), los hermanos suizos Nicolaus (1695-1726) y Daniel Bernoulli (1700-1782) hijos de Jean. Podemos decir que la mayor parte de las matemticas y la fsica entre 1600 y 1900 estuvo asociada de alguna manera a los mtodos establecidos por el Clculo Diferencial e Integral. Estos han sido aplicados extraordinariamente en todo fenmeno que exija una medicin tanto en mecnica, magnetismo, electricidad, gravitacin, calor, luz, movimiento ondular. El carcter aplicado que predomin en las matemticas del siglo XVII se ampli especialmente durante el siguiente siglo. Esto era coincidente, adems, con una demanda creciente hacia el uso de las ciencias en la vida social (en la produccin). Los influjos de la economa, las tcnicas o la vida social en general afectan e influyen en la prctica matemtica. Debe reconocerse este tipo de factores a la hora de estudiar la historia de las ciencias. Pero debe tenerse cuidado en no establecer condicionamientos muy mecnicos o simples. Las capacidades humanas para la creacin intelectual suelen distanciarse de los contextos materiales y sociales inmediatos, y dejar correr la imaginacin y el razonamiento lgico muy lejos. En el caso de las matemticas esto es tambin cierto. El estudio de propiedades abstractas de la realidad (una vez conceptualizadas) puede ampliarse al margen de la influencia directa de la realidad social o material.

Un balance
En menos de dos siglos los matemticos europeos lograron sobrepasar con creces los lmites de toda la produccin matemtica de la Antigedad. Eso se explica sin duda por las diferencias en las sociedades y en el trabajo intelectual que existi entre ambos tipos de organizacin social. Es importante sealar esta diferencia en tanto expresa la existencia de un ritmo muy elevado en la produccin cientfica y matemtica que ha sido -desde entonces- decisivo para el progreso de la cultura y la sociedad occidental. Debe subrayarse, adems, que no solo se ampli cuantitativamente 31

el nmero de trabajos sino que hubo un progreso cualitativamente superior, tanto en la profundidad de los mtodos como en la creacin de nuevos conceptos y diferentes disciplinas matemticas. Los matemticos del siglo XVII terminaron de establecer varios cambios fundamentales con relacin a las matemticas antiguas: Papeles diferentes para el lgebra y la geometra: del dominio en mtodos y criterios de rigor basados en la geometra (en la Antigedad), se pas a darle relevancia al lgebra. Los resultados de las matemticas dejaron de percibirse como simples idealizaciones de la experiencia y se empez a favorecer --lentamente-- un tratamiento ms abstracto: de la idealizacin inmediata a la construccin de conceptos y mtodos. La introduccin del Clculo con mtodos alejados de los estndares de rigor y deduccin de la geometra clsica promovi el uso de procesos inductivos. La estrecha relacin entre matemticas y ciencias naturales condujo a una interdependencia y fusin que no permita muchas distinciones entre ciencias y matemtica. Las matemticas del siglo XVIII, a diferencia de las del siglo XVII, fueron esencialmente cuantitativas. Fue un siglo de un gran desarrollo matemtico conectado a la evolucin de las ciencias llamadas naturales. Configuraba, como veremos, una situacin que podramos caracterizar como contradictoria. Se tena una gran produccin matemtica, un gran xito en la capacidad de prediccin en la ciencia de los resultados matemticos y, al mismo tiempo, segn muchos historiadores "un marasmo lgico en los fundamentos''. El centro del Anlisis era el Clculo y a pesar de la enorme oscuridad lgica, a pesar del uso "liberal'' de los nmeros, ste experiment un enorme desarrollo.

El Anlisis
El ms grande de los matemticos del siglo XVIII fue, sin duda, el suizo Leonhard Euler y el ms prolfico de todas las pocas: 886 libros y artculos, sobre cada uno de los campos de la matemticas de su poca.

Leonhard Euler 32

El trabajo de este gran matemtico permite apreciar la diversidad de los usos matemticos y aplicaciones que poda tener el Clculo: ecuaciones diferenciales, geometra analtica y diferencial de curvas y superficies, series y clculo de variaciones. En la fsica, Euler us la mecnica analtica (la aplicacin del Clculo a la mecnica tradicionalmente geomtrica). Calcul la perturbacin de los cuerpos celestes en la rbita de un planeta y las trayectorias de proyectiles lanzados en medios con resistencia determinada. Estudi la propagacin del sonido y la consonancia y disonancia musicales. Fue el nico de los cientficos del siglo XVIII que afirm el carcter ondulatorio de la luz (y no corpuscular y analiz el calor como oscilacin molecular). Euler describi con ecuaciones diferencialesel movimiento de un fluido (ideal) y aplic su modelo a la circulacin sangunea. Segn el parecer de algunos historiadores: Euler hizo por el Clculo infinitesimal de Newton y Leibniz lo que Euclides hicieron por la Geometra de Eudoxo y Teeteto, o Vieta por el lgebra de Al-Khoarizmi y de Cardano. Con Euler los resultados de Newton y Leibniz se integraron armnicamente al Anlisis, concebido ste como el campo matemtico que engloba el estudio de los procesos infinitos. La obra que esencialmente realiza esta precisin y ampliacin del Clculo infinitesimal fue Introductio in analysin infinitorum, publicada en 1748. En este libro la idea de funcin, que estuvo presente de forma intuitiva en sus predecesores es convertida por Euler en el concepto central del nuevo anlisis. El concepto de funcin y las funciones algebraicas y trascendentes elementales ya haban sido introducidas en el siglo XVII. En la consideracin de varios problemas clsicos, Leibniz, Jacques y Jean Bernoulli, L'Hpital, Huygens y Pierre Varignon usaron funciones conocidas y construyeron muchas otras de mayor complejidad. De la misma manera, en este siglo se desarroll tambin el clculo de funciones de 2 y 3 variables. Aunque Newton, Jean y Nicolaus Bernoulli haban realizado la diferenciacin en funciones de 2 variables, la teora fue plenamente desarrollada por varios matemticos: Alexis Fontaine de Bertins (1705-71), Euler, Clairaut y D'Alembert. Entre 1744 y 1745, D'Alembert trabajando en dinmica extendi el clculo de las derivadas parciales.

Los matemticos franceses del siglo XVIII

Aparte de Jean D'Alembert (1717-1783), Alexis Claude Clairaut y Etienne Bzout (1730-1783), Francia tuvo una presencia muy importante en las matemticas de la ltima parte del siglo XVIII, con personalidades vinculadas o afectadas, de una u otra forma, con la Revolucin Francesa. Los seis grandes matemticos de ese perodo fueron Lagrange (1736-1813), Legendre (1752-1833), Laplace (1749-1827), Condorcet (1743-1794), Monge (1746-1818), y Carnot (1753-1823). Todos ellos destinaron algunos de sus trabajos al Cl-culo diferencial e integral. Por ejemplo, Monge hizo contribuciones a la geometra analtica y diferencial. Tambin Carnot trabaj en geometra y, por otro lado, Legendre hizo aportes al Clculo, a la teora de funciones, la teora de nmeros, y la matemtica aplicada. Probablemente, quien ms lejos lleg de este grupo de franceses fue Lagrange, considerado muchas veces el matemtico ms profundo del siglo XVIII (con Euler). Lagrange cre lo que se llama el clculo de variaciones.

33

Laplace realiz contribuciones decisivas a las probabilidades, y a la mecnica (en particular a la astronoma). Se ha considerado su libro Mcanique cleste (1799-1825, 5 volmenes) la culminacin de la teora newtoniana de la gravitacin universal. Laplace demostr que el sistema del mundo (descrito por la matemtica newtoniana) era estable. Algo as como que no era necesaria la intervencin divina cotidianamente para el funcionamiento del universo. La amplia aplicacin fsica de las matemticas por parte de los matemticos de este siglo origin expresiones como que las matemticas eran solo un instrumento para la fsica (Laplace), o que la historia se describa como una transicin de un siglo XVII de matemticas a una era de mecnica (D'Alambert, Denis Diderot, 1713-1784). Sin embargo, tambin estaba la opinin (Lagrange) de que la mecnica llegara a ser parte del Anlisis.

Una sntesis
En el siglo XVII hubo desarrollos importantes en el lgebra, se inici la Geometra Proyectiva y tambin la Teora de las Probabilidades, se cre la Geometra Analtica, y muchos asuntos de la Antigedad clsica fueron abordados y resueltos. Lo ms importante, sin embargo, sera la creacin del Clculo Diferencial e Integral. Ya en el siglo XVIII el Clculo ampliara extraordinariamente los campos abiertos y generara nuevos, por ejemplo: las Series Infinitas, el Clculo de Variaciones, la Geometra Diferencial, las Ecuaciones Diferenciales, el Anlisis de Funciones con variables complejas y muchas otras.

1.6 EL SIGLO XIX Y LAS NUEVAS MATEMTICAS

En el siglo XIX, los temas que se desarrollaran fueron las Geometras no euclidianas, la Teora de Nmeros, la Geometra de Grupos y el Algebra en general, el Anlisis con variables complejas; y en la segunda mitad de ese siglo aparecera la Lgica Matemtica y la Teora de Conjuntos.

Dos factores claves

Hay dos elementos de la primera parte del siglo XIX que ocuparon un papel esencial en la historia de las matemticas: por un lado, la construccin de nmeros que no seguan lo esperable en ellos, los cuaterniones de William Hamilton (1805-1865); y, por otro lado, las geometras no euclidianas. Estos dos resultados tericos representaron un autntico motor para sacudir el mundo matemtico. Los cuaterniones de Hamilton (dos libros condensan su obra: Lectures on Quaternions de 1853 y Elements of Quaternions de 1866, pstuma) eran nmeros que no respetaban la propiedad de la conmutatividad, es decir, , lo que rompa con la concepcin clsica o tradicional sobre las operaciones. William Kingdon Clifford (1845-1879) generalizara los cuaterniones en lo que 34

llam bi-cuaterniones (1873-1876). Por el otro lado, las geometras no euclidianas abran una interpretacin para la geometra y para las matemticas en general que pareca encontrar contradiccin con la realidad fsica circundante. Como veremos, la idea central de las geometras no euclidianas naca de reconocer que uno de los axiomas de la geometra euclidiana clsica no se poda probar como una deduccin directa de los otros axiomas que en esta geometra se daban. Al ser este famoso axioma, que se llam axioma de las paralelas, un hecho independiente, se justificaba lgicamente la posibilidad de una proposicin contraria al mismo; con un axioma contrario y los restantes axiomas euclidianos se podan construir geometras diferentes. Los grandes creadores fueron Carl Gauss (1777-1855), Janos Bolyai (18021860) y Nikolai Lobachevsky (1793-1856). Sus contribuciones las estudiaremos con detalle ms adelante. Aunque el impacto de estos resultados fue extraordinario en la historia de todas las matemticas del siglo XIX, no fue sino hasta el trabajo realizado por el alemn Bernhard Riemann, 1826-1866, (ya en la segunda parte del siglo XIX) que las geometras no euclidianas seran integradas a las principales ejes de desarrollo de las matemticas del siglo XIX. Algo as como que Riemann coloc a las geometras no euclidianas en un marco terico ms amplio. Antes de Riemann, sin embargo, se dieron intentos de generalizacin de la geometra clsica; aunque solo seran reconocidos despus de la muerte de Riemann. Vale la pena citar el trabajo de Hermann Grassmann (Ausdehnungslehre, 1844), quien trabaj con espacios de dimensiones y cuyos resultados seran retomados dcadas despus para crear el anlisis vectorial para espacios afines y mtricos. Tambin Arthur Cayley en 1843 haba usado el concepto de espacio de dimensiones.

Geometra proyectiva
Un campo de la geometra que tambin posee importancia fue el estudio de las propiedades proyectivas de las figuras, lo que se suele llamar como la Geometra Proyectiva. Puede encontrarse trazos de sta en Pascal y Desargues, y se puede sealar como referencia la obra desarrollada primeramente por Gaspard Monge (1746-1818), quien fue director de la Ecole Polytechnique en Francia y que, muchas veces, se caracteriza como el primer especialista moderno de la geometra. Monge public su libro Gomtrie descriptive, que condensaba sus lecciones en la Ecole Normale entre 1794 y 1795, que utilizaba proyecciones.

35

Vctor Poncelet Fue, sin embargo, un discpulo de Monge, Jean Victor Poncelet (1788-1867), quien realmente hizo una gran sistematizacin de estas propiedades proyectivas de las figuras (Applications d'analyse et de gomtrie 1813-1814, Trait des propiets projectives des figures , 1822). En Francia, Michel Chasles (1793-1880) continu la obra de Poncelet (Trait de gomtrie supriure, 1852). En Alemania, Jakob Steiner (1796-1863) tambin hizo geometra proyectiva (Systematische Entwicklungen, 1832). Tiempo despus, el alemn K. G. C. von Staudt (1798-1867) construy la geometra proyectiva sin usar magnitudes ni mmeros (en su obra Geometrie der Lage, 1847). Estos trabajos tambin tendran un impacto importante en las matemticas del siglo XIX.

lgebra
Uno de los campos ms desarrollados en el siglo XIX tambin fue el lgebra, y una de las grandes creaciones del lgebra fue la Teora de Grupos, donde la figura ciera es la del francs Evariste Galois (1811-1832).

Evariste Galois 36

Un conjunto de elementos forma un grupo con una operacin si: el conjunto es cerrado bajo esa operacin (operar dos elementos da otro del mismo conjunto), contiene un elemento neutro ( , para cada elemento existe un elemento inverso ( ), y la

operacin es asociativa El conjunto puede estar formado de nmeros, puntos, rectas y otras figuras, transformaciones (algebraicas o geomtricas) y otros objetos. Las operaciones pueden ser aritmticas, algebraicas o geomtricas. La fuerza de generalizacin que estos instrumentos matemticos poseen es extraordinaria. Galois, usando ideas que haba mencionado el matemtico tambin francs Joseph Louis Lagrange (1736-1813) y el italiano Paolo Ruffini (1765-1822), expres las propiedades fundamentales de lo que se suele llamar el Grupo de Transformaciones de las races de una ecuacin algebraica. A partir de un trabajo sobre estos grupos, muchos de los problemas clsicos podan ser resueltos como, por ejemplo, la triseccin del ngulo, la duplicacin del ngulo, la solucin de las ecuaciones cbica y bicuadrtica, as como la solucin de ecuaciones algebraicas de diferentes grados. Aunque la obra de Galois fue anterior a la de los britnicos, sus ideas no tuvieron impacto hasta 1846 cuando se publicaron. Su influencia condujo tambin a la elaboracin del concepto de cuerpo a travs de resultados de los alemanes Richard Dedekind, Leopold Kronecker (1823-1891) y Ernst Eduard Kummer (1810-1893). En el mundo britnico, ya mencionamos los trabajos algebraicos de Hamilton y Clifford, tambin debemos mencionar que muchos de los resultados de los ingleses en el siglo XIX fueron en el lgebra y sus aplicaciones a la geometra; entre los nombres ms relevantes que podemos citar estn: Cayley, Sylvester y Salmon. Por ejemplo Cayley trat de dar una sistemtica teora de los invariantes de formas algebraicas, con simbolismo propio y y sus leyes (algo as como una contraparte algebraica de la geometra proyectiva de Poncelet); sus trabajos le permitieron integrar la geometra mtrica dentro de la proyectiva. James Joseph Sylvester (1814-1897) obtuvo una teora de los divisores elementales (1851) y una ley de la inercia de formas cuadrticas (1852). George Salmon (1819-1914) contribuy esencialmente en la redaccin de textos en geometra analtica y teora de invariantes que fueron decisivos para muchas generaciones. La influencia anglosajona lleg a los Estados Unidos, lo que se aprecia en la obra de Benjamin Peirce (18091880). No solo en el mundo anglosajn tuvieron impacto los algebristas britnicos. Tambin en Alemania, con matemticos como Otto Hesse (1811-18749 , Siegfried Heinrich Aronhold 81819-1885), Alfred Clebsch (1833-1872) y Paul Gordan (1837-1912).

Geometra y lgebra
Buena parte de los trabajos en geometras no euclidianas, geometra proyectiva y en lgebra y teora de grupos, fue sintetizada de una manera extraordinaria por un gran matemtico alemn: Felix Klein (1849-1925).

37

En 1872, Klein sistematiz la geometra usando la teora de grupos en algo que se llam el Programa de Erlangen. Una geometra era el estudio de las propiedades de figuras que se mantienen invariantes cuando se aplica un grupo de transformaciones. El asunto se puede poner as: al ampliar o reducir el grupo se pasa de una goemtra a otra. Se asocia, entonces, grupos de transformaciones y clases de geometras. Un ejemplo: la geometra eucldea plana se asocia al grupo de transformaciones dado por las traslaciones y rotaciones en el plano (los objetos son las figuras del plano invariantes bajo este grupo de transformaciones); la geometra proyectiva se asocia a un grupo que se denomina precisamente proyectivo.

Felix Klein Esta aproximacin revolucionaria domin la geometra hasta hace poco tiempo. La Teora de Grupos permita la sntesis de los trabajos algebraicos y geomtricos de Monge, Poncelet, Gauss, Cayley, Clebsch, Grassmann y Riemann. Para que se tenga una idea, Klein demostr que las geometras no euclidianas se podan concebir como geometras proyectivas. Debe mencionarse en todos estos resultados la colaboracin de un gran matemtico noruego: Sophus Lie (1842-1899), que con Klein juntos comprendieron la importancia del uso de los grupos; de hecho, mientras Klein enfatiz los grupos discontinuos, Lie lo hizo en los continuos. Tal vez podamos decir que al igual que la Geometra Analtica en el siglo XVII integr la geometra clsica con mtodos algebraicos desarrollados por los algebristas del Renacimiento y rescatando tradiciones medievales y rabes, Klein tambin integr esta vez resultados de la geometra del siglo XIX con el lgebra de la misma poca. Estos vnculos entre lgebra y geometra, como tambin sucedera entre todas las diferentes disciplinas y campos de las matemticas, se convertiran hasta hoy en da en una caracterstica esencial de la matemtica moderna.

38

La lgica
Dos asuntos plantearon el desarrollo de los mtodos lgicos en las matemticas del siglo XIX. Uno de ellos fue los problemas de rigor, las "lagunas'', que se encontraron en el desarrollo del Clculo; esto condujo a una construccin ms rigurosa de los mtodos infinitesimales y de los nmeros reales (especialmente los irracionales). Los trabajos de Bernard Bolzano (1781-1848), Augustin Louis Cauchy (1789-1857), Karl Weierstrass (1815-1897) y Richard Dedekind (1831-1916), y hasta el mismo creador de la teora de conjuntos Geor Cantor (1845-1918), se colocan en esta direccin. Por otra parte, ms por el lado algebraico (generalizacin de objetos, reglas operatorias, simbolismo) se encuentra los resultados de los britnicos Augustus De Morgan (1806-1871) y especialmente el trabajo de George Boole, 1815-1864, (The Laws of Thought, 1854) que trat de construir una lgebra de la lgica, en la direccin de lo que haba sido una idea de Leibniz: una characterica generalis, es decir: un lenguaje simblico y operatorio para realizar el pensamiento. Los trabajos de Boole superan los de Leibniz (que ya haban intentado ser superados por diversos autores previos: Segner, J. Lambert, Ploucquet, Holland, De Castillon, Georgonne). Sus trabajos tambin van a servir como base para Jevons, el mismo De Morgan y el norteamericano Charles Sanders Peirce. De Morgan haba establecido en su Formal Logic de 1847 que la lgica se refiere esencialmente a relaciones, al igual que Boole. Peirce extendera estos resultados en sus escritos entre 1870 y 1893, y Schreder los sistematizara. El nfasis en las relaciones era una consecuencia del flujo general que apuntalaba la axiomtica y de una nueva aproximacin hacia la matemtica y la lgica. Peirce enfatiz los conceptos de "funcin proposicional'' y los cuantificadores. La conjuncin de relaciones, clases, funciones proposicionales y cuantificadores abra una nueva etapa en la lgica y describa el panorama de las misma previo a un gran lgico alemn: Frege. Estos trabajos motivaron en buena parte el proyecto logicista de Gottlob Frege que busc toda su vida reducir las matemticas a la lgica (Die Grundlagen de Arithmetik, 1884). Para buscar su cometido, Frege construy el aparato simblico ms importante de la lgica desde Aristteles (Begriffsshrift, 1879). En esa direccin se coloc durante bastantes aos la obra del ingls Bertrand Russell (1872-1970); su libro escrito con Alfred North Whitehead (1861-1947), Principia Mathematica, es un clsico de la filosofa de las matemticas y de la lgica. Resulta intersante mencionar el trabajo en lgica matemtica del italiano Giuseppe Peano (18581932), que buscaba -como Frege- un lenguaje formalizado para expresar las matemticas (padre de smbolos como: contiene a pertenece a unin). En una perspectiva diferente, pero dentro de la motivacin de formalizar las matemticas, se encuentra una parte de la obra del gran matemtico alemn David Hilbert (1862-1943). Peano haba ofrecido una fundamentacin formal y axiomtica del lgebra y el anlisis, pero faltaba la geometra; Hilbert asumi esa tarea en su famoso libro Grundlagen der Geometrie (1899) Hilbert us 21 axiomas para reconstruir el edificio de la geometra euclidiana. El nfasis en los aspectos formales y axiomticos, dio pie para una filosofa de las matemticas que se denomin formalismo, y de la que Hilbert fue su principal exponente. Aunque el formalismo tena cosas en comn con el logicismo de Frege y Russell, haba diferencias filosficas de fondo.

39

David Hilbert No sobra mencionar otra aproximacin a estos intentos de fundamentacin de las matemticas: el intuicionismo, desarrollado esencialmente por el holands L.E.J. Brouwer (1881-1966), que afirmaba que lo ms importante para la naturaleza de las matemticas era la intuicin y no el lenguaje y la lgica. En el bando intuicionista estuvo uno de los colegas de Einstein en Zrich en 1913, y un gran matemtico: Hermann Weyl (1885-1955). Toda esta temtica ocup un lugar importante en las primeras dcadas del siglo XX.

1.7 LAS GEOMETRAS NO EUCLIDIANAS

Podemos establecer una periodizacin de la historia de las matemticas distinta a la que ofrecimos al comenzar este captulo, con una ptica un poco diferente, ms bien filosfica.

Otra periodizacin
Podemos considerar la historia de las matemticas dividida en dos grandes fases: antes del siglo XIX y sus resultados matemticos, y despus de estos resultados. El asunto que establece la divisin es la naturaleza de las matemticas o, mejor dicho, la opinin y conciencia sobre la naturaleza de las matemticas que la comunidad matemtica desarroll. Hasta el siglo XIX, con la emersin de las geometras no euclidianas, lgebras y nmeros abstractos no conmutativos, siempre, de alguna u otra forma, se asumi las matemticas como una descripcin directa de la realidad fsica del mundo que nos rodea. La tesis de que los nmeros representan cosas, corazn de la visin pitagrica de la Antigedad, se filtr en la conciencia occidental, en el Renacimiento, la Revolucin Cientfica y en el perodo posterior para afirmar una 40

relacin vinculante y de dependencia entre las matemticas y la realidad. Las cosas cambiaron en la conciencia de la comunidad matemtica ante la evidencia de teoras que no parecan responder a la evidencia fsica y a una relacin con la realidad y el mundo que nos rodea; se empez a desarrollar la idea y la opinin de que las matemticas no necesariamente se refieren de manera directa al mundo, y que las teoras y conceptos de las matemticas tienen validez en s mismos y medidos por parmetros establecidos por la comunidad matemtica, y que suelen ser la validez lgica y el rigor conceptual. Mientras en el siglo XVIII las matemticas eran vistas probablemente como una continuacin de la fsica, de la mecnica y la cinemtica, capaces de predecir eventos de la realidad, en el siglo XIX hay visiones que establecen con toda claridad una distancia de las matemticas con relacin al mundo.

La autonoma de las matemticas

La autonoma e independencia de las matemticas conforman, entonces, un elemento diferente que arranca con toda propiedad en el siglo XIX, aunque algunos cientficos y matemticos anteriormente haban expresado ideas en ese mismo sentido. Las matemticas como campos alejados de la aplicacin fsica y de la descripcin de la naturaleza permita la creacin de especialistas de las matemticas puras: un profesional bastante diferente al que en siglos anteriores poda "representar'' al matemtico. Si ponemos las cosas en esta perspectiva histrica, la relevancia que ocupa la geometra no euclidiana es extraordinaria. Hasta el siglo XIX, 23 siglos despus de la obra de Euclides que estableci la mayor sistematizacin de la geometra antiga, se realiz un cambio de visin sobre las matemticas; y este cambio de visin radical fue producto en especial de las geometras no euclidianas, que rompan la organizacin axiomtica clsica y afirmaban, con plena validez matemtica, teoras en contradiccin con la geometra euclidiana. El impacto era enorme, pues la geometra euclidiana describa supuestamente el mundo o las percepciones que sobre el mismo se tenan. Cmo era posible una geometra que no hiciera lo mismo y fuera tambin vlida?, no se tratara, entonces, solamente de quitar, aadir o modificar uno de los axiomas o postulados de la geometra euclidiana? Era evidentemente algo mucho ms profundo que eso: era cambiar la visin sobre las matemticas y su relacin con el mundo que predomin durante tanto tiempo. Debe decirse, sin embargo, que no solo la geometra no euclidiana contribua a una percepcin diferente de la relacin entre las matemticas y el mundo; el lgebra abstracta alter la "normalidad'' de la artimtica tradicional, y esto tuvo un gran impacto. De hecho, el influjo de abstraccin que supone la naturaleza misma del lgebra impregn crecientemente todos los campos de las matemticas (unos ms que otros), y una actitud consistente de abstraccin y generalizacin de objetos y mtodos, una "separacin'' de las matemticas del mundo. Las geometras no euclideanas constituyen una de los grandes revoluciones en el pensamiento, con implicaciones extraordinarias en la historia de las matemticas y de la ciencia. Y esto es lo que nos interesa resear en las siguientes pginas de este libro.

41

1.8 PREGUNTAS
Conteste las siguientes preguntas 1. Cul es el periodo alejandrino de la historia de las matemticas? 2. Cules consecuencias tuvo la actitud de Eudoxo con relacin a los inconmensurables? 3. Quin se podria decir fue el principal matemtico de la Antigedad griega?. Por qu? 4. Describa las caractersticas esenciales de la educacin y el conocimiento en la Edad Media? 5. Qu es el Renacimiento? 6. Mencione algunos de los logros de la llamada Revolucin Cientfica. 7. Explique algunas de las contribuciones intelectuales de Galileo. 8. Explique por qu el autor considera que la geometra euclidiana posea lmites. 9. Mencione 3 resultados famosos del trabajo intelectual de Newton. 10.Explique y compare algunas de las principales caractersticas de las matemticas del siglo XVIII. 11.Qu hizo Euler por el Clculo? 12.Seale 2 resultados que para el autor de este libro fueron decisivos en la historia de las matemticas del siglo XIX. 13.Cu fue la principal contribucin de Galois a las matemticas? 14.Cul fue la contribucin matemtica de Lobachevsky? 15.Explique qu era el Programa de Erlangen? 16.Cmo se dividieron su trabajo matemtico Lie y Klein?, explique. 17.Que teora famosa cre Georg Cantor? 18.Mencione una contribucin de Peano a las matemticas? 19.Qu es el Logicismo? Diga si la proposicin es falsa o verdadera. Explique. 20.Pitgoras perteneci al periodo alejandrino. 21.Apolonio rechaz los irracionales. 22.Las paradojas de Zenn fueron utilizadas por San Agustn. 23.Las matemticas medievales fueron producto exclusivo de los europeos. 24.Los rabes dieron importancia al lgebra y a la aritmtica. 25.La Revolucin Cientfica precedi al Renacimiento. 26.La Geometra Analtica fue creada por Apolonio de Perga.

42

27.Las matemticas del siglo XVIII estuvieron basadas en la lgica. 28.La geometra no euclidiana y los cuaterniones fueron resultados de la Revolucin Cientfica. 29.Desargues fue el creador de la Geometra proyectiva. 30.Boole es el padre del Logicismo. 31.Galileo pensaba que la derivada era una velocidad. 32.Leibniz se adelant a Newton en la creacin del Clculo. 33.Frege public Principia Mathematica. 34.Hilbert cre una geometra no euclidiana. Comente el siguiente prrafo: "Las cosas cambiaron en la conciencia de la comunidad matemtica ante la evidencia de teoras que no parecan responder a la evidencia fsica y a una relacin con la realidad y el mundo que nos rodea; se empez a desarrollar la idea y la opinin de que las matemticas no necesariamente se refieren de manera directa al mundo, y que las teoras y conceptos de las matemticas tienen validez en s mismos y medidos por parmetros establecidos por la comunidad matemtica, y que suelen ser la validez lgica y el rigor conceptual.''

43

Captulo II: En la Geometra Euclidiana

El sentido de las geometras no euclidianas solamente se puede captar si se entiende la evolucin de las matemticas. En particular el papel que jugaron y juegan esos trminos que solemos llamar postulados o axiomas. Si bien las matemticas no son reducibles a puras deducciones lgicas con base en axiomas, nadie puede negar que estos asuntos han sido y seguirn siendo muy importantes para todas las dimensiones de las matemticas. Y, por lo tanto, para su aprendizaje y enseanza. Vamos a realizar una incursin en la historia de la geometra para desentraar los secretos de esas geometras. Antes mencionemos que la palabra "geometra'' viene del griego geometrein (geo: tierra, y metrein: medir). Segn Herodoto, el historiador griego del siglo V a.C., el origen de la geometra se deba a los agrimensores egipcios; la realidad es que todas las viejas civilizaciones tuvieron conocimiento o prcticas geomtricas. Empezamos con Euclides y sus famosos postulados. Euclides de Alejandra y su famoso libro los Elementos a veces se asocian como si fueran lo mismo; la realidad es, sin embargo, que se guardan muchos libros o tratados que Euclides escribi en campos que van desde la astronoma y msica a la ptica y mecnica, e, incluso, tuvo un trabajo sobre las secciones cnicas.

Pgina de los Elementos, versin griega del siglo IX 44

Los historiadores de las matemticas ms conocidos sealan que se ha perdido por lo menos la mitad de las obras de Euclides. Algunos especulan que hasta elementos de geometra analtica podan haber estado en estos libros y obras perdidos. Las cinco obras de Euclides que sobrevivieron hasta nuestra poca han sido: Los Elementos, Los Datos, La Divisin de Figuras, Los Fenmenos y La Optica. El libro ms importante y de mayor influencia histrica fue claramente los Elementos. Ahora bien, la opinin de los historiadores es que no se trataba de un compendio; es decir, no se trataba de una sntesis de los trabajos matemticos previos a la poca, sino que ms bien era algo as como un libro introductorio, con la aritmtica y la geometra elementales bsicas disponibles. Euclides nunca en este libro asumi o pidi crdito de originalidad, por lo que se supone que probablemente tom muchos elementos de matemticos anteriores o de la poca; lo que esencialmente hizo fue una ordenacin lgica y siguiendo un mtodo que se le suele atribuir como algo original. El asunto es todava ms complejo si entendemos que este trabajo fue copiado posteriormente a Euclides y, posiblemente, los copistas aadieron cosas que no correspondan a la creacin de Euclides; es decir, es seguro que no sabemos cunto fue realmente de Euclides. Los Elementos de Euclides fue el primer libro de texto que tuvo el mayor impacto en la historia de la humanidad. La primera versin impresa del libro apareci en el ao 1482 en Venecia, uno de los primeros libros que se imprimi, y desde entonces se afirma que ha tenido ms de mil ediciones. Hay quienes dicen que salvo la Biblia, probablemente, no existe otro libro que haya tenido tantas ediciones.

2.1 LOS POSTULADOS

Los antiguos griegos creyeron que los seres humanos podan reconocer inmediatamente ciertas verdades acerca de las propiedades geomtricas de los objetos fsicos y del espacio que nos rodea. Por ejemplo que al tener dos puntos es posible trazar una y solo una recta por ellos. O que el todo siempre es ms grande que cualquiera de sus partes.

45

"Verdades'' como las anteriores son las que se conocen como los famosos postulados y axiomas de la geometra clsica y que se encuentran en el libro Elementos de Euclides. Los Elementos contiene trece libros o captulos (aunque se le aadieron 2 libros ms escritos por autores posteriores). Los primeros 6 son sobre geometra plana, los tres siguientes sobre teora de nmeros, el dcimo sobre inconmensurables, y los tres ltimos sobre geometra de slidos. El libro empieza con 23 definiciones, dos de las cuales son: "un punto es lo que no tiene parte'', "una recta es una longitud sin anchura''. Los postulados de Euclides tambin se encuentran en el Libro I de los Elementos. Se suele hacer una distincin entre postulados y nociones comunes o axiomas.

Postulados
1. Se puede trazar una recta desde un punto a otro cualquiera.

2. Es posible extender un segmento de recta continuamente a una recta.

3. Es posible describir un crculo con cualquier centro y cualquier radio.

46

4. Que todos los ngulos rectos son iguales.

5. Que si una lnea recta corta a otras dos rectas formando con ellas ngulos interiores del mismo lado menores que dos ngulos rectos, las dos lneas rectas, prolongadas indefinidamente, se cortan del lado por el cual los ngulos son menores que dos ngulos rectos.

47

Nociones comunes
1. Cosas que son iguales a la misma cosa son iguales entre s. 2. Si iguales se suman a iguales, los resultados son iguales. 3. Si iguales se restan de iguales, los restos son iguales. 4. Cosas que coinciden una con otra son iguales entre s. 5. El todo es mayor que la parte. Los dos primeros postulados son abstracciones derivadas de nuestra experiencia con una regla. El tercer postulado se obtiene de nuestra experimentacin con un comps. El cuarto postulado es tal vez menos obvio y ms abstracto, pero se deduce de nuestra experiencia midiendo ngulos con un transportador (donde la suma de ngulos suplementarios es 180, tal que ngulos suplementarios son congruentes entre s). La nocin cuarta se refiere a la "superposicin'' de figuras y es geomtrica en su carcter; por eso debera Euclides haberla colocado ms bien como un postulado. Los Elementos condens el desarrollo lgico de la matemtica de la poca y tuvo que pasar ms de 2 000 aos para que se realizara una formulacin ms cuidadosa. Para que se tenga una idea, el Libro I contiene los teoremas sobre congruencia de tringulos, construcciones elementales con regla y comps, desigualdades relativas de ngulos y lados en un tringulo, rectas paralelas, paralelogramos y demostraciones del teorema de Pitgoras y su recproco.

48

El quinto postulado
El quinto postulado ha sido el controversial. Es diferente de los otros porque no se puede verificar empricamente si dos rectas se cortan, ya que solo podemos trazar segmentos y no las rectas completas. Podemos extender los segmentos cada vez ms lejos para ver si se cortan en algn punto, pero no se pueden extender infinitamente. Con ese postulado, Euclides ofreci una formulacin de este asunto fundamental que es el paralelismo. Tiempo despus se demostrara que este quinto postulado, tal y como lo plante Euclides, es equivalente a afirmar que por un punto externo a una recta dada solo pasa una paralela.

Buscando paralelas

2.2 AUTOEVIDENTES?
Pero volvamos a los postulados. El gran filsofo de la Antigedad griega Aristteles haba hecho una distincin entre postulados y nociones comunes o axiomas. Los axiomas eran evidentes en s mismos y comunes para todas las ciencias. Los postulados eran menos evidentes. Fue Proclus -tiempo despus- quien llam axiomas a las nociones comunes.

49

Es interesante notar que Aristteles pensaba que los postulados aunque no tenan que saberse verdaderos, sin embargo, se deba probar su verdad demostrndose que las proposiciones deducidas de ellos coincidan con la realidad. Proclus pensaba algo un poco diferente: toda la matemtica era hipottica, es decir sin importar si sus deducciones eran o no verdaderas. Aunque se supone que Euclides acept el criterio de Aristteles, en su libro no hizo diferencia entre ambos tipos de proposiciones. Lo decisivo para la historia del pensamiento fue que los matemticos de las pocas posteriores asumieron los postulados y los axiomas como verdades incuestionables. Y como los teoremas y proposiciones de esa geometra eran derivados de los axiomas, entonces, todo el edificio euclidiano no poda ser cuestionado. El espacio real se consider descrito por la geometra euclidiana y por sus axiomas y postulados. Es decir, la geometra euclidiana describa perfectamente el mundo que nos rodea. Nada ni nadie deba dudar de esta verdades sobre nuestra realidad. Durante ms de dos mil aos esto fue as. Sin embargo, aunque nadie dudaba de su verdad, el quinto postulado no pareca ser tan autoevidente como los dems.

50

2.3 PREGUNTAS
Conteste las siguientes preguntas. 1. Cuntos captulos contiene los Elementos de Euclides? 2. Enuncie los primeros cuatro postulados de Euclides. 3. Enuncie tres "nociones comunes'' de Euclides. 4. Explique por qu el quinto postulado fue el ms polmico a lo largo de la historia de las matemticas. 5. Explique las diferencias que estableca Aristteles entre postulados y axiomas. 6. Explique qu quiere decir "autoevidente''. Diga si la proposicin es falsa o verdadera. Justifique su respuesta. Puede usar un diagrama para mostrar su punto de vista. 7. No se puede extender un segmento cualquiera a una recta en la geometra euclidiana. 8. En la geometra euclidiana es posible describir un crculo a partir de su radio. 9. La suma de dos ngulos rectos es en la geometra siempre 180 grados. 10.En la geometra euclidiana, el todo es siempre mayor que la parte. 11.El quinto postulado de Euclides era igualmente evidente que los otros postulados.

51

Captulo III: El quinto postulado

Como hemos mencionado en el captulo anterior, el problema se concentr en el quinto postulado. Y su historia es la de los mltiples esfuerzos por descubrir la naturaleza de la geometra y del mundo que nos rodea. Mucho tiene que ver con las rectas paralelas, como las que usted puede ver en este techo:

52

3.1 DE EUCLIDES A SACCHERI

Dos fueron los tipos de esfuerzo que desarrollaron los matemticos entre Euclides y el siglo XIX para abordar el problema del postulado quinto. Por un lado trataron de obtener un postulado similar que fuera ms evidente. Por el otro lado, trataron de deducir el quinto postulado de los otros postulados y axiomas.

Ptolomeo
El primer intento fue hecho por el famoso astrnomo Claudio Ptolomeo, quien trat de deducir el quinto postulado de los otros 9 axiomas y postulados as como de los teoremas 1 al 28 de Euclides que no dependen del quinto postulado.

Claudio Ptolomeo (c. 85-165 d. C) Es decir, trat de obtener otra coleccin de axiomas y que el quinto se desprendiera de los nuevos. Sin embargo, Ptolomeo asumi sin darse cuenta que 2 lneas rectas no encierran un espacio y que si y son paralelas, entonces lo que sea vlido para los ngulos internos en un lado de debe serlo tambin en el otro. Vea la figura.

53

Proclus
Proclus en el siglo V d. C. (410-485 d. C) le rest validez al postulado y adems seal algunas inconsistencias en el trabajo de Ptolomeo. Dijo: La afirmacin que dos rectas convergen ms y ms conforme son producidas y entonces ellas se encontrarn en algn momento es plausible pero no necesaria. Para demostrar su punto de vista dijo que la hiprbola se aproxima a su asntota tan cerca como se quiera, pero nunca se tocan. Es decir: existen figuras geomtricas que por ms que se acercan no se cortan nunca. Por qu tenan que cortarse las dos rectas en el caso del quinto postulado? Proclus dio una prueba del quinto postulado pero basado en otro axioma, con lo que simplemente sustituy un axioma por otro.

La hiprbola

Nasr-Eddn
Otra prueba fue dada por el persa Nasr-Eddn (1201-1274), editor de Euclides, cuya obra fue reproducida posteriormente por el ingls John Wallis (1616-1703). Wallis que critic la prueba del persa, tambin ofreci la suya propia.

Wallis
Wallis escribi sobre esto en 1663 pero public su trabajo hasta 1693. Wallis propuso un nuevo axioma que pens era ms plausible que el de las paralelas (por medio de ste y el resto de axiomas prob el quinto postulado).

54

John Wallis (1616-1703) El postulado deca: Dado un tringulo y dado un segmento , existe un tringulo ). (con como

uno de sus lados) que es semejante a

(es decir

La idea intuitiva es que uno puede estirar o encoger un tringulo como uno quiera sin que haya distorsin. El deca que el axioma de Euclides de que se puede construir un crculo con un centro y radio dados presupone que hay un radio arbitrariamente largo a nuestra disposicin, por eso, uno puede igualmente asumir su anlogo para figuras rectilneas como un tringulo. No hay razn para considerar el postulado de Wallis ms plausible que el quinto de Euclides, puesto que resulta ser lgicamente equivalente a ste.

55

La formulacin ms conocida: el postulado de las paralelas

Joseph Fenn en 1769 sugiri una sustitucin del postulado: Dos rectas que se cortan no pueden ser paralelas a una tercera recta. Al parecer este axioma haba aparecido en la obra de Proclus. El axioma dado por Fenn es equivalente al dado por el escocs John Playfair (1748-1 819), que constituye la versin ms conocida del quinto postulado:

m y n no pueden ser las dos paralelas a l A travs de un punto exterior a una recta dada solo pasa una recta paralela a la recta dada.

El gran matemtico francs Legendre tambin trabaj durante 40 aos alrededor del famoso postulado. Hizo pruebas del mismo, pero siempre se filtraba un axioma que era equivalente o igualmente complejo que el quinto postulado. Por ejemplo, prob que el quinto postulado era equivalente a: La suma de los ngulos de un tringulo es igual a dos ngulos rectos.

56

Mtodos indirectos
El trabajo de Ptolomeo se puede ver tambin como un esfuerzo por deducir el quinto postulado de los otros. Este mtodo y otros que se usaron podemos decir que fueron intentos de demostrar directamente que el quinto postulado se derivaba de los otros. Pero no solo pruebas directas se ofrecieron, tambin se dieron indirectas. Es decir, se usaba una versin contraria al postulado con el propsito de demostrar que este conjunto nuevo de postulados con la versin contraria conduca a una contradiccin.

Tipos de demostracin

3.2 SACCHERI
El ms famoso esfuerzo en esta direccin fue realizado por el italiano Gerolamo Saccheri (16671733), jesuita de la Universidad de Pavia. Poco antes de morir Saccheri public un libro intitulado Euclides ab omni naevo vindicatus (Euclides liberado de todo error). El procedi mas o menos as: Construy un cuadriltero con donde los ngulos y son rectos.

57

Fcilmente se prueba que los ngulos

son iguales. y son rectos. Para demostrar

El postulado de Euclides es equivalente a decir que los ngulos eso Saccheri consider dos alternativas contrarias: que que y y

fueran obtusos : la hiptesis del ngulo obtuso; fueran agudos: la hiptesis del ngulo agudo.

58

Con base en la primera hiptesis y los 9 axiomas restantes Saccheri encontr un contradiccin: prob que los angulos que eran obtusos). y deban ser rectos (y esto no poda ser porque precisamente parta de

Hizo lo mismo con la hiptesis del ngulo agudo y lleg a resultados que consider contradictorios con la naturaleza de las rectas, y concluy entonces que el quinto postulado se derivaba de los otros. Sin embargo, la ``contradiccin'' que encontr no estaba tan clara y se refera ms bien a la naturaleza de las rectas; es decir se refera a la idea sobre lo que una recta deba ser y no a una inconsistencia lgica. Saccheri lleg al siguiente teorema: dados cualquier punto ngulo agudo existe en el lapiz ( familia) de rectas a travs de aquellas lneas (sobre el ngulo . Las lneas y y una recta , sobre la hiptesis del 2 lneas y que dividen el lapiz en algn lugar de , y la segunda consiste de

en 2 partes. La primera de stas consiste de las lneas que intersecan

) que poseen una perpendicualr comn con

son ellas mismas asintticas a . De este resultado y una argumentacin extensa,

Saccheri dedujo que y tendran una perpendicular comn en su punto comn, que es en el infinito. Es esto lo que Saccheri consider que no corresponda a la naturaleza de las rectas.

Saccheri dijo precisamente: "La hiptesis del ngulo agudo es absolutamente falsa, porque (es) repugnante a la naturaleza de la recta''. 59

Qu quiere decir matemticamente que algo es repugnante? O bien cul es la naturaleza de las rectas? Sobre esto se puede decir mucho y desde diversos puntos de vista ideolgicos. Saccheri lleg a un formidable resultado pero no pudo obtener las conclusiones adecuadas debido al marco intelectual que usaba. El problema de las paralelas sigui abierto durante muchos aos ms. Tal era la trascendencia de este problema que el gran matemtico francs d'Alembert lo consideraba como "el escndalo de los elementos de geometra''. La historia empez a tener un signo diferente cuando se empez a pensar que la geometra no tena por qu corresponder con el mundo que nos rodea, y ms todava cuando se lleg a la idea que los axiomas euclidianos no eran verdades autoevidentes sino que estaban condicionados por nuestra experiencia sensorial. Pas mucho tiempo, sin embargo, para que este tipo de visiones se desarrollara.

3.3 OTROS PRECEDENTES

Antes de la formulacin definitiva de la geometra no euclidiana muchas otras personas analizaron esta situacin y buscaron resolver el estatus del quinto postulado. Algunas de las ideas que se plantearon fueron muy importantes. Veamos algunas de ellas.

Klgel
Una de las primeras referencias en esta direccin la constituye el matemtico alemn Georg Klgel (1739-1812), quien afirm que Saccheri no haba llegado a una contradiccin sino que haba llegado a resultados que no correspondan con la experiencia. Klgel expres dudas acerca de la posibilidad de demostrar el quinto postulado.

Lambert
El matemtico suizo Johann Heinrich Lambert (1728-1777), en un libro escrito en 1766, y probablemente influenciado por Klgel, realiz un trabajo parecido al de Saccheri (con el cuadriltero). Pero a diferencia de Saccheri no concluy que exista una contradiccin al asumir la hiptesis del ngulo agudo. Ms que eso, obtuvo algunos resultados matemticos de inters. La visin de Lambert se adelant a su poca. Para l: una geometra poda ser vlida siempre que fuera lgicamente consistente aunque no correspondiera con la realidad.

60

Schweikart
Un abogado alemn, dedicado a las matemticas en sus momentos libres, Ferdinand Schweikart (1780-1859), tambin concluy que existan dos geometras: una la eucldea y la otra la que da al suponer que la suma de los ngulos de un tringulo no es dos ngulos rectos; esta ltima la llam geometra astral, porque deca que se daba en el espacio de las estrellas. Los teoremas de esta geometra eran los obtenidos por Saccheri y Lambert asumiendo la hiptesis del ngulo agudo. Un sobrino de ste: Franz Adolf Taurinus (1794-1874), sigui estudios en esta geometra astral, y afirm que era lgicamente consistente (es decir que no posea contradicciones lgicas). Todos estos matemticos e intelectuales reconocieron la existencia de la geometra no euclidiana, pero ninguno lleg a la conclusin radical de que la geometra euclidiana no era la nica que poda describir aspectos de la realidad. Cronolgicamente, fue Carl Gauss el primero en dar este paso.

3.4 PREGUNTAS
Conteste las siguientes preguntas. 1. Quin hizo el primer intento por deducir el quinto postulado de otros? 2. Para qu Proclus ofreci el ejemplo de una hiprbola? Redacte su explicacin. 3. Qu fue lo que hizo Playfair con relacin al quinto axioma de Euclides? 4. Quin fue Gerolamo Saccheri? De qu pas provena y en cul siglo vivi? 5. Qu significa en matemticas un mtodo de prueba indirecta? 6. En qu se diferenciaba la opinin del matemtico Lambert de la de Saccheri en torno a los similares resultados que obtuvieron? 7. Trate de comprobar la equivalencia del quinto postulado con el hecho que los ngulos suman 180 grados. Diga si la proposicin es falsa o verdadera. Justifique su respuesta. 8. John Wallis reprodujo la obra de Nasr-Eddn sobre Euclides. 9. John Playfair fue quien estableci el axioma: "Dos rectas que se cortan no pueden ser paralelas a una tercera recta''. 10.Saccheri hizo una demostracin indirecta del postulado cuarto de Euclides.

61

Captulo IV: Las nuevas geometras

Hemos llegado al momento decisivo en la historia de la geometra no euclidiana. Despus de centenares de aos de intentos por demostrar el quinto postulado deducido de los otros postulados o de sustituirlo por otros ms sencillos, los gemetras cortaron el nudo gordiano. Construyeron un nuevo marco terico que revolucionara (con el tiempo) la percepcin de las matemticas. Es interesante sealar que la construccin de estos resultados se dio en la primera mitad del siglo XIX, que fue un periodo decisivo en la creacin de la sociedad moderna. A finales del siglo anterior se haba dado la Revolucin Francesa con su cortejo de implicaciones para la historia. Varios cambios en la percepcin del mundo se haban provocado. El nuevo momento estableca tambin un contexto social y cultural para la aceptacin de una nueva manera de ver la geometra y las matemticas en general.

4.1 GAUSS Y LA NUEVA GEOMETRA

Gauss al igual que el ruso Nikolai Ivanovich Lobachevsky (1793-1856), y el hngaro Jnos Bolyai (1802-1860), crearon independientemente las geometras no euclidianas. Gauss se adelant en el tiempo a los otros matemticos, pero no public sus resultados. Carl Friedrich Gauss naci en 1777 en la ciudad alemana de Brunswick, y se educ en la Universidad de Gttingen. Gauss produjo resultados del ms alto nivel en casi todos los campos de las matemticas puras y aplicadas. Su trabajo le vali el ttulo de "Prncipe de los matemticos'', y es considerado uno de los ms grandes matemticos de la historia.

62

Los esfuerzos de Gauss en la geometra no euclidiana empezaron desde 1792, cuando tena 15 aos, cuando le habra dicho a su amigo Schumacher que tena la idea de una geometra vlida sin el quinto postulado euclidiano. No obstante Gauss pas varios aos tratando de deducir el postulado a partir de otros. En 1799 Gauss le escribi un carta al matemtico hngaro Wolfgang Farkas Bolyai (1775-1856) en la que le expresaba su opinin: no se poda deducir el quinto postulado de los otros postulados euclidianos, y empez a prestarle mucho cuidado a la existencia de geometras sin ese postulado vlidas y tambin aplicables a la realidad. A partir de 1813 Gauss trabaj en la nueva geometra que llam primero anti-euclidiana, luego astral y finalmente no euclidiana. Gauss lleg a la conclusin que no poda probarse que los resultados de la geometra euclidiana fueran autoevidentes y su verdad necesaria, lo que s suceda -en su opinin- con la aritmtica..

Carl Friedrich Gauss (1777-1855)

La geometra es emprica
Para Gauss la aritmtica era a priori, es decir su verdad se establece sin recurrencia alguna al mundo que nos rodea. La mecnica, contrariamente, no es a priori y exige la recurrencia a la realidad y sus proposiciones pueden ser modificadas de acuerdo a la experiencia. Gauss lleg a la conclusin que la geometra se pareca ms a la mecnica que a la aritmtica. Gauss incluso trat de mostrar la aplicabilidad de la nueva geometra: midi los ngulos del tringulo formado por tres montaas Hohenhagen, Brocken y Inselsberg para intentar demostrar que esta suma era superior a los 180 grados. No pudo concluir nada porque el margen de error haca imposible que el resultado fuera fiable. 63

4.2 BOLYAI Y LOBACHEVSKY Lobachevsky

Nikolai fue hijo de un modesto funcionario del gobierno ruso, quien muri cuando el nio tena 7 aos.

Nikolai Lobachevsky (1793-1856) A los 21 aos empez como profesor de la Universidad de Kazn de la que lleg a ser rector en 1827. Present en 1826 su aproximacin en torno a la nueva geometra, pero este trabajo se perdi. Posteriormente public sus trabajos en Kazan, y tambin en el Journal fr Mathematik. El primer ensayo se llam "Sobre los fundamentos de la geometra" (1829-1830) y un segundo trabajo: "Nuevos Fundamentos de la Geometra con una Teora Completa de las Paralelas". (1835-1837). El llam su geometra primeramente imaginaria y luego pangeometra.

Bolyai
Jnos Bolyai era hijo de un profesor hngaro de matemticas de provincia: Wolfgang (Farkas) Bolyai, quien fue amigo de Gauss. Farkas haba tratando de demostrar el postulado de las paralelas la mayor parte de su vida. Cuando supo que su hijo estaba interesado en el asunto lo advirti radicalmente: "Por amor de Dios te lo ruego, olvdalo. Tmelo como a las pasiones sensuales, porque lo mismo que ellas, puede llegar a absorver todo tu tiempo y privarte de tu salud, de la paz de espritu y de la felicidad en la vida''

64

En 1832-1833, Jnos public "Ciencia absoluta del espacio'' como apndice en un libro de su padre: Tentamen Juventutem Studiosam in Elementa Matheseos Purae Introducenci (Intento de introducir la juventud estudiosa en los elementos de Matmticas Puras). Aunque public ms tarde que Lobachevsky, Bolyai haba trabajado las geometras no euclidianas por lo menos desde 1823. Tanto Gauss, Lobachevsky, como Bolyai concluyeron que el postulado euclidiano de las paralelas no se poda probar como deduccin de los otros 9 postulados y axiomas de la geometra euclidiana, y que un postulado adicional era necesario para fundamentar esta geometra.

Jnos Bolyai (1802-1860) Puesto que el postulado de las paralelas era un hecho independiente, se justificaba (lgicamente) la adopcin de una proposicin contraria a ese axioma. Se trataba entonces de deducir las consecuencias de un nuevo sistema donde se incluyera el nuevo axioma (contrario al de las paralelas).

4.3 PRIORIDAD Y SENTIDO HISTRICOS

Como fue Lobachevsky el primero en publicar su obra, se le suele tomar como el padre de la geometra no euclidiana. Pero, como hemos visto, las cosas son ms complejas. No es difcil imaginar que se dio una polmica acerca de la prioridad histrica de los resultados. Gauss al leer en 1832 el artculo de Jnos escribi a su padre dicindole que no poda aplaudir ese trabajo porque de hacerlo sera aplaudir su propio trabajo (de Gauss). Similamente Bolyai pens que Lobachevsky le haba copiado su trabajo.

65

La realidad es que el tema estaba en el ambiente matemtico de la poca y no debe parecer extrao que varios matemticos llegaran a conclusiones similares. Para empezar, varios trabajos fueron precedentes: Saccheri, Lambert, Schweikart y Taurinus; Gauss, Lobachevsky y Bolyai tuvieron acceso a o referencia de ellos. No est de sobra mencionar, sin embargo, que hubo una conexin entre Gauss y Bolyai, as como Gauss y Lobachevsky. En el primer caso, la amistad de Gauss con Wolfgang, el padre de Jnos Bolyai, ofreci por lo menos la oportunidad a Jnos de conocer los puntos de vista de Gauss. En el segundo caso, resulta que Lobachevsky fue discpulo de otro amigo de Gauss: Johann Martin Bartels (1769-1836) quien estuvo al tanto de las ideas de Gauss. Es decir, tanto Bolyai como Lobachevsky tuvieron contacto con Gauss va amigos cercanos del gran matemtico alemn. Lo menos que puede decirse es que, al margen de los resultados tcnicos propios, estos matemticos estaban al tanto de las opiniones y los enfoques gaussianos en torno a la geometra.

Una revolucin
Histricamente la geometra no euclidiana constitua una autntica revolucin. Sin embargo, su influencia en la comunidad matemtica tom su tiempo. Gauss no public sus resultados y Lobachevsky y Bolyai no provenan de los pases ``importantes'' en la ciencia de la poca. Lobachevsky public primero en ruso y los rusos que lo leyeron fueron muy severos con su trabajo (fue hasta 1840 que Lobachevsky public en alemn). Dos cosas ms deben mencionarse: por un lado, durante esa poca la geometra de moda era la proyectiva, y, por otra parte, los matemticos no se sentan cmodos con ideas radicalmente nuevas. Despus de la muerte de Gauss, en 1855, se public sus trabajos incluyendo notas y correspondencia en torno a la geometra no euclidiana. Esto hizo que se le pusiera atencin al tema. Los trabajos de Bolyai y Lobachevsky fueron mencionados en 1866-1867 por el matemtico Richard Baltzer (1818-1887) y poco despus se fue tomando conciencia de la trascendencia de la nueva geometra. La geometra que desarrollaron asumi que por un punto exterior a una recta pasan un nmero infinito de rectas paralelas a la dada (es decir que no poseen puntos de interseccin). Esto se derivaba de la hiptesis del ngulo agudo de Saccheri. De hecho, es con dos paralelas que trabaj Lobachevsky: Existen dos rectas paralelas a una dada que pasan a travs de un punto que no est en la recta dada.

66

La geometra as desarrollada inclua algunos de los resultados de la geometra euclidiana puesto que asuma todos los otros axiomas salvo el quinto. Y, por supuesto, contena otros totalmente diferentes.

Dos paralelas y una perpendicular

Considere un punto exterior a la recta dada , y rectas paralelas a . .

Considere ahora una recta

perpendicular a y que pasa por

Dos paralelas y una perpendicular

67

El ngulo

en la geometra euclidiana sera de 90 grados. Pero en la nueva geometra ste ngulo depende de la longitud de la se acerca a 0 el . Si es ms corto, el ngulo se hace ms grande. Conforme

es ms bien agudo. Y lo que es ms sorprendente es que el ngulo perpendicular

ngulo se acerca a 90 grados. En la geometra euclidiana un ngulo no cambia de tamao si cambian de longitud los rayos o segmentos que le dan origen. Otro resultado: La suma de lo ngulos de un tringulo es menor que 180 grados. Y, ms an, si el rea del tringulo disminuye entonces aumenta la suma. Se acerca a 180 cuando el rea del tringulo se acerca a 0. El matemtico Lambert ya haba notado que en la nueva geometra la suma de los ngulos de un tringulo aumentaba conforme el rea del tringulo decreca.

4.4 ALGUNAS IMPLICACIONES

La construccin de la geometra no euclidiana revela varias caractersticas de las matemticas y de las ciencias en general.

1. El sentido social de la ciencia y de las matemticas

Los conceptos y mtodos matemticos, en general, no son el producto de una o dos mentes aisladas. Varios cientficos aportaron sus resultados creando un terreno frtil para dar pasos ms decisivos y ambiciosos. Ah estaban Sacchieri, Lambert, Schweikart y muchos otros que durante siglos trabajaron el postulado de las paralelas para buscar una mejor comprensin de la geometra. As funciona la ciencia, es posible ver hacia adelante pero siempre sobre los hombros de muchos otros. Las influencias de unos sobre los otros son claras. Eso s: los caminos son muchos dependiendo de la poca y las circunstancias. Hoy en da a partir de las revistas especializadas, el correo electrnico o las reuniones cientficas constantes este tipo de procesos es ms evidente. En siglos pasados, la correspondencia personal o el viaje itinerante de unos cientficos lograba la comunicacin y el intercambio social y colectivo de ideas y opiniones. La construccin cientfica es un hecho histrico, social y colectivo.

2. Varios factores sociales

Si lo anterior nos lleva a tener que considerar las contrucciones de las ciencias como resultados complejos con la participacin de muchos, la geometra no euclidiana tambin es un ejemplo de cmo en la construccin matemtica intervienen los factores no matemticos, opiniones y percepciones ideolgicas.

68

Saccheri se detuvo y crey que haba reivindicado a Euclides, al ver una contradiccin sobre lo que pensaba era la naturaleza de la geometra. La "contradiccin'' a la que le condujo la hiptesis del ngulo agudo no era lgica sino ideolgica. Un siglo despus, el contexto social e ideolgico permiti otro resultado. La "contradiccin'' poda ser vista no como una contradiccin sino como una proposicin vlida, que se poda sostener perfectamente. Para Saccheri la geometra euclidiana (con todos sus postulados y axiomas) era autoevidente, su verdad era necesaria, y describa el mundo que nos rodea. Suponer el postulado quinto falso y no llegar a una contradiccin o encontrar una geometra que violase nuestra percepcin de la realidad era impensable. Admitir que una nueva geometra no euclidiana poda ser lgicamente vlida constituy un paso hacia adelante. Pero ms lejos fue Gauss: asumi que no solo era una geometra vlida en trminos lgicos sino que sta poda explicar o describir partes de nuestra realidad. Evidentemente, el nuevo contexto ideolgico y social as como el desarrollo mismo de las matemticas y de las otras ciencias haca posible sostener este tipo de ideas. Gauss asumi la geometra como basada en la experiencia emprica al igual que la mecnica y la aritmtica como conocimiento a priori compuesto de verdades autoevidentes y necesarias. Esta ltima apreciacin era tambin ideolgica y sera comn a otros matemticos y lgicos del siglo XIX.

3. Pleitos
No ha sido extrao, por la naturaleza colectiva y social de las matemticas y la ciencia, la existencia de malentendidos, rivalidades, debates y hasta odios encontrados entre miembros de una comunidad cientfica.

4. Inercia y temor
Es interesante que resultados de tanta trascendencia terica no hayan tenido el impacto inmediato en la comunidad matemtica de la poca. No solo se trataba de la ausencia de medios de comunicacin, tambin pesaban hechos como que la comunidad matemtica se inclinaba por estudiar otras cosas: la geometra proyectiva o los fundamentos del Clculo Diferencial e Integral por ejemplo; o, tambin pesaba, la inercia y conservadurismo de la comunidad matemtica para aceptar resultados tan revolucionarios.

5. Individuo y colectividad
Si Gauss hubiera publicado sus resultados habra permitido un desarrollo ms pronto y, probablemente, ms amplio y profundo en la comunidad matemtica, capaz de nutrir o redirigir el curso de la investigacin matemtica de la poca. Esta es la dialctica entre lo colectivo y lo individual: la matemtica ser colectiva y social en muchas de sus dimensiones, pero el papel del individuo es tan importante como para poder cambiar el curso de la historia si las circunstancias lo colocan en el lugar indicado.

69

4.5 PREGUNTAS
Conteste las siguientes preguntas. 1. De qu pas era Lobachevsky? 2. Por que Gauss deca que la geometra se pareca ms a la mecnica? 3. Quin fue Wolfgang Bolyai? 4. Por qu decimos que tanto Bolyai como Lobachevsky estuvieron "al tanto de las opiniones y los enfoques gaussianos en torno a la geometra''? Diga si la proposicin es falsa o verdadera. Justifique su respuesta. 5. Gauss desarroll sus trabajos fundamentales en la ciudad suiza de Zrich. 6. Para Gauss la aritmtica era como la mecnica. 7. Bolyai pens que Lobachevsky haba copiado su trabajo sobre las geometras no euclidianas. Comente: "Los conceptos y mtodos matemticos, en general, no son el producto de una o dos mentes aisladas. (...) As funciona la ciencia, es posible ver hacia adelante pero siempre sobre los hombros de muchos otros. Las influencias de unos sobre los otros son claras. Eso s: los caminos son muchos dependiendo de la poca y las circunstancias''.

70

Captulo V: Desarrollos Posteriores

Las geometras no euclidianas tuvieron un impacto en la historia de las matemticas pero tambin de la fsica y la ciencia en general. Piense las implicaciones que poda tener el que la geometra euclidiana no correspondiera necesariamente con la realidad. Si algo que se crea verdadero y absolutamente seguro por ms de 2000 aos ya no lo era qu pasara con las cosas menos verdaderas, el resto de las cosas? Sera posible obtener teoras cientficas verdaderas o el ser humano est condenado a la ignorancia y la incertidumbre? Qu pasara con los puentes y edificios construidos con base en esa geometra? Y las medidas de los terrenos? Significaba que se iban a caer las edificaciones o que haba que repartir las fincas de otras manera? Nuestra historia posee ms captulos. Por ejemplo: su influencia en la gestacin de la teora de la relatividad de Albert Einstein, que revolucionara la fsica moderna. As que aqu vamos a seguirle la pista a las nuevas geometras.

5.1 RIEMANN
Las geometras no euclidianas no seran plenamente integradas a las principales lneas del desarrollo de las matemticas hasta el trabajo realizado por el alemn Georg Bernhard Riemann (1826-1866). Riemann fue el hijo de un pastor luterano, aunque naci enfermizo posea una inteligencia precoz. Fue estudiante de Gauss en la Universidad de Gttingen y luego logr ser profesor de esa prestigiosa institucin alemana.

71

Georg Bernhard Riemann (1826-1866) Riemann contribuy directamente a la generacin de nuevas geometras de una forma muy amplia.Una recta esfrica es un crculo grande. No posee principio ni fin. Es ilimitada, pero no es infinita.

Sobre la esfera.

No hay paralelas
Al igual que Gauss, Bolyai y Lobachevsky asumi un postulado contrario al quinto de Euclides. Pero en lugar de asumir que existe un nmero infinito de rectas paralelas que pasan por un punto exterior a una recta dada, asumi que no pasaba ninguna. Para Riemann, estaba en mayor acuerdo con la realidad el que no existiera ninguna recta paralela. Es decir, si se extendieran las rectas tarde o temprano se cortaran. 72

Esta era la hiptesis del ngulo obtuso de Saccheri. Pero Riemann no se qued ah. Saccheri haba combinado este axioma (dos rectas se cortan) con los otros 9 eucldeos, mientras Riemann propuso un cambio adicional. Si era vlido dudar del quinto postulado por qu no era posible dudar de los otros?. Eso hizo con relacin al segundo postulado. Recordemos que en la geometra euclidiana: "Es posible extender un segmento de recta a una recta''. Es decir, de un segmento podemos obtener un recta infinita. Riemann pens que lo que realmente podemos garantizar no es una recta infinita, sino ms bien que el proceso de extender un segmento no posee fin. Hizo una distincin muy sutil entre entre longitud infinita y longitud ilimitada o inacabable. Por ejemplo: uno puede recorrer un crculo ilimitadamente pero el crculo posee una longitud finita. De esta manera, Riemann enfatiz una dimensin especial del concepto de recta; stas aqu no son longitudes infinitas sino ilimitadas. Armado con la reformulacin de estos dos nuevos postulados cre una nueva geometra no euclidiana. Como usaba postulados euclidianos, al igual que con las otras geometras no euclidianas, obtena resultados euclidianos; como, por ejemplo, el criterio de congruencia de tringulos Por supuesto, tambin resultados no euclidianos, por ejemplo: La suma de los ngulos de un tringulo es siempre mayor de 180 grados. Esta suma, adems, vara de acuerdo al tamao del tringulo. Conforme hacemos el tringulo de menor rea, la suma se hace ms pequea, cercana a 0 cuando el rea tiende a 0.

73

Otro resultado: Dos tringulos semejantes son congruentes. Esto sucede tambin en la geometra de Lovachevsky. Este es el tipo de geometra con el que nos familiarizaremos en el siguiente captulo, a travs de una representacin de la misma.

La geometra diferencial
Riemann hizo ms que crear una nueva geometra: coloc a las geometras no euclidianas en un marco terico ms general. Ya no se trataba de que se cumpliera el postulado de las paralelas o no, Riemann preconizaba un cambio de visin total sobre la geometra. Para Riemann la geometra ya no deba ser sobre puntos o las rectas del espacio como solemos conocerlo, la geometra deba tratar de lo que se llama variedades. Vamos a ver algunos aspectos de esta historia.

Gauss haba realizado mucho trabajo en la construccin de mapas y la llamada geodesia. Y de aqu se engendrara un nuevo enfoque sobre el sentido del espacio. El asunto tiene que ver con el Clculo Diferencial e Integral, creado por Newton y Leibniz en el siglo XVIII. El concepto clave es el de "geometra diferencial'' (trmino llamado as por primera vez por Luigi Bianchi, 1856-1928, en 1894). Este tema se podra definir como el estudio de las propiedades de las curvas y superficies que varan de un punto a otro. Cuando se da este tipo de variacin (de punto en punto) se utiliza las tcnicas del Clculo. Se trataba de una temtica que naca del desarrollo del Clculo pero que tena importantes implicaciones en la geometra misma. Para que se tenga una idea: el clculo de rectas normales o tangentes, puntos de inflexin (de cambio de concavidad), curvaturas, seran los asuntos de la geometra diferencial en un plano. 74

Los mismos asuntos se pueden estudiar en el espacio de tres dimensiones. Todos estos asuntos tenan una importancia vital en fsica, mecnica y en la confeccin de mapas. Por ejemplo, consideremos el problema de representar en un plano (una hoja) la esfera; lo cual sera parecido a poner en un mapa el planeta Tierra. Era claro desde antes del siglo XVIII que esto no se poda hacer preservando las propiedades geomtricas de la esfera en el plano (de la Tierra en el mapa). Pero s hay algunas propiedades geometricas que s se preservan en esta representacin en el plano. Por ejemplo, los ngulos. En efecto, el inters se volc durante muchos aos hacia las representaciones que permitan preservar los ngulos de las curvas consideradas. J. H. Lambert, Euler, Lagrange y muchos otros matemticos del siglo XVIII buscaron avanzar en estos temas tan apreciados para la cartografa.

De la esfera al plano.

75

La superficie como espacio

En 1827, Gauss escribi su formidable artculo sobre la geometra diferencial en las superficies: Disquisitiones Generales circa Superficies Curvas (Investigaciones generales sobre superficies curvas). Aqu dio Gauss una nueva idea que sera usada por Riemann: una superficie se poda ver como un espacio en s mismo. En 1854, Riemann dio una conferencia en Gttingen para optar a la categora de Privatdozent (profesor). Gauss, quien le haba dado a Riemann como tema de estudio los fundamentos de la geometra, estuvo presente. El trabajo sin embargo no fue publicado sino hasta 1868 y fue intitulado ber die Hypothesen, welche der Geometrie zu Grunde liegen (Acerca de las hiptesis que estn en los fundamentos de la geometra).

en el espacio de tres dimensiones

76

La geometra euclidiana es emprica

Riemann al igual que Gauss asoci geometra con mecnica, pero fue ms lejos que Gauss. Riemann trat de demostrar que los axiomas especficos de Euclides eran empricos y no autoevidentes y necesarios en s mismos al margen de la experiencia. Su estrategia fue buscar qu era lo realmente a priori en la geometra del espacio y estudiar sus consecuencias. Cualesquiera otras propiedades del espacio no eran a priori y entonces seran de naturaleza emprica. Es decir, ver lo realmente necesario y autoevidente, y una vez resuelto esto hacer ver que lo que quedaba fuera solo poda ser emprico.

Por pedazos
En su investigacin Riemann concluy que para estudiar el espacio deba hacerse localmente y no como un todo. Es decir, se deba analizar el espacio por pedazos. No se poda dar resultados aplicables para todo el espacio. Esto era precisamente lo que haca la llamada geometra diferencial al estudiar las propiedades de las curvas y superficies en el espacio. Usando bastantes resultados de Gauss en la geometra de las superficies en un espacio euclidiano, Riemann generaliz este tipo de resultados. Una variedad diferencial era precisamente uno de esos pedazos a estudio. Habl entonces de una geometra de dimensiones (aunque el caso de mayor inters era el de tres dimensiones). coordenadas. . ; en 3

Una variedad est compuesta por puntos con dimensiones los puntos son de la forma El conjunto de puntos forma una variedad.

Las variedades eran el concepto ms general y stas posean un conjunto de propiedades aplicables a cualquier variedad. Este conjunto era las propiedades necesarias y autoevidentes que Riemann andaba buscando.

Espacio fsico como ejemplo de variedad

Riemann demuestra que el espacio fsico es un caso especfico de variedad y, entonces, concluye que la geometra del espacio no puede ser deducida del conjunto de propiedades generales de las variedades.

77

William Clifford (1845-1879) Para Riemann estas propiedades que distinguen el espacio fsico de otras variedades de tres dimensiones deben ser obtenidas por medio de la experiencia. Puesto de otra forma: la experiencia es la que debe decidir si las propiedades especficas que sintetiza la geometra euclidiana corresponden a la realidad o no. Los axiomas de la geometra euclidiana pueden corresponder o no con la realidad que nos rodea. Descubrir eso, deca Riemann, no es un asunto para la geometra sino para la fsica.

Una nueva visin del espacio

Esto planteaba una visin del espacio muy diferente de la que incluso hoy en da nos resulta natural. El matemtico ingls William K. Clifford afirmaba las siguientes propiedades del espacio fsico que probablemente coincidiran con las de Riemann: El espacio es una superficie en promedio plana pero donde existen unas pequeas porciones que son como pequeas colinas. Esta propiedad de ser curvo o distorsionado se pasa de una porcin del espacio a otra como hace una onda. La variacin de la curvatura del espacio es lo que pasa en el movimiento de la materia. En este mundo fsico esta variacin es lo nico que se da, adems de la ley de la continuidad. La conclusin que se obtiene frente a un espacio que cumpla lo anterior es muy importante. Se trata de un espacio donde la curvatura vara de lugar en lugar y, debido al movimiento de la materia, la curvatura cambia tambin de tiempo en tiempo. Es decir: hay variacin debida al espacio y al tiempo. Es imposible que las leyes de la geometra euclidiana se puedan aplicar en un espacio as concebido. Entonces, la conclusin es muy fuerte: la geometra euclidiana no es la geometra del espacio que nos rodea.

78

Esto es un resultado maravilloso. Estudiar el espacio debe hacerse tomando en cuenta estas colinas y honduras. La asociacin entre espacio y materia, que sealamos en Clifford y Riemann, condujo en la direccin de la teora de la relatividad.

La Botella de Klein es una superficie que posee una sola cara. Extrao no es cierto?

5.2 DE RIEMANN A KLEIN

Despus de la muerte de Riemann en 1868, varios matemticos siguieron estas lneas de trabajo ampliando los resultados: Eugenio Beltrami (1835-1900), Elwin Brunno Christoffel (1829-1900) y Rudolph Lipschitz (1832-1903).

Eugenio Beltrami (1835-1889)

79

Curvatura
El segundo concepto ms importante usado por Riemann en 1854 fue el de curvatura de una variedad. A travs de este concepto Riemann trat de caracterizar el espacio euclidiano y, de manera ms general, los espacios en los cuales las figuras pueden ser movidas sin que cambien en forma y magnitud. El concepto de curvatura que us Riemann era una generalizacion de un concepto similar usado por Gauss para las superficies. Las geometras no euclidianas que ms inters suscitaron despus de Riemann fueron las de curvatura constante. Este concepto no lo vamos a definir aqu, pero s a sealar su trascendencia. El mismo Riemann haba sugerido en 1854 que un espacio de curvatura constante positiva en dos dimensiones se poda realizar en la superficie de una esfera, en la cual las geodsicas se tomaran como las rectas. Este tipo de geometra se llama una geometra doble elptica. (A veces se conoce simplemente por elptica). Entonces: la geometra esfrica que luego veremos con cierto detalle es un modelo de geometra no euclidiana que se llama doble elptica. La geometra de Gauss, Lobachevsky y Bolyai fue llamada por el alemn Felix Klein como geometra hiperblica.

La pseudoesfera
En 1868, Beltrami acab con el asunto de la prueba del quinto postulado: prob que una prueba no era posible. Prob esto demostrando que la geometra no euclidiana es igualmente consistente que la geometra euclidiana (es decir sin contradicciones lgicas internas). Para lograr su prueba cre un modelo de estas ltimas (para un pedazo de su plano) que se llama la pseudoesfera. Este modelo sale de rotar una curva llamada tractrix alrededor de su asntota: Y da algo parecido a lo siguiente:

Pseudoesfera de Beltrami

80

La esfera
El matemtico Heinrich Liebmann (1874-1939) prob que la esfera es la nica superficie cerrada analtica (sin singularidades) de curvatura positiva constante. Es la nica que puede ser usada como un modelo euclidiano para la geometra doble elptica.

La esfera como modelo de la geometra doble elptica El desarrollo de estos modelos ayud a los matemticos a darle cierto sentido a las nuevas geometras. Pero en esa poca todava faltaban otros resultados matemticos que permitieran comprender con cabalidad las geometras no euclidianas.

Dentro de la geometra proyectiva

Probablemente el resultado que ms influy en esa direccin fue la conexin que se desarroll entre la geometra euclidiana y la geometra proyectiva. Los matemticos lograron demostrar que la proyectiva era ms general; es decir, por ejemplo, que la euclidiana era un caso de la proyectiva. De igual manera Felix Klein (1849-1925) fue ms lejos. Hizo ver que la geometra hiperblica y la doble elptica podan englobarse dentro de la geometra proyectiva. Un esquema de la clasificacin de Klein puede ser el siguiente (algunas de las geometras mencionadas no las vamos a explicar en este libro).

81

Clasificacin de algunas geometras segn Klein

La aplicacin de las nuevas geometras

Aunque Gauss, Bolyai y Lobachevsky creyeron en la aplicabilidad fsica de sus nuevas geometras, los matemticos siguientes no pensaron igual. Incluso Cayley, Klein y Poincar no visualizaron aplicaciones. Klein, por ejemplo, pensaba que el espacio fundamental era el euclidiano y las otras geometras eran otras formas de geometra euclidiana con algunas variaciones (con nuevas funciones de distancia). Poincar a lo nico que llegaba es a decir que la geometra euclidiana era la ms conveniente. Con la emersin de la teora de la relatividad por Einstein todas estas valoraciones del papel, importancia y lugar de las geometras no euclidianas y, por ende, de la euclidiana, tuvieron que cambiar drsticamente.

82

5.3 PREGUNTAS
Conteste las siguientes preguntas. 1. Quin formul por primera vez el nombre de "geometra diferencial''? 2. Quin fue el primer matemtico que dijo que una superfice se poda ver como un espacio en s mismo? 3. Hacia qu teora condujo la asociacin que hacan Clifford y Riemann entre espacio y materia? 4. Cmo se llama la geometra desarrollada por Gauss, Lobachevsky y Bolyai? En los siguientes ejercicios diga si la proposicin es falsa o verdadera. Justifique su respuesta. 5. Para Riemann la geometra euclidiana era emprica. 6. Segn la geometra de Riemann es posible estudiar el espacio como un todo. 7. Eugenio Beltrami fue quien definitivamente zanj la discusin en torno a la validez del quinto postulado de Euclides. 8. La geometra euclidiana es ms general que la geometra proyectiva. 9. Para Poincar la geometra no euclidiana era la ms conveniente para describir la realidad.

83

Captulo VI: Sobre la esfera

En los pasados captulos hemos hecho un recorrido breve alrededor de la historia de la geometra no euclidiana. No hemos intentado visualizar ningn modelo fsico de ellas. En este captulo es esto ltimo lo que pretendemos, aunque siempre de una manera muy introductoria y si si quiere informal. Nos interesa aqu, entonces, hacer una representacin fsica de lo que puede ser una geometra no euclidiana, para que en particular se aprecie bien la utilidad de las mismas. Una de las representaciones ms interesantes y atractivas es la que se puede lograr por medio de una esfera. Para que usted se ubique en el tema, considere una bola de ftbol o un globo terrqueo y trate de trazar una longitud entre los polos con una cinta mtrica. Trace tambin una longitud entre dos puntos que no estn en los polos:

Medida en los polos

Medida fuera de los polos

Cuntas trayectorias podra usar usted en el caso del globo y cuntas en el de la bola?

84

6.1 GEOMETRA ESFRICA

Llamamos con los trminos geometra esfrica el estudio de las propiedades de rectas, puntos, segmentos, y todas las figuras geometrcas puestas en la superficie de una esfera. Esta constituye un modelo o ejemplo de geometra no euclidiana. Es decir: la geometra esfrica es una geometra diferente a la clsica euclidiana pero que tiene perfecta validez. En ella el plano es la superficie de una esfera. Los puntos son iguales que en la euclidiana pero las rectas son los crculos grandes, aquellos que pasan por dos puntos opuestos (tambin se llaman geodsicas ). Vea la figura siguiente:

En el plano y en la esfera La distancia ms corta entre dos puntos no es el segmento sino el arco de un crculo grande.

El segmento

es un arco. 85

Aplicaciones
La aplicacin de esta geometra en la realidad es mucha. Consideremos por ejemplo el globo terrqueo. En el dibujo al final mostramos las lneas de longitud y las lneas de latitud que se usan para definir la posicin en nuestro planeta. Como se puede ver las lneas que unen los polos son todas crculos grandes, mientras que entre las lneas de latitud solo el Ecuador es un crculo grande.

Paralelos y meridianos en el globo terrqueo .

86

6.2 SEMEJANZAS Y DIFERENCIAS

Como hemos visto, varios postulados constituyen la base de la geometra sistematizada por Euclides. Los postulados suelen plantearse como verdades autoevidentes, es decir que su verdad nos parece ms o menos obvia. Otra caracterstica de los postulados es que stos no pueden ser deducidos de otros postulados. Es decir: los postulados son evidentes en s mismos y adems elementos primarios (base de todos los dems resultados).

La pirmide axiomtica

El quinto postulado
El postulado euclidiano ms famoso y controversial, como estudiamos antes, fue el quinto. Recordemos su enunciado: Dadas dos rectas en un plano y una tercera recta que las corta: si la suma de los ngulos interiores de un lado es menor que dos ngulos rectos, entonces las rectas, si se extienden suficientemente, se cortarn en el lado en el cual la suma de los ngulos es menor que dos ngulos rectos.

El quinto postulado de Euclides 87

Observe bien nuestro dibujo. Note que si usted extiende las rectas hacia la derecha rpidamente se cortaran en el lado derecho de la pgina. Usted, sin embargo, podra preguntar qu pasara si cambiamos las rectas y stas se cortan en un punto que estuviera fuera de esta hoja?

Casi paralelas Bueno, la respuesta es fcil: use una hoja ms grande. Pero, usted insiste qu pasara si los ngulos internos a la derecha suman digamos 179, 99999 grados, es decir rectas casi paralelas? dnde se cortan las rectas? Sin duda tendra que conseguir un papel muchsimo ms grande. Y si seguimos poniendo 9's a 179, 99999 grados...? Aqu hay un problema. Cul? Cmo lo describira usted? Este postulado, como usted ya sabe, se suele llamar como Postulado de las Paralelas por el equivalente postulado dado por el matemtico y fsico escocs John Playfair (1748-1819): Por un punto dado externo a una recta dada solo puede pasar a lo sumo una recta paralela a la recta dada.

Un punto exterior a una recta

88

Postulado de las paralelas

Dos tipos de geometra

Como sabemos, la negacin lgica del quinto postulado nos da dos proposiciones diferentes 1. Dado un punto exterior a una recta dada, pasan ms de una recta paralela a la recta dada.

Varias paralelas 2. Dado un punto exterior a una recta dada, no pasa ninguna recta paralela a la recta dada.

Ninguna paralela Cada una de estas suposiciones dio origen a geometras distintas.

89

En la geometra esfrica
Dos crculos grandes distintos (la rectas esfricas) y interseccin. Haga un dibujo para representar esta situacin. siempre poseen dos puntos de

Ahora considere una recta (esfrica), es decir un crculo grande Por lo anterior, cualquier recta que pase por interseca a

y un punto externo en dos puntos.

La conclusin es: Dados una recta . y un punto fuera de ella, no existe una recta paralela a que pase por

90

Angulos de un tringulo
La suma de los tres ngulos de un tringulo esfrico es mayor que 180 grados. Tambin: esa suma vara dependiendo del rea del tringulo. La realidad es que conforme se hace ms pequeo el rea del tringulo, la suma de sus ngulos aunque mayor que 180 grados se acerca cada vez ms a los 180 grados. Veamos un ejemplo grfico de cmo sucede:

Por la construccin usted puede ver que los ngulos en los tres ngulos es mayor que 180 grados. Dados y

son rectos y, entonces, la suma de y

pueden pasar un crculo grande que los contuviera o, en el caso de ser y que los contiene.

opuestos, muchos crculos grandes. La conclusin es que dados dos puntos menos una recta (esfrica)

existe por lo

91

6.3 PREGUNTAS
Conteste las siguientes preguntas. 1. Explique con sus palabras qu es la geometra que en este libro hemos llamado esfrica? 2. En un cilindro cunto suman los ngulos de un tringulo? 3. Cules son las rectas de la geometra esfrica? 4. Es un arco la distancia ms corta entre dos puntos en la geometra esfrica? Explique su respuesta por escrito. 5. Mencione un ejemplo de aplicacin de la geometra esfrica. 6. De dos caractersticas de los postulados en geometra. Diga si la proposicin es falsa o verdadera. Justifique su respuesta. Puede usar un diagrama para mostrar su punto de vista. 7. En la geometra esfrica, dos rectas distintas se intersecan en dos puntos. 8. En la geometra euclidiana, dados dos puntos existe por lo menos una recta que los contenga. 9. La suma de los ngulos de un tringulo esfrico es mayor de 180 grados. 10.Dos rectas esfricas se intersecan en 2 puntos. 11.Dados una recta esfrica por . y un punto , existe solo una recta perpendicular a que pasa

92

Captulo VII: Otros modelos geomtricos

Como hemos visto, en la geometra esfrica no pasa una paralela por un punto exterior a una recta. Esta geometra sobre la superficie de una esfera constituye lo que llamamos un modelo o una representacin de algo que se llama la geometra doble elptica, planteada por el gran matemtico alemn Bernhard Riemann en el siglo XIX. Antes vimos que si no se asume el quinto postulado de Euclides es posible asumir dos postulados contrarios. Ya vimos uno de ellos. Si asumimos el otro posible criterio, es decir si por un punto exterior a una recta dada pasan ms de una recta paralela, estaremos en lo que se llama geometra hiperblica. Como precisamos antes, fueron los grandes matemticos Gauss, Lobachevsky y Jnos Bolyai quienes construyeron este tipo de geometra. Para conseguir un modelo (un ejemplo) de geometra hiperblica las cosas no son tan fciles. La primera aproximacin que vamos a hacer es a travs de una silla de montar .

7.1 EN UNA SILLA DE MONTAR

Esta geometra se puede representar como si el plano fuera una silla de montar a caballo. Recuerde la forma de ese tipo de sillas. Consideremos en este plano una recta y un punto fuera de ella.

93

Usted puede fcilmente observar que existe ms de una paralela que pasa por

En el dibujo anterior vea cmo dados la recta y son paralelas a .

y el punto

, existen rectas

que pasan por

7.2 DENTRO DE UN DISCO

Ahora vamos a ver otra representacin de la geometra hiperblica. Le vamos a llamar el modelo de Beltrami-Klein porque fue planteado por los matemticos Eugenio Beltrami (italiano) y Felix Klein (alemn). Dibujemos un crculo Llamemos Si en el plano euclidiano normal.

al centro del crculo. es el radio.

es un punto en la circunferencia entonces

Vea la figura siguiente:

94

Interior del crculo Como usted sabe muy bien, el interior de Ahora s, aqu est la definicin: Los puntos del interior del crculo representan los puntos del nuevo plano hiperblico. consiste de todos los puntos tales que

Note que los puntos de la circunferencia no son parte de este plano hiperblico. Sigamos:

95

Una cuerda es un segmento que conecta dos puntos A y B que estn en la circunferencia. Este segmento sin los puntos terminales se llama cuerda abierta. Se denota . Vea la figura:

y Entonces:

son cuerdas abiertas

Una recta en este modelo es una cuerda abierta. Es decir: las cuerdas abiertas son las rectas de este plano.

96

El punto .

est en

quiere decir que

est en la recta eucldea y la recta .

y que

est entre

Llegamos a un punto clave. Consideremos el punto

Podemos trazar dos rectas paralelas abierta .

que pasan por

y ambas son paralelas a la cuerda

La figura siguiente evidencia nuestra anterior afirmacin:

Bueno, usted se habr preguntado cul es la definicin de paralelismo para que las cosas funcionen as? Aqu la definicin de dos rectas paralelas es que no posean un punto en comn. Es decir: dos cuerdas abiertas son paralelas si no poseen puntos en comn.

97

Note que no importa que al extender

stas corten a la extensin de .

El plano hiperblico no sigue fuera del crculo .

98

7.3 OTRO MODELO

Otro modelo de geometra hiperblica es lo que se suele llamar el disco de Poincar, en honor a un matemtico francs de finales del siglo XIX y principios del siglo XX (de hecho, Poincar cre dos modelos de geometra hiperblica). Es parecido al anterior de Beltrami-Klein. Se toma, tambin, como plano al conjunto de los puntos del interior de un crculo . Sin embargo las rectas se definen de manera diferente. En primer lugar: todos los dimetros son rectas.

Los dimetros son rectas Otras rectas se definen de la siguiente manera: Dado el crculo constryase un crculo que sea ortogonal a .

Es decir que en sus puntos de interseccin, sus respectivos radios sean perpendiculares. Esto lo podemos visualizar as:

Crculos que se cortan ortogonalmente

99

El arco del crculo

que est dentro del interior de

representa una recta del plano de Poincar.

Debe recordar siempre que el plano hiperblico no incluye los puntos en la circunferencia de . Entonces: Los dimetros de y estos arcos as construidos son las rectas del plano de Poincar.

Un detalle: las longitudes se distorsionan cerca de la frontera (circunferencia) para hacerla inalcanzable. Para que se tenga una idea mayor, veamos como se encontrara un ngulo:

El ngulo se mide a partir de las rectas tangentes (euclidianas) a las curvas en el punto de interseccin.

100

Rectas tangentes a un crculo

Rectas tangentes a una funcin

Ahora usted puede darse cuenta que existe un nmero infinito de rectas paralelas a una recta que pasan por un punto externo .

En la figura siguiente construimos 2 rectas paralelas a que pasan por .

(que no poseen puntos en comn con ) y

Vamos a representar un cuadriltero en este modelo:

101

Note que uno de los vrtices es el centro del disco. Si lo ampliamos nos queda as:

Observe que este cuadriltero posee 3 ngulos rectos y uno agudo. Este tipo de cuadrilteros fue planteado por el matemtico suizo Lambert en el siglo XVIII. Como ha podido notar, al cambiar algunas reglas del juego geomtrico, toda la geometra comn se trastoca. Es un nuevo juego aunque participen algunas caractersticas similares.

7.4 EL OTRO MODELO DE POINCAR

Para ofrecer una pincelada del otro modelo de Poincar, vamos a mencionar lo bsico: Este plano hiperblico viene representado por los puntos de uno de los semiplanos determinados por una recta eucldea fija. Considere la figura siguiente, en la cual tomamos el semiplano determinado por el eje :

102

Las rectas se repreentan por 2 formas: a) como rayos que emanan de puntos sobre el eje y perpendiculares al eje ;

b) como semicrculos en la aprte superior del semiplano cuyo centro descansa sobre el eje . Las nociones de "estar entre'' e "incidencia'' son las eucldeas. Un comentario final: los tres ltimos modelos no son tan diferentes; en realidad se puede establecer una correspondencia unvoca (es decir, uno a uno) entre los puntos y rectas de un modelo y los correspondientes de otro, de tal manera que se preserve la "incidencia'', la relacin "estar entre'' y la "congruencia''.

7.5 PREGUNTAS
Conteste las siguientes preguntas. 1. Enuncie el postulado contrario al de las paralelas que sirve de base para la geometra hiperblica. 2. Mencione el nombre de los tres creadores de la geometra hiperblica. 3. Si tomamos el plano como una silla montar cuntas rectas paralelas a una recta dada pasan por , un punto externo a ? 4. Cules son las rectas del modelo de Beltrami-Klein? 5. Explique por escrito qu son dos rectas paralelas en el modelo de Beltrami-Klein. 6. En el disco de Poincar, dnde estn sus puntos? 7. En este disco de Poincar, cuntos tipos de rectas existen?. Explique. Diga si la proposicin es falsa o verdadera. Justifique su respuesta. Puede usar un diagrama para mostrar su punto de vista. 8. En una silla de montar, la suma de los ngulos de un tringulo es de 180 grados. 9. En el modelo de Beltrami-Klein, se puede trazar un segmento que una dos puntos de la circunferencia. 10.Las rectas del disco de Klein son las cuerdas. 11.En el modelo de Poincar, los dimetros son rectas. 12.Por un punto exterior a una recta dada, en el modelo de Poincar no pasan rectas paralelas.

103

Captulo VIII: Algunas lecciones

Las geometras no euclidianas engendran modelos compatibles con el mundo real; es decir pueden servir para describir la realidad que nos rodea. Con relacin a eso el modelo de la esfera para la geometra riemanniana es muy evidente. Con claridad vemos que las longitudes en nuestro planeta estn sobre geodsicas que poseen curvatura. Es ms exacto pensar en trminos de curvas que de rectas. De hecho, otro ejemplo, los peritos topgrafos necesitan usar reglas geomtricas diferentes a las euclidianas para realizar sus mediciones de terrenos que no son planos ni rectos. El concepto de recta eucldea es una abstraccin ms que una realidad. La pregunta que surge es por qu en la historia de la humanidad surgi primero una geometra como la euclidiana y no, por ejemplo, una esfrica?

8.1 LA CUERDA ESTIRADA

La respuesta est en que los griegos antiguos escogieron una cuerda estirada o el borde una regla como la lnea recta fsica y con esa escogencia establecieron los axiomas eucldeos, base de toda su geometra. Esta escogencia pareciera lo natural para seres vivientes que se mueven en superficies pequeas. Por ejemplo, no podemos apreciar la curvatura de las longitudes del planeta Tierra tan fcilmente. De hecho, su carcter cuasiesfrico tom mucho tiempo para ser descubierto. Si bien en los griegos antiguos se lleg a afirmar la redondez de la Tierra (probablemente, por la perfeccin atribuida a lo circular) e, incluso, que sta giraba alrededor de un gran fuego central, durante siglos la visin dominante era que la Tierra era plana. 104

Una longitud terrestre es siempre una curva.

Newton y Einstein
Para distancias fsicas pequeas la geometra euclidiana sirve. Newton elabor sus leyes con base en la geometra eucli-diana (y con los conceptos de espacio y tiempo absolutos e independientes). Pero en el espacio esto ya no es as. Geometras no eucli-dianas son las que sirven para explicar fenmenos estelares. Los rayos de luz se toman como las lneas rectas de la geometra espacial. Pero los rayos de luz se distorsionan (se ``curvan'') por la accin gravitatoria de las masas planetarias. El Sol, la Tierra, la Luna, Jpiter y otros astros distorsionan los rayos de luz.

La masa planetaria distorsiona los rayos de luz Einstein us una de estas geometras (ms compleja que las que hemos visto en este libro) para elaborar su teora de la relatividad y explicar fenmenos estelares que el modelo de Newton no lograba describir bien. 105

Albert Einstein (1879-1955)

Un paradigma
Pero volvamos a la historia de la geometra. Una vez escogida la lnea recta, todas las otras figuras geomtricas se vieron condicionadas por esa escogencia. Entonces pas lo que ya sabemos: una escogencia de lo que podemos llamar un paradigma (un modelo de ideas sobre la realidad) realizada socialmente, y con influencia de las limitaciones y ca-ractersticas de nuestra especie, defini una evolucin cultural durante ms de 2000 aos.

8.2 LECCIONES TILES

La historia de la geometra no euclidiana deja muchas lecciones. Lo primero que las geometras no euclidianas logran es cuestionar el estatus de la geometra euclidiana como u-na descripcin de las propiedades geomtricas del mundo que nos rodea. O, lo que es igual, establece nuevas teoras para e-sa descripcin. En la gnesis de la matemtica, como en todas las ciencias, participan entonces las condiciones materiales, circunstancias sociales, y procesos de pensamiento. Durante todo el siglo XIX fueron muy pocos los matemticos que pensaron que estas teoras eran aplicables a la realidad. Las vieron mayoritariamente como curiosidades lgicas, o derivables de la euclidiana de una u otra ma-nera.

106

 Las matemticas no son colecciones de verdades sobre la realidad. Al igual que en todas la ciencias, las teoras de las matemticas son descripciones aproximadas de nues-tro mundo. Las teoras se usan de acuerdo a su utilidad y capacidad para describir y explicar procesos de nuestro mundo. Si no sirven o no son adecuadas a esos propsitos otras teoras las sustituirn. Las teoras matemticas son contruidas por individuos de carne y hueso en grupos y culturas humanas precisas. Estas trasmiten sus limitaciones, sus prejuicios, opiniones y capacidades, y condicionan las caractersticas y el destino de las teoras. Las comunidades matemticas deciden sus criterios para aceptar la validez de sus teoras. Esos criterios son tambin histricos y sociales. Por eso a veces son unos y a veces otros. A veces las comunidades se equivocan.

Las geometras no euclidianas demostraron que no hay teoras definitivas, absolutas, verdaderas para siempre, y que, entonces, la mejor actitud en el conocimiento (y en la vida) es la de respeto, apertura y flexibilidad para aceptar nuevas ideas o teoras.

107

8.3 PREGUNTAS
Conteste las siguientes preguntas. 1. Por qu la gente pensaba que la Tierra es plana? 2. Qu es un paradigma? 3. Son las matemticas colecciones de verdades absolutas? Explique. 4. Qu le sucede a los rayos de luz en el espacio cuando pasan cerca de planetas? Diga si la proposicin es falsa o verdadera. Justifique su respuesta. 5. Newton mejor el modelo de la fsica de Einstein. 6. Las geometras no euclidianas son mejores que la geo-me-tra euclidiana. 7. Comente "Las teoras matemticas son contruidas por indivi-duos de carne y hueso en grupos y culturas humanas precisas. Estas trasmiten sus limitaciones, sus prejuicios, opiniones y capacidades, y condicionan las caractersticas y el destino de las teoras. Las comunidades mate-m-ti-cas deciden sus criterios para aceptar la validez de sus teoras. Esos criterios son tambin histricos y sociales. Por eso a veces son unos y a veces otros. A veces las comunidades se equivocan.''

108

BIBLIOGRAFIA

Babini, Jos. Historia sucinta de la matemtica. Madrid: Es-pasa-Calpe, S.A., 1969. Baron, Margaret E. The Origins of the Infinitesimal Calculus. Londres: Pergamon Press, 1969. Bell, E.T. Men of Mathematics. New York: Simon and Shuster, 1937. Bell, E.T. Development of Mathematics. New York: MacGraw Hill Book Co., 1940. Una versin tambin en ingls pero aumentada sali en 1945. Versin en espaol por el Fondo de Cultura Econmica S. A.: Mxico, 1949. Bell, E.T. Mathematics. Queen & Servant of Science. Washington D. C. : Mathematical Association of America, 1951. Otra edicin por Tempus Books of Microsof Press: Redmond, Washington, 1987. Benacerraf, Paul y Putnam, Hilary (editores): Philosophy of Mathematics: Selected Readings. Cambridge University Press, 1983. Bernal, John D.. Science in History. Londres: C. A. Watts and Co. Ltd., 1954. Versin en espaol (traduccin de Eli de Gortari) por la UNAM de Mxico: Mxico, 1972. Bochner. Salomon. The Role of Mathematics in the Rise of Science. Princeton, N. J.: Princeton University Press, 1966. Bolzano, Bernard. Las paradojas del infinito. Mxico: UNAM (Coleccin MATHEMA), 1991. La primera versin de este trabajo fue publicada en alemn en Leipzig en 1851. Bonola, R. Non-Euclidean Geometry. New York: Dover, 1955. Bourbaki, Nicols. Elements d'Histoire des mathematiques. Pars: Hermann, 1960. Edicin en espaol por Alianza Editorial: Madrid, 1972. 109

 Boyer, Carl B. The Calculus and its Conceptual Development. New York: Dover, 1959. Boyer, Carl B. A History of Mathematics. John Wiley and Sons, 1968. Posee una traduccin al espaol por Alianza Editorial: Madrid, 1986. Campbell, Douglas y Higgins, John C.. Mathematics: People, problems, Results. Belmont, California, EUA:Wadswoth, Inc., 1984. Cohen, I. Bernard. Revolution in Science. Cambridge, Mass.: Harvard University Press, 1985. Coxeter, H. S. M., Introduccin a la Geometra, Mxico: Limusa--Wiley, 1971. Fauvel, J. y Gray, J. (editores) The History of Mathematics: A Reader, Milton Keynes, Reino Unido: Open University, 1987. Gauss, Carl Friedrich. Disquisitiones Arithmeticae. Versin espaola publicada por la Academia Colombiana de Ciencias Exactas, Fsicas y Naturales: Bogot, 1995, y realizada por Angel Ruiz, Hugo Barrantes, y Michael Josephy de la Universidad de Costa Rica. Gillies, Donald (editor). Revolutions in Mathematics. Oxford: Clarendon Press Oxford, 1992. Greemberg, Marvin Jay. Euclidean and non-Euclidean Geometries. New York: W.H. Freeman and Company, 1974. (Primera edicin en 1972). Hartshorne, R., Companion to Euclid: A course of geometry, based on Euclid's Elements and its modern descendants. Providence, RI: American Mathematical Society, 1997. Heath, T. L.: A History of Greek Mathematics. Oxford: Clarendon Press, 1921. Heath, T. L. Euclid`s Elements. New York: Dover, 1956. Hull, L. W. H. History and Philosophy of Science. Messr. Longmans, Green and Co. Ltd., 1959. Versin en espaol por Seix Barral: Barcelona, 1962. Kline, Morris. Mathematics in Western Culture. New York: Oxford 1953. Kline, Morris. Mathematics for the Nonmathematician. New York: Dover, 1985. La primera edicin apareci como Mathematics for liberal arts. Reading, Mass., EUA: Addison Wesley, 1967. Kline, Morris. Mathematical Thought from Ancient to Modern Times. New York: Oxford University Press, 1972. Kline, Morris. Mathematics. The Loss of Certainty. New York: Oxford University Press, 1980. Kline, Morris. Mathematics and the search for Knowledge. New York: Oxford University Press, 1985. Kneale, William y Martha. The Development of Logic. Oxford: Clarendon Press, 1962. Versin en espaol de Editorial Tecnos: Madrid, 1972. 110

 Kramer, Edna. The Nature and Growth of Modern Mathematics. Princeton, N. J.: Princeton University Press, 1981. Klein, F. Geometry, parte 2 del libro Elementary Mathematics from an Advanced Standpoint. New York: Dover, 1948. Knorr, Wilbur R.. The ancient tradition of geometric problems. Boston: Birkhuser, 1986. Otra edicin por Dover: New York, 1993. Lakatos, Imre. Mathematics, Science and Epistemology Philosophical Papers. Volume 2. Londres: Cambridge University Press, 1978. La versin en espaol es de Alianza Editorial: Madrid, 1983. Newman, James (editor). The World of Mathematics. New York: Simon and Schuster, 1956. Edicin en espaol por Ediciones Grijalbo S. A.: Barcelona, 1969. Poincar, H. Science and Hypothesis. New York: Dover, 1952. Poly, G. How to solve it. A New Aspect of Mathematical Method. Princeton, N. J.: Princeton University Press, 1945. Ruiz, Angel. "Sobre la revolucin cientfica y matemtica en el siglo XVII'', en el libro editado por A. Ruiz: Las Matemticas en Costa Rica (Memorias "Tercer Congreso Nacional de Matemticas''), Octubre 1990, San Jos, Costa Rica. Ruiz, Angel. "Polmicas de mtodo en la historia de la ciencia y las matemticas'', en el libro editado por A. Ruiz : Las Matemticas en Costa Rica (Memorias "Tercer Congreso Nacional de Matemticas''), Octubre 1990, San Jos, Costa Rica. Ruiz, Angel. Matemticas y filosofa. Estudios logicistas. San Jos, Costa Rica: Editorial de la Universidad de Costa Rica, 1990. Ruiz, Angel. "Los orgenes de la Revolucin Cientfica'', Elementos, N.14, Ao 4, Vol. 2, julio setiembre 1990, Univ. Autnoma de Puebla, Puebla, Mxico. Ruiz, Angel. Ocaso de una utopa. Costa Rica: Editorial de la Universidad de Costa Rica, 1993. Ruiz, Angel. "Tecnologa y humanismo''. Panorama de un mundo cambiante. Ctedra de Historia de la Cultura, Estudios Generales, Univ. C.R., agosto 1994. Ruiz, Angel, y Barrantes, Hugo. Elementos de Clculo Diferencial (2 volmenes), San Jos, Costa Rica: Edit. Univ. CR, 1997. Ruiz, Angel, y Barrantes, Hugo. Elementos de Clculo Diferencial. Historia y ejercicios resueltos, San Jos, Costa Rica: Edit. Univ. CR, 1997. Smith, D. E. History of Mathematics. Boston: Ginn, 1923. Tambin en Dover: New York, 1958. Struik, D. J. A Concise History of Mathematics. New York: Dover, 1967.

111

 Struik, D. J. A Source Book in Mathematics 1200-1800. Cambridge, Mass.: Harvard University Press, 1969. Otra edicin por Princeton University Press: Princeton, N. J., 1986. Taton, Ren (Editor). Histoire gnrale des sciences. Pars: Presses Universitaires de France, 1957-1961, 5 volmenes. Tsijli, Th., Geometra Eucldea I, San Jos: Editorial de la UNED, 1994. Vrilly, J. C., Elementos de Geometra Plana. San Jos: Editorial de la UCR, 1988. Yaglom, I. M., Geometric Transformations III, New York: Random House, 1973.

112