IntroducciénBloque 1Referencias Geometrias no euclidianas: Gauss, Bolyai, Lobachevski, Beltrami y Klein, y grupos de transformaciones Introduccion El problema provocado por el quinto postulado de Euclides generé un revuelo en la matematica durante siglos, Antes de la formulacién definitiva de la geometria no euclidiana, muchas otras personas analizaron el quinto postulado e intentaron demostrarlo. Un abogado aleman, dedicado a las matematicas en sus momentos libres, Ferdinand Schweikart (1780-1859)..., concluyé que existian dos geometrias: una, la euclidea, y la otra, la que da al suponer que la suma de los angulos de Un triangulo no es dos dngulos rectos; [a] esta ultima la llamé geometria astral, porque decia que se daba en el espacio de las estrellas. Un sobrino de este, Franz Adolf Taurinus (1794-1874), siguié estudios en esta geometria astral y afirmé que era légicamente consistente. (Ruiz Zuitiga, 1999, p. 61) Es alli donde se reconoce la existencia de la geometria no euclidiana; sin embargo, solo cuando Gauss afirmé que esta geometria también podia describir la realidad se empez6 a avanzar mas rapidamente en esta direcci6n. 1. Nace una nueva geometria Como se mencioné en el apartado anterior: La geometria vivié una auténtica revolucién con el surgimiento de geometrias. no euclidianas. Todo giraba alrededor de! postulado de las paralelas de Euclides. Después de muchos afios de tratar de demostrar el quinto postulado como una derivacién de los otros postulados o de sustituirlo por otros, se asumi6 su independencia. Con ello se daria una importante transformacién enla percepcién de las matematicas, en particular sobre su naturaleza. Fueron Gauss, el ruso Nikolai Ivanovich Lobachevsky (1793-1856) y el hingaro Janos Bolyai (1802-1860) los creadores de las geometrias no euclidianas, cada uno trabajando de manera independiente. Se sabe, gracias a su diario, que Gauss se habia adelantado a los otros matematicos, pero no habia publicado sus resultados. Gauss empezé a trabajar en la geometria no euclidiana desde 1792, con 15 afios, cuando le mencioné a un amigo, Schumacher, la idea de una geometria valida sin el quinto postulado. En una carta dirigida al matematico hiingaro Wolfgang Farkas Bolyai (1775- 1856), en 1799, Gauss afirmé que no se podia deducir el quinto postulado de los otros postulados euclidianos. Desde ese momento con mayor interés les dedicé sus esfuerzos a geometrias sin ese postulado: por lo menos desde 1813, Gauss trabajé en la nueva geometria que llamé primero antieuclidiana, luego astral y después no euclidiana. Gauss llegé a la conclusion de que no podia probarse que los resultados de la geometria euclidiana fueran autoevidentes y su verdad, necesaria, lo que si sucedia —en su opinién— con la aritmética. En la geometria que desarrollé Gauss, la suma de los 4ngulos de un tridngulo es menor que 180 grados, pero esta suma aumenta de acuerdo con el tamafio. del area del tridngulo: conforme el drea del tridngulo se hace mas pequefia, e incluso tiende a 180 cuando el area tiende a 0. “Imaginemos un mundo poblado unicamente por seres carentes de espesor; y supongamos que estos animales ‘infinitamente chatos’ estén todos en un mismo plano y no puedan salir de él. Admitamos, ademas, que ese mundo esté suficientemente alejado de los otros para estar sustraido a su influencia Si estamos dispuestos a hacer hipétesis, no nos cuesta nada dotar de razonamiento a esos seres y considerarlos capaces de construir una geometria. En ese caso, ciertamente atribuiran al espacio solo dos dimensiones. Pero supongamos ahora que esos animales imaginarios, aun permaneciendo siempre carentes de espesor, tengan la forma de una figura esférica y no deesfera, sin poder alejarse de ella. Qué geometria podran construir? En primer lugar, es evidente que atribuirén al espacio solo dos dimensiones; lo que desempefiara para ellos el papel de la recta sera la distancia mas corta de un punto a otro de la superficie esférica, es decir, un arco de circulo maximo; en una palabra, su geometria sera la geometria esférica’. (Poincaré, Henri: Filosofia de la ciencia, p. 175). (Ruiz Zuihiga, http:/www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Pa rte6/Cap21/Parte02_21.htm). Nuevos postulados: Lobachevski... niega el V postulado de Euclides y dice que por un punto exterior a una recta pasa mas de una paralela Esto trae consecuencias, las cuales seran estudiadas a medida que se desarrolle este tipo de geometria. Un ejemplo de esto es que, al cortar las paralelas... por una transversal, sucede que... surgen cambios en los éngulos. exteriores de figuras y en la semejanza de estas. Postulado de las paralelas de Lobachevski: “Dada una linea Ly un punto P fuera de L, hay cuando menos dos lineas L' y L" que contienen a P y son paralelas aL”, (Gémez Cisternas, 2015, p. 32) El modelo de Beltrami-Klein El primer modelo del plano hiperbdlico fue el de Beltrami-Klein, que esta basado en la geometria proyectiva y la razén cruzada. Los puntos son los del interior del disco unitario D4y las lineas son los segmentos de rectas en el interior del disco: Es inmediato que por cada par de puntos pasa una linea; dos lineas se intersecan a lo mas en un punto; dado un punto p fuera de una linea L, hay una infinidad de lineas por p que no intersecan a L. Esto muestra que se cumplen los postulados de la geometria hiperbélica que no tienen que ver con medidas, pero falta mucho mas:+ Necesitamos medir distancias, angulos y areas, de modo que las lineas sean las trayectorias mas cortas entre 2 puntos. * Deben existir transformaciones rigidas (que preserven distancias, Angulos y reas) que leven cualquier punto a cualquier otro, cualquier linea a cualquier otra y cualquier Angulo a cualquier otro angulo igual. En el modelo de Beltrami-Klein, no podemos medir distancias ni angulos de la manera usual (las lineas no serian infinitas y la suma de los angulos internos de un triéngulo no seria menor que 1). eCémo podemos, entonces, medir distancias y angulos? Como las transformaciones rigidas en este modelo deben enviar lineas en lineas, deben corresponder a transformaciones proyectivas que dejan invariante al disco D2. Asi que, para definir la distancia hiperbélica, podriamos usar alguna medida que sea invariante bajo esas transformaciones proyectivas. La razén cruzada r(x,a,by) = xb/ac /ab/xy es invariante bajo todas las transformaciones proyectivas. ;Podremos usarla para medir distancias? {Podriamos medir la distancia entre 2 puntos a y b del disco calculando la razén cruzada r(x,a,b,z) de a y b con los extremos x y z del intervalo por ay b? La distancia debe ser aditiva: para 3 puntos alineados a,b,c se debe cumplir que d(a,b) + d(b,c) = dia.c). Si x,a,b,¢,z estén alineados, las razones cruzadas no son aditivas, sino muttiplicativas: r(x,a,b,z)r(x,b,¢,2) = r(x,a,¢,2) Pero este problema se puede resolver usando el logaritmo, que cambia multiplicaciones por sumas y definiendo: d(a,b) = log |r(x,a,b.2)] Se puede mostrar que, con esta manera de medir distancias, las lineas hiperbdlicas son las trayectorias mas cortas, y las transformaciones rigidas corresponden a las transformaciones proyectivas del plano euclidiano junto con sus puntos al infinito, que dejan invariante el disco. También se puede ver que hay suficientes transformaciones rigidas para llevar cualquier punto a cualquier otro y cualquier linea a cualquier otra. Y esto da una manera de medir angulos en cualquier punto partiendo de la medida usual de Angulos en el origen (Universidad Nacional Auténoma de México, s. f., pp. 2-3)Grupos de transformaciones Aqui aparecen algunas anotaciones que consideramos importantes para el estudio de la geometria en el ambiente de los grupos de transformaciones: 1. La composicién de movimientos... nos muestra que tanto las rotaciones como las reflexiones pueden hacerse en cualquier punto o respecto a cualquier recta sin que se alteren los grupos asociados. Aqui es fundamental el uso de la conjugacién en el grupo correspondiente. 2. Obsérvese que se puede trabajar simulténeamente con varios grupos; por una parte, las isometrias del plano forman un grupo, y por otra, cada figura conlleva un grupo que la deja invariante (por ejemplo, el grupo diédrico D3 del triangulo equilatero, que tiene seis elementos: tres rotaciones y tres reflexiones). Naturalmente, cuando se cambia de figura este tiltimo grupo también cambia y depende del numero de sus lados y de sus simetrias. Vale la pena preguntarse si cada uno de estos grupos caracteriza completamente a una figura determinada. Netese que el grupo que deja invariante a una circunferencia es un caso limite. 3. En estas notas hemos trabajado con la métrica euclidiana del plano. Cuando se cambia la métrica por otra que no sea equivalente a ella, podemos estudiar otras geometrias planas; como sucede, por ejemplo, cuando se trabaja con una métrica hiperbdlica. Estas observaciones también valen en dimensiones superiores. 4, Otro capitulo de la geometria euclidiana plana es el de la semejanza. Para su estudio en el grupo de movimientos, se incluyen las dilataciones y contracciones (se suele utilizar el grupo afin). Como es de esperarse, el uso de otros grupos, como el grupo proyectivo, enriquece el estudio de la geometria tanto en el plano como en dimensiones superiores. En la practica se parte del grupo Aut(E) de los automorfismos del espacio E en el que se quiere trabajar y se seleccionan subgrupos apropiados de acuerdo con las caracteristicas de la geometria que necesitemos estudiar. (Luna Torres y Alvarez Polo, 2005, p. 276). Situacién problema Se desea perforar una masa rocosa que se interpone en el trazado de la ruta de las Altas. Cumbres en Cérdoba, sabiendo que esta masa presenta una falla, Se debe encontrar en la proyeccién una zona segura donde planificar las perforacionesLas mediciones tomadas en campo muestran el trazado de la falla junto con la zona paralela a la falla donde podrian hacerse las perforaciones Figura 1: Perforaciones perpendiculares ieee eae) Proyeccion Sehme hemisfeno abajo. | feirculo maximo de la alla 280/75 Perforaciones sub- paralelos de la falla, (3 ejempios) critica de bajo angulo Zona prohibida: Zona entre perforacion y fala {Pode tata 20075 Fuente: Griem, 2017, https:iwww.geovirtual.<]Geoestructualtt-relacion-plano-ineacion-proyeccion-Schmiat him Te piden que calcules el punto en el plano de proyeccién estereografica del polo de la falla 280,75". Para ello, usas la ecuacién de Beltrami-Klein y oblienes el valor que se presenta a continua Figura 2: Construccién de proyeccién estereografica ‘CONSTRUCCION DE LA PROYECCION HSTEREOGRAFICA CON GEOGEBRA we) En la grica abservece e(P) w (0.18651, ~0.98245) = P= OTREEE = owas = 0.09808 Fuente: elaboracién propia a base dol software GeoGebra (Hohenwarter, 2018) Por lo tanto, el foco de la falla tiene (0,09), que seria P1 Referencias GeoGebra. (2018). GeoGebra (Versién 6.0.518.0) [Software de computacién]. Recuperado de https:/ww.geogebra.org/ Gémez Cisternas, D. R. (2015). Geometria no euclidiana (Trabajo final de grado). Universidad del Bio-Bio, Chiltan, cL. Recuperado de http:/irepobib ubiobio.c\/jspuilbitstream/123456789/1181/1/Gomez_Cisterna_Daniel.pdfGriem, W. (2017). Planos y lineaciones en la proyeccién estereografica, introduccién. Recuperado de __https://www.geovirtual2.cl/Geoestructural/11-relacion-plano-lineacion- proyeccion-Schmidt.htm Luna Torres, J. y Alvarez Polo, Y. (2005). Félix Klein y el estudio de la geometria. Recuperado de http://funes.uniandes.edu.co/9148/1/Klein2005Luna.pdt Ruiz Zuniga, A. (8, f). 21.2 No euclidianas. Recuperado de http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte6/Cap21 IParte02_21.htm Ruiz Zufiiga, A. (1999). Geometrias no euclidianas. Breve historia de una gran revolucién intelectual. San José, CR: Universidad de Costa Rica. Universidad Nacional Autonoma de México. (s. f.). Modelos del plano hiperbdlico. Recuperado de https:/ww.matem.unam.mx/~max/IGA/N12.pdf