Diferencia entre revisiones de «Programa de Erlangen»

Contenido eliminado Contenido añadido
Tubet (discusión · contribs.)
mSin resumen de edición
movido desde historia de la geometria
Línea 2:
 
Un programa de investigación publicado por [[Felix Klein]] en [[1872]] con el título de ''Vergleichende Betrachtungen über neuere geometrische Forschungen''. Este '''Programa de Enlangen''' — Klein estaba en ese entonces en [[Erlangen]] — propuso un nuevo tipo de solución a los problemas de la [[geometría]] del tiempo.
 
 
====El Programa de Erlangen====
 
Con motivo de su ingreso como profesor en la Facultad de Filosofía y al Senado de la Universidad de Erlangen, Klein escribió una memoria en 1872 (que por cierto no llego a leer en público) que puede considerarse, junto a la Conferencia de Riemann y a los Elementos de Euclides, como los puntos esenciales del estudio de la Geometría.
 
La idea de la memoria, conocida como el ''Programa de Erlangen'', es bastante sencilla. Se trata de dar una definición formal de lo que es una geometría, más allá de la idea más o menos intuitiva que tenemos de ella.
 
Ante la aparición de las nuevas geometrías no euclidianas, parece lógico preguntarse qué es la Geometría, máxime cuando la propia idea de la geometría euclidiana se había visto modificada desde la irrupción de los métodos algebraicos y analíticos. Empieza a no estar tan claro que la Geometría sea el estudio de puntos, lineas (rectas o curvas) y superficies, puesto que el propio Análisis Matemático (sobretodo en el estudio de Ecuaciones Diferenciales) parece que también estudia tales objetos. Por otra parte, los métodos analíticos y algebraicos también son aplicables a las geometrías no euclidianas. Hay, digamos, dos niveles de distinciones: por un lado, la de las geometrías no euclidianas y la geometría euclidiana, por otro lado, la distinción entre el método sintético, el algebraico y el analítico.
 
¿Qué es entonces la Geometría?
 
Klein da respuesta a esta pregunta introduciendo en la Geometría un nuevo concepto de caracter algebraico: el concepto de [[grupo matemático|grupo]]. Un grupo es un conjunto <math>G</math> en el que hay definida una [[operación binaria|operación]], es decir, una aplicación <math>G \times G \longrightarrow G</math> que a cada par de elementos del conjunto le asigna otro elemento del conjunto (que será el resultado de operar dichos dos elementos). Mientras que la mayoría de la gente está familiarizada con las operaciones numéricas, les resulta difícil imaginar que puedan operarse puntos, rectas, etc. Puede hacerse, y no hay más que pensar en, por ejemplo, la operación "tomar el punto medio", que a cada par de puntos le asigna el punto medio del segmento que une los dos primeros puntos.
 
Para que un conjunto en el que haya una operación sea un grupo deben de cumplirse ciertas condiciones, que son:
 
*La operación debe ser asociativa: esto quiere decir que si tomamos cualesquiera tres elementos <math>a,b,c</math> del conjunto, el resultado de operar los dos primeros (<math>a</math> y <math>b</math>) y operar el resultado de ello con el tercero (<math>c</math>) debe de ser lo mismo que si primero operamos el segundo y el tercero (<math>b</math> y <math>c</math>) y el resultado lo operamos con el primero (<math>a</math>). Es decir, si la operación la denotamos por <math>\star</math> ha de ocurrir que <math>a \star (b \star c)</math> debe de ser lo mismo que <math>(a \star b) \star c</math>.
 
*Debe existir un elemento neutro: esto quiere decir que ha de haber un elemento <math>e</math> del conjunto de manera que si tomo cualquier otro elemento <math>a</math> del conjunto y lo opero con él, entonces el resultado vuelve a ser el elemento <math>a</math>, es decir, es como si al elemento <math>a</math> no lo hubiera operado. Así, con nuestra notación, <math>e \star a = a</math> y <math>a \star e = a</math>.
 
* Por último, cada elemento debe tener un elemento simétrico: esto quiere decir que si yo tomo un elemento cualquiera <math>a</math> del conjunto, entonces puedo encontrar otro elemento <math> \hat{a}</math> del conjunto de tal manera que al operar ambos, el resultado que btengo es el elemento neutro: <math> a \star \hat{a} = \hat{a} \star a = e</math>.
 
El concepto de grupo no es invención de Klein, pero es él el que descubre un hecho fundamental que lo relaciona con las distintas geometrías: cada geometría es el estudio de ciertas propiedades que no cambian cuando se le aplican un tipo de transformaciones. Esas propiedades, por no cambiar, las denomina [[invariantes]], y las transformaciones que a un invariante no le hacen cambiar han de tener estructura de grupo bajo la operación de composición (componer dos transformaciones es hacer una de ellas y aplicarle la otra transformación al resultado de la primera).
 
Así Klein descubre que, por ejemplo, la geometría euclidiana es el estudio de los invariantes mediante el grupo de los movimientos rígidos (como las simetrías, giros y traslaciones), que la geometría afín es el estudio de los invariantes mediante el grupo de las translaciones, que la geometría proyectiva es el estudio de los invariantes mediante el grupo de las proyectividades, e incluso que la Topología es el estudio de los invariantes mediante el grupo de las funciones continuas y de inversa continua, entre otras.
 
El descubrimiento de Klein es fundamental, ya que por un lado nos permite clasificar las geometrías, comprendiendo cuál es una "subgeometría" de cual, por otro lado nos permite comprender qué es el estudio general de la Geometría (como disciplina matemática) y por último, pero no menos importante, es la confirmación de que los métodos sintético y algebraico no dan geometrías distintas, sino que realmente estudian la misma geometría en cada caso. Se pone fin así a la distinción entre el método sintético y el algebraico-analítico.
 
 
 
[[en:Erlangen program]]