geometra Euclidiana Rama de la geometra basada en los postulados de Eucldes, la cual, en el espacio tridimensional, corresponde a nuestras ideas intuitivas

sobre cmo es el espacio. Esta materia se basa en varias definiciones, como las de punto y de lnea, junto con varios postulados acerca de las propiedades geomtricas. Por ejemplo, uno de los postulados es que dos puntos determinan una lnea recta. Con el auxilio de estos postulados y una lgica rigurosa, se demostraron un gran nmero de teoremas, que desarrollaron los cimientos de la geometra Euclidiana.

geometra no Euclidiana Cualquier sistema de geometra que no est basado en el postulado paralelo de Eucldes, que dice que una lnea y slo una lnea se puede trazar a travs de un punto fuera de una lnea dada, paralela a esa lnea. La geometra Euclidiana trata de la geometra de nuestro mundo diario. El postulado paralelo de Eucldes parece intuitivamente claro, pero nadie ha sido capaz de demostrarlo. Si sustituimos el postulado paralelo de Eucldes con el supuesto que existe ms de una lnea paralela a una lnea dada a travs de un punto dado, tenemos una geometra no Euclidiana llamada geometra hiperblica. Si asumimos que no existen lneas paralelas, tenemos una geometra no Euclidiana llamada geometra elptica. EL MATEMTICO griego Euclides, que vivi alrededor del ao 300 a. C., escribi los Elementos, una de las obras ms conocidas de la literatura mundial. En ella se presenta de manera formal el estudio de las propiedades de lneas y planos, crculos y esferas, tringulos y conos, etc.; es decir, de las formas regulares. Los teoremas que nos ensea Euclides son los que generalmente aprendemos en la escuela. Por citar algunos de los ms conocidos:

a) La suma de los ngulos de cualquier tringulo es 180;

b) En un tringulo rectngulo el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos, que es el famoso teorema de Pitgoras.

La geometra de Euclides, adems de ser un poderoso instrumento de razonamiento deductivo ha sido extremadamente til en muchos campos del conocimiento, por ejemplo en la fsica, la astronoma, la qumica y diversas ingenieras. Desde luego es muy til en las matemticas.

Inspirados por la armona de la presentacin de Euclides, en el siglo II se formul la teora ptolemaica del Universo, segn la cual la Tierra es el centro del Universo, y los planetas, la Luna y el Sol dan vueltas a su alrededor en lneas perfectas, o sea crculos y combinaciones de crculos.

Sin embargo, las ideas de Euclides constituyen una considerable abstraccin de la realidad. Por ejemplo, supone que un punto no tiene tamao; que una lnea es un conjunto de puntos que no tienen ni ancho ni grueso, solamente longitud; que una superficie no tiene ancho, etctera.

En vista de que el punto, de acuerdo con Euclides, no tiene tamao, se le asigna una dimensin nula o de cero. Una lnea tiene solamente longitud, por lo que adquiere una dimensin igual a uno. Una superficie no tiene ancho, por lo que tiene dimensin dos. Finalmente, un cuerpo slido, como un cubo, tiene dimensin tres. De hecho, en la geometra euclidiana las nicas dimensiones posibles son las que corresponden a los nmeros enteros: 0, 1, 2 y 3.

Geometra plana La geometra plana es una parte de la geometra que trata de aquellos elementos cuyos puntos estn contenidos en un plano. La geometra plana est considerada parte de la geometra eucldea, pues sta estudia los elementos geomtricos a partir de dos dimensiones.

Axiomas La presentacin tradicional de la geometra euclidiana se hace en un formato axiomtico. Un sistema axiomtico es aqul que, a partir de un cierto nmero de proposiciones que se presuponen evidentes (conocidas como axiomas) y mediante deducciones lgicas, genera nuevas proposiciones cuyo valor de verdad es tambin lgico.

Euclides plante cinco postulados en su sistema: Dados dos puntos se puede trazar una y solo una recta que los une. Cualquier segmento puede prolongarse de manera continua en cualquier sentido. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio. Todos los ngulos rectos son congruentes. Si una recta, al cortar a otras dos, forma ngulos internos menores a dos ngulos rectos, esas dos rectas prolongadas indefinidamente se cortan del lado en el que estn los ngulos menores que dos rectos (ver quinto postulado de Euclides). Este ltimo postulado, que es conocido como el postulado de las paralelas, fue reformulado como: 5. Por un punto exterior a una recta, se puede trazar una nica paralela a la recta dada. Este postulado parece menos obvio que los otros cuatro, y muchos gemetras, incluido el propio Euclides, han intentado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negndolo, surgieron dos nuevas geometras: la elptica, tambin llamada geometra de Riemann o riemanniana (dada una recta y un punto exterior a ella, no existe ninguna recta

que pase por el punto y sea paralela a la recta dada) y la hiperblica o de Lobachevsky (existen varias rectas paralelas que pasen por un punto exterior a una dada).

Geometra no euclidiana

Los tres tipos de geometras homogneas posibles, adems de la geometra euclidea de curvatura nula, existen la geometra elptica de curvatura positiva, y la geometra hiperblica de curvatura negativa. Si se consideran geometras no-eucldeas homogneas entonces existe una infinidad de posibles geometras, descritas por las variedades riemannianas generales. 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 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[editar editar cdigo]

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

Geometra hiperblica[editar editar cdigo]

Modelo del disco Poincar para la geometra hiperblica con una teselacin {3,7} de rombos truncados. Artculo principal: Geometra hiperblica. A principios del siglo XIX, y de modo independiente, Gauss (1777-1855), Lobachevsky (17921856), 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[editar editar cdigo]

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. Artculo principal: 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[editar editar cdigo] Artculo principal: Geometra eucldea. 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.