LA GACETA MIGUEL

DE

DE LA

gs. 6778 RSME, Suplemento al Vol. 7.3 (2004), Pa

Y

OZAMIZ, GUZMAN MATEMATICO

HUMANISTA

67

Miguel de Guzm an: del An alisis Arm onico a la Teor a Geom etrica de la Medida y los Fractales1
por Miguel Angel Mart n, Manuel Mor an y Miguel Reyes

Como es sabido, la mayor parte del trabajo de investigaci on de Miguel de Guzm an tuvo lugar en An alisis Arm onico. Cuando se incorpor o a la Facultad de Matem aticas de la Universidad Complutense de Madrid en el a no 1969, Miguel de Guzm an form o un grupo de investigaci on muy activo en dicho a rea, m as concretamente en Diferenciaci on de Integrales, en cuyo marco se realizaron importantes investigaciones y varias tesis, cuyos resultados se incorporaron a las dos monograf as que Miguel escribi o sobre el tema: Dierentiation of integrals in Rn (Springer-Verlag, 1975) y Real variable methods in Fourier Analysis (North-Holland, 1981). Los problemas que all se estudiaban estaban impregnados de un gran contenido geom etrico. La transici on del An alisis Arm onico a la Teor a Geom etrica de la Medida, durante la que realizamos nuestras tesis bajo la direcci on de Miguel, coincidi o en el tiempo con su breve estancia en la Universidad Aut onoma y su vuelta a la Complutense. En este art culo pretendemos dar una panor amica de la investigaci on realizada durante ese periodo y su v nculo con la precedente. Adem as de ser testigos de su conocido buen hacer y humanidad nos beneciamos de su buen gusto por la Matem atica como todos los estudiantes que han tenido la suerte de estar a su lado. Pero en nuestro caso particular a ello hay que a nadir el ser beneciarios de su sensibilidad y capacidad para rescatar estudiantes fuera de la ortodoxia curricular al uso, sin ning un v nculo con la universidad y con la u nica carta de presentaci on que era nuestro entusiasmo por la matem atica propiciado por la seducci on intelectual del gran maestro que fue Miguel. Queremos dejar patente nuestra gratitud por haber tenido la suerte de estar a su lado durante estos a nos. Si somos capaces de transmitir una peque na parte de su inuencia, a buen seguro que nuestros estudiantes se beneciar an.

1 Agradecemos a la direcci on de La Gaceta de la RSME por darnos la oportunidad de escribir este art culo sobre nuestro profesor, maestro y amigo Miguel de Guzm an. Gracias a el tuvimos la posibilidad de iniciarnos en la investigaci on matem atica desde nuestra docencia en bachillerato y acceder a una forma distinta de entender y transmitir la matem atica.

68

NALISIS ARMONICO DEL A A LA TEOR IA

DE LA

MEDIDA

Y LOS

FRACTALES

EN EL ANALISIS CONJUNTOS DE GEOMETR IA EXTRANA ARMONICO

Relacionados con ciertos problemas en An alisis Arm onico aparecen conjuntos con propiedades curiosas aparentemente parad ojicas. Veamos a continuaci on algunos de estos. Kakeya, matem atico japon es, plante o en el a no 1917 el problema de hallar el area m nima que barre en el plano una segmento de longitud 1 al dar la vuelta completa (girar 180 ). Obviamente, y sin pensar mucho, el segmento puede dar la vuelta en un c rculo con centro en su punto medio y cuyo a rea es 0 , 78. 4 Pensando un poco m as, tambi en la puede dar en un tri angulo equil atero 1 0 , 58. Un poco m a s dif cil es observar que de altura unidad, cuyo a rea es 3 el segmento puede girar 180 en el interior de la curva descrita por un punto de una circunferencia de radio 1/4 al girar interiormente sobre la circunferencia de radio 3/4. Esta curva se llama hipocicloide y el area encerrada en su interior 0 , 39. es 8

1 1

Crculo

Tringulo

Hipocicloide

A=

; 0, 78

A=

1 3

; 0, 58

A=

; 0, 39

