HISTORIA DE LA GEOMETRA

"Antes del pensamiento que aspira a una coherencia lgica hallamos fe en una u otra magia".

Geometra antes de los griegos

El origen de la Geometra coincide con el origen de la humanidad. El pensamiento precientfico apoyado sobre el monotesmo naturalista de Amenhotep IV funda en el siglo XIV aC culto a la nueva imagen del dios Ra representado con un crculo dorado. La abstraccin del pensamiento mgico representa el primer acercamiento -informal e intuitivo- a la Geometra. Anteriormente, en el siglo XXVII a.C., el emperador chino Hoang-Ti mand construir un observatorio astronmico con el fin principal de corregir el calendario.

Las primeras civilizaciones mediterrneas adquieren poco a poco conocimientos geomtricos de carcter muy prctico basados en frmulas -mejor dicho, algoritmos expresados en forma de recetario-, para calcular reas y longitudes. La finalidad era prctica al pretender con ello calcular la produccin proporcional de las parcelas de tierra para determinar los impuestos, o reconstruir las parcelas de tierra despus de las inundaciones. El conocimiento geomtrico tanto de egipcios como de las culturas mesopotmicas pasa ntegramente a la cultura griega a travs de Tales de Mileto, la secta de los pitagricos, y esencialmente de Euclides.

La Geometra antes de Euclides

Tales visita Egipto una larga temporada y aprende de los sacerdotes y escribas egipcios lo referente a sus conocimientos en general. Impresiona ahora -tanto como a los egipcios- que fuera capaz de razonar y medir entonces la altura de la pirmide de Keops y de predecir un eclipse solar con asombrosa precisin.

La Geometra griega es la primera en ser formal. Parte de los conocimientos concretos y prcticos de las civilizaciones egipcia y mesopotmicas, y da un paso de abstraccin al considerar los objetos como entes ideales -un cuadrado cualquiera, en lugar de una pared cuadrada concreta, un crculo en lugar del ojo de un pozo...- que pueden ser manipulados mentalmente, con la sola ayuda de la regla y el comps. Aparece por primera vez la demostracin como justificacin de la veracidad de un conocimiento, aunque en un primer momento fueran ms justificaciones intuitivas que verdaderas demostraciones formales.

La figura de Pitgoras y de la secta de seguidores pitagricos tiene un papel central, pues eleva a la categora de elemento primigenio el concepto de nmero, arrastrando a la Geometra al centro de su doctrina -en este momento inicial de la historia de la Matemtica an no existe distincin clara entre Geometra y Aritmtica-, y asienta definitivamente el concepto de demostracin formal como nica va de establecimiento de la verdad en Geometra.

Esta actitud permiti la medicin de la tierra por Eratstenes, as como la medicin de la distancia a la luna, y la invencin de la palanca por Arqumedes, varios siglos despus.

En el seno de los pitagricos surge la primera crisis de la Matemtica: la aparicin de los inconmensurables aunque esta crisis es de carcter ms filosfico y aritmtico que geomtrico.

Surge entonces un problema a nivel lgico: una demostracin parte de una o varias hiptesis para obtener una tesis. La veracidad de la tesis depender de la validez del razonamiento con el que se ha extrado (esto ser estudiado por Aristteles al crear la Lgica) y de la veracidad de las hiptesis. Pero entonces debemos partir de hiptesis ciertas para poder afirmar con rotundidad la tesis. Para poder determinar la veracidad de las hiptesis, habr que considerar cada una como tesis de otro razonamiento, cuyas hiptesis deberemos tambin comprobar. Se entra aparentemente en un proceso sin fin en el que, indefinidamente, las hiptesis se convierten en tesis a probar.

Euclides y los Elementos

Vinculado al Museo de Alejandra y a su Biblioteca, Euclides zanja la cuestin al proponer un sistema de estudio en el que se da por sentado la veracidad de ciertas proposiciones por ser intuitivamente claras, y deducir de ellas todos los dems resultados. Su sistema se sintetiza en su obra cumbre los Elementos, modelo de sistema axiomtico-deductivo. Sobre tan slo cinco postulados y las definiciones que precisa construye toda la Geometra y la Aritmtica conocidas hasta el momento. Su obra, en XIII volmenes, perdura como nica verdad geomtrica hasta el siglo XIX.

Entre los postulados en los que Euclides se apoya hay uno (el quinto postulado) que trae problemas desde el principio. Su veracidad est fuera de toda duda, pero tal y como aparece expresado en la obra, muchos consideran que seguramente puede deducirse del resto de postulados. Durante los siguientes siglos, uno de los principales problemas de la Geometra ser determinar si el V postulado es o no independiente de los otros 4, es decir, si es necesario considerarlo como un postulado o es un teorema, es decir, puede deducirse de los otros, y por lo tanto colocarse entre el resto de resultados de la obra.

Despus de Euclides

Euclides cierra la etapa de Geometra griega -a excepcin de Pappus en el 350 aC-, y por extensin la etapa del mundo antiguo y medieval-, a excepcin tambin de las figuras de Arqumedes y Apolonio.

Arqumedes estudi ampliamente las secciones cnicas, introduciendo en la Geometra las primeras curvas que no eran ni rectas ni circunferencias, aparte de su famoso clculo del volumen de la esfera, basado en los del cilindro y el cono.

Apolonio trabaj en varias construcciones de tangencias entre crculos, as como en secciones cnicas y otras curvas.

Los tres problemas de la Antigedad

La Geometra griega es incapaz de resolver tres famosos problemas que heredarn los matemticos posteriores. Los tres problemas deban ser resueltos entonces utilizando regla y comps, nicos instrumentos aceptados en la Geometra de Euclides. Aadido a estos tres problemas, la demostracin de si el V postulado es o no es un teorema deducible de los cuatro anteriores se considera adems de otro problema clsico de la Geometra helenstica el hilo conductor hasta las Geometras No Euclidianas del siglo XIX. Los tres otros problemas son:

La duplicacin el cubo

Pericles muere de la terrible peste que asola Atenas.Cuenta la leyenda que una terrible peste asolaba la ciudad de Atenas, hasta el punto de llevar a la muerte a Pericles. Una embajada de la ciudad fue al orculo de Delos, consagrado a Apolo (en

ciertas fuentes aparece el orculo de Delfos, en lugar del de Delos, tambin consagrado a Apolo), para consultar qu se deba hacer para erradicar la mortal enfermedad. Tras consultar al Orculo, la respuesta fue que se deba duplicar el altar consagrado a Apolo en la isla de Delos. El altar tena una peculiaridad: su forma cbica. Prontamente, los atenienses construyeron un altar cbico cuyos lados eran el doble de las del altar de Delos, pero la peste no ces, se volvi ms mortfera. Consultado de nuevo, el orculo advirti a los atenienses que el altar no era el doble de grande, sino 8 veces mayor, puesto que el volumen del cubo es el cubo de su lado ((2l)3 = 23l3 = 8l3). Nadie supo cmo construir un cubo cuyo volumen fuese exactamente el doble del volumen de otro cubo dado, y el problema matemtico persisti durante siglos (no as la enfermedad).

La triseccin del ngulo

Este problema consiste en dividir un ngulo cualquiera en tres ngulos iguales, empleando nicamente la regla y el comps, de manera que la suma de las medidas de los nuevos tres ngulos sea exactamente la medida del primero. Dadas las condiciones nadie ha logrado hacerlo.

La cuadratura del crculo

La cuadratura del crculo consiste en tratar de obtener, dado un crculo, un cuadrado cuya rea mide exactamente lo mismo que el rea del crculo. Anaxgoras fue el primero en intentar resolverlo, dibujando en las paredes de su celda cuando fue hecho prisionero por explicar diversos fenmenos que los griegos atribuan a los dioses. Tampoco pudo ser resuelto por los gemetras de la antigedad, y lleg a ser el paradigma de lo imposible. Como curiosidad, el filsofo ingls David Hume lleg a escribir un libro con supuestos mtodos para resolver el problema. Hume no tena conocimientos matemticos serios, y nunca acept que todos sus mtodos fallaban.

