La geometría euclidiana es aquella que estudia las propiedades del plano y el espacio tridimensional. En ocasiones los matemáticos usan el término para englobar geometrías de dimensiones superiores con propiedades similares. Sin embargo, con frecuencia, geometría euclidiana es sinónimo de geometría plana.
Desde un punto de vista historiográfico, la geometría euclidiana es aquella geometría que postuló Euclides, en su libro "Los elementos", dejando al margen las aportaciones que se hicieron posteriormente –desde Arquímedes hasta Steiner.
Según la contraposición entre método sintético y método algebraico-analítico, la geometría euclidiana sería, precisamente, el estudio por métodos sintéticos de los invariantes de un espacio vectorial real de dimensión 3 dotado de un producto escalar muy concreto (el frecuentemente denominado producto escalar habitual). Según el Programa de Erlangen, la geometría euclidiana sería el estudio de los invariantes de las isometrías en un espacio euclidiano (espacio vectorial real de dimensión finita, dotado de un producto escalar).
AXIOMAS
La presentación tradicional de la geometría euclidiana se hace en un formato axiomático. Un sistema de axiomas es aquel que, a partir de un cierto número de postulados que se presumen verdaderos (conocidos como axiomas) y a través de operaciones lógicas, genera nuevos postulados cuyo valor de verdad es también positivo. Euclides planteó cinco postulados en su sistema:
1. Dos dos puntos se puede trazar una y sólo una recta que los une.
2. Cualquier segmento puede prolongarce en forma continua en cualquier sentido.
3. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio.
4. Todos los ángulos rectos son iguales.
5. Si una recta al cortar a otras dos forma ángulos internos menores a un ángulo recto, esas dos rectas prolongadas indefinidamente se cortan del lado en el que están los ángulos menores que dos rectos.
Este último postulado, que es conocido como el postulado de las paralelas, fue reformulado como:
5. Por un punto exterior a una recta, se puede trazar una única paralela a la recta dada.
Este postulado parece menos obvio que los otros cuatro, y muchos geómetras, incluido el propio Euclides, han intentado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negándolo, surgieron dos nuevas geometrías: la elíptica, también llamada geometría de Riemann o riemanniana (dada una recta y un punto exterior a ella, no existe ninguna recta que pase por el punto y sea paralela a la recta dada) y la hiperbólica o de Lobachevsky (existen varias rectas paralelas que pasen por un punto exterior a una dada).
LIMITACIONES
Euclides utiliza hechos no demostrados ni postulados en sus teoremas desde el primero, aunque son cosas tan sutiles que pasaron inadvertidas durante mucho tiempo.
Alguno de los errores de Euclides fue omitir al menos dos postulados más:
Dos circunferencias separadas menos de 2R se cortan en dos puntos (Euclides lo utiliza en su primera construcción)
Dos triángulos con dos lados iguales y su ángulo igual, son iguales (equivale al concepto de movimiento, que Euclides usa para su teorema cuarto sin definir explícitamente)
Desde un punto de vista historiográfico, la geometría euclidiana es aquella geometría que postuló Euclides, en su libro "Los elementos", dejando al margen las aportaciones que se hicieron posteriormente –desde Arquímedes hasta Steiner.
Según la contraposición entre método sintético y método algebraico-analítico, la geometría euclidiana sería, precisamente, el estudio por métodos sintéticos de los invariantes de un espacio vectorial real de dimensión 3 dotado de un producto escalar muy concreto (el frecuentemente denominado producto escalar habitual). Según el Programa de Erlangen, la geometría euclidiana sería el estudio de los invariantes de las isometrías en un espacio euclidiano (espacio vectorial real de dimensión finita, dotado de un producto escalar).
AXIOMAS
La presentación tradicional de la geometría euclidiana se hace en un formato axiomático. Un sistema de axiomas es aquel que, a partir de un cierto número de postulados que se presumen verdaderos (conocidos como axiomas) y a través de operaciones lógicas, genera nuevos postulados cuyo valor de verdad es también positivo. Euclides planteó cinco postulados en su sistema:
1. Dos dos puntos se puede trazar una y sólo una recta que los une.
2. Cualquier segmento puede prolongarce en forma continua en cualquier sentido.
3. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio.
4. Todos los ángulos rectos son iguales.
5. Si una recta al cortar a otras dos forma ángulos internos menores a un ángulo recto, esas dos rectas prolongadas indefinidamente se cortan del lado en el que están los ángulos menores que dos rectos.
Este último postulado, que es conocido como el postulado de las paralelas, fue reformulado como:
5. Por un punto exterior a una recta, se puede trazar una única paralela a la recta dada.
Este postulado parece menos obvio que los otros cuatro, y muchos geómetras, incluido el propio Euclides, han intentado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negándolo, surgieron dos nuevas geometrías: la elíptica, también llamada geometría de Riemann o riemanniana (dada una recta y un punto exterior a ella, no existe ninguna recta que pase por el punto y sea paralela a la recta dada) y la hiperbólica o de Lobachevsky (existen varias rectas paralelas que pasen por un punto exterior a una dada).
LIMITACIONES
Euclides utiliza hechos no demostrados ni postulados en sus teoremas desde el primero, aunque son cosas tan sutiles que pasaron inadvertidas durante mucho tiempo.
Alguno de los errores de Euclides fue omitir al menos dos postulados más:
Dos circunferencias separadas menos de 2R se cortan en dos puntos (Euclides lo utiliza en su primera construcción)
Dos triángulos con dos lados iguales y su ángulo igual, son iguales (equivale al concepto de movimiento, que Euclides usa para su teorema cuarto sin definir explícitamente)
No hay comentarios:
Publicar un comentario