Geometras no euclidianas

El primer ejemplo de geometra no euclidiana fue la hiperblica, teorizada inicialmente

por Immanuel Kant, formalizada posterior e independientemente por varios autores a principios
del siglo XIXtales como Carl Friedrich Gauss, Nikoli Lobachevski, Jnos Bolyai y Ferdinand
Schweickard.
Los desarrollos de geometras no eucldeas se gestaron en sus comienzos con el objetivo de
construir modelos explcitos en los que no se cumpliera el quinto postulado de Euclides.
Immanuel Kant considera espacios de ms de tres dimensiones y afirma:
Una ciencia de todas estas posibles clases de espacio sera sin duda la empresa ms elevada que
un entendimiento finito podra acometer en el campo de la Geometra... Si es posible que existan
extensiones con otras dimensiones, tambin es muy probable que Dios las haya trado a la
existencia, porque sus obras tienen toda la magnitud y variedad de que son capaces.
Esas posibles geometras que Kant entrev son las que hoy se llaman geometras euclidianas de
dimensin mayor que 3
Por otra parte, ya desde la antigedad se consider que el quinto postulado del libro de Euclides
no era tan evidente como los otros cuatro pues, al afirmar que ciertas rectas (las paralelas) no se
cortarn al prolongarlas indefinidamente, habla de una construccin mental un tanto abstracta. Por
eso durante muchos siglos se intent sin xito demostrarlo a partir de los otros cuatro. A principios
del siglo XIX, se intent demostrarlo por reduccin al absurdo, suponiendo que es falso y tratando
de obtener una contradiccin. Sin embargo, lejos de llegar a un absurdo se encontr que existan
geometras coherentes diferentes de la eucldea. Se haba descubierto as la primera geometra no
eucldea (en concreto el primer ejemplo que se logr era una geometra llamada hiperblica).
Se denomina geometra no euclidiana o no eucldea, a cualquier forma de geometra cuyos
postulados y propiedades difieren en algn punto de los establecidos por Euclides en su
tratado Elementos. No existe un slo tipo de geometra no eucldea, sino muchos, aunque si se
restringe la discusin a espacios homogneos, en los que la curvatura del espacio la misma en
cada punto, en los que los puntos del espacio son indistinguibles pueden distinguirse tres tipos de
geometras:
La geometra euclidiana satisface los cinco postulados de Euclides y tiene curvatura cero.
La geometra hiperblica satisface slo los cuatro primeros postulados de Euclides y tiene
curvatura negativa.
La geometra elptica satisface slo los cuatro primeros postulados de Euclides y tiene
curvatura positiva.
Todos estos son casos particulares de geometras riemannianas, en los que la curvatura es
constante, si se admite la posibilidad de que la curvatura intrnseca de la geometra vare de un
punto a otro se tiene un caso de geometra riemanniana general, como sucede en la teora de la
relatividad general donde la gravedad causa una curvatura no homognea en el espacio tiempo,
siendo mayor la curvatura cerca de las concentraciones de masa, lo cual es percibido como un
campo gravitatorio atractivo.
Geometras de curvas constante.
Geometra hiperblica
A principios del siglo XIX, y de modo independiente, Gauss (1777-1855), Lobachevsky (1792-
1856), Jnos Bolyai y Ferdinand Schweickard lograron construir la geometra hiperblica, a partir
del intento de negar el quinto postulado de Euclides y tratar de obtener una contradiccin. En lugar
de obtener una contradiccin lo que obtuvieron fue una curiosa geometra en la que los tres
ngulos de un tringulo sumaban menos de 180 sexagesimales (en la geometra eucldea los
ngulos de cualquier tringulo suman siempre exactamente 180).
La naturalidad de esta geometra qued confirmada a finales del siglo, cuando Beltrami demostr
que la geometra hiperblica coincide con la geometra intrnseca de cierta superficie y Klein dio la
interpretacin proyectiva de la geometra hiperblica. Ambos resultados prueban que es tan
consistente como la Geometra eucldea (es decir, si la geometra hiperblica lleva a alguna
contradiccin, entonces la geometra eucldea tambin).
Algunos afirman que Gauss fue el primero en considerar la posibilidad de que la geometra del
Universo no fuera la eucldea. Sabiendo que en la geometra hiperblica la suma de los
ngulos de cualquier tringulo es menor que dos rectos, se dice que subi a la cima de tres
montaas con un teodolito, aunque la precisin de sus instrumentos no fue suficiente para decidir
la cuestin con tal experimento. Sin embargo, otros afirman que cuando escribi que trataba de
corregir los efectos de posibles curvaturas se refera a corregir el efecto de la curvatura terrestre en
los estudios cartogrficos que estaba realizando.
Geometra elptica
La geometra elptica es el segundo tipo de geometra no-eucldea homognea, es decir, donde
cualquier punto del espacio resulta indistinguible de cualquier otro. Una variedad de Riemann de
curvatura positiva constante es un ejemplo de geometra elptica. Un modelo clsico de geometra
elptica n-dimensional es la n-esfera.
En la geometra elptica las lneas geodsicas tienen un papel similar a las lneas rectas de la
geometra eucldea, con algunas importanes diferencias. Si bien la mnima distancia posible entre
dos puntos viene dada por una lnea geodsica, que adems son lneas de curvatura mnima, el
quinto postulado de Eucldes no es vlido para la geometra elptica, ya que dada una "recta" de
esta geometra (es decir, una lnea geodsica) y un punto no contenido en la misma no se puede
trazar ninguna geodsica que no corte a la primera.
Geometra de curvatura no constante.
Geometra riemanniana general
A propuesta de Gauss, la disertacin de Riemann vers sobre la hiptesis de la Geometra. En su
tesis, Riemann considera las posibles geometras que infinitesimalmente (i.e. en regiones muy
pequeas) sean eucldeas, cuyo estudio se conoce hoy en da como geometras riemannianas.
Estas geometras resultan en general no-homogneas: algunas de las propiedades del espacio
pueden diferir de un punto a otro, en particular el valor de la curvatura.
Para el estudio de estas geometras Riemann introdujo el formalismo del tensor de curvatura y
demostr que la geometra eucldea, la geometra hiperblica y la geometra elptica son casos
particulares de geometras riemanninanas, caracterizadas por valores constantes del tensor de
curvatura. En una geometra riemanninana general, el tensor de curvatura tendr valores variables
a lo largo de diferentes puntos de dicha geometra.
Eso hace que la geometra no sea homognea, y permite distinguir unos puntos de otros. Esto es
relevante en la teora de la relatividad general, ya que en principio es posible hacer experimentos
de medicin de distancias y ngulos que permitan distinguir unos puntos del espacio de otros, tal
como especifican numerosos experimentos mentales imaginados por Einstein y otros en los que un
experimentador encerrado en una caja puede realizar experimentos para decidir la naturaleza del
espacio-tiempo que le rodea.
Finalmente un aspecto interesante de la geometra riemanniana es que si la curvatura no es
constante entonces el grupo de isometra del espacio tiene dimensin estrictamente menor
que siendo la dimensin del espacio. En concreto segn la relatividad general un
espacio-tiempo con una distribucin muy irregular de la materia podra tener un grupo de isometra
trivial de dimensin 0.
Geometra del espacio-tiempo y teora de la relatividad
Basndose en la ideas y resultados de Riemann, hacia 1920 Einstein aborda en su Teora de
la Relatividad general la cuestin de la estructura geomtrica del Universo. En ella muestra cmo la
geometra delespacio-tiempo tiene curvatura, que es precisamente lo que se observa como campo
gravitatorio, y cmo, bajo la accin de la gravedad, los cuerpos siguen las lneas ms rectas
posibles dentro de dicha geometra, lneas que se denominan geodsicas.
Adems, la Ecuacin de Einstein afirma que para cada observador, la curvatura media del espacio
coincide, salvo un factor constante, con la densidad observada, dando cumplimiento as a la
fantstica visin de Gauss: la geometra desentraada por los griegos es la estructura infinitesimal
del espacio; al generalizar dicha estructura geomtrica, tiene curvatura.
La mtrica de Friedman-Lematre-Robertson-Walker o modelo FLRW es una solucin exacta de
las ecuaciones de campo de Einstein de la relatividad general
La expansin mtrica del espacio es una pieza clave de la ciencia actual para comprender el
Universo, a travs del cual el propio espacio-tiempo es descrito por una mtrica que cambia con el
tiempo de tal manera que las dimensiones espaciales parecen crecer o extenderse segn el
Universo se hace ms viejo. Explica cmo se expande el Universo en el modelo del Big Bang, una
caracterstica de nuestro Universo soportada por todos los experimentos cosmolgicos, clculos
astrofsicos y medidas hasta la fecha. La mtrica que describe formalmente la expansin en el
modelo estndar de Big Bang se conoce como Mtrica de Friedman-Lematre-Robertson-Walker.
La expansin del espacio es conceptualmente diferente de otros tipos de expansiones y
explosiones que son vistas en la Naturaleza. Nuestra comprensin del "tejido del Universo"
(el espacio-tiempo) implica que el espacio, el tiempo y la distancia no son absolutos, sino que se
obtienen a partir de una mtrica que puede cambiar. En la mtrica de expansin del espacio, ms
que objetos en un espacio fijo alejndose hacia el vaco, es el espacio que contiene los objetos el
que est cambiando propiamente dicho. Es como si los objetos no se mueven por s mismos, el
espacio est "creciendo" de alguna manera entre ellos.
Debido a que es la mtrica que define la distancia que est cambiando ms que los objetos
movindose en el espacio, esta expansin (y el movimiento resultante son objetos alejndose) no
est acotado por la velocidad de la luz que resulta de la relatividad especial.
La teora y las observaciones sugieren que muy al principio de la historia del Universo, hubo una
fase "inflacionaria" donde esta mtrica cambi muy rpidamente y que la dependencia del tiempo
restante de esta mtrica es que observamos la as llamada expansin de Hubble, el alejamiento de
todos los objetos gravitacionalmente acotados en el Universo. El Universo en expansin es por
tanto una caracterstica fundamental del Universo en el que habitamos, un Universo
fundamentalmente diferente del Universo esttico que Albert Einstein consider al principio cuando
desarroll su teora gravitacional.