Durante algunos a nos se pens o que el a rea encerrada en el interior de la hipocicloide era el a rea m nima que resolv a el problema de Kakeya. Sin embargo, en 1927, A.S. Besicovitch demostr o que un segmento de longitud 1 pod a dar la vuelta dentro de un conjunto de a rea tan peque na como se quiera (v ease [1]). Su demostraci on se basa en subdividir un tri angulo equil atero de lado unidad en tri angulos con v ertices superiores y bases en el v ertice superior y base, respectivamente, del tri angulo original, y desplaz andolos posteriormente hasta obtener suciente solapamiento. En 1927, Nikodym construy o en [20] un conjunto que llenaba en medida el cuadrado unidad y desde cuyos puntos se puede acceder linealmente al exterior, es decir, mediante rectas que no encuentran a puntos del conjunto. Dicho de otra manera, el conjunto de Nikodym es un conjunto que llena el cuadrado unidad con la propiedad de que por todos sus puntos pasa una recta que s olo lo corta en dicho punto.

LA GACETA

69

Q Q Qq x Q q Q x Q Q Q Q Q

[0, 1]2

Conjunto de Nikodym: N [0, 1]2 L2 (N ) = L2 ([0, 1]2 ) = 1 x N = N

x

= { x}

Miguel siempre gustaba de poner ejemplos geom etricos de todas las ideas y conceptos matem aticos para hacerlos m as visibles a la mente. En sus propias palabras, el conjunto de Nikodym refuerza la idea de que no podemos arnos de aquel vendedor de una empresa inmobiliaria que nos vende un chalet de una urbanizaci on en la playa con el argumento de que desde todos los puntos de todos los chalets se ve el mar, pues puede tratarse de un conjunto de Nikodym y que los chalets llenen la urbanizaci on sin dejar espacios libres.

LUZ SOBRE LOS MONSTRUOS: LA TEOR IA DE BESICOVITCH

Los conjuntos anteriores, y otros de naturaleza an aloga, juegan un papel importante en la teor a de diferenciaci on de integrales. Motivado por ello Miguel de Guzm an propuso, al grupo de investigaci on que dirig a, la tarea de estudiar lo que en ese momento se conoc a sobre conjuntos con esas propiedades aparentemente parad ojicas. Para ello tuvo que recurrir a sus or genes en los art culos pioneros de Besicovitch de los a nos 1928, 1929, 1938, 1939 y 1964 [2, 3, 4, 5, 6], donde se encuentran las ideas seminales de lo que hoy d a llamamos Teor a Geom etrica de la Medida y que, como veremos, arrojan luz que ayuda a entender la naturaleza de monstruos geom etricos, como el conjunto de Nikodym, y otros bien conocidos desde nales del siglo XIX, como la curva de Koch o el tri angulo de Sierpinski. Fruto de esta l nea de investigaci on fue la tesis doctoral de Antonio Casas, le da en 1978 con el t tulo Aplicaciones de la Teor a de Medida Lineal, que recog a una exposici on simplicada de dichos trabajos y varias aplicaciones de los mismos en Teor a de Diferenciaci on de Integrales y otras ramas del An alisis. A continuaci on resumimos muy brevemente los resultados fundamentales de la teor a de Besicovitch en el plano, cuyo objetivo es estudiar las propiedades geom etricas y dar una teor a de estructura de los conjuntos planos de medida Lebesgue cero. Estableceremos primero algunos conceptos preliminares, que referiremos as concretos. Consideremos R2 con la distancia eucl dea al plano R2 para ser m 2 2 2 |x y | = (x1 y1 ) + (x2 y2 ) , para x, y R , y sea |U | = sup{|x y | : x, y U } el di ametro del conjunto no vac o U R2 . En 1919, generalizando una idea de Caratheodory, Hausdor introdujo las medidas que llevan su nombre y que consisten en recubrir el conjunto a medir mediante conjuntos arbitrarios de di ametro peque no, evaluando las potencias s- esimas, 0 s 2,

70

NALISIS ARMONICO DEL A A LA TEOR IA

DE LA

MEDIDA

Y LOS

FRACTALES

de sus di ametros, para despu es hallar el l mite cuando esos di ametros tienden a cero. M as concretamente, para cada 0 s 2 y A R2 se dene su medida s-dimensional de Hausdor como: H s (A) = lim inf |Ui |s : A Ui , |Ui | 0
i1 i1

Dentro de estas medidas de Hausdor hay medidas ya conocidas. As , la medida H 0 de un conjunto es su cardinal, y la H 2 es proporcional a la medida plana de Lebesgue. La medida H 1 de una curva recticable es su longitud. Adem as, para cada conjunto del plano s olo hay una medida de Hausdor que nico n umero lo puede medir adecuadamente, es decir, dado A R2 existe un u 0 s 2, llamado dimensi on de Hausdor, tal que: H t (A) = 0 , si 0 t < s , si s < t 2

