24/11/2015

GeometranoeuclidianaWikipedia,laenciclopedialibre

Geometranoeuclidiana
DeWikipedia,laenciclopedialibre
Sedenominageometranoeuclidianaonoeucldea,acualquierformade
geometra cuyos postulados y propiedades difieren en algn punto de los
establecidosporEuclidesensutratadoElementos. No existe un solo tipo
degeometranoeucldea,sinomuchos,aunquesiserestringeladiscusin
aespacioshomogneos,enlosquelacurvaturadelespacioeslamismaen
cada punto, en los que los puntos del espacio son indistinguibles pueden
distinguirsetrestiposdegeometras:

Lostrestiposdegeometrashomogneasposibles,ademsdela
geometraeuclideadecurvaturanula,existenlageometraelpticade
curvaturapositiva,ylageometrahiperblicadecurvaturanegativa.
Siseconsiderangeometrasnoeucldeashomogneasentoncesexiste
unainfinidaddeposiblesgeometras,descritasporlasvariedades
riemannianasgenerales.

LageometraeuclidianasatisfaceloscincopostuladosdeEuclides
ytienecurvaturacero(esdecirsesuponeenunespacioplanoporlo
quelasumadelostresngulosinterioresdeuntringulodasiempre
180.).
La geometra hiperblica satisface slo los cuatro primeros
postuladosdeEuclidesytienecurvaturanegativa(enestageometra,
porejemplo,lasumadelostresngulosinterioresdeuntringuloesinferiora180).
La geometra elptica satisface slo los cuatro primeros postulados de Euclides y tiene curvatura positiva (en esta geometra, por
ejemplo,lasumadelostresngulosinterioresdeuntringuloesmayora180).
Todos estos son casos particulares de geometras riemannianas, en los que la curvatura es constante, si se admite la posibilidad de que la
curvaturaintrnsecadelageometravaredeunpuntoaotrosetieneuncasodegeometrariemannianageneral,comosucedeenlateoradela
relatividad general donde la gravedad causa una curvatura no homognea en el espaciotiempo, siendo mayor la curvatura cerca de las
concentracionesdemasa,locualespercibidocomouncampogravitatorioatractivo.

ndice
1 Historia
2 Geometrasdecurvaturaconstante
2.1 Geometrahiperblica
2.2 Geometraelptica

https://es.wikipedia.org/wiki/Geometr%C3%ADa_no_euclidiana

1/7

24/11/2015

GeometranoeuclidianaWikipedia,laenciclopedialibre

2.2 Geometraelptica
2.3 Geometraeucldea
2.4 Aspectosmatemticos
3 Geometrasdecurvaturanoconstante
3.1 Geometrariemannianageneral
3.2 Geometradelespaciotiempoyteoradelarelatividad
4 Vasetambin
5 Referencias
5.1 Bibliografa

Historia
El primer ejemplo de geometra no euclidiana fue la hiperblica, teorizada inicialmente por Immanuel Kant[cita requerida], formalizada
posterior e independientemente por varios autores a principios del sigloXIX tales como Carl Friedrich Gauss, Nikoli Lobachevski, Jnos
BolyaiyFerdinandSchweickard.
Los desarrollos de geometras no eucldeas se gestaron en sus comienzos con el objetivo de construir modelos explcitos en los que no se
cumplieraelquintopostuladodeEuclides.
La geometra Euclideana haba sido desarrollada por los griegos y expuesta por Euclides en la obra Los elementos. En su primera obra
publicada,"Pensamientossobrelaverdaderaestimacindelasfuerzasvivas"(GedankenvonderwahrenSchtzungderlebendigenKrfteund
BeurteilungderBeweisederersichHerrvonLeibnizundandererMechanikerindieserStreitsachebedienthaben) (1746), Immanuel Kant
consideraespaciosdemsdetresdimensionesyafirma:
Unacienciadetodasestasposiblesclasesdeespacioserasindudalaempresamselevadaqueunentendimientofinitopodraacometer
enelcampodelaGeometra...Siesposiblequeexistanextensionesconotrasdimensiones,tambinesmuyprobablequeDioslashaya
tradoalaexistencia,porquesusobrastienentodalamagnitudyvariedaddequesoncapaces.
https://es.wikipedia.org/wiki/Geometr%C3%ADa_no_euclidiana

2/7

24/11/2015

GeometranoeuclidianaWikipedia,laenciclopedialibre

