MATEMATICAS, CIENCIA Y TECNOLOG IA: PROFUNDA Y DURADERA UNA RELACION

Juan Luis Vzquez a

Departamento de Matemticas a Universidad Autnoma de Madrid o

No te preocupes demasiado por lo que son las Matemticas a antes de probar tu suerte. Ya lo irs viendo. a

RESUMEN 1. Introduccin. Esencia y papel de las Matemticas. o a - Un arte puro. - Otra visin, otro papel. o - Repercusin de la Matemtica. o a 2. Herederos de Galileo y Newton. - Los dos pilares. 3. El siglo de la Razn y de las Luces. o 4. El siglo XIX, el gran siglo de la ciencia. - La Evolucin Interna. o - El contexto social. 5. Un cambio de siglo revuelto. 6. El siglo XX, un siglo de maravillas. - Nuevas matemticas que nos llegaron de la F a sica. - Las matemticas que vienieron de la ingerier a a. - Grandes novedades que vinieron de las matemticas. a - Las matemticas y la vida social. La teor de juegos. a a

7. Ingenier y matemticas en la ultima revolucin del a a o siglo. Los ordenadores y la matemtica computacional. a - El mundo computacional, un nuevo mundo para las matemticas. a - Un nuevo paradigma de la ciencia. 8. Los retos y tendencias del siglo XXI. Matemticas en a las ciencias, la industria, las nanzas y la administracin. o 9. De los 23 problemas de Hilbert en 1990 a los problemas de Clay en 2000. 10. Ejemplos de nuevos cursos. 11. Hechos y opiniones. - Hacer y ense ar matemticas hoy. n a - La modelizacin. o - Promesas y plazos. - Puntos para un debate. 12. Breve apunte sobre las Matemticas en Espa a. a n Conclusin. o REFERENCIAS

RESUMEN Los matemticos suelen decir que la esencia de las Matemticas rea a side en la belleza de los nmeros, guras y relaciones, y hay una gran u verdad en ello. Pero la fuerza motriz de la innovacin matemtica en los o a siglos pasados ha sido el deseo de entender cmo funciona la Naturaleza. o Este aspecto fundamental es pocas veces mencionado. La Matemtica forma junto con el mtodo experimental el esquema a e conceptual en que est basada la Ciencia moderna y en el que se apoya a la Tecnolog existiendo estrechas interacciones entre ellas. Sobre estas a, bases naci la Sociedad Industrial hace varios siglos, y la nueva Socieo dad de la Informacin se construye en el presente siguiendo las mismas o pautas.

En el art culo damos un esbozo de esta relacin con la ciencia y la o tecnolog de cmo se puso en marcha y de los hroes que la han hecho a, o e realidad, seguido de una ojeada al futuro, en que la relacin se extiende o prcticamente a toda la sociedad. Se aade un corto comentario sobre a n la Matemtica en Espaa. a n 1. INTRODUCCION. ESENCIA Y PAPEL DE LAS MATEMATICAS . La Matemtica es una disciplina intelectual autnoma, uno de los a o exponentes ms claros del poder creativo de la mente humana. Por otra a parte, juega un papel fundamental en la Ciencia moderna, tiene una marcada inuencia sobre ella y a su vez se ve inuenciada por la ciencia de una manera esencial. Estas son, brevemente presentadas, las dos concepciones que simbolizan las maneras diferentes de ver el gran edicio que es la Matemtica actual. Estas opciones se reejan en las populares a denominaciones de Matemtica Pura y Aplicada. Pero entonces, es que a existen dos matemticas diferentes? y, si esto es verdad, pueden coexisa tir pac camente e interactuar rec procamente, o es que viven de hecho separadas e incluso hostiles una a la otra? En el presente art culo intentaremos mostrar que, hoy como ayer, ambas visiones de la matemtica son a las caras de una misma moneda, que nos parecen a veces tan diferentes, a veces tan semejantes. Un arte puro Una primera dimensin de las matemticas es en efecto el aspecto o a puro, la matemtica como un arte por derecho propio, un juego que a se juega en nuestras mentes. La Matemtica es un arte que expresa la a belleza en forma de axiomas, teoremas y relaciones lgicas o numricas o e y atrae al investigador precisamente por su perfeccin lgica, siendo uno o o de los ejemplos ms claros y convincentes de la capacidad humana para a el razonamiento y el anlisis. Ella impone orden y armon donde slo a a o ve amos desorden y caos. Esta es la dimensin ms prxima al investigador y, como toda forma o a o pura de arte, tiene una fascinacin que explica por qu los profesionales o e consagramos una parte enorme y bastante exclusiva de nuestras vidas a ella. Resulta natural que los matemticos profesionales tiendan a ver a su ciencia desde este punto de vista del arte en s mismo, con sus con ceptos, conjeturas, resultados y mtodos de prueba, con sus reas venee a

rables: la aritmtica, el lgebra, la geometr y el anlisis, y los nuevos e a a a retoos: la estad n stica, el clculo de probabilidades, la lgica matemtia o a ca, la computacin,... Y estimen sobre todo sus perfectas deducciones o lgicas. Grandes sabios han profundizado en esta direccin: Pitagoras o o ve en los nmeros la clave de la realidad y Platon ve en el mundo u de las ideas un mundo de orden ms perfecto que el mundo f a sico cotidiano. De hecho, pocos matemticos profesionales han sido totalmente a ajenos al sentimiento de que la verdadera Matemtica habita ms all, a a a en un mundo ideal, esperando a ser descubierta por el artista. En sus fabulosos 13 libros de Los Elementos, Euclides de Alejandr (325-265 a a.C.) estableci a la vez la teor y las reglas de un juego que sigue sus o a pautas hoy como hace 22 siglos. Pocos artistas a lo largo de la Historia podrn decir lo mismo sobre la repercusin y perennidad de su obra: las a o demostraciones de Euclides son an hoy d las demostraciones en los u a temas por l tratados. Tal es su inuencia intelectual que en el siglo XX, e los matemticos asociados bajo el nombre de guerra de Nicols Boura a baki osaron repetir la histrica gesta con unos actuales Elements de o Mathmatique1 . La matemtica es pues un arte autnomo que halla la e a o verdad dentro de s misma. Recordemos a Carl G. J. Jacobi que sostuvo que la matemtica slo existe para honor del esp a o ritu humano. Claro que de ah tambin se deriva una cierta concepcin popular, con su halo e o romntico pero hoy d un tanto descaminada, que ve al matemtico a a a como un sabio irremediablemente distra do, con poca o ninguna mente prctica. a Otra visin, otro papel o Reeja lo anterior el cuadro completo de la Matemtica? En absoa luto, la Matemtica es eso y mucho ms, hay un modo totalmente disa a tinto de verla y de hacerla que queremos presentar. Junto con el mtodo e experimental, las matemticas son la base sobre la que se asienta la a Ciencia moderna y, como consecuencia, en ellas se apoya el desarrollo tecnolgico de nuestras sociedades. Penetra hoy todos los aspectos de la o sociedad contempornea desde la ingenier a la informacin, el mundo a a o de la empresa, la salud, la administracin y las nanzas, sin olvidar el o movimiento de las disciplinas sociales hacia el estatus de ciencias, que signica en otros trminos y con los matices apropiados, el uso combie nado en estas disciplinas de los mtodos matemticos y experimentales. e a La importancia prctica de las matemticas en las ciencias es indiscua a tible, y no est de hecho en discusin pues la mayor aplastante de a o a los cient cos es bien consciente del valor instrumental de unas buenas dosis de matemticas en la ciencia. As una parte cuantitativamente ima ,
1

Con un xito innegable a pesar de una cierta divisin de pblico y cr e o u tica.

portante de las matemticas que son enseadas en las universidades de a n todo el mundo se consagra a la educacin de ingenieros, f o sicos, qu micos, bilogos, informticos, economistas y profesionales de otras varias o a disciplinas. Sin embargo, creemos que tal aprecio no hace justicia al papel que las matemticas juegan en la sociedad. Sostenemos que el papel de la a Matemtica que es aplicada en diversos contextos sociales va ms all de a a a esta descripcin, es ms esencial. De hecho: o a

(i) las matemticas han jugado un papel fundamental en la fora mulacin de la ciencia moderna desde sus comienzos; una teor o a cient ca es una teor que dispone de un modelo matemtico adea a cuado; (ii) las matemticas que se pueden aplicar hoy d abarcan todos a a los campos de la ciencia matemtica y no slo ciertos temas espea o ciales; se trata de matemticas de todos los niveles de dicultad y a no slo de resultados y argumentos sencillos; o (iii) las ciencias exigen hoy como ayer nuevos resultados de la investigacin y plantean nuevas direcciones de estudio a los inveso tigadores. Pero el ritmo de la sociedad contempornea hace los a plazos sustancialmente ms cortos y la exigencia ms urgente; a a (iv) las capacidades del clculo cient a co han hecho de la simulacin numrica una herramienta indispensable en la comprensin, o e o diseo y control de los procesos industriales. n (v) cuando se habla de la utilidad de las matemticas para las a ciencias se incluye impl citamente en este nombre la tcnica y la e ingenier Pero hoy d los contornos son mucho ms amplios y a. a a difusos; ste es un aspecto de gran importancia en el presente y el e futuro de las matemticas. a En este art culo trataremos de este aspecto en que la Matemtica es a el idioma en que estn escritas las pginas de la ciencia; gracias a ella ha a a habido un desarrollo del combinado ciencia-tecnolog que ha cambiado a la vida del ciudadano de las sociedades tecnolgicamente avanzadas en o los ultimos cuatro siglos de una manera ms radical que la Revolucin a o Neol tica hab hecho en los noventa siglos precedentes, y el cambio ha a

sido ms dramtico en las ultimas dcadas que en siglos enteros anterioa a e res. Es un hecho bien conocido por los expertos que la prctica diaria a de las ciencias f sicas y la ingenier utiliza cantidades enormes de maa temtica del ms alto nivel. Es ms, los mismos conceptos con que se a a a formulan sus teor son esencialmente los conceptos matemticos. En las as a ultimas dcadas hemos presenciado cmo la tendencia hacia la matema e o tizacin alcanza a otras disciplinas, como la Econom particularmente o a, el mercado nanciero, ramas de la Qu mica, la Biolog y la Medicina, a e incluso las ciencias sociales. Es un hecho comprobado que la maquinaria matemtica, sea impoa nente o no lo sea, se oculta muy a menudo cuidadosamente al pblico u en los manuales o en los escritos de divulgacin, como si no existiese, o pues se supone que no ser bien vista por el lector (o que ste no la coma e prender). Pero los nuevos tiempos traen cambios saludables: gracias a a la simpat del pblico por las proezas del clculo y la informtica, las a u a a matemticas subyacentes van saliendo a la luz. a Repercusin de la Matemtica o a En manos del cient co, la Matemtica debe permitir asimilar los daa tos y entender los fenmenos. En manos del ingeniero, es la herramienta o que hace posible construir un modelo numrico o cualitativo cuyo anlie a sis permitir tomar decisiones, disear artefactos y controlar procesos a n de manera ecaz y able. Esta actividad es lo que, a falta de un nombre mejor, llamamos Matemtica aplicada. Cubre las reas clsicas coa a a mo la F sica Matemtica y los Mtodos Matemticos para la Ingenier a e a a, pero tiene hoy d contornos ms amplios con el advenimiento del clcua a a lo cient co y la simulacin numrica. La modelizacin, la simulacin o e o o computacional y el anlisis de datos son herramientas esenciales en la a ciencia y la industria modernas. La Matemtica aplicada es simplemente a la Matemtica de la realidad, es decir, del mundo real, sea lo que a sea lo que esta frase signica para cada lector individual. Sealemos que hay an otras visiones complementarias de las man u temticas: su aspecto cultural, su importancia en la enseanza como a n veh culo del pensamiento racional, su importancia para comprender el mundo diario (las matemticas para el hombre de la calle), su aspecto a de juego intelectual (el reto de resolver un problema). La Matemtica a es al mismo tiempo la ciencia de lo exacto y el clculo de lo probable. a

Es la ciencia del razonamiento abstracto y simblico. Es, tambin, hoy o e d sinnimo de virtuosismo computacional, de capacidad y efectividad a, o de procesar informacin, tan importante para el mundo que se gesta. Es o el mundo del cient co que trabaja con un trozo de papel y hoy, tambin, el mundo de la modelizacin, el clculo y el control de procesos e o a industriales. Todo ello forma tambin parte del mltiple legado de las e u matemticas2 . a A continuacin dirigimos nuestra atencin hacia el pasado y presente o o de la Matemtica Aplicada. El lector puede encontrar conveniente saltar a en una primera lectura la informacin contenida en las notas a pie de o pgina. Adems, varias frmulas famosas y ecuaciones importantes apaa a o recern aqu y all en las pginas. El propsito no es en absoluto que a a a o sean estudiadas como parte del texto! Es, ms bien, recordar al lector a iniciado su belleza y relevancia, y al mismo tiempo, dejar claro que no existe ningn camino real (es decir, regio) de acceso a la Matemtica: u a la divulgacin tiene sus l o mites y una comprensin real de los temas o aqu perlados implica un estudio serio. En el cap tulo nal volveremos a tratar de las opiniones que se debaten y los hechos que sustentan tales opiniones.

2. HEREDEROS DE GALILEO Y NEWTON Dos grandes guras histricas jaron el futuro papel estelar de las o matemticas en los momentos en que nac la Ciencia moderna. Gaa a lileo lo formul, Newton lo demostr. No les faltaron precursores. o o Habr que recordar que en la Historia Antigua, Pitagoras de Samos a (569a.C.-475a.C.) sostuvo que todo es nmero y encontr la maravillou o sa conexin entre la Msica y la Aritmtica, mientras Arqu o u e medes de Siracusa uni Geometr y Mecnica en el siglo III a.C. (m. 212 a.C.). o a a Y un siglo antes de Galileo, el genio universal de Leonardo da Vinci intuy el papel central de la Matemtica en la Ciencia. Una plyade de o a e grandes matemticos, los hroes de nuestro relato, los siguieron3 . Se puea e
2 sobre estos asuntos ver VAZQUEZ, J. L. Las Matemticas y los objetia vos del ao 2000. Un llamamiento a los matemticos espaoles. Gaceta de n a n la Real Soc. Matemtica Espaola, vol. 3, 1. 2000. Pgs. 9-22. Ver, tambin, a n a e http://dulcinea.uc3m.es/ceamm. 3 En el recorrido histrico que sigue, los nombres de Galileo y Newton irn acomo a paados de otros matemticos ilustres, a algunos de los cuales adjudicaremos un papel n a relevante. Tal seleccin, que nos ayudar a jar los hitos principales y a conocer a o a los hroes de nuestra particular aventura, es sin duda injusta con otros personajes e de la talla de Fermat, Leibniz o Gauss, de lo cual queremos dejar constancia y slo o la brevedad (el estrecho margen del que hablaba Fermat) y lo concreto de nuestro

de decir con Newton que los matemticos que se ocupan de la aplicacin a o de su arte otean el futuro desde los hombros de gigantes4 . Procedamos por partes: es verdad que desde la ms remota ana tigedad, las matemticas han estado relacionadas, incluso motivadas, u a por problemas prcticos. La Aritmtica se origina con las actividades a e de contar y sumar, la Geometr proviene de medir l a neas, supercies y cuerpos. Pero tambin es verdad que la Matemtica, como ciencia e a lgico-deductiva, tal como fue elaborada y nos fue legada por los griegos, o de Pitgoras a Euclides, tuvo una base netamente intelectual, digamos a ideal, que siempre ha conservado desde entonces y que es parte fundamental de la matemtica pura, es decir, de las matemticas en s mismas. a a Este proceso intelectual vive en su propio mundo y no debe nada de su mrito o belleza a la posible utilidad o aplicacin prctica, no ms que e o a a un poema, una sinfon o un cuadro. Un silogismo fcil y demasiado a a frecuente nos llevar de aqu a concluir que la autntica matemtica a e a vive esencialmente ajena a la aventura de la ciencia y la tecnolog Este a. silogismo es falso por mucho que haya sido sostenido por no pocos matemticos, y nos proponemos demostrarlo usando la obra y las opiniones a de las grandes guras. Pues la historia nos muestra que la simbiosis con la ciencia y la tecnolog ha sido fundamental y fruct a fera y que las matemticas deben mucho de su ser actual y de sus temas estrella a sus a compaeras de aventura. Y viceversa. n Los dos pilares Como es bien sabido, la Ciencia moderna surgi en Europa al nal o del per odo del Renacimiento. No se basa slo en las matemticas. El o a pilar fundamental del edicio en germen fue formulado por el lsofo o y pol tico ingls Francis Bacon hacia 1620 y consiste en el mtodo e e experimental5 . El objeto preferente de la losof se orienta hacia la a Naturaleza, que debemos leer y comprender, y eventualmente controlar; la observacin es el medio para la comprensin y el experimento es el o o test de nuestras predicciones. Las ciencias se formaron alrededor de este mtodo, primero la f e sica, luego las dems: biolog geolog y qu a a, a mica.
objetivo nos sirve de excusa, pues el propsito que tenemos en mente no es la historia o de la ciencia. 4 Tomado de una frase de Newton sobre sus predecesores en carta a R. Hooke, 1675: If I have seen farther than others, it is by standing on the shoulders of giants. He tratado de incluir en el texto y notas algunas de las frases ms famosas de matemticos a a y cient cos sobre la Matemtica y su aplicacin. a o 5 El mtodo inductivo se presenta en su trabajo Novum Organum o Nuevo Instrue mento, 1620.

