Está en la página 1de 11

6

LA ARQUITECTURA DE LAS MATEMTICAS La matemtica o las matemticas? N. Bour a!i


Dar en el momento actual, una idea de conjunto de la ciencia matemtica, es una empresa que parece ofrecer, de entrada, dificultades casi insalvables, dada la extensin y la variedad del tema. Al igual que en el caso de otras ciencias, el nmero de matemticos y de trabajos consagrados a las matemticas ha aumentado considerablemente desde finales del siglo ! . "as memorias de matemticas puras publicadas en el mundo durante un a#o normal, abarcan varios miles de pginas. $n ellas, por supuesto, no todo tiene el mismo valor, pero despu%s de una decantacin del desecho inevitable, no es menos cierto que cada a#o la ciencia matemtica se enriquece con muchos resultados nuevos, se diversifica y se ramifica constantemente en teor&as que, sin cesar, se modifican, se refunden, se confrontan y se combinan unas con otras. 'ingn matemtico, ni siquiera consagrando en ello toda su actividad, estar&a hoy en condiciones de seguir este desarrollo en todos sus detalles. (uen nmero de ellos se ci#en a un dominio de las matemticas del que no pretenden salir, y no slo ignoran casi por completo todo lo que no tiene que ver con la materia que han escogido sino que incluso ser&an incapaces de comprender el lenguaje y la terminolog&a empleados por los colegas que se adscriben a una especialidad alejada de la suya. )ocos hay, incluso entre aquellos cuya cultura es ms vasta, que no se sientan desorientados en ciertas regiones del universo matemtico. Aquellos que, como )oincar% o *ilbert, imprimen el sello de su genio en casi todos los dominios, constituyen, incluso entre los ms grandes, una rar&sima excepcin. 'o se trata aqu&, pues, de dar al profano una imagen precisa de aquello que los propios matemticos no pueden concebir en su totalidad. +in embargo, podemos preguntarnos si esta proliferacin exuberante es el desarrollo de un organismo slidamente construido, que adquiere cada d&a ms cohesin y unidad en su propio crecimiento, o si, por el contrario, no es ms que el signo exterior de una tendencia a un fraccionamiento cada ve, mayor, debido a la naturale,a misma de las matemticas, y si %stas no se estarn convirtiendo en una torre de (abel de disciplinas autnomas, aisladas unas de otras, tanto en sus principios como en sus m%todos, e incluso en su lenguaje. $n una palabra -existe hoy una matemtica o varias matemticas. Aunque ms actual que nunca, no deber&a creerse que esta pregunta es nueva/ est planteada desde los primeros pasos de la ciencia matemtica. 0 es que, en efecto, incluso dejando aparte las matemticas aplicadas, subsiste, entre la geometr&a y la aritm%tica 1al menos bajo su forma elemental2 una evidente dualidad de origen, siendo inicialmente la segunda ciencia de lo discreto, y la primera de la extensin continua, dos aspectos que se oponen radicalmente desde el descubrimiento de los irracionales. )or otra parte, fue precisamente este descubrimiento el que result fatal en la primera tentativa de unificacin de la ciencia, el aritmeticismo de los pitagricos 13todas las cosas son nmeros42. 'os ver&amos conducidos demasiado lejos si tuvi%ramos que seguir, desde el pitagorismo hasta nuestros d&as, las vicisitudes de la concepcin unitaria de las matemticas. $s %sta, adems, una tarea para la que est mejor preparado un filsofo que un matemtico, ya que es un rasgo comn de los diversos intentos para integrar en un todo coherente el conjunto de las matemticas 5ya se trate de )latn, de Descartes o

= de "eibni,, del aritmeticismo o de la log&stica del siglo ! 5 el estar ligados a un sistema filosfico ms o menos ambicioso, partiendo siempre, sin embargo, de ideas a priori sobre las relaciones de las matemticas con el doble universo del mundo exterior y el mundo del pensamiento. "o mejor que podemos hacer en relacin a este punto es remitir al lector sobre este punto al estudio histrico y cr&tico de "eon (runschvicg7 Les tapes de la philosophie mathmatique6. 'uestra tarea es ms modesta y ms circunscrita7 no pretenderemos examinar las relaciones de las matemticas con lo real o con las grandes categor&as del pensamiento/ es en el seno de la matemtica en donde pensamos quedarnos para buscar, anali,ando sus propios vericuetos, una respuesta a la pregunta que nos hemos planteado.

Formalismo lgico y mtodo axiomtico


