Axiomas,
definiciones y teoremas
La
geometría se propone ir más allá de lo alcanzado por la intuición. Por ello, es
necesario un método riguroso, sin errores; para conseguirlo se han utilizado
históricamente los sistemas axiomáticos. El primer sistema axiomático lo
establece Euclides, aunque era incompleto. David Hilbert propuso a principios
del siglo XX otro sistema axiomático, éste ya completo. Como en todo sistema
formal, las definiciones, no sólo pretenden describir las propiedades de los
objetos, o sus relaciones. Cuando se axiomatiza algo, los objetos se convierten
en entes abstractos ideales y sus relaciones se denominan modelos.
Esto
significa que las palabras "punto", "recta" y
"plano" deben perder todo significado material. Cualquier conjunto de
objetos que verifique las definiciones y los axiomas cumplirá también todos los
teoremas de la geometría en cuestión, y sus relaciones serán virtualmente
idénticas al del modelo tradicional.
Axiomas
La
geometría esférica es un ejemplo de geometría no euclidiana.
En
geometría euclidiana, los axiomas y postulados son proposiciones que relacionan
conceptos, definidos en función del punto, la recta y el plano. Euclides
planteó cinco postulados y fue el quinto (el postulado de paralelismo) el que
siglos después –cuando muchos geómetras lo cuestionaron al analizarlo–
originará nuevas geometrías: la elíptica (geometría de Riemann) o la
hiperbólica de Nikolái Lobachevski.
En
geometría analítica, los axiomas se definen en función de ecuaciones de puntos,
basándose en el análisis matemático y el álgebra. Adquiere otro nuevo sentido
hablar de puntos, rectas o planos. f(x) puede definir cualquier función,
llámese recta, circunferencia, plano, etc.
Topología
y geometría
El
nudo de trébol.
El
campo de la topología, que tuvo un gran desarrollo en el siglo XX, es en
sentido técnico un tipo de geometría transformacional, en que las
transformaciones que preservan las propiedades de las figuras son los
homeomorfismos (por ejemplo, esto difiere de la geometría métrica, en que las
transformaciones que no alteran las propiedades de las figuras son las
isometrías). Esto ha sido frecuentemente expreso en la forma del dicho "la
topología es la geometría de la página de goma".