Las matemticas son desde el princia pio el otro pilar de las ciencias. Fue Galileo Galilei (1564-1642) quien ms a claramente seal a principios del siglo n o XVII ese rumbo para las nacientes ciencias. Suya es la famosa cita tomada de su carta Il saggiatore 6 que reproducimos aqu en detalle: La losof est escrita a a en ese gran libro que constantemente est a abierto ante nuestros ojos, el Universo, pero no puede entenderse a menos que se Galileo Galilei aprenda primero a comprender el idioma en que est escrito, a entender sus caa racteres. Est escrito en el lenguaje matemtico, y sus caracteres son a a tringulos, c a rculos y otras guras geomtricas...7 . e Galileo era un claro defensor del mtodo experimental, al que contrie buy con sus famosas observaciones astronmicas y mecnicas8 . Como o o a hemos dicho, la actitud de Galileo ten precedentes, siendo los ms noa a tables los de Pitgoras y Arqu a medes9 en la Antigedad y el de Leonardo u
cf. Opere, VI. Pg. 232; El Ensayador. 1623. a Las famosas palabras no suelen imprimirse en su italiano (toscano) original: La losoa ` scritta in questo grandissimo libro che continuamente ci sta aperto innanzi e agli occhi (io dico luniverso), ma non si pu` intendere se prima non simpara a o intender la lingua, e conoscer i caratteri ne quali ` scritto. Egli ` scritto in lingua e e matematica, e i caratteri son triangoli, cerchi, ed altre gure geometriche, senza i quali mezzi ` impossibile a intendere umanamente parola, senza questi ` un aggirarsi e e vanamente per un oscuro labirinto. 8 Dej escritas sus ideas sobre la f o sica, las matemticas y la ingenier en el lia a bro Discursos y pruebas matemticas acerca de las dos nuevas ciencias, escrito en a Florencia antes de 1633, pero slo publicado en el extranjero en 1638 despus de los o e problemas con la Iglesia. Las dos nuevas ciencias son la mecnica y la ciencia del a movimiento. En 1995 la sonda espacial Galileo alcanz Jpiter y con l los 4 planetas o u e descubiertos por el sabio en 1610. 9 Arqu medes es uno de los grandes de la Matemtica Pura y Aplicada. Unia versalmente conocido por sus contribuciones a la Mecnica, que se puede decir que a fund como ciencia terica, y a la Hidrosttica (principio de Arqu o o a medes), fue tambin e un genial matemtico que aplic su intuicin mecnica a la Geometr e invent el a o o a a o mtodo de exhaustin para el clculo de areas y volmenes limitados por guras e o a u curvas; este mtodo implica aproximaciones sucesivas y es precursor del concepto de e l mite que tardar 19 siglos en salir a la luz. Su clculo del nmero fue un rcord a a u e durante muchos siglos. Tambin invento una notacin para los nmeros muy grandes. e o u La matemtica griega tuvo una brillante rama aplicada a la Astronom con Aristarco a a de Samos y Eratstenes de Cirene. o
7 6

da Vinci (1452-1519)10 un siglo antes, pero la formulacin de Galileo fue o decidida y su propuesta fue puesta en prctica, pues sucedi en el contexa o to histrico adecuado; corroy las bases del aristotelismo y la escolstica o o a dominantes hasta entonces en el mundo intelectual. Dio fruto en breve tiempo y los cient cos nos vemos reejados en l. e De hecho, las losof son poca cosa si se quedan en palabras y as polmicas, si no son llevadas a trmino. La gloria del siglo XVII reside e e en una serie de grandes lsofos-cient o cos (llamados en aquel entonces lsofos naturales), quienes, sin olvidarse de la metaf o sica, se lanzaron decididamente en pos del conocimiento de la Naturaleza y de la invencin matemtica: Ren Descartes estudi los principios del arte de o a e o razonar, as como la mecnica y el universo; lig la geometr al lgebra a o a a y escribi El Discurso del Mtodo 11 ; Blaise Pascal escribi sus loso e o o cas Penses pero tambin investig los principios de los uidos (como la e e o presin), la geometr el clculo y las probabilidades12 . Y anlogamente o a, a a hicieron Pierre de Fermat, Edmond Halley, Christiaan Huygens y Gottfried W. Leibniz, un matemtico, lgico y lsofo del mayor rea o o nombre. Estamos ya listos para conocer a uno de los caracteres y de los momentos ms cruciales en la historia de la ciencia. En efecto, el siglo ala canza su culminacin con la gura de Isaac Newton (1642-1727), quien o demuestra el xito indiscutible de la propuesta de Galileo aplicada a la e mecnica. Ataca los problemas bsicos debatidos durante el siglo y a a (i) concluye que el movimiento de cuerpos slidos sigue una ley mao temtica simple que relaciona la segunda derivada del espacio (respecto a al tiempo) con una entidad invisible pero real, la fuerza. En trminos e matemticos, F = ma; a (ii) al aplicar esta teor a los cuerpos celestes, concluye que se muea
Los intereses de Leonardo, un genio verdaderamente universal, abarcan la pintura y la escultura, la ingenier y la arquitectura, la f a sica y las matemticas. Cient a co y visionario, dibuj los planos de un objeto volante (el precursor del helicptero) y o o acuo el trmino turbulencia en los uidos. He aqu una cita pertinente de Leonardo: n e Ninguna certeza existe donde no es posible aplicar la matemtica o en lo que no a puede relacionarse con la matemtica. Por si quedaba duda de la opinin del gran a o hombre. 11 Le Discours de la Mthode. Leiden. 1637, un trabajo importante en la historia e de la ciencia. Su trabajo Les Mtores es considerado el primer esfuerzo por poner el ee estudio del tiempo atmosfrico sobre una base cient e ca. Su ms famoso dicho es sin a duda el cogito ergo sum, pienso luego existo. 12 Y se ocup de construir una mquina de calcular de la que volveremos a hablar. o a
10

ven en sus rbitas de acuerdo con la ley de atraccin universal. En o o frmulas, F = Gmm /r2 . o Para estudiar matemticamente los a movimientos resultantes de estas leyes, descubre lo que nosotros llamamos Clculo Ina nitesimal y resuelve las ecuaciones diferenciales. Es ms, la formulacin misma de a o sus leyes no es posible sin los nuevos conceptos tomados del Clculo Diferencial e a Integral, que lleva los nombres de Newton y Leibniz, y que fue inventado combinando las intuiciones de la mecnica y de la a geometr 13 . a
Isaac Newton .

En 1687, en que se publica su trabajo monumental, los Principia14 , la mecnica queda slidamente fundamena o tada sobre las mismas bases que tiene hoy d La matemtica no es slo a. a o una herramienta indispensable, en realidad es el idioma en que se concibe y expresa la Ciencia, sta es la razn del t e o tulo del libro. Desde ese momento, la descripcin de la dinmica y la evolucin de los sistemas o a o mecnicos es una parte esencial de las matemticas. Sigue un periodo de a a enorme desarrollo, durante el cual, la matemtica intenta cumplir este a nuevo papel fundamental. Newton es considerado generalmente el cient co ms inuyente en la a historia de la humanidad15 . Perm tasenos aportar algunos datos adicionales para entender bien la grandeza de su legado. Podemos anotar a su crdito los fundamentos de la mecnica y la astronom del clculo difee a a, a rencial e integral y las ecuaciones diferenciales; pero tambin estudi la e o naturaleza de la luz, puso los fundamentos a la ptica y contribuy con o o notables adelantos tcnicos como el telescopio de refraccin. Adems de e o a todo esto, estudi los uidos que se llaman hoy d newtonianos, exo a plic y calcul el funcionamiento de mareas por medio de la atraccin o o o lunar, comput la velocidad del sonido (y tambin se interes por la teoo e o
13 Para situar a Newton en la perspectiva apropiada hemos de combinar su formacin matemtica con el conocimiento astronmico que hered de Tycho Brahe, o a o o Johannes Kepler y Galileo. 14 Philosophiae Naturalis Principia Mathematica, es decir, los Principios Matemticos de la Ciencia. a 15 SIMMONS, J. The scientic 100. Citadel Press, Kensington Publ. Corp. Nueva York, 1996.

log la alquimia y la astrolog rasgo bastante comn de esos tiempos a, a, u que no debe extraarnos en un gran cient n co)16 . Su prestigio entre sus contemporneos era enorme y los lsofos ms brillantes del siglo XVIII a o a (Hume, Kant, Voltaire17 ) estudiaron su trabajo y creyeron posible extender su fabuloso xito a todos los campos de la losof tarea que e a, ha resultado ser de una dicultad extrema. De hecho, todav estamos a ocupados en ella. La inmensidad de la tarea de entender la Naturaleza no escap a o una persona tan penetrante como Newton, con todo su xito. Una de e sus opiniones ms famosas dice como sigue: I do not know what I will a look like to others; to myself, I seem to have been only like a boy playing on the seashore, and diverting myself in now and then nding a smoother pebble or a prettier shell than ordinary, whilst the great ocean of truth lay all undiscovered before me. 3. EL SIGLO DE LA RAZON Y DE LAS LUCES Durante los tres siglos siguientes, una parte de ese ocano se ha visto e colmado de verdad, ciencia y matemticas. La ciencia y la tecnolog a a, bases de la Revolucin Industrial, han progresado con las teor razoo as, namientos y experimentos. Como consecuencia, la sociedad del siglo XX ha cambiado ms radicalmente con respecto al siglo XVII que todo lo a que hab pasado en varios miles de aos antes, desde el inicio de las a n grandes civilizaciones agr colas. El confort de la casa, el transporte, y las comunicaciones, la salud del ciudadano actual, descansan sobre bases tcnicas completamente desconocidas para las personas del Siglo XVII. e Quienes preeran contemplar el panorama de las matemticas aca tuales, al nal del largo camino, son invitados a saltar las prximas 3 o secciones y proceder con las matemticas del siglo XX. Ms an, quiea a u nes quieran slo asomarse al futuro har bien en avanzar hasta la o an seccin 7. Para quienes se interesan por qu pas entre tanto, el relato o e o contina en el comienzo del siglo XVIII. Empezando con el ya citado u Leibniz, gran lsofo y rival de Newton en la famosa y un poco triste o
16 From the same principles, I now demonstrate the frame of the System of the World. 17 Merece la pena recordar que los Principia fueron traducidos al francs por la e amiga del ultimo, la Marquesa de Chtelet, con su colaboracin, en 1756. Mujer muy a o notable, la Enciclopedia Britnica la describe como Gabrielle- Emilie Le Tonnelier du a Breteuil, Marquise du Ch., French mathematician and physicist who was the mistress of Voltaire. Slo en el texto del art o culo se entera uno de sus muchos logros.

disputa del clculo, una serie de brillantes matemticos (dir a a amos mejor f sico-matemticos), como la familia Bernoulli, Euler, DAlembert,... a aprovecharon el potencial del nuevo clculo y formularon matemticaa a mente todo tipo de problemas mecnicos: problemas de disparo, problea mas sobre la ca de los cuerpos, sobre el movimiento de los uidos, de da vibraciones mecnicas, de minimizacin,... a o Los mtodos innitesimales son igualmente poderosos en su aplie cacin a la geometr una disciplina que vive en simbiosis o a, ntima con la mecnica. Los sabios estudian el Clculo de Variaciones, un nombre a a para el clculo de valores m a nimos de los llamados funcionales que orecer en el siglo XX como un cap a tulo fundamental del Anlisis Funa cional, por entonces ni siquiera previsto. Jean Le Rond DAlembert18 estudi la vibracin de las cuerdas y escribi la ecuacin de ondas o o o o que lo llev a descomponer una funcin en suma de ondas elementao o les, tarea tambin emprendida por Leonhard Euler (1707-1783), quien e realiz la descomposicin en suma posio o blemente innita de funciones sinusoidales. Euler es quizs el matemtico ms a a a prol co de la historia, hizo contribuciones fundamentales a la Geometr el a, Anlisis y la Teor de Nmeros, pero a a u tambin a diferentes ramas de la Mecnie a ca, la Elasticidad, la Hidrodinmica, la a Acstica, y hasta la Msica. Su lat no u u n Leonhard Euler es dif y sus libros de texto pueden leercil se hoy con provecho y placer (preferentemente traducidos!). Vivi una gran parte de su vida en San Peterburgo, o por lo que se le atribuye la fundacin de la matemtica rusa, junto con o a Daniel Bernoulli. El problema de las sumas innitas preocupar a los a matemticos en el futuro prximo pero no en estos momentos de desa o cubrimiento y euforia, y menos an a L. Euler cuya intuicin parece no u o tener l mites. Algunas de las glorias y penas de la matemtica como idioma de a la mecnica pueden observarse en el estudio de los uidos. Una teor a a sistemtica escap incluso al genio de Newton. De hecho, el aspecto ms a o a dif de esta teor consiste precisamente en encontrar las hiptesis cil a o matemticas justas que permitan construir un modelo matemtico, es a a
18 Representante muy conocido de la Ilustracin francesa, quien combin una brio o llante carrera matemtica con la publicacin de la famosa Enciclopdie, juntamente a o e con D. Diderot. No todos los matemticos viven en una nube! a

decir, matematizarla tal como realmente es19 . Hacia el ao 1738, Johann n y Daniel Bernoulli establecen la ciencia terica de la Hidrodinmica o a sobre la base idealizada de los llamados uidos perfectos. El estudio fue continuado por Euler que escribe las famosas ecuaciones (1755) ( u +u t u) + p = 0, u = 0,

(en la notacin actual) cuya resolucin anal o o tica general ha resistido 20 . Es ms, D Alembert puso en evidencia las limial paso del tiempo a taciones de la idealizacin impl o cita en el concepto de uido perfecto mostrando que un obstculo slido sometido a un vientoperfecto no a o sufrir ningn arrastre neto y ninguna sustentacin neta. a u o Esta dicultad nos devuelve al problema losco original, el papel de las o matemticas. De hecho, la dicultad se a origina porque la mecnica terica no a o trata de la Naturaleza, que escapa en su ms pura esencia a nuestra curiosia dad, sino que trata ms bien del modea lo matemtico que nosotros nos poa demos formar de ella. La concordancia experimental nos permite conrmar que una teor es buena como modelo a del mundo f sico, pero nunca que es un Pierre S. Laplace modelo perfecto21 . La modelizacin mao temtica es un aspecto fundamental de a la matemtica actual y clave de su posible utilidad. a A pesar del fracaso relativo con los uidos, cuando termina el Siglo de las Luces una sensacin de optimismo invade las mentes de los mejores o matemticos - mecnicos, como son Joseph Louis Lagrange, autor de a a la Mcanique analytique22 , y Pierre Simon Laplace. El ultimo publica e su monumental libro Mcanique cleste (1788). Es tambin autor de la e e e Thorie Analytique des Probabilits (1812), una de las ms importantes e e a referencias en el desarrollo de la teor de las probabilidades. La ecuacin a o
Recordemos aqu el dicho de Newton sobre su mecnica: Hypotheses non ngo, a yo no me invento las hiptesis o axiomas. o 20 Guardan su misterio an hoy d la existencia de soluciones clsicas dados datos u a: a iniciales regulares en 3 dimensiones espaciales es todav un problema abierto. a 21 Volveremos a este asunto al hablar de Einstein. 22 Que describe las ecuaciones generales del movimiento, llamadas ecuaciones de Lagrange.
19

de Laplace, u = 0, es una de las ms famosas de la F a sica23 . Basndoa se en sus estudios mecnicos pens que el universo funciona como un a o reloj (determinismo) y declar que los problemas matemticos ms imo a a portantes estaban ya propuestos y resueltos, o a punto de ser resueltos en un corto tiempo. Afortunadamente, la Historia demostrar que el a gran hombre erraba en este tema. No recuerda sto algunos recientes y e acalorados debates sobre el n de la F sica o de la Historia?