Despu%s del fracaso, ms o menos aparente, de los diversos sistemas a los que hemos hecho alusin, parec&a, a principios del presente siglo, que casi se hubiera renunciado a ver en las matemticas una ciencia caracteri,ada por un objeto y un m%todo nicos. 8s bien se ten&a la tendencia a considerarlas como 3 una serie de disciplinas fundadas sobre nociones particulares, delimitadas con precisin, ligadas por mil caminos de comunicacin que permitiesen a los m%todos propios de una de estas disciplinas poder fecundar una o ms de ellas 1(runschvicg, Op. cit., p. 99:2. *oy, por el contrario, creemos que la evolucin interna de la ciencia matemtica ha promovido, a pesar de las apariencias, ms que nunca la unidad de sus diversas partes y ha creado una especie de ncleo central ms coherente que nunca. "o esencial de esta evolucin ha consistido en una sistemati,acin de las relaciones que existen entre las diversas teor&as matemticas, resumida en una tendencia conocida generalmente bajo el nombre de 3m%todo axiomtico4. +e la denomina tambi%n a veces 3formalismo4 o 3m%todo formalista4, pero debemos guardarnos, desde un principio, del peligro de confusin que provocan estas palabras mal definidas, explotadas no pocas veces, por los adversarios de la axiomtica. ;odo el mundo sabe que el carcter externo de las matemticas consiste en presentarse con el aspecto de aquella 3larga cadena de ra,ones4 de la que Descartes hablaba. Toda teora matemtica es un encadenamiento de proposiciones que se deducen unas de otras conforme a las re las de una l ica que, en lo esencial, es la establecida desde !ristteles con el nombre de l ica formal, convenientemente adaptada a los fines particulares del matemtico. $s, pues, una banalidad decir que este 3ra,onamiento deductivo4 es un principio de unidad para la matemtica. <na observacin tan superficial no puede ciertamente dar cuenta de la aparente complejidad de las diversas teor&as matemticas, no ms, por ejemplo, que la pretensin de reunir en una ciencia nica a la f&sica y a la biolog&a bajo el pretexto de que ambas aplican el m%todo experimental. $l modo de ra,onamiento por encadenamiento de silogismos, slo es un mecanismo transformador, aplicable indiferentemente a toda suerte de premisas, y no podr&a caracteri,ar, pues, la naturale,a d %stas. $n otras palabras, la forma exterior que la matemtica da a su pensamiento del veh&culo que la convierte en asimilable a otros =,
)ar&s, Alcan, 6>6= )or otra parte, todo matemtica sabe que una demostracin no est verdaderamente 3comprendida4 por ms que nos hemos ce#ido a verificar, paso a paso, la correccin de las deducciones que figuran en ella, si no hemos intentado concebir claramente las ideas que condujeron a construir esta cadena de deduccin con preferencia a cualquier otra.
= 6

