Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fractales
Spinadel, Vera Martha Winitzky de E-mail: vspinade@fibertel.com.ar Laboratorio de Matemtica y Diseo Universidad de Buenos Aires
RESUMEN
Los fractales aparecen en la investigacin de numerosas ramas de la ciencia. Desde un punto de vista general, si uno se pregunta la razn de ello, la respuesta es su propiedad caracterizante de auto-semejanza, esto es, la cantidad de estructuras invariantes ante cambios de escala, que aparecen tanto en la Naturaleza como en el anlisis de sistemas dinmicos que varan con el tiempo. Es por esto que hemos considerado imprescindible formular un enfoque general e histrico de introduccin al tema, a fin de abrir puertas al estudio de la estabilidad de sistemas micro- y macro-fsicos, que pueden variar desde la estructura interna del DNA hasta las galaxias astronmicas.
Palabras claves: Dimensin fractal; auto-semejanza; nmeros irracionales; descomposicin en fracciones continuas; Nmero de Oro.
113
Fractales
1. INTRODUCCIN
Comencemos haciendo un poco de historia. La palabra fractal fue introducida por el matemtico polaco Benoit B. Mandelbrot, que naci en 1924 en Varsovia, Polonia, en el seno de una familia lituana juda. La palabra Fractal proviene del adjetivo latn fractus, que significa interrumpido o irregular. Sus padres previeron la tremenda realidad geopoltica que se avecinaba y en 1936 emigraron a Pars. Por qu Pars? Porque su to, Szolem Mandelbrot era
miembro de un grupo lite de matemticos franceses conocidos como Nicols Bourbaki [1]. Este era un pseudnimo que un grupo de jvenes adopt tomando el nombre de un general francs de origen griego Charles-Denis Bourbaki (1816-1897), que comand exitosamente el ejrcito a travs del Rin en la guerra de 1870. La familia de Mandelbrot pas la Segunda Guerra Mundial en Tulle, una pequea ciudad al Sur de Pars, donde Benoit no recibi una educacin formal. Por ejemplo, nunca aprendi el alfabeto y an hoy en da le cuesta consultar una gua de telfonos! Lo conoc personalmente en Qubec, Canad en 1992, donde participamos ambos del ICME-7 (International Congress on Mathematical Education), que se realiza con una periodicidad de 4 aos [2]. Sin embargo, Mandelbrot puso en evidencia una capacidad matemtica extraordinaria, muy diferente de la de su famoso to! Posea una agudeza visual y geomtrica que le permiti doctorarse en Matemtica usando su formidable intuicin y de ah en ms, comenz su propia carrera, muy alejada de la bourbakiana de su to. Decidi irse a USA y en 1958 entr a trabajar en el excelentemente equipado laboratorio de Yorktown Heights de IBM, situado en las afueras de New York. Nunca le gust manejar l mismo las computadoras: simplemente se sentaba al lado del operador y le deca qu hacer. Pero tuvo la enorme ventaja que en este lugar, dejaron que el joven genio francs siguiera sus investigaciones tal como l lo deseara! Sus resultados probaron ser ms diversos, eclcticos y de avanzada que lo que cualquiera hubiera podido imaginar... Se convirti en experto en ciertas reas de lingstica, teora de juegos, aeronutica, ingeniera, economa, fisiologa, geografa, astronoma y, por supuesto, fsica. Este enfoque altamente multi-disciplinario constituy una verdadera revolucin en todo el campo cientfico tradicional, donde en aquella poca, se tenda cada vez a una
114
Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura
Fractales
mayor especializacin. Sin embargo, Mandelbrot era brillante y pudo, con el auxilio de la Informtica, desalentar las crticas de algunos de sus detractores. Por ejemplo, descubri que la variacin de los precios en el mercado, que hasta entonces se consideraba como puramante al azar, segua una simetra en las fluctuaciones de los precios a largo plazo, comparadas con las fluctuaciones a corto plazo. Y este asombroso resultado lo logr considerando las variaciones en el precio del algodn, para el cual se dispona de estadsticas que databan de varios cientos de aos! Mandelbrot descubri un esquema en las impredecibles fluctuaciones diarias de los precios del algodn, que se repetan en escalas de tiempo ms y ms largas. Slo ms tarde comprendi que haba descubierto un fractal en los datos econmicos, que pona de manifiesto una autosemejanza recursiva a travs de diversas escalas.
115
Fractales
2.1. Geometra Euclidiana y Geometra Fractal EUCLIDIANA Tradicional. Ms de 2000 aos. Simetras simples. Rotaciones. Objetos con magnitudes caractersticas Adecuada para describir objetos fabricados por el hombre Descripta por frmulas algebraicas FRACTAL Moderna. Fractales: 1980 "Monstruos" a comienzos del siglo XX Simetras homeomtricas Auto-semejanza (estadstica) Irregularidad en todas las magnitudes Adecuada para describir procesos no lineales en la Naturaleza Descripta por algoritmos recursivos ideales para una computadora
3. DIMENSION FRACTAL
La auto-semejanza est fuertemente conectada con nuestro concepto intuitivo de "dimensin". Matemticamente, un punto tiene dimensin topolgica cero, una lnea tiene dimensin 1, un cuadrado tiene dimensin 2 y un cubo tiene dimensin 3. A estas dimensiones espaciales, se le suma una cuarta dimensin: el tiempo. Estas cuatro dimensiones son nmeros enteros. La genialidad de Mandelbrot consisti en intuir que podan existir configuraciones con dimensiones no enteras! Asi por ejemplo, un segmento puede dividirse en N partes idnticas, cada una de las cuales estar en la relacin r = 1/N con el segmento total. Anlogamente, un cuadrado en el plano puede dividirse en cuadrados ms pequeos auto-semejantes que estarn en la relacin r = 1/N1/2 con la figura completa. Lo mismo suceder con un cubo dividido en cubos ms pequeos. En ese caso, r = 1/N1/3. De esta manera un objeto auto-semejante Ddimensional puede dividirse en copias ms pequeas del mismo que estn en la relacin r = 1/N1/D con el todo. O bien N = 1/rD
116
Fractales
Por supuesto, D no precisa ser un nmero entero y los logaritmos pueden tomarse en cualquier base. Pero su valor numrico para una curva plana auto-semejante representa cuantitativamente cuan irregular es la curva. Esto es, si la dimensin fractal de la misma est ms cerca de 2 que de 1, la curva tender a llenar prcticamente todo el plano. Incluso, una estructura puede llegar a tener una dimensin fractal entera, como lo muestra la curva llamada copo de nieve de William Gosper (un brillante computador que trabajaba en el Laboratorio de Los Altos, California, USA) cuya dimensin fractal es igual a 2 (Figura 1). Esta curva se construye partiendo de siete hexgonos regulares y uniendo ocho vrtices, formando siete segmentos de igual longitud. La segunda iteracin se obtiene reemplazando cada segmento por una lnea quebrada de siete segmentos donde cada nuevo segmento es igual 1/ 7 del que le precede [4].
D=
log 7 log 7
log 7 =2 . 1 log 7 2
Fig. 1 Motivo (a) y generacin del fractal de Gosper, partiendo de un hexgono regular (b). En (c) se muestra la quinta iteracin.
b c
117
Fractales
Cabe acotar que existen otros ejemplos previos de curvas que llenan el plano, como la curva ideada por el matemtico italiano Giuseppe Peano (1858-1932), pero en ese caso se tienen puntos de auto-interseccin. Se han propuesto diversas definiciones de fractales pero no existe todava una suficientemente general. En principio, se acuerda en no definir un fractal sino enumerar sus propiedades caractersticas, a saber:
Un fractal tiene una estructura fina; esto es, mayor detalle en escalas arbitrariamente pequeas; Un fractal es demasiado irregular para ser descripto con la Geometra Euclidiana tradicional, tanto local como globalmente; Con frecuencia, un fractal tiene una cierta forma de auto-semejanza, quizs aproximada o estadstica; En general, la dimensin fractal es mayor que la dimensin topolgica; En muchos casos interesantes, el fractal se define en forma muy simple, por lo general, con un mtodo recursivo.
4. CONJUNTOS INFINITOS
Se llaman conjuntos infinitos numerables aquellos conjuntos que pueden ponerse en correspondencia biunvoca con el conjunto de los nmeros naturales. P. ej. el conjunto de los nmeros pares, el conjunto de los impares, el conjunto de los cuadrados de los nmeros naturales (cubos, etc.).
1 2 3 4 5 6 7 8 9 ...
12
22
32
42
52
62
72
82
92
...
Adems de estos casos sencillos, existen otros conjuntos que tambin son infinitos numerables, pero no en forma evidente. P. ej., el conjunto de las fracciones racionales de la forma p/q , donde tanto p como q son nmeros naturales y q es distinto de cero, que supondremos son irreducibles. El matemtico alemn de ascendencia
118
Fractales
danesa Georg Cantor (1845-1918) prob que las fracciones racionales forman una sucesin infinita numerable. Para ello las orden en el llamado arreglo de Cantor [5]:
1 1 1 1 1 K 1 2 3 4 5 2 2 2 2 2 L 1 3 5 7 9 3 3 3 3 3 L 1 2 4 5 7 4 ............................. 1
1 2 3 4 5 6 7 8 9 L 1 2 1 1 2 3 4 3 2 L 1 1 2 3 3 1 1 2 5
5. CONJUNTOS NUMERICOS
Las fracciones que hemos visto hasta ahora se llaman nmeros racionales o conmensurables, porque pueden medirse como el cociente de dos nmeros naturales y el resultado es una expresin decimal finita o bien infinita peridica. Pero existen otros nmeros que son irracionales o inconmensurables. Dichos nmeros irracionales fueron descubiertos por Pitgoras de Samos al notar la inconmensurabilidad de la hipotenusa de un tringulo rectngulo. Matemticamente, el conjunto de los racionales junto con el de los irracionales forma el conjunto de los nmeros reales, que posee la propiedad de ser denso, esto es, representados en la recta real, no presentan ningn agujero. Los nmeros irracionales, tales como , 2 , e, admiten una expresin decimal con infinitos dgitos que no se repiten en forma peridica. Obviamente, dicha expresin no nos permite cuantificar el grado de irracionalidad, o sea el grado de aproximacin de las aproximantes racionales al nmero irracional. Este grado de irracionalidad resulta sumamente importante en las experiencias que se disean buscando fronteras entre el sistema dinmico que se comporta peridicamente y su transicin a un sistema catico, donde es imposible predecir el comportamiento ya que condiciones iniciales muy semejantes originan resultados totalmente dispares. Este comportamiento indica la aparicin del caos. Para detectar este grado de irracionalidad, usaremos la llamada descomposicin en fracciones continuas.
119
Fractales
que se escribe x = [a 0 , a1 ,...] . El primer coeficiente puede ser nulo (caso en que el nmero real est comprendido entre 0 y 1) pero el resto de los coeficientes son enteros positivos. La sucesin de coeficientes es finita si y solo si x es un nmero racional. Por ejemplo, es fcil verificar la siguiente descomposicin en fracciones continuas de un nmero racional
18 = 2+ 7
1 1+ 1 1+ 1 3
= [ 2 ,1,1,3].
Si, en cambio, x es un nmero irracional, el desarrollo es infinito y si tomamos un nmero finito de trminos tales como k = a0 + 1 a1 + 1
L+
1 ak
obtenemos una sucesin de aproximantes racionales al nmero x que tienden a x cuando k . Algunos nmeros irracionales tales como y e (la base de los logaritmos neperianos) tienen aproximantes que convergen muy rpidamente. En particular, el nmero = [3,7, 15, 1, 292, ...] converge tan rpidamente que la tercer aproximacin racional 3 =
este resultado ya era conocido por Tsu Chung Chi en la China del siglo V. En cambio,
120
Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura
Fractales
x = 1+
x = 1+
1 1+ 1 1+ 1 L+ 1 1+ 1 x
Si n resulta
= 1+
1 1 1+ 1 +L
= [1]
121
Fractales
Este desarrollo, el ms simple de los correspondientes a todos los nmeros irracionales, es el ms lentamente convergente pues sus denominadores son todos iguales a uno. Coloquialmente podramos expresar este hecho afirmando:
7. REFERENCIAS BIBLIOGRFICAS
[1] N. BOURBAKI (1951). Thorie des Ensembles, Livre I, Hermann & Cie. Editeurs. [2] Proceedings of the 7th International Congress on Mathematical Education ICME7 (1994), Les Presses de LUniversit Laval, Canad, ISBN 2-7637-7362-1. [3] JORGE G. PERERA, JORGE H. PERERA Y VERA W. DE SPINADEL, (2007), Geometra Fractal, 3ra. Edicin, Editorial Nueva Librera, ISBN [4] VERA W. DE SPINADEL (2004), From the Golden Mean to Chaos, 2da. Edicin, Editorial Nobuko S.A., ISBN 987-1135-48-3. [5] Briefwechsel Cantor-Dedekind (1937), editado por E. Noether y J. Cavailles, Hermann & Co., Pars, Francia. [6] JOSEPH LOUIS LAGRANGE (1869, Nouvelle mthode pour rsoudre les quations littrales par le moyen des sries, Oeuvres, Vol. 3, Gauthier-Villars, Pars, Francia.
122