La Geometra en la Edad Media

Durante los siguientes siglos la Matemtica comienza nuevos caminos - lgebra y Trigonometra - de la mano de indios y rabes, y la Geometra apenas tiene nuevas aportaciones, excepto algunos teoremas de carcter ms bien anecdtico. En Occidente, a pesar de que la Geometra es una de las siete Artes Liberales (encuadrada concretamente en el Quadrivium), las escuelas y universidades se limitan a ensear los Elementos, y no hay aportaciones, excepto tal vez en la investigacin sobre la disputa del V postulado. Si bien no se lleg a dilucidar en este periodo si era o no independiente de los otros cuatro, s se llegaron a dar nuevas formulaciones equivalentes de este postulado.

La Geometra en la Edad Moderna

La Geometra Proyectiva

Es en el Renacimiento cuando las nuevas necesidades de representacin del arte y de la tcnica empujan a ciertos humanistas a estudiar propiedades geomtricas para obtener nuevos instrumentos que les permitan representar la realidad. Aqu se enmarca la figura del matemtico y arquitecto Luca Pacioli, de Leonardo da Vinci, de Alberto Durero, de Leone Battista Alberti, de Piero della Francesca, por citar slo algunos. Todos ellos, al descubrir la perspectiva y la seccin crean la necesidad de sentar las bases formales en la que se asiente las nuevas formas de Geometra que sta implica: la Geometra proyectiva, cuyos principios fundamentales aparecen de la mano de Desargues en el siglo XVII. Esta nueva geometra de Desargues fue estudiada ampliamante ya por Pascal o por de la Hire, pero debido al inters suscitado por la Geometra Cartesiana y sus mtodos, no alcanz tanta difusin como mereca hasta la llegada a principios del siglo XIX de Gaspard Monge en primer lugar y sobre todo de Poncelet.

La Geometra Cartesiana

La aparicin de la Geometra Cartesiana marca la Geometra en la Edad Moderna. Descartes propone un nuevo mtodo de resolver problemas geomtricos, y por extensin, de investigar en Geometra.

El nuevo mtodo se basa en la siguiente construccin: en un plano se trazan dos rectas perpendiculares (ejes) -que por convenio se trazan de manera que una de ellas sea horizontal y la otra vertical-, y cada punto del plano queda unvocamente determinado por las distancias de dicho punto a cada uno de los ejes, siempre y cuando se d tambin un criterio para determinar sobre qu semiplano determinado por cada una de las rectas hay que tomar esa distancia, criterio que viene dado por un signo. Ese par de nmeros, las coordenadas, quedar representado por un par ordenado (x,y), siendo x la distancia a uno de los ejes (por convenio ser la distancia al eje vertical) e y la distancia al otro eje (al horizontal).

En la coordenada x, el signo positivo (que suele omitirse) significa que la distancia se toma hacia la derecha del eje vertical (eje de ordenadas), y el signo negativo (nunca se omite) indica que la distancia se toma hacia la izquierda. Para la coordenada y, el signo positivo (tambin se suele omitir) indica que la distancia se toma hacia arriba del eje horizontal (eje de abscisas), tomndose hacia abajo si el signo es negativo (tampoco se omite nunca en este caso). A la coordenada x se la suele denominar abscisa del punto, mientras que a la y se la denomina ordenada del punto.

Existe una cierta controversia aun hoy sobre la verdadera paternidad de este mtodo. Lo nico cierto es que se publica por primera vez como Geometra Analtica, apndice al Discurso del Mtodo, de Descartes, si bien se sabe que Pierre de Fermat conoca y utilizaba el mtodo antes de su publicacin por Descartes. Aunque Omar Khayyam ya en el siglo XI utilizara un mtodo muy parecido para determinar ciertas intersecciones entre curvas, es imposible que alguno de los citados matemticos franceses tuviera acceso a su obra.

Lo novedoso de la Geometra Analtica (como tambin se conoce a este mtodo) es que permite representar figuras geomtricas mediante frmulas del tipo f(x,y) = 0, donde f representa una funcin. En particular, las rectas pueden expresarse como ecuaciones polinmicas de grado 1 (v.g.: 2x + 6y = 0) y las circunferencias y el resto de cnicas como ecuaciones polinmicas de grado 2 (v.g.: la circunferencia x2 + y2 = 4, la hiprbola xy = 1 ). Esto converta toda la Geometra griega en el estudio de las relaciones que existen entre polinomios de grados 1 y 2. Desde un punto de vista formal (aunque ellos aun lo saban), los gemetras de esta poca han encontrado una relacin fundamental entre la estructura lgica que usaban los gemetras griegos (el plano, la regla, el comps...) y la estructura algebraica del ideal formado por los polinomios de grados 0, 1 y 2 del Anillo de polinomios \mathbb{R}[x,y], resultando que ambas estructuras son equivalentes. Este hecho fundamental -no visto con nitidez hasta el desarrollo del lgebra Moderna y de la Lgica Matemtica entre finales del siglo XIX y principios del siglo XX-, resulta fundamental para entender por qu la Geometra de los griegos puede desprenderse de sus axiomas y estudiarse directamente usando la axiomtica de Zermelo-Fraenkel, como el resto de la Matemtica.

El mtodo original de Descartes no es exactamente el que se acaba de explicar. Descartes utiliza solamente el eje de abscisas, calculando el valor de la segunda componente del punto (x,y) mediante la ecuacin de la curva, dndole valores a la magnitud x. Por otro lado, Descartes slo considera valores positivos de las cantidades x e y, dado que en la poca aun resultaban "sospechosos" los nmeros negativos. Como consecuencia, en sus estudios existen ciertas anomalas y aparecen curvas sesgadas. Con el tiempo se aceptaron las modificaciones que muestran el mtodo tal y como lo conocemos hoy en da.

Los nuevos mtodos

Agotamiento del mtodo sinttico

La aparicin de la Geometra Analtica trae consigo una nueva forma de entender la Geometra. El nuevo mtodo, algebraico, sustituye al antiguo, el sinttico, consistente en establecer unos axiomas y unas definiciones y deducir de ellos los teoremas. El mtodo sinttico est a estas alturas casi agotado (aunque aun dar algunos resultados interesantes, como la caracterstica de Euler, la naturaleza de estos resultados no es ya tanto geomtrica como topolgica, y los resultados realmente importantes que se hagan en adelante en el campo de la Geometra ya vendrn de la mano de mtodos algebraicos o diferenciales), da paso al mtodo algebraico: estudio de los objetos geomtricos como representaciones en el espacio de ciertas ecuaciones polinmicas, o dicho de otro modo, del conjunto de races de polinomios. El mtodo sinttico slo volver a abordarse cuando aparezcan las geometras no eucldeas, y definitivamente deja de ser un instrumento de investigacin geomtrica a principios del siglo XX, quedando relegado a un conjunto de instrumentos y herramientas para la resolucin de problemas, pero ya como una disciplina cerrada.

Los lmites del mtodo algebraico

El mtodo algebraico se ve posibilitado por un avance en lgebra hecho durante el siglo XVI, la resolucin de las ecuaciones de grado 3 y 4. Esto permite generalizar la Geometra, al estudiar curvas que no son dadas por polinomios de segundo grado, y que no pueden construirse con regla y comps -adems de las cnicas, excluyendo a la circunferencia, claro-. Pero este mtodo, que terminar constituyendo una disciplina propia, la Geometra Algebraica, tardar aun mucho -siglo XX- en salir de unas pocas nociones iniciales, prcticamente inalteradas desde Descartes, Fermat y Newton. La razn ser la imposibilidad de resolver por radicales la ecuacin de quinto grado, hecho no descubierto hasta el siglo XIX, y el desarrollo de la Teora de Anillos y del lgebra Conmutativa.

