HISTORIA DE LA GEOMETRA

La geometra es una de las ciencias ms antiguas. Inicialmente, constitua un cuerpo de conocimientos prcticos
en relacin con las longitudes, reas y volmenes. En el antiguo Egipto estaba muy desarrollada, segn los
textos de Herodoto, Estrabn y Diodoro Sculo. Euclides, en el siglo III a. C. configur la geometra en
forma axiomtica, tratamiento que estableci una norma a seguir durante muchos siglos: la geometra
euclidiana descrita en Los Elementos.
El estudio de la astronoma y la cartografa, tratando de determinar las posiciones de estrellas y planetas en la
esfera celeste, sirvi como importante fuente de resolucin de problemas geomtricos durante ms de un
milenio. Ren Descartes desarroll simultneamente el lgebra y la geometra analtica, marcando una nueva
etapa, donde las figuras geomtricas, tales como las curvas planas, podran ser representadas analticamente,
es decir, con funciones y ecuaciones. La geometra se enriquece con el estudio de la estructura intrnseca de los
entes geomtricos que analizan Euler y Gauss, que condujo a la creacin de la topologa y la geometra
diferencial.
LA GEOMETRA EN EL ANTIGUO EGIPTO
Las primeras civilizaciones mediterrneas adquieren poco a poco ciertos conocimientos geomtricos de carcter
eminentemente prctico. La geometra en el antiguo Egipto estaba muy desarrollada, como
admitieron Herdoto, Estrabn y Diodoro, que aceptaban que los egipcios haban "inventado" la geometra y la
haban enseado a los griegos; aunque lo nico que ha perdurado son algunas frmulas o, mejor dicho,
algoritmos expresados en forma de "receta" para calcular volmenes, reas y longitudes, cuya finalidad era
prctica. Con ellas se pretenda, por ejemplo, calcular la dimensin de las parcelas de tierra, para reconstruirlas
despus de las inundaciones anuales. De all el nombre , geometra: "medicin de la tierra" (de
(g) 'tierra' ms (metra), 'medicin').
Los denominados Papiro de Ahmes y Papiro de Mosc muestran conjuntos de mtodos prcticos para obtener
diversas reas y volmenes, destinados al aprendizaje de escribas. Es discutible si estos documentos implican
profundos conocimientos o representan en cambio todo el conocimiento que los antiguos egipcios tenan sobre
la geometra.
Los historiadores antiguos nos relataron que el conocimiento de esta civilizacin sobre geometra as como los
de las culturas mesopotmicas pas ntegramente a la cultura griega a travs de Tales de Mileto,
los pitagricos y, esencialmente, de Euclides

LA GEOMETRIA GRIEGA

LA GEOMETRA GRIEGA ANTES DE EUCLIDES

La Geometra Griega fue la primera en ser formal. Parte de los conocimientos concretos y prcticos de 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

Euclides, vinculado al Museo de Alejandra y a su Biblioteca, 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 definicionesque precisa construye toda la Geometra
y la Aritmtica conocidas hasta el momento. Su obra, en trece volmenes, perdurar como nica verdad
geomtrica hasta entrado el siglo XIX.
Entre los postulados en los que Euclides se apoya hay uno (el quinto postulado) que trae problemas desde el
principio. No se pona en duda su veracidad, pero tal y como aparece expresado en la obra, muchos consideran
que seguramente poda 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 cuatro, 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.

DESPUES DE EUCLIDES
Euclides casi cierra definitivamente la geometra griega y por extensin la del mundo antiguo, a excepcin de
las figuras deArqumedes y Apolonio de Perge.
Arqumedes analiz exhaustivamente las secciones cnicas, e introdujo en geometra otras curvas como
la espiral que lleva su nombre, 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 GEOMTRICOS DE LA ANTIGEDAD

