(

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 %e culo 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 del 4 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

1
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 derec o 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 susodic a 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 susodic a 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

3 '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 E 5 caps#F Hopolo3ie 3enerale E 5 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 mat matique, 'a)iers du sud#

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 desec o ine%itable, no es menos cierto que cada aLo la ciencia matemtica se enriquece con muc os 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 co esin 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 co erente el conjunto de las matemticas N0a se trate de Blatn, de $escartes o

O 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 ec o 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 E una 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 co erente 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 %e culo que la con%ierte en asimilable a otros 1,
Bars, ;lcan, (H(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.
1 (

) 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, ec os 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 dic a 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(###( p9 , 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 $.

I 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 a ora 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 dic as 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 ejemplo3, 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 simple4. 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 ec o 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
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 dic os 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 8m9 , se conclu0e que el producto Emdulo pF de 8 0 de 8K es igual a .
3

S 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 a8iomasO 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 consideradaS. 6laborar la teora a>iomtica de una estructura dada es deducir las consecuencias lgicas de los a>iomas de las estructura pro ibindose cualquier otra iptesis sobre los elementos considerados 'en particular, cualquier iptesis sobre su Enaturale7aF propia*.

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 muc o 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 dic o 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 ec o 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.

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 dic os 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. $ic o 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 especiali7adosH.

La estandarizacin del instrumento matemtico

Uer por ejemplo nuestros -lements de mat),matique, li%re === 'Hopolo3ie 3en,rale*, introduccin 0 captulo =. Actual $cient et Idustr#, nQ SOS.

(5 Bensamos aber dic o 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 derec o 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, ,auc 0 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.

(( 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 cosec a 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 a ora, reciben una indi%idualidad ms

(1 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 a ora 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 dic o. 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 a ora 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, ec ando abajo los %iejos barrios 0 sus ddalos de callejones, para e>tender acia la peri!eria a%enidas ms directas, ms anc as 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. Muc os de estos Dltimo slo consintieron, durante largo tiempo, en %er en la a>iomtica %anas sutile7as de lgicos, incapaces de !ecundar teora alguna.

(3 $ic a 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 reproc e de esterilidad dirigido al mtodo a>iomtico abra estado plenamente justi!icado ((. Sin embargo, este a mostrado el mo%imiento andando 0, los rec a7os que se constatan aDn aqu 0 all slo se e>plican por lo muc o 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 muc simo 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 estrec a 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 muc os 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 dic a 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 muc o 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 dic as !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 dic as 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.
((

(4 cuando se les a sabido dar toda la e!icacia que tenan en potencia 0 se las a ec os 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$ric let, an tendido siempre a EsustituirF las ideas por el clculo.