Professional Documents
Culture Documents
= 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.
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.
>
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.
> 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.
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.