You are on page 1of 26

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 formaaxiomtica, 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 como una de lasArtes Liberales y Euclides.

ndice

[ocultar]

1 La geometra en el Antiguo Egipto

2 La Geometra griega
o

2.1 La Geometra griega antes de Euclides

2.2 Euclides y Los elementos

2.3 Despus de Euclides

2.4 Los tres problemas geomtricos de la Antigedad

2.4.1 La duplicacin del cubo

2.4.2 La triseccin del ngulo

2.4.3 La cuadratura del crculo

3 La Geometra en la Edad Media

4 La Geometra Proyectiva

5 La Geometra Cartesiana

6 Los nuevos mtodos


o

6.1 Agotamiento del mtodo sinttico

6.2 Los lmites del mtodo algebraico

6.3 El Clculo Infinitesimal


7 La Geometra en la Edad Contempornea

7.1 Carl Friedrich Gauss

7.2 El final de los grandes problemas de la antigedad

7.2.1 La controversia sobre el V postulado

7.2.2 La triseccin del ngulo y la duplicacin del cubo

7.2.3 La cuadratura del crculo


8 Geometra intrnseca

8.1 Nuevos espacios con extraas propiedades

8.2 Riemann

8.2.1 Variedades riemannianas y el tensor curvatura

8.2.2 El modelo del Universo


8.3 Klein

8.3.1 El Programa de Erlangen

8.3.1.1 Qu es entonces la Geometra?

9 Referencias

10 Enlaces externos

11 Vase tambin
La geometra en el Antiguo Egipto[editar]

Papiro de Ahmes.
Artculo principal: 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 Geometra griega[editar]
Vase tambin: Geometra clsica

La Geometra griega antes de Euclides[editar]

La primera demostracin del teorema de Pitgoras Probablemente us un diagrama como el que se


muestra.

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[editar]

Fragmento de uno de los Papiros de Oxirrinco con unas lneas de Los elementos de Euclides.

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 cincopostulados y las definiciones que 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.
Despus de Euclides[editar]
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.

Esquema de las tres secciones cnicas: elipse, parbola e hiprbola(ms la circunferencia).

Apolonio trabaj en varias construcciones de tangencias entre crculos, as como en


secciones cnicas y otras curvas.
Los tres problemas geomtricos de la Antigedad[editar]
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[editar]
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[editar]


Artculo principal: 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[editar]
Artculo principal: 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[editar]


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 delcero),
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 siete Artes
liberales (encuadrada en el Quadrivium), las escuelas y universidades se limitan a ensear
los "Elementos", y no hay aportaciones.

La Geometra Proyectiva[editar]
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, deAlberto 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 Geometra Cartesiana[editar]

Ren Descartes.

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

cuando

se

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

distancia al eje vertical) e


En la coordenada

la distancia a uno de los ejes (por convenio ser la

la distancia al otro eje (al horizontal).

, 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
la

se la suele denominar abscisa del punto, mientras que a

se la denomina ordenada del punto.

Ejes coordenados.

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

como ecuaciones polinmicas de grado 1 (v.g.:


el

resto

de

cnicas

como

circunferencia

ecuaciones

pueden

expresarse

) y las circunferencias y
polinmicas

, la hiprbola

de

grado

(v.g.:

la

). 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...)

la estructura

algebraica del ideal formado 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

lado, Descartes slo considera valores positivos de las cantidades

. Por otro

, 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[editar]


Agotamiento del mtodo sinttico[editar]
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[editar]
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[editar]
El mtodo algebraico tiene otra generalizacin natural, que es la de considerar una curva no
solo como una ecuacin polinmica, sino como una ecuacin
el polinomio es ahora sustituido por una funcin cualquiera

en la que
. 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

laGeometra 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
deEcuaciones 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[editar]


Carl Friedrich Gauss[editar]

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 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 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 decurvatura 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 cuandoBolyai 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[editar]


La controversia sobre el V postulado[editar]

Jnos Bolyai.

Nikolai Ivanovich Lobatchevsky.

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

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[editar]
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 laTeora 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[editar]
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 unnmero 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[editar]
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. 3 "
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[editar]


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
por Saccheri en 1733.4 Gauss fue el primero en comprender la posibilidad de que existiesen
geometras

alternativas

por Lobatchevsky y Bolyai.

la

eucldea.5 Estas

geometras

seran

desarrolladas

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[editar]

Bernhard 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[editar]
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

, 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,

volver

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

, donde

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

son de una regin del plano donde est definida

, donde
, obtenemos una superficie (dimensin 2).

Riemann estudia funciones complejas de variable compleja, es decir, funciones cuya grfica
tendra por puntos cosas de la forma
tanto

como

, siendo

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[editar]

Felix 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?[editar]
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
definida una operacin, es decir, una aplicacin

en el que hay
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

operar el resultado de ello con el tercero ( ) debe de ser lo mismo que si primero
operamos el segundo y el tercero (

) y el resultado lo operamos con el primero (

). Es decir, si la operacin la denotamos por


de ser lo mismo que

ha de ocurrir que

debe

Debe existir un elemento neutro: esto quiere decir que ha de haber un elemento

del conjunto de manera que si tomo cualquier otro elemento


con l, entonces el resultado vuelve a ser el elemento
elemento
y

del conjunto y lo opero

, es decir, es como si al

no lo hubiera operado. As, con nuestra notacin,


.

Por ltimo, cada elemento debe tener un elemento simtrico: esto quiere decir que si
yo tomo un elemento cualquiera
elemento

del conjunto, entonces puedo encontrar otro

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 losteoremas 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
Geometr

You might also like