4. EL SIGLO XIX, EL GRAN SIGLO DE LA CIENCIA La contribucin del siglo XIX a la Matemtica, tanto pura como aplio a cada, es sorprendente por su novedad, por lo inesperado de su evolucin o y por su riqueza y amplitud de temas. Empecemos por las matemticas a que vinieron de la f sica. La electricidad y el magnetismo: De Michael Faraday a J.C. Maxwell, experimentos y leyes parciales cubren un camino que cuenta con los nombres de Gauss, Amp`re, Oersted, Biot, Savart, Lenz,... e hasta llegar al (impresionante) sistema de ecuaciones diferenciales en derivadas parciales que relaciona los campos elctricos y magnticos e e (1863), obra cumbre de James Clerk Maxwell24 . Las ecuaciones de Maxwell (que no detallaremos en este momento por su complejidad, aunque sin duda merecen lugar de honor en este texto) son uno de los logros mayores de la Matemtica en el siglo XIX. a Gracias a James Maxwell, una nueva rama de la ciencia, cuya existencia era insospechada un siglo antes, alcanz el nivel de perfeccin matemtio o a James C. Maxwell ca que Newton hab otorgado a la a mecnica. La teor electromagntica a a e tendr profundas repercusiones no slo sobre las ecuaciones diferenciaa o les y el anlisis funcional, sino adems sobre la naciente topolog (a a a a 25 . Elaborando las ecuaciones travs de conceptos como la homolog e a)
Los ingenieros y cient cos aplicados usan la transformada de Laplace. Publicacin en forma nal como Treatise on Electricity and Magnetism, 1873. o 25 Maxwell es considerado el f sico terico ms importante del siglo XIX; Einstein o a opinaba que el trabajo de Maxwell represent la revolucin ms signicativa en el o o a estudio de la f sica desde Newton. La teor de propagacin de ondas es hoy d a o a
24 23

de Maxwell se llega a la ecuacin de ondas, que es la herramienta que o nos permite describir la propagacin de los fenmenos electromagntio o e cos en forma de ondas, caracterizadas por tres parmetros: primero, la a amplitud A; segundo, la velocidad, c, que depende del medio (y es por consiguiente constante en el vac tercero, la frecuencia de oscilacin, o); o , que es una cantidad que var con el tipo de onda. En breve, y para a una dimensin espacial, la ecuacin y su solucin se escriben o o o utt = c2 uxx u = A cos(kx t + ),

donde u es la intensidad de la oscilacin, k = /c se llama nmero de o u onda y es una constante, la fase, de la que no debemos preocuparnos por ahora, y los sub ndices indican derivadas parciales. Pero veamos, es tan necesaria esta frmula para proceder? La respuesta es que s pues o , poco despus, y como reejo de la generalidad del parmetro en el e a modelo matemtico, Heinrich R. Hertz predice y descubre las ondas a electromagnticas fuera del rango visible (las ondas de radio, 1888), y e Guglielmo Marconi descubre la telegraf sin hilos, es decir, la radio a (1895), introducindonos as al mundo de las comunicaciones que son el e alma del siglo XX. Y otra gran sorpresa: aparece una incompatibilidad con la mecnica de Newton sobre la que hablaremos en un momento. a Quede dicho esto sobre las consecuencias de la formulacin matemtica o a en la evolucin de la ciencia. o Los uidos reales, de Claude Louis Navier a George Gabriel Stokes, 1821 a 1856 y despus. Las ecuaciones de Navier-Stokes describen e los uidos reales y gobiernan el comportamiento de los fenmenos ato mosfricos (el clima, la Meteorolog la Hidrolog la futura Aeronutie a, a, a ca). La formulacin correcta de las ecuaciones que describen el movio miento de los uidos reales tard por consiguiente unos 180 aos tras o n los esfuerzos de Newton, las matemticas profundas no se hacen en dos a d Una serie de brillantes matemticos guran entre los modelizadoas. a res, como S. Poisson y J. C. Saint Venant, as como el mdico J. e L. M. Poiseuille, que investig el ujo sangu o neo. Lord Kelvin y H. Helmholtz ponen las bases para el estudio matemtico de la vorticidad a y los torbellinos. La comprensin matemtica de los uidos turbulentos, o a ya mencionados por Leonardo, es todav un problema abierto. a
una de las ramas clsicas de la matemtica aplicada, en sus mltiples variantes. a a u Matemtico excelente, Maxwell era defensor del mtodo probabil a e stico en la Ciencia, que l aplic al estudio de gases (distribucin de Maxwell) y se le atribuye la frase: e o o la verdadera lgica del mundo es el Clculo de Probabilidades. o a

Para no alargar excesivamente nuestro texto mencionaremos slo dos o teor f as sicas ms de gran importancia y repercusin matemtica: a o a La Termodinmica, que estudia los intercambios de calor, adquiere a una fundamentacin matemtica slida con James Joule, Saadi Caro a o not, J. R. Mayer,... Tiene una profunda repercusin sobre el clculo en o a derivadas parciales y el concepto de diferencial exacta. Esta teor inclua ye la famosa Segunda Ley de la Termodinmica (la ley del crecimiento a de la entrop en el Universo), una ley fundamental en la ciencia. Miena tras que su declaracin matemtica es simple, su interpretacin prctica o a o a tiene implicaciones profundas que ocupan a generacin tras generacin o o 26 . de estudiosos Por ultimo, mencionemos la Mecnica Estad a stica, asociada a los nombres de Maxwell, L. Boltzmann y W. J. Gibbs, que tallaron toda una rama de la F sica Matemtica basada en el Clculo de Probabia a lidades, rama de las matemticas que hab permanecido un tanto al a a margen de esta aventura cient 27 . Esta idealizacin matemtica del ca o a azar hab sido elaborada en el fabuloso siglo XVII (ca. 1650) por B. a Pascal, P. Fermat y C. Huygens para comprender los juegos de azar, y avanzada luego por Buffon, Bernoulli, De Moivre y Laplace entre otros. De repente, el concepto de probabilidad cobra vida para la ciencia f sica a la hora de modelar el comportamiento de cantidades enormes de part culas28 . Veamos por qu: las part e culas estn sujetas evidentemente a a las leyes de la mecnica de Newton. Pero, dado que hoy se sabe que a el nmero de molculas de un gas por litro alcanza la fantstica cifra de u e a 2, 69 1022 en condiciones normales (0o C de temperatura y 1 atm. de presin)29 , es del todo imposible seguir sus trayectorias individuales. La o mecnica estad a stica propone un comportamiento medio con efectividad
26 Con consecuencias insospechadas: la entrop es hoy d un concepto central en a a la Teor de Informacin tras el trabajo de C. Shannon, The mathematical theory of a o communication, Bell Syst. Techn. Journal 27. 1948. Pgs. 379-423, 623-658. a 27 La tumba de Boltzmann en el cementerio central de Viena tiene como ornato su famosa frmula de la entrop en mecnica estad o a a stica, S = k log W , que puede considerarse una gesta del esp ritu puro en la bsqueda de la comprensin de los u o secretos de la Naturaleza. El libro de Gibbs, Elementary Principles in Statistical Mechanics, publicado al nal de su vida en 1902, jug para la f o sica estad stica un papel similar al de Maxwell para el electromagnetismo. 28 Este no era un paso trivial. Boltzmann cont para ello con su creencia en la o existencia de los atomos, que encontr fuerte resistencia en el momento por parte o de cient cos famosos como E. Mach. Y estamos a nales del siglo XIX! La agria controversia afect seriamente a la salud de Boltzmann. o 29 En los libros de qu mica suele mencionarse la cantidad de atomos por cada mol = 22,4 l de gas, el llamado nmero de Avogadro, 6, 022 1023 . u

sorprendente: de ella es inmediato predecir la relacin de la temperao tura con la energ y la presin para un gas perfecto, y la prediccin a o o ideal resulta ajustada a los datos experimentales! La distribucin de o Maxwell-Boltzmann, n = AeE/kT , es un objeto matemtico que tiene a en mecnica estad a stica un papel tan importante como la distribucin o gaussiana en la ciencia estad stica usual. Cambiemos de escena para retratar a otro de nuestros hroes, una vida e ejemplar. Bernhard Riemann (18261866) es una de esas guras sorprendentes cuya obra contiene lo mejor de la matemtica pura y aplicada. El a gran matemtico alemn, muerto joven, a a es bien conocido como un gigante de la matemtica ms pura. Nos leg la a a o hiptesis sobre los ceros de la funcin o o zeta(Hiptesis de Riemann) cuya deo Bernhard Riemann mostracin es quiz el problema abierto o a de las matemticas ms famoso al ena a trar el siglo XXI, tras la reciente resolucin de la conjetura de Fermat. o La hiptesis de Riemann arma que las soluciones (o ceros) interesantes o de la ecuacin (s) = 0, estn situadas sobre una misma l o a nea recta en el plano complejo, precisamente la de ecuacin Re(s) = 1/2. Esto se ha o vericado para las primeras 1.500.000.000 soluciones30 . Una prueba de que el aserto es verdad para toda solucin aclarar muchos misterios, o a desde la distribucin de nmeros primos a cuestiones de f o u sica terica. o Riemann fue un investigador de mente geomtrica que lig la suerte del e o anlisis complejo a las transformaciones conformes y pens en los espaa o cios generales de varias dimensiones denidos a partir de su geometr a local31 . Hoy d llamamos a esas geometr riemannianas y son la base a, as a partir de la cual se construye la f sica terica. o Pues bien, el mismo Riemann estudi la propagacin de gases como o presibles y lleg a la conclusin de que el modelo matemtico32 , enteno o a dido en el sentido de las soluciones clsicas, era contradictorio (porque a
Para los curiosos de las frmulas, (s) = 1 + 1/2s + 1/3s + . o Su famoso art culo On the hypotheses which lie at the foundations of Geometry, 1854. En alemn Ueber die Hypothesen, welche der Geometrie zu Grunde liegen, a 1854, publicado en 1868. 32 Un sistema de ecuaciones en derivadas parciales no lineal de tipo hiperblico, o para quien desee el detalle.
31 30

preve l a neas caracter sticas que se cortan, y sobre las cuales, las variables f sicas - densidad, presin y velocidad - tomar valores distintos o an simultneamente). Sin embargo, aventur que la teor era correcta si se a o a cambiaba radicalmente el punto de vista y se admit como soluciones an de una ecuacin diferencial funciones que no sean derivables, ni siquiera o continuas. Ante tal atrevimiento, tan t pico de las mejores matemticas a de los siglos XIX y XX, recordamos de nuevo a Newton: Riemann no se inventaba esa teor La teor de las ondas de choque es hoy d un tema a. a a fundamental de la dinmica de gases y de su aplicacin a la aeronutica, a o a y es por ello una de las reas ms activas de investigacin matemtica a a o a en ecuaciones en derivadas parciales, . . . y de la ingenier a. La Evolucin Interna o Pero, incluso tras el elogio de Riemann, esta visin ser totalmente o a injusta si no tuviera en cuenta la evolucin interna de las matemticas, o a que hab llegado a un alto nivel de madurez tras 300 aos de intenso an n desarrollo. Solo comentaremos aqu muy brevemente este importante cap tulo, pues es ms conocido por el pblico matemtico. Varios son a u a los temas estrella, tan inesperados como cargados de futuro: geometr as 33 , Janos Bolyai y N. I. Lobachevski, no eucl deas de J. C. F. Gauss fundamentacin del clculo innitesimal de Augustin L. de Cauchy, o a la teor de funciones de Karl Weierstrass, la lgica matemtica de a o a George Boole, la teor de conjuntos de Georg Cantor, por citar slo a o un nombre al lado de cada gran cap tulo34 . Existen campos de investigacin en que las matemticas toman clao a ramente el relevo a la f sica en la tarea de extraer el jugo de un concepto. Esto sucede con el problema de representacin de una funcin como una o o suma de funciones simples, resuelto por Brook Taylor y Colin McLaurin para las sumas de potencias y planteado por Daniel Bernoulli (1753) y Leonardo Euler para las sumas trigonomtricas que aparecen en las e ecuaciones de ondas y el calor. Es gracias a la insistencia de Joseph Fourier (1822)35 que los matemticos se adentran en la aventura de a
El Pr ncipe de los Matemticos, quiz el matemtico ms sobresaliente y coa a a a nocido de la historia. Hizo contribuciones fundamentales a la teor de nmeros, al a u algebra, a la geometr diferencial, a la geometr no eucl a a dea; la distribucin ms o a popular de probabilidad lleva su nombre, as como uno de los teoremas de integracin o ms famosos de la f a sica matemtica. a 34 Queremos dejar constancia expresa de la incomodidad que nos causa pasar tan de prisa por temas tan importantes de la Matemtica, sin los que muchas de las pginas a a que seguirn no tendr sentido. a an 35 Escrito de 1807, memoria presentada a la Academia de Ciencias de Par y pus blicada en 1822.
33

dar un sentido riguroso a las sumas innitas de funciones trigonomtricas e generales a0 {an cos(x) + bn sin(x)}. f (x) = + 2
n=1

Carl F. Gauss .

Joseph Fourier .

Este es el origen de un rea mayor de la teor de funciones, conocia a da como Anlisis de Fourier. La tarea estaba cargada de grandes dia cultades y tuvo grandes xitos. As cuando Paul du Bois Raymond e , construy (1873) una funcin real continua y peridica cuya serie de o o o Fourier no converge puntualmente, parec que algo iba realmente mal a en el anlisis matemtico de los fenmenos oscilatorios. Tras cuidadoso a a o examen, tres opciones se planteaban al investigador: (i) modicar la nocin de funcin, o o (ii) modicar la denicin de convergencia, o (iii) reemplazar la base de senos y cosenos por candidatos mejores. Es mrito notable de la comunidad matemtica que los tres caminos e a 36 . El teorema fundamental hayan sido explorados con xito asombroso e de sumacin de series de Fourier se debe a L. Carleson, 196637 , y o necesita utiles como la convergencia en casi todo punto, los espacios L2 y la maquinaria del anlisis del siglo XX. a
36 He aqu dos citas de Fourier para animar el debate sobre Matemtica Pura contra a Aplicada: La primera es Las ecuaciones del diferencial de la propagacin de calor o expresan las condiciones ms generales, y reducen las preguntas de la f a sica a problemas de anlisis puro, y ste es el objeto apropiado de la teor a e a. Ahora la segunda: El estudio profundo de la naturaleza es la fuente ms fecunda de descubrimientos a matemticos. a 37 On convergence and growth of partial sums of Fourier series. Acta Math. 116. 1966. Pgs. 135157. a

El Contexto Social Es interesante decir dos palabras sobre la evolucin social de la cieno cia en el siglo XIX. Este es el siglo en que las revoluciones industrial, burguesa y democrtica se asientan en Europa trayendo consigo la extensin a o de los estudios cient cos e industriales tanto en universidades como en otros centros especializados38 , con lo que aumenta exponencialmente el cuerpo de profesores investigadores. Los avances son tan impresionantes que el nal de siglo vuelve a encontrar a los matemticos en franco opa timismo, si uno se f de la historia escrita por el gemetra alemn Felix a o a Klein39 . Otra caracter stica de este per odo es la profunda separacin o que se maniesta entre matemticos, f a sicos e ingenieros, consecuencia del enorme crecimiento de sus campos de estudio. Tal separacin, a veo ces divorcio, tendr consecuencias profundas sobre la evolucin de las a o matemticas en el siglo XX, e incluso sobre el mismo concepto de maa temtica. a

5. UN CAMBIO DE SIGLO REVUELTO En todo caso, el cambio de siglo es espectacular tanto en f sica como en matemticas. En stas aparecen en el rmamento guras extraordinaa e rias como Henri Poincare (1854-1912) y David Hilbert (1862-1943), que marcarn profundamente las matemticas del siglo XX. Pero una a a gran parte del brillo en retrospectiva se debe a que el cambio de siglo fue una poca de crisis, pues las evidencias de fenmenos fuera del gran e o esquema se acumulaban. El experimento de Michelson-Morley (1887) prueba que la velocidad de la luz es efectivamente constante (independientemente del sistema de referencia inercial), como predec la teor ondulatoria basada en a a las ecuaciones de Maxwell. El modelo mecnico del mundo de Euclidesa Newton tiene por primera vez una gran grieta. La observacin de las part o culas suspendidas en los gases revela un movimiento altamente irregular, el movimiento browniano (Robert Brown, 1827). Este es un golpe para la geometr de Euclides basada a
38 Muchas de las Escuelas de Ingenieros se fundan en Espaa en esa poca, como n e las de Montes y Caminos en 1834. 39 Lectures on the development of mathematics in the 19th century. He aqu una cita de Klein: los grandes matemticos como Arqu a medes, Newton o Gauss siempre unieron teor y aplicaciones en igual medida. a

en puntos, rectas y curvas regulares (al menos regulares a trozos).

Henri Poincare .

David Hilbert .

Las sorpresas de la teor de funciones llevan a la teor de cona a juntos (Georg Cantor), que junto con la lgica (George Boole, Gottlob o Frege, Giuseppe Peano) son la base de un intento de fundamentar las matemticas rigurosamente de una vez por todas. Las matemticas a a 40 y completa. proponen a la ciencia los conceptos de teor coherente a Surgen las escuelas y las disputas: logicismo (Alfred N. Whitehead y Bertrand Russell41 ), intuicionismo (Luitzen Brouwer) y formalismo (David Hilbert). Las paradojas (de Russell, de Burali-Forti, de Richard) siembran un caos notable en los esp ritus menos fuertes. No existen utiles anal ticos ni computacionales para abordar las complejidades de las ecuaciones de los medios continuos, como los uidos. En consecuencia, las matemticas prcticas de la ingenier se sua a a men en una serie de aproximaciones y recetas que las divorcian de la teor a. Pero, incluso, el tema clsico de la integracin general de las ecuaa o ciones del movimiento para tres o ms cuerpos celestes se muestra ima posible42 . A grandes males, grandes remedios: H. Poincar propone los e mtodos cualitativos y abre las puertas a la geometr algebraica y la e a topolog (llamada entonces Analysis Situs, 1895). Pero al tiempo, desa cubre con sus mtodos tericos una tremenda complejidad escondida en e o el modelo matemtico (que son los sistemas dinmicos). Uno de estos a a
consistent en ingls. e su famoso libro Principia Mathematica data de 1910. 42 como expone H. Poincar en su libro Mthodes nouvelles de la mcanique cleste. e e e e Par 1899. s,
41 40

monstruos son las rbitas homocl o nicas que sembrarn de caos la mecnia a ca celeste cuando Poincar sea bien comprendido (lo que llev bastantes e o dcadas). Para mejor medir la estatura de nuestro hroe valga la siguiene e te cita: en sus cursos en la Facultad de Ciencias de Par desde 1881, y s de la Sorbona desde 1886 Poincar cambiaba de tema cada ao, tocando e n la optica, la electricidad, la astronom el equilibrio de los uidos, la a, termodinmica, la luz y la probabilidad. a Agreguemos algunas notas ms optimistas. As la teor de la ina , a tegracin de funciones se ve coronada por los trabajos de E. Borel y o H. Lebesgue43 . En adelante el clculo posee un concepto de integral a (la integral de Lebesgue) donde el proceso de tomar l mite es natural, el anlisis funcional puede crecer (espacios de Hilbert) y el famoso problea ma de Dirichlet44 tiene solucin (en un sentido an visto como raro). o u El precio a pagar es la construccin de una teor matemtica sosticada o a a que los estudiantes de ciencias e ingenier deben estudiar y absorber, o a al menos han de aprender a convivir con ella45 . Descubrimientos importantes de naturaleza matemtica ocurren a en otras ciencias y darn fruto en el prximo siglo. El Cient a o co ruso Dmitri Mendeleyev encontr el orden en el caos de los elementos o qu micos y propuso la Tabla Peridica en 1869, que es hoy d la base del o a tratamiento f sico-matemtico de la Qu a mica. Por otro lado, el monje, botnico y experimentador de las plantas austriaco, Gregor J. Mendel a formul las leyes racionales de la herencia, poniendo as los fundamentos o 46 . matemticos de la ciencia de la Gentica a e

6. EL SIGLO XX, UN SIGLO DE MARAVILLAS A estas alturas, esperamos haber comunicado al lector la impresin o de la profunda simbiosis de la Matemtica con la F a sica, de sus sorprendentes y en muchos casos inesperadas interacciones. La historia de tal simbiosis incluye ya aplicaciones tecnolgicas avanzadas, preludio de lo o que ser el nuevo siglo. La explosin de la Matemtica y la Ciencia en el a o a siglo XX hace aconsejable reducir nuestro texto a algunos de los temas
43 La important sima contribucin a la teor de la integracin gura en su tesis o a o doctoral, Intgrale, longueur, aire. Universidad de Nancy, 1902. e 44 Nombrado en honor a P. L. Dirichlet, el primero que prob que la serie de Fourier o converge bajo ciertas condiciones 45 parafraseando a J. von Neumann. Ad astra per aspera, dice el adagio latino. 46 Versuche uber Panzenhybriden, (Experimentos con h bridos de plantas), publicado en 1886.

ms importantes. Un rasgo sobresaliente es la matematizacin progresia o va de las dems ciencias, que aparecen ya como nuevos horizontes para a la Matemtica Aplicada. a Nuevas matemticas que nos llegaron de la F a sica El comienzo del siglo XX es testigo de dos grandes revoluciones en la manera de concebir el mundo f sico, que cambiaron de forma radical el universo newtoniano. Comprobado el hecho de que la luz no se comporta como era esperado, la teor que lo explica trae consigo consecuena cias dramticas sobre nuestro concepto de espacio-tiempo, que afectan a en la prctica a la Astronom y al comportamiento de las part a a culas que se mueven deprisa. Por otra parte, en el extremo de lo muy pequeo, se observ que los tomos, molculas y part n o a e culas subatmicas o tampoco obedecen a las leyes de comportamiento tan cuidadosamente observadas por los entes macroscpicos, aunque por otras razones. Son o dos grandes revoluciones cuya ms a ntima esencia se expresa en frmulas o matemticas. Examinemos con algn detalle el surgir de ambas teor a u as. La Teor de la Relatividad. Albert Einstein, el Hombre del Sia glo segn la revista Time (ao 2000), propuso las dos versiones de la u n relatividad: en 190547 (la relatividad especial) y en 1916 (la relatividad general). Esperamos no sorprender al lector al armar que en ambos casos se trata de una profunda reexin sobre las matemticas que sirven o a de base a la F sica. La relatividad especial tiene como precursores a Lorentz, Poincar y Minkowski, que estudiaron el grupo de invariancia que correse ponde a la nueva geometr del espacio-tiempo. La relatividad general a usa los conceptos geomtricos que Riemann elabor ms de un siglo ane o a tes como un puro Gedankenexperiment, es decir, experimento mental, sobre las hiptesis que subyacen a los fundamentos de la geometr y o a, que fue desarrollado por la escuela de geometr diferencial italiana de a Ricci, Levi-Civita y Bianchi. La relatividad ser un gran campo de a juego de la geometr diferencial en el siglo XX. De las ecuaciones de a Einstein se llegar al Big Bang y a los agujeros negros ( Oppenheimer y a Snyder, 1939; Penrose y Hawking). Todo un ejercicio de matemtica a pura como modelo de una rama de la f sica.
1905 fue el annus mirabilis para Einstein. En tres art culos separados explic el o efecto fotoelctrico, el movimiento browniano y la teor de la relatividad. Es improe a bable que tal hecho vuelva a repetirse.
47

Conviene, sin embargo, no olvidar la otra cara de la Relatividad: desde la primera conrmacin experimental de o Lord A. Eddington en 1919, incesantes experimentos han servido para conrmar (mejor dir amos, con la modestia de Einstein, no refutar) la teor de la a Relatividad. Pues en la ciencia real no se inventan las hiptesis48 . o Hagamos una pausa para echar una mirada a algunas de las frmuo las principales. En septiembre de 1905, Einstein public un corto art o culo en que demostr la frmula fundamental o o Albert Einstein E = m c2 sobre la equivalencia matemtica de masa y energ que se ha a a, convertido en un clsico de la cultura popular del siglo XX. Por otro a lado, las leyes de transformacin de la Relatividad Especial, que reemo plazan a las leyes de transformacin galileanas a velocidades relativas o altas, conocidas como las leyes de transformacin de Lorentz, son : o x = x + vt , t = t + v x , c2

donde la constante se llama factor de dilatacin del tiempo. Deo pende de la velocidad relativa v y viene dado por la expresin: o = 1/ 1 (v 2 /c2 ). Por consiguiente, la suma de velocidades sigue la sorprendente regla u +v u= , 1 + u 2v c muy en contra de lo que estamos acostumbrados a creer (es decir, u = u + v).
He aqu una opinin signicativa de Einstein sobre las matemticas: Mathema o a tics deals exclusively with the relation of concepts to each other without consideration of their relation to experience. Physics too deals with mathematical concepts; however, these concepts attain physical content only by the clear determination of their relation to the objects of experience, de The theory of Relativity, 1950. Las opiniones de Einstein son tanto ms interesantes si se tiene en cuenta que, contrariamente a a otras grandes guras en la historia de la F sica, como Newton o Maxwell, no fue matemtico excepcional, por lo menos tcnicamente. Dej, sin embargo, un legado a e o impresionante a las matemticas a travs de sus teor a e as.
48

La frmula ms conocida de Einstein es sin duda E = m c2 , que forma o a con la frmula cuntica de Planck, E = h , toda una nueva visin de la o a o energ al principio del siglo. La energ hab sido uno de los conceptos a a a clave de la evolucin de la f o sica y las matemticas que la acompaan a n en el siglo XIX, y se ve sometida a profunda revisin matemtica en o a los comienzos del siglo XX. Precisamente, los quanta (o cuantos) son nuestro prximo tema. o La Mecnica Cuntica describe el comportamiento de la materia a a y la luz a la escala atmica. En palabras del gran f o sico R. Feynman, Things on the very small scale behave like nothing you have any direct experience about. En particular, asistimos a otra enorme brecha en el, hasta entonces, perfecto edicio de la mecnica newtoniana. El segundo a recorrido mgico49 del comienzo del siglo XX nos lleva de la hiptesis a o de los quanta de Max Planck, 1900, a la ecuacin de Schrodinger o (1926) pasando por N. Bohr, L. De Broglie, W. Heisenberg y P. A. M. Dirac. El acceso al mundo atmico queda codicado en la o maravillosa ecuacin o i
2 = + V (x, y, z, t), t 2m

donde es la constante de Planck reducida, = h/2, i = 1, es el operador laplaciano y V = V (x, y, z, t) es el potencial. Todo ello parece realmente un trozo de la Cbala, y en el momento inicial se dua daba de qu representaba exactamente la variable (x, y, z, t) llamada e funcin de onda. Tal es el poder de la Matemtica, estos f o a sicos geniales hab encontrado un trozo del Cdigo Matemtico del Universo an o a pero an hab de interpretar qu signicaban las variables. En 1928, u an e Max Born propuso la interpretacin probabilista, donde |(x, t)|2 es o la densidad de probabilidad de encontrar la part cula en el lugar x en el instante t, y aunque es mayoritariamente admitida, hay quienes se resistieron, siguiendo a Einstein en eso50 . Porque la Mecnica Cuntica a a es un desaf fundamental a la manera previamente admitida de mirar o el mundo, al determinismo tradicional y a la causalidad. Se puede decir que el determinismo est basado en el supuesto de que el conocimiento a exacto del presente permite calcular el futuro. No es se el sueo de e n las ciencias exactas, y no es cierto que la Mecnica Cuntica subvierte a a esa creencia? Ponderando el problema, W. Heisenberg encontr en 1927 o la respuesta siguiente: no es la conclusin [de la hiptesis determinista] o o lo que es falso, sino la hiptesis inicial. o
Cita homenaje a The Magical Mystery Tour, Lennon y McCartney, 1967. Suyo es el famoso comentario: God does not play dice, Dios no juega a los dados.
50 49

Dejando al lado el mundo de las interpretaciones, debemos informar que esta teor aun estando basada en el ms alto nivel de abstraccin a, a o matemtica, es conrmada por todo un siglo de experimentos. La para te mgica, que tanto abunda, tiene un momento estelar cuando Dirac, a usando la formulacin relativista, propone la existencia de los positrones o (1932) porque las ecuaciones admiten el cambio de signo con respecto a la solucin que describe el electrn,. . . y el positrn fue debidameno o o 51 por los f te descubierto sicos experimentales poco despus (Anderson e y Blacket, 1932-33). Dirac predijo la existencia del antiprotn que fue o conrmado por Segr` en 1955, y tambin el monopolo magntico, pero e e e esta vez su existencia ha quedado sin conrmacin hasta el momento o presente. Las predicciones de Dirac son un ejemplo notable, de ninguna manera unico, en que el modelo matemtico va delante de la evidencia a experimental52 . No nos recuerda todo esto a Hertz? La cosecha matemtica de la a Mecnica Cuntica no es escasa: a a la teor de operadores autoada juntos en espacios de Hilbert con su correspondiente teor especa tral son desarrolladas por John von Neumann (Janos v. N., 19031957), uno de los genios ms polia facticos del siglo53 , con el objeto e de dar sentido a los operadores que aparecen en la ecuacin, operadoo

