La geometría absoluta (o geometría neutra ) es una parte de la geometría clásica, independiente del quinto postulado de la axiomática euclidiana (es decir, en geometría absoluta el quinto postulado puede o no cumplirse). La geometría absoluta contiene proposiciones que son comunes a la geometría euclidiana ya la geometría de Lobachevsky [1] [2] .
El término fue propuesto por Janos Bolyai en 1832 [3] . Es cierto que el mismo Bolyai le dio un significado ligeramente diferente: llamó geometría absoluta al simbolismo especialmente desarrollado por él, que hizo posible unir los teoremas de la geometría euclidiana y la geometría de Lobachevsky [4] en una fórmula .
Los primeros 28 teoremas de los " Principios " de Euclides se refieren a la geometría absoluta. Aquí hay algunos ejemplos más de tales teoremas [5] :
Las axiomáticas modernas de la geometría euclidiana (como la axiomática de Hilbert ) son completas , es decir, cualquier enunciado correcto de esta teoría puede probarse o refutarse. La geometría absoluta es incompleta: dado que el quinto postulado define las propiedades métricas de un espacio homogéneo , su ausencia en la geometría absoluta significa que la métrica del espacio no está definida, y la mayoría de los teoremas relacionados con la medición (como el teorema de Pitágoras o la suma triangular de ángulos teorema ) no se puede demostrar en geometría absoluta [6] .
Otros ejemplos de teoremas no incluidos en la geometría absoluta:
En la geometría absoluta , siempre existen líneas paralelas (véanse los teoremas 27 y 28 de los Elementos de Euclides , demostrados sin apoyarse en el quinto postulado), por lo que la geometría esférica , en la que no hay líneas paralelas, es incompatible con la geometría absoluta. Sin embargo, es posible construir una axiomática que reúna los tres tipos de geometrías no euclidianas (geometría euclidiana, esférica y de Lobachevsky) [8] , y luego se puede definir la geometría absoluta como su parte común. Esta nueva definición es más amplia que la anterior; por ejemplo, el teorema "la suma de los ángulos de un triángulo no excede los 180 °" deja de ser cierto.
En catálogos bibliográficos |
---|