La dimensi on de Hausdor s proporciona la medida H s adecuada para medir el conjunto. Para medir la concentraci on de puntos de un conjunto en las proximidades de un punto dado se recurre al concepto de densidad, comparando la medida del conjunto que hay en cada bola centrada en el punto con su di ametro. M as concretamente, se dene la densidad del conjunto A, de dimensi on de Hausdor s, en el punto x como: D s (A, x) = lim H s (A B (x, r )) r 0 (2r )s

cuando dicho l mite existe. Cuando no existe, los l mites superior e inferior se llaman, respectivamente, densidad superior y densidad inferior. Un problema fundamental de la Teor a Geom etrica de la Medida, en el caso de los conjuntos del plano, consiste en estudiar los conjuntos de medida Lebesgue cero, entre los que est an todos aquellos cuya dimensi on de Hausdor es menor que 2. En particular, Besicovitch dedic o buena parte de sus investigaciones a estudiar los conjuntos planos de dimensi on de Hausdor 1, llamados linealmente medibles, probando que todo conjunto se puede descomponer en la uni on de dos conjuntos llamados, respectivamente, regular e irregular y que maniestan propiedades geom etricas diametralmente opuestas. Un conjunto regular tiene densidad 1 en cada uno de sus puntos, est a contenido en una uni on numerable de curvas recticables y se comporta, por tanto, geom etricamente como ellas: tiene tangente en casi todos sus puntos y proyecta con medida (longitud) positiva en casi todas las direcciones.

LA GACETA

71

Un conjunto irregular tiene densidad inferior menor que 1 en cada uno de sus puntos e interseca con medida (longitud) cero a todas las curvas recticables. Sus propiedades resultan ser opuestas a las curvas recticables: en casi ning un punto tiene tangente y proyecta con medida (longitud) cero en casi todas sus direcciones.
. . . . . . . . . .. . . . . . . . . . . . . .. . . . . . . . . . . . . .. . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

q q

q q q

q q q

q q q

q q q q

q q

q q q q

q q q q q q q q q

Conjunto regular

Conjunto irregular

Cabe destacar el contraste entre la naturalidad y simplicidad de los resultaEn su libro Real variados anteriores y la profundidad de los misble methods in Foumos que suponen, en opini on de reputarier Analysis habla de dos matem aticos, un lugar especial en las la belleza y del promatem aticas de todo el siglo XX. Miguel de Guzm an dedic o el cap tulo metedor futuro de la 9 de su libro Real variable methods in geometr a de los conFourier Analysis (North-Holland, 1981) al juntos linealmente meestudio de la geometr a de los conjundibles. La explosi on de tos linealmente medibles y algunas aplila Geometr a Fractal es caciones, entre las que cabe destacar la una muestra de c o mo elegante construcci on del conjunto que vela intuici on de Miguel remos a continuaci on. En su introducci on se adelant o una vez habla de la belleza y del prometedor futuro de esta rama de las matem aticas. m as al tiempo que le La posterior explosi on de la Geometr a toc o vivir. Fractal y sus innumerables aplicaciones son una muestra de c omo la intuici on de Miguel se adelant o una vez m as al tiempo que le toc o vivir. El conjunto de Besicovitch es un conjunto plano de a rea nula que contiene rectas en todas las direcciones, a partir del cu al se puede demostrar que no existe un conjunto de Nikodym que llena el plano. El aspecto nuevo a destacar es el papel que juega la teor a de Besicovitch esclareciendo la conexi on entre este conjunto de rectas y un conjunto de puntos linealmente medible e irregular asociado a el mediante dualidad, ayudando a entender as la naturaleza extremadamente compleja de ese tipo de conjuntos parad ojicos.

72

NALISIS ARMONICO DEL A A LA TEOR IA

DE LA

MEDIDA

Y LOS

FRACTALES

Para la construcci on del conjunto se parte del cuadrado unidad (de lado 1) que se divide en 16 cuadrados iguales y se seleccionan los 4 cuadrados cerrados rallados de la gura. Si se repite el mismo proceso indenidamente a escala, sobre cada uno de los cuadrados que se van obteniendo, se obtiene el conjunto de Besicovitch. Los primeros pasos de la construcci on se ilustran en la siguiente gura:

x xx x x xx x

x xx x x xx x

- qqq

El conjunto de Besicovitch B [0, 1]2 es un conjunto linealmente medible (de dimensi on de Hausdor 1) irregular que se transforma mediante la aplicaci on : B R2 , denida por: (x, y ) = ((1 + x) cos y, (1 + x) sin y ) que es lipschitziana, en otro conjunto (B ) con las mismas propiedades geom etricas, ya que tambi en es linealmente medible e irregular. En la siguiente gura se puede visualizar dicho conjunto en su primer paso de construcci on: 1 y
@ @ @ @ 1 @ @ @ x @
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Para cada punto x (B ) se considera su recta polar (x) que se obtiene como se indica en la gura al margen. La recta polar de un punto es perpendicular a la recta que pasa por el origen y por el punto, y en cada recta que pasa por el origen hay un punto de (B ). Por tanto, en el conjunto de rectas polares del conjunto (B ), que se representa por p((B )), hay rectas en todas las direcciones, y se puede demostrar que es linealmente medible e irregular.

LA GACETA

73

EL GRUPO DE TEOR IA GEOMETRICA DE LA MEDIDA

En septiembre de 1982 comenz o uno de los importantes proyectos de Miguel de Guzm an, los cursos de verano de Jarandilla de la Vera, a los que Miguel Angel Mart n y Miguel Reyes tuvieron el placer de poder asistir. Estos cursos se organizaron durante varios a nos con el patrocinio de la Asociaci on Matem atica Espa nola, que presid a Miguel, y la Universidad de Extremadura. Al t ermino de estos cursos, entusiasmados por el esp ritu de trabajo e investigaci on que all se respiraba, hablaron con Miguel sobre la posibilidad de trabajar con el. A pesar de que su trabajo en el Instituto limitaba el tiempo que pod an dedicar a la investigaci on, fueron amablemente recibidos y animados por Miguel, que les propuso comenzar a trabajar en ese curso 82/83. Las reuniones semanales del grupo comenzaron en el destino que estrenaba Miguel, en el Departamento de Matem aticas de la Universidad Aut onoma de Madrid, y continuaron, a partir del curso 84/85, en el Departamento de An alisis Matem atico de la Facultad de Matem aticas en la Universidad Complutense de Madrid. Manuel Mor an, entonces tambi en profesor de Instituto, conoci o a Miguel de Guzm an en un curso de doctorado que este organizaba sobre los grandes problemas de la matem atica cl asica, cuya soluci on abri o la era de la matem atica actual: Teorema de Fermat, cuadratura del c rculo, problemas isoperim etricos, etc. Miguel invit o a Manuel Mor an a incorporarse en el grupo de Geometr a Fractal en 1985. En este grupo de investigaci on en Teor a Geom etrica de la Medida, que mantuvo reuniones semanales hasta 1990, tambi en participaron Mar a Teresa Carrillo, Trinidad Men arguez, Baldomero Rubio y Agust n de la Villa. Un punto clave en la consolidaci on de este grupo de trabajo est a en la asistencia de Miguel al congreso internacional Topology and Meassure IV, celebrado en Trassenheide (antigua Rep ublica Democr atica Alemana) en octubre de 1983, donde imparti o una conferencia sobre las relaciones entre el An alisis y la Teor a Geom etrica de la Medida (v ease [10]). All conoci o a dos de los m as importantes investigadores del area: Kenneth Falconer y Pertti Mattila. Falconer, disc pulo de Besicovitch, preparaba la publicaci on de un libro sobre sus trabajos y envi o a Miguel una copia del manuscrito para su revisi on, sobre la que trabajamos en el curso 83/84. Mattila fue invitado por Miguel para dar un curso de verano en Jarandilla de la Vera en septiembre de 1984. Este curso de introducci on a la Teor a Geom etrica de la Medida, publicado por la Universidad de Extremadura (v ease [16]), fue el embri on del libro publicado despu es por Cambridge University Press (v ease [17]). Este contacto con Mattila, que comenz o dirigiendo la tesis de Miguel Angel Mart n, se ha mantenido desde entonces con m ultiples visitas y colaboraciones.

74

NALISIS ARMONICO DEL A A LA TEOR IA

DE LA

MEDIDA

Y LOS

FRACTALES