El Clculo Infinitesimal

El mtodo algebraico tiene otra generalizacin natural, que es la de considerar una curva no solo como una ecuacin polinmica, sino como una ecuacin f(x,y) = 0 en la que el polinomio es ahora sustituido por una funcin cualquiera f. La generalizacin de todo esto desde el plano (2 coordenadas) al estereoespacio (3 coordenadas) se hace de forma natural aadiendo un tercer eje perpendicular (eje z) a los dos ya considerados, y las funciones tomarn la forma f(x,y,z).

Ya Isaac Barrow descubre gracias a la Geometra Analtica la relacin entre la tangente a una curva y el rea que encierra entre dos puntos y los ejes coordenados en su famosa Regla de Barrow, antes incluso de que Newton y Leibnitz dieran cada uno su exposicin del Clculo Infinitesimal. La relacin entre el Anlisis Matemtico y la Geometra es as estrechsima desde incluso los orgenes de aqul. Las ideas geomtricas no slo fueron la base de los instrumentos iniciales del Clculo Infinitesimal, sino que fueron en gran medida su inspiracin. Por eso resulta natural que en un primer momento, Descartes, Newton o los Bernoulli no distinguieran entre los conceptos de curva y de funcin de una variable (o si se quiere, de curva y los ceros de una funcin de dos variables). Fue Euler el primero en empezar a intuir la diferencia, y el primero tambin en ampliar este tipo de estudios a las superficies (como funcin de dos variables o como el conjunto de los ceros de una funcin de tres variables). El trabajo de Monge contina por esta lnea.

En adelante, y hasta la aparicin de Gauss, la Geometra queda supeditada a sus aplicaciones en Mecnica y otras ramas de la Fsica por medio de la resolucin de Ecuaciones Diferenciales. Se estudia en especial la interpretacin geomtrica de las ecuaciones diferenciales (tanto de la solucin en s como problemas asociados a ellas, como puede ser el de las curvas ortogonales). En esta poca aparece el que ser el caballo de batalla de la Geometra Diferencial: el Teorema de la Funcin Implcita.

Fue Huygens el primero en estudiar la curvatura de una curva plana, aunque parece que fue Clairaut el que usa con maestra y fija el concepto.

La Geometra en la Edad Contempornea

Gauss devuelve el carcter geomtrico que impregna parte del Anlisis Matemtico, fundamentalmente con dos contribuciones: el nacimiento de la Variable Compleja y de la Geometra Diferencial.

Pero no son las nicas contribuciones de ste genio al campo de la Geometra. En su adolescencia se vio dividido entre dedicarse a la Filologa o a la Matemtica. A los 17 descubri la manera de construir el polgono regular de 17 lados, y la condicin necesaria y suficiente para que un polgono regular pueda construirse. Esto determin su vocacin.

En su primera demostracin del Teorema Fundamental del lgebra (de las cinco que realiz a lo largo de su carrera) sent las bases del Anlisis de Variable Compleja, usando la interpretacin geomtrica de los nmeros complejos como vectores fijos del plano (no en este lenguaje, que ser introducido mucho ms tarde). Por cierto, se atribuye a Gauss la paternidad de esta idea. Primero Wessel y luego Argand se le anticiparon, pero nadie conoca los estudios de ambos. Aunque no es propiamente obra suya, pues la Variable Compleja est desarrollada fundamentalmente por Cauchy, s es el primero en abordarla seriamente, y sobre todo le da una interpretacin geomtrica que marcar el desarrollo de esta rama.

Pero la principal contribucin de Gauss a la Geometra es la creacin de la Geometra Diferencial, retomando las ideas que sobre las relaciones entre el Anlisis Matemtico y la Geometra haba hasta entonces y desarrollndolas ampliamente.

Partiendo de la base de que la Geometra estudia el espacio, las curvas y las superficies, establece la nocin fundamental de curvatura de una superficie. Gracias a ella, y a la definicin de geodsica, demuestra que si consideramos que una geodsica es una curva con menor distancia entre dos puntos sobre una superficie (es decir, si tenemos dos puntos sobre una superficie, el camino ms corto entre esos dos puntos sin salirnos de la superficie es un segmento de geodsica), concepto totalmente anlogo sobre la superficie al de recta en el plano, existen superficies en las que los tringulos formados por las geodsicas miden ms de la medida de dos ngulos rectos, y otras en las que mide menos. Esto, esencialmente, es contradecir el V postulado de Euclides.

Estas consideraciones llevaron a Gauss a considerar la posibilidad de crear geometras no eucldeas, pero aunque a esas alturas ya era el matemtico ms prestigioso de Europa, consider que la mentalidad de la poca no estaba preparada para un resultado de tal magnitud, y nunca public esos resultados. Slo vieron la luz cuando Bolyai public su geometra no eucldea, y comprob que la comunidad cientfica general aceptaba el resultado.

As que, por un lado, Gauss fue el primero en crear una geometra no eucldea, y por otro fue el creador de la Geometra Diferencial y precursor de la Variable Compleja.

Adems, Gauss es el primero en considerar una nueva propiedad en la Geometra: la orientacin.

El final de los grandes problemas de la antigedad

La controversia sobre el V postulado

Como ya se ha adelantado, Gauss es el primero en construir una geometra (un modelo del espacio) en el que no se cumple el V postulado de Euclides, pero no publica su descubrimiento. Son Bolyai y Lobachevsky quienes, de manera independiente y simultneamente publican cada uno una geometra distinta en la que no se verifica tampoco el V postulado.

Qu quiere decir esto? Tanto Bolyai como Lobachevsky parten de un objeto geomtrico y establecen sobre l unos postulados que son idnticos a los de Euclides en los Elementos, excepto el quinto. Pretenden originalmente razonar por reduccin al absurdo: si el V postulado depende de los otros cuatro, cuando lo sustituya por aqul que dice exactamente lo contrario, he de llegar a alguna contradiccin lgica. Lo sorprendente es que no se llega a contradiccin ninguna, lo cual quiere decir dos cosas:

1 El V postulado es independiente de los otros cuatro, es decir, no puede deducirse de los otros cuatro, no es un teorema, y Euclides hizo bien en considerarlo como un postulado.

2 Existen modelos del espacio en los que, en contra de toda intuicin, por un punto que no est en una cierta recta no pasa una nica recta paralela a la dada. Esto es tremendamente antiintuitivo, pues no podemos concebir tal cosa, no podemos imaginar (ni mucho menos dibujar) una situacin as, sin reinterpretar los conceptos de recta, plano, etc. Pero desde el punto de vista lgico es perfectamente vlido.

Como es de imaginar, esto supuso una fuerte crisis en la Matemtica del siglo XIX, que vino a sumarse a otras controversias.

Es importante sealar que las geometras de Bolyai y de Lobachevsky, no depende de si se construyen usando mtodos analticos o sintticos. Existen formas de construirlas tanto de manera sinttica como analtica. El modelo es el mismo se llegue como se llegue, lo que abunda en su veracidad.

La triseccin del ngulo y la duplicacin del cubo

Un hecho aparentemente lejano en lgebra dar como resultado la resolucin de estos dos problemas. Galois muere a los 21 aos de edad dejando un "testamento" lleno de ideas apresuradamente escritas. Entre ellas se encuentran las bases de la Teora de Grupos y de la Teora de Galois. Galois resolvi el problema de encontrar una frmula para solucionar las ecuaciones de 5 grado, pero este resultado no lleg a ser publicado en su corta vida. Concluy que una ecuacin de grado 5 o mayor puede ser no resoluble por radicales (es decir, mediante una frmula con un nmero finito de operaciones algebraicas). Su manera de abordar el problema abre una nueva va dentro de la Matemtica.

