PROGRAMA DE ERLANGEN

En 1872, Felix Klein publica un documento con el titulo de Vergleichende Betrachtungen ber neuere geometrische Forschungen, que adquiere fama en el munod de las matematicos con el nonbre de Programa de Erlangen, con motivo de su ingreso a la Facultad de Filosofia de Erlangen. Considerado como uno de los puntos escenciales de la geometra, junto con los Elementos de Euclides y la Conferencia de Riemann. 3 El principal objetivo del Programa de Erlangen es el de dar la definicin formal de Geometra. Pues dada la aparicion de nuevas geometras, surge la pregunta de qu es la geometra, ya que no es tan claro que sea el estudio de puntos, lineas y superficie; pues existen otras ramas de las matematicas que tambien son su objeto de estudio. Para introducir la definion de geomtria, Klein hace uso del concepto de grupo. A saber, un grupo es un conjunto G en el que esta definida un operacin binaria que cumple Asociatividad, Existencia de un elemento neutro, Existencia de elemento inverso para cada uno de los elementos de G, Si bien, el concepto de grupo no proviene de Klein, si lo hace la relacion que existe con las distintas geometras, donde cada geometra estudia las propiedades que no cambian al aplicarse cierto tipo de transformaciones; a dichas propiedades se les conoce como invariantes y el conjunto de las transformaciones que a una invariante no la hacen cambiar tienen estructura de grupo bajo la composicin de funciones. Por ejemplo, la geometra euclidiana estudia las invariantes bajo el grupo de transformaciones rgidas y la topologa estudia las invariantes bajo homeomorfismos.

Una gran unificacin: Flix Klein

Si preguntamos a un buen nmero de personas qu creen que es la geometra, muchos (creo que la mayor parte) mencionarn cuestiones relacionadas con medidas de figuras. Si preguntamos qu es la topologa a alguien que sabe del asunto. perfectamente podra contestarnos que la topologa es lo que queda de la geometra cuando suprimimos toda nocin de medida.Es evidente que la cosa chirra por algn lado. Vayamos a encontrarnos con Klein y se nos aclararn varias cosas. El gran Flix Klein fu un unificador impresionante; fu un matemtico alemn, que tras haber demostrado que las geometras mtricas, eucldeas o no eucldeas, constituyen casos particulares de la geometra proyectiva, en 1872 present una notable clasificacin de la geometra, el "programa de Erlangen", que puso fin a la escisin entre geometra pura y geometra analtica. Para Klein, una geometra es un par (X,G), donde X es un conjunto cualquiera y G es un grupo algebrico. Esta definicin es ciertamente la prdida de la inocencia matemtica. Para empezar, el conjunto puede ser cualquier cosa: un conjunto de puntos, como el espacio tridimensional fsico, o un plano ideal, o un espacio de funciones infinitodimensional. Y el grupo? El grupo es otro conjunto de cosas con una operacin entre dichas cosas que cumple ciertas "buenas propiedades". La relacin entre el conjunto X y el grupo G es que el grupo actua sobre el conjunto. Esto quiere decir que cada elemento del grupo es una accin ejercida sobre el conjunto. Pensemos en rotaciones, traslaciones, ampliaciones, reducciones, estiramientos... Pues bien; Klein insisti en que el objeto de la geometra era la bsqueda y el anlisis de las propiedades del conjunto X que permanecan invariantes por accin