C y, para decirlo todo, del len ua"e propio de la matemtica/ y no debemos esperar ms de %l. ?odificar este lenguaje, ordenar su vocabulario y clarificar su sintaxis es hacer una obra muy til que constituye, efectivamente, un aspecto del m%todo axiomtico, aquel que podemos llamar propiamente formalismo l ico 1o, como se dice tambi%n, la 3log&stica42. )ero 5e insistimos en este punto5 este solo es un aspecto, y el menos interesante. "o que la axiomtica se propone como fin esencial es precisamente lo que el formalismo lgico es incapa, de ofrecer por s& solo7 la inteligibilidad profunda de las matemticas. Del mismo modo que el m%todo experimental parte de la creencia a priori en la permanencia de las leyes naturales, el m%todo axiomtico encuentra su punto de apoyo en la conviccin de que, si las matemticas no son un encadenamiento de silogismo que se desarrollan al a,ar, no son tampoco una coleccin de artificios ms o menos 3astutos4, hechos de aproximaciones fortuitas en las que triunfa la pura habilidad t%cnica. All& donde el observador superficial slo ve dos o ms teor&as muy distintas en apariencia, que se prestan, por intermedio de un matemtico genial, una 3ayuda inesperada4 1(runschvicg, Op. cit. p. 99@2, el m%todo axiomtico ense#a a buscar las ra,ones profundas de ese descubrimiento, a encontrar las ideas comunes camufladas bajo el aparato exterior de los detalles propios de cada una de las teor&as consideradas, a descubrir estas ideas y a ponerlas de manifiesto.

La nocin de estructura
-?mo se reali,a dicha operacin. Ah& es donde la axiomtica se aproxima ms al m%todo experimental. (ebiendo como %l en la fuente cartesiana, 3dividir las dificultades para resolverlas mejor4. $n las demostraciones de una teor&a, buscar disociar los principales resortes de los ra,onamientos que figuran en ellas. Despu%s, tomando cada una de ellas aisladamente y plantendose como un principio abstracto, desarrollar las consecuencias que le son propias. Ainalmente, volviendo a la teor&a estudiada, combinar de nuevo los elementos constitutivos previamente liberados y estudiar cmo reaccionan unos con otros. 'o hay, por supuesto, nada nuevo en esta clsica ida y vuelta entre el anlisis y la s&ntesis. ;oda la originalidad del m%todo reside en la forma como se aplica. )ara ilustrar con un ejemplo el procedimiento del que acabamos de dar una descripcin esquemtica, tomaremos una de las teor&as axiomticas ms antigua 1y una de las ms simples2, la de los "ru#os a stractos. ?onsideremos, por ejemplo, las tres operaciones siguientes7 6B la adicin de los nmeros reales, donde la suma de dos nmeros reales 1positivos, negativos o nulos2 se define de la manera ordinaria/ =B la multiplicacin de los enteros 3mdulo un nmero primo p, en donde los elementos considerados son los enteros #, $,..., p%#, siendo, por convencin, el 3producto4 de dos de estos nmeros el resto de la divisin por p de su producto en el sentido ordinario/ CB la 3composicin4 de los despla,amientos en el espacio eucl&deo de tres dimensiones, siendo por definicin el 3compuesto 1o 3producto42 de dos despla,amientos &, T 1tomados en este orden2 el despla,amiento obtenido al efectuar primero el despla,amiento T y despu%s el despla,amiento &.

9 $n cada una de estas tres teor&as, a dos elementos, ', ( 1tomados en este orden2 del conjunto de elementos considerado 1en el primer caso el conjunto de los nmeros reales, en el segundo caso de los nmeros #, $...,p%#, en el tercero el conjunto de todos los despla,amientos2 se les hace corresponder 1por un procedimiento particular a la teor&a2 un tercer elemento bien determinado, que convendremos en designar simblicamente en los tres casos por ' ( 1esto es7 la suma de ' y de ( son nmeros reales, su producto 3mdulo p4 si son enteros p%#, su 3compuesto4 si se trata de despla,amientos2. +i examinamos ahora las propiedades de esta 3operacin4 en cada una de las teor&as, constatamos que presentan un paralelismo notable/ pero en el interior de cada una de dichas teor&as, estas propiedades dependen unas de las otras, y un anlisis de sus conexiones lgicas lleva a desprender un nmero reducido de ellas que son independientes 1es decir que ninguna es consecuencia lgica de las otras2. )odemos, por ejemploC, tomar las tres siguientes, que expresaremos en nuestra notacin simblica comn a las tres teor&as pero que es fcil traducir al lenguaje particular de cada una de ellas7 a) )ara cualesquiera elementos ', (, *, tenemos ' +( *) D +' () * 13asociatividad4 de la operacin ' (2 b) $xiste un elemento e tal que, para todo elemento ', tenemos e ' D ' e D ' 1para la adicin de los nmeros reales es el nmero ,/ para la multiplicacin 3mdulo p4 es el nmero #/ para la composicin de despla,amientos es el despla,amiento identidad que deja fijo cada punto del espacio2/ c) )ara todo elemento ', existe un elemento '- tal que ' '- D '- ' D e 1para la adicin de los nmeros reales, '- es el nmero opuesto .'/ para la composicin de despla,amiento, '- es el despla,amiento inverso de ', es decir, el que vuelve a llevar cada punto despla,ado por ' a su posicin primitiva/ para la multiplicacin 3mdulo p4, la existencia de '- resulta de un ra,onamiento de aritm%tica muy simple9. +e constata entonces que las propiedades que son susceptibles de expresarse de la misma manera en las tres teor&as, con la ayuda de la notacin comn, son consecuencias de las tres precedentes. )or ejemplo, nos proponemos demostrar que la relacin ' ( D ' * implica ( D *. )odr&amos hacerlo en cada una de las teor&as por un ra,onamiento que le fuera particular, pero podemos proceder de la manera siguiente, aplicable a todos los casos7 de la relacin ' ( D ' * se deduce 1teniendo '- el sentido definido ms arriba2 '- +' () D '- +' *)/ despu%s aplicando a) +'- ') ( D +'- ') */ utili,ando c) esta relacin se escribe e ( D e *, y finalmente, aplicando b), ( D *, que es lo que hab&a que demostrar. $n este ra,onamiento hemos hecho total abstraccin de la naturale*a de los elementos ', (, * considerados, es decir que no tenemos necesidad de saber si eran nmeros reales, enteros p%#, o despla,amientos. "a
$sta eleccin no tiene nada de absoluta y se conocen numerosos sistemas de axiomas 3equivalentes4 al que explicitamos, siendo los enunciados de los axiomas de cada uno de estos sistemas consecuencias lgicas de los axiomas de uno cualquiera de los otros sistemas. 9 +e#alamos que los restos de la divisin por p de los nmeros '#, '$,..., 'n,... no pueden ser todos distintos. $xpresando que dos de dichos restos son iguales, se muestra fcilmente que una potencia '# m de '# tiene un resto igual a #/ si '- es el resto de la divisin por p de 'm%#, se concluye que el producto 3mdulo p4 de ' y de '- es igual a #.
C

E nica premisa que ha intervenido es que la operacin ' ( sobre estos elementos satisface las propiedades a), b) y c). $ntendemos, aunque no sea ms que para evitar repeticiones fastidiosas que es cmodo desarrollar de una ve* por todas las consecuencias lgicas de las tres /nicas propiedades a), b) y c). 'aturalmente, por comodidad de lenguaje, hay que adoptar una terminolog&a comn. Decimos as& que un conjunto en el que se ha definido una operacin ' ( que satisface las tres propiedades a), b) y c) est provisto de una estructura de rupo 1o ms brevemente, que es un rupo2/ las propiedades a), b) y c) se denominan los a'iomasE de las estructuras de rupo, y desarrollar sus consecuencias es desarrollar la teora a'iomtica de los rupos. Ahora ya podemos comprender qu% es lo que hay que entender, de manera general, por una estructura matemtica. $l rasgo comn de las diferentes nociones designadas con este nombre gen%rico es que se aplican a conjuntos de elementos cuya naturale,a@ no est especificada/ para definir una estructura, se dan una o ms relaciones en las que intervienen estos elementos: 1en el caso de los grupos, era la relacin * D ' ( entre tres elementos arbitrarios2/ se postula despu%s que la o las relaciones dadas satisfacen ciertas condiciones 1que se enumeran2 y que son los axiomas de la estructura consideradaF. $laborar la teor&a axiomtica de una estructura dada es deducir las consecuencias lgicas de los axiomas de las estructura prohibi%ndose cualquier otra hiptesis sobre los elementos considerados 1en particular, cualquier hiptesis sobre su 3naturale,a4 propia2.

'o hace falta decir que no hay ningn punto comn entre este sentido de la palabra a'ioma y el sentido tradicional de verdad evidente. @ 'os situamos aqu& en el punto de vista 3ingenuo4 y no abordamos las espinosas preguntas, semifilosficas, semimatemticas, surgidas del problema de la 3naturale,a4 de los 3seres4 u 3objetos4 matemticos. 'os bastar con decir que, poco a poco, las investigaciones axiomticas de los siglos ! y han sustituido tambi%n el pluralismo inicial de la representacin mental de estos 3seres4 5imaginados al principio como 3abstracciones4 ideales de la experiencia sensible que conservan toda la heterogeneidad de %sta5 por una nocin unitaria que progresivamente conduce a todas las nociones matemticas, primero a la del nmero entero, despu%s, en una segunda etapa, a la nocin de con"unto. $sta ltima, considerada durante mucho tiempo como 3primitiva4 e indefinible4, fue objeto de pol%micas sin fin debidas a su carcter de extrema generalidad y a la naturale,a muy vaga de las representaciones mentales que evoca. "as dificultades slo se han desvanecido cuando se ha desvanecido la nocin misma de con"unto 1y con ella, todos los pseudoproblemas metaf&sicos sobre los 3seres4 matemticos2 a la lu, de las recientes investigaciones sobre el formalismo lgico. $n esta nueva concepcin, las estructuras matemticas se convierten, propiamente hablando, en los nicos 3objetos4 de la matemtica. $l lector encontrar desarrollos ms amplios sobre este punto en los dos art&culos siguientes7 G. D!$<DH''I7 Les mthodes a'iomatiques modernes et les fondements des mathmatiques 10evue &cientifique, " J!! 16>C>2 p. ==9K=C=2/ *. ?AL;A'7 &ur le fondement lo ique des mathmatiques. +0evue &cientifique, " ! 16>9C2, p. CK662. : $n realidad, esta definicin de las estructuras no es suficientemente general para las necesidades de las matemticas. *ay que considerar tambi%n el caso en que tendr&an lugar las relaciones que definen una estructura, no entre elementos del conjunto considerado sino tambi%n entre partes de dicho conjunto, e incluso, ms generalmente, entre elementos de conjuntos de 3grado4 an ms elevado en lo que se llama la 3escala de los tipos4. )ara ms precisiones sobre este punto, ver nuestros 1lements de 2athmatique, livre ! 1fasc&culo de resultados2, !ctual &cient, et 3dustr., nB F9@M. M $ste primer fasc&culo de resultados ha sido editado recientemente por $d. 8asson, )aris, 6>>N7 '. (H<L(AO!, 1lements de mathmatique,# +Thorie des ensembles, chap. # 4 5). F $n los casos de los grupos, habr&a que considerar, en rigor, como axioma, adems de las propiedades a), b), c) enunciadas ms arriba, el hecho de que la relacin * D ' ( determina un * y slo uno, para ' e ( dados. De ordinario, se considera que esta propiedad se halla tcitamente impl&cita en la escritura de esta relacin.

Los grandes tipos de estructura


"as relaciones que forman el punto de partida de la definicin de una estructura pueden ser asimismo de naturale,a bastante variada. "a que interviene en las estructuras de grupo es lo que se llama una 3ley de composicin4, es decir una relacin entre tres elementos que determina al tercero de manera nica en funcin de los dos primeros. ?uando las relaciones de definicin de una estructura son 3leyes de composicin4, la estructura correspondiente se llama estructura al ebraica 1por ejemplo, una estructura de cuerpo se define mediante dos leyes de composicin. ?on axiomas convenientes la adicin y la multiplicacin de los nmeros reales definen una estructura de cuerpo en el conjunto de dichos nmeros2. Htro tipo importante viene dado por las estructuras definidas por una relacin de orden. $sta ve, se trata de una relacin entre dos elementos ', (, que, a menudo se enuncia 3' es menor o igual a (4, y que anotaremos, en general ' (. Aqu& no suponemos ya que la relacin determine de forma nica uno de los elementos ', (, en funcin del otro. "os axiomas a los que se somete son los siguientes7 a) para todo ', tenemos ' '/ b) las relaciones ' ( e ( * implican ' D (/ c) las relaciones ' ( e ( *, implican ' *. <n ejemplo evidente de conjunto provisto de una tal estructura es el conjunto de los enteros 1o el de los nmeros reales2, reempla,ando el signo por el signo . Hbservemos, sin embargo, que no hemos incluido en los axiomas la propiedad siguiente, que parece inseparable de la nocin vulgar de 3orden47 3cualesquiera que sean ' e (, tenemos ' ( o ( '4. Dicho de otra manera, no se excluye el caso en el que dos elementos puedan ser incomparables. $sto, a primera vista, puede parecer paradjico, pero es fcil dar ejemplos muy importantes de estructura de orden en los que se presenta tal fenmeno. $s lo que ocurre cuando la relacin 6 7, siendo 6 e 7 partes de un mismo conjunto, significa 36 est contenido en 74/ o tambi%n cuando siendo ' e ( enteros > ,, ' ( significa 3' divide a (4/ o finalmente cuando, siendo f+') y +') funciones reales definidas en un intervalo a ' b, f+') +') significa 3para todo ' f+') +')4. $stos ejemplos muestran al mismo tiempo la gran variedad de dominios en los que intervienen las estructuras de orden y dejan presentir el inter%s de su estudio. Diremos an algunas palabras sobre un tercer gran tipo de estructuras, las estructuras topol icas o 1topolo as27 ofrecen una formulacin matemtica abstracta de las nociones intuitivas de entorno, de lmite y de continuidad, a las que nos conduce nuestra concepcin del espacio. $l esfuer,o de abstraccin que necesita el enunciado de los axiomas de tal estructura es aqu& netamente superior al que corresponde en los ejemplos precedentes, y el marco de esta exposicin nos obliga a remitir a los lectores deseosos de precisiones sobre este punto a los tratados especiali,ados>.

La estandarizacin del instrumento matemtico

>

Jer por ejemplo nuestros 1lements de mathmatique, livre !!! 1Topolo ie enrale2, introduccin y cap&tulo !. !ctual &cient et 3dustr., nB FEF.

: )ensamos haber dicho suficiente para permitir al lector hacerse una idea bastante precisa del mtodo a'iomtico. +u rasgo ms sobresaliente, adems de lo que precede, es que permite una econom&a de pensamiento considerable. "as 3estructuras4 son herramientas para el matemtico y una ve, que ha discernido, entre los elementos que estudia, relaciones que satisfagan los axiomas de una estructura de un tipo conocido, dispone asimismo de todo el arsenal de teoremas generales relativos a las estructuras de este tipo all& donde, hasta entonces, deb&a forjarse %l mismo, laboriosamente medios de abordaje cuya potencia depend&a de su talento personal y que se ve&an entorpecidos frecuentemente con hiptesis intilmente restrictivas, provenientes de las particularidades del problema estudiado. )odr&amos decir, pues, que el m%todo axiomtico no es sino el 3sistema de ;aylor4 de las matemticas. $sta comparacin es, sin embargo, insuficiente. $l matemtico no trabaja mecnicamente, como el obrero en una cadena de montaje. 'unca se insistir suficientemente en el papel fundamental que juega, en sus investigaciones, una intuicin particular6N que no es la intuicin sensible vulgar sino ms bien una suerte de adivinacin directa 1anterior a todo ra,onamiento2 del normal comportamiento que debe esperar con todo derecho por parte de unos seres matemticos que un prolongado y frecuente trato ha convertido en seres casi tan familiares como los seres del mundo real. As&, cada estructura aporta su propio lenguaje, completamente cargado de resonancias intuitivas particulares, emanadas de las teor&as de las que ha desprendido el anlisis axiomtico que hemos descrito con anterioridad. 0 para el investigador que descubre bruscamente esta estructura en los fenmenos que estudia, es como una modulacin sbita que orienta de golpe en una direccin inesperada la corriente intuitiva de su pensamiento, y que ilumina con una nueva lu, el paisaje matemtico en el que se mueve. )i%nsese 5para tomar un ejemplo antiguo5 en el progreso reali,ado a principios del siglo ! con la representacin geom%trica de los PnmerosQ imaginarios. Desde nuestro punto de vista consist&a en descubrir en el conjunto de los nmeros complejos una estructura topolgica bien conocida, la del plano eucldeo, con todas las posibilidades de aplicacin que ello implicaba y que, en manos de Rauss, Abel, ?auchy y Liemann, renovar&an el !nlisis en manos de un siglo. ;ales ejemplos se han multiplicado en los ltimos cincuenta a#os7 espacio de 8ilbert, y ms generalmente espacios funcionales que introducen las estructuras topolgicas en conjunto de elementos que ya no son puntos, sino funciones/ Kn/meros p%dicos de 8ensel en los que, cosa ms sorprendente an, la topolog&a invade lo que, hasta entonces, era el reino de lo discreto, de los discontinuo por excelencia, el conjunto de los nmeros enteros/ Kmedida de 8aar, que ampl&a enormemente el campo de aplicacin de la nocin de integral y permite un anlisis muy profundo de las propiedades de los grupos continuos/ Ky otros tantos momentos decisivos del progreso de las matemticas, de vuelcos en los que un relmpago de genialidad decidi la orientacin nueva de una teor&a, revelando en ella una estructura que no parec&a a priori tener papel alguno. $s decir7 menos que nunca la matemtica queda reducida a un juego puramente mecnico de frmulas aisladas. 8s que nunca, la intuicin reina con autoridad en la g%nesis de los descubrimientos pero disponiendo, desde entonces, de potentes palancas que le ofrece la teor&a de los grandes tipos de estructura y dominando de un solo vista,o
6N

!ntuicin que, por lo dems, se equivoca con frecuencia, como cualquier otra intuicin.

F inmensos dominios unificados por la axiomtica, ah& donde otrora parec&a reinar el ms informe caos.

Una visin de conjunto


Ruiados por la concepcin axiomtica, intentemos pues representarnos el conjunto del universo matemtico. ?iertamente, apenas reconoceremos ya el orden tradicional que, al igual que las primeras clasificaciones de las especies animales, se limitaba a colocar una junto a otra las teor&as que presentaban mayores parecidos exteriores. $n lugar de los comportamientos bien delimitados del 9l ebra, del !nlisis, de la Teora de los :/meros y de la ;eometra, hallaremos, por ejemplo, la teora de los n/meros primos junto a las curvas al ebraicas, o la eometra eucldea junto a las ecuaciones inte rales/ y el principio ordenador ser la concepcin de una "erarqua de estructuras, que va de lo simple a lo complejo, de lo general a lo particular. $n el centro estn los grandes tipos de estructuras de las que hemos enumerado antes las principales, las estructuras%madres podr&amos decir. $n cada uno de estos tipos reina una diversidad bastante grande, ya que hay que distinguir la estructura ms general del tipo considerado, con el menor nmero de axiomas, de las que se obtienen enriqueci%ndola con axiomas suplementarios, aportando cada uno de ellos su cosecha de nuevas consecuencias. $s as&, como la teor&a de grupos, ms all de las generalidades vlidas para todos los grupos, y dependiendo slo de los axiomas enunciados ms arriba, comporta una teor&a particular de los rupos finitos 1donde se a#ade el axioma de que el nmero de elementos del grupo es finito2, una teor&a particular de los rupos abelianos 1donde tenemos ' ( D ( ' para cualquier ', (2, as& como una teor&a de los rupos abelianos finitos 1donde se supone que ambos axiomas se verifican simultneamente2. Asimismo, en los con"untos ordenados, se distinguen aquellos en los que como en el orden de los enteros o de los nmeros reales2, dos elementos cualesquiera son comparables, y que se llaman totalmente ordenados/ entre estos ltimos, se estudian ms particularmente an los conjuntos llamados bien ordenados 1en los que, como para los enteros > ,, todo subconjunto tiene un 3elemento m&nimo42. *ay una gradacin anloga en las estructuras topolgicas. 8s all de este primer ncleo, aparecen estructuras que podr&amos llamar m/ltiples, en las que intervienen a la ve, dos o ms de las grandes estructurasKmadre, no simplemente yuxtapuestas 1lo que no aportar&a nada nuevo2 sino combinadas orgnicamente por uno o ms axiomas que las ligan. $s lo que se conoce como l ebra topol ica, estudio de estructuras en las que figuran a la ve, una o ms le(es de composicin y una topolo a, ligadas por la condicin de que las operaciones algebraicas sean funciones continuas 1para la topolog&a considerada2 de los elementos que implican. 'o menos importante es la topolo a al ebraica, donde ciertos conjuntos de puntos del espacio, definidos por propiedades topolgicas 1smplices, ciclos, etc.2 se toman ellos mismos como elementos sobre los que operan le(es de composicin. "a combinacin de las estructuras de orden y del l ebra es, tambi%n, f%rtil en resultados, y conduce por un lado a la teora de la divisibilidad y de los ideales, y por otro a la 3nte racin y a la teora espectral de los operadores, en los que la topolog&a viene tambi%n a jugar su papel. 8s lejos empie,an por fin, hablando propiamente, las teor&as particulares en las que los elementos de los conjuntos se consideran, completamente determinados en las estructuras generales anali,adas hasta ahora, reciben una individualidad ms

> caracteri,ada. Aqu& es donde se encuentran las teor&as de la matemtica clsica7 anlisis de las funciones de variable real o comple"a, eometra diferencial, eometra al ebraica, teora de los n/meros/ pero han perdido su antigua autonom&a y se han convertido ahora en encrucijadas en las que se cru,an y acta entre s& numerosas estructuras matemticas ms generales. )ara conservar una justa perspectiva, nos hace falta, despu%s de este rpido esquema, a#adir enseguida que slo debemos considerarlo una aproximacin muy grosera del estado actual de las matemticas tal y como es en realidad. $s a la ve, esquemtico, ideali*ado y coa ulado. 1squemtico 5porque en detalle las cosas no ocurren de manera tan simple ni tan regular como puede parecer que hemos dicho. *ay, entre otras cosas, inesperadas vueltas hacia atrs en las que una teor&a muy particular como la de los nmeros reales viene a prestar una ayuda indispensable para la construccin de una teor&a general como la Topolo a o la 3nte racin. 3deali*ado 5porque hace falta que en todas las partes de las matemticas, la parte exacta de cada una de las grandes estructuras est% perfectamente reconocida y delimitada. $n ciertos dominios 1por ejemplo en Teora de :/meros2, subsisten numerosos resultados aislados que no se han sabido clasificar ni ligar hasta ahora de manera satisfactoria con estructuras conocidas. <oa ulado finalmente 5porque no hay nada ms alejado del m%todo axiomtico que una concepcin esttica de la ciencia, y no querr&amos dejar creer al lector que hemos pretendido dibujar un estado definitivo de %sta. "as estructuras no son inmutables ni en su nmero ni en su esencia. $s muy posible que el desarrollo ulterior de las matemticas aumente el nmero de las estructuras fundamentales, revelando la fecundidad de nuevos axiomas o de nuevas combinaciones de axiomas y podemos, de antemano, dar por seguro progresos decisivos de estas invenciones de estructuras, a ju,gar por los que han aportado las estructuras actualmente conocidas. )or otra parte, estas ltimas no son en modo alguno edificios acabados y ser&a muy sorprendente que todo el jugo de su principios estuviera ya agotado. As&, con estos correctivos indispensables podemos tener una mayor conciencia de la vida interna de la matemtica, de lo que constituye, a la ve,, su unidad y su diversidad, al igual que una gran ciudad, cuyas avenidas no dejan de progresar, de manera un poco catica, sobre el terreno circundante mientras que el centro se reconstruye peridicamente, siguiendo cada ve, un plano ms claro y una ordenacin ms majestuosa, echando abajo los viejos barrios y sus d%dalos de callejones, para extender hacia la periferia avenidas ms directas, ms anchas y ms cmodas.

Retorno al pasado y conclusin


"a concepcin que hemos intentado exponer aqu& no se ha formado de una sola ve, y constituye el final de una evolucin que viene siguiendo desde hace ms de medio siglo, no sin haber encontrados serias resistencias, tanto en los filsofos como en los propios matemticos. 8uchos de estos ltimo slo consintieron, durante largo tiempo, en ver en la axiomtica vanas sutile,as de lgicos, incapaces de fecundar teor&a alguna.

6N Dicha cr&tica se explica sin duda por un mero accidentes histrico7 las primeras axiomati,aciones, que tuvieron la mayor resonancia 1las de la aritm%tica con DedeSind y )eano, de la geometr&a eucl&dea con *ilbert2 se refer&an a teor&as univalentes, es decir a teor&as completamente determinadas por el sistema global de sus axiomas, sistema que no era, por consiguiente, susceptible de ser aplicado a ninguna otra teor&a distinta de la que hab&a sido extra&do 1al rev%s de lo que hemos visto para la teor&a de los grupos, por ejemplo2. +i hubiera sido as& para todas las estructuras, el reproche de esterilidad dirigido al m%todo axiomtico habr&a estado plenamente justificado66. +in embargo, este ha mostrado el movimiento andando y, los recha,os que se constatan an aqu& y all slo se explican por lo mucho que de forma natural, le cuesta al esp&ritu admitir que, ante un problema concreto, una forma de intuicin distinta de la directamente sugerida por los datos 1y que, con frecuencia, nicamente se obtiene por medio de una abstraccin superior y a veces dif&cil2 pueda resultar igualmente fecunda. $n cuanto a las objeciones de los filsofos, se dirigen sobre todo a un terreno en el que, por falta de competencia, tendremos much&simo cuidado en aventurarnos seriamente7 el gran problema de las relaciones del mundo experimental y del mundo matemtico6=. Tue existe una conexin estrecha entre los fenmenos experimentales y las estructuras matemticas, es algo que parece confirmar, de la forma ms inesperada, los recientes descubrimientos de la f&sica contempornea, pero ignoramos totalmente las ra,ones profundas de ello 1si es que puede darse un sentido a estos t%rminos2 y tal ve, lo ignoraremos siempre. $n cualquier caso, es una constatacin que, en este punto, podr&a incitar en un futuro a los filsofos a una mayor prudencia7 antes de los desarrollos revolucionarios de la f&sica moderna se gastaron muchos esfuer,os en querer hacer surgir las matemticas, a cualquier precio, de verdades experimentales, especialmente de intuiciones espaciales inmediatas. )ero, por una parte, la f&sica de los quanta mostr que dicha intuicin 3macroscpica4 de lo real cubr&a fenmenos 3microscpicos4 de una naturale,a totalmente distinta que surg&an de ramas de las matemticas que ciertamente no se hab&an imaginado para aplicaciones a las ciencias experimentales. 0, por otra parte, el m%todo axiomtico mostr que las 3verdades4 de las que se quer&a hacer pivotar las matemticas no eran ms que aspectos muy especiales de concepciones generales que no limitaban en absoluto su alcance. +i bien, a fin de cuentas, esta &ntima fusin, cuya armoniosa necesidad nos hac&a admirar, slo aparec&a como un contacto fortuito de dos disciplinas cuyos la,os estn mucho ms escondidos de lo que se pod&a suponer a priori. $n la concepcin axiomtica, la matemtica aparec&a en suma como un reservorio de formas abstractas 5las estructuras matemticas. 0 sucede 5sin saber muy bien por qu%K que ciertos aspectos de la realidad experimental llegan a amoldarse a algunas de estas formas, como por una suerte de preadaptacin. 'o puede negarse, por supuesto, que la mayor parte de dichas formas ten&an en su origen un contenido intuitivo bien determinado, pero es precisamente al vaciarlas voluntariamente de este contenido
+e ha asistido tambi%n, sobre todo en los principios de la axiomtica, a un florecimiento de estructuras teratolgicas, totalmente privadas de aplicaciones y cuyo nico m%rito era mostrar el alcance exacto de cada axioma observando lo que ocurr&a cuando se suprim&a o se modificaba. $videntemente, se pod&a tener la tentacin de concluir que esos eran Ulos nicos productos que se pod&an esperar del m%todoV 6= 'o abordaremos aqu& las objeciones suscitadas por la aplicacin de las reglas de la lgica formal a los ra,onamientos de las teor&as axiomticas. +e relacionan con las dificultades lgicas encontradas en la ;eor&a de ?onjuntos. +e#alemos simplemente que dichas dificultades pueden vencerse de una forma que no deja subsistir malestar ni duda alguna sobre la correccin de los ra,onamientos. )uede consultarse sobre este tema los art&culos de *. ?AL;A' y G. D!$<DH''$ citados ms arriba.
66

66 cuando se les ha sabido dar toda la eficacia que ten&an en potencia y se las ha hechos susceptibles de recibir interpretaciones nuevas y cumplir plenamente su papel elaborador. Wnicamente en este sentido de la palabra 3forma4 puede decirse que el m%todo axiomtico es un 3formalismo4. "a unidad que confiere a la matemtica no es el arma,n de la lgica formal, unidad de esqueleto sin vida. $s la savia nutritiva de un organismo en pleno desarrollo, el dcil y fecundo instrumento de investigacin en las que han trabajado conscientemente, desde Rauss, todos los grandes pensadores de las matemticas, todos aquellos que, siguiendo la frmula de "ejeuneKDrichlet, han tendido siempre a 3sustituir4 las ideas por el clculo.