Pero la Teora de Galois (una rama del lgebra que trata sobre cundo es posible resolver una ecuacin polinmica estudiando el conjunto de nmeros en los que se expresa esa ecuacin) no da slo esos frutos. Tambin demuestra que todo lo construible con regla y comps tiene una traduccin a polinomios muy concreta. Se demuestra que trisecar un ngulo o duplicar un cubo necesita de polinomios que no tienen esa forma, y por lo tanto, es imposible con la sola ayuda de la regla y el comps trisecar un ngulo cualquiera o duplicar un cubo.

La cuadratura del crculo

En 1862, Lindemann demuestra que el nmero Pi es trascendente, es decir, no puede ser raz de ningn polinomio con coeficientes enteros. Esto implica que no es un nmero que pueda construirse con regla y comps, y demuestra que no es posible construir con slo estos instrumentos un cuadrado de area igual a la de un crculo dado.

El 10 de junio de 1854, Bernhard Riemann da una conferencia en la Universidad de Gotinga para completar su habilitacin (grado que le permitira optar a una plaza de profesor universitario). El tema de la conferencia fue la Geometra, a eleccin de Gauss, su protector y antiguo profesor durante la licenciatura y el doctorado. La conferencia, cuyo ttulo fue ber die Hypothesen, Welche der Geometrie zu Grunde liegen (Sobre las hiptesis que estn en los fundamentos de la geometra), pasa por ser una de las ms celebradas de la historia de la Matemtica, y uno de los mayores logros cientficos de la

humanidad. De entre los presentes se dice que slo Gauss fue capaz de comprender su contenido, y hay que decir que le entusiasm.

Variedades riemannianas y el tensor curvatura

En la primera parte de la conferencia, Riemann se pregunta qu problema hay en aumentar el nmero de dimensiones del espacio. Riemann, usando aun un lenguaje intuitivo y sin hacer demostraciones, introduce primero el concepto de variedad diferenciable, generalizacin del concepto de superficie a cualquier nmero (entero positivo) arbitrario de dimensiones. De hecho, el nombre variedad hace referencia a las varias coordenadas que variaran para ir obteniendo los puntos del objeto. Las superficies seran las variedades de dimensin 2, mientras que las curvas seran las variedades de dimensin 1, y aun los puntos las de dimensin 0. De todas formas, esta aproximacin al concepto es demasiado imprecisa, pues el punto clave de la definicin formal de una variedad diferenciable (definicin no expuesta correctamente hasta 1913 por Hermann Weyl) es que esto es cierto localmente, es decir, cada punto de la variedad tiene algn entorno homeomorfo a un abierto del espacio eucldeo \mathbb{R}^n, de manera que cuando el inverso de uno de estos homeomorfismos se compone con otro de estos homeomorfismo se obtiene una funcin diferenciable de un abierto de \mathbb{R}^n en otro abierto de \mathbb{R}^n. Pero como decimos hicieron falta casi 60 aos para que la definicin terminara de cuajar.

No era la primera vez que se especulaba con la posibilidad de la existencia de espacios de dimensin superior a 3. De hecho este tema ha sido tratado en la Historia en varias ocasiones, pero siempre desde un punto de vista de la realidad sensible (para negar su existencia) o metafsico. Es Cayley quien en 1843 trata explcitamente el tema por primera vez, y volver a l nuevamente en repetidas ocasiones. Le seguirn Sylvester, Clifford, Grassmann y Schlfli entre otros, aunque hay que decir que la visin de todos ellos es mucho ms algebraica que geomtrica.

Es probable que el estudio de las superficies de Riemann, objetos a cuyo estudio haba dedicado su tesis doctoral, indujeran a Riemann a pensar en este concepto de variedad de dimensin arbitraria.

Si tomamos unos ejes coordenados y dibujamos todos los puntos (x,f(x)), donde x vara en un intervalo y f es una funcin real, derivable y definida sobre ese mismo intervalo, obtendremos la curva (dimensin 1) dada por la grfica de una funcin.

Si en lugar de ser una funcin de una variable tenemos una funcin de dos variables f(x,y), al dibujar todos los puntos (x,y,f(x,y)), donde (x,y) son de una regin del plano donde est definida f, obtenemos una superficie (dimensin 2). Riemann estudia funciones complejas de variable compleja, es decir, funciones cuya grfica tendra por puntos cosas de la forma (x,y,u(x,y),v(x,y)), siendo tanto u(x,y) como v(x,y) funciones reales (es decir, cada uno representa un nmero real). Las grficas de este tipo de funciones tendran dimensin 3 y estaran en un espacio de 4 dimensiones, y gozaran de propiedades muy parecidas a las de las superficies.

Una variedad riemanniana no es slo un objeto geomtrico n-dimensional. Es una variedad diferencial a la que adems hay que dotar de una mtrica. Una mtrica es un campo de tensores diferenciable de grado 2. Veamos: en cada punto de una variedad diferencial se puede calcular el espacio tangente a la variedad en ese punto, al igual que en una superficie (suave), en cada punto podemos calcular el plano tangente en ese punto a la superficie, y en una curva (suave) podemos calcular en cada punto la recta tangente a la curva en dicho punto.

Ese espacio tangente tendr la misma dimensin que la variedad (en el caso de curvas, el espacio tangente -la recta tangente- tiene dimensin 1, en el de superfcies tiene dimensin 2). Una mtrica (o estructura riemanniana) sobre una variedad es una aplicacin que a cada punto de la variedad le asigna un producto escalar en el espacio tangente a la variedad en ese punto, y esa aplicacin es diferenciable. Un producto escalar es, para entendernos, una regla que nos permite calcular longitudes de segmentos y ngulos entre rectas. A travs de una mtrica, se pueden definir sobre una

variedad conceptos como longitud de una curva o el ngulo entre dos curvas, generalizar a variedades el concepto de geodsica, ya utilizado por Gauss para superficies, que viene a ser (ojo, esto es una explicacin de cmo es una geodsica, no es una definicin) una curva dibujada sobre una superficie (o en nuestro caso sobre una variedad) de tal forma que entre dos de sus puntos minimice la distancia medida sobre la superficie (variedad). Por ejemplo, si tenemos un globo y marcamos dos puntos sobre l, la distancia ms corta se calcular, como sabemos, por la medida del segmento de recta que atraviesa el globo por ambos puntos. Sin embargo, si lo que pretendemos es buscar el camino ms corto para llegar de un punto a otro sin salirnos de la superficie del globo, tendremos que dibujar sobre l una curva que una los puntos y se combe por la propia "curvatura" del globo. Esa curva sera un segmento de geodsica en la superficie del globo.

El punto culminante de la primera parte de la conferencia lleg cuando Riemann, utilizando las geodsicas, define el tensor curvatura seccional, que es la generalizacin a variedades del concepto de curvatura estudiado por Gauss. Este instrumento permite "medir la curvatura" de una variedad.

El modelo del Universo

En la segunda parte de la conferencia, Riemann se pregunta por el modelo que debe de seguir el espacio fsico, el espacio en el que nos movemos, cul es su dimensin, cul es su geometra.

Las ideas de Riemann, decididamente muy avanzadas para su poca, cuajaron definitivamente cuando Einstein y Poincar, al mismo tiempo pero de manera independiente, las aplicaron al espacio fsico para crear la Teora de la Relatividad.