TRES TESIS Y DOS LIBROS

La actividad del grupo dio como fruto las tres primeras tesis realizadas en Espa na en el a rea de Geometr a Fractal y el primer libro de divulgaci on de ese area publicado en lengua espa nola. Mientras que la teor a de Besicovitch clasica geom etricamente los conjuntos planos de dimensi on 1 (linealmente medibles), en regulares o irregulares o descomponi endolos en una parte regular y otra irregular, no resuelve el problema para los conjuntos de dimensi on no entera. Todos los conjuntos de dimensi on menor que la unidad son conjuntos irregulares y, por tanto, la teor a de Besicovitch no distingue entre ellos: intersecan con medida cero a cualquier curva recticable, en casi ning un punto tienen tangente y proyectan con medida (unidimensional) cero en casi todas las direcciones. Por otra parte, si la medida utilizada para medir las proyecciones es, por ejemplo, la medida de Hausdor en su misma dimensi on, los conjuntos irregulares conocidos proyectaban en medida positiva al menos en un cono de direcciones (de medida positiva en el intervalo de direcciones): la irregularidad en el sentido de Besicovitch no determina las propiedades geom etricas como lo hac a en los conjuntos de dimensi on entera. Pertti Mattila propuso a Miguel Angel Mart n el problema de Brian White ([22]) consistente en estudiar si exist a un conjunto plano de dimensi on menor que la unidad que proyectara en medida nula (en su misma dimensi on) sobre todas las direcciones. Una respuesta armativa sugerir a la existencia de conjuntos m as irregulares que otros y por tanto, la necesidad de establecer nuevas clasicaciones que permitieran distinguir geom etricamente entre los conjuntos de dimensi on fraccionaria. En su tesis, titulada Propiedades de proyecci on de fractales (para detalles, v ease [13] o [14]), resolvi o el problema para conjuntos de dimensi on fraccionaria y menor que 1 dando hasta seis clasicaciones diferentes de regularidad, coincidentes con la de Besicovitch si el conjunto tiene dimensi on entera, pero diferentes entre s en el caso de dimensi on fraccionaria, lo que prueba la oportunidad de establecerlas. Durante el periodo de edici on de la tesis de Miguel Angel nos llegaron noticias del t ermino fractal, para referirse a conjuntos de dimensi on fraccionaria o irregulares, que hab a introducido Benoit Mandelbrot en su libro [12] publicado en 1977, pero que no hab a tenido eco en el mundo matem atico hasta a nos despu es de su segunda edici on. Motivado por ello, Miguel Angel cambi o el t tulo de su tesis, introduciendo dicho t ermino, cuando ya estaba en prensa para su edici on. La tesis de Miguel Reyes, titulada An alisis de Fourier sobre fractales, trat o sobre el problema, propuesto por Miguel de Guzm an, de denir sobre los fractales autosemejantes un sistema ortogonal de funciones y el estudio de la convergencia de las series de Fourier de ciertas clases de funciones (para detalles, v ease [21]).

LA GACETA

75

