Clase - Consistencia - Logica 2 2020

El postulado de las paralelas y las geometrı́as no euclı́deas
Relevancia epistemológica de las geometrı́as euclı́deas
Facultad de Humanidades y Ciencias, UNL

Carreras Prof. y Lic. en Filosofı́a
Geometrı́as no euclı́deas y pruebas relativas de

consistencia
Primer semestre 2020
Geometrı́a y consistencia relativa 1 / 36

¿Por qué se debe probar la consistencia (de la formalización

de) una teorı́a matemática?

Objetivos de la clase
Presentar un panorama histórico (muy abreviado) del problema

de la independencia del postulado de las paralelas y del sur-
gimiento de las geometrı́as no–euclı́deas, en particular, de la
geometrı́a hiperbólica.
Analizar algunos de los problemas epistemológicos centrales
planteados por la aparición de estas nuevas teorı́as geométricas.

La teorı́a de las paralelas en los Elementos
Primer perı́odo: Insatisfacción
Segundo perı́odo: pruebas indirectas
Tercer perı́odo: descubrimiento
Cuarto perı́odo: Aceptación matemática
Los postulados de Euclides
Postulado I, Libro I
Postúlese el trazar una lı́nea recta desde un punto cualquiera hasta un punto
cualquiera.
Postulado II, Libro I

Y el prolongar continuamente un recta finita en lı́nea recta.
Postulado III, Libro I

Y el describir un cı́rculo con cualquier centro y distancia.
Postulado IV, Libro I

Y el ser todos los ángulos rectos iguales entre sı́.

Definición 23, Libro I

Son rectas paralelas las que estando en el mismo plano y siendo prolongadas
indefinidamente en ambos sentidos, no se encuentran una a otra en ninguno de
ellos.
Postulado V, Libro I
Y que si una recta al incidir sobre dos rectas hace los ángulos internos del
mismo lado menores que dos rectos, las dos rectas prolongadas indefinidamente
se encontrarán en el lado en el que están los (ángulos) menores que dos rectos.


Proposición 29, Libro I
La recta que incide sobre rectas paralelas hace los ángulos alternos iguales entre sı́, y
el (ángulo) externo igual al interno y opuesto, y los (ángulos) internos del mismo lado
iguales a dos rectos.
Proposición 32, Libro I

En todo triángulo, si se prolonga uno de los lados, el ángulo externo es igual a los dos
ángulos internos y opuestos, y los tres ángulos internos del triángulo son iguales a dos
rectos.

Dos concepciones de “rectas paralelas”:
1 Dos rectas son paralelas si tienen la misma dirección: la teorı́a de la direc-

ción lleva a un cı́rculo vicioso. Si una deja la idea de dirección sin definir,
no hay manera de determinar si dos rectas son paralelas. Sin embargo,
cualqueir intento de definir dirección depende del comportamiento de las
paralelas y de sus propiedades.
2 Dos rectas son paralelas si son equidistantes en todos sus puntos: esta teorı́a
también lleva a un cı́rculo vicioso, puesto que depende de la suposición
de que el lugar de los puntos equidistantes a una recta dada también es
una recta. Probar esta suposición requiere sin embargo de propiedades
equivalentes a las de las paralelas.


Axioma de Playfair (1795): Dos rectas que se intersecan entre sı́ no pueden ser
ambas paralelas a la misma lı́nea.
Versión usual: Por un punto exterior a una recta dada pasa una y sólo una paralela
a dicha recta.
Esta formulación del postulado de las paralelas permite ver más fácilmente un
hecho fundamental: mientras que la existencia de una paralela a una recta dada
que pasa por un punto exterior a dicha recta puede ser probada utilizando los
primeros cuatro postulados (Elementos I.31 ), la función del postulado es afirmar
que dicha recta es única.

Cuatro perı́odos en la historia de las geometrı́a no euclı́deas

1 Perı́odo de insatisfacción con la teorı́a de las paralelas de los Elementos.
2 Búsqueda de una demostración de PA a través de un argumento indirecto
o por reducción al absurdo.
3 Descubrimiento de las geometrı́as no euclı́deas.
4 Aceptación matemática de las geometrı́as no euclı́deas a través de la de-
mostración de su consistencia relativa.

Primer perı́odo: Insatisfacción con Euclides

Proclo, Comentario al libro I de los Elementos de Euclides
Este postulado debe ser eliminado completamente de los postulados, puesto
que es un teorema y requiere para su demostración tanto de un número de
definiciones como de teoremas.
John Playfair señaló que “los métodos por medio de los cuales los geómetras han
intentado borrar esta mancha de los Elementos de Euclides son de tres clases” (1795,
p. 289):
Proporcionar una nueva definición de lı́neas paralelas.
Introducir un nuevo axioma de las paralelas, más “evidente” que el postulado de