El nuevo modo de Riemann de estudiar la Geometra considera que cualquier modelo de espacio (ya sea el plano, el espacio tridimensional, o cualquiera otro) puede ser estudiado como una variedad diferenciable, y que al introducir en ella una mtrica se est determinando la geometra que gobierna ese objeto. Por ejemplo, el plano no es, por s solo, euclidiano ni no euclidiano, sino que introduciendo la mtrica eucldea es cuando en el plano verifica el V postulado de Euclides. Si en lugar de considerar esa mtrica se introduce en el plano otra mtrica, como la de Lobatchevsky, deja de verificarse el mismo postulado. La propiedad de las geodsicas de minimizar la longitud entre dos de sus puntos sin salirse de la variedad recuerda mucho a la definicin de las rectas como aquellas lneas que determinan la menor distancia entre dos puntos. Se considera que las geodsicas son a las variedades riemannianas lo que las rectas al espacio euclidiano, es decir, las geodsicas son como las rectas de las variedades.

Esta nueva visin permite estudiar todas las nuevas geometras no eucldeas, as como la geometra euclidiana bajo la misma ptica de la nueva Geometra Riemanniana.

Cuando las ideas de Riemann consiguen extenderse, la Geometra pasa ya definitivamente a ser el estudio de las variedades, dejando de ser definitivamente el estudio de tringulos, circunferencias, polgonos, etc.

Los puntos bsicos de la conferencia de Riemann son, por un lado, la posibilidad de aumentar indefinidamente el nmero de dimensiones del espacio (el lgebra y el Anlisis estn ya creando la maquinaria necesaria para poder operar en dimensin finita arbitraria, con lo que definitivamente se podr estudiar Geometra ms all de su visualizacin grfica), es decir, de estudiar espacios de 3, 4, 5...dimensiones, y por otro lado dotar a los gemetras de un instrumento, el tensor curvatura, que les permite estudiar las propiedades intrnsecas de esos nuevos objetos, esos nuevos espacios, las variedades.

Felix Klein es la otra gran pieza clave de la Geometra en el siglo XIX. En 1871 descubri que la geometra euclidiana y las no euclidianas pueden considerarse como casos particulares de la geometra de una superficie proyectiva con una seccin cnica adjunta. Esto implicaba dos cosas: la primera es que la geometra euclidiana y las no euclidianas podan considerarse como casos particulares de la geometra proyectiva (o mejor dicho, de la geometra de una superficie en un espacio

proyectivo). La segunda, que la geometra euclidiana es consistente (es decir, no puede llevar a contradicciones) si y slo si lo son las geometras no euclidianas.

Con esto se da fin a la controversia de si las geometras no euclidianas tienen sentido o no, aunque el asunto colear aun unos aos ante el escepticismo de ciertos elementos que considerarn errneo el argumento de Klein.

El Programa de Erlangen

Con motivo de su ingreso como profesor en la Facultad de Filosofa y al Senado de la Universidad de Erlangen, Klein escribi una memoria en 1872 que no lleg a leer en pblico y que puede considerarse, junto a la Conferencia de Riemann y a los Elementos de Euclides, como los puntos esenciales del estudio de la Geometra.

La idea de la memoria, conocida como el Programa de Erlangen, es bastante sencilla. Se trata de dar una definicin formal de lo que es una geometra, ms all de la idea ms o menos intuitiva que tenemos de ella.

Ante la aparicin de las nuevas geometras no euclidianas, parece lgico preguntarse qu es la Geometra, mxime cuando la propia idea de la geometra euclidiana se haba visto modificada desde la irrupcin de los mtodos algebraicos y analticos. Empieza a no estar tan claro que la Geometra sea el estudio de puntos, lneas (rectas o curvas) y superficies, puesto que el propio Anlisis Matemtico (sobre todo en el estudio de Ecuaciones Diferenciales) parece que tambin estudia tales objetos. Por otra parte, los mtodos analticos y algebraicos tambin son aplicables a las geometras no euclidianas. Hay, digamos, dos niveles de distinciones: por un lado, la de las geometras no euclidianas y la geometra euclidiana, por otro lado, la distincin entre el mtodo sinttico, el algebraico y el analtico.

Qu es la Geometra?

Klein responde a la pregunta introduciendo en la Geometra un nuevo concepto de carcter algebraico: el concepto de grupo. Un grupo es un conjunto G en el que hay definida una operacin, es decir, una aplicacin G \times G \longrightarrow G que a cada par de elementos del conjunto se le asigna otro elemento del conjunto (que ser el resultado de operar dichos dos elementos). Mientras que la mayora de la gente est familiarizada con las operaciones numricas, les resulta difcil imaginar que puedan operarse puntos, rectas, etc. Puede hacerse, y no hay ms que pensar en, por ejemplo, la operacin "tomar el punto medio", que a cada par de puntos se le asigna el punto medio del segmento que une los dos primeros puntos.

Para que un conjunto en el que haya una operacin sea un grupo deben de cumplirse ciertas condiciones:

* La operacin debe ser asociativa: esto quiere decir que si tomamos cualesquiera tres elementos a,b,c del conjunto, el resultado de operar los dos primeros (a y b) y operar el resultado de ello con el tercero (c) debe de ser lo mismo que si primero operamos el segundo y el tercero (b y c) y el resultado lo operamos con el primero (a). Es decir, si la operacin la denotamos por \star ha de ocurrir que a \star (b \star c) debe de ser lo mismo que (a \star b) \star c.

* Debe existir un elemento neutro: esto quiere decir que ha de haber un elemento e del conjunto de manera que si tomo cualquier otro elemento a del conjunto y lo opero con l, entonces el resultado vuelve a ser el elemento a, es decir, es como si al elemento a no lo hubiera operado. As, con nuestra notacin, e \star a = a y a \star e = a.

* Por ltimo, cada elemento debe tener un elemento simtrico: esto quiere decir que si yo tomo un elemento cualquiera a del conjunto, entonces puedo encontrar otro elemento \hat{a} del conjunto de tal manera que al operar ambos, el resultado que obtengo es el elemento neutro: a \star \hat{a} = \hat{a} \star a = e.

El concepto de grupo no es invencin de Klein, pero es l quien descubre un hecho fundamental que lo relaciona con las distintas geometras: cada geometra es el estudio de ciertas propiedades que no cambian cuando se le aplican cierto tipo de transformaciones. Esas propiedades -por no cambiar-, las denomina invariantes, y las transformaciones que a un invariante no le hacen cambiar han de tener estructura de grupo bajo la operacin de composicin (componer dos transformaciones es hacer una de ellas y aplicarle la otra transformacin al resultado de la primera). Resumiendo, Klein define soterradamente una geometra como dar el subgrupo de las biyecciones de un conjunto en s mismo que uno admitir como grupo principal. Los conceptos o definiciones sern los invariantes por ese grupo principal, y los teoremas sern las relaciones entre los conceptos.

As Klein descubre que, por ejemplo, la geometra euclidiana es el estudio de los invariantes mediante el grupo de los movimientos rgidos (como las simetras, giros y traslaciones), que la geometra afn es el estudio de los invariantes mediante el grupo de las translaciones, que la geometra proyectiva es el estudio de los invariantes mediante el grupo de las proyectividades, e incluso que la Topologa es el estudio de los invariantes mediante el grupo de las funciones continuas y de inversa continua, entre otras.

De hecho, Klein afirma que la comprensin de "tener una geometra, entonces hay un grupo principal" es ms bien al revs. Uno a priori dice qu tipo de transformaciones admitir (es decir, da el grupo) y todo lo dems se puede reconstruir a partir de l. Se demuestra incluso, que si uno da un subgrupo de las biyecciones de un conjunto en s mismo isomorfo a algn grupo clsico (simetras, translaciones, proyectividades) entonces todos los teoremas de esa geometra son vlidos en este.

