Programa de Erlangen

Programa de Erlangen

Programa de Erlangen

Se conoce como Programa de Erlangen a 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 Erlangen — Klein estaba en ese entonces en Erlangen — propuso un nuevo tipo de solución a los problemas de la geometría del tiempo. El artículo en sí supone un verdadero hito en la historia de la Geometría y de la Matemática en general.

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, líneas (rectas o curvas) y superficies, puesto que el propio Análisis Matemático (sobre todo 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 carácter algebraico: el concepto de grupo. Un grupo es un conjunto G en el que hay definida una operación, es decir, una aplicación G \times G \longrightarrow G 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 a,b,c del conjunto, el resultado de operar los dos primeros (a y b) y operar el resultado de ello con el tercero (c) debe de ser lo mismo que si primero operamos el segundo y el tercero (b y c) y el resultado lo operamos con el primero (a). Es decir, si la operación la denotamos por \star ha de ocurrir que a \star (b \star c) debe de ser lo mismo que (a \star b) \star c.
  • Debe existir un elemento neutro: esto quiere decir que ha de haber un elemento e del conjunto de manera que si tomo cualquier otro elemento a del conjunto y lo opero con él, entonces el resultado vuelve a ser el elemento a, es decir, es como si al elemento a no lo hubiera operado. Así, con nuestra notación, e \star a = a y a \star e = a.
  • Por último, cada elemento debe tener un elemento simétrico: esto quiere decir que si yo tomo un elemento cualquiera a del conjunto, entonces puedo encontrar otro elemento  \hat{a} del conjunto de tal manera que al operar ambos, el resultado que obtengo es el elemento neutro:  a \star \hat{a} = \hat{a} \star a = e.

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.

De hecho, Klein afirma que la comprensión de "tener una geometría, entonces hay un grupo principal" es más bien al revés. Uno a priori dice qué tipo de transformaciones admitirá (es decir, da el grupo) y todo lo demás se puede reconstruir a partir de él. Se demuestra incluso, que si uno da un subgrupo de las biyecciones de un conjunto en sí mismo isomorfo a algún grupo clásico (simetrías, translaciones, proyectividades) entonces todos los teoremas de esa geometría son válidos en este.

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 su época supuso la consagración de la Geometría Proyectiva como la Reina de las Geometrías.

Nótese que es la primera vez que una ciencia (la Geometría) es capaz de autodefinirse rigurosamente y, por tanto, constituye uno de los puntos culminantes del espíritu humano en la historia.

Obtenido de "Programa de Erlangen"

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Programa de Erlangen — 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 …   Enciclopedia Universal

  • Programa — Saltar a navegación, búsqueda Según el contexto, programa puede tener diversos significados: Programa informático, secuencia de instrucciones que una computadora puede interpretar y ejecutar; Aplicación informática, programa informático diseñado… …   Wikipedia Español

  • Emmy Noether — Amalie Emmy Noether Nacimiento 23 de marzo de 1882 Erlangen, Baviera, Alemania Fallecimiento …   Wikipedia Español

  • Historia de la geometría — La geometría es una de las más antiguas ciencias. Inicialmente, constituía un cuerpo de conocimientos prácticos en relación con las longitudes, áreas y volúmenes. En el Antiguo Egipto estaba muy desarrollada, según los textos de Heródoto,… …   Wikipedia Español

  • Problemas de Hilbert — Saltar a navegación, búsqueda Los problemas de Hilbert conforman una lista de 23 problemas matemáticos compilados por el matemático alemán David Hilbert para la conferencia en París del Congreso Internacional de Matemáticos de 1900. Los problemas …   Wikipedia Español

  • Geometría euclidiana — La geometría euclidiana (o geometría parabólica)[1] es aquella que estudia las propiedades del plano y el espacio tridimensional. En ocasiones los matemáticos usan el término para englobar geometrías de dimensiones superiores con propiedades… …   Wikipedia Español

  • Felix Klein — Saltar a navegación, búsqueda Félix Klein Felix Klein(Düsseldorf, 25 de abril de 1849 Gotinga 22 de junio de 1925) Matemático alemán, que demostró que las geometrías métricas, euclídeas o n …   Wikipedia Español

  • Geometría analítica — La geometría analítica estudia las figuras geométricas mediante técnicas básicas del análisis matemático y del álgebra en un determinado sistema de coordenadas. Su desarrollo histórico comienza con la geometría cartesiana, impulsada con la… …   Wikipedia Español

  • Grupo (matemática) — En álgebra abstracta, un grupo es un conjunto en el que se define una operación binaria (i.e. un magma), que satisface ciertos axiomas detallados más abajo. La rama de la matemática que estudia los grupos se llama teoría de grupos. Contenido 1… …   Wikipedia Español

  • Grupo de Poincaré — En física y matemática, el grupo de Poincaré es el grupo de isometrías del espacio tiempo de Minkowski. Es un grupo de Lie no compacto 10 dimensional. El grupo abeliano de las traslaciones son un subgrupo normal mientras que el grupo de Lorentz… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”