Euclides.
Razonar meramente a partir de la definición de paralelas, y de las propiedades

de las lı́neas ya demostrada, sin proponer un nuevo axioma.

“Demostración” de Proclo del postulado de las paralelas

Proclo (412–485): Comentario al libro I de los Elementos de Euclides
Comentario a la proposición I.29 :
Axioma de Aristóteles (De Caelo, 271b)

Si dos lı́neas rectas que determinan un ángulo a partir de un punto son producidas
indefinidamente, el intervalo entre ellas podrá exceder cualquier magnitud finita.

“Demostración” de Proclo del postulado de las paralelas
Lema de Proclo
Si una recta corta a una de dos lı́neas paralelas, entonces corta también a la otra.
Error en el argumento de Proclo: se recurre a “la distancia” entre las lı́neas paralelas,
asumiendo que todos los puntos de una recta están a la misma distancia respecto de la
otra recta.
Sin embargo, que dos rectas paralelas son equidistantes no se sigue de la definición de
las lı́neas paralelas como lı́neas coplanares no secantes.

Otros intentos famosos
Tradición del Islam: Nasiraddin (1201–1274)

John Wallis (1616–1703)
Giordano Vitale (1711–1763)
Adrien–Marie Legendre (1752–1833)

Segundo perı́odo: “pruebas” indirectas del PA
1 Búsqueda de una demostración de PA a través de un argumento

indirecto o por reducción al absurdo: Suponer que el postulado de
las paralelas es falso y obtener de allı́ una contradicción.
Esta estrategia se aprecia fundamentalmente en los trabajos:

Girolamo Saccheri: Euclides ab omni naevo vindicatus (1733)
Johann Lambert: Theorie der Parallellinien (1766, 1786)

Saccheri: Euclides ab omni naevo vindicatus (1733)

Estrategia de Saccheri (1733): mostrar que de la negación del postulado de las
paralelas, junto con las primeras 28 proposiciones de Elementos I, es posible
obtener una contradicción.
El “cuadrilatero” de Saccheri:
D C Si AD = BC , entonces γ = δ (Prop. I)
γ δ Tres hipótesis:
HAR = γ = δ = 90 (Euclı́dea)
HAO = γ = δ > 90 (Elı́ptica)
HAA = γ = δ < 90 (Hiperbólica)
c b
A α βB
a
Si una de las hipótesis es verdadera para un cuadrilátero, del tipo que

sea considerado, entonces es verdadera para todos los cuadriláteros de esa
clase.
Según se verifique la hipótesis del ángulo recto, la hipótesis del ángulo
obtuso o la hipótesis del ángulo agudo, la suma de los ángulos de un
triángulo será respectivamente igual, mayor o menor que dos ángulos rectos.
(Prop. IX)
Si existe un triángulo para el que la suma de sus ángulos es igual a, mayor
a o menor que dos ángulos rectos, entonces se sigue que la hipótesis del
ángulo recto, del ángulo obtuso o del ángulo agudo es verdadera.


Asumiendo implı́citamente que la recta es infinita, se obtiene fácilmente una
contradicción de HAO: Saccheri consigue demostrar de allı́ el quinto postulado,
de donde se sigue que la suma de los ángulos es igual a dos rectos, lo que
contradice la hipótesis inicial.
Si no se asume que la recta es infinita – Elementos I. 16 – no es posible obtener
dicha contradicción.
Saccheri no pudo en cambio derivar fácilmente una contradicción de HAA. Por
el contrario, en su intento obtuvo un gran número de proposiciones, coralarios y
lemas que más tarde se convirtieron en teoremas de la geometrı́a hiperbólica.
Para rechazar HAA Saccheri advirtió que las consecuencias que se derivan de
dicha hipótesis “repugnan a la naturaleza de la lı́nea recta”. Más aún, concluyó
erróneamente que la hipótesis llevaba a la conclusión claramente absurda de que
existen dos lı́neas rectas que, si son extendidas al infinito, se unen en una única
lı́nea recta y tienen una perpendicular común en el infinito.

El descubrimiento de las geometrı́as no euclı́deas
El descubrimiento de la geometrı́a hiperbólica tuvo lugar casi si-