J. V. Neumann
51

O deber amos decir mejor encontrado o reconocido? Por otro lado, la ciencia basada solamente en argumentos o analog matemticos as a puede ser mala ciencia. Un ejemplo: existe una tendencia matemtica a armar que a en el reino de part culas ciertas simetr matemticas son ley de la naturaleza. as a En particular, deber ser entonces correcta la ley de conservacin de la paridad, que a o especica que las part culas elementales y sus imgenes especulares deben comportarse a idnticamente; en 1956-57, tres chino-americanos T. D. Lee, C. H. Yang, y C. S. Wu e conjeturaron primero y probaron despus que hay procesos subatmicos que violan e o esa ley. 53 J. von Neumann, Mathematische Grundlage der Quantenmechanik, Fundamentos Matemticos de la Mecnica Cuntica. Springer, 1932. La trayectoria de Von a a a Neumann recorre las areas ms diversas de la Matemtica pura y aplicada: en su a a juventud modic el sistema Zermelo-Fraenkel de la teor de conjuntos, cre las o a o algebras de v.N. en teor de operadores, es el padre de la Teor de Juegos y lo a a veremos luego en el Instituto para Estudios Avanzados de Princeton como uno de los padres del primer gran ordenador moderno. Despus de la guerra se ocup de la hie o drodinmica, de los mtodos numricos (Monte Carlo, estabilidad para los esquemas a e e en diferencias nitas), la teor de autmatas, y as sucesivamente. a o
52

res laplacianos y dems. Su teor se basa en el trabajo precursor de a a S. Banach y los expertos italianos en clculo de variaciones, pero la a Mecnica Cuntica tiene sus caprichos: necesita unos objetos de la sea a gunda generacin, los operadores lineales no acotados en espacios de o Hilbert. Estamos, pues, en el borde o ms all de los temas de la licena a ciatura en Matemticas, lo cual es informacin interesante para quienes a o sosten que toda matemtica util ha de ser muy fcil54 . Junto con el an a a Clculo de Variaciones, la Mecnica Cuntica ha sido cantera inagotable a a a de problemas para el Anlisis Funcional, rama de las matemticas que a a toma vuelo propio. Por otra parte, el comportamiento anmalo de las part o culas cuntia cas respecto a las clsicas tiene aspectos matemticos simples y relevana a tes, como su distinto comportamiento estad stico, que lleva a las distribuciones de Bose-Einstein y Fermi-Dirac que corrigen a MaxwellBoltzmann. Las matemticas que vinieron de la ingenier a a La Aeronutica. Tras los impresionantes avances de la f a sica matemtica del siglo XIX y en particular de la mecnica de uidos, pudiera a a parecer que un problema antiguo como el del vuelo, que ya hab ocua pado a Leonardo da Vinci, deber estar resuelto. Y los experimentos a con globos hab tenido xito un siglo antes55 . Adems, la teor de la an e a a variable compleja y de los ujos potenciales y vorticosos hab obtenido a un notable progreso. Pero con todo este progreso, el vuelo propulsado (por un motor) no era entendido ni practicado, y un desanimado Lord Kelvin reconoc a nales de siglo XIX que el sueo del vuelo propulsaa n do era quiz imposible56 . Es entonces cuando el mtodo experimental es a e reivindicado por los hermanos Wilbur y Orville Wright, fabricantes de bicicletas y consumados experimentadores, que logran volar en un artefacto propulsado en las inhspitas playas de Kitty Hawk, Carolina del o Norte, en la desapacible maana del 17 de diciembre de 1903. Es el nan cimiento de la Aeronutica. La reaccin de los tericos fue fulminante y a o o a la altura del desaf Durante el periodo 1905-10, los principales ingreo.
Me reero en particular a las opiniones del famoso matemtico ingls G. H. Hardy a e en su libro A Mathematicians apology, Cambridge University Press, Cambridge, 1940, que reeja puntos de vista muy distintos de los sostenidos en este art culo, ver especialmente la seccin 26. Es un libro muy conocido y de un gran inters. El tiempo no o e parece haberle dado la razn en el tema que nos ocupa. Debe tenerse en cuenta que o en 1940 la relevancia prctica de las teor sosticadas como la Mecnica Cuntica a as a a pod muy bien no ser evidente, como lo es hoy para el lector avisado. a 55 Hermanos Montgoler, 1783. 56 heavier-than-air ying machines are impossible, dijo en 1895.
54

dientes matemticos que faltaban al modelo terico fueron comprendidos a o (N. E. Zhukovski, M. Kutta, L. Prandtl, S. A. Chaplygin). Se trata de los conceptos de sustentacin, circulacin, capa l o o mite, separacin, rgimen laminar y turbulento. Una ingenier nace y nos llevar en o e a a 30 aos ms all de la barrera del sonido. Y nacen ramas de la man a a temtica aplicada, como la teor de las perturbaciones singulares, la a a teor de los ujos supersnicos y transnicos y la teor matemtica de a o o a a 57 . la combustin o Resistimos aqu la tentacin de detallar las otras ramas de la inge o nier que tambin han tenido una interaccin activa con las matemtia e o a cas. Lo cual no signica en absoluto que ignoremos su importancia, trataremos el tema en la seccin 8. o Grandes novedades que vinieron de las matemticas a Las matemticas han vivido el siglo XX muy pendientes del desa arrollo interno de las ideas recibidas del fabuloso siglo anterior. Para ms fortuna, el siempre dif y en general fallido intento de prever las a cil l neas del futuro cont con una conrmacin en la famosa propuesta de o o D. Hilbert al II Congreso Internacional de Matemticos, celebrado en a Par En 23 problemas, Hilbert resum los principales retos con que se s. a enfrentaban las matemticas, desde las ms puras a la f a a sica matemtia ca58 . Esos 23 problemas han sido de gran importancia en el transcurso de los aos, pero otras l n neas inesperadas han venido a complementarlos y competir por las candilejas. Sealemos tres desarrollos importantes n entre tantos. El clculo de probabilidades. Como respondiendo a la necesidad a planteada por la mecnica cuntica, pero en realidad independientea a mente, Andrei N. Kolmogorov estableci en Mosc la probabilidad o u 59 sobre la teor de conjuntos y la teor de la medida, tarea axiomtica a a a a la que se asocian los nombres de P. Levy en Francia y N. Wiener
Ms hacia la matemtica terica tenemos la teor matemtica de la explosin a a o a a o para las ecuaciones diferenciales no lineales, de tanta actualidad. Perm tasenos agregar que, aunque la prctica de la ingenier aeronutica descansa en bases tericas a a a o rmes, las matemticas profundas involucradas estn lejos de ser bien entendidas y a a la investigacin es muy activa o 58 Debe decirse empero que ste ultimo tema estaba relativamente mal representado, e y Hilbert dedic mucho esfuerzo al asunto en los aos siguientes. BROWDER, F. o n (ed.) Mathematical Developments arising from Hilbert Problems. Proceedings of Symposia in Pure Mathematics, XXVIII. Amer. Math. Soc. Providence, 1976. 59 Su libro titulado Grundbegrie der Wahrscheinlichkeitsrechnung, Fundamentos del Clculo de Probabilidades, es publicado en 1933. a
57

en EE.UU. Hemos de recordar aqu que Boltzmann fue un estudioso del movimiento browniano, que L. Bachelier escribi su tesis en Paris en o 1900 en un intento (infructuoso de momento) de modelar los mercados nancieros, y que Einstein recibi el premio Nobel en 1921 no por la o teor que le hizo famoso sino por sus estudios del efecto fotoelctria e co y... del movimiento browniano. Las cadenas de Markov hab sido an estudiadas desde 1900 por A. A. Markov. Hoy d la teor de los procesos estocsticos, en particular los proa, a a cesos de Markov, es una de las reas predilectas de esta oreciente rama a de las matemticas, y el Clculo de Ito es una herramienta esencial a a del anlisis estocstico continuo que compite con el clculo innitesimal a a a clsico de Newton y Leibniz. Todo este desarrollo era completamente a desconocido, incluso insospechado, hace poco ms de un siglo y se ocupa a de informarnos sobre los fenmenos aleatorios y su evolucin probable, o o es decir, nos permiten hacer predicciones sobre lo no exacto. Como es ya usual en nuestro relato, se trata de un empeo no slo acadmico, n o e sino que tiene aplicaciones muy importantes en los procesos cient cos, industriales y nancieros. El caos determinista. El estudio del caos generado por las ecuaciones diferenciales, ya anunciado por Poincar, cuyas matemticas hab e a an madurado gracias al impulso de diversos matemticos, especialmente G. a Birkhof, ha de esperar a la obra de un f sico dedicado a los estudios del clima para adquirir el impulso denitivo. En efecto, se atribuye a Edward Lorentz, del MIT, ese mrito 60 . Preocupado por el estudio e de los procesos convectivos en la atmsfera propone un simple modelo o no lineal consistente en 3 ecuaciones diferenciales ordinarias que no me resisto a copiar x = 10x + 10y, y = 28x y + xz, z = 8 z + xy. 3 Para esta eleccin de los parmetros (es decir, los coecientes de la ecuao a cin, que pueden ir variando en el problema) encuentra sorprendido que o las trayectorias numricas que produce su ordenador no convergen a nine guna situacin peridica. El art o o culo de 12 pginas data de 1963. Surgen a conceptos que llegarn al gran pblico, como caos determinista y atraca u tores extraos, y toda una rama de las matemticas tanto tericas como n a o experimentales, una gran novedad posible gracias al desarrollo de los
60

Su famosa publicacin Deterministic non-periodic ow. ATMOS, J. Sci 20. o 1963. Pgs. 130141. a

