Diferencia entre revisiones de «Programa de Erlangen»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
m →‎El Programa de Erlangen: Corrección de un enlace interno a Invariante en lugar del inexistente "invariantes"
m →‎El Programa de Erlangen: inclusión de enlaces internos
Línea 5: Línea 5:
== El Programa de Erlangen ==
== 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 llegó 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.
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 llegó 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.
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.
Ante la aparición de las nuevas [[Geometría no euclidiana|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|Análisis Matemático]] (sobre todo en el estudio de [[Ecuación diferencial|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ía no euclidiana|geometrías no euclidianas]] y la [[Geometría euclidiana|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?
¿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 (matemática)|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.
Klein da respuesta a esta pregunta introduciendo en la [[Geometría]] un nuevo concepto de carácter algebraico: el concepto de [[grupo (matemática)|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:
Para que un conjunto en el que haya una operación sea un grupo deben de cumplirse ciertas condiciones, que son:
Línea 21: Línea 21:
*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>.
*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 obtengo es el elemento neutro: <math> a \star \hat{a} = \hat{a} \star a = e</math>.
* Por último, cada elemento debe tener un [[Elemento simétrico|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 obtengo 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 [[Invariante|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).
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|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 [[Invariante|invariantes]], y las transformaciones que a un [[Invariante|invariantes]] 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.
Así Klein descubre que, por ejemplo, la [[Geometría euclidiana|geometría euclidiana]] es el estudio de los [[Invariante|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 traslaciones, 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 [[Invariante|invariantes]] mediante el grupo de las [[Función continua|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.
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, establece 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, traslaciones, 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''.
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|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.
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.


[[Categoría:Geometría clásica]]
[[Categoría:Geometría clásica]]

Revisión del 14:34 22 ene 2019

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 llegó 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 en el que hay definida una operación, es decir, una aplicación 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 del conjunto, el resultado de operar los dos primeros ( y ) y operar el resultado de ello con el tercero () debe de ser lo mismo que si primero operamos el segundo y el tercero ( y ) y el resultado lo operamos con el primero (). Es decir, si la operación la denotamos por ha de ocurrir que debe de ser lo mismo que .
  • Debe existir un elemento neutro: esto quiere decir que ha de haber un elemento del conjunto de manera que si tomo cualquier otro elemento del conjunto y lo opero con él, entonces el resultado vuelve a ser el elemento , es decir, es como si al elemento no lo hubiera operado. Así, con nuestra notación, y .
  • Por último, cada elemento debe tener un elemento simétrico: esto quiere decir que si yo tomo un elemento cualquiera del conjunto, entonces puedo encontrar otro elemento del conjunto de tal manera que al operar ambos, el resultado que obtengo es el elemento neutro: .

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 invariantes 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 traslaciones, 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, establece 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, traslaciones, 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.