El descubrimiento de Klein es fundamental, ya que por un lado nos permite clasificar las geometras, comprendiendo cul es una "subgeometra" de cual, por otro lado nos permite comprender qu es el estudio general de la Geometra (como disciplina matemtica) y por ltimo, pero no menos importante, es la confirmacin de que los mtodos sinttico y algebraico no dan geometras distintas, sino que realmente estudian la misma geometra en cada caso. Se pone fin as a la distincin entre el mtodo sinttico y el algebraico-analtico. En su poca supuso la consagracin de la Geometra Proyectiva como la Reina de las Geometras.

In fieri.

Huellas de los conceptos cientficos (I): La Ciencia anterior a la imprenta

Introduccin
Quizs la mejor manera de definir la Ciencia es como una bsqueda cuidadosa, disciplinada y lgica del conocimiento acerca de todos y cada uno de los aspectos del universo, obtenidos por el examen de las mejores evidencias disponibles y siempre sujeto a correccin y mejora por descubrimiento de evidencias mejores. El estudio de los contenidos de una ciencia pretendiendo captar sus conceptos, trminos y, en definitiva, su sentido, no consiste slo en conocer los principios, leyes y experimentos involucrados en una teora cientfica. La esencia del conocimiento radica en percibir cmo han surgido los principios, cmo se han formulado esas leyes y cules han sido las trayectorias experimentales que se han debido seguir hasta conseguir establecer las teoras que los explican.

Para alcanzar este objetivo es importante el estudio de su devenir. Pero no en cuanto a la enumeracin acumulada de datos biogrficos o culturales, sino ms bien de cmo han ido evolucionando las ideas y las tcnicas, es decir, el modo de pensar y hacer de aqullos que se han dedicado a llevar la ciencia al cuerpo de conocimiento de hoy da. Y conociendo el transcurso histrico pueden hasta entenderse mejor las influencias recprocas entre los avances cientficos, las innovaciones tecnolgicas y los fenmenos sociales (relacin ciencia/tecnologa/sociedad, C/T/S), causas, y al mismo tiempo, efectos del devenir poltico, econmico y cultural del ser humano. Con la ingenuidad y la audacia de los aficionados, en esta primera parte se considerarn las histricamente denominadas Edad Antigua, dominada por la cultura griega, y Edad Media, dominada por la oscuridad feudal.

La antigedad griega

Comienzo

Un mito es un relato sobre dioses que pretende explicar algn fenmeno de la naturaleza. Las fuerzas de la naturaleza son personificadas y deificadas (Zeus, Odn) y a lo largo de la historia sus sucesivos relatores los aumentan y corrigen durante siglos, hasta oscurecer totalmente su origen. Mientras el universo estuviera bajo el control de unas deidades arbitrarias de reacciones imprevisibles no hay posibilidades de comprenderlo, por lo que aparece una manera de pensar totalmente nueva, la filosofa ("amor al conocimiento" = disciplina que trata de la esencia, propiedades, causas y efectos de las cosas naturales). Surge en Grecia alrededor del ao 600 a.C. y es un excitante ejercicio intelectual de tratar de descubrir la existencia de leyes en la naturaleza. El manejo de cantidades representadas por nmeros (Aritmtica) ha estado ligado a saber cuntas cabezas de ganado formaban un rebao, una actividad claramente anterior a la tecnologa. El uso de figuras (Geometra) aparece con la utilizacin de ciertas tecnologas como la alfarera, la cestera o el tejido. Si se considera la Matemtica como una disciplina asociada a contar y medir, puede decirse que est ligada a las grandes civilizaciones antiguas (Egipto, Mesopotamia, India, China). Si se considera la Matemtica como una Ciencia (a partir de conceptos primarios y proposiciones se deduce una teora), hay que remitirse a los autores de todo el invento: los griegos. Los griegos desarrollan dos importantes tcnicas (aplicadas con gran xito a la Geometra): la abstraccin (considerar slo las propiedades necesarias para la solucin de un problema, despreciando sus aspectos no esenciales) y la generalizacin (considerar lo que es comn y esencial en muchas cosas para formar un concepto que las comprenda todas).

Tambin establecen importantes conceptos para el desarrollo de la Ciencia: Los sentidos pueden engaarnos, la naturaleza no es caprichosa y el mundo no se comporta segn explicaciones mgicas o religiosas. Aparece un nuevo tipo de explicacin, la explicacin racional y se inicia la va de la observacin de los fenmenos. La escuela de Mileto establece el origen de las cosas en una nica materia prima. Para Tales de Mileto (624 - 546 a.C.) es el agua, para Anaximandro de Mileto (611 - 547 a.C.) es "lo indefinido" y para Anaxmenes de Mileto (570 - 526 a.C.) es la "niebla", de donde surgen la tierra, el agua y el fuego. En cuanto al problema del cambio, el desacuerdo se produce entre Parmnides de Elea (510 - 470 a.C.), para el que nada puede cambiar y slo la razn es fiable; y Herclito de feso (540 - 480 a.C.), para el que todo "fluye" y los sentidos son fiables. La sntesis entre estos dos conceptos la logran Empdocles de Akragas (494 - 434 a.C.), para el que la naturaleza tiene cuatro elementos (races): tierra, aire fuego y agua, que se mezclan y se vuelven a separar, movidas por dos "fuerzas": amor y odio; y Anaxgoras de Clazomenas (500 - 428 a.C.), para el que la naturaleza est formada por "partes mnimas" que contienen "algo de todo" (semillas) y existe una fuerza que pone orden en la naturaleza (espritu). La primera teora atmica la establece Demcrito de Abdera (460 - 370 a.C.). Toda la materia est compuesta de diminutas partculas indivisibles (tomos), los tomos son eternos, inmutables e indestructibles y entre ellos slo existe el vaco, los tomos difieren fsicamente entre s y esa diferencia proporciona las propiedades de las diversas sustancias y los cambios en la naturaleza de las sustancias consisten en la separacin de tomos unidos y en su reunin siguiendo un nuevo patrn. Se trata de una teora puramente especulativa (sin bases experimentales), siendo sus caractersticas principales su materialismo (slo se basa en conceptos materiales) y su mecanicismo (el universo se mueve segn unas leyes fijas, en las que no interviene ninguna "fuerza"). En el mundo griego destaca el matemtico Pitgoras de Samos (580 - 500 a.C.), para el cual el universo est gobernado por los nmeros, la naturaleza puede ser expresada matemticamente, la tierra es esfrica y la Matemtica se convierte en un conjunto de argumentos deductivos demostrables (deduccin = consecuencia de un principio, proposicin o supuesto). Utiliza la tcnica experimental, sacando conclusiones a partir de observaciones de la naturaleza (monocordio: la vibracin de una cuerda es proporcional a su longitud). Doscientos aos despus se hace famoso Euclides de Alejandra (325 - 265 a.C.), que resume el conocimiento acumulado durante cientos de aos y le da una presentacin lgica genial en sus Elementos. Los Elementos est considerado el ms grande texto de Matemtica de todos los tiempos; es el libro ms traducido, publicado y estudiado en todo el mundo occidental (despus de la Biblia); sigue siendo libro de texto para el estudio de la Geometra. Establece verdades obvias y aceptables por todos, que no necesitan su