EsasposiblesgeometrasqueKantentrevsonlasquehoysellamangeometraseuclidianasdedimensinmayorque3.
Porotraparte,yadesdelaantigedadseconsiderqueelquintopostuladodellibrodeEuclidesnoeratanevidentecomolosotroscuatro
pues,alafirmarqueciertasrectas(lasparalelas)nosecortarnalprolongarlasindefinidamente,habladeunaconstruccinmentaluntanto
abstracta.Poresodurantemuchossiglosseintentsinxitodemostrarloapartirdelosotroscuatro.AprincipiosdelsigloXIX,seintent
demostrarloporreduccin al absurdo, suponiendo que es falso y tratando de obtener una contradiccin. Sin embargo, lejos de llegar a un
absurdoseencontrqueexistangeometrascoherentesdiferentesdelaeucldea.Sehabadescubiertoaslaprimerageometranoeucldea(en
concretoelprimerejemploqueselogreraunageometrallamadahiperblica).

Geometrasdecurvaturaconstante
Geometrahiperblica
A principios del siglo XIX, y de modo independiente, Gauss (17771855), Lobachevsky
(17921856), Jnos Bolyai y Ferdinand Schweickard lograron construir la geometra
hiperblica,apartirdelintentodenegarelquintopostuladodeEuclides y tratar de obtener
unacontradiccin.Enlugardeobtenerunacontradiccinloqueobtuvieronfueunacuriosa
geometraenlaquelostresngulosdeuntringulosumabanmenosde180sexagesimales
(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
geometrahiperblicallevaaalgunacontradiccin,entonceslageometraeucldeatambin).
AlgunosafirmanqueGauss fue el primero en considerar la posibilidad de que la geometra
ModelodeldiscoPoincarparalageometra
delUniversonofueralaeucldea.Sabiendoqueenlageometrahiperblicalasumadelos
hiperblicaconunateselacin{3,7}derombos
ngulosdecualquiertringuloesmenorquedosrectos,sedicequesubialacimadetres
truncados.
montaas con un teodolito, aunque la precisin de sus instrumentos no fue suficiente para
decidirlacuestincontalexperimento.Sinembargo,otrosafirmanquecuandoescribique
tratabadecorregirlosefectosdeposiblescurvaturassereferaacorregirelefectodelacurvaturaterrestreenlosestudioscartogrficosque
estabarealizando.
https://es.wikipedia.org/wiki/Geometr%C3%ADa_no_euclidiana

3/7

24/11/2015

GeometranoeuclidianaWikipedia,laenciclopedialibre

Geometraelptica
La geometra elptica es el segundo tipo de geometra noeucldea 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
elpticandimensionaleslanesfera.
Enlageometraelpticalaslneasgeodsicastienenunpapelsimilaralaslneasrectasdelageometra
eucldea, con algunas importanes diferencias. Si bien la mnima distancia posible entre dos puntos
vienedadaporunalneageodsica,queademssonlneasdecurvaturamnima,elquintopostuladode
Eucldesnoesvlidoparalageometraelptica,yaquedadauna"recta"deestageometra(esdecir,
unalneageodsica)yunpuntonocontenidoenlamismanosepuedetrazarningunageodsicaqueno
cortealaprimera.

Geometraeucldea
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
localmenteisomtricoalespacioeucldeoyportantoesunespacioeucldeooidnticoaunaporcin
delmismo.

Laesferaesunmodelodegeometra
elpticabidimensional,losmeridianos
resultanserlneasgeodsicasmientras
quelosparalelossonlneasde
curvaturanomnima.

Aspectosmatemticos
LosespaciosdecurvaturaconstanteeltensordecurvaturadeRiemannvienedadoencomponentesporlasiguienteexpresin:

donde es el tensor mtrico expresado en coordenadas curvilneas cualesquiera. En tensor de Ricci

proporcionalesrespectivamentealtensormtricoyalacurvatura:

https://es.wikipedia.org/wiki/Geometr%C3%ADa_no_euclidiana

y la curvatura escalar son

4/7

24/11/2015

GeometranoeuclidianaWikipedia,laenciclopedialibre

ydonde esladimensindelespacio.
Otroaspectointeresanteesquetantoenlageometrahiperblica,comoenlageometraelpticahomogneaselgrupodeisometradelespacio
completo es un grupo de Lie de dimensin
, que coincide con la dimensin del grupo de isometra de un espacio Euclideo de
dimensinn(aunquelostresgrupossondiferentes).