ordenadores. Autores como S. Smale y M. Feigenbaum se hacen clee bres61 . Entran en escena los conjuntos fractales de B. Mandelbrot62 , ya anunciados en la obra de G. Julia en los aos 2063 . Hurgando en la n historia se descubre como precursor la gura gigante de H. Poincar que e hab previsto este caos en su cabeza. a El estudio de los procesos caticos, fractales y turbulentos es una de o las fronteras del pensamiento matemtico actual. a Nuevos conceptos de solucin en las ecuaciones diferenciales. o Hacia los aos 30 era claro para muchos investigadores que el concepn to clsico de solucin era insuciente para construir una teor de las a o a ecuaciones diferenciales que satisfaga las necesidades de las ciencias a las que se aplican. En efecto, es natural en esta disciplina plantear problemas, es decir, conjuntos de ecuaciones y datos adicionales, que sean bien propuestos; siguiendo a J. Hadamard, ello quiere decir que tales problemas han de tener una solucin, que sta ha de ser unica si se dan o e datos sucientes, y que adems tal solucin ha de depender continuaa o mente de los datos. No se trata ya de que la solucin sea clsica, pues o a sta puede no existir o puede que no sea el concepto de solucin cuya e o existencia resulta natural demostrar. Enfrentados con este reto, los matemticos han desarrollado divera sas nociones de soluciones generalizadas con signicado f sico. Quiz el a ejemplo ms notable haya sido el problema de minimizacin de energ a o a de Dirichlet ya mencionado64 , motivacin de los espacios de Hilbert. o Otro ejemplo bsico es el problema de Riemann de la dinmica de gases, a a ya mencionado. Un tercer problema similar lo afronta J. Leray65 en 1933 en el estudio de las soluciones de las ecuaciones de Navier-Stokes de los uidos reales (viscosos) en el espacio tridimensional. Gracias al trabajo de los analistas funcionales (S. L. Sobolev, L. Schwartz,...)
cf. STEWART, Ian. Does God play dice? The New Mathematics of Chaos. Penguin. Londres, 1989. 62 cf. MANDELBROT, B. The fractal geometry of Nature. 2nd ed. San Francisco, 1982. 63 Su publicacin data de 1918. o 64 Se trata de minimizar la integral de energ | u|2 dx entre todas las funciones a admisibles u = u(x) denidas en un recinto del espacio y que toman valores asignados en el borde de ; u designa el gradiente de u. El problema de principio, crucial para la correcta solucin, es qu se entiende por funcin admisible. o e o 65 Jean Leray public tres art o culos sobre el asunto en 1933-34. El ultimo es el Essai sur les mouvements planes dun liquide visqueux emplisssant lespace. Acta Math., 63. 1934.
61

se introducen los conceptos de solucin dbil y solucin en el sentido de o e o las distribuciones. Resumiendo mucho, no se pide a las soluciones que posean todas las derivadas impl citas en la ecuacin sino que cumplan o con ciertos tests. Con los expertos en leyes de conservacin (P. Lax, O. o A. Oleinik, S. N. Kruzhkov) se llega a las soluciones de entrop a, que no son siquiera continuas (y se recupera as el legado de Riemann, Rankine y Hugoniot y sus ondas de choque). En nuestros d aparecen nuevos conceptos de solucin para satisas o facer las crecientes necesidades, como las soluciones viscosas de M. G. Crandall, L. C. Evans y P. L. Lions. L. Caffarelli extiende este concepto a los problemas de cambio de fase o frontera libre, donde la discontinuidad es parte fundamental del planteamiento matemtico. a Y la saga continua con las soluciones mild, soluciones de semigrupos, soluciones renormalizadas,... Uno de los aspectos ms llamativos de estos nuevos conceptos es a su compatibilidad con las soluciones numricas propias de los mtodos e e discretos del clculo numrico. Se halla as una sorprendente alianza a e de los conceptos abstractos y los numricos contra la rigidez de los e clsicos. Por otra parte, el Anlisis Funcional pasa a formar parte del a a curr culo bsico del matemtico aplicado y el ingeniero. a a Las matemticas y la vida social: la teor de juegos a a La teor de juegos analiza los juegos, es decir, situaciones en que a se da un conicto de intereses. Parte de los juegos ms simples, pasaa tiempos que pueden ser analizados completamente; de ellos se pasa a los juegos reales como el pker o el ajedrez, y de ah a los complejos o problemas de estrategias en reas de enorme inters social como la ecoa e nom o la pol a tica. Vemos en ello un gran paralelismo con el proceder del clculo de probabilidades y la estad a stica, que pasan de los juegos de azar con cartas o bolas a la estad stica industrial y social por un lado, y al comportamiento de los gases o los tomos por otro. a El primer teorema en teor de juegos es atribuido a E. Zermelo, a fundador de la versin de la teor de conjuntos ZF hoy tomada por o a estndar, y se titula Sobre una utilizacin de la teor de conjuntos en a o a la teor del ajedrez, 191366 . Yendo hacia atrs en el tiempo, el pria a
Ueber eine Anwendung der Mengenlehre auf die Theorie des Schachspiels. 1913. Pgs. 501-504 en los Proceedings of the Fifth International Congress of Mathematia cians, Vol. II (E. W. Hobson and A. E. H. Love, eds.), Cambridge University Press).
66

mer libro de las matemticas de la competicin parece ser de Augustin a o Cournot en 183867 . Otro conocido matemtico, E. Borel, escribi soa o bre juegos de estrategia en el per odo 1921-27 y dio una prueba restringida del teorema del minimax, uno de los resultados ms importantes a de la matemtica aplicada del siglo XX al decir de Casti 68 . a Pero son dos grandes guras quienes asientan las matemticas de la a competicin en el siglo XX. Uno es J. von Neumann, que demuestra o en 1928 el teorema del minimax y analiza en su famoso libro con Morgenstern, 1944, los juegos cooperativos y de suma cero69 . El otro es J.F. Nash70 que en cuatro art culos fundamentales de 1950-53 establece la teor de los juegos no cooperativos71 . Los conceptos de equilibrio a dominante y equilibrio de Nash son hoy d herramientas matemticas a a bsicas de la prctica econmica y pol a a o tica (en sus diversas vertientes de eleccin social) y deber ser mejor conocidos por el gran pblico. J. o an u Nash recibi el Premio Nobel de Econom en 1994 y es uno de los pocos o a Premios Nobel Matemticos, junto con los economistas J. Tinbergen 72 , a L. Kantorovich y Selten73 . La Econom Matemtica desborda evidentemente el tema de los a a juegos, la competicin y las estrategias, que forman el reino de las mao temticas de la llamada Microeconom Despus hablaremos brevemena a. e te de las matemticas del mercado nanciero. a En la Teor de la Eleccin Social es importante el Teorema de Ima o
67 El libro se titula Recherches sur les Principes Mathmatiques de la Thorie des e e Richesses, t tulo de lo ms prometedor. Hemos de mencionar La Teor de la Evolucin a a o de Darwin, que toca en un sentido el tema con su seleccin natural, que produce o situaciones de equilibrio. 68 Sus cinco favoritos son la teor de juegos, el teorema del punto jo, el problema a de parada de Turing, el mtodo simplex y ... se ruega al lector que consulte el libro. e CASTI, J. L. Five Golden Rules. John Wiley. New York, 1996. Five More Golden Rules. John Wiley. New York, 2000. 69 Theory of games and economic behaviour. J. von Neumann and O. Morgenstern. 70 Famoso tambin por sus trabajos en geometr y en ecuaciones en derivadas e a parciales y por su azarosa biograf reejada en un lme reciente. a 71 Entre ellos NASH, J. F. Non-Cooperative Games, Annals of Mathematics. 1951; Two-Person Cooperative Games, Econometrica. 1953 72 Tinbergen es importante en nuestro relato, pues fue uno de los primeros propulsores de la modelizacin matemtica ms all de los connes de la f o a a a sica; T. vio que las aplicaciones de las matemticas pod afectar a muy diversas areas. a an 73 Otros cient cos galardonados que han aparecido en nuestro relato son Lorentz, Raleigh, Planck, Einstein, Bohr, de Broglie, Heisenberg, Schrdinger, Dirac, Born y o Feynman en F sica y Lord Russell en Literatura.

