ALEXANDR D . ALEXANDROV
LAS DEFINICIONES
AXIOMTICAS .
EN LAS MATEMTICAS
1 1
UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO
JACQUES HADAMARD
ALEXANDR D. ALEXANDROV
LAS DEFINICIONES
AXIOMTICAS
EN LAS MATEMTICAS
ISBN 968-36-0359-9
LA GEOMETRIA NO EUCLIDIANA Y LAS DEFINICIONES AXIOMATICAS
1
Slo que esta posicin, que nos vemos obligados a adoptar como posicin de
remar.so y que parece ser la nica posible, a su ve;r. se va a mostrar como insos-
tenible; ms an, hubiern. tenido que parecer insostenible al propio Pascal, ya
que incidentalmente, en su primera exposicin, 1 enuncia una observacin que eonJI
tituye una de las conquistas ms fundamentales logradas por la lgica en todo su
desarrollo. Haciendo alusin a los errores que se pueden cometer en el empleo de
las definiciones, advierte un r emedio infalible, que es:
I. No intentar definir cosa alguna que sea tan conocida que no haya
trminos ms claros para explicarla.
Asi tenemos ocho reglas que son fundamentales para toda lgica, para todo
ra;r.onamiento y para todo acto del pensamiento; y esto es cierto, en particular, con
la ltima. de estas reglas. Pero, &cmo es posible que el genial autor de los Pensa,..
mientos no haya advertido una extraa contradiccin entre dos principios que
distan apenas unos cuantos renglonesf Puesto que no se puede pensar en substituir
una definicin por lo que ella define, cuando no hay manera de establecer tal
definicin.
Lo que parece haber faltado especficamente a Pascal, sin que esto llegue a
explicar plenamente la ceguera psquica que constatamos, 3 es el haber compren-
dido plenamente el alcance del principio que acababa de enunciar. La substitucin
2
de las definiciones -por lo definido es indispensble en todas las circuustancias; en
el pensamiento corriente, tal como l lo dice, es indispensable para evitar los erro-
res; pero, para el matemtico tiene tambin otra funein ms, que ya no es nega-
tiva, sino positiva. No se trata solamente de un prineipio crtic'o, sino de un prin
eipio eonstruetivo que es indispensable justamente como principio constructivo.
Sin l, no slo se estara expuesto a extravios, sino que no se podra dar un paso.
Esto se pone de manifiesto en cualquier demostraein. Consideremos, por ejemplo,
que se trata de demostrar que el dimetro es la cuerda mxima de un crculo;
o sea, dillho de otro modo, que si A y B son dos puntos situados sobre una eireun-
ferencia eon eentro en O y cuyo radio es R, entonees AB siempre ser, cuando ms,
igual a 2R. La primera preoeupaein del gemetra ser unir OA y OB. ~Podra
proceder de otro modo~ Seguramente que no, porque le falta expresar la definicin
de la circunferencia, la cual consiste justamente en que cada una de las distan-
eias OA y OB es igual a R; y, as, se pasa de un extremo a otro de la geometra.
Ninguna nocin puede intervenir entonces en el razonamiento, como no sea
por intermedio de su definiein. Pero, 'cmo se podr hacer esto, cuando la de-
finicin no existef
3
nos xito. Sin embargo, la dificultad no es una razn que deba impedir el
que se emprendan obras tan tiles. Ci
4
Teniendo necesidad de adoptar otra, Legendre la toma de Arqumedes -el
cual la presenta efectivamente como un postulado--:"La lnea recta es el camino
ms corto de un punto a otro."
Si Legendre -por una razn de orden pedaggico, bastante discutible d esde
luego-- toma como punto de partida esta definicin de Arqumedes, no es porque
la considere realmente preferible. En su prefacio, habla con otro lenguaje; re-
cuerda que la propiedad as enunciada puede ser dedueida y ha sia_o deducida por
Euclides de su axioma X: La. linea recta. es aquella que no puede tener sino UD3I
posicin entre dos puntos dados; la cual, segn dice en este lugar, es "la definicin
ms general que se puede dar de la lnea recta".
JAcaso se puede, en efec:1to, deducir el enunciado de Arqu;imedes del axioma X f
S y no: la deduccin se puede hacer a partir del axioma en cuestin . .. tomn-
dolo, pero sin decirlo -ni Legendre, ni Euclides- junto con el hecho de que t odas
las lneas rectas son figuras congruentes y que, inversamente, toda figura con
gruente a una lnea recta es una lnea recta. Este axioma K, complementado t
citamente tal como acabamos de decirlo, recibi de Legendre 8 una forma particu
larmente sorprendente, que coincide con la definicin dada por L eibniz y hacia la.
cual se orientar el avance ulterior de la ciencia: la. linea. recta es aquella .que per-
manece inmvil desde el momento en que dos de sus puntos se mantienen fijos.
Una ltima definicin, 9 imaginada por Leibniz, se vuelve a encontrar en
el fondo de la precedente.
Ninguna de estas definieiones, aun cuando aparezcan en la enumeracin que
acabamos de dar siguiendo a Leibniz, se escapa a la necesidad de resolver, en pri-
mer lugar, otro problema que hemos mencionado antes, o sea, la definicin de las
figuras congruentes. '
Por lo tanto, aun cuando se le puede dar el sentido poco claro que le dio el
mismo Euclides, de todas maneras querr decir que la lnea recta es aquella en
1a cual todo segmento es congruente -total o parcialmente- a cualquier otro
segmento; y, por consiguiente, como lo ha sealado desde la antigedad Apolonio,
tambin ser aplicable a la eircunferencia o a la hlice circular.
Esta objecin n escap a Leibniz; para responder a ella, l caracteriza a la
lnea recta por la condicin de que todo segmento sea semejante a cualquier otro,
es decir, substituye la nocin de figura congruente por otra bastante menos pri
mitiva que, adems, por su sola introduccin suprime el problema que n os ocupa;
puesto que, como se sabe, el ;dmitir la existencia de figuras semejantes que no
sean congruentes -exceptuando los segmentos de rectas- equivale a admitir el
postulado de Euclides.
La definicin de Arqumedes, evidentemente, no tiene otro sentido que el que
se refiere a las longitudes y, ms precisamente, a las longitudes iguales.
Ya hemos expresado antes cmo debera complementarse el axioma X de
Euclides, para fundamentar el primer libro de la Geometra..
5
En fin, a la definicin eil que coinciden Leibniz y Legendre lo nico que
le falta es la especificacin ... de cul es el movimiento o, ms exactamente, de
cules son los desplazamientos de la lnea de que se trata, cuando se dice que
flnicamcnte dos de sus puntos perm:mecen fijos; estableciendo si se considera a la
linea como fijada en la madera o como si estuviera en un medio elstico.
En todo caso, de manera tcita. y por una verdadera rostriccin mental, se
parte asi de la definicin de las figuras congruentes y, a la vez, de la definicin de
"figura invariable". Slo que, entonces -y estamos bien seguros de ello, despus
de haber ledo a Pascal- nos apartamos totalmente do la geometria. Legendre
enuncia que dos magnitude2 -lneas, superficies o slidos- son iguales cuando, al
colocarse una sobre la otra, coinciden en toda su extensin.
Sin detenernos en el empleo del trmino "magnitud", diramos que la palabra
"figura", lo mismo que la expresin magnitudes "iguales'', es un adjetivo tomado
en el sentido en que lo empleamos en la actualidad -Leibniz deca " congruentes"-
que tal vez sera comn y corriente antes, ya que lo encontramos igualmente en
Leibniz; pero, cmo evitar el equvoco, revelador del embarazo que preveamos
por anticipado, que aparece en el miembro siguiente de la frase, el cual designa lll
parecer a las figuras que estn colocadas una sobre otra f Hablando con rigor, la
definicin tendra sentido -aunque carecera de utilidad- en lo que concierne a
un dibujo y su calca, en el momento mismo en que se traza dicha calca; pero ya
no tendra sentido alguno una vez que se ha trazado la calca. Y si se trata de fi-
guras susceptibles de ser colocadas una sobre la otra, entonces, 6en qu condicio-
nes estar permitido este transporte' Si nos colocamos dentro del AnalysiS SitUB,
la coincidencia se podr obtener asi absolutamente para cualesquiera tringulos.
Por lo tanto, el problema de la figura invariable, que se suscita sin decirlo, es elu-
dido.
En consecuencia, Legendre no consigue hacer de la geometra, y menos de
sus primeros principios -como tampoco lo logr Euclide~- la ciencia exacta y
rigurosa que se propona.
Este edificio, tan mal asentado sobre sus propios fundamentos, es el que vino
a ser derrumbado de un golpe por el descubrimiento de Bolyai y Lobachevski.
Al mismo tiempo que fundaron una nueva geomlltria, ellos pudieron mostrar
con todo rigor y sin objecin posible, que no poda conducir a contradiccin al
guua. Ciertamente no encontraron, eomo ocurre con la geomctrH. ordinaria, pro
pied:td alguna que ellos dedujeran de la negacin <lel postulado de Euclides. Pero,
por ms que hayan adelantado en las deducciones ~in encontrar imposibilidades,
&acaso no ser posible que s~ encuentre alguna, siguiendo adelante por el mismo
caminof 'Slo se ha llegado a contestar con certeza por la negativa, construyendo
aquellas figurns en donde dichas propiedades se realizan efectivamente: propieda.
des que son idnticas a las do la g eometra ordinaria que preceden al postulado,
pero que son diferentes a partir del momento en que interviene este postulado.
Lo. geometra encontr una analoga alentadora en el caso de la superficie
de una esfera, en donde las propiedades de los tringulos se apartan de las pro-
piedades de los tringulos rcc.tilineos ordinarios, como sucede con la geometra no
6
cuelidiana, 10 pero en sentido inverso, ya que la suma de los ngulos de un trin-
gulo esfrico es ms grande que dos rectos; Riema.nn pudo extender esta geometra
a todo el espacio, tomando como "lineas rectas" a los crculos cuyos planos pasan
por 11n punto O y que se conservan en una cierta inversin de I de polo O.
Tambin Beltrami haba credo establecer efectivamente una geometra no-
euclidiana, por Jo menos una geometra no-euclidiana en dos dimensiones, definien-
do una superficie, la seudoesfera, sobre la cual se cumple esta geometra. Se trata
de una superficie de revolucin que se extiende hacia. el i nfinito en los dos sentidos
paralelamente a su eje y compuesta por dos cascos separados por una paralela de
inversin. Sobre cada uno de estos dos casos se pueden trazar lneas gcodsie.aR
y tringulos geodsicos, los cuales (cuando no son demasiado grandes) presentan
los tres casos clsicos de igualdad (pero no de similitud), y verifican toda la. serie
de los primeros teoremas de la gcomctr.a ordinaria ; mientras que, por otra parte,
la suma de sus ngulos es menor que dos r ectos y sus propiedades estn de acuerdo
con la teora de Bolyai-Lobachcvski. Unicamente es necesario que dichos tri.n-
gnlos no sean demasiado g randes; no s~ necesita que ellos se encuentren sobre una
paralela singular, ni tampoco se r equiere que rodeen la superficie, sino que, por
lo contrario, pueden ser reducidos a la vecindad de un punto nico por defl>rmacin
continua sobre esta superficie. El ejemplo construdo por Beltrami no sera pro-
lmtorio sino en el caso en que se dispusiera de una superfici e con eurvatura total
eonstantemente negativa, desprovista de singularidades y simplemen te ronexa; pero,
Hilbert ha demostrado que una superficie de este tipo no podra existir.
Existe entonces una imposibilidad que, como lo veremos finalmente, atae
J>rofnnda.mente a la naturaleza de las r.osas; y, por consiguiente, es preciso operar
-de otra manera. Se ha llegado a establecer una manera qu(l Poinc:tr expone en
forma particularmente notable en la "Revue Gl'inrale des Scicnccs", 11 suponiendo
un medio encerrado en el interior de una esfera S en el cual, mediante cierta dis-
tribucin de las temperaturas, todos los objetos se transforman a medida qu~ se
alejan del centro; una const ruccin conveniente los hae.e adquirir dimensiones
infinitamente pequeas a medida que se aproximan ms y ms a la superficie
efrica. Las figuras que existieran en estas condiciones en el interior de la esfera
estarian gobernadas por las leyes de Bolyai-Lobachevski.
Las propiedades de la lnea recta, conforme a cualquiera de las definiciones
citadas con anterioridad, ya no pertenecen a las rectas que nosotros cono~emoa,
sino a los crculos ortogonales a la esfera S ; los "pl:!nos" seran ahora l as l'~feras
ortogonales a S y sobre cada una de ellas se podran hacer pasar, por un punto
dado, varas "ree,tns" paralelas a una "recta" dada o, como podr:l.mos decir. a un
crculo dado.
7
};; resultado se obtien<: as en una direccin completamente diferente del ca-
mino ~el callejn sin salida- seguido por Beltrami. Para este ltimo, las lneas
trazadas sobre la seudoesfera tendran longitudes definidas a la manera ordinaria;
esto ocurre de manera diferente en los medios ficticios de Poincar, lo mismo que
en la poderosa generalizacin de Riemann.
S
y tambin, mediante la definicin (nominal) comn de las paralelas, el axioma
de Euelides:
A. Por un punto exterior a una recta slo pasa. una paralela a esta recta,
o Bi se prefiere,
A'. La suma de los ngulos de un tringulo rectilneo es igual a dos rectos
Adems, un sistema de axiomas slo es aceptable como definicin cuando es
compatible, es decir, cuando no implica contradicciones. 12 En lo que respecta a
los axiomas que definen la nocin de figura invariable, esta compatibilidad se re-
duce, mediante los datos de la geometra analtica, a. la compatibilidad de los axio-
mas de la. aritmtica..
Por otra parte, se debe examinar si estos axiomas son independientes, es decir,
si alguno de ellos no es consecuencia de los otros. Tambin es necesario que ellos
permitan distinguir al objeto definido de lo que es esencialmente diferente. 13
En lo que se refiere a la nocin de figura invariable, la geometra, hasta Bol-
yai y Lobachevski, haba credo responder a estos dos problemas de modo afirma-
tivo -incluso para el segundo, exceptuando el conjunto de axiomas <le Euclides--
Nosotros sabemos que aqu existe un doble error: el axioma A es independiente
de los otros y, sin l, el grupo de los desplazamientos no est completamente defi-
nido; mientras que si se tiene un sistema de axiomas compatibles (aquel que vara
en el medio ficticio de Poincar) substituyendo el axioma A por el axioma con-
trario:
1\. Por un punto exterior a una recta se pueden hacer p~sar varia~ parale -
las a. dicha recta,
o si se quiere,
B'. Existen tringulos rcctill:neos en los cuales la suma. de Jos nguio~ )>~
inferior a dos rectos.
12 Por extrao que parezca, las ideas han permaneeido mucho tiempo con-
fusas (v6ase la importante edicin crtica de Euclides, hecha. por Enriques, Gli
Elementi d'Euclide e la critica a.ntica e moderna, Stock, Roma., 1925) en lo que
respecta a esta condicin impuesta a una definicin ; y, al parecer se ha credo,
a pesar de una. advertencia formal de Aristteles que no se haba tomado en
cuenta, que una definicin aseguraba por si misma la existencia. del objeto d <!-
finido. Enriques (loe. cit.) hace notar que este hecho permite comprender e! f:nor
rle que ha sido objeto un razonamiento tan absurdo como el "argumento ontolgi-
e.o", adoptado hcluso por Descartes y vuelto a tomar en una forma ligeramente
itiferente por Espi'neza.
13 La adicin del trmino "esencialmente" se hace necesaria por el hecho de
que nada cambiara si se sometiese todo el espacio a cualquier transformacin
puntual univoca y continuu. Todas las propiedades, empezando por los desplaza
mientos, seran exactamente iguales para las figuras transformadas que para las
primitivas, de tal manera que sus teoras seran las mismas en todos sus puntos.
As, t ericamente se podran trazar las figuras de la geometra esfrica en proyec-
ein de 1\fercator, aun cu:~ndo se alteraran mucho en las proximidades <lr>l polo
que ella desplaza. haeia el infinito; en estas condidoncs, t odos Jo~ teorem:~3 m:m -
tt>ndrian su validt>?..
!)
nominal falta.nte, en relacin con la nocin de figura invariable. El error de Le-
gendre o de Leibniz no consisti en no haberla dado -ya que es imposible dada-
sino en haber credo que podan eludirla, limitndose a otra que no tena sentido
sin ella; y, por lo tanto, su falla es el haber desconocido la regla fundamental
de Pascal. Es a la )uz de Bolyai y de Lobachevski que se destaca la imposibilidad
de eludir la definicin de figura invariable y, por consiguiente, la necesidad de
establecerla en su forma axiomtica.
Esta necesidad no haba sido advertida por Beltrami. Su tentativa fracas
-y fatalmente deba fracasar- porque ella no planteaba el problema en su ver-
dadero terreno y no llegaba a examinar la base fundamental de la geometra, la
nocin de mtrica que, en lo que antecede, hemos tratado de esclarecer y que, por
Jo dems, ha sido objeto de una revisin todava mucho ms profunda en ln obra
con la cual el genio de Remann prepar la obra de E instein.
Jacques Had;;ma:d
10
SOBRE LA IMPOSIBILIDAD DE DEMOS'rRAR LA. COMPATIBILIDAD
DE LOS AXIOMAS DE LA AR.ITMETICA *
11
solamente ea licito, Bino que es necesario. Entonces, se podria presentar este con-
jllllto de axiomas a un lector que no estuviera prevenido sobre el sentido de las
expresiones: "cero, ntimero entero, aucesor". Pero, desde el mom.ento en que dicho
lector tuviera la nocin innata de nmero entero (y eremos haber mostrado que
61 no sabrla razona'!' sin tenerla, a menos que su inteligencia tuviese tales dile-
reneias con la nuestra, que ni siquiera nos pudisemos hacer una idea sobre ellas),
l se darla cuenta, ms o menos rpidamente, de que existe un sistema de "obje-
tos" -los nmeros enteros- que verifican los cinco axiomas de Peano. Desde lue-
go, el problema que se mantiene abierto, el de saber si los axiomas en cuestin
son compatibles, no se plantear. para l y toda demostracin con la cual tratar.
de establecer esta compatibilidad se apoyarS.a en una peticin de principio.
Hilbert no parece haber eludido esta dificultad. Para demostrar que las con-
secuencias de los axiomas de Peano pueden ser desarrolladas en cuanto sea nece-
sario sin conducir a una contradiccin, l reflexiona sobre el ntimero de dichas de-
ducciones; y a este nmero le atribuye obligadamente todas las propiedades co-
munes de los nmeros enteros, comprendiendo el axioma de reeurrencia.
Jacques Hada.JIW'd.
1!!