La geometra griega era incapaz de resolver tres famosos problemas geomtricos (que heredarn los
matemticos posteriores), puesto que deban ser resueltos utilizando nicamente la regla y comps ideales,
nicos instrumentos vlidos en la geometra griega. Estos tres problemas son los siguientes:
La duplicacin del cubo
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 Delfos, 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 ocho veces mayor, puesto que el volumen del cubo es el cubo de su lado (
). 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.

LA CUADRATURA DEL CRCULO

La cuadratura del crculo consiste en tratar de obtener un cuadrado cuya rea mida exactamente lo mismo que el
rea de un crculo dado. Anaxgoras fue el primero en intentar resolverlo, dibujando en las paredes de su celda.
Fue apresado 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
suficientes conocimientos matemticos, y nunca acept que sus mtodos eran fallidos.

LA GEOMETRA EN LA EDAD MEDIA

Durante los siguientes siglos la Matemtica comienza nuevos caminos de la mano de hindes y rabes
en Trigonometra y lgebra (el uso de la notacin posicional y del cero), aunque relacionadas con
la Astronoma y la Astrologa; pero en geometra apenas hay nuevas aportaciones. En Occidente, a pesar de que
la Geometra es una de las sieteArtes liberales (encuadrada en el Quadrivium), las escuelas y universidades se
limitan a ensear los "Elementos", y no hay aportaciones.

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 cimentar 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 GEOMETRIA CARTESIANA
Pero es sin duda la aparicin de la geometra analtica lo que 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 analiza la geometra utilizando ecuaciones algebraicas. Se cambia la regla y comps clsicos
por expresiones numricas que se pueden representar mediante coordenadas cartesianas. Utilizando notacin
actual, dicho mtodo se expresa as:
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
,
siendo la distancia a uno de los ejes (por convenio ser la distancia al eje vertical) e la distancia al otro eje
(al horizontal).
En la coordenada , 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 , 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 se la suele denominar abscisa del punto, mientras que a la 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

, donde

representa una funcin. En particular,

las rectas pueden expresarse como ecuaciones polinmicas de grado 1 (v.g.:

) y las
circunferencias y el resto de cnicas como ecuaciones polinmicas de grado 2 (v.g.: la
circunferencia
, la hiprbola
). 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 idealformado
por los polinomios de grados 0, 1 y 2 del Anillo de polinomios
, 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
mediante la ecuacin de la
curva, dndole valores a la magnitud . Por otro lado, Descartes slo considera valores positivos de las
cantidades e , 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 METODOS

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, consiste en establecer, unos axiomas, 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

en la que el polinomio es ahora sustituido por

una funcin cualquiera . 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

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 Geometraes 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 GEOMETRIA EN LA EDAD CONTEMPORANEA

CARL FRIEDRICH GAUSS

Gauss devuelve el carcter geomtrico que impregna parte del anlisis matemtico, fundamentalmente con dos
contribuciones: el nacimiento del anlisis complejo 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 lafilologa 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 luegoArgand se le anticiparon, pero nadie
conoca los estudios de ambos. Aunque no es propiamente obra suya, pues el anlisis complejo 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 Bolyaipublic 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.
Ahiigudems, 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 Lobatchevsky 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 Lobatchevsky 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 Lobatchevsky, 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 no puede ser 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 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 rea igual a la de
un crculo dado.