del grupo. Cuanto ms "intensa" era la accin del grupo, ms ntima tena que ser una propiedad para que se preservara invariante por la accin del grupo. Pongamos un ejemplo: tenemos una circunferencia de 1 metro con centro en el punto (0,0). Podemos pensar que la propiedad de tener el centro en dicho punto es importante, pero si "actuamos" sobre la circunferencia desplazndola, el centro est en otro punto. Lo mismo podemos decir de la medida del radio: sometida a una ampliacin vara completamente. Sin embargo, el cociente entre la longitud de la circunferencia y su radio permanece invariante por rotaciones, traslaciones y ampliaciones o reducciones. Este "ser invariante" nos da un ndice de importancia de la propiedad. Por ltimo, si sometemos a estiramientos, torceduras y torturas matemticas similares ; siempre operaciones continuas, sin rasgar la circunferencia; e inversibles (homeomorfismos), obtendremos cosas muy diferentes de una circunferencia. Obtendremos de hecho una curva de Jordan si la figura es plana, y algo un poco ms complejo si no lo es. An en ese caso existen ciertas propiedades que permanecen invariables. Esa terquedad al cambio de estas propiedades escondidas es el objeto de estudio de la topologa. Concluimos pues que la topologa es el estudio de las propiedades invariantes por homeomorfismos lo cual, si se ha seguido con un poco de atencin lo anterior, est ms claro que lo que se afirmaba al inicio del artculo.

18.7 Klein y el Programa de Erlanger Felix Klein fue asistente de Plcker en Bonn. En el ao 1872 se convirti en profesor de la Universidad de Erlanger. Fue precisamente en su conferencia inaugural en esta institucin que describi la relevancia de la teora de grupos para clasificar las diferentes especialidades y disciplinas matemticas. Una vez que Klein descubri las posibilidades de los grupos, se dedic mucho tiempo a ello. Entre 1888 y 1893 escribi tres tomos sobre la teora de grupos de transformaciones; en particular, sistematiz las transformaciones de contacto que haba desarrollado el matemtico Lie, que permiten una correspondencia biunvoca entre rectas y esferas del espacio euclidiano. De hecho, Sophus Lie fue un gran matemtico noruego que hizo grandes contribuciones en el lgebra. En 1870 se encontr con el joven Klein en Pars y juntos establecieron contactos con los matemticos franceses, entre ellos Camille Jordan. Precisamente aqu iniciaron su estudio de la teora de grupos y los trabajos de Galois (especialmente el libro de Jordan: Trait des substitutions). Se afirma que ambos matemticos se dividieron el nfasis en su aproximacin a los grupos: Klein en los discontinuos, Lie se dedic enteramente al estudio de los grupos de transformaciones continuas y sus invariantes (al

igual que Klein, demostrando su relevancia como principio de clasificacin en las matemticas). La idea fundamental, expresada en lo que qued para la historia como el "Programa de Erlanger'', fue considerar que cada geometra era una teora de los invariantes de un grupo especfico de transformaciones. Las diferentes geometras se obtenan al ampliar o reducir el grupo. Por ejemplo, la geometra euclidiana se puede describir como el estudio de los invariantes de un grupo mtrico. La geometra proyectiva de aquellos del grupo proyectivo. Entonces: la teora de invariantes algebraicos y diferenciales para cada grupo ofreca la estructura analtica de una geometra. Veamos algunos ejemplos. Al usarse la definicin proyectiva de una mtrica, la de Cayley en particular, la geometra mtrica se poda analizar dentro de la geometra proyectiva. Si se aade un invariante cnico a la geometra proyectiva en el plano, se obtienen las geometras no euclidianas. La topologa, otro ejemplo, era en este tipo de clasificacin una teora de los invariantes de las transformaciones continuas de puntos. Entonces, la teora de grupos, generada por el joven Galois, hizo posible una sntesis extraordinaria del trabajo geomtrico y algebraico de Monge, Poncelet, Gauss, Cayley, Clebsch, Grassmann y Riemann. No obstante, debe decirse que fue la concepcin de espacio desarrollada por Riemann la que se encuentra en la base de esta clasificacin y sntesis de la geometra en el siglo XIX. Esta nueva visin tuvo influencia en muchos otros matemticos: entre ellos, Helmholtz, Lie, Hilbert. Ya retomaremos los trabajos de estos cientficos. Una de las contribuciones de Klein fue tambin en los planos educativo y social: potenci la enseanza y la investigacin de alta calidad en Gttingen, en la tradicin de los grandes matemticos del siglo XIX como Gauss, Dirichlet, Riemann, y logr convertir esta universidad otra vez en la Meca de las matemticas occidentales.