Geometrasdecurvaturanoconstante
Geometrariemannianageneral
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.Estasgeometrasresultanengeneralnohomogneas:algunasdelaspropiedadesdelespaciopuedendiferirdeunpuntoaotro,
enparticularelvalordelacurvatura.
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
tensordecurvatura.Enunageometrariemanninanageneral,eltensordecurvaturatendrvaloresvariablesalolargodediferentespuntosde
dichageometra.
Esohacequelageometranoseahomognea,ypermitedistinguirunospuntosdeotros.Estoesrelevanteenlateoradelarelatividadgeneral,
ya que en principio es posible hacer experimentos de medicin de distancias y ngulos que permitan distinguir unos puntos del espacio de
otros,talcomoespecificannumerososexperimentosmentalesimaginadosporEinsteinyotrosenlosqueunexperimentadorencerradoenuna
cajapuederealizarexperimentosparadecidirlanaturalezadelespaciotiempoquelerodea.
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
espaciotiempoconunadistribucinmuyirregulardelamateriapodratenerungrupodeisometratrivialdedimensin0.

Geometradelespaciotiempoyteoradelarelatividad
BasndoseenlaideasyresultadosdeRiemann,hacia1920EinsteinabordaensuTeoradelaRelatividadgenerallacuestindelaestructura
geomtricadelUniverso.Enellamuestracmolageometradelespaciotiempotienecurvatura,queesprecisamenteloqueseobservacomo
campogravitatorio,ycmo,bajolaaccindelagravedad,loscuerpossiguenlaslneasmsrectasposiblesdentrodedichageometra,lneas
quesedenominangeodsicas.
https://es.wikipedia.org/wiki/Geometr%C3%ADa_no_euclidiana

5/7

24/11/2015

GeometranoeuclidianaWikipedia,laenciclopedialibre

Adems,laEcuacindeEinsteinafirmaqueparacadaobservador,lacurvaturamediadelespaciocoincide,salvounfactorconstante,conla
densidad observada, dando cumplimiento as a la fantstica visin de Gauss: la geometra desentraada por los griegos es la estructura
infinitesimaldelespacioalgeneralizardichaestructurageomtrica,tienecurvatura.

Vasetambin
Geometraeuclidiana
Geometrahiperblica
GeometradeRiemann
Geometraelptica

Referencias
Bibliografa
N. A'Campoy A. Papadopoulos (2012) Notes on hyperbolic geometry, in: Strasbourg Master class on Geometry, pp. 1182, IRMA
LecturesinMathematicsandTheoreticalPhysics,Vol.18,Zrich:EuropeanMathematicalSociety(EMS),461pages,SBNISBN978
3037191057,DOI10.4171/105.
Anderson,JamesW.HyperbolicGeometry,secondedition,Springer,2005
Blumenthal,LeonardM.(1980),AModernViewofGeometry,NewYork:Dover,ISBN0486639622
H. S. M. Coxeter (1942) NonEuclidean Geometry, University of Toronto Press, reissued 1998 by Mathematical Association of
America,ISBN0883855224.
JeremyGray(1989)IdeasofSpace:Euclidean,NonEuclidean,andRelativistic,2ndedition,ClarendonPress.
Manning,HenryParker(1963),IntroductoryNonEuclideanGeometry,NewYork:Dover
Milnor,JohnW.(1982)Hyperbolicgeometry:Thefirst150years(http://projecteuclid.org/euclid.bams/1183548588),Bull.Amer.Math.
Soc.(N.S.)Volume6,Number1,pp.924.
JohnStillwell(1996)SourcesofHyperbolicGeometry,AmericanMathematicalSocietyISBN0821805290.
Obtenidodehttps://es.wikipedia.org/w/index.php?title=Geometra_no_euclidiana&oldid=85899741
Categora: Geometranoeuclidiana
Estapginafuemodificadaporltimavezel18oct2015alas00:43.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicablesclusulas
adicionales.Lanselostrminosdeusoparamsinformacin.
https://es.wikipedia.org/wiki/Geometr%C3%ADa_no_euclidiana

6/7

24/11/2015

GeometranoeuclidianaWikipedia,laenciclopedialibre

WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.

https://es.wikipedia.org/wiki/Geometr%C3%ADa_no_euclidiana

7/7