(Esp)
Vol. 104, N. 1, pp 97-105, 2010
XI Programa de Promocin de la Cultura Cientfica y Tecnolgica
INTRODUCCIN
El tema objeto de este escrito es de una profundidad
y una complejidad tales que es ingenuo pretender
poder dar idea del mismo en unas pocas pginas. As
que lo que har ser dar un ejemplo significativo
respecto del problema, con la esperanza de que el
lector se pueda sentir atrado por la cuestin y pueda
profundizar en ella de manos mucho ms expertas que
las mas. El ejemplo que he escogido ha tenido adems
una importancia capital en la historia de las Matemticas y de la Filosofa de dicha disciplina.
Para empezar a referirnos a la relacin entre las
Matemticas y la Realidad circundante, citemos el
siguiente ejemplo elemental. Un planeta se descubre,
un telfono mvil se inventa, el teorema de Pitgoras,
se inventa o se descubre? La cuestin no es evidente.
Las Matemticas son una disciplina singular, que
combina la especulacin con la aplicacin. Las Matemticas se relacionan con el mundo de dos modos:
Unas veces, el mundo circundante (fsico, econmico, de cualquier disciplina cientfica) propone pro-
98
2.
3.
UN MODELO MATEMTICO: LA
GEOMETRA PROYECTIVA
La Geometra Proyectiva es un modelo matemtico
que naci para explicar las leyes de la perspectiva. En
1435, el arquitecto y pintor florentino Alberti se preguntaba qu se conserva por proyeccin, si no lo hacen
ni la longitud ni los ngulos? Las leyes de la perspectiva fueron descritas en aos posteriores con precisin, aunque el enfoque del tema ha variado con los
siglos desde el mbito de la Geometra Descriptiva
hasta expresiones matemticas ms abstractas. No es
este el momento de dar una descripcin ms detallada,
que ya ha sido objeto de este ciclo en el curso precedente [E].
Sin embargo s quiero destacar tres ideas claves
acerca de la evolucin histrica de la Geometra
Proyectiva.
Naci para modelar la perspectiva cnica o lineal,
y se enmarc dentro de la Geometra Descriptiva, que
estudia los diferentes sistemas de representacin. Sin
embargo, ya en sus inicios, por obra de Desargues y
Pascal, se obtuvieron interesantes propiedades proyectivas del plano y el espacio. La diferencia esencial
entre la Geometra Proyectiva y los restantes sistemas
de representacin es la del espacio matemtico en que
se desarrolla: el espacio proyectivo se obtiene aadiendo al ordinario los puntos impropios o del infinito.
As, para entender la geometra de nuestra visin
ocular debemos construirn modelo matemtico en
que adems de los puntos ordinarios estn los del
infinito Nuestra experiencia nos lo dice bien claro:
cuando miramos las vas paralelas de un tren las
99
Figura 1. Postulado 5.
100
Por un punto exterior no se puede trazar ninguna recta que no corte a la dada.
2.
101
si existe, es una geodsica, aunque una geodsica globalmente no tiene por qu minimizar distancias: por
ejemplo, Santander y Madrid estn en el mismo
meridiano, que es una geodsica entre ambas ciudades,
pero ir de Santander a Madrid pasando por el polo
Norte, atravesar el Ocano Pacfico, cruzar el Polo Sur,
subir por frica y entrar en Madrid por la carretera de
Andaluca es un camino recto, pero que no da la
mnima distancia. Es ms corto bajar por Burgos
(aunque no estoy seguro de que sea mucho ms rpido
en realidad).
Localmente, las geodsicas de una superficie verifican los axiomas de Euclides, salvo el quinto. As, las
geometra elptica, eucldea e hiperblica equivalen a
que la suma de los ngulos de un tringulo sea mayor,
igual o menor que 180. La primera superficie con
geometra hiperblica que se estudi fue la pseudoesfera de Beltrami (1869).
Por los mismos aos, la Geometra Proyectiva viva
su momento de gran expansin, combinando las ideas
sintticas con las analticas, Pero es que, adems, se
prob que la Geometra Eucldea era una subgemometra de la Proyectiva. As, Laguerre (1853)
estableci que dos rectas son perpendiculares si y slo
si sus puntos del infinito son conjugados respecto de la
cnica del absoluto.
Y la Geometra hiperblica tambin tiene cabida
dentro de la proyectiva. Es el modelo de KleinBeltrami (1871) de plano hiperblico: en el crculo
unidad se denominan rectas hiperblicas a sus cuerdas.
Los puntos de la circunferencia unidad son los del
infinito. Por un punto exterior a una recta existen dos
102
103
CONCLUSIONES
El ejemplo de las geometras no eucldeas y la
forma del Universo no es slo un ejemplo importante
en la Historia de las Matemticas. Es el ejemplo que
abri la discusin sobre el significado de la verdad en
las Matemticas, sobre el papel que tenan en la
descripcin del Universo fsico, sobre la metamatemtica.
Desde el siglo XIX se han sucedido diversas
corrientes de pensamiento sobre el significado de las
Matemticas: realismo (o platonismo), formalismo,
logicismo, intuicionismo. Dejando aparte la del platonismo, las dems han tropezado con inquietantes
realidades, que no han podido soslayar.
Tres ideas clave en la exposicin realizada:
La historia del quinto postulado es puramente
matemtica.
La cosmologa es una parte de la Fsica.
Las geometras no eucldeas
- resuelven la cuestin del quinto postulado (puramente matemtica)
- sirven para desarrollar la Matemtica precisa
para entender la Cosmologa Moderna.
- siembran la gran duda sobre la relacin entre
Matemticas y Mundo Real y sobre la verdad
de las Matemticas.
Ms ideas
La inmensa mayora de los matemticos realiza
sus investigaciones al margen de las discusiones
filosficas, y en todas se sigue el modelo de
pensamiento griego (postulado-definicin-teorema).
La cosmologa moderna sigue teniendo su fundamento matemtico en la geometra (en la geometra diferencial: la gravitacin equivale a la
curvatura, la luz sigue trayectorias geodsicas,
etc.).
En las Matemticas juega un papel muy importante la esttica. Las Matemticas son bellas
para muchos de sus cultivadores. As Jacobi
afirmaba en 1830 que la finalidad nica de la
ciencia es rendir honor al espritu humano.
104
Que existe una relacin ntima entre los fenmenos experimentales y las estructuras matemticas parece confirmarse plenamente de la forma
ms inesperada mediante los descubrimientos
ms recientes de la fsica contempornea. Pero
no sabemos absolutamente nada sobre los fundamentos de este hecho (suponiendo que se
pudiera encontrar realmente significado a estas
palabras) y tal vez no lleguemos a saber nunca
sobre ello. (N.Bourbaki, L'Architecture des
Mathmatiques, 1948). Borubaki es un pseudnimo de un grupo de matemticos franceses
(Dieudonn, H. Cartan, Eilenberg, Samuel,
Weil, Schwartz, Chevalley, Godement, Serre,
Grothendieck, Koszul, etc) autor de una monumental obra Elementos de Matemticas escrita a mitad del XX al modo de Euclides, pero
partiendo de las axiomticas recientes de conjuntos, desterrando la geometra. A mediados de
los 50 apareci la teora de categoras, ms
general que la de conjuntos, lo que obligaba a
refundar toda la obra.
EPLOGO
A modo de ilustracin y para reflexin del lector
enunciar unas pocas clebres citas sobre el sentido de
las Matemticas y su relacin con el mundo exterior.
The natural numbers come from God, everything
else is man's work. (Leopold Kronecker, 1823-1891)
The most incomprehensible thing about the universe is that it is comprehensible.
How can it be that mathematics, being after all
product of human thought which is independent
of experience, is so admirably appropriate to
the objects of reality? (Albert Einstein, 18791955)
La concepcin platnica es la nica sostenible.
Con ello me refiero a la concepcin de que la
matemtica describe una realidad no sensible,
que existe independientemente tanto de los
actos como de las disposiciones de la mente humana, y que slo es percibida por ella, aunque
probablemente de forma incompleta. Esta concepcin es ms bien impopular entre los matemticos, aunque algunos de los grandes la han
adoptado, por ejemplo Hermite, que escribi
una vez lo siguiente:'Existe, si no me equivoco,
todo un mundo que es el conjunto de las verdades matemticas, al que no tenemos acceso ms
que por la inteligencia, al igual que existe el
mundo de las realidades fsicas; ambos son
independientes de nosotros y de creacin divi-
quedado algo desfasado con la progresiva matematizacin de las Bio-ciencias, en la que trabaj muy activamente el propio Gelfand.
Penrose (matemtico y fsico ingls, 1931-)
considera en [P] que existen tres mundos y tres
misterios: El de la verdad (en el que deben
encontrarse las matemticas), la belleza y la
moralidad. El de la fisicalidad. El de la
Mentalidad. Cada uno de ellos parece de englobar en su totalidad al que le sigue, aunque parezca depender solo de una pequea parte de su
predecesor. No deberamos preguntarnos qu es
la realidad, sino meramente cmo se comporta.
Los fsicos modernos describen las cosas invariablemente en trminos de modelos matemticos. Es como si trataran de encontrar la realidad dentro del mundo platnico de las ideas
matemticas. [...] Pero son las nociones matemticas cosas que habitan realmente en un
mundo propio? Si es as, parece que hemos
encontrado que nuestra realidad ltima tiene su
hogar dentro de este mundo completamente abs-
105
REFERENCIAS
1.
2.
3.
4.
5.
6.