Untitled
Untitled
Untitled
por
Ma Asunción Sastre, Universidad Politécnica de Madrid
1. ¾Qué es un fractal?
A nales del siglo XIX surgieron conjuntos muy irregulares que poseían
propiedades geométricas y analíticas sorprendentes. El primero de estos con-
juntos fue el conjunto de Cantor (1890), y a continuación aparecieron muchos
otros (triángulo de Sierpinski, curva de Koch, esponja de Menger, curva de
Peano, etc.). A medida que se fueron creando las herramientas matemáticas
necesarias para estudiarlos y comprenderlos, la teoría de Hausdor y la teoría
de Besicovitch, fue aumentando el interés por ellos. El origen de la geometría
fractal o teoría geométrica de la medida está en el estudio de estos conjuntos
irregulares y sus propiedades.
La geometría fractal es por tanto una rama muy joven de la matemática
y la denición de conjunto fractal no es clara ya que todas las deniciones
dejan fuera conjuntos que se consideran fractales. En 1986, Mandelbrot dio
una denición bastante intuitiva de conjunto fractal: un conjunto en que las
partes son similares al total, en algún sentido . La denición más aceptada
entre los matemáticos: un conjunto que tiene dimensión topológica menor
que su dimensión de Hausdor , no aclara mucho para aquellos interesados
en la geometría fractal que no posean una buena base matemática. Lo más
generalizado es considerar que un fractal es un conjunto que tiene una o
varias de las siguientes propiedades:
• Tiene detalles a todas las escalas.
• Es autosemejante.
• Tiene una denición algorítmica sencilla.
43
44 Un Paseo por la Geometría
2. El Conjunto de Cantor
Georg Cantor publicó por primera vez en 1883 el conjun-
to que lleva su nombre, como ejemplo de cierto tipo de
conjuntos excepcionales. Se puede decir que el conjunto de
Cantor es el de mayor importancia entre los monstruos
matemáticos o primeros fractales, a pesar de ser menos
vistoso que otros. George Cantor
1845-1918
Geometría Fractal 45
1
A este intervalo le quitamos el intervalo abierto central de longitud , quedán-
3
1 1 2 2
donos los intervalos I1 = [0, ] y I1 = [ , 1]
3 3
n
Así sucesivamente, en el paso n-ésimo tendremos 2n intervalos In1 , In2 , ..., In2
1
de longitud n
3
Como las longitudes de todos los intervalos que eliminamos suman uno,
∞ n−1
n−1 1
X 2
pues en cada paso se eliminan 2 intervalos de longitud n y = 1,
3 n
n=1
3
que es la longitud del intervalo inicial, se tiene que el conjunto de Cantor
tiene medida cero a pesar de contener la misma cantidad de puntos que
todo el intervalo.
46 Un Paseo por la Geometría
3. La dimensión de Hausdor
La dimensión es una primera estimación del tamaño de un
conjunto y nos indica la forma adecuada de medirlo: canti-
dad de puntos para dimensión cero, longitud para dimen-
sión uno, área para dimensión dos, volumen para dimensión
tres. Podemos imaginar que la dimensión es como la lente
adecuada de un microscopio para ver el conjunto. Si trata-
mos de ver un conjunto pequeño con una lente de pocos Felix Hausdorf
aumentos, no lo veremos. Si los aumentos de la lente son 1868-1942
demasiados, sólo veremos un borrón. Sólo podemos ver el conjunto con los
aumentos adecuados, es decir, con su dimensión.
En el caso del conjunto de Cantor, la dimensión cero es demasiado pe-
queña (tiene innitos puntos) y la dimensión uno es demasiado grande
porque no nos permite verlo, ya que mide cero. En 1919, Hausdor intro-
dujo dimensiones fraccionarias y la forma de medir con estas dimensiones que
generalizan las dimensiones enteras y la medida de Lebesgue. Actualmente
se conocen como medida y dimensión de Hausdor.
Aunque la denición de dimensión de Hausdor va asociada a un proceso
de medida, vamos a introducir intuitivamente la dimensión de semejanza que
coincide en muchos casos con la dimensión de Hausdor. La idea es ver cómo
varía la medida de un conjunto cuando se hace una homotecia contractiva
por un cierto factor r . Por ejemplo, si tenemos un rectángulo y lo reducimos
1
por un factor r = , tendremos que el rectángulo inicial se descompone en 9
3
1
rectángulos reducidos, por lo que cada uno de ellos medirá del inicial. Esto
9
es lo que ocurre con los conjuntos de dimensión 2, si se reducen por un factor
r, su medida cambia en un factor r2 .
1
Análogamente, si se reduce un intervalo por un factor r= 3
, se tiene que el
intervalo inicial se descompone en tres intervalos reducidos, por lo que cada
1
uno de ellos medirá de la medida del inicial.
3
Geometría Fractal 47
4. El triángulo de Sierpinski
Este conjunto fue introducido por Waclaw Sierpinski unos
40 años después que el conjunto de Cantor, como ejemplo
de una curva en la que todo punto es de ramicación. La
construcción geométrica del triángulo de Sierpinski es la
siguiente. Se parte de un triángulo equilátero T. A este
triángulo se le quita el triángulo (sin bordes) que resulta Waclaw
de unir los puntos medios de sus lados. Sierpinski
1882-1969
A cada uno de
En este primer paso
ellos le apli-
tenemos tres nuevos
camos el proceso
triángulos T1 , T2 y T3 .
anterior.
Así sucesivamente, tenemos 3, 9, 27, 81, ... triángulos, cada uno de ellos
1
una copia a escala de los triángulos de la etapa anterior.
2
48 Un Paseo por la Geometría
6. La curva de Koch
La curva de Koch fue introducida por Helge von Koch en
1904 y es un ejemplo de una curva que no tiene tangente
en ningún punto.
Niels Fabian
Helge Von Koch
1870-1924
1
Reemplazamos el intervalo central de longitud por dos segmentos de la
3
misma longitud formando un ángulo de 60 grados.
log 4
La dimensión de Hausdor de la curva de Koch es s= log 3
≈ 1,26185, ya
1
que es autosemejante con cuatro partes semejantes al total, a escala .
3
1
por .
2
• Se borra el segmento y se pintan dos nuevos con el valor calculado
x( 12 ) x(0) y x(1). Cada intervalo de tiempo se divide en dos
y los anteriores
1 3
iguales y los valores x( ) y x( ) se calculan como la media de los valores en
4 4
1
los extremos más dos valores aleatorios d21 y d22 reescalados por √ .
2 2
• Se borran los segmentos anteriores y se pintan los que se obtienen con
los nuevos valores y los anteriores.
• Se repite el proceso n veces, utilizando como factor de escala √ 1 para
2n+1
n
obtener el número aleatorio dnk , para k = 1, 2, . . . , 2 .
Movimiento browniano fraccionario con exponentes de Hurst 0.2, 0.4, 0.6 y 0.8
Iñigo Quílez Les, Resplandor, I Concurso José María Guerra García Blue
Nacional Imágenes Fractales Ice, Primer premio 2000
Texturas
Como el exterior del conjunto de Julia está formado por los puntos cuya
órbita diverge a innito, podemos representarlo asignando a los puntos del
exterior diferentes colores en función de esta velocidad de divergencia. De
esta manera y variando c obtenemos diferentes conjuntos de Julia.
Bibliografía
[1] M.F. Barnsley, Fractals everywhere, Academic Press, 1993.
[2] M.F. Barnsley, SuperFractals, Cambridge Univ. Press, 2006.
[3] J. Barrallo, Geometría fractal, Anaya, 1993.
[4] K.J. Falconer, The Geometry of Fractal sets, Cambridge Univ. Press,
1985.
Geometría Fractal 57
Páginas web
[w1] Departamento de Matemática Aplicada, Facultad de Informática, Uni-
versidad Politécnica de Madrid, Páginas de los concursos Nacionales de imá-
genes fractales, http://www.dma..upm.es
[w2] Sistemas Dinámicos, Open Course Ware de la Universidad Politécnica
de Madrid http://ocw.upm.es/matematica-aplicada/introduccion-a-
los-sistemas-dinamicos
[w3] Concurso internacional The Benoit B. Mandelbrot Fractal Art Contest
2006, http://www.fractalartcontests.com/2006/entries.php
[w4] Concurso internacional The Benoit B. Mandelbrot Fractal Art Contest
2007, http://www.fractalartcontests.com/2007/entries.php
[w5] Michael Frame, Benoit Mandelbrot, and Nial Neger, Fractal Geometry
at Yale University, http://classes.yale.edu/fractals
[w6] IBMPC's, editor. www Fractint pages,
http://spanky.triumf.ca/www/fractint/fractint.html
[w7] D. M. Jones. Fractalus. http://www.fractalus.com
[w8] F. Slijkerman. Ultrafractal. http://www.ultrafractal.com
58 Un Paseo por la Geometría