Geometra no euclidiana

Geometra no euclidiana
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 Los tres tipos de geometras homogneas posibles, adems de la geometra euclidea de tipo de geometra no eucldea, sino curvatura nula, existen la geometra elptica de curvatura positiva, y la geometra muchos, aunque si se restringe la hiperblica de curvatura negativa. Si se consideran geometras no-eucldeas homogneas entonces existe una infinidad de posibles geometras, descritas por las variedades discusin a espacios homogneos, en riemannianas generales. los que la curvatura del espacio es 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.

Historia
El primer ejemplo de geometra no euclidiana fue la hiperblica, teorizada inicialmente por Immanuel Kant[citarequerida], formalizada posterior e independientemente por varios autores a principios del siglo XIX tales 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. La geometra Euclideana haba sido desarrollada por los griegos y expuesta por Euclides en la obra Los elementos. En su primera obra publicada, "Pensamientos sobre la verdadera estimacin de las fuerzas vivas" (Gedanken von der wahren Schtzung der lebendigen Krfte und Beurteilung der Beweise derer sich Herr von Leibniz und anderer Mechaniker in dieser Streitsache bedient haben) (1746), 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

Geometra no euclidiana 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).

Geometras de curvatura 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 Modelo del disco Poincar para la geometra hiperblica con una teselacin {3,7} de rombos truncados. 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 no euclidiana

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 eucldea

La esfera es un modelo de geometra elptica bidimensional, los meridianos resultan ser lneas geodsicas mientras que los paralelos son lneas de curvatura no mnima.

La geometra eucldea es claramente un caso lmite intermedio entre la geometra elptica y la geometra hiperblica. De hecho la geometra eucldea es una geometra de curvatura nula. Puede demostrarse que cualquier espacio geomtrico o variedad de Riemann cuya curvatura es nula es localmente isomtrico al espacio eucldeo y por tanto es un espacio eucldeo o idntico a una porcin del mismo.

Aspectos matemticos
Los espacios de curvatura constante el tensor de curvatura de Riemann viene dado en componentes por la siguiente expresin:

donde

es el tensor mtrico expresado en coordenadas curvilneas cualesquiera. En tensor de Ricci son proporcionales respectivamente al tensor mtrico y a la curvatura:

y la

curvatura escalar

y donde

es la dimensin del espacio.

Otro aspecto interesante es que tanto en la geometra hiperblica, como en la geometra elptica homogneas el grupo de isometra del espacio completo es un grupo de Lie de dimensin , que coincide con la dimensin del grupo de isometra de un espacio Euclideo de dimensin n (aunque los tres grupos son diferentes).

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

Geometra no euclidiana 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 del espacio-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.

Referencias
Bibliografa
N. A'Campoy A. Papadopoulos (2012) Notes on hyperbolic geometry, in: Strasbourg Master class on Geometry, pp. 1-182, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 18, Zrich: European Mathematical Society (EMS), 461 pages, SBN ISBN 978-3-03719-105-7, DOI 10.4171/105. Anderson, James W. Hyperbolic Geometry, second edition, Springer, 2005 Blumenthal, Leonard M. (1980), A Modern View of Geometry, New York: Dover, ISBN 0-486-63962-2 H. S. M. Coxeter (1942) Non-Euclidean Geometry, University of Toronto Press, reissued 1998 by Mathematical Association of America, ISBN 0-88385-522-4 . Jeremy Gray (1989) Ideas of Space: Euclidean, Non-Euclidean, and Relativistic, 2nd edition, Clarendon Press. Manning, Henry Parker (1963), Introductory Non-Euclidean Geometry, New York: Dover Milnor, John W. (1982) Hyperbolic geometry: The first 150 years (http://projecteuclid.org/euclid.bams/ 1183548588), Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp.924. John Stillwell (1996) Sources of Hyperbolic Geometry, American Mathematical Society ISBN 0-8218-0529-0 .

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Geometra no euclidiana Fuente: http://es.wikipedia.org/w/index.php?oldid=66053597 Contribuyentes: .Jos, Alonso de Celada, Altair Lemos, Axxgreazz, Azofeifa82, Camima, Cancerbero sgx, Davidsevilla, Davius, Dibujon, Elartedeesperar, Elas, FAR, Gcatalan, GermanX, Gustronico, HAG, JMCC1, Jkbw, Kriztoval, Latiniensis, Mmucino, Paintman, Pati, Queninosta, Rigenea, SpeedyGonzalez, Tano4595, Tituslenin, Unf, Xareu bs, 53 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Noneuclid.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Noneuclid.svg Licencia: GNU Free Documentation License Contribuyentes: derivative work: Pbroks13 (talk) Noneuclid.png: Original uploader was Joshuabowman at en.wikipedia Archivo:Hyperbolic tiling omnitruncated 3-7.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Hyperbolic_tiling_omnitruncated_3-7.png Licencia: Public Domain Contribuyentes: Davius, Jean-Christophe BENOIST, Kilom691, Marcus erronius, Stannic Archivo:Sphere wireframe 10deg 6r.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Sphere_wireframe_10deg_6r.svg Licencia: Creative Commons Attribution 3.0 Contribuyentes: Geek3

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/