posibilidad de Arrow74 , que pone un l mite a las capacidades de los sistemas axiomticos de eleccin, aplicando a la ciencia social las ideas de a o los clebres resultados de indecibilidad e incompletitud de Kurt Godel e (1931) para la aritmtica formal, uno de los resultados ms notables de la e a Matemtica del siglo XX75 . El resultado de Gdel trata de la indecidibia o lidad intr nseca a todos los sistemas formales que incluyan la aritmtica, e tema de Lgica y Fundamentos de la Matemtica de apariencia emineno a temente pura y por ello de nula interaccin con el mundo prctico si o a hemos de creer a los fervientes defensores del aislamiento esencial de las matemticas puras. Pues bien, volveremos a hablar de l en el prximo a e o tema, que trata de ordenadores, de la mano de otro de nuestros hroes, e A. Turing. 7. INGENIER Y MATEMATICAS EN LA ULTIMA IA DEL SIGLO. LOS ORDENADORES Y LA REVOLUCION . MATEMATICA COMPUTACIONAL . La realizacin prctica del viejo sueo de construir una mquina o a n a de calcular toma cuerpo en forma del moderno ordenador que acredita dos or genes, la Tecnolog y las Matemticas, los cuales conuyen en a a 76 . Por una parte tenemos el viejo un fantstico invento en el ao 1946 a n proyecto de la mquina de calcular, pensada ya en el siglo XVII por B. a Pascal77 y G. Leibniz78 , y que debe tanto a Ch. Babbage a principios del siglo XIX79 , proyecto que es realizable en el siglo XX de forma eciente gracias al avance de la electrnica: primero el tubo de vac y luego una o o espectacular saga de progresos tcnicos que nos llevan al semiconductor, e a la miniaturizacin y al chip80 . o Pero el ordenador o computadora no nace como mquina de calcular a
Kenneth J. Arrow, trabajo doctoral en 1948-49 publicado en Social Choice and Individual Values en 1951. En 1972, Arrow recibi el Premio Nobel de Econom por o a sus contribuciones al estudio del equilibrio econmico y la eleccin social. o o 75 La incompletitud de los sistemas formales fue publicada en Ueber formal unentscheidbare Saetze der Principia Mathematica und verwandter Systeme. On formally undecidable propositions of Principia Mathematica and other related systems. 76 Con esta fecha hago referencia al ordenador ENIAC. 77 Su machine a calculer, la Pascalina, se hizo famosa. ` 78 Leibniz pens en la direccin del algebra, la lgica simblica y el lenguaje unio o o o versal. Recientes investigaciones histricas indican que una cierta primac de tales o a mquinas calculadoras se debe a otro alemn, Schickard (1623) pero su mquina no a a a lleg a funcionar. o 79 Babbage trabaj toda su vida en un proyecto mecnico, la Analytical Machine, o a el precursor del moderno ordenador electrnico, con la notable ayuda de Ada Byron, o Lady Lovelace, hija del poeta y matemtica. a 80 El circuito integrado fue inventado por R. Noyce y J. Kilby en 1958.
74

pasiva, sino que nace con un programa. Esta es la herencia de la lgica o matemtica, desde G. Boole con su lgebra al programa de formalizacin a a o de las matemticas de D. Hilbert, que lleva a la prueba de indecibilidad e a incompletitud de Kurt Gdel en 1931 que destruye el sueo de Hilbert de o n una matemtica de demostraciones automticas. Ello provoca el inters a a e de otro matemtico genial, Alan Turing (1912-1954), que traduce el a programa de formalizacin al lenguaje de las mquinas, 193781 , e inventa o a con Alonzo Church la teor de la computabilidad, aos antes de que a n el ordenador viera la luz. Sigue un momento histrico: el eso fuerzo de guerra, el desciframiento del cdigo alemn Enigma, . . . Entra en o a escena von Neumann con la idea del programa en memoria, y se construye el ENIAC en 194682 . La computadora moderna surge como una mquina calculadora ecaz a con cuatro caracter sticas: es de utilidad general, electrnica, digital y proo gramable; las dos ultimas propieda des se relacionan directamente con las A. Turing matemticas. La primera computadoa ra comercial, UNIVAC, funcion en o 1951. En estos 50 aos se pasa de las grandes mquinas (armatostes) n a que manejan kilobytes o megabytes a los ordenadores personales con capacidad de decenas de Gigas y a la WWW. La dualidad en el mundo del ordenador contina en forma de la famosa pareja Hardware y u Software 83 .
On Computable Numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society. 1937. 82 Las siglas ENIAC signican Electronic Numerical Integrator and Computer, construido por J.W. Mauchly y J.P. Eckert en la Univ. de Pennsylvania; hoy es reconocido el trabajo pionero de J.V. Atanaso. Mencin merecen tambin el Colossus ingls, o e e 1942, y las mquinas alemanas Z1 a Z4. METROPOLIS, N., HOWLETT, J., ROTA, a G. C. (Eds.) A History of Computing in the Twentieth Century. Academic Press. New York, 1980. Todas estas mquinas ten un propsito militar. a an o 83 Los ordenadores personales aparecen en 1977 y, en contra de las predicciones de los gurs, han ocupado la escena, gracias sin duda al progreso impresionante del u hardware: un chip puede contener al nal del siglo XX unos 109 transistores.
81

El mundo computacional, un nuevo mundo para las matemtia cas El mundo del ordenador est cambiando poco a poco la vida diaria del a ciudadano: las transacciones bancarias, el correo electrnico, la reserva o de pasajes, ... Su efecto sobre las matemticas, menos conocido por el a gran pblico, es an ms dramtico. Aparecen por un lado, las nuevas u u a a ramas de la Matemtica Computacional terica, como la teor de la a o a computabilidad y la complejidad y la teor de autmatas y lenguajes a o formales. Pero todas las ramas de la matemtica pura y aplicada se a contagian de la repentina capacidad para calcular efectivamente lo que antes era slo imaginable, y este nuevo gusto se propaga como una ino feccin (potente pero benigna) en la prctica cotidiana de las matemtio a a cas: matemticos, cient a cos e ingenieros calculan rbitas de satlites o e o trayectorias de sistemas dinmicos, distribuciones numricas o series a e temporales de procesos reales, mapas climatolgicos o estudios de singuo laridades, distribucin de temperaturas en un alto horno o propiedades o estad sticas de los ceros de la funcin Zeta de Riemann,... Y la nanza o y la administracin tambin calculan. o e Entre los notables cambios acaecidos, las matemticas tienen un paa pel importante en los procesos industriales u otros en que se combina la experimentacin en laboratorio con las nuevas herramientas matemtio a cas: aparece la combinacin de modelizacin matemtica - anlisis o o a a matemtico - simulacin numrica y visualizacin - control, a o e o que forma una herramienta de uso habitual en los ms diversos campos: a las comunicaciones, la prediccin del tiempo, la astrof o sica, la ingenier a minera, industrial, la industria del automvil y del petrleo, los proo o blemas medioambientales y la ecolog la econom y las nanzas, las a, a comunicaciones, y en este momento, la biolog y la medicina, como vea remos con algn detalle en la seccin 8. Esta rea de las matemticas u o a a tiene como tarea aproximar de una manera ecaz las soluciones de modelos matemticamente muy sosticados y complejos. El inters por su a e desarrollo y aplicacin da lugar a los grandes Institutos y Centros de o Clculo. a Los nuevos conceptos: modelo numrico, simulacin numrica, expee o e rimento o exploracin numrica, visualizacin dinmica,... se hacen de o e o a uso diario en el medio cient co e industrial. El desarrollo de mtodos e de formulacin numrica de los modelos continuos, como las ecuaciones o e diferenciales, es una rama fundamental de la matemtica computacioa

nal (a saber, los mtodos de diferencias nitas, y elementos nitos84 , los e volmenes nitos,...). El estudio de las propiedades y la convergencia u de estos mtodos constituye el Anlisis Numrico, que tiene una conee a e xin profunda con el Algebra. Por otra parte, la capacidad de clculo o a da nueva vida a la matemtica discreta, como la teor de grafos, con a a sus importantes aplicaciones (por ejemplo, a las redes telefnicas y en o general al mundo de las comunicaciones). Un nuevo paradigma de la ciencia El broche nal de esta evolucin vertiginosa es el surgimiento de un o nuevo paradigma cient co en que la Ciencia computacional es el tercer componente bsico del mtodo cient a e co, junto con la Teor y a el Experimento. Nos hallamos pues ante una alteracin profunda de la o herencia cient ca de Galileo y Newton, que la enriquece en la direccin o de las matemticas. a Esta nueva visin, que comenz en la ingenier y las ciencias f o o a sicas, se practica hoy d intensamente en todas las ciencias, dando lugar a a nuevas disciplinas o subdisciplinas, como la F sica Computacional y la Dinmica de Fluidos Computacional, la Biolog Computacional o a a la Qu mica Computacional. Programas de las licenciaturas (incluso nuevas titulaciones), programas de investigacin internacionales, centros de o investigacin, congresos y revistas prestigiosas conrman la relevancia o del tercer rostro de la ciencia en los albores del siglo XXI. La ventaja del camino computacional queda perfectamente reejada en la siguiente declaracin de los Reviews in Computational Chemistry: As a technio que, Computational Chemistry has the advantage of producing answers cheaply and quickly (compared to e.g. thermodynamic measurements). Es decir, que cuesta menos calcular que medir (y es able). Y aade otro n aspecto importante, la capacidad para examinar lo hipottico: and [it e works] for hypothetical structures, like transition states. Lo anterior no se circunscribe a las ciencias clsicas, afecta incluso a en mayor grado a la ingenier y la ciencia econmica. La novedad del a o cambio, que sucede ante nuestros ojos, es un reto de enorme importan84 Los elementos nitos son un ejemplo maravilloso del desarrollo de una herramienta matemtico-numrica por el esfuerzo paralelo, pero separado, de matemticos a e a e ingenieros, ver el interesante relato histrico de BABUSKA, I. Courant Element: o Before and After. En Finite Element Methods. Edited by Krizek, Neittaanmki and Sternberg, M. Dekker Inc. New York, 1994. El fenmeno no es aislado, pinsese en o e la reciente historia de las ond culas o wavelets. Estos ejemplos deber llevarnos a an pensar ms en los benecios de la comunicacin. a o

cia para el futuro de las matemticas y resulta dif de asimilar para a cil muchos colegas. No hay nada malo en seguir anclado en un pasado glorioso,... pero se paga un precio. De la amplitud del panorama hablamos en la prxima seccin. o o

8. LOS RETOS Y TENDENCIAS DEL SIGLO XXI. MATEMATICAS EN LAS CIENCIAS, LA INDUSTRIA, . LAS FINANZAS Y LA ADMINISTRACION . En consonancia con los apuntes vistos de la reciente evolucin de o la matemtica pura y aplicada, que combina la exigencia de una slida a o teor con una ambicin universal, el panorama que ofrece el mundo de a o las matemticas de cara al futuro es de una asombrosa variedad. Usando a un idioma algo retrico, los expertos dicen que las matemticas son o a ubicuas, estn por todas partes, y relevantes, importan. La modelizacin a o matemtica juega un papel mayor que nunca en la ciencia, la ingenier a a, los negocios y las ciencias sociales. Mencionaremos solamente algunos de los principales temas de aplicacin que aparecen en la literatura, en los congresos, en los programas o de los institutos de investigacin. Tambin hemos utilizado una serie de o e fuentes85 . En itlicas sealamos aspectos matemticos relacionados para a n a comodidad del lector. Mecnica celeste. Problemas de la ciencia aeroespacial. Estabilidad a y caos en sistemas dinmicos. Atractores extraos. Mecnica de slidos a n a o y uidos en gravedad cero. Teor de uidos. Aplicacin a la Meteorolog y la Climatolog a o a a. Ingenier del ocano. Problemas medioambientales complejos, recalena e tamiento global y otros temas geosociales. Modelos de circulacin gloo
85 FONSECA, I. et al. The Impact of Mathematical Research on Industry and vice versa. Round Table at 3rd European Congress of Mathematics. Barcelona, july 2000. FRIEDMAN, A. et al. Mathematics in Industrial Problems. (A 10 volume collection) IMA Volumes in Mathematics and its Applications. Springer-Verlag. Berl n, 1988-1998. FRIEDMAN, A., LAVERY, J. How to Start an Industrial Mathematics Program in the University. SIAM Report. Philadelphia, 1993. MUMFORD, D., FRIEDMAN, L., LOVASZ, L., MANIN, YU., ROTA, G. C., JENSEN, R. B. y PENROSE, R. Informe sobre el futuro de las Matemticas contenido a en Mitteilungen der Deutchen Math. Vereinigung (es decir, Notices of the German Math. Union), 2. 1998. ODEN, J. T. et al. Research directions in computational mechanics. Report of the U.S. National Commitee on Theoretical and Applied Mechanics. Washington, 2000.

bal, modelos de equilibrio; modelizacin estocstica del clima; jerarqu o a as de modelos de complejidad intermedia, como los modelos geostrcos. o Glaciolog Acstica y aplicacin a la industria del sonido. Fluidos ina. u o dustriales, lubricacin. Turbulencia. Predecibilidad y caos. Estabilidad, o bifurcacin. Problemas de frontera libre. Areas de interseccin, como la o o interaccin uido-estructura. o Aeronutica. Problemas de la hidrodinmica. Vuelo supersnico a a o y transnico. Problemas de la combustin (propagacin de llamas, deo o o tonacin). Ondas de choque y ecuaciones hiperblicas. Capas l o o mite y desarrollos asintticos. Ondas viajeras. o F sica fundamental. Las matemticas del mundo atmico y de las a o part culas elementales. El modelo estndar, la electrodinmica cuntica, a a a la cromo-dinmica cuntica. Teor de grupos, renormalizacin, teor a a a o as gauge, supersimetr ecuaciones de Yang-Mills, instantones, dilatones, a, branes,.... Geometr y topolog exticas en dimensiones superiores. as as o Astrof sica. Relatividad general, modelos estelares. Matemticas a de la f sica de plasmas, magnetohidrodinmica. Ecuaciones cinticas a e (Boltzmann, Fokker-Planck, Vlasov, ...) . Ciencias de la tierra. Problemas de recursos y miner Problemas a. de conservacin del medio ambiente. Transporte de contaminantes en el o aire y el suelo. Hidrolog computacional. Las ecuaciones de la extraccin a o de petrleo, de la ltracin en los suelos, de la difusin de contaminantes: o o o sistemas no lineales de EDPs y problemas de frontera libre. Matemticas a de los fenmenos s o smicos, propagacin de ondas, problemas inversos. o Ciencia de materiales. Modelado y simulacin de materiales como posites, materiales magnticos, pol e meros, cristal y papel. Propagacin o de fracturas y otros mecanismos de fallos. Elasticidad lineal y no lineal. Teor de la homogeneizacin. Transiciones de fase, crecimiento de crisa o tales, superconductividad e histresis. e Nanotecnolog Opticas integradas, redes pticas. Electrnica y a. o o ptica cuntica. Tcnicas de Nanoescalas en medicina, materiales poo a e rosos. Acoplamiento de modelos con estados cunticos, mesoscpicos y a o continuos. Teor de Boltzmann semiclsica, ecuacin de Wigner. a a o Ingenier industrial. Procesos de la siderurgia, altos hornos. Proa totipos de la industria automovil stica (uidos, aerodinmica, materiales a y teor de la fractura). a Comunicaciones. Telecomunicacin y redes pticas: anlisis, simuo o a lacin, optimizacin, optimizacin de la tasa de transmisin, diseo de o o o o n redes. Antenas, rdar y snar. Teor de campos electromagnticos. Los a o a e hornos de microondas acoplan las ecuaciones de Maxwell con la teor a del calor de Fourier.

 Matemtica Discreta. Teor de grafos, combinatoria. Aplicaciones a a a la administracin de empresas, programacin de tareas, rutas,... o o Informtica. Lgica matemtica, algoritmia, complejidad compua o a tacional. Paralelizacin. Autmatas nitos, lenguajes formales, algebra. o o Aprendizaje de mquina, miner de datos, inteligencia articial, proceso a a del idioma natural. El diseo de la computadora cuntica abrir un nuevo mundo a la n a a computacin. o Control. Control ptimo, control robusto, control no lineal. Control o predictivo. Sistemas de control fuzzy. Redes neuronales. Deteccin y o diagnstico de fallos en los procesos industriales. Modelado y control o de sistemas econmicos. Programacin con condiciones. Comunicacin o o o y control de sistemas h bridos distribuidos. Automatizacin y Robtica. Geometr Algebraica y computacin. o o a o Visin por computadora y realidad virtual. Aprendizaje biolgico y como o putacional. Teor de la informacin. Codicacin de mensajes, cdigos correca o o o tores de errores. Las sorprendentes aplicaciones de la teor de nmeros a u y el algebra. Proceso y compresin de imgenes. Ond o a culas, fractales, teor de EDPs no lineales. Reconocimiento del habla y las imgenes. as a La estad stica en la ciencia, la industria, la empresa y el gobierno. Estimacin y tests de hiptesis, diseo de experimentos. Procesos eso o n tocsticos. Series temporales. Epidemiolog Control de calidad. Anlia a. a sis de varianza. Anlisis multivariante. Muestreo, votaciones. a Teor de Optimizacin y Programacin Matemtica. Programaa o o a cin entera, programacin no lineal, programacin convexa. Mtodos iteo o o e rativos. Optimizacin del diseo industrial. Mtodos numricos, ecuacioo n e e nes en derivadas parciales, clculo de variaciones, combinatoria, algebra a lineal. Problemas de transporte ptimo. Los problemas del trco (modeo a los continuos y discretos). Planicacin de redes. El trco en la Web. o a Econom La matemtica nanciera (valoracin de opciones, coa. a o mercio de derivados, riesgo,...) une las ecuaciones diferenciales estocstia cas con las ecuaciones en derivadas parciales y problemas de frontera libre. Modelos para la econom global. a Qu mica. Qu mica cuntica: simulacin de estructuras atmicas a o o y moleculares a travs de las ecuaciones fundamentales. Modelos de e Schrdinger, Hartee-Fock, Thomas-Fermi, Born-Oppenheimer,... Dinmio a ca de reacciones, combustin. Matemticas de la nucleacin, crecimiento o a o de cristales y quemotaxis. La propagacin de frentes, ondas viajeras, oso

ciladores qu micos. Caos. Diseo de drogas. n Las Ciencias Naturales y la Medicina: Biolog Ecolog matemtica, epidemiolog biomtrica, la bioa: a a a, e informtica. Matemtica de la Gentica, Filogentica computacional. La a a e e estructura y funcin del cido nucleico. Evolucin molecular. Protemio a o o ca. Clculo con ADN. Alineacin de secuencias, razonamiento borroso. a o Modelizacin matemtica en biopolimerizacin. o a o Medicina: interaccin uido-estructura como modelo para el uo jo sangu neo. Modelado y simulacin de la funcin de otros rganos: o o o cerebro, pulmones e h gado. Auto-organizacin y geometr fractales. o as Asistencia computacional en cirug Farmacocintica, modelado del crea. e cimiento de tumores. Neurociencia computacional. Matemtica de las a enfermedades infecciosas y difusin de epidemias. Organos articiales, o modelado del sistema inmunolgico. o Tratamiento de imgenes en Medicina. Tomograf tomograf a a: a computerizada, reconstruccin 3D de imgenes. Transformadas de Fouo a rier y Radon, problemas inversos. Aunque la Matemtica computacional (tomada aparte de la Ina formtica) penetra todos los campos de aplicacin, merece una mencin a o o por s misma en este listado: mtodos numricos y cdigos; algoritmos e e o ecientes; aproximacin, estimaciones (a priori y a posteriori) del error, o mtodos y modelos adaptativos, mallado, descomposicin del dominio, e o anlisis multiescala, clculo numrico de procesos aleatorios,... a a e Por otro lado, la Modelizacin Matemtica en sus diferentes vao a riantes (determinista, continua, discreta,...) plantea los problemas de validacin de modelos y las tcnicas para obtener y elaborar los datos o e en que se basa la validacin (ver apartado de Estad o stica), as como el importante (y debatido) concepto de jerarqu de modelos, una manera a progresiva de acercarse a la realidad que es hoy d parte integrante a de la caja de herramientasdel cient co aplicado (los viejos idealistas con su la verdad eternase revolvern en sus tumbas; o quiz no?). a a Detendremos aqu el listado y haremos una muy necesaria pausa con algunos comentarios. Se observar que la lista est slo ligeramente a a o articulada por anidad de temas; sin embargo, la interconexin o ntima de las ramas de la matemtica aplicada nos obliga a cometer repeticiones, a o a poner un tema bajo uno de varios posibles t tulos. Por otra parte, hemos dejado fuera diversos campos de aplicacin: las teor de los o as sistemas complejos, la autosemejanza en el mundo natural, la formacin o y reconocimiento de modelos (patterns) y el sistema de posicionamiento global (GPS), la matemtica de los sistemas electorales; la arquitectura, a

la industria textil y la alimentaria tambin han llamado a la puerta de e la matemtica. Y hay una muy fuerte tendencia para que la Matemtica a a juegue un papel importante en las artes visuales, como ya hace en la Industria del Ocio combinada con el progreso formidable de la tecnolog a de las computadoras. Y cmo pude haberme olvidado de hablarles de la o Teor de Nudos, del Mtodo Simplex de G. Dantzig, l a e der incontestado del uso de las matemticas en las empresas, o del Filtro de Kalman? a En conclusin, esta larga lista es incompleta, principalmente debido al o conocimiento limitado del autor; pero espero que convencer al lector de a la variedad enorme de intereses de la matemtica aplicada actual. a Me gustar agregar una reexin personal nal sobre las tendencias a o profundas que veo bajo la diversidad anterior. Las matemticas del pora venir sern mucho ms estocsticas y algor a a a tmicas de lo que fueron hasta el siglo XX, y la modelizacin matemtica ser considerada o a a una parte esencial de la educacin y la actividad matemtica, junto con o a el clculo y la simulacin. Pero pase lo que pase, me parece que una a o prueba clara y completa, y tan elegante como sea posible, ser siema pre el meollo de nuestra ciencia, como ha sido desde tiempos del buen Euclides, y los matemticos futuros todav se entusiasmarn con proa a a blemas y conjeturas, y algunos de ellos al modo de Galileo mirando al mundo (o las estrellas). Y construirn, posados sobre hombros de a gigantes del pasados, esos delicados, intrincados y huidizos objetos llamados teor as, algunas de ellas destinadas al olvido, unas pocas a la eternidad,..., o al uso diario. Quin se maravilla ya de la sorprendente e existencia de las ondas electromagnticas llenando el aire, ahora que ine cluso se han vuelto una forma de contaminacin? Pero basta de losof o a por el momento.

9. DE LOS 23 PROBLEMAS DE HILBERT EN 1900 A LOS PROBLEMAS DE CLAY EN 2000 . Ya hemos sealado el profundo impacto que la lista de problemas n propuesta por D. Hilbert en 1900 tuvo sobre sus contemporneos y sua cesores. Han pasado 100 aos desde entonces y diversas iniciativas pren tenden dar la rplica al gran hombre, cf. por ejemplo los libros de Arnold e - Atiyah - Lax - Mazur, y de Engquist - Schmid86 El mircoles 24 de e mayo de 2000 se anunci en el Coll`ge de France de Par el Conjunto o e s, de los 7 problemas matemticos que constituyen los Millennium Prize a
Para ms informacin ver el art a o culo de Jackson citado en las referencias nales. Ver tambin el vol. 3, n.o 1. 2000. de la Gaceta de la RSME, art e culo de J. L. Fernndez a y M. de Len. o
86

Problems, patrocinados por el Mathematics Clay Institute. Recordando a Hilbert pretend reejar 7 de los ms importantes problemas abiertos a a de la ciencia matemtica al comienzo del nuevo siglo 87 . Estos problemas a recorren las diversas reas las matemticas puras y aplicadas y son a a 1. P versus NP (Teor de la computacin) a o 2. Conjetura de Hodge (Geometr algebraica) a 3. Conjetura de Poincar (Geometr y topolog e a a) 4. Hiptesis de Riemann (Teor de nmeros) o a u 5. Existencia de Yang-Mills y Hueco de Masa (F sica terica) o 6. Existencia y regularidad para las ecuaciones de Navier-Stokes (Mecnica de Fluidos y PDEs) a 7. Conjetura de Birch y Swinnerton-Dyer (Geometr aritmtica a e algebraica) A riesgo de ser impertinente (pido disculpas al lector) desear dar a una impresin personal sobre esta lista que parece destinada a ser famosa o e inuyente. Afortunadamente, incluye problemas abiertos importantes en temas variados de la matemtica pura y aplicada. Sin embargo, no a hace suciente justicia a la visin aqu expuesta de la matemtica como o a lenguaje y herramienta bsica de la ciencia y la ingenier a a.

10. EJEMPLOS DE NUEVOS CURSOS Tras dos secciones consagradas a la enumeracin, es tiempo de volo ver al trabajo. A continuacin, echaremos una ojeada ms detallada a o a algunas de las novedades de la matemtica actual. Entre las muchas opa ciones, tomaremos tres ejemplos: de las nanzas, las comunicaciones y la f sica fundamental. Matemticas de la incertidumbre nanciera y el riesgo a

Un ejemplo notable de las aplicaciones prcticas de las matemticas, dea a sarrollado en los ultimos decenios, es la llamada matemtica nanciera. a Los nuevos instrumentos nancieros de futuros y derivados se basan y a su vez motivan esta nueva rama de la matemtica aplicada, la cual a combina procesos estocsticos, ecuaciones en derivadas parciales y proa blemas de frontera libre. El resultado ms famoso es el modelo de Blacka 88 para el mercado de opciones, el cual reduce la valoracin a la Scholes o

87 la resolucin de cada problema valdr al autor un premio de 1 milln de dlares. o a o o Toda la informacin sobre el premio y los problemas se puede obtener en la direccin o o http://www.claymath.org/prize problems. 88 BLACK, F., SCHOLES, M. The pricing of options and corporate liabilities. 1973.

solucin de una ecuacin del calor (inversa en el tiempo). Me gustar o o a registrar esta reduccin en la siguiente sucesin de frmulas o o o dSt = dt + dBt St P 1 2P P + 2S 2 2 + b S r P = 0, t 2 S S

que pasa de una ecuacin diferencial estocstica, representando la incero a tidumbre del azar, a una EDP determinista que permite la valoracin del o precio. Este es un ejemplo sorprendente de transferencia de conceptos y tcnicas hecho posible por la clave comn matemtica (y por el hecho e u a de que F. Black era licenciado en F sica Cuntica). a La inestabilidad inherente a esos mercados y las enormes repercusiones sobre la econom pblica y privada hacen tanto ms importante a u a la aplicacin del mtodo matemtico para intentar hallar la clave mao e a temtica que rige tales procesos y a reemplazar las reglas emp a ricas y la adivinacin en la prctica nanciera por matemticas. Un reto para el o a a nuevo siglo. Del anlisis de Fourier a las ond a culas

Hemos discutido hace un rato la situacin creada en el anlisis de Fouo a rier cuando Du Bois Raymond hall un ejemplo de serie de Fourier no o convergente, y queremos recordar aqu que la tercera opcin para salir o del atolladero consist en cambiar la base de las funciones usadas en la a representacin. Esto es lo que hizo A. Haar en 190989 , resolviendo as la o dicultad en principio. Podemos decir que ste es el origen remoto de e las ond culas (wavelets), una idea que tard un siglo entero en madurar. o La investigacin en este problema antes de la Segunda Guerra Mundial o parece haber seguido un inters exclusivamente matemtico sin ninguna e a aplicacin en mente. Pero despus de la guerra, ingenieros y cient o e cos aplicados aterrizaron en la idea llevados por las aplicaciones, notablemente, a la teor de la informacin de Claude Shannon. En el futuro, a o las dos l neas de pensamiento se unieron y el anlisis de ond a culas se ha convertido en una importante y frtil interseccin de las fronteras de las e o matemticas, el clculo cient a a co y el tratamiento de seales90 . n
Merton y Scholes recibieron el Premio Nobel de Econom en 1997. Una primera a versin del modelo hab sido propuesta por L. Bachelier en 1900! se tardaron siete o a dcadas para llegar a un modelo realista y a que la aplicacin ocurriese. e o 89 Zur Theorie der orthogonalen Funktionensysteme. Math. Annalen 69, 1910. Pgs. 331-371. a 90 La mayor parte de esta informacin est tomada del libro JAFFARD, S., MEYER, o a Y., RYAN, R. D. Wavelets, tools for Science and Technology. SIAM. Philadelphia, 2001., y tambin HERNANDEZ, E., WEISS, G. A rst course on wavelets. With a e

 Modelos matemticos de la F a sica Terica y la naturaleza de o la materia Las dos grandes revoluciones cient cas en la F sica del siglo XX, es decir, la Relatividad y la Mecnica Cuntica, han impreso en esta ciencia una a a an mayor conexin con la matemtica pura. La F u o a sica se enfrenta con el desaf enorme de construir una teor que una a ambos modelos en un o a todo coherente. Experimentales y tericos han emprendido la bsqueda o u de la teor ultimaque explicar todo, desde la constitucin del tomo a a o a a los extremos ms lejanos del Universo. Tal teor est an por llegar (y a a a u podr estarlo mucho tiempo) pero se han obtenido grandes logros (pues a se hace camino al andar, como dijo el gran poeta). He aqu algunos hitos, todos ellos matemticas profundas. a La Electrodinmica Cuntica (QED) fue desarrollada para describir a a la interaccin electromagntica en el marco de la Mecnica Cuntica, o e a a y trata de las cargas y los fotones y usa los hermosos diagramas de Feynman. Una teor matemticamente coherente vali a sus autores, a a o Julian Schwinger, Richard Feynman y Sin-Itiro Tomonaga, el premio Nobel de F sica en 1965. Por su lado, la Cromodinmica91 hace un a trabajo similar para describir la fuerza llamada fuerteque acta enu tre los quarks, part culas postuladas por M. Gellmann y G. Zweig en 1964 como los entes constituyentes de neutrones y protones. De las cuatro fuerzas bsicas de la Naturaleza (gravitacional, electromagntica, a e dbil y fuerte), las dos intermedias reciben una teor unicada en 1967 e a con el trabajo de S. Weinger, Sh. Glashow y Abdus Salam. Simetr gauge y renormalizacin son las palabras clave en este mundo de a, o alta matematizacin. Las ecuaciones de Maxwell, Schrdinger y Dirac o o ceden el lugar a las ecuaciones de Yang-Mills. El trabajo cristaliza en los primeros aos 70 en el Modelo Estndar de part n a culas elementales, que explica la realidad atmica en trminos de tres generaciones de quarks o e y leptones. Estas part culas actan mutuamente a travs de la teor u e a del grupo SU (2) U (1) para la fuerza electrodbil y la de SU (3)color e para la fuerza fuerte. La Matemtica est por consiguiente en el pua a ro centro del modelo, en forma de grupos de Lie, geometr diferencial a (ms espec a camente, conexiones en brados) y ecuaciones en derivadas parciales. Siguiendo adelante, las Teor de Gran Unicacin intentan combias o
