LA ARQUITECTURA DE LAS MATEMTICAS de N.

Bourbaki
Bourbaki en la enseanza de Lacan. Nota de presentacin
Juan Bauz
Nicolas BOURBAKI es el nombre que corresponde al pseudnimo adoptado por
una eminente y annima asociacin de jvenes matemticos franceses de la cole
Normale Suprieure, formada en !""# $us miembros fundadores fueron% &enri 'artan(
'laude ')evalley( *ean 'oulomb( *ean +elsarte( *ean +ieudonn,( ')arles -)resmann(
Ren, de .ossel( $/olem 0andelbrojt( Andr, 1eil# 'ompuesta despu,s por veinte
miembros no permanentes( que deb2an cumplir la condicin de retirarse del 3rupo al
lle3ar a la edad de 45 a6os# -l 3rupo BOURBAKI public desde !75 una 3i3antesca
obra de referencia% Los elementos de matemticas, construida sobre bases a8iomticas
ri3urosas si3uiendo el pensamiento de &ilbert( y a partir de la l3ica formal y de la
teor2a de conjuntos. 'on ella unifican las matemticas mediante el establecimiento de
estructuras9madres comunes a sus diversas ramas#
:acan cita a Bourba;i en varios momentos de su ense6an/a#
.or lo que a sus escritos se refiere encontramos este nombre en relacin con la
revista de la <cole =reudienne de .aris( Scilicet, cuyos art2culos( e8cepto los del propio
:acan no iban firmados. As2 en el n> de la misma podemos leer%
Me gustara saber a quin perjudic no aber !irmado una parte de su obra con otro
nombre que el de Bourba;i#
"#$ebo decir que es la !irma colecti%a bajo la cual un equipo a tratado de reconstruir
sobre el !undamento de la teora de conjuntos el edi!icio entero de las matemticas&" ' $cilicet(
(, p. )*
? en la @ltima p3ina del n> AB" de la misma revista+
,omo icieron los de -ourba.i para su publicacin monumental.
"/ es que a cosas como stas '...*, uno no contribu0e en su nombre, sal%o para ser%irles
de %eculo de lo que se le borra." '$cilicet( 123, p. 455*
-n cuanto a la ense6an/a oral de :acan en su $eminario( la primera ve/ que
encontramos e8pl2citamente esta referencia es en su seminario CIII sobre 6l objeto del
psicoanlisis, en la sesin del A5 de abril de !DD%
No a0 medio alguno de presentar el discurso, por ms !ormali7ado que lo supongan,
no a0 medio alguno de presentar, si ustedes quieren, el -89:-;<=, sin pre!acio 0 sin te>to.
Se trata de esto+ de las relaciones del lenguaje, que, indiscutiblemente en e!ecto, es corte 0
escritura, con lo que se presenta como discurso, lenguaje ordinario que necesita el soporte de la
%o7." ?@raduccin nuestraA
+espu,s ser en el $eminario CIC E###8 peorF en la sesin del4 de diciembre de
!G( donde encontramos una nueva referencia%
Buedo acer obser%ar que, en los -lementos de -89:-;<=, se comien7a por poner
las letras sin decir absolutamente nada de aquello para lo cual pueden ser%ir. /o ablo de esos...
llamemos a eso s2mbolos escritos, pues no se parece siquiera a ninguna letraC esos smbolos
(
representan algo que podemos llamar operaciones. No se dice en absoluto de qu operaciones se
trata, 0 slo ser unas %einte pginas despus que comen7aremos a poder deducirlo
retroacti%amente de acuerdo con el modo en que se las emplea." ?@raduccin nuestraA
=inalmente ser en el $eminario CC( ;Dn, donde :acan se referir ms
e8tensamente a este 3rupo en relacin con la Heor2a de conjuntos( en las sesiones del !
de enero de !G"%
#,mo puede una letra ser%ir para designar un lugar& :esulta claro que a0 en ello
algo abusi%o. / cuando abren, por ejemplo, la primera pgina de lo que !inalmente !ue reunido
en la !orma de una edicin de!initi%a bajo el ttulo de Heor2a de conjuntos, 0 bajo la direccin de
autores !icticios que se denominan con el nombre de Nicols -89:-;<=, lo que ustedes
pueden %er es la puesta en juego de cierto nDmero de signos lgicos. 6stos signos lgicos
designan precisamente, en particular uno de ellos, la !uncin EsitioF EIplaceJF como tal. 6ste
signo lgico es designado, escrito mediante un cuadradito+ G" 'Op# cit#( s. H.5(.(HI3* ?@rad.
nuestraA
y del D de enero de !G"%
Lo que constitu0e la irrupcin, la intrusin de la teora de conjuntos es justamente
plantear eso+ ablamos del EunoF respecto a cosas que no tienen, entre s, estrictamente
ablando, ninguna relacin. ; saber, pongamos juntos ?bajo ese unoA lo que se llaman objetos
de pensamiento 02o objetos del mundo, todo eso, eso cuenta cada uno por EunoF 0 si juntamos
esas cosas absolutamente eterclitas, 0 nos arrogamos el dereco de designar esta unin
?ensamblajeA Eassembla3eF con una letra. ;s se e>presa, al comien7o, la teora de conjuntos,
por ejemplo... la que presenta 0 que les present la Dltima %e7, bajo el nombre de Nicols
-89:-;<=.
"No se dieron cuenta de lo siguiente, que dije, por otra parte est escrito, dado que eso
se imprime, del mismo modo que est impreso en la susodica teora de conjuntos, que la letra
designa un conjunto Eassembla3eF. 6s precisamente, aunque los autores, 0a que como saben,
son mDltiples, los autores que an terminado por dar su consentimiento a la edicin de!initi%a
de la susodica teora, toman la precaucin de decir que ellos designan conjuntos, las letras
designan conjuntos. Bero es precisamente a donde reside su timide7 0 a la %e7 su error, la letra
es la Dnica cosa que )ace esos conjuntos. La letra, las letras son( 0 no designan, esos conjuntos,
0 como letras estn tomadas en su !uncionamiento como esos conjuntos mismos.
"Bueden %er que al conser%ar aDn ese como, me atengo al orden de lo que presento
cuando digo que el inconsciente est estructurado como un len3uaje( ese como est mu0
precisamente, %uel%o siempre a esto, pensado como diciendo, no diciendo que el inconsciente
est estructurado por un lenguaje. 6st estructurado como los conjuntos Eassembla3esF de los
que se trata en la teora de conjuntos, son como una letra. / es de eso de lo que se trata cuando
a%an7amos en la pro!eracin matemtica. #Ju papel juega esta& #Ju soporte podemos tomar
en ella para leer& Bara leer en tanto que a0 letras, para no leer, para no leer ms que las letras,
para leer eso de lo que se trata cuando tomamos el lenguaje como siendo lo que !unciona para
suplir la ausencia de lo que precisamente es la Dnica parte de lo real que no puede llegar a
!ormarse con letras, a saber la correspondencia ErapportF se>ual.
"Ser en el juego mismo, el juego mismo del escrito matemtico que tenemos que
encontrar, por as decirlo, el punto de orientacin acia lo que tenemos que dirigirnos para sacar
de esa prctica, de ese la7o social nue%o que emerge 0 que se e>tiende singularmente, que se
llama el discurso analtico, lo que puede sacarse en cuanto a la !uncin misma de ese lenguaje,
de ese lenguaje en que con!iamos en suma para que ese discurso tenga e!ectos, medianos sin
duda, pero su!icientemente consistentes para que ese discurso pueda sostener 0 completar los
otros discursos." ?@rad. nuestra en !uncin de las %ersiones a nuestra disposicin de este
seminarioA
1
'omo puede verse por estas citas( :acan se limita a indicar esta obra# Hocar a
sus continuadores( si quieren( desarrollar aquellos aspectos que en relacin con la
misma interesan al psicoanlisis# A nuestro parecer ese desarrollo pasa por el
conocimiento( no de toda esta obra( monumental tanto por su e8tensin como por su
dificultad( sino de al3unos cap2tulos de cuatro de los I:ibrosJ publicados y
distribuidos en la actualidad por -ds# +unod E.arisF%
-lements dK)istoire des mat),matiques
H),orie des ensembles E7 caps#F
Al3Lbre E5 caps#F
Hopolo3ie 3enerale E5 caps#F
Remitiendo al lector a estos libros( de los que slo el primero se )alla traducido
al castellano en Alian/a( proponemos aqu2 una traduccin al castellano del art2culo
que podemos calificar de peque6a muestra( dado su carcter introductorio y
divul3ativo que el 3rupo Bourba;i public en !7M en Les grands courants du pense
matmatique, 'a)iers du sud#

3
LA ARQUITECTURA DE LAS MATEMTICAS
La a!e!i"a o #a$ a!e!i"a$%
N. Bourbaki
$ar en el momento actual, una idea de conjunto de la ciencia matemtica, es una
empresa que parece o!recer, de entrada, di!icultades casi insal%ables, dada la e>tensin 0
la %ariedad del tema. ;l igual que en el caso de otras ciencias, el nDmero de
matemticos 0 de trabajos consagrados a las matemticas a aumentado
considerablemente desde !inales del siglo K=K. Las memorias de matemticas puras
publicadas en el mundo durante un aLo normal, abarcan %arios miles de pginas. 6n
ellas, por supuesto, no todo tiene el mismo %alor, pero despus de una decantacin del
deseco ine%itable, no es menos cierto que cada aLo la ciencia matemtica se enriquece
con mucos resultados nue%os, se di%ersi!ica 0 se rami!ica constantemente en teoras
que, sin cesar, se modi!ican, se re!unden, se con!rontan 0 se combinan unas con otras.
NingDn matemtico, ni siquiera consagrando en ello toda su acti%idad, estara o0 en
condiciones de seguir este desarrollo en todos sus detalles. -uen nDmero de ellos se
ciLen a un dominio de las matemticas del que no pretenden salir, 0 no slo ignoran casi
por completo todo lo que no tiene que %er con la materia que an escogido sino que
incluso seran incapaces de comprender el lenguaje 0 la terminologa empleados por los
colegas que se adscriben a una especialidad alejada de la su0a. Bocos a0, incluso entre
aquellos cu0a cultura es ms %asta, que no se sientan desorientados en ciertas regiones
del uni%erso matemtico. ;quellos que, como Boincar o Milbert, imprimen el sello de
su genio en casi todos los dominios, constitu0en, incluso entre los ms grandes, una
rarsima e>cepcin.
No se trata aqu, pues, de dar al pro!ano una imagen precisa de aquello que los
propios matemticos no pueden concebir en su totalidad. Sin embargo, podemos
preguntarnos si esta proli!eracin e>uberante es el desarrollo de un organismo
slidamente construido, que adquiere cada da ms coesin 0 unidad en su propio
crecimiento, o si, por el contrario, no es ms que el signo e>terior de una tendencia a un
!raccionamiento cada %e7 ma0or, debido a la naturale7a misma de las matemticas, 0 si
stas no se estarn con%irtiendo en una torre de -abel de disciplinas autnomas, aisladas
unas de otras, tanto en sus principios como en sus mtodos, e incluso en su lenguaje. 6n
una palabra #e>iste o0 una matemtica o varias matemticas&
;unque ms actual que nunca, no debera creerse que esta pregunta es nue%aC
est planteada desde los primeros pasos de la ciencia matemtica. / es que, en e!ecto,
incluso dejando aparte las matemticas aplicadas, subsiste, entre la geometra 0 la
aritmtica 'al menos bajo su !orma elemental* una e%idente dualidad de origen, siendo
inicialmente la segunda ciencia de lo discreto( 0 la primera de la e>tensin continua, dos
aspectos que se oponen radicalmente desde el descubrimiento de los irracionales. Bor
otra parte, !ue precisamente este descubrimiento el que result !atal en la primera
tentati%a de uni!icacin de la ciencia, el aritmeticismo de los pitagricos 'Etodas las
cosas son nDmerosF*.
Nos %eramos conducidos demasiado lejos si tu%iramos que seguir, desde el
pitagorismo asta nuestros das, las %icisitudes de la concepcin unitaria de las
matemticas. 6s sta, adems, una tarea para la que est mejor preparado un !ilso!o
que un matemtico, 0a que es un rasgo comDn de los di%ersos intentos para integrar en
un todo coerente el conjunto de las matemticas N0a se trate de Blatn, de $escartes o
4
de Leibni7, del aritmeticismo o de la logstica del siglo K=KN el estar ligados a un
sistema !ilos!ico ms o menos ambicioso, partiendo siempre, sin embargo, de ideas a
priori sobre las relaciones de las matemticas con el doble uni%erso del mundo e>terior
0 el mundo del pensamiento. Lo mejor que podemos acer en relacin a este punto es
remitir al lector sobre este punto al estudio istrico 0 crtico de Leon -runsc%icg+ :es
,tapes de la p)ilosop)ie mat),matique
(
# Nuestra tarea es ms modesta 0 ms
circunscrita+ no pretenderemos e>aminar las relaciones de las matemticas con lo real o
con las grandes categoras del pensamientoC es en el seno de la matemtica en donde
pensamos quedarnos para buscar, anali7ando sus propios %ericuetos, una respuesta a la
pregunta que nos emos planteado.
Formalismo lgico y mtodo axiomtico
$espus del !racaso, ms o menos aparente, de los di%ersos sistemas a los que
emos eco alusin, pareca, a principios del presente siglo, que casi se ubiera
renunciado a %er en las matemticas una ciencia caracteri7ada por un objeto 0 un
mtodo Dnicos. Ms bien se tena la tendencia a considerarlas como Euna serie de
disciplinas fundadas sobre nociones particulares( delimitadas con precisinJ( ligadas
por Imil caminos de comunicacinJ que permitiesen a los mtodos propios de una de
estas disciplinas poder !ecundar una o ms de ellas '-runsc%icg, Op# cit#, p. 44I*. Mo0,
por el contrario, creemos que la e%olucin interna de la ciencia matemtica a
promo%ido, a pesar de las apariencias, ms que nunca la unidad de sus di%ersas partes 0
a creado una especie de nDcleo central ms coerente que nunca. Lo esencial de esta
e%olucin a consistido en una sistemati7acin de las relaciones que e>isten entre las
di%ersas teoras matemticas, resumida en una tendencia conocida generalmente bajo el
nombre de Emtodo a>iomticoF.
Se la denomina tambin a %eces E!ormalismoF o Emtodo !ormalistaF, pero
debemos guardarnos, desde un principio, del peligro de con!usin que pro%ocan estas
palabras mal de!inidas, e>plotadas no pocas %eces, por los ad%ersarios de la a>iomtica.
@odo el mundo sabe que el carcter e>terno de las matemticas consiste en presentarse
con el aspecto de aquella Elarga cadena de ra7onesF de la que $escartes ablaba. Hoda
teor2a matemtica es un encadenamiento de proposiciones que se deducen unas de
otras conforme a las re3las de una l3ica que( en lo esencial( es la establecida desde
Aristteles con el nombre de Il3ica formalJ( convenientemente adaptada a los fines
particulares del matemtico# 6s, pues, una banalidad decir que este Era7onamiento
deducti%oF es un principio de unidad para la matemtica. 9na obser%acin tan
super!icial no puede ciertamente dar cuenta de la aparente complejidad de las di%ersas
teoras matemticas, no ms, por ejemplo, que la pretensin de reunir en una ciencia
Dnica a la !sica 0 a la biologa bajo el prete>to de que ambas aplican el mtodo
e>perimental. 6l modo de ra7onamiento por encadenamiento de silogismos, slo es un
mecanismo trans!ormador, aplicable indi!erentemente a toda suerte de premisas, 0 no
podra caracteri7ar, pues, la naturale7a d stas. 6n otras palabras, la forma e>terior que
la matemtica da a su pensamiento del %eculo que la con%ierte en asimilable a otros
1
,
(
Bars, ;lcan, (H(1
1
Bor otra parte, todo matemtica sabe que una demostracin no est %erdaderamente EcomprendidaF
por ms que nos emos ceLido a %eri!icar, paso a paso, la correccin de las deducciones que !iguran en
ella, si no emos intentado concebir claramente las ideas que condujeron a construir esta cadena de
deduccin con pre!erencia a cualquier otra.
O
0, para decirlo todo, del len3uaje propio de la matemticaC 0 no debemos esperar ms de
l. ,odi!icar este lenguaje, ordenar su %ocabulario 0 clari!icar su sinta>is es acer una
obra mu0 Dtil que constitu0e, e!ecti%amente, un aspecto del mtodo a>iomtico, aquel
que podemos llamar propiamente formalismo l3ico 'o, como se dice tambin, la
ElogsticaF*. Bero Ne insistimos en este puntoN este solo es un aspecto( 0 el menos
interesante.
Lo que la a>iomtica se propone como !in esencial es precisamente lo que el
!ormalismo lgico es incapa7 de o!recer por s solo+ la inteligibilidad pro!unda de las
matemticas. $el mismo modo que el mtodo e>perimental parte de la creencia a priori
en la permanencia de las le0es naturales, el mtodo a>iomtico encuentra su punto de
apo0o en la con%iccin de que, si las matemticas no son un encadenamiento de
silogismo que se desarrollan al a7ar, no son tampoco una coleccin de arti!icios ms o
menos EastutosF, ecos de apro>imaciones !ortuitas en las que triun!a la pura abilidad
tcnica. ;ll donde el obser%ador super!icial slo %e dos o ms teoras mu0 distintas en
apariencia, que se prestan, por intermedio de un matemtico genial, una Ea0uda
inesperadaF '-runsc%icg, Op# cit. p. 44)*, el mtodo a>iomtico enseLa a buscar las
ra7ones pro!undas de ese descubrimiento, a encontrar las ideas comunes camu!ladas
bajo el aparato e>terior de los detalles propios de cada una de las teoras consideradas, a
descubrir estas ideas 0 a ponerlas de mani!iesto.
La nocin de estructura
#,mo se reali7a dica operacin& ; es donde la a>iomtica se apro>ima ms
al mtodo e>perimental. -ebiendo como l en la !uente cartesiana, Edi%idir las
di!icultades para resol%erlas mejorF. 6n las demostraciones de una teora, buscar
disociar los principales resortes de los ra7onamientos que !iguran en ellas. $espus,
tomando cada una de ellas aisladamente 0 plantendose como un principio abstracto,
desarrollar las consecuencias que le son propias. Pinalmente, %ol%iendo a la teora
estudiada, combinar de nue%o los elementos constituti%os pre%iamente liberados 0
estudiar cmo reaccionan unos con otros. No a0, por supuesto, nada nue%o en esta
clsica ida 0 %uelta entre el anlisis 0 la sntesis. @oda la originalidad del mtodo reside
en la !orma como se aplica.
Bara ilustrar con un ejemplo el procedimiento del que acabamos de dar una
descripcin esquemtica, tomaremos una de las teoras a>iomticas ms antigua '0 una
de las ms simples*, la de los &ru'o$ ab$!ra"!o$.
,onsideremos, por ejemplo, las tres operaciones siguientes+ (Q la adicin de los
nDmeros reales, donde la suma de dos nDmeros reales 'positi%os, negati%os o nulos* se
de!ine de la manera ordinariaC 1Q la multiplicacin de los enteros Emdulo un nDmero
primo p, en donde los elementos considerados son los enteros ( A(###( p
9
, siendo, por
con%encin, el EproductoF de dos de estos nDmeros el resto de la di%isin por p de su
producto en el sentido ordinarioC 3Q la EcomposicinF de los despla7amientos en el
espacio eucldeo de tres dimensiones, siendo por de!inicin el Ecompuesto 'o
EproductoF* de dos despla7amientos $( H 'tomados en este orden* el despla7amiento
obtenido al e!ectuar primero el despla7amiento H 0 despus el despla7amiento $.
)
6n cada una de estas tres teoras, a dos elementos, 8( y 'tomados en este orden*
del conjunto de elementos considerado 'en el primer caso el conjunto de los nDmeros
reales, en el segundo caso de los nDmeros ( A###(p9, en el tercero el conjunto de todos
los despla7amientos* se les ace corresponder 'por un procedimiento particular a la
teora* un tercer elemento bien determinado, que con%endremos en designar
simblicamente en los tres casos por 8 y 'esto es+ la suma de 8 0 de y son nDmeros
reales, su producto Emdulo pF si son enteros p9, su EcompuestoF si se trata de
despla7amientos*. Si e>aminamos aora las propiedades de esta EoperacinF en cada
una de las teoras, constatamos que presentan un paralelismo notableC pero en el interior
de cada una de dicas teoras, estas propiedades dependen unas de las otras, 0 un
anlisis de sus cone>iones lgicas lle%a a desprender un nDmero reducido de ellas que
son independientes 'es decir que ninguna es consecuencia lgica de las otras*. Bodemos,
por ejemplo
3
, tomar las tres siguientes, que e>presaremos en nuestra notacin simblica
comDn a las tres teoras pero que es !cil traducir al lenguaje particular de cada una de
ellas+
aF Bara cualesquiera elementos 8( y( /( tenemos 8 Ey /F R E8 yF /
'Easociati%idadF de la operacin 8 y*
bF 6>iste un elemento e tal que, para todo elemento 8, tenemos e 8 R 8 e R 8
'para la adicin de los nDmeros reales es el nDmero 5C para la multiplicacin Emdulo pF
es el nDmero C para la composicin de despla7amientos es el despla7amiento
IidentidadJ que deja !ijo cada punto del espacio*C
cF Bara todo elemento 8, e>iste un elemento 8K tal que 8 8K R 8K 8 R e 'para la
adicin de los nDmeros reales, 8K es el nDmero opuesto N8C para la composicin de
despla7amiento, 8K es el despla7amiento inverso de 8, es decir, el que %uel%e a lle%ar
cada punto despla7ado por 8 a su posicin primiti%aC para la multiplicacin Emdulo pF,
la e>istencia de 8K resulta de un ra7onamiento de aritmtica mu0 simple
4
.
Se constata entonces que las propiedades que son susceptibles de e>presarse de
la misma manera en las tres teoras, con la a0uda de la notacin comDn, son
consecuencias de las tres precedentes. Bor ejemplo, nos proponemos demostrar que la
relacin 8 y R 8 / implica y R /. Bodramos acerlo en cada una de las teoras por un
ra7onamiento que le !uera particular, pero podemos proceder de la manera siguiente,
aplicable a todos los casos+ de la relacin 8 y R 8 / se deduce 'teniendo 8K el sentido
de!inido ms arriba* 8K E8 yF R 8K E8 /FC despus aplicando aF E8K 8F y R E8K
8F /C utili7ando cF esta relacin se escribe e y R e /, 0 !inalmente, aplicando bF, y R
/, que es lo que aba que demostrar. 6n este ra7onamiento emos eco total
abstraccin de la naturale/a de los elementos 8( y( / considerados, es decir que no
tenemos necesidad de saber si eran nDmeros reales, enteros p9, o despla7amientos. La
3
6sta eleccin no tiene nada de absoluta 0 se conocen numerosos sistemas de a>iomas Eequi%alentesF
al que e>plicitamos, siendo los enunciados de los a>iomas de cada uno de estos sistemas consecuencias
lgicas de los a>iomas de uno cualquiera de los otros sistemas.
4
SeLalamos que los restos de la di%isin por p de los nDmeros 8( 8A(###( 8n(### no pueden ser todos
distintos. 6>presando que dos de dicos restos son iguales, se muestra !cilmente que una potencia 8
m
de
8 tiene un resto igual a C si 8K es el resto de la di%isin por p de 8
m9
, se conclu0e que el producto
Emdulo pF de 8 0 de 8K es igual a .
I
Dnica premisa que a inter%enido es que la operacin 8 y sobre estos elementos
satis!ace las propiedades aF( bF 0 cF. 6ntendemos, aunque no sea ms que para e%itar
repeticiones !astidiosas que es cmodo desarrollar de una ve/ por todas las
consecuencias lgicas de las tres @nicas propiedades aF( bF 0 cF. Naturalmente, por
comodidad de lenguaje, a0 que adoptar una terminologa comDn. $ecimos as que un
conjunto en el que se a de!inido una operacin 8 y que satis!ace las tres propiedades
aF( bF 0 cF est pro%isto de una estructura de 3rupo 'o ms bre%emente, que es un
3rupo*C las propiedades aF( bF 0 cF se denominan los a8iomas
O
de las estructuras de
3rupo, 0 desarrollar sus consecuencias es desarrollar la teor2a a8iomtica de los 3rupos.
;ora 0a podemos comprender qu es lo que a0 que entender, de manera
general, por una estructura matemtica. 6l rasgo comDn de las di!erentes nociones
designadas con este nombre genrico es que se aplican a conjuntos de elementos cu0a
naturale7a
)
no est especi!icadaC para de!inir una estructura, se dan una o ms
relaciones en las que inter%ienen estos elementos
I
'en el caso de los grupos, era la
relacin / R 8 y entre tres elementos arbitrarios*C se postula despus que la o las
relaciones dadas satis!acen ciertas condiciones 'que se enumeran* 0 que son los a>iomas
de la estructura considerada
S
. 6laborar la teora a>iomtica de una estructura dada es
deducir las consecuencias lgicas de los a>iomas de las estructura proibindose
cualquier otra iptesis sobre los elementos considerados 'en particular, cualquier
iptesis sobre su Enaturale7aF propia*.
O
No ace !alta decir que no a0 ningDn punto comDn entre este sentido de la palabra Ia8iomaJ 0 el
sentido tradicional de Iverdad evidenteJ.
)
Nos situamos aqu en el punto de %ista EingenuoF 0 no abordamos las espinosas preguntas,
semi!ilos!icas, semimatemticas, surgidas del problema de la Enaturale7aF de los EseresF u EobjetosF
matemticos. Nos bastar con decir que, poco a poco, las in%estigaciones a>iomticas de los siglos K=K 0
KK an sustituido tambin el pluralismo inicial de la representacin mental de estos EseresF Nimaginados
al principio como EabstraccionesF ideales de la e>periencia sensible que conser%an toda la eterogeneidad
de staN por una nocin unitaria que progresi%amente conduce a todas las nociones matemticas, primero
a la del nDmero entero, despus, en una segunda etapa, a la nocin de conjunto. 6sta Dltima, considerada
durante muco tiempo como Eprimiti%aF e inde!inibleF, !ue objeto de polmicas sin !in debidas a su
carcter de e>trema generalidad 0 a la naturale7a mu0 %aga de las representaciones mentales que e%oca.
Las di!icultades slo se an des%anecido cuando se a des%anecido la nocin misma de conjunto '0 con
ella, todos los pseudoproblemas meta!sicos sobre los EseresF matemticos* a la lu7 de las recientes
in%estigaciones sobre el !ormalismo lgico. 6n esta nue%a concepcin, las estructuras matemticas se
con%ierten, propiamente ablando, en los Dnicos EobjetosF de la matemtica.
6l lector encontrar desarrollos ms amplios sobre este punto en los dos artculos siguientes+ T.
$=69$8NN+ :es m,t)odes a8iomatiques modernes et les fondements des mat),matiques 'Revue
$cientifique( LKKU== '(H3H* p. 114V131*C M. ,;:@;N+ $ur le fondement lo3ique des mat),matiques#
ERevue $cientifique( LKKK= '(H43*, p. 3V((*.
I
6n realidad, esta de!inicin de las estructuras no es su!icientemente general para las necesidades de
las matemticas. Ma0 que considerar tambin el caso en que tendran lugar las relaciones que de!inen una
estructura, no entre elementos del conjunto considerado sino tambin entre partes de dico conjunto, e
incluso, ms generalmente, entre elementos de conjuntos de EgradoF aDn ms ele%ado en lo que se llama
la Eescala de los tiposF. Bara ms precisiones sobre este punto, %er nuestros -lements de 0at),matique,
li%re = '!ascculo de resultados*, Actual $cient( et Idustr#( nQ S4)W.
W 6ste primer !ascculo de resultados a sido editado recientemente por 6d. Masson, Baris, (HH5+ N.
-89:-;<=, -lements de mat),matique( EH),orie des ensembles( c)ap# O 7F#
S
6n los casos de los grupos, abra que considerar, en rigor, como a>ioma, adems de las propiedades
aF( bF( cF enunciadas ms arriba, el eco de que la relacin / R 8 y determina un / 0 slo uno, para 8 e y
dados. $e ordinario, se considera que esta propiedad se alla tcitamente implcita en la escritura de esta
relacin.
S
Los grandes tipos de estructura
Las relaciones que !orman el punto de partida de la de!inicin de una estructura
pueden ser asimismo de naturale7a bastante %ariada. La que inter%iene en las estructuras
de grupo es lo que se llama una Ele0 de composicinF, es decir una relacin entre tres
elementos que determina al tercero de manera Dnica en !uncin de los dos primeros.
,uando las relaciones de de!inicin de una estructura son Ele0es de composicinF, la
estructura correspondiente se llama estructura al3ebraica 'por ejemplo, una estructura
de cuerpo se de!ine mediante dos le0es de composicin. ,on a>iomas con%enientes la
adicin 0 la multiplicacin de los nDmeros reales de!inen una estructura de cuerpo en el
conjunto de dicos nDmeros*.
8tro tipo importante %iene dado por las estructuras de!inidas por una relacin de
orden. 6sta %e7 se trata de una relacin entre dos elementos 8( y, que, a menudo se
enuncia E8 es menor o igual a yF, 0 que anotaremos, en general 8 y. ;qu no
suponemos 0a que la relacin determine de !orma Dnica uno de los elementos 8( y( en
!uncin del otro. Los a>iomas a los que se somete son los siguientes+ aF para todo 8,
tenemos 8 8C bF las relaciones 8 y e y / implican 8 R yC cF las relaciones 8 y e y
/, implican 8 /. 9n ejemplo e%idente de conjunto pro%isto de una tal estructura es
el conjunto de los enteros 'o el de los nDmeros reales*, reempla7ando el signo por el
signo . 8bser%emos, sin embargo, que no emos incluido en los a>iomas la propiedad
siguiente, que parece inseparable de la nocin %ulgar de EordenF+ Ecualesquiera que
sean 8 e y, tenemos 8 y o y 8F. $ico de otra manera, no se e>clu0e el caso en el
que dos elementos puedan ser incomparables. 6sto, a primera %ista, puede parecer
paradjico, pero es !cil dar ejemplos mu0 importantes de estructura de orden en los
que se presenta tal !enmeno. 6s lo que ocurre cuando la relacin C ?, siendo C e ?
partes de un mismo conjunto, signi!ica EC est contenido en ?FC o tambin cuando
siendo 8 e y enteros > 5, 8 y signi!ica E8 di%ide a yFC o !inalmente cuando, siendo fE8F
0 3E8F !unciones reales de!inidas en un inter%alo a 8 b, fE8F 3E8F signi!ica Epara
todo 8 fE8F 3E8FF. 6stos ejemplos muestran al mismo tiempo la gran %ariedad de
dominios en los que inter%ienen las estructuras de orden 0 dejan presentir el inters de
su estudio.
$iremos aDn algunas palabras sobre un tercer gran tipo de estructuras, las
estructuras topol3icas o 'topolo32as*+ o!recen una !ormulacin matemtica abstracta
de las nociones intuiti%as de entorno, de l2mite 0 de continuidad, a las que nos conduce
nuestra concepcin del espacio. 6l es!uer7o de abstraccin que necesita el enunciado de
los a>iomas de tal estructura es aqu netamente superior al que corresponde en los
ejemplos precedentes, 0 el marco de esta e>posicin nos obliga a remitir a los lectores
deseosos de precisiones sobre este punto a los tratados especiali7ados
H
.
La estandarizacin del instrumento matemtico
H
Uer por ejemplo nuestros -lements de mat),matique, li%re === 'Hopolo3ie 3en,rale*, introduccin 0
captulo =. Actual $cient et Idustr#, nQ SOS.
H
Bensamos aber dico su!iciente para permitir al lector acerse una idea bastante
precisa del m,todo a8iomtico. Su rasgo ms sobresaliente, adems de lo que precede,
es que permite una economa de pensamiento considerable. Las EestructurasF son
erramientas para el matemtico 0 una %e7 que a discernido, entre los elementos que
estudia, relaciones que satis!agan los a>iomas de una estructura de un tipo conocido,
dispone asimismo de todo el arsenal de teoremas generales relati%os a las estructuras de
este tipo all donde, asta entonces, deba !orjarse l mismo, laboriosamente medios de
abordaje cu0a potencia dependa de su talento personal 0 que se %ean entorpecidos
!recuentemente con iptesis inDtilmente restricti%as, pro%enientes de las
particularidades del problema estudiado. Bodramos decir, pues, que el mtodo
a>iomtico no es sino el Esistema de @a0lorF de las matemticas.
6sta comparacin es, sin embargo, insu!iciente. 6l matemtico no trabaja
mecnicamente, como el obrero en una cadena de montaje. Nunca se insistir
su!icientemente en el papel !undamental que juega, en sus in%estigaciones, una
intuicin particular
(5
que no es la intuicin sensible %ulgar sino ms bien una suerte de
adi%inacin directa 'anterior a todo ra7onamiento* del normal comportamiento que debe
esperar con todo dereco por parte de unos seres matemticos que un prolongado 0
!recuente trato a con%ertido en seres casi tan !amiliares como los seres del mundo real.
;s, cada estructura aporta su propio lenguaje, completamente cargado de resonancias
intuiti%as particulares, emanadas de las teoras de las que a desprendido el anlisis
a>iomtico que emos descrito con anterioridad. / para el in%estigador que descubre
bruscamente esta estructura en los !enmenos que estudia, es como una modulacin
sDbita que orienta de golpe en una direccin inesperada la corriente intuiti%a de su
pensamiento, 0 que ilumina con una nue%a lu7 el paisaje matemtico en el que se
mue%e. Binsese Npara tomar un ejemplo antiguoN en el progreso reali7ado a principios
del siglo K=K con la representacin geomtrica de los ?nDmerosA imaginarios. $esde
nuestro punto de %ista consista en descubrir en el conjunto de los nDmeros complejos
una estructura topolgica bien conocida, la del plano eucl2deo, con todas las
posibilidades de aplicacin que ello implicaba 0 que, en manos de Xauss, ;bel, ,auc0
0 :iemann, reno%aran el Anlisis en manos de un siglo.

@ales ejemplos se an multiplicado en los Dltimos cincuenta aLos+ espacio de
&ilbert, 0 ms generalmente espacios !uncionales que introducen las estructuras
topolgicas en conjunto de elementos que 0a no son puntos, sino funcionesC Vn@meros
p9dicos de &ensel en los que, cosa ms sorprendente aDn, la topologa in%ade lo que,
asta entonces, era el reino de lo discreto, de los discontinuo por e>celencia, el conjunto
de los nDmeros enterosC Vmedida de &aar, que ampla enormemente el campo de
aplicacin de la nocin de integral 0 permite un anlisis mu0 pro!undo de las
propiedades de los grupos continuosC V0 otros tantos momentos decisi%os del progreso
de las matemticas, de %uelcos en los que un relmpago de genialidad decidi la
orientacin nue%a de una teora, re%elando en ella una estructura que no pareca a priori
tener papel alguno.
6s decir+ menos que nunca la matemtica queda reducida a un juego puramente
mecnico de !rmulas aisladas. Ms que nunca, la intuicin reina con autoridad en la
gnesis de los descubrimientos pero disponiendo, desde entonces, de potentes palancas
que le o!rece la teora de los grandes tipos de estructura 0 dominando de un solo %ista7o
(5
=ntuicin que, por lo dems, se equi%oca con !recuencia, como cualquier otra intuicin.
(5
inmensos dominios uni!icados por la a>iomtica, a donde otrora pareca reinar el ms
in!orme caos.
!na "isin de con#unto
Xuiados por la concepcin a>iomtica, intentemos pues representarnos el
conjunto del uni%erso matemtico. ,iertamente, apenas reconoceremos 0a el orden
tradicional que, al igual que las primeras clasi!icaciones de las especies animales, se
limitaba a colocar una junto a otra las teoras que presentaban ma0ores parecidos
e>teriores. 6n lugar de los comportamientos bien delimitados del Pl3ebra, del Anlisis,
de la Heor2a de los N@meros 0 de la Qeometr2a, allaremos, por ejemplo, la teor2a de los
n@meros primos junto a las curvas al3ebraicas, o la 3eometr2a eucl2dea junto a las
ecuaciones inte3ralesC 0 el principio ordenador ser la concepcin de una jerarqu2a de
estructuras, que %a de lo simple a lo complejo, de lo general a lo particular.
6n el centro estn los grandes tipos de estructuras de las que emos enumerado
antes las principales, las estructuras9madres podramos decir. 6n cada uno de estos tipos
reina una di%ersidad bastante grande, 0a que a0 que distinguir la estructura ms general
del tipo considerado, con el menor nDmero de a>iomas, de las que se obtienen
enriquecindola con a>iomas suplementarios, aportando cada uno de ellos su coseca de
nue%as consecuencias. 6s as, como la teora de grupos, ms all de las generalidades
%lidas para todos los grupos, 0 dependiendo slo de los a>iomas enunciados ms
arriba, comporta una teora particular de los 3rupos finitos 'donde se aLade el a>ioma de
que el nDmero de elementos del grupo es !inito*, una teora particular de los 3rupos
abelianos 'donde tenemos 8 y R y 8 para cualquier 8( y*, as como una teora de los
3rupos abelianos finitos 'donde se supone que ambos a>iomas se %eri!ican
simultneamente*. ;simismo, en los conjuntos ordenados, se distinguen aquellos en los
que como en el orden de los enteros o de los nDmeros reales*, dos elementos
cualesquiera son comparables, 0 que se llaman totalmente ordenadosC entre estos
Dltimos, se estudian ms particularmente aDn los conjuntos llamados bien ordenados 'en
los que, como para los enteros > 5, todo subconjunto tiene un Eelemento mnimoF*. Ma0
una gradacin anloga en las estructuras topolgicas.
Ms all de este primer nDcleo, aparecen estructuras que podramos llamar
m@ltiples, en las que inter%ienen a la %e7 dos o ms de las grandes estructurasVmadre, no
simplemente 0u>tapuestas 'lo que no aportara nada nue%o* sino combinadas
orgnicamente por uno o ms a>iomas que las ligan. 6s lo que se conoce como l3ebra
topol3ica, estudio de estructuras en las que !iguran a la %e7 una o ms leyes de
composicin 0 una topolo32a, ligadas por la condicin de que las operaciones
algebraicas sean funciones continuas 'para la topologa considerada* de los elementos
que implican. No menos importante es la topolo32a al3ebraica, donde ciertos conjuntos
de puntos del espacio, de!inidos por propiedades topolgicas 's2mplices, ciclos, etc.* se
toman ellos mismos como elementos sobre los que operan leyes de composicin. La
combinacin de las estructuras de orden 0 del l3ebra es, tambin, !rtil en resultados,
0 conduce por un lado a la teor2a de la divisibilidad 0 de los ideales, 0 por otro a la
Inte3racin 0 a la Iteor2a espectralJ de los operadores, en los que la topologa %iene
tambin a jugar su papel.
Ms lejos empie7an por !in, ablando propiamente, las teoras particulares en las
que los elementos de los conjuntos se consideran, completamente determinados en las
estructuras generales anali7adas asta aora, reciben una indi%idualidad ms
((
caracteri7ada. ;qu es donde se encuentran las teoras de la matemtica clsica+ anlisis
de las funciones de variable real o compleja, 3eometr2a diferencial, 3eometr2a
al3ebraica, teor2a de los n@merosC pero an perdido su antigua autonoma 0 se an
con%ertido aora en encrucijadas en las que se cru7an 0 actDa entre s numerosas
estructuras matemticas ms generales.
Bara conser%ar una justa perspecti%a, nos ace !alta, despus de este rpido
esquema, aLadir enseguida que slo debemos considerarlo una apro>imacin mu0
grosera del estado actual de las matemticas tal 0 como es en realidad. 6s a la %e7
esquemtico( ideali/ado 0 coa3ulado.
-squemtico Nporque en detalle las cosas no ocurren de manera tan simple ni tan
regular como puede parecer que emos dico. Ma0, entre otras cosas, inesperadas
%ueltas acia atrs en las que una teora mu0 particular como la de los nDmeros reales
%iene a prestar una a0uda indispensable para la construccin de una teora general como
la Hopolo32a o la Inte3racin.
Ideali/ado Nporque ace !alta que en todas las partes de las matemticas, la parte
e>acta de cada una de las grandes estructuras est per!ectamente reconocida 0
delimitada. 6n ciertos dominios 'por ejemplo en Heor2a de N@meros*, subsisten
numerosos resultados aislados que no se an sabido clasi!icar ni ligar asta aora de
manera satis!actoria con estructuras conocidas.
'oa3ulado !inalmente Nporque no a0 nada ms alejado del mtodo a>iomtico
que una concepcin esttica de la ciencia, 0 no querramos dejar creer al lector que
emos pretendido dibujar un estado de!initi%o de sta. Las estructuras no son
inmutables ni en su nDmero ni en su esencia. 6s mu0 posible que el desarrollo ulterior
de las matemticas aumente el nDmero de las estructuras !undamentales, re%elando la
!ecundidad de nue%os a>iomas o de nue%as combinaciones de a>iomas 0 podemos, de
antemano, dar por seguro progresos decisi%os de estas in%enciones de estructuras, a
ju7gar por los que an aportado las estructuras actualmente conocidas. Bor otra parte,
estas Dltimas no son en modo alguno edi!icios acabados 0 sera mu0 sorprendente que
todo el jugo de su principios estu%iera 0a agotado.
;s, con estos correcti%os indispensables podemos tener una ma0or conciencia
de la %ida interna de la matemtica, de lo que constitu0e, a la %e7, su unidad 0 su
di%ersidad, al igual que una gran ciudad, cu0as a%enidas no dejan de progresar, de
manera un poco catica, sobre el terreno circundante mientras que el centro se
reconstru0e peridicamente, siguiendo cada %e7 un plano ms claro 0 una ordenacin
ms majestuosa, ecando abajo los %iejos barrios 0 sus ddalos de callejones, para
e>tender acia la peri!eria a%enidas ms directas, ms ancas 0 ms cmodas.
$etorno al pasado y conclusin
La concepcin que emos intentado e>poner aqu no se a !ormado de una sola
%e7 0 constitu0e el !inal de una e%olucin que %iene siguiendo desde ace ms de medio
siglo, no sin aber encontrados serias resistencias, tanto en los !ilso!os como en los
propios matemticos. Mucos de estos Dltimo slo consintieron, durante largo tiempo,
en %er en la a>iomtica %anas sutile7as de lgicos, incapaces de !ecundar teora alguna.
(1
$ica crtica se e>plica sin duda por un mero accidentes istrico+ las primeras
a>iomati7aciones, que tu%ieron la ma0or resonancia 'las de la aritmtica con $ede.ind
0 Beano, de la geometra eucldea con Milbert* se re!eran a teoras univalentes, es decir
a teoras completamente determinadas por el sistema global de sus a>iomas, sistema que
no era, por consiguiente, susceptible de ser aplicado a ninguna otra teora distinta de la
que aba sido e>trado 'al re%s de lo que emos %isto para la teora de los grupos, por
ejemplo*. Si ubiera sido as para todas las estructuras, el reproce de esterilidad
dirigido al mtodo a>iomtico abra estado plenamente justi!icado
((
. Sin embargo, este
a mostrado el mo%imiento andando 0, los reca7os que se constatan aDn aqu 0 all
slo se e>plican por lo muco que de !orma natural, le cuesta al espritu admitir que,
ante un problema concreto, una !orma de intuicin distinta de la directamente sugerida
por los datos '0 que, con !recuencia, Dnicamente se obtiene por medio de una
abstraccin superior 0 a %eces di!cil* pueda resultar igualmente !ecunda.
6n cuanto a las objeciones de los !ilso!os, se dirigen sobre todo a un terreno en
el que, por !alta de competencia, tendremos mucsimo cuidado en a%enturarnos
seriamente+ el gran problema de las relaciones del mundo e>perimental 0 del mundo
matemtico
(1
. Jue e>iste una cone>in estreca entre los !enmenos e>perimentales 0
las estructuras matemticas, es algo que parece con!irmar, de la !orma ms inesperada,
los recientes descubrimientos de la !sica contempornea, pero ignoramos totalmente las
ra7ones pro!undas de ello 'si es que puede darse un sentido a estos trminos* 0 tal %e7 lo
ignoraremos siempre. 6n cualquier caso, es una constatacin que, en este punto, podra
incitar en un !uturo a los !ilso!os a una ma0or prudencia+ antes de los desarrollos
re%olucionarios de la !sica moderna se gastaron mucos es!uer7os en querer acer
surgir las matemticas, a cualquier precio, de %erdades e>perimentales, especialmente
de intuiciones espaciales inmediatas. Bero, por una parte, la !sica de los quanta mostr
que dica intuicin EmacroscpicaF de lo real cubra !enmenos EmicroscpicosF de
una naturale7a totalmente distinta que surgan de ramas de las matemticas que
ciertamente no se aban imaginado para aplicaciones a las ciencias e>perimentales. /,
por otra parte, el mtodo a>iomtico mostr que las E%erdadesF de las que se quera
acer pi%otar las matemticas no eran ms que aspectos mu0 especiales de concepciones
generales que no limitaban en absoluto su alcance. Si bien, a !in de cuentas, esta ntima
!usin, cu0a armoniosa necesidad nos aca admirar, slo apareca como un contacto
!ortuito de dos disciplinas cu0os la7os estn muco ms escondidos de lo que se poda
suponer a priori.
6n la concepcin a>iomtica, la matemtica apareca en suma como un
reser%orio de formas abstractas Nlas estructuras matemticas. / sucede Nsin saber mu0
bien por quV que ciertos aspectos de la realidad e>perimental llegan a amoldarse a
algunas de estas !ormas, como por una suerte de preadaptacin. No puede negarse, por
supuesto, que la ma0or parte de dicas !ormas tenan en su origen un contenido intuiti%o
bien determinado, pero es precisamente al %aciarlas %oluntariamente de este contenido
((
Se a asistido tambin, sobre todo en los principios de la a>iomtica, a un !lorecimiento de
estructuras teratolgicas, totalmente pri%adas de aplicaciones 0 cu0o Dnico mrito era mostrar el alcance
e>acto de cada a>ioma obser%ando lo que ocurra cuando se suprima o se modi!icaba. 6%identemente, se
poda tener la tentacin de concluir que esos eran Ylos Dnicos productos que se podan esperar del mtodoZ
(1
No abordaremos aqu las objeciones suscitadas por la aplicacin de las reglas de la lgica !ormal a
los ra7onamientos de las teoras a>iomticas. Se relacionan con las di!icultades lgicas encontradas en la
@eora de ,onjuntos. SeLalemos simplemente que dicas di!icultades pueden %encerse de una !orma que
no deja subsistir malestar ni duda alguna sobre la correccin de los ra7onamientos. Buede consultarse
sobre este tema los artculos de M. ,;:@;N 0 T. $=69$8NN6 citados ms arriba.
(3
cuando se les a sabido dar toda la e!icacia que tenan en potencia 0 se las a ecos
susceptibles de recibir interpretaciones nue%as 0 cumplir plenamente su papel
elaborador.
[nicamente en este sentido de la palabra E!ormaF puede decirse que el mtodo
a>iomtico es un E!ormalismoF. La unidad que con!iere a la matemtica no es el
arma7n de la lgica !ormal, unidad de esqueleto sin %ida. 6s la sa%ia nutriti%a de un
organismo en pleno desarrollo, el dcil 0 !ecundo instrumento de in%estigacin en las
que an trabajado conscientemente, desde Xauss, todos los grandes pensadores de las
matemticas, todos aquellos que, siguiendo la !rmula de LejeuneV$riclet, an tendido
siempre a EsustituirF las ideas por el clculo.
(4