demostracin (axiomas); cada teorema (proposicin demostrable lgicamente mediante reglas de inferencia aceptadas) puede demostrarse partiendo de axiomas o de otros teoremas ya demostrados; todos los teoremas tienen idntica estructura: enunciado, demostracin y conclusin ("... que era lo que haba que demostrar."). Entre ambos matemticos tambin destaca el mdico (y tambin bilogo) Hipcrates de Cos (460 - 370 a.C.), para el que la enfermedad es un puro proceso fsico resultado de un desequilibrio de los fluidos (humores) vitales del cuerpo (sangre, flema, bilis negra y bilis amarilla), la prctica mdica est basada en la observacin que, combinada con la razn, permite obtener conclusiones, y el mdico debe interferir lo menos posible en los procesos curativos de la naturaleza. Es considerado fundador de la Medicina (ciencia y arte de precaver y curar las enfermedades del cuerpo humano) y quizs tambin de la Biologa, estudio morfolgica (forma) y fisiolgico (funciones) de los organismos vivos. El ateniense Scrates (470 - 399 a.C.) es el filsofo por excelencia ("slo s que no s nada"), considera que la base del conocimiento es la razn (racionalismo) y es el creador de la dialctica (uso argumentativo del lenguaje), que persigue el conocimiento mediante preguntas y respuestas ("dilogo socrtico"). El tambin ateniense Platn (427 - 347 a.C.) es el fundador de la primera "universidad", la Academia (situada en tierras del griego Academo), el creador de la "teora de las ideas" (hay una realidad eterna e inmutable detrs del mundo de los sentidos que forma el mundo de las ideas) y para l la Geometra representa la perfeccin del mundo de las ideas ("Oudeis ageometretos eisetos" ="Que no entre [en la Academia] quin no sepa Geometra"). Aristteles de Estagira (384 - 322 a.C.) funda su propia escuela, el Liceo (situada cerca del templo de Apolo Licio). Usa el mtodo emprico (basado en la experiencia) para recoger la informacin de algn aspecto de la naturaleza, organizar las observaciones en un orden y deducir los principios que resumen dicho aspecto. Formula la forma clsica del argumento deductivo: el silogismo (dos premisas que llevan a una conclusin), importante paso en la metodologa de la Ciencia. Realiza una clasificacin jerrquica de los reinos de la naturaleza (inanimado, vegetal, animal, humano), estudiando especialmente los animales (Zoologa) y sus discpulos, los vegetales (Botnica). Determina que el mundo est formado por los cuatro elementos habituales (tierra, aire, agua, fuego), corruptibles; en el firmamento la materia es incorruptible y est formada por la "quintaesencia" (el quinto elemento), o "ter". Su mayor contribucin al campo de la Fsica (estudio de la materia y de la energa y de las leyes que tienden a modificar su estado y su movimiento sin alterar su naturaleza) es la invencin de su nombre (fsica = naturaleza); sus ideas del movimiento terrestre y celeste paralizaron el progreso de la Ciencia durante 20 siglos. En definitiva, crea un modelo del universo tan completo y autoconsistente, que pervive durante ms de 20 siglos! (s. III a.C. - s. XVII d.C.).

En Alejandra, por entonces centro del mundo cientfico, la Ciencia emerge como actividad profesional (independiente de la filosofa). Estratn de Lmpsaco (330 - 269 a.C.) establece el mtodo experimental. Aristarco de Samos (320 - 250 a.C.) intuye que los movimientos de los cuerpos celestes se interpretan ms fcilmente si se establece que todos los planetas giran alrededor del sol. Arqumedes de Siracusa (287 - 212 a.C.) enuncia el principio de la palanca: dos pesos se equilibran a distancias recprocamente proporcionales a sus pesos ("Dme un punto de apoyo y mover el mundo."); el principio de flotacin: todo cuerpo slido sumergido en un lquido pierde el peso del lquido desplazado por l ("Eureka, eureka!"); y su clculo de la relacin ente la longitud e la circunferencia y su dimetro (nmero pi []) utilizando polgonos inscritos (al aumentar el nmero de lados el polgono se aproxima a la circunferencia) se convierte en precursor del clculo infinitesimal. Hern de Alejandra (20 - 62 d.C.) construye el sifn, un tubo encorvado para sacar un lquido del recipiente que lo contiene, hacindolo pasar por un punto superior a su nivel, y la esfera de reaccin (aeolipile), una esfera hueca con dos tubos acodados enfrentados que expulsan chorros de vapor que la hacen girar. Ptolomeo de Alejandra (90 - 168 d.C.) es el compilador de todas las observaciones astronmicas en un modelo con la tierra en el centro del universo y los "planetas" a distancias crecientes: Luna, Mercurio, Venus, Sol, Marte, Jpiter, Saturno (en su libro llamado ms tarde Almagesto). Dioscrides de Anazarba (40 - 90 d.C.) presta especial atencin de las propiedades medicinales de las plantas, desarrollando la primera farmacopea sistemtica (libro de Farmacologa = estudio de los medicamentos). Galeno de Prgamo (131 - 201 d.C.) realiza importantes trabajos de Anatoma (nmero, estructura, situacin y relaciones de las diferentes partes de un organismo) por diseccin de animales. La geometra griega lega a la posteridad tres grandes problemas no resueltos: La cuadratura del crculo (construccin de un cuadrado de rea igual a un crculodado); la duplicacin del cubo (construccin de un cubo de volumen doble al de un cubo dado) y la triseccin del ngulo (divisin de un ngulo en tres partes iguales). Slo en el siglo XIX se demuestra fehacientemente que ninguno de estos tres problemas tiene una solucin puramente geomtrica (utilizando slo la regla y el comps!). Los griegos cometen dos errores: considerar la deduccin como nico medio respetable de alcanzar el conocimiento excelso, despreciando el conocimiento experimental, y transportar los axiomas usados en Matemtica a otras ramas de conocimiento, principalmente la Astronoma (estudio del movimiento de los astros), estableciendo "verdades absolutas",

como que la tierra, inmvil, es el centro del universo (geocentrismo) y que la tierra es imperfecta y los cielos son perfectos. Les falta considerar la importancia de la observacin de experimentos controlados, la necesidad de utilizar tambin argumentos inductivos (obtener el principio que comprende a un conjunto de hechos), la aplicacin de la Matemtica para representar los fenmenos observados y la funcin social de la Ciencia como herramienta de dominio del mundo material para reducir la necesidad del esfuerzo fsico (consideraron la Ciencia como un juego intelectual). El ocaso de la civilizacin helnica provoca el abandono de la perspectiva cientfica, ya que para los griegos la Ciencia es una forma de mirar al mundo, ms que una forma de tratar con el mundo, es decir, la Ciencia slo proporciona una imagen del mundo, no hace nada por cambiarlo. Por su parte, los romanos son excelentes constructores de edificios, calzadas y acueductos, pero no llevan a cabo ningn progreso cientfico. Antes de que los romanos tengan tiempo de conquistar el mundo helnico, la propia Roma se ha convertido en una provincia de cultura griega.

La larga noche de mil aos

Comienzo

La invasin de los brbaros provoca la Cada del Imperio Romano [Occidental] (ao 476). Comienza la denominada Edad Media. La Iglesia cristiana sobrevive al Imperio Romano y los conventos adquieren el monopolio de la enseanza y el pensamiento; la filosofa griega es enterrada (ao 529). Desde la muerte de Mahoma (570 - 632), sus seguidores (musulmanes) expanden su religin (islam) desde su Arabia natal (rabes) por el norte de frica y llegan a Espaa, donde se establecen en 711 hasta que son expulsados en 1492 por los Reyes Catlicos (Reconquista). Los rabes absorben territorios y enseanzas, preservan y traducen los textos griegos, introducen las cifras (signos con que se representa un nmero) arbigas, utilizadas desde entonces en todo el mundo e inventan un signo para representar el cero, recogido de los indios. Abu Musa Jabir Ibn Hayyan [Geber] (Iraq; 760 - 815) modifica la doctrina griega de cuatro elementos (tierra, aire, agua y fuego), introduciendo tres nuevos principios: sal (= cuerpo), azufre (= alma) y mercurio (= espritu). Defiende la existencia de una sustancia misteriosa que da lugar al desarrollo de la alquimia (arte con el que se pretenda el fin ltimo de encontrar la "piedra filosofal" [transmutacin en oro] y el "elixir de la vida" [panacea universal]) en su bsqueda.