foreword by Yves Meyer. Studies in Advanced Mathematics. CRC Press. Boca Raton, FL, 1996. 91 El nombre hace referencia a la pintoresca denominacin para la carga conservada, o llamada el color.

nar ambas teor de grupos en una. En la Teor de Cuerdas, la vieja as a idea bsica de las part a culas puntuales es reemplazada por la idea de cuerdas vibrantes elementales. Al nal del siglo XX, la Teor de Sua percuerdas propone un modelo matemtico para la unicacin de todas a o las fuerzas, de todas las f sicas. Le falta, sin embargo, comprobacin o experimental suciente; sin sta, una teor es simplemente una teor e a a. Y la bsqueda contina. Este chorro de ideas ha motivado desarrollos u u matemticos important a simos, asociados a los nombres de matemticos a famosos como M. F. Atiyah, S. K. Donaldson y E. Witten. Estos f sicos creen, pues, que la combinacin modelos-y-experimentos o nos permitir entender un mundo extrao en que la materia, el espacio, a n y tiempo no son lo que nosotros solemos pensar, donde el espacio vac o est lleno de actividad e incluso podr existir bastantes dimensiones a an espaciales adicionales (es decir, por encima de las 3 que vemos ms el a tiempo) arrugadas en distancias rid culamente pequeas (la distancia n t pica ser de 1035 m, por eso no las vemos, voil` lastuce; pero nos a a dicen que vemos la matemtica, y a su debido tiempo veremos las cona secuencias).

11. HECHOS Y OPINIONES En palabras de John Milnor, pure mathematicians tend to judge any work in the mathematical sciences on the basis of its mathematical depth, the extent to which it introduced new mathematical ideas and methods, or it solves long standing problems. A lo que yo agregar que a las nuevas ideas y mtodos deben ser juzgados por su productividad, y e mencionar como importantes cualidades, la elegancia de la prueba y la a visin o intuicin. Contina as However, when mathematics is applied o o u : to other branches of human knowledge, a quite dierent question must be asked rst: to what extent does it increase our understanding of the real world92 . Hubo en pocas no muy remotas un movimiento de separacin en e o las matemticas que parec alejar cada vez ms a los cultivadores de a a a ambos gneros, puro y aplicado (en la medida en que se puede hablar e de una separacin que en los mejores casos nunca ha sido neta). Y no o debemos olvidar el rechazo de muchos cient cos puros contra un tipo de matemtica aplicada ms atenta a la ganancia que a la exigencia a a cient ca, y, al contrario, el rechazo de muchos cient cos aplicados hacia
92

Ver las Notices de la Amer. Math. Soc. 1998.

los mundos excesivamente articiales (y aburridos) de cierta matemtia ca pura. Afortunadamente, presenciamos hoy d una serie de sucesos a simultneos - a saber, la explosin de vitalidad de la matemtica pura, a o a los xitos de las matemticas en la formulacin y resolucin de los proe a o o blemas clave de la f sica contempornea, la econom y la industria, y a a la variedad insospechada de aplicaciones de todas las ramas de las matemticas. Todo ello est alterando profundamente la visin de ambos a a o campos, que tienden a conuir en uno, en la mejor tradicin del pasado. o Este esfuerzo generoso no es nuevo, como expresan las palabras del notable matemtico ruso del siglo XIX P. L. Chebyshev: Unir la teor a a y la prctica conduce a los ms favorables resultados; no slo la prctica a a o a se benecia, tambin las ciencias se desarrollan bajo la inuencia de la e prctica que revela nuevos temas a la investigacin, as como nuevos a o aspectos de viejos temas 93 . La importancia de la teor para la prctia a ca viene descrita en estas bellas palabras de Euler: La gnralit que e e e jembrasse, au lieu deblouir nos lumi`res, nous dcouvrira plutt les e e e o vritables lois de la Nature dans tout leur clat94 . e e Es para los profesionales un gran misterio el que las partes pura y aplicada de las matemticas sean caras de la misma moneda. Que ambas a no son exactamente lo mismo queda muy bien reejado en las palabras de Albert Einstein: Hasta donde las leyes de matemtica se reeren a la a realidad, no son exactas; y en cuanto son exactas no se reeren a la realidad 95 . Pero el ideal y la prctica se unen con resultados sorprendentes. a Es famosa la frase de E. Wigner que se asombraba de la efectividad de las matemticas en las ciencias ms all de lo razonablemente espea a a rable, literalmente, the unreasonable eectiveness of mathematics in the natural sciences96 . Hacer y ense ar matemticas hoy n a Pasamos a comentar los cambios en la manera de hacer matemticas, a especialmente cuando son aplicadas. La emergencia de la era del ordenador ha dado nuevas alas a las matemticas, podemos calcular! La a
Tomado de KHINCHIN, A. I. Mathematical Foundations of Information Theory. Dover. New York, 1957. (Papers appeared in 1953, 1956 in Unspekhi Mat. Nauk in Russian.) Enfasis nuestro. 94 En traduccin algo libre, La generalidad con la que opero, en lugar de despiso tarnos, nos descubrir las verdaderas leyes de la Naturaleza en todo su esplendor. a La frase gura en la tapa de la revista Archive Rat. Mech. Anal. 95 Tomado de Geometry and Science, 1921. Incluido en Sidelights of Relativity. Dover. New York, 1983. Traduccin propia o 96 Conferencia dada en New York, 1959. Publicada en la revista Comm. Pure Applied Math., 13. 1960. Pgs. 1-14. a
93

capacidad de clculo ecaz, rpido y barato se ha hecho disponible al a a principio del siglo de XXI para el cient co y en medida creciente para el hombre comn, y la sociedad pide cada d ms. Ello plantea retos y u a a reexiones. Los teoremas siempre sern teoremas y una deduccin lgica sigue a o o siendo la llave de la correcta comprensin, pero la v al descubrimiento o a nunca ser ya la misma, como tampoco lo es el d despus: la implea a e mentacin numrica es ahora punto importante en muchas de las mao e temticas (en todas las matemticas aplicadas). No se trata de abjurar a a de Euclides, se trata de desarrollar la parte de Euclides inventor de algoritmos. Los efectos sobre la enseanza son de lo ms drstico, como n a a es de suponer, pero todav estn siendo desarrollados97 . a a Con ello llegamos a un importante tema de debate, es la nueva forma de hacer y aplicar las matemticas meramente instrumental o a genera nuevas matemticas? Este es un debate tan viejo al menos coa mo Arqu medes, que utilizaba la mucha mecnica que sab para invena a tar pruebas geomtricas o conceptos completamente nuevos. Sostenemos e pues que los nuevos campos son fuente inagotable de nuevos problemas, nuevas intuiciones, o visiones sorprendentes de viejos temas que dbaa mos por perdidos o por agotados. Repasemos tan slo algunas de las o pginas anteriores para ver la sorprendente cosecha geomtrica de las a e teor de part as culas de Donaldson, Witten y compa O las consena. cuencias del poder de clculo sobre las disciplinas ms puras como la a a teor de nmeros o el lgebra. a u a La modelizacin o Un rasgo importante de las matemticas aplicadas modernas es la modea lizacin matemtica, el arte de idear representaciones sensatas de los ms o a a diversos fenmenos del mundo real en trminos matemticos, basadas en o e a hiptesis racionales que simplican la realidad para hacerla calculable. J. o L. Lions, el matemtico francs recientemente fallecido que tanto contria e buy a la presente relevancia de las matemticas en el mundo industrial o a europeo, dijo en 1991: Ce que jaime dans les mathmatiques appliques e e cest quelles ont pour ambition de donner du monde des syst`mes une e reprsentation qui permette de comprendre et dagir98 . Y aadi: De e n o
Internet est poblada de propuestas didcticas maravillosas; junto a otras aboa a minables, claro est a 98 Lo que me gusta de las matemticas aplicadas es que ambicionan dar una reprea sentacin del mundo de los sistemas que permita comprender y actuar. o
97

toutes les reprsentations, la reprsentation mathmatique, lorsquelle e e e est possible, est celle qui est la plus souple et la meilleure.99 Hemos de recordar que un modelo es slo un modelo y reeja la o realidad de la forma contradictoria que Einstein describ Pero es todo a. lo que nosotros tenemos, a menos que consideremos un modelo mejor (o incluso una jerarqu de ellos). Esta es la gloria y la debilidad de a la modelizacin, aspecto crucial de la matemtica aplicada actual. El o a pblico que presencia el acalorado debate sobre las predicciones de los u modelos matemticos del clima acerca del calentamiento global en la a Tierra sabe cun importante es el problema y debe comprender cun a a dif es llegar a conclusiones n cil tidas y ables manejando evidencias parciales, basadas en modelos parciales y apoyadas por enormes bases de datos de compleja interpretacin, y huyendo de juicios a priori por o muy veros miles que parezcan. Pero es tambin claro que toda conclusin e o no basada en nmeros y modelos ables es pura ideolog Lo que nos u a. permite apreciar el mrito de los modelizadores gigantes del pasado, e como Newton, Maxwell, Einstein y el grupo cuntico. a Promesas y plazos Como hemos apuntado, una enorme parte de las mejores matemticas a se ha originado para explicar aspectos del mundo f sico, pero rara vez las consecuencias dramticas de las matemticas han sido inmediatas. a a La formulacin de los procesos f o sicos en clave matemtica al gusto de a Galileo exige un proceso de maduracin que tiene sus reglas y ritmos, o que van desde varios aos a varios siglos100 . n En un nivel ms especulativo, el conocido matemtico y escritor a a cient co Ian Stewart arma que es posible que las matemticas sean a ecaces porque representan el lenguaje subyacente del cerebro humano. Con lo cual invertimos la apuesta de Galileo, quiz entendemos el a mundo en clave matemtica porque esa es la clave de nuestra mente. a Pero ese es un debate distinto. Puntos para un debate Resumir a continuacin las opiniones bsicas que me he formado en e o a aos de estudio y curiosidad por el mundo de la matemtica. Espero n a
De todas las representaciones la matemtica, cuando es posible, es la mejor y la a ms exible. a 100 Ser una bendicin si la administracin y las autoridades educativas fueran consa o o cientes de este hecho en su toma de decisiones.
99

que sea m nimamente util en el eterno y necesario debate: - Slo las buenas matemticas pueden ser buenas matemticas aplio a a cadas. Las Matemticas Aplicadas como arte diferente y separado de la a Matemtica propiamente dicha, simplemente no existen101 . Pero al poa ner las matemticas a trabajar, la aplicacin las cambia, las enriquece y a o les abre nuevas v as. - La Matemtica slo es aplicada de verdad si ataca un importante a o problema de la ciencia, la tecnolog la econom o ms generalmente, a, a, a de la sociedad. Ya hemos visto cun variados estos problemas pueden a ser. - Si bien podemos llegar a juzgar con cierto grado de abilidad qu es e importante hoy, la tarea de predecir qu rama de la matemtica ser ime a a portante maana (la llamada planicacin estratgica) excede la capan o e cidad de las personas sensatas, salvo que simplemente contestemos: las buenas matemticas importarn o las matemticas del mundo real a a a importarn siempre. Las hiptesis autorizadas y opiniones sobre temas a o espec cos son humanas y pueden ser utiles como orientacin personal, o pero cuando se trata de decisiones y prioridades la prudencia es de rigor. - Desde un perspectiva histrica no se puede armar que los grandes o matemticos vivan en una torre de marl de teor desconectadas de a as toda realidad. No decimos que no puedan hacerlo, o que no les resulte interesante, necesario, incluso natural en muchos momentos, vivir en la abstraccin absoluta; armamos que, vista en perspectiva, su actividad o ha sido un factor esencial en la comprensin que hoy tenemos del mundo. o - Est adems la interesante cuestin de losof es un hecho bien a a o a: atestado que al enfrentarse a un enigma matemtico, al matemtico a a aplicado le gusta construir y comparar modelos adecuados, y ans a resolver el enigma preciso planteado sea cual sea el dao temporal que n se inija a la perfecta deduccin lgica, mientras su colega puro se o o deleita en la prueba lgica; slo la demostracin gobierna sus d o o o as. As pues, son lo mismo las matemtica puras y las aplicadas? o a ms cuidadosamente formulado, son lo mismo en el fondo? Dejemos a al amable lector que juzgue por s mismo. Ya saben mi opinin (ms o a o menos), pero me permito agregar en un tono ms relajado una cita a de Yogi Berra102 : En teor no hay ninguna diferencia entre teor y a a
Tomo en parte esta idea radical de A. Rnyi, (RENYI, A. Dialogues on Mathemae tics. Holden-Day. San Francisco, 1967.), quien la atribuye en su relato a Arqu medes. 102 Famoso jugador de bisbol americano, muy conocido por sus cmicas pero atinae o das salidas. Esta es la frase original: In theory, there is no dierence between theory
101

prctica; en la prctica, s que hay.103 a a 12. BREVE APUNTE SOBRE LAS MATEMATICAS EN ESPANA . Espaa tuvo en un momento dado de la Edad Media tard un papel n a importante en la transmisin de la cultura rabe a Occidente e incluso o a hubo un rey en Sevilla104 que escribi poes y promovi las matemtio a o a cas (el saber astronmico). Al Andalus, la Espaa musulmana, ten o n a slidos intereses cient o cos, en particular en medicina y astronom con a, sabios de renombre como Azarquiel (o Al-Zarkali, activo en Toledo), quien compuso tablas astronmicas. El sistema de numeracin indio bao o sado en la posicin ya estaba en uso en Al Andalus en el siglo IX. 105 o Despus de la toma por los Cristianos (1085 d.C.), Toledo, la ciudad de e las tres culturas - cristiana, rabe y jud -, fue durante siglos un gran a a centro de saber con su Escuela de Traductores que vertieron al lat los n trabajos de autores griegos y rabes106 . En otra direccin, el mallorqu a o n Raimundo Lulio (Ramn Llull) desarroll en su Ars Magna un enteo o ro arte de razonamiento algor tmico en que podemos ver un temprano precedente del Algebra de Boole y la lgica de las computadoras (Llull, o que vivi en el siglo XIII, es al mismo tiempo uno de los clsicos ms o a a antiguos de la lengua catalana). Un siglo ms tarde, los mapas nuticos a a llamados portulanos de Mallorca eran la cima del arte, y los nombres de Soler y Cresques son muy conocidos. Parece que los mallorquines participaron en la organizacin de la escuela nutica portuguesa que fue o a el origen del descubrimiento del camino a las Indias alrededor de Africa, e, indirectamente, tambin de Amrica. e e Luego las cosas fueron a peor por largo tiempo. Las fundadas esperanzas del tardo Medievo y primer Renacimiento fallaron en Espaa, y la n matemtica (y las otras ciencias) han tenido un humilde devenir durante a
and practice; in practice, there is. 103 He aqu una (medio) broma sobre las diferentes formas de ver las matemtica: los a ingenieros dicen que las ecuaciones aproximan la realidad, mientras los f sicos piensan que la realidad aproxima las ecuaciones; por su lado, los matemticos se asombran a ante la idea de que exista una conexin entre sus ecuaciones y la realidad (y se o enojan no poco si se les insiste). 104 Alfonso X el Sabio. 105 La primera escuela andalus de matemticas parece haber sido la de Maslama al a Magriti, es decir, de Madrid, que oreci en el siglo X en Crdoba. Puede considerarse o o la primera escuela en la Pen nsula en todos los tiempos, y tuvo numerosos disc pulos. En el siglo XII el rey Almutamn de Zaragoza fue un notable matemtico. a a 106 El monasterio de Sta. Mar de Ripoll en Catalua tambin ten una biblioteca a n e a mundialmente conocida.

siglos. Mientras la literatura espaola y arte estn con la crema de la n a creacin mundial desde el siglo XVII hasta nuestros d est claro que o as, a ningn nombre espaol aparece en los libros de texto afamados en que se u n aprenden las matemticas, elementales o superiores. Hay en tales textos a numerosos conceptos y resultados nombrados en honor a autores de las diversas naciones con gran tradicin cient o ca: franceses, ingleses, alemanes, italianos (e Italia era un pa catlico), en tiempos ms recientes s o a rusos y americanos,.., como tambin son frecuentes los ejemplos pa e ses que, debido a su tamao y las circunstancias, no jugaron un papel tan n prominente en la Historia, pero que s estn en el Libro de la Ciencia. a Durante estos siglos de desarrollo glorioso, de Galileo a Einstein, no se mencionan nombres espaoles. Pudo la historia haber sido diferente? El n rey Felipe II comprendi la necesidad de la ciencia y cre una Academia o o Matemtica en Madrid (1582) bajo la direccin de Juan de Herrera, el a o arquitecto de El Escorial, pero la institucin no tom cuerpo y dej de o o o existir unos aos despus, mientras que iniciativas similares dieron nacin e miento en el extranjero a la Royal Society en Inglaterra, la Acadmie des e Sciences de Paris en Francia, y as sucesivamente. Ha habido, sin duda, ejemplos de ilustres hombres digno de mencin, como Pedro Ciruelo, o Omerique, Jorge Juan y Echegaray, pero son autores aislados, una escuela nunca tom ra hasta muy recientemente y ningn gran teoreo z u ma sali de sus esfuerzos. Hubo en el siglo XVIII un gran esfuerzo de o los gobiernos ilustrados por aanzar en el pa el amor al estudio y la s industria y Espaa particip en la medicin del meridiano terrestre, pen o o ro las consecuencias matemticas fueron reducidas.107 Cules son las a a razones? Dif cuestin, pero sealemos que durante siglos se prohibi a cil o n o los estudiantes y profesores espaoles viajar y aprender en los pa exn ses tranjeros, una regla de seguridad bastante estricta que previno con xito e contra la heterodoxia, y al tiempo contra la ciencia y el progreso. Este no es lugar para un estudio detallado de la Historia, para lo cual dirigimos al lector a los especialistas108 , as que procederemos sealando n cmo se ha llegado en fecha muy reciente a un presente bastante hao lageo. Espaa pareci surgir de su profundo letargo matemtico en u n n o a la primera mitad de este siglo y la gura del insigne J. Rey Pastor sirve como referencia a un esfuerzo notable de poner al d a nuestro a pa basado en las unicas ideas que pod funcionar: el estudio en los s an
El lema de la Academia de Ciencias portuguesa resume el esp ritu de esta poca: e Nisi vtile est qvod facimvs stvlta est gloria. Si lo que hacemos no es util, tonta es la gloria. 108 Como Juan Vernet, cuyo trabajo (VERNET GINES, J. Historia de la Ciencia Espaola. Editorial Alta Fulla. Barcelona, 1998), se usa en los prrafos anteriores. n a
107

grandes centros del extranjero y la importacin de las matemticas que o a realmente existen en la comunidad mundial, que es la unica que tiene real sentido en la ciencia, al menos en la nuestra. Este mtodo hab tee a nido un xito fulgurante en la creacin de la matemtica norteamericana e o a y todo indicaba que hab de funcionar en nuestro pa Sin embargo, a s. nuestra funesta historia se encarg de disgregar el notable esfuerzo, que o dar frutos abundantes en tierras americanas, personicados en guras a como L. Santalo. Con alguna muy honrosa excepcin, que la hubo, la o actividad matemtica hasta los aos 60 volvi al ritmo del pasado. a n o Poco a poco, sobre todo a partir de los aos 70, comienza por n el n despertar de Espaa a lo que podr n amos llamar la realidad matemtica. a Tras una dcada de esfuerzo ingente de una generacin que aprendi en e o o las fuentes originales, que ense en sus clases los textos ms actuano a les, que organiz seminarios de investigacin y que viaj o mand a sus o o o o jvenes alumnos al extranjero, que empez a publicar en las revistas ino o ternacionales reconocidas y a participar en los grandes eventos, llegan, a partir de los aos 80, los aos dorados de la creacin original, lo que n n o se traduce en las mil facetas de la vida matemtica autntica y que se a e reejan (aunque no se resuman) en la palabra publicacin: las mejoo res revistas empiezan a recibir art culos de autores espaoles, primero n t midamente, luego en cascada109 . Las seales de los buenos tiempos se n hacen mltiples e inequ u vocas, y podemos concluir que Espaa ya no n es diferente. Los indicadores ociales nos permiten poner cifras a esta evidencia de cambio. De ellos se deducen dos hechos que inicialmente han sorprendido a muchos: (a) Que las matemticas espaolas han pasado de un lugar muy moa n desto en 1980 (menos del 0.4 % de la produccin mundial segn la base o u de datos ISI110 ) a una posicin honorable en el momento, inmediatao mente despus de EE.UU., Alemania, Inglaterra, Francia, Rusia, Italia, e Japn y Canad, con una produccin en revistas importantes que se o a o ha multiplicado por un factor de ms de 10 y representa en 2001 una a proporcin mundial de ms de 4,18 % (ISI). o a (b) Que en el anlisis comparativo de la ciencia espaola, la Maa n temtica gura entre las especialidades bien situadas. a
En esta coyuntura conviene evocar las palabras de Galileo sobre la Ciencia que le atribuye B. Brecht en su Vida de Galileo: La Ciencia tiene un solo mandamiento: contribuir a la Ciencia. 110 Institute for Scientic Information.
109

Para ms informacin sobre la investigacin matemtica en Espaa a o o a n en el ultimo decenio referimos al lector al informe La investigacin ma o temtica en Espaa en el periodo 1990-1999 111 , que reeja en gran dea n talle los avances realizados. Otra consecuencia del estado creativo de la matemtica espaola es a n la presencia de numerosos y valiosos libros de texto y monograf de as investigacin en prestigiosas colecciones. Digamos adems que Espaa, o a n que ha alcanzado una slida posicin en la investigacin, tambin cuenta o o o e con una tradicin en educacin matemtica, con un papel muy inuyente o o a en el ICMI112 . Finalmente, la tendencia hacia los aspectos computacionales y aplicados de las matemticas, junto con el nfasis en las matemticas como a e a herramienta por excelencia en la modelizacin, es ahora fuertemente o sentida en una comunidad anteriormente ligada casi en exclusiva al pensamiento matemtico abstracto. Abrir las ventanas al ancho mundo de a ah fuera es un reto enorme en pro de la salud de nuestra matemtica y a del bienestar de generaciones futuras, y todos los esfuerzos son bienvenidos. Dejemos entrar el aire fresco! 13. CONCLUSION Llegamos al n de nuestro viaje. Hemos dicho al principio del relato que la Matemtica Aplicada es la Matemtica del Mundo Real. a a Puede quedarle al lector cierta duda sobre la esencia de tales conceptos, y se preguntar si han sido sucientemente aclarados en el texto. No a ha sido nuestro propsito examinar a fondo este problema ms bien o a losco. Siguiendo la prctica usual de los matemticos aplicados, poco o a a partidarios del exceso de teorizacin, o quiz movidos por la inmensidad o a de la tarea y la premura de tantos nuevos hallazgos, hemos seguido una aproximacin constructiva a ambos conceptos y hemos intentado o mostrar su contundente relevancia en la gestacin de la sociedad actual o y su papel en el futuro que se vislumbra. Lo que no excluye que otros se ocupen de tales temas con un esp ritu ms discursivo. a
ANDRADAS, C., ZUAZUA, E. (Coordinadores) La investigacin matemtica o a en Espaa en el periodo 1990-1999. Comit Espaol para el Ao Mundial de las n e n n Matemticas (CEAMM). Madrid, 2000. a 112 The International Commission on Mathematical Instruction, presidida durante aos por el matemtico espaol Miguel de Guzmn. n a n a
111

Recordando a Galileo, me gustar concluir as el Libro de la Naa : turaleza se abre ante nosotros para que lo admiremos con su innita, cambiante y sorprendente belleza; las matemticas como lenguaje de la a ciencia estn ah para que comprendamos la Naturaleza, y nos permiten a adems utilizarla y explotarla, estando este aspecto nal cargado de proa mesas y peligros, como todo lo humano. Espero que los matemticos de a hoy d realicemos nuestra parte en el esfuerzo de comprender y mejorar a la Sociedad de la Informacin que nos ha tocado ver nacer. En la era de o los ordenadores y la informacin, la Realidad est en el Nmero, como o a u habr gustado a Pitgoras. O por lo menos un enorme pedazo de ella la a a explican y la reproducen los nmeros, con la ayuda de nuestros amigos u cient cos y tecnlogos, y de los ordenadores. o ---Comentario final. La idea de este art culo divulgativo se origin con o los esfuerzos de las Sociedades Matemticas espaolas para celebrar el Ao a n n Matemtico Mundial 2000. El autor est en deuda con los organizadores de a a aquel evento, con la Sociedad Nuevo Milenio, con los colegas que han suministrado mltiples sugerencias, con la Univ. de Texas en Austin y con la u Sociedad Espaola de Matemtica Aplicada que tuvo a bien premiar un exn a tenso escrito en ingls que desarrolla estas ideas y que pueden encontrar en e http://www.uam.es/juanluis.vazquez. El apndice histrico reeja ideas del autor sobre el presente de la Mae o temtica espaola tomado con m a n nimos cambios de la referencia VAZQUEZ, J. L. Mathematical Events in Spain in the Year 2000. Intelligencer. SpringerVerlag, julio 2000. Pgs. 12-14, seccin primera113 . Interesantes fuentes en esa o paol son los Boletines de SEMA; la Gaceta de la RSME (cf. el vol. 3, 1. n 2000.) y la Revista Espaola de F n sica, vol 14, no. 5, consagradas al estado de la Matemtica con ocasin de la celebracin del Ao Mundial Matemtico 114 . a o o n a Las ilustraciones estn tomadas del sitio web The MacTutor History of Mathea
Ms sobre el mismo asunto en VAZQUEZ, J. L. Las Matemticas y los oba a jetivos del ao 2000. Un llamamiento a los matemticos espaoles. Gaceta de n a n la Real Soc. Matemtica Espaola, vol. 3, 1. 2000. Pgs. 9-22. Ver, tambin, a n a e http://dulcinea.uc3m.es/ceamm. 114 ARNOLD, V., ATIYAH, M., LAX, P., MAZUR, B. Mathematics: Frontiers and Perspectives. AMS Publications. Providence, 2000. ENGQUIST, B., SCHMID, W. (Editores). Mathematics Unlimited - 2001 and Beyond. Springer-Verlag. Berlin, 2001. JACKSON, A. Mathematical challenges of the XXI century. Notices Amer. Math. Soc., vol. 47, n.o 10. 2000. Pgs. 1271-1273. a MUMFORD, D., FRIEDMAN, L., LOVASZ, L., MANIN, YU., ROTA, G. C., JENSEN, R. B. y PENROSE, R. Informe sobre el futuro de las Matemticas contenido a en Mitteilungen der Deutchen Math. Vereinigung (es decir, Notices of the German Math. Union), 2. 1998. OBRA COLECTIVA. Fotograando las Mathematics. Carroggio S.A. de Eds. Barcelona, 2000. STEWART, I. The Problems of Mathematics. Oxford Univ. Press. Oxford, 1992.
113

matics Archive, de la Univ. de St Andrews, un notable archivo biogrco cuya a lectura me ha sido de gran utilidad. Finalmente, la lista de referencias que sigue reeja lecturas del autor durante la preparacin de este texto y no signica en o modo alguno una seleccin de las mejores lecturas disponibles. o

REFERENCIAS ANDRADAS, C., ZUAZUA, E. (Coordinadores) La investigacin mao temtica en Espaa en el periodo 1990-1999. Comit Espaol para el a n e n Ao Mundial de las Matemticas (CEAMM). Madrid, 2000. n a ARNOLD, V., ATIYAH, M., LAX, P., MAZUR, B. Mathematics: Frontiers and Perspectives. AMS Publications. Providence, 2000. BABUSKA, I. Courant Element: Before and After. En Finite Element Methods. Editado por Krizek, Neittaanmki and Sternberg. M. Dekker a Inc. New York, 1994. BARENBLATT, G. I. George Keith Batchelor and Daniel George Crighton, Applied Mathematicians. Notices American Math. Soc., vol 48, n. o 8. 2001. Pgs. 800-806. a BROWDER, F. (ed.) Mathematical Developments arising from Hilbert Problems. Proceedings of Symposia in Pure Mathematics, XXVIII. Amer. Math. Soc. Providence, 1976. CASTI, J. L. Five Golden Rules. John Wiley. New York, 1996. Five More Golden Rules. John Wiley. New York, 2000. CHAITIN, G. The limits of mathematics. Springer. Singapore, 1998. CIPRA, B. What is happening in the Mathematical Sciences, vols. 1-4. Amer. Math. Soc. Providence, 1999. COMAP. Las Matemticas en la vida cotidiana. Addison Wesley - Unia versidad Autnoma de Madrid. 1998. Versin inglesa: GARFUNKEL, o o S. et al. Introduction to Contemporary Mathematics. W.H. Freeman & Co. New York, 1988. ENGQUIST, B., SCHMID, W. (Editores). Mathematics Unlimited 2001 and Beyond. Springer-Verlag. Berlin, 2001. FEYNMAN, R. P. Feynman Lectures On Physics (3 Volume Set). Reading, Mass., Addison-Wesley Pub. Co. Boston, 1963-65.

FEYNMAN, R. P. Six Easy Pieces: Essentials of Physics Explained by Its Most Brilliant Teacher. Helix Books. New York, 1995. (AddisonWesley Longman. Boston, 1996) And Six Not-So-Easy Pieces: Einsteins Relativity, Symmetry, and Space-Time. Addison-Wesley Pub., Reading, Mass. Boston, 1997. FONSECA, I. et al. The Impact of Mathematical Research on Industry and vice versa. Round Table at 3rd European Congress of Mathematics. Barcelona, july 2000. FRIEDMAN, A. et al. Mathematics in Industrial Problems. (A 10 volume collection) IMA Volumes in Mathematics and its Applications. Springer-Verlag. Berl 1988-1998. n, FRIEDMAN, A., LAVERY, J. How to Start an Industrial Mathematics Program in the University. SIAM Report. Philadelphia, 1993. GLEICK, J. Chaos: Making a New Science. Penguin Books. Nueva York, 1987. HARDY, G. H. A Mathematicians apology. Cambridge University Press. Cambridge, 1940. HERNANDEZ, E., WEISS, G. A rst course on wavelets. With a foreword by Yves Meyer. Studies in Advanced Mathematics. CRC Press. Boca Raton, FL, 1996. JACKSON, A. Mathematical challenges of the XXI century. Notices Amer. Math. Soc., vol. 47, n.o 10. 2000. Pgs. 1271-1273. a JAFFARD, S., MEYER, Y., RYAN, R. D. Wavelets, tools for Science and Technology. SIAM. Philadelphia, 2001. KHINCHIN, A. I. Mathematical Foundations of Information Theory. Dover. New York, 1957. (Papers appeared in 1953, 1956 in Unspekhi Mat. Nauk in Russian.)

KLINE, M. Mathematical Thought from Ancient to Modern Times. Oxford Univ. Press. Oxford, 1972. KLINE, M. Mathematics. The loss of certainty. Oxford Univ. Press. Oxford, 1980. MAURY, J. P. Galileo, el mensajero de los astros. Claves, Ed. B.S.A. Barcelona, 2000. METROPOLIS, N., HOWLETT, J., ROTA, G. C. (Eds.) A History of Computing in the Twentieth Century. Academic Press. New York, 1980. MEYERS, P. A. Encyclopedia of Modern Physics. Academic Press. San Diego, 1990. MORIYASU, K. An elementary primer in Gauge Theory. World Scientic. Singapore, 1983. MUMFORD, D., FRIEDMAN, L., LOVASZ, L., MANIN, YU., ROTA, G. C., JENSEN, R. B. y PENROSE, R. Informe sobre el futuro de las Matemticas contenido en Mitteilungen der Deutchen Math. Vereinigung a (es decir, Notices of the German Math. Union), 2. 1998. MUNOZ SANTONJA, J. Newton, el umbral de la ciencia moderna. Col. La Matemtica en sus personajes, vol. 3. Nivola ed. Madrid, 1999. a NASAR, S. A beautiful Mind: A Biography of John Forbes Nash, Jr. Simon & Schuster. New York, 1998. (En castellano, Una mente prodigiosa. Historia de John Forbes Nash. Grijalbo Mondadori. Barcelona, 2001.) NEWTON, I. Philosophiae Naturalis Principia Mathematica. Pepys. London, 1687. (En castellano, Principios matemticos de la Filosof Natua a ral. Alianza Ed. Madrid, 1987.) OBRA COLECTIVA. Fotograando las Mathematics. Carroggio S.A. de Eds. Barcelona, 2000.

ODEN, J. T. et al. Research directions in computational mechanics. Report of the US National Commitee on Theoretical and Applied Mechanics. Washington, 2000. RENYI, A. Dialogues on Mathematics. Holden-Day. San Francisco, 1967. REVISTA ESPANOLA DE F ISICA, volumen 14, nnumero 5. 2000. n Nmero especial: La F u sica y las Matemticas. a SANCHEZ RON, J. M. El siglo de la ciencia. Taurus. Madrid, 2000. SCHIFFER, M. M., BOWDEN, L. The role of Mathematics in Science. The Math. Assoc. of America, New Math. Library vol. 30. 1984. SIMMONS, J. The scientic 100. Citadel Press, Kensington Publ. Corp. Nueva York, 1996. SINGH, S. The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography. Doubleday & Company. Nueva York, 1999. SMITH, W. Mapping and Sequencing the Human Genome: A Beginners Guide to the Computational Science Perspective. ACM Crossroads Student Magazine, http://www.acm.org/crossroads/ xrds4-1/genome.html. STAUFFER, D., STANLEY, H.E. From Newton to Mandelbrot, A Primer in Theoretical Physics. Springer. Berlin, 1991. STEWART, I. The Problems of Mathematics. Oxford Univ. Press. Oxford, 1992. TANUR, M., MOSTELLER, F. et al. Statistics: A Guide to the Unknown. Brooks/Cole. Pacic Grove, 1989. VAZQUEZ, J. L. Las Matemticas y los objetivos del ao 2000. Un a n llamamiento a los matemticos espaoles. Gaceta de la Real Soc. Maa n temtica Espaola, a n vol. 3, 1. 2000. Pgs. 9-22. Ver, tambin, a e http://dulcinea.uc3m.es/ceamm.

 VAZQUEZ, J. L. Mathematical Events in Spain in the Year 2000. Intelligencer. Springer-Verlag. Julio 2000. Pgs. 12-14. a VERNET GINES, J. Historia de la Ciencia Espaola. Editorial Alta n Fulla. Barcelona, 1998. WATERMAN, M. S. Introduction to Computational Biology. Chapman & Hall. Londres, 1995.