Miguel propuso a Manuel Mor an una tesis sobre billares poligonales. Se trata aqu de estudiar el sistema din amico consistente en una bola de billar que rebota perpetuamente en los lados de un billar poligonal con a ngulos que son fracciones exactas de 2 . Cubren las trayectorias densamente toda la mesa? C omo son las trayectorias peri odicas? Con estos problemas, algunos a un abiertos a d a de hoy, Miguel trataba de enlazar la investigaci on del grupo con el area emergente de la Din amica Ca otica, intu da por Poincar e en el siglo XIX cuando estudiaba el cl asico problema de los tres cuerpos, y demostrada por Sarkovski en 1964 y por Smale en 1965. La existencia de atractores extra nos, o monstruos geom etricos de naturaleza fractal hacia los que a menudo una Din amica no Lineal empuja las trayectorias del movimiento, se nalaba los Sistemas Din amicos como un campo de aplicaci on de la Geometr a Fractal que el grupo estudiaba. El desarrollo de la tesis de Manuel Mor an, titulada Sobre ciertos procesos iterativos, isom etricos y proyectivos, conrm o esta conexi on plenamente, al descubrirse una nueva familia de fractales generados por series (v ease [18] o [19]). La preocupaci on de Miguel por la difusi on de las matem aticas le permiti o ver enseguida el gran potencial que ten an la Geometr a Fractal y los Sistemas Din amicos para atraer la atenci on de los j ovenes investigadores. La tarea del momento era sacar de los art culos y libros de investigaci on los conocimientos adecuados y buscar una presentaci on oportuna para un p ublico amplio y diverso, pensando en las aplicaciones a otras ciencias. Esto le llev o a proponernos la redacci on de dos monograf as. La primera de ellas, titulada Estructuras fractales y sus aplicaciones y publicada en la editorial L abor en 1993 (v ease [11]), conten a una copia del programa inform atico fractint, distribuido gratuitamente con el permiso de sus autores, que inuy o decisivamente en la popularizaci on de los fractales dentro y fuera del mundo matem atico. La segunda, titulada Iniciaci on al caos se public o en el a no 1995 en la editorial S ntesis (v ease [15]). Las monograf as fueron complementadas con numerosas conferencias y s cursos dirigidos hacia la ense nanza universitaria y secundaria, en nuestro pa y en Am erica Latina (Argentina, Brasil, Colombia, ...). Miguel de Guzm an fue desde el primer momento muy activo en la defensa del uso del ordenador en la investigaci on y en la ense nanza. Se pod a explotar el inter es de los j ovenes estudiantes de Instituto hacia los ordenadores, y usarlos para mostrar la belleza y entender la naturaleza de los Conjuntos Fractales y la complicada Din amica Ca otica. Se pod a tambi en dar cauce a la inquietud de los profesores de Instituto con un tema que satisfac a su curiosidad y ten a una proyecci on did actica. Muchos de ellos se incorporaron a esta tarea a partir de cursos en Centros de Recursos de Profesorado que Miguel daba o nos conaba a nosotros.

76

NALISIS ARMONICO DEL A A LA TEOR IA

DE LA

MEDIDA

Y LOS

FRACTALES

EL ENTUSIASMO POR LAS MATEMATICAS

A trav es de estas l neas hemos relatado la evoluci on del pensamiento matem atico del Miguel de Guzm an en la d ecada de los 80, y de los frutos que dio. Lo esencial para entender la sorprendente fertilidad de la actividad de Miguel, es su entusiasmo por las matem aticas. Miguel conaba en las matem aticas como fuente de conocimiento, pero tambi en como fuente de armon a y como v nculo entre las culturas y los pueblos. Por eso, al tiempo que las desarrollaba en su especialidad, las cuidaba y defend a en su conjunto. En cada momento se planteaba cu al era la tarea m as acuciante y acud a a ella con entusiasmo. En la d ecada de los setenta se trataba de romper la autarqu a y conectar la investigaci on en nuestro pa s con la internacional, tarea en que sus logros son bien conocidos. En la d ecada de los ochenta, que vivimos junto a el, contribuy o a la investigaci on puntera en su especialidad. Consciente del gran volumen de trabajo pendiente, nos ayud o a incorporarnos a el. Su misma conanza en las matem aticas y su h abito de mirarlas globalmente, junto con su na intuici on, le permit a dirigir la investigaci on conect andola con nuevas areas emergentes, y las matem aticas parec an agradecer la conanza de Miguel, retribuyendo siempre con nuevos frutos los pasos que daba. En la d ecada de los noventa trabaj o en la difusi on de las matem aticas en la ense nanza secundaria y en la sociedad, empe no que llev o muy lejos durante su presidencia del ICMI, con su habitual entusiasmo. C omo, sin entusiamo por las matem aticas, se podr a mantener en vilo durante una hora a una audiencia heterog enea de m as de mil personas hablando de din amica ca otica, como Miguel hizo en la sala de conferencias del Centro Cultural de la Villa de Madrid?

Miguel conaba en las matem aticas como fuente de conocimiento, pero tambi en como fuente de armon a y como v nculo entre las culturas y los pueblos. Por eso, al tiempo que las desarrollaba en su especialidad, las cuidaba y defend a en su conjunto. En cada momento se planteaba cu al era la tarea m as acuciante y acud a a ella con entusiasmo. En la d ecada de los setenta se trataba de romper la autarqu a y conectar la investigaci on en nuestro pa s con la internacional, en la d ecada de los ochenta contribuy o a la investigaci on puntera en su especialidad y en la d ecada de los noventa trabaj o en la difusi on de las matem aticas en la ense nanza secundaria y en la sociedad con su habitual entusiasmo.

LA GACETA

77