GEOMETRA INTRNSECA
Resulta complicado establecer una fecha precisa en la que los gemetras comenzaron a interesarse por
cuestiones de geometra intrnseca. La matemtica griega plante los problemas geomtricos haciendo
referencia a las propiedades mtricas de un conjunto de puntos definidos y localizados en el plano y en el
espacio. La perspectiva era, por tanto, extrnseca.
Tradicionalmente, se le atribuye a Euler el descubrimiento en 1752 de una propiedad de
los poliedros convexos.1 Llamando S, A y F al nmero de vrtices, aristas y caras, Euler demostr la relacin de
igualdad S-A+F=2, conocida hoy como caracterstica de Euler. El resultado era sorprendente porque no haca
intervenir ni la longitud ni el rea.
En 1813 Simon Antoine Jean L'Huillier se dio cuenta de que la frmula de Euler se modificaba para un poliedro
no convexo, con la forma, por ejemplo, de un slido con agujeros (como el toro: S-A+F=2-2g, siendo g el nmero
de agujeros).2 ste es el primer clculo de un invariante topolgico que permit clasificar las superficies del
espacio. No obstante, la perspectiva continuaba siendo extrnseca, pues los agujeros se ven desde el exterior.
Cmo, por ejemplo, una hormiga que anduviese por una habitacin sin techo podra representarse el agujero?
Carl Friedrich Gauss, interesado por la geometra de las superficies, estableci un resultado sin precedentes:
el teorema egregium: "la curvatura de Gauss de una superficie del espacio no depende del modo en el que sta
se inserta en el espacio ambiente "
La frmula de Gauss-Bonnet, presentida por Gauss y demostrada por Pierre-Ossian Bonnet en 1848, expresar
la caracterstica de Euler en trminos de curvatura, evidenciando la imbricacin entre las consideraciones
geomtricas y topolgicas.

NUEVOS ESPACIOS CON EXTRAAS PROPIEDADES

La geometra no euclidiana nace de la imposibilidad de demostrar el quinto postulado de Euclides. El primer
intento de demostrarlo por reduccin al absurdo fue ensayado porSaccheri en 1733.4 Gauss fue el primero en
comprender la posibilidad de que existiesen geometras alternativas a la eucldea. 5 Estas geometras seran
desarrolladas porLobatchevsky y Bolyai.

La cinta de Mbius, introducida casi simultneamente en 1858 por dos matemticos alemanes August Ferdinand
Mbius y Johann Benedict Listing fue el primer ejemplo de superficie no orientable.

RIEMANN
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 catedrtico). 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 variedadhace 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
, 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
en otro abierto de
.
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

, donde

vara en

un intervalo y 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

, al dibujar todos

los puntos
, donde
son de una regin del plano donde est definida , obtenemos
una superficie (dimensin 2). Riemann estudia funciones complejas de variable compleja, es decir, funciones
cuya grfica tendra por puntos cosas de la forma

, siendo tanto

como
funciones reales (es decir, cada uno representa un nmero real). Las grficas de este tipo de
funciones tendran dimensin 2, es decir, seran superficies, pero estaran en un espacio de 4 dimensiones.
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 uncampo 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 superficies 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 [[curvatura seccional|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[editar]
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.

KLEIN
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 quienes considerarn errneo el argumento de Klein.
Pero la aportacin ms importante de Klein a la Geometra es su famoso Programa de Erlangen, donde da una
nueva definicin de Geometra.
El Programa de Erlangen[editar]
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 por cierto no lleg a leer en pblico) 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 ENTONCES LA GEOMETRA?
Klein da respuesta a esta pregunta introduciendo en la Geometra un nuevo concepto de carcter algebraico: el
concepto de grupo. Un grupo es un conjunto en el que hay definida una operacin, es decir, una
aplicacin
que a cada par de elementos del conjunto 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 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, que
son:

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

debe de ser lo mismo que

.
Debe existir un elemento neutro: esto quiere decir que ha de haber un elemento del conjunto de
manera que si tomo cualquier otro elemento del conjunto y lo opero con l, entonces el resultado vuelve a
ser el elemento , es decir, es como si al elemento no lo hubiera operado. As, con nuestra
notacin,
y
.
Por ltimo, cada elemento debe tener un elemento simtrico: esto quiere decir que si yo tomo un
elemento cualquiera del conjunto, entonces puedo encontrar otro elemento del conjunto de tal manera
que al operar ambos, el resultado que obtengo es el elemento neutro:
.

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 un 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 algebraicoanaltico. En su poca supuso la consagracin de la Geometra proyectiva como la Reina de las Geometras.