Abu Jafar Muhammad Ibn Musa Al-Khwarizmi [Al-Khwarizmi] (Uzbekistn; 780 - 850) transmite la numeracin arbiga. De su nombre deriva el trmino algoritmo (= conjunto ordenado y finito de operaciones que permite la solucin de un problema. De un ttulo de su obra ("Kitab al-muhtasar fi hirab al-jabr wa al-muqqabala" = "Tratado de clculo de la reduccin y de la confrontacin") deriva el trmino lgebra (generalizacin de las operaciones empleando signos que representan simblicamente las entidades matemticas). Introduce la nocin de ecuacin para expresar clases de problemas de un mismo tipo. Abu Ali Al-Husain Ibn Abdallah Ibn Sina [Avicena] (Uzbekistn; 979 - 1037) escribe numerosos libros de Medicina, basados en las teora de Hipcrates y Galeno; se mantienen como libros de texto (traducidos al latn en el siglo XII) hasta el siglo XVII. Abul Walid Muhammad Ibn Ahmad Ibn Rushd [Averroes] (Espaa; 1126 - 1198) recupera a Aristteles, realizando largos y concienzudos comentarios a su obra. Despus del ao 1000 Europa se instala en el feudalismo (fusin de las sociedades romana y germnica; los vasallos son fieles a los seores), en el que cada persona cumple una de las tres funciones sociales: rezar (clrigos y mojes aseguran mediante el culto y la plegaria, la salvacin de todos), combatir (guerreros y caballeros aseguran mediante la fuerza y el poder, el orden y la paz) y trabajar (campesinos que trabajan la tierra aseguran la supervivencia de clrigos y guerreros). Los monasterios aseguran la transmisin del conocimiento y las comunidades de profesores o estudiantes (universidades) practican enseanza escolstica (sntesis de fe y razn, basada en el pensamiento de Aristteles y desarrollada por Toms de Aquino [1225 1274]). Leonardo Fibonacci (Italia; 1170 - 1250) introduce la numeracin arbiga en Europa, fomentando el uso del sistema decimal en su Liber Abaci (baco = cuadro de madera con bolas mviles enhebradas en alambres paralelos que se utilizan para contar desde la poca babilnica). Alberto Magno (Alemania; 1193 - 1280) se constituye en una de las grandes figuras de la alquimia, desarrolla conocimientos, aparatos y procedimientos para la transformacin de unas sustancias en otras (transmutacin). Robert Grosseteste (Gran Bretaa;1169 - 1253) enuncia las reglas para el examen inductivo de los fenmenos y preconiza el uso de experimentos preparados deliberadamente con el objetivo de decidir entre dos teoras enfrentadas. Roger Bacon (Gran Bretaa; 1220 - 1292) cree que todas las teoras han de estar basadas sobre la evidencia experimental y que la naturaleza puede ser descrita usando la Matemtica. William of Ockham (Gran Bretaa; 1255 - 1349) es el autor del concepto de la "navaja de Ockham" (si dos teoras se ajustan igualmente a los datos observados, debe aceptarse aqulla basada en los supuestos ms simples), a veces tambin enunciado con la frase

"Pluralitas non est ponenda sine necesitate" (no se deben multiplicar innecesariamente los entes). Y, por fin, Johannes Gutenberg (Alemania; 1398 - 1468) concibe la imprenta, uno de los inventos ms importantes para el desarrollo posterior de la Ciencia. La imprenta abarata los libros, revala la literatura y facilita la educacin (monopolizada por la Iglesia), debido a la mayor rapidez en la propagacin de las ideas.

Historia de la Geometra Descriptiva. La geometra descriptiva exista antes de ser inventada. La complejidad de los cortes de la piedra o la madera ha requerido siempre el uso de proyecciones ortogonales, y sin embargo el sistema didrico es relativamente moderno. La perspectiva cnica naci de un proceso artstico lento, anterior al concepto de seccin de la pirmide visual. Las axonometras son utilizadas sistemticamente mucho antes de quedar geomtricamente explicadas por la teora decimonnica. Por eso, cuando en 1795 alguien decidi que esta denominacin, geometra descriptiva, era conveniente para designar un conjunto de hbitos y conocimientos, estaba, en realidad, legalizando una situacin existente.

Quien tom la decisin fue un revolucionario francs, de origen humilde, entusiasta defensor de la racionalizacin, protagonista de la organizacin del calendario republicano, del sistema de pesas y medidas, y principal inspirador de la Escuela Normal y de la Escuela Politcnica, que consigui extender su organizacin de la enseanza por todo el continente. La expresin escogida para designar a esta materia, geometra descriptiva, persegua aprovechar el prestigio de la llamada geometra analtica, contrastando con ella. Desde entonces y durante todo el siglo XIX los responsables de la produccin terica y la docencia de la geometra descriptiva, los profesionales de la geometra descriptiva, entendieron que la perfeccin de esta disciplina consistira en alcanzar una organizacin ideal al modo de las diversas ramas de la matemtica. Como cualquier cosa se puede forzar hasta conseguir que se parezca al lgebra, consiguieron su objetivo, y al final del siglo ya exista un aparato terico ideal, la llamada geometra proyectiva, que se constitua en abstraccin de los procedimientos de la geometra descriptiva y permita olvidar la realidad histrica y colgar los diversos modos de representar, de las ramas de un rbol taxonmico ideal. Esto no era til al usuario, pero dejaba a los profesionales de la geometra descriptiva satisfechos, casi tanto como cuando los matemticos consiguieron convencer a todo el mundo de que los nios deban conocer la teora de conjuntos, sin embargo, la geometra descriptiva no poda dejar de ser lo que era, una actividad intrnseca al trabajo del diseador, una reflexin sobre las posibilidades del espacio sensible y sobre los criterios, ms o menos convencionales, que empleamos para su representacin plana. Y para el arquitecto sigue siendo necesario cierto conocimiento de lo que es o no es geomtricamente posible al emplear formas materiales; y es tambin necesario -con el uso del ordenador es ms necesario que nunca- el conocimiento critico de los modos de proyeccin plana que hemos decidido utilizar. De manera que el curioso aparato montado por nuestros predecesores aparece obsoleto y cada vez ms es evidente que la geometra descriptiva se constituye y se debe ensear a partir de un conjunto de modos de hacer muy adheridos a la realidad.Parece que un estudiante de arquitectura debe saber lo que es la perspectiva y cmo cambia al alterar sus elementos; debe ser capaz de resolver grficamente algunos sencillos problemas espaciales; debe controlar la variedad de las axonometras; debe leer con soltura una topografa definida por sus curvas de nivel; debe conocer las propiedades y posibilidades de conos, cilindros, superficies de revolucin, esfera, y algunos menos comunes, como elipsoides y paraboloides, superficies regladas. Qu es Geometra Descriptiva y sus objetivos?. Es la ciencia de las relaciones y anlisis en el espacio tridimensional. Tiene por objeto la representacin de las figuras geomtricas del espacio en un plano, de tal manera que las construcciones en el espacio se puedan reducir a construcciones ms cmodas en un plano. Se puede determinar un punto del espacio mediante sus proyecciones desde dos puntos de vista distintos, sobre un plano. Uno de los objetivos de la geometra descriptiva es capacitar a los usuarios del dibujo a la interpretacin y representacin de los objetos tridimensionalmente en un plano bidimensional. Por qu es importante la Geometra D. para los Arquitectos?. La Geometra Descriptiva es importante para los arquitectos por las razones y explicaciones dichas anteriormente, pero sobre todo para facilitar su labor sin tener k estar recurriendo a mtodos mas complicados. (Enviado por: Jos Ramn Gonzlez)