multáneamente en los trabajos de los matemáticos:
János Bolyai (1802–1860): Apéndice al Tentamen (1832): La teorı́a abso-
luta del espacio, independiente de la verdad o falsedad del axioma XI de
Euclides (lo que nunca puede ser decidido a priori.
Nikolai Lobachevskii (1792–1856): Investigaciones geométricas sobre la
teorı́a de las paralelas (1840)
Carl Friedrich Gauss (1777–1885): Correspondencia entre C. F. Gauss y H.
C. Schumacher (1860–1865, 6 vols.)
Geometrı́a elı́ptica
Bernhard Riemann (1825–1866)
Felix Klein (1849–1925)
La geometrı́a hiperbólica (Bolyai y Lobachevskii)

“He creado de la nada un nuevo universo”. (J. Bolyai)
Axioma hiperbólico
Dada una lı́nea l y un punto P no contenido en ella, existen al menos dos lı́neas
distintas paralelas a l que pasa por P.

Geometrı́a hiperbólica
Algunas proposiciones fundamentales de la geometrı́a hiperbólica:
Teorema
Para cada lı́nea l y cada punto P no contenido en l, existen infinitas lı́neas
paralelas a l que pasan por P.
Teorema
En todos los triángulos la suma de sus ángulos es menor a 180.
Lema
Los rectángulos no existen. (La suma de los ángulos de un cuadrilátero cualquiera es
siempre menor a cuatro ángulos rectos)
Teorema
Si dos triángulos son semejantes, entonces también son congruentes. (En otras palabras,
AAA es un criterio válido de congruencia de triángulos)

Teorema
Si dos lı́neas distintas l y l 0 son paralelas, entonces cualquier conjunto de puntos sobre
l equidistante a l 0 tiene como máximo dos puntos.

La aceptación de la geometrı́a hiperbólica
Eugenio Beltrami (1835–1900): Ensayo sobre la interpretación de la geo-

metrı́a no euclı́dea (1868)
Felix Klein (1849–1925): Sobre las llamadas geometrı́a no euclı́deas (1871)
Henri Poincaré (1835–1900): Teorı́a de grupos fuchsianos (1882)

El “ensayo” de Beltrami
Beltrami, “Saggio di interpretazione della geometria non-euclidea” (1868)
Hemos intentado, en la medida de nuestras habilidades, de convencernos
a nosotros mismos respecto de los resultados de la teorı́a de Lobachevskii;
de esta manera, siguiendo la tradición la investigación cientı́fica, hemos
tratado de encontrar un substrato real para esta doctrina, antes que admitir
la necesidad de un nuevo orden de entidades y conceptos.
Beltrami identificó este “substrato real” con una superficie (en el espacio euclidiano)
a la que llamó la pseudo–esfera, y concluyó que la planimetrı́a no euclı́dea no era otra
cosa sino la geometrı́a de una superficie (euclı́dea) de curvatura constante negativa.
Beltrami fue el primero en ofrecer una “interpretación concreta” de la geometrı́a, mos-
trando como una superficie de curvatura constante negativa – inscripta en el espacio
euclı́deo – constituı́a una “modelo” (local) del plano hiperbólico.

La pseudoesfera de Beltrami
La pseudoesfera se obtiene rotando una curva llama tractiz alrededor de su ası́ntota.

La pseudoesfera de Beltrami
Las “rectas” en el plano hiperbólico se corresponden con las geodésicas en la pseudo-
esfera.

La “silla de montar” o paraboloide hiperbólico


El modelo de Klein
Es posible “traducir” los objetos y relaciones básicas de la geometrı́a hiperbólica en
objetos y relaciones de la geometrı́a euclı́dea.
Geometrı́a hiperbólica Geometrı́a euclı́dea
plano disco
punto punto interior a la circunferencia
lı́nea cuerda (abierta)
incidencia incidencia
orden orden
congruencia (distancia) función de distancia en el plano euclı́deo

Independencia y consistencia relativa

Klein, “Über die sogenannte Nicht–Euklidische Geometrie” (1873)
La investigación sobre la geometrı́a no euclı́dea de ningún modo intenta
probar la validez del axioma de las paralelas, sino sólo determinar si el
axioma de las paralelas es una consecuencia matemática [mathematische
Folge] del resto de los axiomas de Euclides; estas investigaciones responden
a esta pregunta con un no definitivo, puesto que han mostrado que los
axiomas restantes permiten construir un sistema de teorı́as que incluye a la
geometrı́a euclı́dea como un caso especial.
Consistencia relativa de la geometrı́a hiperbólica: es posible utilizar la geometrı́a

euclı́dea y a la geometrı́a proyectiva para construir “modelos” de la geometrı́a
hiperbólica, de donde se sigue que si la geometrı́a euclı́dea (proyectiva) es con-
sistente, entonces la geometrı́a hiperbólica también lo es.

1. Estatus epistemológico de la geometrı́a
2. Noción de axioma matemático
3. Naturaleza de las teorı́as matemáticas
4. Verdad matemática
Relevancia epistemológica de las geometrı́as no euclı́deas

El descubrimiento de las geometrı́as no euclı́deas tuvo un enorme impacto tanto
para la filosofı́a de la matemática – de la geometrı́a en particular – como para la
filosofı́a de la ciencias naturales.
En ningún lugar la matemática, las ciencias naturales y la filosofı́a se afectan

mutuamente tan ı́ntimamente como en el problema del espacio. (H. Weyl,
Philosophy of Mathematics and the Natural Sciences)
1 Estatus epistemológico de la geometrı́a

2 Noción de axioma matemático
3 Naturaleza de las teorı́as matemáticas en general
4 Noción de verdad matemática


Para los fundadores de las geometrı́as no euclı́deas (Gauss, Bolyai, Lobachevskii),
el descubrimiento de estas nuevas teorı́as geométricas significaba una refutación
inmediata de la teorı́a kantiana del espacio.
Todos estos autores propusieron una posición empirista respecto del estatus epis-
temológico de la geometrı́a, aunque no dudaron de la validez de la geometrı́a
euclı́dea como la teorı́a verdadera del espacio (fı́sico).
Gauss a Bessel, 9 de abril de 1830:
Según mi más profundo convencimiento, la teorı́a del espacio tiene en nues-
tro conocimiento a priori un lugar completamente distinto que la pura teorı́a
de las magnitudes [reine Grössenlehre]; nuestro conocimiento de la primera
carece de aquel completo convencimiento de su necesidad (y también de
su verdad) que es propio de la segunda. Debemos humildemente admitir
que, mientras el número es sólo un producto de nuestro pensamiento, el
espacio tiene además una realidad fuera de nuestro pensamiento, a la cual
no podemos prescribirle a priori sus leyes. (Gauss y Bessel 1880, p. 497)


Gauss a Olbers, 28 de abril de 1817:
Cada vez más estoy llegando a la convicción de que la necesidad de nuestra
geometrı́a [euclı́dea] no puede ser probada, al menos no por medio del
entendimiento humano ni tampoco para el entendimiento humano. Quizás
en alguna otra vida lleguemos a una compresión diferente de la esencia
del espacio, la cual ahora nos es imposible alcanzar. Hasta entonces, no
debemos poner a la geometrı́a en el mismo nivel que la aritmética, que es
puramente a priori, sino junto a la mecánica. (Gauss 1900, p. 177)
Gauss inauguró una tradición muy influyente en el siglo XIX, según la cual la pregunta
por cuál es la geometrı́a que describe correctamente el espacio fı́sico sólo podı́a ser
respondida empı́ricamente. Sin embargo, la explicación respecto de cómo ello podı́a ser
llevado a cabo dio lugar a un intenso debate epistemológico.


La noción clásica de axioma, desde Aristóteles en adelante, señala que son propo-
siciones verdaderas evidentes por sı́ mismas. En el caso de la geometrı́a, los axio-
mas verdades autoevidentes acerca de los objetos básicos como puntos, lı́neas,
cı́rculos, etc.
Ahora bien, si las geometrı́as no euclı́deas muestran que es posible crear nuevas
teorı́as matemáticas a partir de postulados que no satisfacen – a primera vista –
este criterio de evidencia:
¿Cómo debemos entender ahora la naturaleza de los axiomas en matemática?
¿Qué criterios debemos adoptar para la aceptación de una proposición dada como
un axioma?
¿Cuál es la relación de los axiomas de la matemática con la “realidad”?


El rasgo que las geometrı́as no euclı́deas ponı́an bien en claro era el carácter
esencialmente abstracto de las teorı́as matemáticas. Es posible postular princi-
pios sumamente “contra–intuitivos” como axiomas de una teorı́a geométrica, y
construir sin embargo una teorı́a consistente, i.e., legı́tima desde un punto de
vista matemático.
Más aún, cuando posteriormente se comenzó a pensar que la validez – o más
tarde, la consistencia – de las geometrı́as no euclı́deas podı́an ser probada mos-
trando cómo la geometrı́a euclı́dea podı́a ser utilizada para construir “un modelo”
de estas teorı́as geométrica, inevitablemente se llegó a la pregunta:
¿En qué consiste una teorı́a matemática?
¿En qué medida resulta esencial que los términos geométricos básicos “punto”,
“recta”, “plano” refieran a un único objeto (intuitivo) dado?


El descubrimiento de las geometrı́as no euclı́deas contribuyó sin dudas a la nueva
concepción de las teorı́as matemáticas, que comenzó a cristalizarse en la última
década del siglo XIX a partir de los trabajos de Peano y Hilbert – entre otros:
Las teorı́as matemáticas consisten en un conjunto de enunciados en un lenguaje

dado lógicamente conectados, enunciados que pueden recibir distintas interpre-
taciones. La verdad o la falsedad del enunciado de una teorı́a depende de la
interpretación que se esté considerando, y la condición de identidad para una
teorı́a matemática es que ésta consiste en un conjunto fijo de enunciados lógi-
camente interconectados.

Este nuevo modo de concebir la naturaleza de las teorı́as, motivado en parte por
el descubrimiento de las geometrı́as no euclı́deas, condujo a una reconsideración
de la nocı́on de “verdad” en matemática:
En la medida en que las proposiciones de la matemática se refie-

ren a la realidad [Wirklichkeit], ellas no son ciertas; y en tanto ellas
son ciertas, no se refieren a la realidad. (Einstein 1921, Geometrı́a y
experiencia)

Clase - Consistencia - Logica 2 2020

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Clase - Consistencia - Logica 2 2020

Cargado por

Copyright:

Formatos disponibles

El postulado de las paralelas y las geometrı́as no euclı́deas

Relevancia epistemológica de las geometrı́as euclı́deas

Facultad de Humanidades y Ciencias, UNL

Geometrı́as no euclı́deas y pruebas relativas de

Primer semestre 2020

Geometrı́a y consistencia relativa 1 / 36

¿Por qué se debe probar la consistencia (de la formalización

Geometrı́a y consistencia relativa 2 / 36

Presentar un panorama histórico (muy abreviado) del problema

Geometrı́a y consistencia relativa 3 / 36

Los postulados de Euclides

Postulado II, Libro I

Postulado III, Libro I

Postulado IV, Libro I

Geometrı́a y consistencia relativa 4 / 36

La teorı́a de las paralelas en los Elementos

Definición 23, Libro I

Geometrı́a y consistencia relativa 5 / 36

La teorı́a de las paralelas en los Elementos

Proposición 32, Libro I

Geometrı́a y consistencia relativa 6 / 36

La teorı́a de las paralelas en los Elementos

Dos concepciones de “rectas paralelas”:

1 Dos rectas son paralelas si tienen la misma dirección: la teorı́a de la direc-

Geometrı́a y consistencia relativa 7 / 36

La teorı́a de las paralelas en los Elementos

Geometrı́a y consistencia relativa 8 / 36

Cuatro perı́odos en la historia de las geometrı́a no euclı́deas

Geometrı́a y consistencia relativa 9 / 36

Primer perı́odo: Insatisfacción con Euclides

Introducir un nuevo axioma de las paralelas, más “evidente” que el postulado de

Razonar meramente a partir de la definición de paralelas, y de las propiedades

Geometrı́a y consistencia relativa 10 / 36

“Demostración” de Proclo del postulado de las paralelas

Axioma de Aristóteles (De Caelo, 271b)

Geometrı́a y consistencia relativa 11 / 36

“Demostración” de Proclo del postulado de las paralelas

Geometrı́a y consistencia relativa 12 / 36

Otros intentos famosos

Tradición del Islam: Nasiraddin (1201–1274)

Geometrı́a y consistencia relativa 13 / 36

Segundo perı́odo: “pruebas” indirectas del PA

1 Búsqueda de una demostración de PA a través de un argumento

Esta estrategia se aprecia fundamentalmente en los trabajos:

Geometrı́a y consistencia relativa 14 / 36

Saccheri: Euclides ab omni naevo vindicatus (1733)

Saccheri: Euclides ab omni naevo vindicatus (1733)

Si una de las hipótesis es verdadera para un cuadrilátero, del tipo que

Geometrı́a y consistencia relativa 16 / 36

Saccheri: Euclides ab omni naevo vindicatus (1733)

Geometrı́a y consistencia relativa 17 / 36

El descubrimiento de las geometrı́as no euclı́deas

El descubrimiento de la geometrı́a hiperbólica tuvo lugar casi si-

La geometrı́a hiperbólica (Bolyai y Lobachevskii)

Geometrı́a y consistencia relativa 19 / 36

Geometrı́a y consistencia relativa 20 / 36

Geometrı́a y consistencia relativa 21 / 36

La aceptación de la geometrı́a hiperbólica

Eugenio Beltrami (1835–1900): Ensayo sobre la interpretación de la geo-

Geometrı́a y consistencia relativa 22 / 36

Geometrı́a y consistencia relativa 23 / 36

Geometrı́a y consistencia relativa 24 / 36

Geometrı́a y consistencia relativa 25 / 36