domingo, 13 de septiembre de 2009
jueves, 10 de septiembre de 2009
HISTORIA DE LA GEOMETRIA II
La Geometría en la Antigüedad y la Edad Media
Geometría durante los periodos prehistórico y protohistórico
Es razonable pensar que los primeros orígenes de la Geometría se encuentran en los orígenes de la humanidad, pues seguramente el hombre primitivo clasificaba -aun de manera inconsciente- los objetos que le rodeaban según su forma. En la abstracción de estas formas comienza el primer acercamiento -informal e intuitivo- a la Geometría. La ornamentación esquemática abstracta de vasos, cerámica y ciertos utensilios así lo parecen confirmar.
Geometría en el Antiguo Egipto
Las primeras civilizaciones mediterráneas adquieren poco a poco ciertos conocimientos geométricos de carácter eminentemente práctico. La Geometría en el Antiguo Egipto estaba muy desarrollada, como admitieron Heródoto, Estrabón y Diodoro, que aceptaban que los egipcios habían "inventado" la geometría y la habían enseñado a los griegos; aunque lo único que ha perdurado son algunas fórmulas –o, mejor dicho, algoritmos expresados en forma de "receta"– para calcular volúmenes, áreas y longitudes, cuya finalidad era práctica, pues se pretendía, por ejemplo, calcular la dimensión de las parcelas de tierra para reconstruirlas después de las inundaciones anuales. De allí el nombre de Geometría: "medición de la tierra". Los antiguos historiadores nos relataron que el conocimiento de esta civilización –así como los de las culturas mesopotámicas– sobre Geometría pasó íntegramente a la cultura griega a través de Tales de Mileto, los pitagóricos, y esencialmente de Euclides.
La Geometría griega
La Geometría griega antes de Euclides
En efecto, Tales permaneció en Egipto una larga temporada de su vida, aprendiendo de los sacerdotes y escribas egipcios todo lo referente a sus conocimientos en general, y estos quedaron asombrados cuando fue capaz de medir la altura de la Pirámide de Keops y de predecir un eclipse solar.
La Geometría Griega fue la primera en ser formal. Parte de los conocimientos concretos y prácticos de las civilizaciones egipcia y mesopotámica, y da un paso de abstracción al considerar los objetos como entes ideales –un cuadrado ideal, en lugar de una pared cuadrada concreta, un círculo en lugar del ojo de un pozo, etc.– que pueden ser manipulados mentalmente, con la sola ayuda de regla y compás. Aparece por primera vez la demostración como justificación de la veracidad de un conocimiento aunque, en un primer momento, fueran más justificaciones intuitivas que verdaderas demostraciones formales.
La figura de Pitágoras y de la secta por él creada: los pitagóricos, tiene un papel central, pues eleva a la categoría de elemento primigenio el concepto de número (filosofía que de forma más explícita o más implícita, siempre ha estado dentro de la Matemática y de la Física), arrastrando a la Geometría al centro de su doctrina –en este momento inicial de la historia de la Matemática aun no hay una distinción clara entre Geometría y Aritmética–, y asienta definitivamente el concepto de demostración (éste ya sí coincide con el concepto de demostración formal) como única vía de establecimiento de la verdad en Geometría.
Esta actitud permitió (aun fuera de la secta) la medición del radio de la Tierra por Eratóstenes, así como la medición de la distancia a la Luna, y la invención de la palanca por Arquímedes, varios siglos después.
En el seno de la secta de los pitagóricos surge la primera crisis de la Matemática: la aparición de los inconmensurables, pero esta crisis es de carácter más aritmético que geométrico.
Surge entonces un pequeño problema de Lógica, que consiste en lo siguiente: una demostración parte de una o varias hipótesis para obtener un resultado denominado tesis. La veracidad de la tesis dependerá de la validez del razonamiento con el que se ha extraído (esto será estudiado por Aristóteles al crear la Lógica) y de la veracidad de las hipótesis. Pero entonces debemos partir de hipótesis ciertas para poder afirmar con rotundidad la tesis. Para poder determinar la veracidad de las hipótesis, habrá que considerar cada una como tesis de otro razonamiento, cuyas hipótesis deberemos también comprobar. Se entra aparentemente en un proceso sin fin en el que, indefinidamente, las hipótesis se convierten en tesis a probar.
Euclides y "Los Elementos"
1 Framentos de uno de los Papiros de Oxirrinco con unas lineas de "los ementos de Euclides"
Euclides, vinculado al Museo de Alejandría y a su Biblioteca, zanja la cuestión al proponer un sistema de estudio en el que se da por sentado la veracidad de ciertas proposiciones por ser intuitivamente claras, y deducir de ellas todos los demás resultados. Su sistema se sintetiza en su obra cumbre, "Los Elementos", modelo de sistema axiomático-deductivo. Sobre tan sólo cinco postulados y las definiciones que precisa construye toda la Geometría y la Aritmética conocidas hasta el momento. Su obra, en trece volúmenes, perdurará como única verdad geométrica hasta entrado el siglo XIX.
Entre los postulados en los que Euclides se apoya hay uno (el quinto postulado) que trae problemas desde el principio. Su veracidad está fuera de toda duda, pero tal y como aparece expresado en la obra, muchos consideran que seguramente puede deducirse del resto de postulados. Durante los siguientes siglos, uno de los principales problemas de la Geometría será determinar si el V postulado es o no independiente de los otros cuatro, es decir, si es necesario considerarlo como un postulado o es un teorema, es decir, puede deducirse de los otros, y por lo tanto colocarse entre el resto de resultados de la obra.
Después de Euclides
Euclides casi cierra definitivamente la Geometría griega - y por extensión la del mundo antiguo y medieval-, a excepción de las figuras de Arquímedes y Apolonio.
Arquímedes estudió ampliamente las secciones cónicas, introduciendo en la Geometría las primeras curvas que no eran ni rectas ni circunferencias, aparte de su famoso cálculo del volumen de la esfera, basado en los del cilindro y el cono.
Esquema de las cuatro secciones cónicas.
Apolonio trabajó en varias construcciones de tangencias entre círculos, así como en secciones cónicas y otras curvas.
Los tres problemas de la Antigüedad
La Geometría griega es incapaz de resolver tres famosos problemas que heredarán los matemáticos posteriores. Es importante observar que los tres problemas deben ser resueltos utilizando únicamente la regla y el compás, únicos instrumentos (además del papel y el lápiz, por supuesto) válidos en la Geometría de Euclides. Además de los tres problemas, la disputa de si el V postulado era o no un teorema (de si se podía o no deducir de los otros cuatro) también se considera uno de los problemas clásicos de la Geometría griega. Estos tres problemas son los siguientes:
La duplicación el cubo
Cuenta la leyenda que una terrible peste asolaba la ciudad de Atenas, hasta el punto de llevar a la muerte a Pericles. Una embajada de la ciudad fue al oráculo de Delos, consagrado a Apolo (en ciertas fuentes aparece el oráculo de Delfos, en lugar del de Delos, también consagrado a Apolo), para consultar qué se debía hacer para erradicar la mortal enfermedad. Tras consultar al Oráculo, la respuesta fue que se debía duplicar el altar consagrado a Apolo en la isla de Delos. El altar tenía una peculiaridad: su forma cúbica. Prontamente, los atenienses construyeron un altar cúbico cuyos lados eran el doble de las del altar de Delos, pero la peste no cesó, se volvió más mortífera. Consultado de nuevo, el oráculo advirtió a los atenienses que el altar no era el doble de grande, sino 8 veces mayor, puesto que el volumen del cubo es el cubo de su lado ((2l)3 = 23l3 = 8l3). Nadie supo cómo construir un cubo cuyo volumen fuese exactamente el doble del volumen de otro cubo dado, y el problema matemático persistió durante siglos (no así la enfermedad).
La trisección del ángulo
Este problema consiste en dividir un ángulo cualquiera en tres ángulos iguales, empleando únicamente la regla y el compás, de manera que la suma de las medidas de los nuevos tres ángulos sea exactamente la medida del primero. Dadas las condiciones nadie ha logrado hacerlo.
La cuadratura del círculo
La cuadratura del círculo consiste en tratar de obtener, dado un círculo, un cuadrado cuya área mide exactamente lo mismo que el área del círculo. Anaxágoras fue el primero en intentar resolverlo, dibujando en las paredes de su celda cuando fue hecho prisionero por explicar diversos fenómenos que los griegos atribuían a los dioses. Tampoco pudo ser resuelto por los geómetras de la antigüedad, y llegó a ser el paradigma de lo imposible. Como curiosidad, el filósofo inglés David Hume llegó a escribir un libro con supuestos métodos para resolver el problema. Hume no tenía conocimientos matemáticos serios, y nunca aceptó que todos sus métodos fallaban.
La Geometría en la Edad Media
Durante los siguientes siglos la Matemática comienza nuevos caminos - Álgebra y Trigonometría - de la mano de indios y árabes, y la Geometría apenas tiene nuevas aportaciones, excepto algunos teoremas de carácter más bien anecdótico. En Occidente, a pesar de que la Geometría es una de las siete Artes Liberales (encuadrada concretamente en el Quadrivium), las escuelas y universidades se limitan a enseñar "Los Elementos", y no hay aportaciones, excepto tal vez en la investigación sobre la disputa del V postulado. Si bien no se llegó a dilucidar en este periodo si era o no independiente de los otros cuatro, sí se llegaron a dar nuevas formulaciones equivalentes de este postulado.lo que es.
La Geometría en la Edad Moderna
La Geometría Proyectiva
Es en el Renacimiento cuando las nuevas necesidades de representación del arte y de la técnica empujan a ciertos humanistas a estudiar propiedades geométricas para obtener nuevos instrumentos que les permitan representar la realidad. Aquí se enmarca la figura del matemático y arquitecto Luca Pacioli, de Leonardo da Vinci, de Alberto Durero, de Leone Battista Alberti, de Piero della Francesca, por citar sólo algunos. Todos ellos, al descubrir la perspectiva y la sección, crean la necesidad de sentar las bases formales en la que cimentar las nuevas formas de Geometría que ésta implica: la Geometría proyectiva, cuyos principios fundamentales aparecen de la mano de Desargues en el siglo XVII. Esta nueva geometría de Desargues fue estudiada ampliamante ya por Pascal o por de la Hire, pero debido al interés suscitado por la Geometría Cartesiana y sus métodos, no alcanzó tanta difusión como merecía hasta la llegada a principios del siglo XIX de Gaspard Monge en primer lugar y sobre todo de Poncelet.
La Geometría Cartesiana
Pero es sin duda la aparición de la Geometría Cartesiana lo que marca la Geometría en la Edad Moderna. Descartes propone un nuevo método de resolver problemas geométricos, y por extensión, de investigar en Geometría.
2 René Descartes
El nuevo método se basa en la siguiente construcción: en un plano se trazan dos rectas perpendiculares (ejes) -que por convenio se trazan de manera que una de ellas sea horizontal y la otra vertical-, y cada punto del plano queda unívocamente determinado por las distancias de dicho punto a cada uno de los ejes, siempre y cuando se dé también un criterio para determinar sobre qué semiplano determinado por cada una de las rectas hay que tomar esa distancia, criterio que viene dado por un signo. Ese par de números, las coordenadas, quedará representado por un par ordenado (x,y), siendo x la distancia a uno de los ejes (por convenio será la distancia al eje vertical) e y la distancia al otro eje (al horizontal). En la coordenada x, el signo positivo (que suele omitirse) significa que la distancia se toma hacia la derecha del eje vertical (eje de ordenadas), y el signo negativo (nunca se omite) indica que la distancia se toma hacia la izquierda. Para la coordenada y, el signo positivo (también se suele omitir) indica que la distancia se toma hacia arriba del eje horizontal (eje de abscisas), tomándose hacia abajo si el signo es negativo (tampoco se omite nunca en este caso). A la coordenada x se la suele denominar abscisa del punto, mientras que a la y se la denomina ordenada del punto. 3 Ejes coordenados.
Existe una cierta controversia (aun hoy) sobre la verdadera paternidad de este método. Lo único cierto es que se publica por primera vez como "Geometría Analítica", apéndice al "Discurso del Método", de Descartes, si bien se sabe que Pierre de Fermat conocía y utilizaba el método antes de su publicación por Descartes. Aunque Omar Khayyam ya en el siglo XI utilizara un método muy parecido para determinar ciertas intersecciones entre curvas, es imposible que alguno de los citados matemáticos franceses tuviera acceso a su obra.
Lo novedoso de la Geometría Analítica (como también se conoce a este método) es que permite representar figuras geométricas mediante fórmulas del tipo f(x,y) = 0, donde f representa una función. En particular, las rectas pueden expresarse como ecuaciones polinómicas de grado 1 (v.g.: 2x + 6y = 0) y las circunferencias y el resto de cónicas como ecuaciones polinómicas de grado 2 (v.g.: la circunferencia x2 + y2 = 4, la hipérbola xy = 1 ). Esto convertía toda la Geometría griega en el estudio de las relaciones que existen entre polinomios de grados 1 y 2. Desde un punto de vista formal (aunque ellos aun lo sabían), los geómetras de esta época han encontrado una relación fundamental entre la estructura lógica que usaban los geómetras griegos (el plano, la regla, el compás...) y la estructura algebraica del ideal formado por los polinomios de grados 0, 1 y 2 del Anillo de polinomios , resultando que ambas estructuras son equivalentes. Este hecho fundamental (no visto con nitidez hasta el desarrollo del Álgebra Moderna y de la Lógica Matemática entre finales del siglo XIX y principios del siglo XX) resulta fundamental para entender por qué la Geometría de los griegos puede desprenderse de sus axiomas y estudiarse directamente usando la axiomática de Zermelo-Fraenkel, como el resto de la Matemática.
El método original de Descartes no es exactamente el que se acaba de explicar. Descartes utiliza solamente el eje de abscisas, calculando el valor de la segunda componente del punto (x,y) mediante la ecuación de la curva, dándole valores a la magnitud x. Por otro lado, Descartes sólo considera valores positivos de las cantidades x e y, dado que en la época aun resultaban "sospechosos" los números negativos. Como consecuencia, en sus estudios existen ciertas anomalías y aparecen curvas sesgadas. Con el tiempo se aceptaron las modificaciones que muestran el método tal y como lo conocemos hoy en día.
Los nuevos métodos
Agotamiento del método sintético
La aparición de la Geometría Analítica trae consigo una nueva forma de entender la Geometría. El nuevo método, algebraico, sustituye al antiguo, el sintético, consistente en establecer unos axiomas y unas definiciones y deducir de ellos los teoremas. El método sintético está a estas alturas casi agotado (aunque aun dará algunos resultados interesantes, como la característica de Euler, la naturaleza de estos resultados no es ya tanto geométrica como topológica, y los resultados realmente importantes que se hagan en adelante en el campo de la Geometría ya vendrán de la mano de métodos algebraicos o diferenciales), da paso al método algebraico: estudio de los objetos geométricos como representaciones en el espacio de ciertas ecuaciones polinómicas, o dicho de otro modo, del conjunto de raíces de polinomios. El método sintético sólo volverá a abordarse cuando aparezcan las geometrías no euclídeas, y definitivamente deja de ser un instrumento de investigación geométrica a principios del siglo XX, quedando relegado a un conjunto de instrumentos y herramientas para la resolución de problemas, pero ya como una disciplina cerrada.
Los límites del método algebraico
El método algebraico se ve posibilitado por un avance en Álgebra hecho durante el siglo XVI, la resolución de las ecuaciones de grado 3º y 4º. Esto permite generalizar la Geometría, al estudiar curvas que no son dadas por polinomios de segundo grado, y que no pueden construirse con regla y compás -además de las cónicas, excluyendo a la circunferencia, claro-. Pero este método, que terminará constituyendo una disciplina propia, la Geometría Algebraica, tardará aun mucho -siglo XX- en salir de unas pocas nociones iniciales, prácticamente inalteradas desde Descartes, Fermat y Newton. La razón será la imposibilidad de resolver por radicales la ecuación de quinto grado, hecho no descubierto hasta el siglo XIX, y el desarrollo de la Teoría de Anillos y del Álgebra Conmutativa.
El Cálculo Infinitesimal
El método algebraico tiene otra generalización natural, que es la de considerar una curva no solo como una ecuación polinómica, sino como una ecuación f(x,y) = 0 en la que el polinomio es ahora sustituido por una función cualquiera f. La generalización de todo esto desde el plano (2 coordenadas) al estereoespacio (3 coordenadas) se hace de forma natural añadiendo un tercer eje perpendicular (eje z) a los dos ya considerados, y las funciones tomarán la forma f(x,y,z).
Ya Isaac Barrow descubre gracias a la Geometría Analítica la relación entre la tangente a una curva y el área que encierra entre dos puntos y los ejes coordenados en su famosa Regla de Barrow, antes incluso de que Newton y Leibnitz dieran cada uno su exposición del Cálculo Infinitesimal. La relación entre el Análisis Matemático y la Geometría es así estrechísima desde incluso los orígenes de aquél. Las ideas geométricas no sólo fueron la base de los instrumentos iniciales del Cálculo Infinitesimal, sino que fueron en gran medida su inspiración. Por eso resulta natural que en un primer momento, Descartes, Newton o los Bernoulli no distinguieran entre los conceptos de curva y de función de una variable (o si se quiere, de curva y los ceros de una función de dos variables). Fue Euler el primero en empezar a intuir la diferencia, y el primero también en ampliar este tipo de estudios a las superficies (como función de dos variables o como el conjunto de los ceros de una función de tres variables). El trabajo de Monge continúa por esta línea.
En adelante, y hasta la aparición de Gauss, la Geometría queda supeditada a sus aplicaciones en Mecánica y otras ramas de la Física por medio de la resolución de Ecuaciones Diferenciales. Se estudia en especial la interpretación geométrica de las ecuaciones diferenciales (tanto de la solución en sí como problemas asociados a ellas, como puede ser el de las curvas ortogonales). En esta época aparece el que será el caballo de batalla de la Geometría Diferencial: el Teorema de la Función Implícita.
Fue Huygens el primero en estudiar la curvatura de una curva plana, aunque parece que fue Clairaut el que usa con maestría y fija el concepto.
La Geometría en la Edad Contemporánea
Gauss devuelve el carácter geométrico que impregna parte del Análisis Matemático, fundamentalmente con dos contribuciones: el nacimiento de la Variable Compleja y de la Geometría Diferencial.
Pero no son las únicas contribuciones de éste genio al campo de la Geometría. En su adolescencia se vio dividido entre dedicarse a la Filología o a la Matemática. A los 17 descubrió la manera de construir el polígono regular de 17 lados, y la condición necesaria y suficiente para que un polígono regular pueda construirse. Esto determinó su
4 Carl Friedrich Gauss
vocación.
En su primera demostración del Teorema Fundamental del Álgebra (de las cinco que realizó a lo largo de su carrera) sentó las bases del Análisis de Variable Compleja, usando la interpretación geométrica de los números complejos como vectores fijos del plano (no en este lenguaje, que será introducido mucho más tarde). Por cierto, se atribuye a Gauss la paternidad de esta idea. Primero Wessel y luego Argand se le anticiparon, pero nadie conocía los estudios de ambos. Aunque no es propiamente obra suya, pues la Variable Compleja está desarrollada fundamentalmente por Cauchy, sí es el primero en abordarla seriamente, y sobre todo le da una interpretación geométrica que marcará el desarrollo de esta rama.
Pero la principal contribución de Gauss a la Geometría es la creación de la Geometría Diferencial, retomando las ideas que sobre las relaciones entre el Análisis Matemático y la Geometría había hasta entonces y desarrollándolas ampliamente.
Partiendo de la base de que la Geometría estudia el espacio, las curvas y las superficies, establece la noción fundamental de curvatura de una superficie. Gracias a ella, y a la definición de geodésica, demuestra que si consideramos que una geodésica es una curva con menor distancia entre dos puntos sobre una superficie (es decir, si tenemos dos puntos sobre una superficie, el camino más corto entre esos dos puntos sin salirnos de la superficie es un segmento de geodésica), concepto totalmente análogo sobre la superficie al de recta en el plano, existen superficies en las que los triángulos formados por las geodésicas miden más de la medida de dos ángulos rectos, y otras en las que mide menos. Esto, esencialmente, es contradecir el V postulado de Euclides.
Estas consideraciones llevaron a Gauss a considerar la posibilidad de crear geometrías no euclídeas, pero aunque a esas alturas ya era el matemático más prestigioso de Europa, consideró que la mentalidad de la época no estaba preparada para un resultado de tal magnitud, y nunca publicó esos resultados. Sólo vieron la luz cuando Bolyai publicó su geometría no euclídea, y comprobó que la comunidad científica general aceptaba el resultado.
Así que, por un lado, Gauss fue el primero en crear una geometría no euclídea, y por otro fue el creador de la Geometría Diferencial y precursor de la Variable Compleja.
Además, Gauss es el primero en considerar una nueva propiedad en la Geometría: la orientación.
El final de los grandes problemas de la antigüedad
La controversia sobre el V postulado
Como ya se ha adelantado, Gauss es el primero en construir una geometría (un modelo del espacio) en el que no se cumple el V postulado de Euclides, pero no publica su descubrimiento. Son Bolyai y Lobatchevsky quienes, de manera independiente y simultáneamente publican cada uno una geometría distinta en la que no se verifica tampoco el V postulado.
5 János Bolyai
6 Nikolai Ivanovich Lobatchevsky
¿Qué quiere decir esto? Tanto Bolyai como Lobatchevsky parten de un objeto geométrico y establecen sobre él unos postulados que son idénticos a los de Euclides en Los Elementos, excepto el quinto. Pretenden originalmente razonar por reducción al absurdo: si el V postulado depende de los otros cuatro, cuando lo sustituya por aquél que dice exactamente lo contrario, he de llegar a alguna contradicción lógica. Lo sorprendente es que no se llega a contradicción ninguna, lo cual quiere decir dos cosas:
1º El V postulado es independiente de los otros cuatro, es decir, no puede deducirse de los otros cuatro, no es un teorema, y Euclides hizo bien en considerarlo como un postulado.
2º Existen modelos del espacio en los que, en contra de toda intuición, por un punto que no esté en una cierta recta no pasa una única recta paralela a la dada. Esto es tremendamente antiintuitivo, pues no podemos concebir tal cosa, no podemos imaginar (ni mucho menos dibujar) una situación así, sin reinterpretar los conceptos de recta, plano, etc. Pero desde el punto de vista lógico es perfectamente válido.
Como es de imaginar, esto supuso una fuerte crisis en la Matemática del siglo XIX, que vino a sumarse a otras controversias.
Es importante señalar que las geometrías de Bolyai y de Lobatchevsky, no depende de si se construyen usando métodos analíticos o sintéticos. Existen formas de construirlas tanto de manera sintética como analítica. El modelo es el mismo se llegue como se llegue, lo que abunda en su veracidad.
La trisección del ángulo y la duplicación del cubo
Un hecho aparentemente lejano en Álgebra dará como resultado la resolución de estos dos problemas. Galois muere a los 21 años de edad dejando un "testamento" lleno de ideas apresuradamente escritas. Entre ellas se encuentran las bases de la Teoría de Grupos y de la Teoría de Galois. Galois resolvió el problema de encontrar una fórmula para solucionar las ecuaciones de 5º grado, pero este resultado no llegó a ser publicado en (su corta) vida. Concluyó que una ecuación de grado 5 o mayor puede ser no resoluble por radicales (es decir, mediante una fórmula con un número finito de operaciones algebraicas). Su manera de abordar el problema abre una nueva vía dentro de la Matemática.
Pero la Teoría de Galois (una rama del Álgebra que trata sobre cuándo es posible resolver una ecuación polinómica estudiando el conjunto de números en los que se expresa esa ecuación) no da sólo esos frutos. También demuestra que todo lo construible con regla y compás tiene una traducción a polinomios muy concreta. Se demuestra que trisecar un ángulo o duplicar un cubo necesita de polinomios que no tienen esa forma, y por lo tanto, es imposible con la sola ayuda de la regla y el compás trisecar un ángulo cualquiera o duplicar un cubo.
La cuadratura del círculo
En 1862, Lindemann demuestra que el número π es trascendente, es decir, no puede ser raíz de ningún polinomio con coeficientes enteros. Esto implica que no es un número que pueda construirse con regla y compás, y demuestra que no es posible construir con sólo estos instrumentos un cuadrado de area igual a la de un círculo dado
Riemann
7 Bernhard Riemann
El 10 de junio de 1854, Bernhard Riemann da una conferencia en la Universidad de Gotinga para completar su habilitación (grado que le permitiría optar a una plaza de profesor universitario). El tema de la conferencia fue la Geometría, a elección de Gauss, su protector y antiguo profesor durante la licenciatura y el doctorado. La conferencia, cuyo título fue Über die Hypothesen, Welche der Geometrie zu Grunde liegen (Sobre las hipótesis que están en los fundamentos de la geometría), pasa por ser una de las más celebradas de la historia de la Matemática, y uno de los mayores logros científicos de la humanidad. De entre los presentes se dice que sólo Gauss fue capaz de comprender su contenido, y hay que decir que le entusiasmó.
Variedades riemannianas y el tensor curvatura
En la primera parte de la conferencia, Riemann se pregunta qué problema hay en aumentar el número de dimensiones del espacio. Riemann, usando aun un lenguaje intuitivo y sin hacer demostraciones, introduce primero el concepto de variedad diferenciable, generalización del concepto de superficie a cualquier número (entero positivo) arbitrario de dimensiones. De hecho, el nombre variedad hace referencia a las varias coordenadas que variarían para ir obteniendo los puntos del objeto. Las superficies serían las variedades de dimensión 2, mientras que las curvas serían las variedades de dimensión 1, y aun los puntos las de dimensión 0. De todas formas, esta aproximación al concepto es demasiado imprecisa, pues el punto clave de la definición formal de una variedad diferenciable (definición no expuesta correctamente hasta 1913 por Hermann Weyl) es que esto es cierto localmente, es decir, cada punto de la variedad tiene algún entorno homeomorfo a un abierto del espacio euclídeo , de manera que cuando el inverso de uno de estos homeomorfismos se compone con otro de estos homeomorfismo se obtiene una función diferenciable de un abierto de en otro abierto de . Pero como decimos hicieron falta casi 60 años para que la definición terminara de cuajar.
No era la primera vez que se especulaba con la posibilidad de la existencia de espacios de dimensión superior a 3. De hecho este tema ha sido tratado en la Historia en varias ocasiones, pero siempre desde un punto de vista de la realidad sensible (para negar su existencia) o metafísico. Es Cayley quien en 1843 trata explícitamente el tema por primera vez, y volverá a él nuevamente en repetidas ocasiones. Le seguirán Sylvester, Clifford, Grassmann y Schläfli entre otros, aunque hay que decir que la visión de todos ellos es mucho más algebraica que geométrica.
Es probable que el estudio de las superficies de Riemann, objetos a cuyo estudio había dedicado su tesis doctoral, indujeran a Riemann a pensar en este concepto de variedad de dimensión arbitraria.
Si tomamos unos ejes coordenados y dibujamos todos los puntos (x,f(x)), donde x varía en un intervalo y f es una función real, derivable y definida sobre ese mismo intervalo, obtendremos la curva (dimensión 1) dada por la gráfica de una función.
Si en lugar de ser una función de una variable tenemos una función de dos variables f(x,y), al dibujar todos los puntos (x,y,f(x,y)), donde (x,y) son de una región del plano donde esté definida f, obtenemos una superficie (dimensión 2). Riemann estudia funciones complejas de variable compleja, es decir, funciones cuya gráfica tendría por puntos cosas de la forma (x,y,u(x,y),v(x,y)), siendo tanto u(x,y) como v(x,y) funciones reales (es decir, cada uno representa un número real). Las gráficas de este tipo de funciones tendrían dimensión 3 y estarían en un espacio de 4 dimensiones, y gozarían de propiedades muy parecidas a las de las superficies.
Una variedad riemanniana no es sólo un objeto geométrico n-dimensional. Es una variedad diferencial a la que además hay que dotar de una métrica. Una métrica es un campo de tensores diferenciable de grado 2. Veamos: en cada punto de una variedad diferencial se puede calcular el espacio tangente a la variedad en ese punto, al igual que en una superficie (suave), en cada punto podemos calcular el plano tangente en ese punto a la superficie, y en una curva (suave) podemos calcular en cada punto la recta tangente a la curva en dicho punto.
Ese espacio tangente tendrá la misma dimensión que la variedad (en el caso de curvas, el espacio tangente -la recta tangente- tiene dimensión 1, en el de superficies tiene dimensión 2). Una métrica (o estructura riemanniana) sobre una variedad es una aplicación que a cada punto de la variedad le asigna un producto escalar en el espacio tangente a la variedad en ese punto, y esa aplicación es diferenciable. Un producto escalar es, para entendernos, una regla que nos permite calcular longitudes de segmentos y ángulos entre rectas. A través de una métrica, se pueden definir sobre una variedad conceptos como longitud de una curva o el ángulo entre dos curvas, generalizar a variedades el concepto de geodésica, ya utilizado por Gauss para superficies, que viene a ser (ojo, esto es una explicación de cómo es una geodésica, no es una definición) una curva dibujada sobre una superficie (o en nuestro caso sobre una variedad) de tal forma que entre dos de sus puntos minimice la distancia medida sobre la superficie (variedad). Por ejemplo, si tenemos un globo y marcamos dos puntos sobre él, la distancia más corta se calculará, como sabemos, por la medida del segmento de recta que atraviesa el globo por ambos puntos. Sin embargo, si lo que pretendemos es buscar el camino más corto para llegar de un punto a otro sin salirnos de la superficie del globo, tendremos que dibujar sobre él una curva que una los puntos y se combe por la propia "curvatura" del globo. Esa curva sería un segmento de geodésica en la superficie del globo.
El punto culminante de la primera parte de la conferencia llegó cuando Riemann, utilizando las geodésicas, define el tensor curvatura seccional, que es la generalización a variedades del concepto de curvatura estudiado por Gauss. Este instrumento permite "medir la curvatura" de una variedad.
El modelo del Universo
En la segunda parte de la conferencia, Riemann se pregunta por el modelo que debe de seguir el espacio físico, el espacio en el que nos movemos, cuál es su dimensión, cuál es su geometría.
Las ideas de Riemann, decididamente muy avanzadas para su época, cuajaron definitivamente cuando Einstein y Poincaré, al mismo tiempo pero de manera independiente, las aplicaron al espacio físico para crear la Teoría de la Relatividad.
El nuevo modo de Riemann de estudiar la Geometría considera que cualquier modelo de espacio (ya sea el plano, el espacio tridimensional, o cualquiera otro) puede ser estudiado como una variedad diferenciable, y que al introducir en ella una métrica se está determinando la geometría que gobierna ese objeto. Por ejemplo, el plano no es, por sí solo, euclidiano ni no euclidiano, sino que introduciendo la métrica euclídea es cuando en el plano verifica el V postulado de Euclides. Si en lugar de considerar esa métrica se introduce en el plano otra métrica, como la de Lobatchevsky, deja de verificarse el mismo postulado. La propiedad de las geodésicas de minimizar la longitud entre dos de sus puntos sin salirse de la variedad recuerda mucho a la definición de las rectas como aquellas líneas que determinan la menor distancia entre dos puntos. Se considera que las geodésicas son a las variedades riemannianas lo que las rectas al espacio euclidiano, es decir, las geodésicas son como las rectas de las variedades.
Esta nueva visión permite estudiar todas las nuevas geometrías no euclídeas, así como la geometría euclidiana bajo la misma óptica de la nueva Geometría Riemanniana.
Cuando las ideas de Riemann consiguen extenderse, la Geometría pasa ya definitivamente a ser el estudio de las variedades, dejando de ser definitivamente el estudio de triángulos, circunferencias, polígonos, etc.
Los puntos básicos de la conferencia de Riemann son, por un lado, la posibilidad de aumentar indefinidamente el número de dimensiones del espacio (el Álgebra y el Análisis están ya creando la maquinaria necesaria para poder operar en dimensión finita arbitraria, con lo que definitivamente se podrá estudiar Geometría más allá de su visualización gráfica), es decir, de estudiar espacios de 3, 4, 5...dimensiones, y por otro lado dotar a los geómetras de un instrumento, el tensor curvatura, que les permite estudiar las propiedades intrínsecas de esos nuevos objetos, esos nuevos espacios, las variedades.
Klein
Felix Klein es la otra gran pieza clave de la Geometría en el siglo XIX. En 1871 descubrió que la geometría euclidiana y las no euclidianas pueden considerarse como casos particulares de la geometría de una superficie proyectiva con una sección cónica adjunta. Esto implicaba dos cosas: la primera es que la geometría euclidiana y las no euclidianas podían considerarse como casos particulares de la geometría proyectiva (o mejor dicho, de la geometría de una superficie en un espacio proyectivo). La segunda, que la geometría euclidiana es consistente (es decir, no puede llevar a contradicciones) si y sólo si lo son las geometrías no euclidianas.
8 Felix Klein
Con esto se da fin a la controversia de si las geometrías no euclidianas tienen sentido o no, aunque el asunto coleará aun unos años ante el escepticismo de ciertos elementos que considerarán erróneo el argumento de Klein.
Pero la aportación más importante de Klein a la Geometría es su famoso Programa de Erlangen, donde da una nueva definición de Geometría.
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 G 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 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 ha de ocurrir que debe de ser lo mismo que .
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, y .
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 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 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). Resumiendo, Klein define soterradamente una geometría como dar el subgrupo de las biyecciones de un conjunto en sí mismo que uno admitirá como grupo principal. Los conceptos o definiciones serán los invariantes por ese grupo principal, y los teoremas serán las relaciones entre los conceptos.
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 "http://es.wikipedia.org/wiki/Historia_de_la_Geometr%C3%ADa"
Geometría durante los periodos prehistórico y protohistórico
Es razonable pensar que los primeros orígenes de la Geometría se encuentran en los orígenes de la humanidad, pues seguramente el hombre primitivo clasificaba -aun de manera inconsciente- los objetos que le rodeaban según su forma. En la abstracción de estas formas comienza el primer acercamiento -informal e intuitivo- a la Geometría. La ornamentación esquemática abstracta de vasos, cerámica y ciertos utensilios así lo parecen confirmar.
Geometría en el Antiguo Egipto
Las primeras civilizaciones mediterráneas adquieren poco a poco ciertos conocimientos geométricos de carácter eminentemente práctico. La Geometría en el Antiguo Egipto estaba muy desarrollada, como admitieron Heródoto, Estrabón y Diodoro, que aceptaban que los egipcios habían "inventado" la geometría y la habían enseñado a los griegos; aunque lo único que ha perdurado son algunas fórmulas –o, mejor dicho, algoritmos expresados en forma de "receta"– para calcular volúmenes, áreas y longitudes, cuya finalidad era práctica, pues se pretendía, por ejemplo, calcular la dimensión de las parcelas de tierra para reconstruirlas después de las inundaciones anuales. De allí el nombre de Geometría: "medición de la tierra". Los antiguos historiadores nos relataron que el conocimiento de esta civilización –así como los de las culturas mesopotámicas– sobre Geometría pasó íntegramente a la cultura griega a través de Tales de Mileto, los pitagóricos, y esencialmente de Euclides.
La Geometría griega
La Geometría griega antes de Euclides
En efecto, Tales permaneció en Egipto una larga temporada de su vida, aprendiendo de los sacerdotes y escribas egipcios todo lo referente a sus conocimientos en general, y estos quedaron asombrados cuando fue capaz de medir la altura de la Pirámide de Keops y de predecir un eclipse solar.
La Geometría Griega fue la primera en ser formal. Parte de los conocimientos concretos y prácticos de las civilizaciones egipcia y mesopotámica, y da un paso de abstracción al considerar los objetos como entes ideales –un cuadrado ideal, en lugar de una pared cuadrada concreta, un círculo en lugar del ojo de un pozo, etc.– que pueden ser manipulados mentalmente, con la sola ayuda de regla y compás. Aparece por primera vez la demostración como justificación de la veracidad de un conocimiento aunque, en un primer momento, fueran más justificaciones intuitivas que verdaderas demostraciones formales.
La figura de Pitágoras y de la secta por él creada: los pitagóricos, tiene un papel central, pues eleva a la categoría de elemento primigenio el concepto de número (filosofía que de forma más explícita o más implícita, siempre ha estado dentro de la Matemática y de la Física), arrastrando a la Geometría al centro de su doctrina –en este momento inicial de la historia de la Matemática aun no hay una distinción clara entre Geometría y Aritmética–, y asienta definitivamente el concepto de demostración (éste ya sí coincide con el concepto de demostración formal) como única vía de establecimiento de la verdad en Geometría.
Esta actitud permitió (aun fuera de la secta) la medición del radio de la Tierra por Eratóstenes, así como la medición de la distancia a la Luna, y la invención de la palanca por Arquímedes, varios siglos después.
En el seno de la secta de los pitagóricos surge la primera crisis de la Matemática: la aparición de los inconmensurables, pero esta crisis es de carácter más aritmético que geométrico.
Surge entonces un pequeño problema de Lógica, que consiste en lo siguiente: una demostración parte de una o varias hipótesis para obtener un resultado denominado tesis. La veracidad de la tesis dependerá de la validez del razonamiento con el que se ha extraído (esto será estudiado por Aristóteles al crear la Lógica) y de la veracidad de las hipótesis. Pero entonces debemos partir de hipótesis ciertas para poder afirmar con rotundidad la tesis. Para poder determinar la veracidad de las hipótesis, habrá que considerar cada una como tesis de otro razonamiento, cuyas hipótesis deberemos también comprobar. Se entra aparentemente en un proceso sin fin en el que, indefinidamente, las hipótesis se convierten en tesis a probar.
Euclides y "Los Elementos"
1 Framentos de uno de los Papiros de Oxirrinco con unas lineas de "los ementos de Euclides"
Euclides, vinculado al Museo de Alejandría y a su Biblioteca, zanja la cuestión al proponer un sistema de estudio en el que se da por sentado la veracidad de ciertas proposiciones por ser intuitivamente claras, y deducir de ellas todos los demás resultados. Su sistema se sintetiza en su obra cumbre, "Los Elementos", modelo de sistema axiomático-deductivo. Sobre tan sólo cinco postulados y las definiciones que precisa construye toda la Geometría y la Aritmética conocidas hasta el momento. Su obra, en trece volúmenes, perdurará como única verdad geométrica hasta entrado el siglo XIX.
Entre los postulados en los que Euclides se apoya hay uno (el quinto postulado) que trae problemas desde el principio. Su veracidad está fuera de toda duda, pero tal y como aparece expresado en la obra, muchos consideran que seguramente puede deducirse del resto de postulados. Durante los siguientes siglos, uno de los principales problemas de la Geometría será determinar si el V postulado es o no independiente de los otros cuatro, es decir, si es necesario considerarlo como un postulado o es un teorema, es decir, puede deducirse de los otros, y por lo tanto colocarse entre el resto de resultados de la obra.
Después de Euclides
Euclides casi cierra definitivamente la Geometría griega - y por extensión la del mundo antiguo y medieval-, a excepción de las figuras de Arquímedes y Apolonio.
Arquímedes estudió ampliamente las secciones cónicas, introduciendo en la Geometría las primeras curvas que no eran ni rectas ni circunferencias, aparte de su famoso cálculo del volumen de la esfera, basado en los del cilindro y el cono.
Esquema de las cuatro secciones cónicas.
Apolonio trabajó en varias construcciones de tangencias entre círculos, así como en secciones cónicas y otras curvas.
Los tres problemas de la Antigüedad
La Geometría griega es incapaz de resolver tres famosos problemas que heredarán los matemáticos posteriores. Es importante observar que los tres problemas deben ser resueltos utilizando únicamente la regla y el compás, únicos instrumentos (además del papel y el lápiz, por supuesto) válidos en la Geometría de Euclides. Además de los tres problemas, la disputa de si el V postulado era o no un teorema (de si se podía o no deducir de los otros cuatro) también se considera uno de los problemas clásicos de la Geometría griega. Estos tres problemas son los siguientes:
La duplicación el cubo
Cuenta la leyenda que una terrible peste asolaba la ciudad de Atenas, hasta el punto de llevar a la muerte a Pericles. Una embajada de la ciudad fue al oráculo de Delos, consagrado a Apolo (en ciertas fuentes aparece el oráculo de Delfos, en lugar del de Delos, también consagrado a Apolo), para consultar qué se debía hacer para erradicar la mortal enfermedad. Tras consultar al Oráculo, la respuesta fue que se debía duplicar el altar consagrado a Apolo en la isla de Delos. El altar tenía una peculiaridad: su forma cúbica. Prontamente, los atenienses construyeron un altar cúbico cuyos lados eran el doble de las del altar de Delos, pero la peste no cesó, se volvió más mortífera. Consultado de nuevo, el oráculo advirtió a los atenienses que el altar no era el doble de grande, sino 8 veces mayor, puesto que el volumen del cubo es el cubo de su lado ((2l)3 = 23l3 = 8l3). Nadie supo cómo construir un cubo cuyo volumen fuese exactamente el doble del volumen de otro cubo dado, y el problema matemático persistió durante siglos (no así la enfermedad).
La trisección del ángulo
Este problema consiste en dividir un ángulo cualquiera en tres ángulos iguales, empleando únicamente la regla y el compás, de manera que la suma de las medidas de los nuevos tres ángulos sea exactamente la medida del primero. Dadas las condiciones nadie ha logrado hacerlo.
La cuadratura del círculo
La cuadratura del círculo consiste en tratar de obtener, dado un círculo, un cuadrado cuya área mide exactamente lo mismo que el área del círculo. Anaxágoras fue el primero en intentar resolverlo, dibujando en las paredes de su celda cuando fue hecho prisionero por explicar diversos fenómenos que los griegos atribuían a los dioses. Tampoco pudo ser resuelto por los geómetras de la antigüedad, y llegó a ser el paradigma de lo imposible. Como curiosidad, el filósofo inglés David Hume llegó a escribir un libro con supuestos métodos para resolver el problema. Hume no tenía conocimientos matemáticos serios, y nunca aceptó que todos sus métodos fallaban.
La Geometría en la Edad Media
Durante los siguientes siglos la Matemática comienza nuevos caminos - Álgebra y Trigonometría - de la mano de indios y árabes, y la Geometría apenas tiene nuevas aportaciones, excepto algunos teoremas de carácter más bien anecdótico. En Occidente, a pesar de que la Geometría es una de las siete Artes Liberales (encuadrada concretamente en el Quadrivium), las escuelas y universidades se limitan a enseñar "Los Elementos", y no hay aportaciones, excepto tal vez en la investigación sobre la disputa del V postulado. Si bien no se llegó a dilucidar en este periodo si era o no independiente de los otros cuatro, sí se llegaron a dar nuevas formulaciones equivalentes de este postulado.lo que es.
La Geometría en la Edad Moderna
La Geometría Proyectiva
Es en el Renacimiento cuando las nuevas necesidades de representación del arte y de la técnica empujan a ciertos humanistas a estudiar propiedades geométricas para obtener nuevos instrumentos que les permitan representar la realidad. Aquí se enmarca la figura del matemático y arquitecto Luca Pacioli, de Leonardo da Vinci, de Alberto Durero, de Leone Battista Alberti, de Piero della Francesca, por citar sólo algunos. Todos ellos, al descubrir la perspectiva y la sección, crean la necesidad de sentar las bases formales en la que cimentar las nuevas formas de Geometría que ésta implica: la Geometría proyectiva, cuyos principios fundamentales aparecen de la mano de Desargues en el siglo XVII. Esta nueva geometría de Desargues fue estudiada ampliamante ya por Pascal o por de la Hire, pero debido al interés suscitado por la Geometría Cartesiana y sus métodos, no alcanzó tanta difusión como merecía hasta la llegada a principios del siglo XIX de Gaspard Monge en primer lugar y sobre todo de Poncelet.
La Geometría Cartesiana
Pero es sin duda la aparición de la Geometría Cartesiana lo que marca la Geometría en la Edad Moderna. Descartes propone un nuevo método de resolver problemas geométricos, y por extensión, de investigar en Geometría.
2 René Descartes
El nuevo método se basa en la siguiente construcción: en un plano se trazan dos rectas perpendiculares (ejes) -que por convenio se trazan de manera que una de ellas sea horizontal y la otra vertical-, y cada punto del plano queda unívocamente determinado por las distancias de dicho punto a cada uno de los ejes, siempre y cuando se dé también un criterio para determinar sobre qué semiplano determinado por cada una de las rectas hay que tomar esa distancia, criterio que viene dado por un signo. Ese par de números, las coordenadas, quedará representado por un par ordenado (x,y), siendo x la distancia a uno de los ejes (por convenio será la distancia al eje vertical) e y la distancia al otro eje (al horizontal). En la coordenada x, el signo positivo (que suele omitirse) significa que la distancia se toma hacia la derecha del eje vertical (eje de ordenadas), y el signo negativo (nunca se omite) indica que la distancia se toma hacia la izquierda. Para la coordenada y, el signo positivo (también se suele omitir) indica que la distancia se toma hacia arriba del eje horizontal (eje de abscisas), tomándose hacia abajo si el signo es negativo (tampoco se omite nunca en este caso). A la coordenada x se la suele denominar abscisa del punto, mientras que a la y se la denomina ordenada del punto. 3 Ejes coordenados.
Existe una cierta controversia (aun hoy) sobre la verdadera paternidad de este método. Lo único cierto es que se publica por primera vez como "Geometría Analítica", apéndice al "Discurso del Método", de Descartes, si bien se sabe que Pierre de Fermat conocía y utilizaba el método antes de su publicación por Descartes. Aunque Omar Khayyam ya en el siglo XI utilizara un método muy parecido para determinar ciertas intersecciones entre curvas, es imposible que alguno de los citados matemáticos franceses tuviera acceso a su obra.
Lo novedoso de la Geometría Analítica (como también se conoce a este método) es que permite representar figuras geométricas mediante fórmulas del tipo f(x,y) = 0, donde f representa una función. En particular, las rectas pueden expresarse como ecuaciones polinómicas de grado 1 (v.g.: 2x + 6y = 0) y las circunferencias y el resto de cónicas como ecuaciones polinómicas de grado 2 (v.g.: la circunferencia x2 + y2 = 4, la hipérbola xy = 1 ). Esto convertía toda la Geometría griega en el estudio de las relaciones que existen entre polinomios de grados 1 y 2. Desde un punto de vista formal (aunque ellos aun lo sabían), los geómetras de esta época han encontrado una relación fundamental entre la estructura lógica que usaban los geómetras griegos (el plano, la regla, el compás...) y la estructura algebraica del ideal formado por los polinomios de grados 0, 1 y 2 del Anillo de polinomios , resultando que ambas estructuras son equivalentes. Este hecho fundamental (no visto con nitidez hasta el desarrollo del Álgebra Moderna y de la Lógica Matemática entre finales del siglo XIX y principios del siglo XX) resulta fundamental para entender por qué la Geometría de los griegos puede desprenderse de sus axiomas y estudiarse directamente usando la axiomática de Zermelo-Fraenkel, como el resto de la Matemática.
El método original de Descartes no es exactamente el que se acaba de explicar. Descartes utiliza solamente el eje de abscisas, calculando el valor de la segunda componente del punto (x,y) mediante la ecuación de la curva, dándole valores a la magnitud x. Por otro lado, Descartes sólo considera valores positivos de las cantidades x e y, dado que en la época aun resultaban "sospechosos" los números negativos. Como consecuencia, en sus estudios existen ciertas anomalías y aparecen curvas sesgadas. Con el tiempo se aceptaron las modificaciones que muestran el método tal y como lo conocemos hoy en día.
Los nuevos métodos
Agotamiento del método sintético
La aparición de la Geometría Analítica trae consigo una nueva forma de entender la Geometría. El nuevo método, algebraico, sustituye al antiguo, el sintético, consistente en establecer unos axiomas y unas definiciones y deducir de ellos los teoremas. El método sintético está a estas alturas casi agotado (aunque aun dará algunos resultados interesantes, como la característica de Euler, la naturaleza de estos resultados no es ya tanto geométrica como topológica, y los resultados realmente importantes que se hagan en adelante en el campo de la Geometría ya vendrán de la mano de métodos algebraicos o diferenciales), da paso al método algebraico: estudio de los objetos geométricos como representaciones en el espacio de ciertas ecuaciones polinómicas, o dicho de otro modo, del conjunto de raíces de polinomios. El método sintético sólo volverá a abordarse cuando aparezcan las geometrías no euclídeas, y definitivamente deja de ser un instrumento de investigación geométrica a principios del siglo XX, quedando relegado a un conjunto de instrumentos y herramientas para la resolución de problemas, pero ya como una disciplina cerrada.
Los límites del método algebraico
El método algebraico se ve posibilitado por un avance en Álgebra hecho durante el siglo XVI, la resolución de las ecuaciones de grado 3º y 4º. Esto permite generalizar la Geometría, al estudiar curvas que no son dadas por polinomios de segundo grado, y que no pueden construirse con regla y compás -además de las cónicas, excluyendo a la circunferencia, claro-. Pero este método, que terminará constituyendo una disciplina propia, la Geometría Algebraica, tardará aun mucho -siglo XX- en salir de unas pocas nociones iniciales, prácticamente inalteradas desde Descartes, Fermat y Newton. La razón será la imposibilidad de resolver por radicales la ecuación de quinto grado, hecho no descubierto hasta el siglo XIX, y el desarrollo de la Teoría de Anillos y del Álgebra Conmutativa.
El Cálculo Infinitesimal
El método algebraico tiene otra generalización natural, que es la de considerar una curva no solo como una ecuación polinómica, sino como una ecuación f(x,y) = 0 en la que el polinomio es ahora sustituido por una función cualquiera f. La generalización de todo esto desde el plano (2 coordenadas) al estereoespacio (3 coordenadas) se hace de forma natural añadiendo un tercer eje perpendicular (eje z) a los dos ya considerados, y las funciones tomarán la forma f(x,y,z).
Ya Isaac Barrow descubre gracias a la Geometría Analítica la relación entre la tangente a una curva y el área que encierra entre dos puntos y los ejes coordenados en su famosa Regla de Barrow, antes incluso de que Newton y Leibnitz dieran cada uno su exposición del Cálculo Infinitesimal. La relación entre el Análisis Matemático y la Geometría es así estrechísima desde incluso los orígenes de aquél. Las ideas geométricas no sólo fueron la base de los instrumentos iniciales del Cálculo Infinitesimal, sino que fueron en gran medida su inspiración. Por eso resulta natural que en un primer momento, Descartes, Newton o los Bernoulli no distinguieran entre los conceptos de curva y de función de una variable (o si se quiere, de curva y los ceros de una función de dos variables). Fue Euler el primero en empezar a intuir la diferencia, y el primero también en ampliar este tipo de estudios a las superficies (como función de dos variables o como el conjunto de los ceros de una función de tres variables). El trabajo de Monge continúa por esta línea.
En adelante, y hasta la aparición de Gauss, la Geometría queda supeditada a sus aplicaciones en Mecánica y otras ramas de la Física por medio de la resolución de Ecuaciones Diferenciales. Se estudia en especial la interpretación geométrica de las ecuaciones diferenciales (tanto de la solución en sí como problemas asociados a ellas, como puede ser el de las curvas ortogonales). En esta época aparece el que será el caballo de batalla de la Geometría Diferencial: el Teorema de la Función Implícita.
Fue Huygens el primero en estudiar la curvatura de una curva plana, aunque parece que fue Clairaut el que usa con maestría y fija el concepto.
La Geometría en la Edad Contemporánea
Gauss devuelve el carácter geométrico que impregna parte del Análisis Matemático, fundamentalmente con dos contribuciones: el nacimiento de la Variable Compleja y de la Geometría Diferencial.
Pero no son las únicas contribuciones de éste genio al campo de la Geometría. En su adolescencia se vio dividido entre dedicarse a la Filología o a la Matemática. A los 17 descubrió la manera de construir el polígono regular de 17 lados, y la condición necesaria y suficiente para que un polígono regular pueda construirse. Esto determinó su
4 Carl Friedrich Gauss
vocación.
En su primera demostración del Teorema Fundamental del Álgebra (de las cinco que realizó a lo largo de su carrera) sentó las bases del Análisis de Variable Compleja, usando la interpretación geométrica de los números complejos como vectores fijos del plano (no en este lenguaje, que será introducido mucho más tarde). Por cierto, se atribuye a Gauss la paternidad de esta idea. Primero Wessel y luego Argand se le anticiparon, pero nadie conocía los estudios de ambos. Aunque no es propiamente obra suya, pues la Variable Compleja está desarrollada fundamentalmente por Cauchy, sí es el primero en abordarla seriamente, y sobre todo le da una interpretación geométrica que marcará el desarrollo de esta rama.
Pero la principal contribución de Gauss a la Geometría es la creación de la Geometría Diferencial, retomando las ideas que sobre las relaciones entre el Análisis Matemático y la Geometría había hasta entonces y desarrollándolas ampliamente.
Partiendo de la base de que la Geometría estudia el espacio, las curvas y las superficies, establece la noción fundamental de curvatura de una superficie. Gracias a ella, y a la definición de geodésica, demuestra que si consideramos que una geodésica es una curva con menor distancia entre dos puntos sobre una superficie (es decir, si tenemos dos puntos sobre una superficie, el camino más corto entre esos dos puntos sin salirnos de la superficie es un segmento de geodésica), concepto totalmente análogo sobre la superficie al de recta en el plano, existen superficies en las que los triángulos formados por las geodésicas miden más de la medida de dos ángulos rectos, y otras en las que mide menos. Esto, esencialmente, es contradecir el V postulado de Euclides.
Estas consideraciones llevaron a Gauss a considerar la posibilidad de crear geometrías no euclídeas, pero aunque a esas alturas ya era el matemático más prestigioso de Europa, consideró que la mentalidad de la época no estaba preparada para un resultado de tal magnitud, y nunca publicó esos resultados. Sólo vieron la luz cuando Bolyai publicó su geometría no euclídea, y comprobó que la comunidad científica general aceptaba el resultado.
Así que, por un lado, Gauss fue el primero en crear una geometría no euclídea, y por otro fue el creador de la Geometría Diferencial y precursor de la Variable Compleja.
Además, Gauss es el primero en considerar una nueva propiedad en la Geometría: la orientación.
El final de los grandes problemas de la antigüedad
La controversia sobre el V postulado
Como ya se ha adelantado, Gauss es el primero en construir una geometría (un modelo del espacio) en el que no se cumple el V postulado de Euclides, pero no publica su descubrimiento. Son Bolyai y Lobatchevsky quienes, de manera independiente y simultáneamente publican cada uno una geometría distinta en la que no se verifica tampoco el V postulado.
5 János Bolyai
6 Nikolai Ivanovich Lobatchevsky
¿Qué quiere decir esto? Tanto Bolyai como Lobatchevsky parten de un objeto geométrico y establecen sobre él unos postulados que son idénticos a los de Euclides en Los Elementos, excepto el quinto. Pretenden originalmente razonar por reducción al absurdo: si el V postulado depende de los otros cuatro, cuando lo sustituya por aquél que dice exactamente lo contrario, he de llegar a alguna contradicción lógica. Lo sorprendente es que no se llega a contradicción ninguna, lo cual quiere decir dos cosas:
1º El V postulado es independiente de los otros cuatro, es decir, no puede deducirse de los otros cuatro, no es un teorema, y Euclides hizo bien en considerarlo como un postulado.
2º Existen modelos del espacio en los que, en contra de toda intuición, por un punto que no esté en una cierta recta no pasa una única recta paralela a la dada. Esto es tremendamente antiintuitivo, pues no podemos concebir tal cosa, no podemos imaginar (ni mucho menos dibujar) una situación así, sin reinterpretar los conceptos de recta, plano, etc. Pero desde el punto de vista lógico es perfectamente válido.
Como es de imaginar, esto supuso una fuerte crisis en la Matemática del siglo XIX, que vino a sumarse a otras controversias.
Es importante señalar que las geometrías de Bolyai y de Lobatchevsky, no depende de si se construyen usando métodos analíticos o sintéticos. Existen formas de construirlas tanto de manera sintética como analítica. El modelo es el mismo se llegue como se llegue, lo que abunda en su veracidad.
La trisección del ángulo y la duplicación del cubo
Un hecho aparentemente lejano en Álgebra dará como resultado la resolución de estos dos problemas. Galois muere a los 21 años de edad dejando un "testamento" lleno de ideas apresuradamente escritas. Entre ellas se encuentran las bases de la Teoría de Grupos y de la Teoría de Galois. Galois resolvió el problema de encontrar una fórmula para solucionar las ecuaciones de 5º grado, pero este resultado no llegó a ser publicado en (su corta) vida. Concluyó que una ecuación de grado 5 o mayor puede ser no resoluble por radicales (es decir, mediante una fórmula con un número finito de operaciones algebraicas). Su manera de abordar el problema abre una nueva vía dentro de la Matemática.
Pero la Teoría de Galois (una rama del Álgebra que trata sobre cuándo es posible resolver una ecuación polinómica estudiando el conjunto de números en los que se expresa esa ecuación) no da sólo esos frutos. También demuestra que todo lo construible con regla y compás tiene una traducción a polinomios muy concreta. Se demuestra que trisecar un ángulo o duplicar un cubo necesita de polinomios que no tienen esa forma, y por lo tanto, es imposible con la sola ayuda de la regla y el compás trisecar un ángulo cualquiera o duplicar un cubo.
La cuadratura del círculo
En 1862, Lindemann demuestra que el número π es trascendente, es decir, no puede ser raíz de ningún polinomio con coeficientes enteros. Esto implica que no es un número que pueda construirse con regla y compás, y demuestra que no es posible construir con sólo estos instrumentos un cuadrado de area igual a la de un círculo dado
Riemann
7 Bernhard Riemann
El 10 de junio de 1854, Bernhard Riemann da una conferencia en la Universidad de Gotinga para completar su habilitación (grado que le permitiría optar a una plaza de profesor universitario). El tema de la conferencia fue la Geometría, a elección de Gauss, su protector y antiguo profesor durante la licenciatura y el doctorado. La conferencia, cuyo título fue Über die Hypothesen, Welche der Geometrie zu Grunde liegen (Sobre las hipótesis que están en los fundamentos de la geometría), pasa por ser una de las más celebradas de la historia de la Matemática, y uno de los mayores logros científicos de la humanidad. De entre los presentes se dice que sólo Gauss fue capaz de comprender su contenido, y hay que decir que le entusiasmó.
Variedades riemannianas y el tensor curvatura
En la primera parte de la conferencia, Riemann se pregunta qué problema hay en aumentar el número de dimensiones del espacio. Riemann, usando aun un lenguaje intuitivo y sin hacer demostraciones, introduce primero el concepto de variedad diferenciable, generalización del concepto de superficie a cualquier número (entero positivo) arbitrario de dimensiones. De hecho, el nombre variedad hace referencia a las varias coordenadas que variarían para ir obteniendo los puntos del objeto. Las superficies serían las variedades de dimensión 2, mientras que las curvas serían las variedades de dimensión 1, y aun los puntos las de dimensión 0. De todas formas, esta aproximación al concepto es demasiado imprecisa, pues el punto clave de la definición formal de una variedad diferenciable (definición no expuesta correctamente hasta 1913 por Hermann Weyl) es que esto es cierto localmente, es decir, cada punto de la variedad tiene algún entorno homeomorfo a un abierto del espacio euclídeo , de manera que cuando el inverso de uno de estos homeomorfismos se compone con otro de estos homeomorfismo se obtiene una función diferenciable de un abierto de en otro abierto de . Pero como decimos hicieron falta casi 60 años para que la definición terminara de cuajar.
No era la primera vez que se especulaba con la posibilidad de la existencia de espacios de dimensión superior a 3. De hecho este tema ha sido tratado en la Historia en varias ocasiones, pero siempre desde un punto de vista de la realidad sensible (para negar su existencia) o metafísico. Es Cayley quien en 1843 trata explícitamente el tema por primera vez, y volverá a él nuevamente en repetidas ocasiones. Le seguirán Sylvester, Clifford, Grassmann y Schläfli entre otros, aunque hay que decir que la visión de todos ellos es mucho más algebraica que geométrica.
Es probable que el estudio de las superficies de Riemann, objetos a cuyo estudio había dedicado su tesis doctoral, indujeran a Riemann a pensar en este concepto de variedad de dimensión arbitraria.
Si tomamos unos ejes coordenados y dibujamos todos los puntos (x,f(x)), donde x varía en un intervalo y f es una función real, derivable y definida sobre ese mismo intervalo, obtendremos la curva (dimensión 1) dada por la gráfica de una función.
Si en lugar de ser una función de una variable tenemos una función de dos variables f(x,y), al dibujar todos los puntos (x,y,f(x,y)), donde (x,y) son de una región del plano donde esté definida f, obtenemos una superficie (dimensión 2). Riemann estudia funciones complejas de variable compleja, es decir, funciones cuya gráfica tendría por puntos cosas de la forma (x,y,u(x,y),v(x,y)), siendo tanto u(x,y) como v(x,y) funciones reales (es decir, cada uno representa un número real). Las gráficas de este tipo de funciones tendrían dimensión 3 y estarían en un espacio de 4 dimensiones, y gozarían de propiedades muy parecidas a las de las superficies.
Una variedad riemanniana no es sólo un objeto geométrico n-dimensional. Es una variedad diferencial a la que además hay que dotar de una métrica. Una métrica es un campo de tensores diferenciable de grado 2. Veamos: en cada punto de una variedad diferencial se puede calcular el espacio tangente a la variedad en ese punto, al igual que en una superficie (suave), en cada punto podemos calcular el plano tangente en ese punto a la superficie, y en una curva (suave) podemos calcular en cada punto la recta tangente a la curva en dicho punto.
Ese espacio tangente tendrá la misma dimensión que la variedad (en el caso de curvas, el espacio tangente -la recta tangente- tiene dimensión 1, en el de superficies tiene dimensión 2). Una métrica (o estructura riemanniana) sobre una variedad es una aplicación que a cada punto de la variedad le asigna un producto escalar en el espacio tangente a la variedad en ese punto, y esa aplicación es diferenciable. Un producto escalar es, para entendernos, una regla que nos permite calcular longitudes de segmentos y ángulos entre rectas. A través de una métrica, se pueden definir sobre una variedad conceptos como longitud de una curva o el ángulo entre dos curvas, generalizar a variedades el concepto de geodésica, ya utilizado por Gauss para superficies, que viene a ser (ojo, esto es una explicación de cómo es una geodésica, no es una definición) una curva dibujada sobre una superficie (o en nuestro caso sobre una variedad) de tal forma que entre dos de sus puntos minimice la distancia medida sobre la superficie (variedad). Por ejemplo, si tenemos un globo y marcamos dos puntos sobre él, la distancia más corta se calculará, como sabemos, por la medida del segmento de recta que atraviesa el globo por ambos puntos. Sin embargo, si lo que pretendemos es buscar el camino más corto para llegar de un punto a otro sin salirnos de la superficie del globo, tendremos que dibujar sobre él una curva que una los puntos y se combe por la propia "curvatura" del globo. Esa curva sería un segmento de geodésica en la superficie del globo.
El punto culminante de la primera parte de la conferencia llegó cuando Riemann, utilizando las geodésicas, define el tensor curvatura seccional, que es la generalización a variedades del concepto de curvatura estudiado por Gauss. Este instrumento permite "medir la curvatura" de una variedad.
El modelo del Universo
En la segunda parte de la conferencia, Riemann se pregunta por el modelo que debe de seguir el espacio físico, el espacio en el que nos movemos, cuál es su dimensión, cuál es su geometría.
Las ideas de Riemann, decididamente muy avanzadas para su época, cuajaron definitivamente cuando Einstein y Poincaré, al mismo tiempo pero de manera independiente, las aplicaron al espacio físico para crear la Teoría de la Relatividad.
El nuevo modo de Riemann de estudiar la Geometría considera que cualquier modelo de espacio (ya sea el plano, el espacio tridimensional, o cualquiera otro) puede ser estudiado como una variedad diferenciable, y que al introducir en ella una métrica se está determinando la geometría que gobierna ese objeto. Por ejemplo, el plano no es, por sí solo, euclidiano ni no euclidiano, sino que introduciendo la métrica euclídea es cuando en el plano verifica el V postulado de Euclides. Si en lugar de considerar esa métrica se introduce en el plano otra métrica, como la de Lobatchevsky, deja de verificarse el mismo postulado. La propiedad de las geodésicas de minimizar la longitud entre dos de sus puntos sin salirse de la variedad recuerda mucho a la definición de las rectas como aquellas líneas que determinan la menor distancia entre dos puntos. Se considera que las geodésicas son a las variedades riemannianas lo que las rectas al espacio euclidiano, es decir, las geodésicas son como las rectas de las variedades.
Esta nueva visión permite estudiar todas las nuevas geometrías no euclídeas, así como la geometría euclidiana bajo la misma óptica de la nueva Geometría Riemanniana.
Cuando las ideas de Riemann consiguen extenderse, la Geometría pasa ya definitivamente a ser el estudio de las variedades, dejando de ser definitivamente el estudio de triángulos, circunferencias, polígonos, etc.
Los puntos básicos de la conferencia de Riemann son, por un lado, la posibilidad de aumentar indefinidamente el número de dimensiones del espacio (el Álgebra y el Análisis están ya creando la maquinaria necesaria para poder operar en dimensión finita arbitraria, con lo que definitivamente se podrá estudiar Geometría más allá de su visualización gráfica), es decir, de estudiar espacios de 3, 4, 5...dimensiones, y por otro lado dotar a los geómetras de un instrumento, el tensor curvatura, que les permite estudiar las propiedades intrínsecas de esos nuevos objetos, esos nuevos espacios, las variedades.
Klein
Felix Klein es la otra gran pieza clave de la Geometría en el siglo XIX. En 1871 descubrió que la geometría euclidiana y las no euclidianas pueden considerarse como casos particulares de la geometría de una superficie proyectiva con una sección cónica adjunta. Esto implicaba dos cosas: la primera es que la geometría euclidiana y las no euclidianas podían considerarse como casos particulares de la geometría proyectiva (o mejor dicho, de la geometría de una superficie en un espacio proyectivo). La segunda, que la geometría euclidiana es consistente (es decir, no puede llevar a contradicciones) si y sólo si lo son las geometrías no euclidianas.
8 Felix Klein
Con esto se da fin a la controversia de si las geometrías no euclidianas tienen sentido o no, aunque el asunto coleará aun unos años ante el escepticismo de ciertos elementos que considerarán erróneo el argumento de Klein.
Pero la aportación más importante de Klein a la Geometría es su famoso Programa de Erlangen, donde da una nueva definición de Geometría.
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 G 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 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 ha de ocurrir que debe de ser lo mismo que .
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, y .
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 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 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). Resumiendo, Klein define soterradamente una geometría como dar el subgrupo de las biyecciones de un conjunto en sí mismo que uno admitirá como grupo principal. Los conceptos o definiciones serán los invariantes por ese grupo principal, y los teoremas serán las relaciones entre los conceptos.
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 "http://es.wikipedia.org/wiki/Historia_de_la_Geometr%C3%ADa"
HISTORIA DE LA GEOMETRIA
Historia de la Geometría
Geometría (del griego geo, 'tierra'; metrein, 'medir'), rama de las matemáticas que se ocupa de las propiedades del espacio. En su forma más elemental, la geometría se preocupa de problemas métricos como el cálculo del área y diámetro de figuras planas y de la superficie y volumen de cuerpos sólidos. Otros campos de la geometría son la geometría analítica, geometría descriptiva, topología, geometría de espacios con cuatro o más dimensiones, geometría fractal, y geometría no euclídea.
Geometría demostrativa primitiva
El origen del término geometría es una descripción precisa del trabajo de los primeros geómetras, que se interesaban en problemas como la medida del tamaño de los campos o el trazado de ángulos rectos para las esquinas de los edificios. Este tipo de geometría empírica, que floreció en el Antiguo Egipto, Sumeria y Babilonia, fue refinado y sistematizado por los griegos.
Pitágoras
En el siglo VI a.C. el matemático Pitágoras colocó la piedra angular de la geometría científica al demostrar que las diversas leyes arbitrarias e inconexas de la geometría empírica se pueden deducir como conclusiones lógicas de un número limitado de axiomas, o postulados. Estos postulados fueron considerados por Pitágoras y sus discípulos como verdades evidentes; sin embargo, en el pensamiento matemático moderno se consideran como un conjunto de supuestos útiles pero arbitrarios.
Un ejemplo típico de los postulados desarrollados y aceptados por los matemáticos griegos es la siguiente afirmación: "una línea recta es la distancia más corta entre dos puntos". Un conjunto de teoremas sobre las propiedades de puntos, líneas, ángulos y planos se puede deducir lógicamente a partir de estos axiomas.
Entre estos teoremas se encuentran: "la suma de los ángulos de cualquier triángulo es igual a la suma de dos ángulos rectos", y "el cuadrado de la hipotenusa de un triángulo rectángulo es igual a la suma de los cuadrados de los otros dos lados" (conocido como teorema de Pitágoras).
La geometría demostrativa de los griegos, que se ocupaba de polígonos y círculos y de sus correspondientes figuras tridimensionales, fue mostrada rigurosamente por el matemático griego Euclides, en su libro "Los elementos". El texto de Euclides, a pesar de sus imperfecciones, ha servido como libro de texto básico de geometría hasta casi nuestros días.
Primeros problemas geométricos
Los griegos introdujeron los problemas de construcción, en los que cierta línea o figura debe ser construida utilizando sólo una regla de borde recto y un compás. Ejemplos sencillos son la construcción de una línea recta dos veces más larga que una recta dada, o de una recta que divide un ángulo dado en dos ángulos iguales.
Tres famosos problemas de construcción que datan de la época griega se resistieron al esfuerzo de muchas generaciones de matemáticos que intentaron resolverlos: la duplicación del cubo (construir un cubo de volumen doble al de un determinado cubo), la cuadratura del círculo (construir un cuadrado con área igual a un círculo determinado) y la trisección del ángulo (dividir un ángulo dado en tres partes iguales). Ninguna de estas construcciones es posible con la regla y el compás, y la imposibilidad de la cuadratura del círculo no fue finalmente demostrada hasta 1882.
Apolonio de Perga
Los griegos, y en particular Apolonio de Perga, estudiaron la familia de curvas conocidas como cónicas y descubrieron muchas de sus propiedades fundamentales. Las cónicas son importantes en muchos campos de las ciencias físicas; por ejemplo, las órbitas de los planetas alrededor del Sol son fundamentalmente cónicas.
Arquímedes, uno de los grandes científicos griegos, hizo un considerable número de aportaciones a la geometría. Inventó formas de medir el área de ciertas figuras curvas así como la superficie y el volumen de sólidos limitados por superficies curvas, como paraboloides y cilindros. También elaboró un método para calcular una aproximación del valor de pi, la proporción entre el diámetro y la circunferencia de un círculo y estableció que este número estaba entre 3 10/70 y 3 10/71.
Geometría analítica
La geometría avanzó muy poco desde el final de la era griega hasta la edad media. El siguiente paso importante en esta ciencia lo dio el filósofo y matemático francés René Descartes, cuyo tratado "El Discurso del Método", publicado en 1637, hizo época. Este trabajo fraguó una conexión entre la geometría y el álgebra al demostrar cómo aplicar los métodos de una disciplina en la otra. Éste es un fundamento de la geometría analítica, en la que las figuras se representan mediante expresiones algebraicas, sujeto subyacente en la mayor parte de la geometría moderna.
Otro desarrollo importante del siglo XVII fue la investigación de las propiedades de las figuras geométricas que no varían cuando las figuras son proyectadas de un plano a otro.
Un ejemplo sencillo de geometría proyectiva queda ilustrado en la figura 1.
Si los puntos A, B, C y a, b, c se colocan en cualquier posición de una cónica, por ejemplo una circunferencia, y dichos puntos se unen A con b y c, B con c y a, y C con b y a, los tres puntos de las intersecciones de dichas líneas están en una recta.
De la misma manera, si se dibujan seis tangentes cualesquiera a una cónica, como en la figura 2, y se trazan rectas que unan dos intersecciones opuestas de las tangentes, estas líneas se cortan en un punto único.
Este teorema se denomina proyectivo, pues es cierto para todas las cónicas, y éstas se pueden transformar de una a otra utilizando las proyecciones apropiadas, como en la figura 3, que muestra que la proyección de una circunferencia es una elipse en el otro plano.
Carl Fiedrich Gauss
Modernos avances
János Bolyai
La geometría sufrió un cambio radical de dirección en el siglo XIX. Los matemáticos Carl Friedrich Gauss, Nikolái Lobachevski, y János Bolyai, trabajando por separado, desarrollaron sistemas coherentes de geometría no euclídea. Estos sistemas aparecieron a partir de los trabajos sobre el llamado "postulado paralelo" de Euclides, al proponer alternativas que generan modelos extraños y no intuitivos de espacio, aunque, eso sí, coherentes.
Casi al mismo tiempo, el matemático británico Arthur Cayley desarrolló la geometría para espacios con más de tres dimensiones. Imaginemos que una línea es un espacio unidimensional. Si cada uno de los puntos de la línea se sustituye por una línea perpendicular a ella, se crea un plano, o espacio bidimensional. De la misma manera, si cada punto del plano se sustituye por una línea perpendicular a él, se genera un espacio tridimensional.
Arthur Cayley
Yendo más lejos, si cada punto del espacio tridimensional se sustituye por una línea perpendicular, tendremos un espacio tetradimensional. Aunque éste es físicamente imposible, e inimaginable, es conceptualmente sólido. El uso de conceptos con más de tres dimensiones tiene un importante número de aplicaciones en las ciencias físicas, en particular en el desarrollo de teorías de la relatividad.
También se han utilizado métodos analíticos para estudiar las figuras geométricas regulares en cuatro o más dimensiones y compararlas con figuras similares en tres o menos dimensiones. Esta geometría se conoce como geometría estructural. Un ejemplo sencillo de este enfoque de la geometría es la definición de la figura geométrica más sencilla que se puede dibujar en espacios con cero, una, dos, tres, cuatro o más dimensiones.
En los cuatro primeros casos, las figuras son los bien conocidos punto, línea, triángulo y tetraedro respectivamente. En el espacio de cuatro dimensiones, se puede demostrar que la figura más sencilla está compuesta por cinco puntos como vértices, diez segmentos como aristas, diez triángulos como caras y cinco tetraedros. El tetraedro, analizado de la misma manera, está compuesto por cuatro vértices, seis segmentos y cuatro triángulos. Otro concepto dimensional, el de dimensiones fraccionarias, apareció en el siglo XIX. En la década de 1970 el concepto se desarrolló como la geometría fractal.
Geometría (del griego geo, 'tierra'; metrein, 'medir'), rama de las matemáticas que se ocupa de las propiedades del espacio. En su forma más elemental, la geometría se preocupa de problemas métricos como el cálculo del área y diámetro de figuras planas y de la superficie y volumen de cuerpos sólidos. Otros campos de la geometría son la geometría analítica, geometría descriptiva, topología, geometría de espacios con cuatro o más dimensiones, geometría fractal, y geometría no euclídea.
Geometría demostrativa primitiva
El origen del término geometría es una descripción precisa del trabajo de los primeros geómetras, que se interesaban en problemas como la medida del tamaño de los campos o el trazado de ángulos rectos para las esquinas de los edificios. Este tipo de geometría empírica, que floreció en el Antiguo Egipto, Sumeria y Babilonia, fue refinado y sistematizado por los griegos.
Pitágoras
En el siglo VI a.C. el matemático Pitágoras colocó la piedra angular de la geometría científica al demostrar que las diversas leyes arbitrarias e inconexas de la geometría empírica se pueden deducir como conclusiones lógicas de un número limitado de axiomas, o postulados. Estos postulados fueron considerados por Pitágoras y sus discípulos como verdades evidentes; sin embargo, en el pensamiento matemático moderno se consideran como un conjunto de supuestos útiles pero arbitrarios.
Un ejemplo típico de los postulados desarrollados y aceptados por los matemáticos griegos es la siguiente afirmación: "una línea recta es la distancia más corta entre dos puntos". Un conjunto de teoremas sobre las propiedades de puntos, líneas, ángulos y planos se puede deducir lógicamente a partir de estos axiomas.
Entre estos teoremas se encuentran: "la suma de los ángulos de cualquier triángulo es igual a la suma de dos ángulos rectos", y "el cuadrado de la hipotenusa de un triángulo rectángulo es igual a la suma de los cuadrados de los otros dos lados" (conocido como teorema de Pitágoras).
La geometría demostrativa de los griegos, que se ocupaba de polígonos y círculos y de sus correspondientes figuras tridimensionales, fue mostrada rigurosamente por el matemático griego Euclides, en su libro "Los elementos". El texto de Euclides, a pesar de sus imperfecciones, ha servido como libro de texto básico de geometría hasta casi nuestros días.
Primeros problemas geométricos
Los griegos introdujeron los problemas de construcción, en los que cierta línea o figura debe ser construida utilizando sólo una regla de borde recto y un compás. Ejemplos sencillos son la construcción de una línea recta dos veces más larga que una recta dada, o de una recta que divide un ángulo dado en dos ángulos iguales.
Tres famosos problemas de construcción que datan de la época griega se resistieron al esfuerzo de muchas generaciones de matemáticos que intentaron resolverlos: la duplicación del cubo (construir un cubo de volumen doble al de un determinado cubo), la cuadratura del círculo (construir un cuadrado con área igual a un círculo determinado) y la trisección del ángulo (dividir un ángulo dado en tres partes iguales). Ninguna de estas construcciones es posible con la regla y el compás, y la imposibilidad de la cuadratura del círculo no fue finalmente demostrada hasta 1882.
Apolonio de Perga
Los griegos, y en particular Apolonio de Perga, estudiaron la familia de curvas conocidas como cónicas y descubrieron muchas de sus propiedades fundamentales. Las cónicas son importantes en muchos campos de las ciencias físicas; por ejemplo, las órbitas de los planetas alrededor del Sol son fundamentalmente cónicas.
Arquímedes, uno de los grandes científicos griegos, hizo un considerable número de aportaciones a la geometría. Inventó formas de medir el área de ciertas figuras curvas así como la superficie y el volumen de sólidos limitados por superficies curvas, como paraboloides y cilindros. También elaboró un método para calcular una aproximación del valor de pi, la proporción entre el diámetro y la circunferencia de un círculo y estableció que este número estaba entre 3 10/70 y 3 10/71.
Geometría analítica
La geometría avanzó muy poco desde el final de la era griega hasta la edad media. El siguiente paso importante en esta ciencia lo dio el filósofo y matemático francés René Descartes, cuyo tratado "El Discurso del Método", publicado en 1637, hizo época. Este trabajo fraguó una conexión entre la geometría y el álgebra al demostrar cómo aplicar los métodos de una disciplina en la otra. Éste es un fundamento de la geometría analítica, en la que las figuras se representan mediante expresiones algebraicas, sujeto subyacente en la mayor parte de la geometría moderna.
Otro desarrollo importante del siglo XVII fue la investigación de las propiedades de las figuras geométricas que no varían cuando las figuras son proyectadas de un plano a otro.
Un ejemplo sencillo de geometría proyectiva queda ilustrado en la figura 1.
Si los puntos A, B, C y a, b, c se colocan en cualquier posición de una cónica, por ejemplo una circunferencia, y dichos puntos se unen A con b y c, B con c y a, y C con b y a, los tres puntos de las intersecciones de dichas líneas están en una recta.
De la misma manera, si se dibujan seis tangentes cualesquiera a una cónica, como en la figura 2, y se trazan rectas que unan dos intersecciones opuestas de las tangentes, estas líneas se cortan en un punto único.
Este teorema se denomina proyectivo, pues es cierto para todas las cónicas, y éstas se pueden transformar de una a otra utilizando las proyecciones apropiadas, como en la figura 3, que muestra que la proyección de una circunferencia es una elipse en el otro plano.
Carl Fiedrich Gauss
Modernos avances
János Bolyai
La geometría sufrió un cambio radical de dirección en el siglo XIX. Los matemáticos Carl Friedrich Gauss, Nikolái Lobachevski, y János Bolyai, trabajando por separado, desarrollaron sistemas coherentes de geometría no euclídea. Estos sistemas aparecieron a partir de los trabajos sobre el llamado "postulado paralelo" de Euclides, al proponer alternativas que generan modelos extraños y no intuitivos de espacio, aunque, eso sí, coherentes.
Casi al mismo tiempo, el matemático británico Arthur Cayley desarrolló la geometría para espacios con más de tres dimensiones. Imaginemos que una línea es un espacio unidimensional. Si cada uno de los puntos de la línea se sustituye por una línea perpendicular a ella, se crea un plano, o espacio bidimensional. De la misma manera, si cada punto del plano se sustituye por una línea perpendicular a él, se genera un espacio tridimensional.
Arthur Cayley
Yendo más lejos, si cada punto del espacio tridimensional se sustituye por una línea perpendicular, tendremos un espacio tetradimensional. Aunque éste es físicamente imposible, e inimaginable, es conceptualmente sólido. El uso de conceptos con más de tres dimensiones tiene un importante número de aplicaciones en las ciencias físicas, en particular en el desarrollo de teorías de la relatividad.
También se han utilizado métodos analíticos para estudiar las figuras geométricas regulares en cuatro o más dimensiones y compararlas con figuras similares en tres o menos dimensiones. Esta geometría se conoce como geometría estructural. Un ejemplo sencillo de este enfoque de la geometría es la definición de la figura geométrica más sencilla que se puede dibujar en espacios con cero, una, dos, tres, cuatro o más dimensiones.
En los cuatro primeros casos, las figuras son los bien conocidos punto, línea, triángulo y tetraedro respectivamente. En el espacio de cuatro dimensiones, se puede demostrar que la figura más sencilla está compuesta por cinco puntos como vértices, diez segmentos como aristas, diez triángulos como caras y cinco tetraedros. El tetraedro, analizado de la misma manera, está compuesto por cuatro vértices, seis segmentos y cuatro triángulos. Otro concepto dimensional, el de dimensiones fraccionarias, apareció en el siglo XIX. En la década de 1970 el concepto se desarrolló como la geometría fractal.
GEOMETRIA
GEOMETRÍA
De acuerdo con la mayoría de las versiones la geometría fue descubierta en Egipto, teniendo su origen en la medición de áreas, ya que esta era una necesidad para los egipcios, debido a que el Nilo, al desbordarse barría con las señales que indicaban los limites del terreno de cada quien.
El conocimiento de los métodos de cálculo de los egipcios y su aplicación en distintos problemas proviene de las inscripciones talladas en piedras, de los calendarios y sobre todo de algunos papiros.
Entre los más antiguos cabe destacar, especialmente dos: el papiro Golenischevse que se conserva en Moscú y el papiro Rhind o de Ahmes que se haya en el British Museum.
Los saberes matemáticos en el Antiguo Egipto tuvieron un origen práctico. Alcanzaron un gran nivel en las manipulaciones aritméticas pero sus métodos eran toscos y sin grandes generalizaciones.
Casi no hay simbolismo y los egipcios eran poco dados a investigaciones abstractas.
Trabajaron sobre todo en geometría y aritmética.
Esta opinión es compartida por otros autores, aunque todas ellas, incluso la arriba citada parecen tener origen en el pasaje de Herodoto que señala que en tiempos de Ramsés II (1300 a.C.).
La tierra se distribuía entre los egipcios en terrenos rectangulares iguales, por los que pagaba un impuesto anual, y cuando el río inundaba parte de su tierra, el dueño pedía una deducción proporcional en el impuesto, y los agrimensores de aquel tiempo tenían que certificar que tal fracción de tierra había sido inundada“.
Esta es mi opinión (comenta Herodoto) el origen de la geometría que después paso a Grecia“.
Posiblemente esta afirmación de Herodoto no es mas que una simple descripción de lo recogido por el en Egipto.
Lo cierto es que los griegos nunca lo negaron.
La geometría es la ciencia que estudia la forma y posición de la figuras y nos enseña a medir su extensión.
HISTORIA DE LA GEOMETRIA
La matemáticas, históricamente, comenzaron con la geometría.
Geometría (del griego geo, “tierra“, metrein, “medir“) rama de las matemáticas que se ocupa de las propiedades del espacio.
En su forma más elemental, la geometría se preocupa de problemas métricos como el cálculo del área y volumen de cuerpos sólidos.
Otros campos de la geometría son la geometría analítica, geometría descriptiva, topología, geometría de espacios con cuatro o mas dimensiones, geometría fractal y geometría no euclídea.
Geometría demostrativa primitiva
El origen del termino geometría es una descripción precisa del trabajo de los primeros geómetras, que se interesaban en problemas como la medida del tamaño de los campos o el trazado de ángulos rectos para las esquinas de los edificios.
Este tipo de geometría empírica que floreció en el antiguo Egipto, sumeria y Babilonia, fue refinado y sistematizado por los griegos.
En el siglo VI a.C. el matemático Pitágoras coloco la piedra angular de la geometría científica al demostrar que las diversas leyes arbitrarias e inconexas de la geometría empírica se pueden deducir como conclusiones lógicas de un número limitado de axiomas, o postulados.
Estos postulados fueron considerados por Pitágoras y sus discípulos como verdades evidentes; sin embargo, en el pensamiento matemático moderno se consideran como un conjunto de supuestos útiles pero arbitrarios.
Un ejemplo típico de los postulados desarrollados y aceptados por los matemáticos griegos es la siguiente afirmación: “una línea recta es la distancia mas corta entre dos puntos”.
Un conjunto de teoremas sobre las propiedades de puntos, líneas, ángulos y planos se puede deducir lógicamente a partir de estos axiomas.
Entre estos teoremas se encuentran: “la suma de los ángulos de cualquier triangulo es igual a la suma de dos ángulos rectos”, y “el cuadrado de la hipotenusa de un triangulo rectángulo es igual a la suma de los cuadrados de los otros dos lados“ (conocido como teorema de Pitágoras).
La geometría demostrativa de los griegos, que se ocupaba de los polígonos y círculos y de sus correspondientes figuras tridimensionales, fue mostrada rigurosamente por el matemático griego Euclídes, en su libro “los elementos”.
El texto de Euclídes, a pesar de sus imperfecciones, ha servido como libro de texto básico de geometría hasta casi nuestros días.
Primeros problemas geométricos
Los griegos, y en particular Apolonio de Perga estudiaron la familia de curvas conocidas como cónicas y descubrieron muchas de sus propiedades fundamentales.
Las cónicas son importantes en muchos campos de las ciencias físicas, por ejemplo las orbitas de los planetas son fundamentalmente cónicas.
Arquímedes, uno de los grandes científicos griegos, hizo un considerable número de aportaciones a la geometría.
Invento forma de medir el área de ciertas figuras curvas, así como la superficie y el volumen de sólidos limitados por superficies curvas como paraboloides y cilindros.
También elaboro un método par calcular una aproximación del valor de pi, y estableció que este numero estaba entre 3 10/70 y 3 10/71.
Geometría analítica
La geometría avanzo muy poco desde el final de la era griega hasta la edad media. El siguiente paso importante en esta ciencia lo dio el filosofo francés Rene Descartes, cuyo tratado “el discurso del método”, publicado en 1637, hizo época.
Este trabajo fraguó una conexión entre la geometría y el álgebra al demostrar como aplicar los métodos de una disciplina en la otra.
Este es un fundamento de la geometría analítica, en la que las figuras se representan mediante expresiones algebraicas, sujeto subyacente en la mayor parte de la geometría moderna.
Otro desarrollo importante del siglo XVII fue la investigación de las propiedades de las figuras geométricas que no varían cuando las figuras son proyectadas de un plano a otro.
Modernos avances
La geometría sufrió un cambio radical en dirección en el siglo xix los matemáticos Carl Freidrich Gauss, Nikolai Lobachevski, y Janos Boylai, trabajando por separado, desarrollaron sistemas coherentes de geometría no euclídea.
Estos sistemas aparecieron a partir de los trabajos sobre le llamado ”postulado paralelo“ de Euclídes, al proponer alternativas que generan modelos extraños y no intuitivos de espacio, aunque, esos si, coherentes.
Casi al mismo tiempo, el matemático británico Arthur Cayley, desarrollo la geometría para espacios con más de tres dimensiones.
Imaginemos que una línea es un espacio unidimensional.
Si a cada uno de los puntos de la línea se sustituye por una línea perpendicular a ella, se crea un plano, o espacio bidimensional.
De la misma manera, si a cada punto del plano se le sustituye por una línea perpendicular a él, se genera un espacio tridimensional.
Yendo mas lejos, si cada punto del espacio tridimensional se sustituye con una línea perpendicular tendremos un espacio tetradimensional.
Aunque esto es físicamente imposible, e inimaginable, es conceptualmente sólido.
El uso de conceptos con más de tres dimensiones tiene un importante número de aplicaciones en las ciencias físicas, en particular en el desarrollo de teorías de la relatividad.
GEOMETRIA Y TRIGONOMETRIA
Geometría & Trigonometría
Historia de la Geometría
El origen del término geometría es una descripción precisa del trabajo de los primeros geómetras que se interesaban en problemas como la medida del tamaño de los campos o el trazado de ángulos rectos para las esquinas de los edificios. Este tipo de geometría empírica que floreció en el Antiguo Egipto, Sumeria y Babilonia, fue refinado y sistematizado por los griegos.
Conocimientos geométricos de los babilonios: Hacia el año 2200 a.C. aplicaron reglas para calcular áreas de rectángulos, triángulos isósceles, trapezoides y círculos. En la medición de los sólidos, daban soluciones relacionadas con paralelepípedos, cilindros y prismas rectos, que aplicaban a trabajos de excavación de canales para riego. Conocieron también que el ángulo inscrito en un semicírculo es recto, que los lados homólogos de triángulos semejantes son proporcionales, de la relación entre los lados de un triángulo rectángulo y la relación entre la longitud de una circunferencia y su diámetro, tomando en valor de 3 para pi.
En el siglo VI a.C. el matemático Pitágoras colocó la piedra angular de la geometría cinetífica al demostrar que las diversas leyes arbitrarias e inconexas de la geometría empírica se pueden deducir como onclusiones lógicas de un número limitado de axiomas o postulados. Estos postulados fueron considerados por Pitágoras y sus discípulos como verdades evidentes; sin embargo, en el pensamiento matemático moderno se consideran como un conjunto de supuestos útiles pero arbitrarios.
Aunque existen intentos anteriores, la primera sistematización de ese conjunto de conocimientos cristaliza en los elementos de Euclides (300 a.C.), que si bien no comprendían todos los conocimientos matemáticos de la época, su estructura es tan sólida y orgánica que aun hoy constituye la base de los textos de geometría elemental.
Apolonio de Perga estudió la familia de curvas conocidas como cónicas y descubrió muchas de sus propiedades fundamentales. Las cónicas son importantes en muchos campos de las ciencias físicas; por ejemplo, las órbitas de los planetas alrededor del sol son fundamentalmente cónicas.
Arquímedes, uno de los grandes científicos griegos, hizo un considerable número de aportaciones a la geometría. Inventó formas de medir el área de ciertas figuras curvas así como la superficie y el volumen de sólidos limitados por superficies curvas, como paraboloides y cilindros. También elaboró un método para calcular una aproximación del valor pi, la proporción entre el diámetro y la circunferencia de un círculo y estableció que este número estaba entre 3 10/70 y 3 10/71.
Así, con Euclides, Arquímedes y Apolonio, la geometría griega llega a su culminación. La geometría avanzó muy poco desde el final de la era griega hasta la Edad Media.
El siguiente paso importante en esta ciencia lo dio el filósofo y matemático René Descartes, cuyo tratado El Discurso del Método, publicado en 1637, hizo época. Este trabajo fraguó una conexión entre la geometría y el álgebra al demostrar cómo aplicar los métodos de una disciplina en la otra. Éste es un fundamento de la geometría analítica, en la que las figuras se representan mediante expresiones algebraicas, sujeto subyacente en la mayor parte de la geometría moderna.
Otro desarrollo importante del siglo XVII fue la investigación de las propiedades de las figuras geométricas que no varían cuando las figuras son proyectadas de un plano a otro. La geometría sufrió un cambio radical de dirección en el siglo XIX.
Los matemáticos Carl Friedrich Gauss, Nikolái Lobachevski y János Bolyai, trabajando por separado, desarrollaron sistemas coherentes de geometría no euclidiana. Estos sistemas aparecieron a partir de los trabajos sobre el llamado "postulado paralelo" de Euclides, al proponer alternativas que generan modelos extraños y no intuitivos de espacio, aunque sí coherentes.
GEOMETRÍA
La historia del origen de la Geometría es muy similar a la de la Aritmética, siendo sus conceptos más antiguos consecuencia de las actividades prácticas. Los primeros hombres llegaron a formas geométricas a partir de la observación de la naturaleza.El sabio griego Eudemo de Rodas, atribuyó a los egipcios el descubrimiento de la geometría, ya que, según él, necesitaban medir constantemente sus tierras debido a que las inundaciones del Nilo borraban continuamente sus fronteras. Recordemos que, precisamente, la palabra geometría significa medida de tierras.
Los egipcios se centraron principalmente en el cálculo de áreas y volúmenes, encontrando, por ejemplo, para el área del círculo un valor aproximado de ( de 3'1605. Sin embargo el desarrollo geométrico adolece de falta de teoremas y demostraciones formales. También encontramos rudimentos de trigonometría y nociones básicas de semejanza de triángulos.
También se tienen nociones geométricas en la civilización mesopotámica, constituyendo los problemas de medida el bloque central en este campo: área del cuadrado, del círculo (con una no muy buena aproximación de (=3), volúmenes de determinados cuerpos, semejanza de figuras, e incluso hay autores que afirman que esta civilización conocía el teorema de Pitágoras aplicado a problemas particulares, aunque no, obviamente, como principio general.
No se puede decir que la geometría fuese el punto fuerte de las culturas china e india, limitándose principalmente a la resolución de problemas sobre distancias y semejanzas de cuerpos. También hay quien afirma que estas dos civilizaciones llegaron a enunciados de algunos casos particulares del teorema de Pitágoras, e incluso que desarrollaron algunas ideas sobre la demostración de este teorema.
En los matemáticos de la cultura helénica los problemas prácticos relacionados con las necesidades de cálculos aritméticos, mediciones y construcciones geométricas continuaron jugando un gran papel. Sin embargo, lo novedoso era, que estos problemas poco a poco se desprendieron en una rama independiente de las matemáticas que obtuvo la denominación de "logística". A la logística fueron atribuidas: las operaciones con números enteros, la extracción numérica de raíces, el cálculo con la ayuda de dispositivos auxiliares, cálculo con fracciones, resolución numérica de problemas que conducen a ecuaciones de 1er y 2º grado, problemas prácticos de cálculo y constructivos de la arquitectura, geometría, agrimensura, etc...
Al mismo tiempo ya en la escuela de Pitágoras se advierte un proceso de recopilación de hechos matemáticos abstractos y la unión de ellos en sistemas teóricos. Junto a la demostración geométrica del teorema de Pitágoras fue encontrado el método de hallazgo de la serie ilimitada de las ternas de números "pitagóricos", esto es, ternas de números que satisfacen la ecuación a2+b2=c2.
En este tiempo transcurrieron la abstracción y sistematización de las informaciones geométricas. En los trabajos geométricos se introdujeron y perfeccionaron los métodos de demostración geométrica. Se consideraron, en particular: el teorema de Pitágoras, los problemas sobre la cuadratura del círculo, la trisección de un ángulo, la duplicación del cubo, la cuadratura de una serie de áreas (en particular las acotadas por líneas curvas).
.Paralelamente, al ampliarse el número de magnitudes medibles, debido a la aparición de los números irracionales, se originó una reformulación de la geometría, dando lugar al álgebra geométrica. Esta nueva rama incluía entre otros conceptos el método de anexión de áreas, el conjunto de proposiciones geométricas que interpretaban las cantidades algebraicas, división áurea, expresión de la arista de un poliedro regular a través del diámetro de la circunferencia circunscrita. Sin embargo, el álgebra geométrica estaba limitada a objetos de dimensión no mayor que dos, siendo inaccesibles los problemas que conducían a ecuaciones de tercer grado o superiores, es decir, se hacían imposibles los problemas que no admitieran solución mediante regla y compás. La historia sobre la resolución de los tres problemas geométricos clásicos (sobre la cuadratura del círculo, la trisección de un ángulo, la duplicación del cubo) está llena de anécdotas, pero lo cierto es que como consecuencia de ellos surgieron, por ejemplo, las secciones cónicas, cálculo aproximado del número pi, el método de exhaución como predecesor del cálculo de límites o la introducción de curvas trascendentes.
Asimismo, el surgimiento de la irracionalidad condicionó la necesidad de creación de una teoría general de las relaciones, teoría cuyo fundamento inicial lo constituyó el algoritmo de Euclides.
Las primeras teorías matemáticas que se abstrajeron de los problemas concretos o de un conjunto de problemas de un mismo tipo, crearon las condiciones necesarias y suficientes para el reconocimiento de la autonomía y especificidad de las matemáticas.
El carácter abstracto del objeto de las matemáticas y los métodos de demostración matemática establecidos, fueron las principales causas para que esta ciencia se comenzara a exponer como una ciencia deductiva, que a partir de unos axiomas, presenta una sucesión lógica de teoremas. Las obras en las cuales, en aquella época se exponían los primeros sistemas matemáticos de denominaban "Elementos".
Se encuentran elementos pertenecientes a muchos autores, sin embargo todos ellos han quedado relegados a un segundo plano tras la obra matematica más impresionante de la historia: Los Elementos de Euclides. "Los Elementos", como denominaremos a esta obra a partir de ahora, están constituidos por trece libros, cada uno de los cuales consta de una sucesión de teoremas. A veces se añaden otros dos, los libros 14 y 15 que pertenecen a otros autores pero por su contenido, están próximos al último libro de Euclides.
En "Los Elementos" de Euclides se recogen una serie de axiomas o postulados que sirvieron de base para el posterior desarrollo de la geometría. Es de especial interés, por la controversia que originó en épocas posteriores el quinto axioma, denominado "el de las paralelas", según el cual dos rectas paralelas no se cortan nunca. Durante siglos se asumió este axioma como irrebatible, hasta que en el siglo XIX surgieron las llamadas geometrías no euclídeas, que rebatieron este postulado.
Con posterioridad a Euclides y Arquímedes, las matemáticas cambiaron fuertemente, tanto en su forma como en su contenido, haciendo el proceso de formación de nuevas teorías más pausado, hasta llegar a interrumpirse.
Entre las nuevas teorías desarrolladas ocupa el primer lugar la teoría de las secciones cónicas, que surgió de las limitaciones del álgebra geométrica. El interés hacia las secciones cónicas creció a medida que aumentaban la cantidad de problemas resueltos con su ayuda. Sin duda, la obra más completa, general y sistemática de las secciones cónicas se debe a Apolonio de Perga.
En la época del dominio romano destacan algunos recetarios en forma de reglas que permitían el cálculo de algunas áreas y volúmenes; y en especial la conocida fórmula de Herón para calcular el área del triángulo conocidos los tres lados.
Durante el primer siglo del Imperio Musulmán no se produjo ningún desarrollo científico, ya que los árabes, no habían conseguido el impulso intelectual necesario, mientras que el interés por el saber en el resto del mundo, había desaparecido casi completamente. Fue a partir de la segunda mitad del siglo VIII, cuando comenzó el desenfrenado proceso de traducir al árabe todas las obras griegas conocidas, fundándose escuelas por todo el Imperio.
Destacaremos como avance anecdótico, pero no por ello carente de valor, la obtención del número pi con 17 cifras exactas mediante polígonos inscritos y circunscritos en la circinferencia realizada por Kashi (s. XV). Después de más de 150 años, en 1593, en Europa, Viète encontró sólo nueve cifras exactas. Hubo que esperar a fines del siglo XVI y comienzos del XVII para repetir el cálculo de Kashi.
El rasgo característico más importante de las matemáticas árabes fue la formación de la trigonometría. En relación con los problemas de astronomía, confeccionaron tablas de las funciones trigonométricas con gran frecuencia y alto grado de exactitud, tanto en trigonometría plana como esférica.
Entre las obras geométricas destacan las de Omar Khayyam (s. XVI) y Nasir Edin (s. XIII), directamente influenciadas por las obras clásicas, pero a las que contribuyeron con distintas generalizaciones y estudios críticos, como los relativos al axioma euclideano del paralelismo, que pueden considerarse como estudios precursores de la geometría no euclideana.
En el continente europeo, las matemáticas no tienen un origen tan antiguo como en muchos países del Lejano y Medio Oriente, alcanzando sólo éxitos notorios en la época del medievo desarrollado y especialmente en el Renacimiento.
Podemos considerar la obra de Fibonacci "Practica Geometriae" como el punto de arranque de la geometría renacentista. Esta obra está dedicada a resolver determinados problemas geométricos, especialmente medida de áreas de polígonos y volúmenes de cuerpos.
Otro contemporáneo, aunque no tan excepcionalmente dotado fue Jordano Nemorarius (1237-?) a quien debemos la primera formulación correcta del problema del plano inclinado.
El profesor parisino Nicole Oresmes (1328-1382) llegó a utilizar en una de sus obras coordenadas rectangulares, aunque de forma rudimentaria, para la representación gráfica de ciertos fenómenos físicos.
Ya en el siglo XV, época de las grandes navegaciones, la trigonometría fue separada de la astronomía, alzándose como ciencia independiente de la mano de Regiomontano (1436-1474), que trató de una manera sistemática todos los problemas sobre la determinación de triángulos planos y esféricos. Asimismo en esta obra se establece un notable cambio desde el álgebra literal al álgebra simbólica.
Fue François Viète (1540-1603) quien dio un sistema único de símbolos algebraicos consecuentemente organizado, estableciendo en todo momento, una fuerte conexión entre los trabajos trigonométricos y algebraicos, de forma que de igual manera que se le considera el creador del álgebra lineal, se le podría considerar como uno de los padres del enfoque analítico de la trigonometría, esto es, la goniometría.
Para hacer más fáciles los cálculos, los matemáticos desarrollaron ciertos procedimientos en los que, el papel fundamental lo jugaban determinadas relaciones trigonométricas, lo que llevó a la confección de numerosas tablas trigonométricas. En la elaboración de tablas trabajaron, por ejemplo, Copérnico (1473-1543) y Kepler (1571,1630). Semejantes métodos se utilizaban tan frecuentemente que recibieron el nombre de "prostaferéticos". Ellos fueron utilizados por los matemáticos de Oriente Medio, Viète, Tycho Brahe, Wittich, Bürgi y muchos otros. Estos métodos siguieron utilizándose incluso después de la invención de los logaritmos a comienzos del siglo XVII, aunque sus fundamentos, basados en la comparación entre progresiones aritméticas y geométricas, comenzaron a fraguarse mucho antes.
Durante el siglo XVII surgieron casi todas las disciplinas matemáticas, produciéndose en lo que a la geometría se refiere el nacimiento de la geometría analítica.
Sin duda los dos grandes en esta materia y época fueron René Descartes (1596-1650) y Pierrede Fermat (1601-1655).
La última parte de la famosa obra de Descartes "Discurso del Método" denominada "Géometrie", detalla en su comienzo, instrucciones geométricas para resolver ecuaciones cuadráticas, centrándose seguidamente en la aplicación del álgebra a ciertos problemas geométricos. Analiza también curvas de distintos órdenes, para terminar en el tercer y último libro que compone la obra, con la construcción de la teoría general de ecuaciones, llegando a la conclusión de que el número de raíces de una ecuación es igual al grado de la misma, aunque no pudo demostrarlo. Prácticamente la totalidad de la Géometrie está dedicada a la interrelación entre el álgebra y la geometría con ayuda del sistema de coordenadas.
Simultáneamente con Descartes, Pierre de Fermat desarrolló un sistema análogo al de aquél. Las ideas de la geometría analítica, esto es, la introducción de coordenadas rectangulares y la aplicación a la geometría de los métodos algebraicos, se concentran en una pequeña obra: "introducción a la teoría de los lugares planos y espaciales". Aquellos lugares geométricos representados por rectas o circunferencias se denominaban planos y los representados por cónicas, especiales. Fermat abordó la tarea de reconstruir los "Lugares Planos" de Apolonio, describiendo alrededor de 1636, el principio fundamental de la geometría analítica: "siempre que en una ecuación final aparezcan dos incógnitas, tenemos un lugar geométrico, al describir el extremo de uno de ellos una línea, recta o curva". Utilizando la notación de Viète, representó en primer lugar la ecuación Dx=B, esto es, una recta. Posteriormente identificó las expresiones xy=k2; a2+x2=ky; x2+y2+2ax+2by=c2; a2-x2=ky2 con la hipérbola, parábola circunferencia y elipse respectivamente. Para el caso de ecuaciones cuadráticas más generales, en las que aparecen varios términos de segundo grado, aplicó rotaciones de los ejes con objeto de reducirlas a los términos anteriores.
La extensión de la geometría analítica al estudio de los lugares geométricos espaciales, la realizó por la vía del estudio de la intersección de las superficies espaciales por planos. Sin embargo, las coordenadas espaciales también en él están ausentes y la geometría analítica del espacio quedó sin culminar.
Lo que sí está totalmente demostrado, es que la introducción del método de coordenadas deba atribuirse a Fermat y no a Descartes, sin embargo su obra no ejerció tanta influencia como la Géometrie de Descartes, debido a la tardanza de su edición y al engorroso lenguaje algebraico utilizado.
El desarrollo posterior de la geometría analítica, mostró que las ideas de Descartes sobre la unificación del álgebra y geometría no pudo realizarse sino que siguieron un camino separado aunque relacionado.
El surgimiento de la geometría analítica, aligeró sustancialmente la formación del análisis infinitesimal y se convirtió en un elemento imprescindible para la construcción de la mecánica de Newton, Lagrange y Euler, significanda la aparición de las posibilidades para la creación del análisis de variables.
Ya en el siglo XVIII se completó el conjunto de las disciplinas geométricas y, excluyendo sólo las geometrías no euclideanas y la apenas iniciada geometría analítica, prácticamente todas las ramas clásicas de la geometría, se formaron en este siglo. Así además de la consolidación de la geometría analítica, surgieron la geometría diferencial, descriptiva y proyectiva, así como numerosos trabajos sobre los fundamentos de la geometría. Entre los diferentes problemas y métodos de la geometría, tuvieron gran significado las aplicaciones geométricas del cálculo infinitesimal. De ellas surgió y se desarrolló la geometría diferencial, la ciencia que ocupó durante el siglo XVIII el lugar central en al sistema de las disciplinas geométricas. Estudiemos por separado cada una de estas ramas:
Geometría Analítica:
Bajo esta denominación se considera aquella parte de la geometría donde se estudian las figuras y transformaciones geométricas dadas por ecuaciones algebraicas. Las puertas a esta rama fueron abiertas, ya en el siglo XVII por Descartes y Fermat, pero sólo incluían problemas planos. Hubo de ser Newton quien en 1704 diera un paso importante al publicar la obra, "Enumeración de las curvas de tercer orden", clasificando las curvas según el número posible de puntos de intersección con una recta, obteniendo un total de 72 tipos de curvas, que se podían representar por ecuaciones de cuatro tipos. Si designamos ax3+bx2+cx+d=A, entonces las soluciones indicadas serán: xy2+ey=A ; xy=A ; y2=A ; y=A. Sin embargo, lo verdaderamente importante de esta obra fue el descubrimiento de las nuevas posibilidades del método de coordenadas, definiendo los signos de las funciones en los cuatro cuadrantes.
Con posterioridad a Newton, las curvas de tercer orden fueron estudiadas por Stirling, Maclaurin, Nicolle, Maupertius, Braikenridge, Steiner, Salmon, Silvestre, Shall, Clebsch y otros.
Fue Euler quien, en 1748, sistematizó la geometría analítica de una manera formal. En primer lugar expuso el sistema de la geometría analítica en el plano, introduciendo además de las coordenadas rectangulares en el espacio, las oblicuas y polares. En segundo lugar, estudió las transformaciones de los sistemas de coordenadas. También clasificó las curvas según el grado de sus ecuaciones, estudiando sus propiedades generales. En otros apartados de sus obras trató las secciones cónicas, las formas canónicas de las ecuaciones de segundo grado, las ramas infinitas y asintóticas de las secciones cónicas y clasificó las curvas de tercer y cuarto orden, demostrando la inexactitud de la clasificación newtoniana. También estudió las tangentes, problemas de curvaturas, diámetros y simetrías, semejanzas y propiedades afines, intersección de curvas, composición de ecuaciones de curvas complejas, curvas trascendentes y la resolución general de ecuaciones trigonométricas. Todo estos aspectos se recogen en el segundo tomo de la obra "Introducción al análisis..." que Euler dedicó exclusivamente a la geometría analítica.
En la segunda mitad del siglo se introdujeron sólo mejoras parciales, pues en lo fundamental, la geometría analítica ya estaba formada. Destacaremos entre otros los nombres de G. Monge, Lacroix y Menier.
Geometría diferencial:
Esta disciplina matemática se encarga del estudio de los objetos geométricos, o sea, las curvas, superficies etc... Su singularidad consiste en que partiendo de la geometría analítica utiliza métodos del cálculo diferencial.
A comienzos de siglo ya habían sido estudiados muchos fenómenos de las curvas planas por medio del análisis infinitesimal, para pasar posteriormente a estudiar las curvas espaciales y las superficies. Este traspaso de los métodos de la geometría bidimensional al caso tridimensional fue realizado por Clairaut. Sin embargo, su obra fue eclipsada, como casi todo en esta época, por los trabajos de Euler.
El primer logro de Euler en este terreno, fue la obtención de la ecuación diferencial de las líneas geodésicas sobre una superficie, desarrollando a continuación una completa teoría de superficies, introduciendo entre otros el concepto de superficie desarrollable.
A finales de siglo, es desarrollo de esta rama entró en un ligero declive, debido principalmente a la pesadez y complejidad del aparato matemático.
Geometría descriptiva y proyectiva:
Los métodos de la geometría descriptiva surgieron en el dominio de las aplicaciones técnicas de la matemática y su formación como ciencia matemática especial, se culminó en los trabjos de Monge, cuya obra en este terreno quedó plasmada en el texto "Géometrie descriptive". En la obra se aclara, en primer lugar, el método y objeto de la geometría descriptiva, prosiguiendo a continuación, con instrucciones sobre planos tangentes y normales a superficies curvas. Analiza en capítulos posteriores la intersección de superficies curvas y la curvatura de líneas y superficies.
El perfeccionamiento de carácter particular y la elaboración de diferentes métodos de proyección contituyeron el contenido fundamental de los trabjos sobre geometría proyectiva en lo sucesivo. La idea del estudio de las propiedades proyectivas de los objetos geométricos, surgió como un nuevo enfoque que simplificara la teoría de las secciones cónicas. Las obras de Desargues y Pascal resuelven este problema y sirven de base a la nueva geometría.
Como acabamos de ver la geometría hacia comienzos del siglo XIX representaba ya un amplio complejo de disciplinas surgidas del análisis y generalizaciones de los datos sobre las formas espaciales de los cuerpos. Junto a las partes elementales, se incluyeron en la geometría casi todas aquellas partes que la conforman actualmente.
La geometría analítica realizó un gran camino de desarrollo y determinó su lugar como parte de la geometría que estudia las figuras y transformaciones dadas por ecuaciones algebraicas con ayuda del método de coordenadas utilizando los métodos del álgebra.
La geometría diferencial se caracterizó por la utilización de los conceptos y métodos del cálculo diferencial, lo que conllevó relaciones estables con el análisis matemático y con numerosos problemas aplicados.
Una de las características principales de la geometría que se desarrolló durante la segunda mitad del siglo XIX, fue el entusiasmo con que los matemáticos estudiaron una gran variedad de transformaciones. De ellas, las que se hicieron más populares fueron las que constituyen el grupo de transformaciones que definen la denominada geometría proyectiva. Los métodos aparentemente detenidos en su desarrollo desde la época de Desargues y Pascal, de estudio de las propiedades de las figuras invariantes respecto a la proyección, se conformaron en los años 20 del siglo XIX en una nueva rama de la geometría: la geometría proyectiva, merced sobre todo a los trabajos de J. Poncelet.
Otro aspecto esencial durante este siglo fue el desarrollo de las geometrías no euclideanas. Podríamos considerar fundador de esta geometría al matemático ruso Nicolai Ivanovich Lobachevski (1792-1856). Su obra mostraba que era necesario revisar los conceptos fundamentales que se admitían sobre la naturaleza de la matemática, pero ante el rechazo de sus contemporáneos tuvo que desarrollar sus ideas en solitario aislamiento.
El punto de partida de las investigaciones de Lobachevski sobre geometría no euclideana fue el axioma de las paralelas de Euclides, sin demostración durante siglos. Lobachevski, que inicialmente intentó demostrar dicho axioma, rápidamente se dio cuenta que ello era imposible, sustituyendo dicho axioma por su negación: a través de un punto no contenido en una recta se puede trazar más de una paralela que yace en el mismo plano que la primera.
El año 1826 puede considerarse como la fecha de nacimiento de esta geometría no euclideana o lobachevskiana, siendo en ese año cuando el autor presentó muchos de los trabajos que avalaban la nueva teoría.
En 1829 Janos Bolyai (1802-1860) llegó a la misma conclusión a la que había llegado Lobachevski. E incluso el mismo Gauss que apoyaba y elogiaba a escondidas, nunca de forma pública, los trabajos de Bolyai y Lobachevski, es posible que mantuviera los mismos puntos de vista pero los calló por temor a comprometer su reputación científica.
La geometría no euclideana continuó siendo durante varias décadas un aspecto marginal de la matemática, hasta que se integró en ella completamente gracias a las concepciones extraordinariamente generales de Rieman.
La historia del origen de la Geometría es muy similar a la de la Aritmética, siendo sus conceptos más antiguos consecuencia de las actividades prácticas. Los primeros hombres llegaron a formas geométricas a partir de la observación de la naturaleza.El sabio griego Eudemo de Rodas, atribuyó a los egipcios el descubrimiento de la geometría, ya que, según él, necesitaban medir constantemente sus tierras debido a que las inundaciones del Nilo borraban continuamente sus fronteras. Recordemos que, precisamente, la palabra geometría significa medida de tierras.
Los egipcios se centraron principalmente en el cálculo de áreas y volúmenes, encontrando, por ejemplo, para el área del círculo un valor aproximado de ( de 3'1605. Sin embargo el desarrollo geométrico adolece de falta de teoremas y demostraciones formales. También encontramos rudimentos de trigonometría y nociones básicas de semejanza de triángulos.
También se tienen nociones geométricas en la civilización mesopotámica, constituyendo los problemas de medida el bloque central en este campo: área del cuadrado, del círculo (con una no muy buena aproximación de (=3), volúmenes de determinados cuerpos, semejanza de figuras, e incluso hay autores que afirman que esta civilización conocía el teorema de Pitágoras aplicado a problemas particulares, aunque no, obviamente, como principio general.
No se puede decir que la geometría fuese el punto fuerte de las culturas china e india, limitándose principalmente a la resolución de problemas sobre distancias y semejanzas de cuerpos. También hay quien afirma que estas dos civilizaciones llegaron a enunciados de algunos casos particulares del teorema de Pitágoras, e incluso que desarrollaron algunas ideas sobre la demostración de este teorema.
En los matemáticos de la cultura helénica los problemas prácticos relacionados con las necesidades de cálculos aritméticos, mediciones y construcciones geométricas continuaron jugando un gran papel. Sin embargo, lo novedoso era, que estos problemas poco a poco se desprendieron en una rama independiente de las matemáticas que obtuvo la denominación de "logística". A la logística fueron atribuidas: las operaciones con números enteros, la extracción numérica de raíces, el cálculo con la ayuda de dispositivos auxiliares, cálculo con fracciones, resolución numérica de problemas que conducen a ecuaciones de 1er y 2º grado, problemas prácticos de cálculo y constructivos de la arquitectura, geometría, agrimensura, etc...
Al mismo tiempo ya en la escuela de Pitágoras se advierte un proceso de recopilación de hechos matemáticos abstractos y la unión de ellos en sistemas teóricos. Junto a la demostración geométrica del teorema de Pitágoras fue encontrado el método de hallazgo de la serie ilimitada de las ternas de números "pitagóricos", esto es, ternas de números que satisfacen la ecuación a2+b2=c2.
En este tiempo transcurrieron la abstracción y sistematización de las informaciones geométricas. En los trabajos geométricos se introdujeron y perfeccionaron los métodos de demostración geométrica. Se consideraron, en particular: el teorema de Pitágoras, los problemas sobre la cuadratura del círculo, la trisección de un ángulo, la duplicación del cubo, la cuadratura de una serie de áreas (en particular las acotadas por líneas curvas).
.Paralelamente, al ampliarse el número de magnitudes medibles, debido a la aparición de los números irracionales, se originó una reformulación de la geometría, dando lugar al álgebra geométrica. Esta nueva rama incluía entre otros conceptos el método de anexión de áreas, el conjunto de proposiciones geométricas que interpretaban las cantidades algebraicas, división áurea, expresión de la arista de un poliedro regular a través del diámetro de la circunferencia circunscrita. Sin embargo, el álgebra geométrica estaba limitada a objetos de dimensión no mayor que dos, siendo inaccesibles los problemas que conducían a ecuaciones de tercer grado o superiores, es decir, se hacían imposibles los problemas que no admitieran solución mediante regla y compás. La historia sobre la resolución de los tres problemas geométricos clásicos (sobre la cuadratura del círculo, la trisección de un ángulo, la duplicación del cubo) está llena de anécdotas, pero lo cierto es que como consecuencia de ellos surgieron, por ejemplo, las secciones cónicas, cálculo aproximado del número pi, el método de exhaución como predecesor del cálculo de límites o la introducción de curvas trascendentes.
Asimismo, el surgimiento de la irracionalidad condicionó la necesidad de creación de una teoría general de las relaciones, teoría cuyo fundamento inicial lo constituyó el algoritmo de Euclides.
Las primeras teorías matemáticas que se abstrajeron de los problemas concretos o de un conjunto de problemas de un mismo tipo, crearon las condiciones necesarias y suficientes para el reconocimiento de la autonomía y especificidad de las matemáticas.
El carácter abstracto del objeto de las matemáticas y los métodos de demostración matemática establecidos, fueron las principales causas para que esta ciencia se comenzara a exponer como una ciencia deductiva, que a partir de unos axiomas, presenta una sucesión lógica de teoremas. Las obras en las cuales, en aquella época se exponían los primeros sistemas matemáticos de denominaban "Elementos".
Se encuentran elementos pertenecientes a muchos autores, sin embargo todos ellos han quedado relegados a un segundo plano tras la obra matematica más impresionante de la historia: Los Elementos de Euclides. "Los Elementos", como denominaremos a esta obra a partir de ahora, están constituidos por trece libros, cada uno de los cuales consta de una sucesión de teoremas. A veces se añaden otros dos, los libros 14 y 15 que pertenecen a otros autores pero por su contenido, están próximos al último libro de Euclides.
En "Los Elementos" de Euclides se recogen una serie de axiomas o postulados que sirvieron de base para el posterior desarrollo de la geometría. Es de especial interés, por la controversia que originó en épocas posteriores el quinto axioma, denominado "el de las paralelas", según el cual dos rectas paralelas no se cortan nunca. Durante siglos se asumió este axioma como irrebatible, hasta que en el siglo XIX surgieron las llamadas geometrías no euclídeas, que rebatieron este postulado.
Con posterioridad a Euclides y Arquímedes, las matemáticas cambiaron fuertemente, tanto en su forma como en su contenido, haciendo el proceso de formación de nuevas teorías más pausado, hasta llegar a interrumpirse.
Entre las nuevas teorías desarrolladas ocupa el primer lugar la teoría de las secciones cónicas, que surgió de las limitaciones del álgebra geométrica. El interés hacia las secciones cónicas creció a medida que aumentaban la cantidad de problemas resueltos con su ayuda. Sin duda, la obra más completa, general y sistemática de las secciones cónicas se debe a Apolonio de Perga.
En la época del dominio romano destacan algunos recetarios en forma de reglas que permitían el cálculo de algunas áreas y volúmenes; y en especial la conocida fórmula de Herón para calcular el área del triángulo conocidos los tres lados.
Durante el primer siglo del Imperio Musulmán no se produjo ningún desarrollo científico, ya que los árabes, no habían conseguido el impulso intelectual necesario, mientras que el interés por el saber en el resto del mundo, había desaparecido casi completamente. Fue a partir de la segunda mitad del siglo VIII, cuando comenzó el desenfrenado proceso de traducir al árabe todas las obras griegas conocidas, fundándose escuelas por todo el Imperio.
Destacaremos como avance anecdótico, pero no por ello carente de valor, la obtención del número pi con 17 cifras exactas mediante polígonos inscritos y circunscritos en la circinferencia realizada por Kashi (s. XV). Después de más de 150 años, en 1593, en Europa, Viète encontró sólo nueve cifras exactas. Hubo que esperar a fines del siglo XVI y comienzos del XVII para repetir el cálculo de Kashi.
El rasgo característico más importante de las matemáticas árabes fue la formación de la trigonometría. En relación con los problemas de astronomía, confeccionaron tablas de las funciones trigonométricas con gran frecuencia y alto grado de exactitud, tanto en trigonometría plana como esférica.
Entre las obras geométricas destacan las de Omar Khayyam (s. XVI) y Nasir Edin (s. XIII), directamente influenciadas por las obras clásicas, pero a las que contribuyeron con distintas generalizaciones y estudios críticos, como los relativos al axioma euclideano del paralelismo, que pueden considerarse como estudios precursores de la geometría no euclideana.
En el continente europeo, las matemáticas no tienen un origen tan antiguo como en muchos países del Lejano y Medio Oriente, alcanzando sólo éxitos notorios en la época del medievo desarrollado y especialmente en el Renacimiento.
Podemos considerar la obra de Fibonacci "Practica Geometriae" como el punto de arranque de la geometría renacentista. Esta obra está dedicada a resolver determinados problemas geométricos, especialmente medida de áreas de polígonos y volúmenes de cuerpos.
Otro contemporáneo, aunque no tan excepcionalmente dotado fue Jordano Nemorarius (1237-?) a quien debemos la primera formulación correcta del problema del plano inclinado.
El profesor parisino Nicole Oresmes (1328-1382) llegó a utilizar en una de sus obras coordenadas rectangulares, aunque de forma rudimentaria, para la representación gráfica de ciertos fenómenos físicos.
Ya en el siglo XV, época de las grandes navegaciones, la trigonometría fue separada de la astronomía, alzándose como ciencia independiente de la mano de Regiomontano (1436-1474), que trató de una manera sistemática todos los problemas sobre la determinación de triángulos planos y esféricos. Asimismo en esta obra se establece un notable cambio desde el álgebra literal al álgebra simbólica.
Fue François Viète (1540-1603) quien dio un sistema único de símbolos algebraicos consecuentemente organizado, estableciendo en todo momento, una fuerte conexión entre los trabajos trigonométricos y algebraicos, de forma que de igual manera que se le considera el creador del álgebra lineal, se le podría considerar como uno de los padres del enfoque analítico de la trigonometría, esto es, la goniometría.
Para hacer más fáciles los cálculos, los matemáticos desarrollaron ciertos procedimientos en los que, el papel fundamental lo jugaban determinadas relaciones trigonométricas, lo que llevó a la confección de numerosas tablas trigonométricas. En la elaboración de tablas trabajaron, por ejemplo, Copérnico (1473-1543) y Kepler (1571,1630). Semejantes métodos se utilizaban tan frecuentemente que recibieron el nombre de "prostaferéticos". Ellos fueron utilizados por los matemáticos de Oriente Medio, Viète, Tycho Brahe, Wittich, Bürgi y muchos otros. Estos métodos siguieron utilizándose incluso después de la invención de los logaritmos a comienzos del siglo XVII, aunque sus fundamentos, basados en la comparación entre progresiones aritméticas y geométricas, comenzaron a fraguarse mucho antes.
Durante el siglo XVII surgieron casi todas las disciplinas matemáticas, produciéndose en lo que a la geometría se refiere el nacimiento de la geometría analítica.
Sin duda los dos grandes en esta materia y época fueron René Descartes (1596-1650) y Pierrede Fermat (1601-1655).
La última parte de la famosa obra de Descartes "Discurso del Método" denominada "Géometrie", detalla en su comienzo, instrucciones geométricas para resolver ecuaciones cuadráticas, centrándose seguidamente en la aplicación del álgebra a ciertos problemas geométricos. Analiza también curvas de distintos órdenes, para terminar en el tercer y último libro que compone la obra, con la construcción de la teoría general de ecuaciones, llegando a la conclusión de que el número de raíces de una ecuación es igual al grado de la misma, aunque no pudo demostrarlo. Prácticamente la totalidad de la Géometrie está dedicada a la interrelación entre el álgebra y la geometría con ayuda del sistema de coordenadas.
Simultáneamente con Descartes, Pierre de Fermat desarrolló un sistema análogo al de aquél. Las ideas de la geometría analítica, esto es, la introducción de coordenadas rectangulares y la aplicación a la geometría de los métodos algebraicos, se concentran en una pequeña obra: "introducción a la teoría de los lugares planos y espaciales". Aquellos lugares geométricos representados por rectas o circunferencias se denominaban planos y los representados por cónicas, especiales. Fermat abordó la tarea de reconstruir los "Lugares Planos" de Apolonio, describiendo alrededor de 1636, el principio fundamental de la geometría analítica: "siempre que en una ecuación final aparezcan dos incógnitas, tenemos un lugar geométrico, al describir el extremo de uno de ellos una línea, recta o curva". Utilizando la notación de Viète, representó en primer lugar la ecuación Dx=B, esto es, una recta. Posteriormente identificó las expresiones xy=k2; a2+x2=ky; x2+y2+2ax+2by=c2; a2-x2=ky2 con la hipérbola, parábola circunferencia y elipse respectivamente. Para el caso de ecuaciones cuadráticas más generales, en las que aparecen varios términos de segundo grado, aplicó rotaciones de los ejes con objeto de reducirlas a los términos anteriores.
La extensión de la geometría analítica al estudio de los lugares geométricos espaciales, la realizó por la vía del estudio de la intersección de las superficies espaciales por planos. Sin embargo, las coordenadas espaciales también en él están ausentes y la geometría analítica del espacio quedó sin culminar.
Lo que sí está totalmente demostrado, es que la introducción del método de coordenadas deba atribuirse a Fermat y no a Descartes, sin embargo su obra no ejerció tanta influencia como la Géometrie de Descartes, debido a la tardanza de su edición y al engorroso lenguaje algebraico utilizado.
El desarrollo posterior de la geometría analítica, mostró que las ideas de Descartes sobre la unificación del álgebra y geometría no pudo realizarse sino que siguieron un camino separado aunque relacionado.
El surgimiento de la geometría analítica, aligeró sustancialmente la formación del análisis infinitesimal y se convirtió en un elemento imprescindible para la construcción de la mecánica de Newton, Lagrange y Euler, significanda la aparición de las posibilidades para la creación del análisis de variables.
Ya en el siglo XVIII se completó el conjunto de las disciplinas geométricas y, excluyendo sólo las geometrías no euclideanas y la apenas iniciada geometría analítica, prácticamente todas las ramas clásicas de la geometría, se formaron en este siglo. Así además de la consolidación de la geometría analítica, surgieron la geometría diferencial, descriptiva y proyectiva, así como numerosos trabajos sobre los fundamentos de la geometría. Entre los diferentes problemas y métodos de la geometría, tuvieron gran significado las aplicaciones geométricas del cálculo infinitesimal. De ellas surgió y se desarrolló la geometría diferencial, la ciencia que ocupó durante el siglo XVIII el lugar central en al sistema de las disciplinas geométricas. Estudiemos por separado cada una de estas ramas:
Geometría Analítica:
Bajo esta denominación se considera aquella parte de la geometría donde se estudian las figuras y transformaciones geométricas dadas por ecuaciones algebraicas. Las puertas a esta rama fueron abiertas, ya en el siglo XVII por Descartes y Fermat, pero sólo incluían problemas planos. Hubo de ser Newton quien en 1704 diera un paso importante al publicar la obra, "Enumeración de las curvas de tercer orden", clasificando las curvas según el número posible de puntos de intersección con una recta, obteniendo un total de 72 tipos de curvas, que se podían representar por ecuaciones de cuatro tipos. Si designamos ax3+bx2+cx+d=A, entonces las soluciones indicadas serán: xy2+ey=A ; xy=A ; y2=A ; y=A. Sin embargo, lo verdaderamente importante de esta obra fue el descubrimiento de las nuevas posibilidades del método de coordenadas, definiendo los signos de las funciones en los cuatro cuadrantes.
Con posterioridad a Newton, las curvas de tercer orden fueron estudiadas por Stirling, Maclaurin, Nicolle, Maupertius, Braikenridge, Steiner, Salmon, Silvestre, Shall, Clebsch y otros.
Fue Euler quien, en 1748, sistematizó la geometría analítica de una manera formal. En primer lugar expuso el sistema de la geometría analítica en el plano, introduciendo además de las coordenadas rectangulares en el espacio, las oblicuas y polares. En segundo lugar, estudió las transformaciones de los sistemas de coordenadas. También clasificó las curvas según el grado de sus ecuaciones, estudiando sus propiedades generales. En otros apartados de sus obras trató las secciones cónicas, las formas canónicas de las ecuaciones de segundo grado, las ramas infinitas y asintóticas de las secciones cónicas y clasificó las curvas de tercer y cuarto orden, demostrando la inexactitud de la clasificación newtoniana. También estudió las tangentes, problemas de curvaturas, diámetros y simetrías, semejanzas y propiedades afines, intersección de curvas, composición de ecuaciones de curvas complejas, curvas trascendentes y la resolución general de ecuaciones trigonométricas. Todo estos aspectos se recogen en el segundo tomo de la obra "Introducción al análisis..." que Euler dedicó exclusivamente a la geometría analítica.
En la segunda mitad del siglo se introdujeron sólo mejoras parciales, pues en lo fundamental, la geometría analítica ya estaba formada. Destacaremos entre otros los nombres de G. Monge, Lacroix y Menier.
Geometría diferencial:
Esta disciplina matemática se encarga del estudio de los objetos geométricos, o sea, las curvas, superficies etc... Su singularidad consiste en que partiendo de la geometría analítica utiliza métodos del cálculo diferencial.
A comienzos de siglo ya habían sido estudiados muchos fenómenos de las curvas planas por medio del análisis infinitesimal, para pasar posteriormente a estudiar las curvas espaciales y las superficies. Este traspaso de los métodos de la geometría bidimensional al caso tridimensional fue realizado por Clairaut. Sin embargo, su obra fue eclipsada, como casi todo en esta época, por los trabajos de Euler.
El primer logro de Euler en este terreno, fue la obtención de la ecuación diferencial de las líneas geodésicas sobre una superficie, desarrollando a continuación una completa teoría de superficies, introduciendo entre otros el concepto de superficie desarrollable.
A finales de siglo, es desarrollo de esta rama entró en un ligero declive, debido principalmente a la pesadez y complejidad del aparato matemático.
Geometría descriptiva y proyectiva:
Los métodos de la geometría descriptiva surgieron en el dominio de las aplicaciones técnicas de la matemática y su formación como ciencia matemática especial, se culminó en los trabjos de Monge, cuya obra en este terreno quedó plasmada en el texto "Géometrie descriptive". En la obra se aclara, en primer lugar, el método y objeto de la geometría descriptiva, prosiguiendo a continuación, con instrucciones sobre planos tangentes y normales a superficies curvas. Analiza en capítulos posteriores la intersección de superficies curvas y la curvatura de líneas y superficies.
El perfeccionamiento de carácter particular y la elaboración de diferentes métodos de proyección contituyeron el contenido fundamental de los trabjos sobre geometría proyectiva en lo sucesivo. La idea del estudio de las propiedades proyectivas de los objetos geométricos, surgió como un nuevo enfoque que simplificara la teoría de las secciones cónicas. Las obras de Desargues y Pascal resuelven este problema y sirven de base a la nueva geometría.
Como acabamos de ver la geometría hacia comienzos del siglo XIX representaba ya un amplio complejo de disciplinas surgidas del análisis y generalizaciones de los datos sobre las formas espaciales de los cuerpos. Junto a las partes elementales, se incluyeron en la geometría casi todas aquellas partes que la conforman actualmente.
La geometría analítica realizó un gran camino de desarrollo y determinó su lugar como parte de la geometría que estudia las figuras y transformaciones dadas por ecuaciones algebraicas con ayuda del método de coordenadas utilizando los métodos del álgebra.
La geometría diferencial se caracterizó por la utilización de los conceptos y métodos del cálculo diferencial, lo que conllevó relaciones estables con el análisis matemático y con numerosos problemas aplicados.
Una de las características principales de la geometría que se desarrolló durante la segunda mitad del siglo XIX, fue el entusiasmo con que los matemáticos estudiaron una gran variedad de transformaciones. De ellas, las que se hicieron más populares fueron las que constituyen el grupo de transformaciones que definen la denominada geometría proyectiva. Los métodos aparentemente detenidos en su desarrollo desde la época de Desargues y Pascal, de estudio de las propiedades de las figuras invariantes respecto a la proyección, se conformaron en los años 20 del siglo XIX en una nueva rama de la geometría: la geometría proyectiva, merced sobre todo a los trabajos de J. Poncelet.
Otro aspecto esencial durante este siglo fue el desarrollo de las geometrías no euclideanas. Podríamos considerar fundador de esta geometría al matemático ruso Nicolai Ivanovich Lobachevski (1792-1856). Su obra mostraba que era necesario revisar los conceptos fundamentales que se admitían sobre la naturaleza de la matemática, pero ante el rechazo de sus contemporáneos tuvo que desarrollar sus ideas en solitario aislamiento.
El punto de partida de las investigaciones de Lobachevski sobre geometría no euclideana fue el axioma de las paralelas de Euclides, sin demostración durante siglos. Lobachevski, que inicialmente intentó demostrar dicho axioma, rápidamente se dio cuenta que ello era imposible, sustituyendo dicho axioma por su negación: a través de un punto no contenido en una recta se puede trazar más de una paralela que yace en el mismo plano que la primera.
El año 1826 puede considerarse como la fecha de nacimiento de esta geometría no euclideana o lobachevskiana, siendo en ese año cuando el autor presentó muchos de los trabajos que avalaban la nueva teoría.
En 1829 Janos Bolyai (1802-1860) llegó a la misma conclusión a la que había llegado Lobachevski. E incluso el mismo Gauss que apoyaba y elogiaba a escondidas, nunca de forma pública, los trabajos de Bolyai y Lobachevski, es posible que mantuviera los mismos puntos de vista pero los calló por temor a comprometer su reputación científica.
La geometría no euclideana continuó siendo durante varias décadas un aspecto marginal de la matemática, hasta que se integró en ella completamente gracias a las concepciones extraordinariamente generales de Rieman.
Suscribirse a:
Entradas (Atom)