Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fractal Es
Fractal Es
Miguel Reyes
Objetivos
El objetivo que aqu nos planteamos es familiarizar a los alumnos de primer curso de Estalmat con los conjuntos
fractales. El primer problema que se nos presenta es explicar qu se entiende por conjunto fractal, para lo que en
principio nos podemos limitar a mostrar como ejemplos los de las siguientes figuras, que son los conjuntos de los
que nos vamos a ocupar ms adelante.
Conjunto de Cantor
Curva de Koch
Tringulo de Sierpinski
Alfombra de Sierpinski
La palabra fractal, referida a conjuntos matemticos, apareci por primera vez en el ao 1977 cuando Benoit Mandelbrot la utiliz en su libro [1] para referirse a ciertos conjuntos con todas o algunas de las siguientes propiedades:
Tienen detalles a todas las escalas, entendiendo por esto que mirados a cualquier nivel de escala (zoom)
manifiestan detalles ya observados a nivel global.
1
Son autosemejantes, es decir, que estn formados por partes que son semejantes al conjunto total.
Tienen una descripcin algortmica simple, entendiendo por ello que su construccin se basa en un algoritmo
sencillo.
Es fcil observar que los cuatro conjuntos que aparecen en la figura anterior verifican las tres propiedades descritas.
Entre las muchas actividades que se pueden plantear alrededor de los conjuntos fractales, aqu vamos a tratar las
dos que consideramos ms interesantes: construccin de fractales mediante algn software matemtico-geomtrico
y una introduccin a la medida y dimensin fractal.
1. Construccin de fractales
El mejor modo de entender lo que es un fractal consiste en examinar como surge geomtricamente a partir de su
definicin algortmica. Los cuatro fractales anteriores se construyen mediante sencillos algoritmos geomtricos
que podemos implementar con cualquier software geomtrico del tipo de Cabri, GeoGebra, etc. Describiremos a
continuacin cmo se puede proceder para construir cada uno de ellos.
Como se observa aqu, y se repetir en el resto de fractales, la construccin se obtiene despus de infinitas repeti2
ciones de un algoritmo geomtrico sencillo: dividir un segmento en tres partes iguales y eliminar la parte central
(es decir, quedarnos con las dos partes de los extremos).
Para implementar la construccin con el software geomtrico elegido se pueden seguir los siguientes pasos:
1. Construir una macro que divida un segmento en tres partes iguales: se dibuja un segmento y aplicando, por
ejemplo, la regla de Thales, se obtienen los dos puntos que lo dividen en tres partes iguales. El objeto inicial
de la macro es el segmento original y el objeto final los dos puntos obtenidos.
Objeto inicial
Macro thales
Objeto final
Segmento original
Paso 1
Paso 2
Objeto inicial
Macro thales
Objeto final
Tringulo original
Paso 1
Paso 2
cierto color. El objeto inicial de la macro es el tringulo original y el objeto final son los tres tringulos de
los extremos.
Objeto inicial
Puntos medios
Objeto final
ocho cuadrados. El segundo paso de la construccin consiste en hacer lo mismo que hemos hecho en el primer
paso sobre cada uno de los ocho cuadrados obtenidos en el paso anterior. Y se repite el proceso infinitas veces,
obteniendo como resultado final el objeto fractal conocido como alfombra de Sierpinski.
Cuadrado original
Paso 1
Paso 2
Objeto inicial
Macro thales
Objeto final
Paso 1:
1
9
Paso 2:
Paso 3:
1
27
Paso 4:
Paso 5:
Puesto que los extremos del intervalo inicial y de cada uno de los intervalos que van apareciendo en la construccin
del conjunto de Cantor nunca se pueden quitar, es fcil observar que el conjunto de Cantor tiene infinitos puntos,
es decir que su medida en dimensin 0 es infinita.
Para medir su longitud (medida en dimensin 1) se les puede pedir a los alumnos que vayan determinndola paso
a paso hasta llegar a deducir que el paso k est formado por 2k intervalos de longitud 3k cada uno de ellos y su
longitud es
!k
2
k
k
0
Longitud(Paso k) = 2 3 =
3 k
Esto se puede conseguir, pidindoles que rellenen una tabla del siguiente tipo:
Paso
Nmero de intervalos
Longitud de cada intervalo
Longitud total
1
2
2
4
3
8
4
16
1
3
2
3
1
9
4
9
1
27
8
27
1
81
16
81
k
2k
2k
3k
1
3k
2 k
3
Conjunto de Cantor
En consecuencia, ninguna de las medidas anteriores (contar y longitud) es adecuada para medir el conjunto de
Cantor (mide infinito en dimensin 0 y cero en dimensin 1). Para medir el conjunto de Cantor se debera recurrir
a una dimensin comprendida entre 0 y 1, cuyo valor exacto se determinar ms adelante.
La curva de Koch
1
3
1
9
Paso 1
Paso 2
Longitud(Paso k) = 4 3
4
=
3
!k
Esto se puede conseguir, pidindoles que rellenen una tabla del tipo:
Paso
Nmero de segmentos
Longitud de cada segmento
Longitud total
1
4
2
16
3
64
1
3
4
3
1
9
16
9
1
27
64
27
k
4k
4k
3k
1
3k
4 k
3
Curva de Koch
Para calcular el rea de la curva de Koch se puede observar que en el paso 1 est contenida en un rectngulo de
base 1 y altura 13 , en el paso 2 est contenida en 4 rectngulos de base 13 y altura 19 y, en general, en el paso k est
1
contenida en 4k1 rectngulos de base 3k1
y altura 31k , siendo su rea:
k1
rea(Paso k) 4
1
3k1
1
3 4
k =
4 9
3
!k
0
`2 3
Permetro = 3`
rea =
4
la longitud y el rea del tringulo de Sierpinski se pueden hallar por medio de una tabla como la siguiente.
10
1
1
2
1
4
Paso 1
Paso 2
Paso
Nmero de tringulos
Lado de cada tringulo
Permetro total
rea total
1
3
2
9
3
27
1
2
9
2
3 3
16
1
4
27
4
9 3
64
1
8
81
8
27 3
256
k
3k
3k+1
2k
3k 3
4k+1
1
2k
k
3
2 k
3 3
4 4
=3
Tringulo de Sierpinski
En consecuencia, ninguna de las medidas anteriores (longitud y rea) es adecuada para medir el tringulo de
Sierpinski (mide infinito en dimensin 1 y cero en dimensin 2). Para medir el tringulo de Sierpinski se debera
recurrir a una dimensin comprendida entre 1 y 2, cuyo valor exacto se determinar ms adelante.
La alfombra de Sierpinski
1
3
1
9
Paso 1
Paso 2
11
La longitud y el rea de la alfombra de Sierpinski se pueden hallar por medio de una tabla como la siguiente.
Paso
Nmero de cuadrados
Lado de cada cuadrado
Permetro total
rea total
1
8
2
64
3
512
1
3
16
3
8
9
1
9
80
9
64
81
1
27
496
27
512
729
k
8k
1
3k
8k
9k
k
= 89
Alfombra de Sierpinski
En consecuencia, ninguna de las medidas anteriores (longitud y rea) es adecuada para medir la alfombra de
Sierpinski (mide infinito en dimensin 1 y cero en dimensin 2). Para medir la alfombra de Sierpinski se debera
recurrir a una dimensin comprendida entre 1 y 2, cuyo valor exacto se determinar ms adelante.
Para los fractales aqu considerados el resultado anterior permite obtener su dimensin.
12
3A
log 2
medida(3A) = 3d medida(A)
3d = 2 d = log3 2 =
' 0, 6309
medida(3A) = 2 medida(A)
log 3
3A
A
log 4
medida(3A) = 3d medida(A)
3d = 4 d = log3 4 =
' 1, 2619
medida(3A) = 4 medida(A)
log 3
2A
log 3
medida(2A) = 2d medida(A)
' 1, 5850
2d = 3 d = log2 3 =
medida(2A) = 3 medida(A)
log 2
13
3A
log 8
medida(3A) = 3d medida(A)
' 1, 8928
3d = 8 d = log3 8 =
medida(3A) = 8 medida(A)
log 3
Referencias
[1] Benoit B. Mandelbrot, The Fractal Geometry of Nature, W.H. Freeman and Co., San Francisco, 1977.
[2] Miguel de Guzmn, Aventuras Matemticas, Ed. Pirmide, Madrid, 2006.
[3] Miguel Reyes, Una introduccin a la Geometra Fractal y su aplicacin a la compresin de imgenes, Boletn
de la Sociedad Puig Adam de Profesores de Matemticas 52 (1999), 32-55.
Miguel Reyes. Dpto. de Matemtica Aplicada, Facultad de Informtica, Universidad Politcnica de Madrid.
14