REFERENCIAS
[1] A.S. Besicovitch, On Kakeyas problem and similar one, Math. Z. 27 (1928), 312-320. [2] A.S. Besicovitch, On the fundamental geometrical properties of linearly measurable plane sets of points, Math. Ann. 98 (1928), 422-464. [3] A.S. Besicovitch, On linear sets of points of fractional dimension, Math. Ann. 101 (1929), 161-193. [4] A.S. Besicovitch, On the fundamental geometrical properties of linearly measurable plane sets of points II, Math. Ann. 115 (1938), 296-329. [5] A.S. Besicovitch, On the fundamental geometrical properties of linearly measurable plane sets of points III, Math. Ann. 116 (1939), 349-357. [6] A.S. Besicovitch, On fundamental geometric properties of plane line-sets, J. London Math. Soc. 39 (1964), 441-448. [7] K.J. Falconer, The Geometry of Fractal Sets, Cambridge Univ. Press, Cambridge, 1985.
n, Dierentiation of integrals in Rn , Springer-Verlag, Berl [8] M. de Guzma n, 1975. n, Real variable methods in Fourier Analysis, Noth-Holland, Ams[9] M. de Guzma terdan, 1981. n, Some connections between Geometric Measure Theory and [10] M. de Guzma Analysis, Proceedings of the conference Topology ans Measure (1984), 107-112. n, M.A. Mart n y M. Reyes, Estructuras fractales y n, M. Mora [11] M. de Guzma sus aplicaciones, L abor, Barcelona, 1993.

[12] B.B. Mandelbrot, The Fractal Geometry of Nature, W.H. Freeman and Co., New York, 1982.
n, Propiedades de proyecci on de fractales, Tesis Doctoral, Universi[13] M.A. Mart dad Complutense de Madrid, 1986. n and P. Mattila, k -dimensional regularity classications for s[14] M.A. Mart fractals, Trans. Amer. Math. Soc. 305 (1988), 293-315. n y M. Reyes, Iniciaci [15] M.A. Mart n, M. Mora on al caos, S ntesis, Madrid, 1995.

[16] P. Mattila, Lecture Notes on Geometric Measure Theory, Universidad de Extremadura, 1986. [17] P. Mattila, Geometry of sets and measures in euclidean spaces Cambridge Univ. Press, Cambridge, 1996.
n, Sobre ciertos procesos iterativos, isom etricos y proyectivos, Tesis [18] M. Mora Doctoral, Universidad Complutense de Madrid, 1988. n, Fractal series, Mathematika 36 (1989), 334-348. [19] M. Mora

78

NALISIS ARMONICO DEL A A LA TEOR IA

DE LA

MEDIDA

Y LOS

FRACTALES

[20] O. Nikodym, Sur la measure des ensembles plans dont tous les points sont rectilin eairement accesibles, Fund. Math. 10 (1927), 116-168. alisis de Fourier sobre fractales, Tesis Doctoral, Universidad Com[21] M. Reyes, An plutense de Madrid, 1987. [22] B. White, Problem 3.10, Proc. Sympos. Pure Math., vol. 44, Am. Math. Soc., Providence, R.I., 1985, p. 447.

Miguel Angel Mart n Departamento de Matem atica Aplicada a la Ingenier a Agron omica Escuela T ecnica Superior de Ingenieros Agr onomos Universidad Polit ecnica de Madrid Ciudad Universitaria de Madrid 28040 Madrid Correo electr onico: miguelangel.martin@upm.es Manuel Mor an Dpto. de Fundamentos del An alisis Econ omico I Facultad de Ciencias Econ omicas y Empresariales Universidad Complutense de Madrid Campus de Somosaguas 28223 Madrid Correo electr onico: mmoranca@ccee.ucm.es Miguel Reyes Departamento de Matem atica Aplicada Facultad de Inform atica Universidad Polit ecnica de Madrid Campus de Montegancedo Boadilla del Monte 28660 Madrid Correo electr onico: mreyes@fi.upm.es

79

Arriba: Miguel rodeado de sus estudiantes de doctorado. De izquierda a derecha: Miguel Reyes, Manolo Mor an, Ireneo Peral, Magdalena Walias, Miguel Angel Mart n, M. de Guzm an, Roberto Morri on, Maria Teresa Carrillo y Antonio Casas. alisis Arm onico, El Escorial, 1996. 5a Conferencia Internacional de An

80