Beruflich Dokumente
Kultur Dokumente
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 guras, que son los conjuntos de los que nos vamos a ocupar ms adelante.
Conjunto de Cantor
Curva de Koch
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) maniestan 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 gura anterior verican 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 denicin 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 innitas 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 nal los dos puntos obtenidos.
Divisin de un segmento en tres partes iguales Esta macro, que llamaremos thales, se puede guardar para usarla ms adelante en la construccin de la curva de Koch. 2. Construir una macro, que llamaremos cantor asociada al algoritmo: se dibuja un segmento al que se le aplica la macro thales que lo divide en tres partes iguales y, de los tres segmentos obtenidos, dibujamos los dos de los extremos. El objeto inicial de la macro es el segmento original y el objeto nal los dos segmentos de los extremos.
Objeto inicial
Objeto nal
Para la visualizacin correcta del algoritmo es conveniente, dependiendo del software que se use, eliminar o dibujar de un color claro (casi invisible) el segmento original. Esta macro, que llamaremos cantor, se guarda para usarla en el paso siguiente. 3. Se dibuja un segmento inicial al que se aplica la macro cantor para obtener los dos segmentos del primer paso de la construccin del conjunto de Cantor. Aplicando repetidamente la macro cantor a estos segmentos y a sus descendientes se puede avanzar tanto como se desee en la construccin del conjunto de Cantor.
Segmento original
Paso 2
La curva de Koch se obtiene despus de innitas repeticiones de un algoritmo geomtrico sencillo: dividir un segmento en tres partes iguales y sustituir la parte central por los otros dos lados de un tringulo equiltero que se construye sobre ella. Para implementar la construccin de la curva de Koch en el software geomtrico elegido se pueden seguir los siguientes pasos: 1. Construir una macro, que llamaremos koch asociada al algoritmo: se dibuja un segmento al que se le aplica la macro thales que lo divide en tres partes iguales, y sobre el segmento central se construye un tringulo equiltero. El objeto inicial de la macro es el segmento original y el objeto nal son los dos segmentos de los extremos y los dos lados superiores del tringulo.
Objeto inicial
Objeto nal
Para la visualizacin correcta del algoritmo es conveniente, dependiendo del software que se use, eliminar o dibujar de un color claro (casi invisible) el segmento original. Esta macro, que llamaremos koch, se guarda para usarla en el paso siguiente. 2. Se dibuja un segmento inicial al que se aplica la macro koch para obtener los cuatro segmentos del primer paso de la construccin de la curva de Koch. Aplicando repetidamente la macro koch a estos segmentos y a sus descendientes se puede avanzar tanto como se desee en la construccin de la curva de Koch.
Tringulo original
Paso 1
Paso 2
Primeros pasos de la construccin del tringulo de Sierpinski El tringulo de Sierpinski se obtiene despus de innitas repeticiones de un algoritmo geomtrico sencillo: dividir un tringulo equiltero en cuatro tringulos iguales y eliminar el tringulo equiltero central, es decir quedarnos con los tres tringulos de los vrtices. Para implementar la construccin del tringulo de Sierpinski con el software geomtrico elegido se pueden seguir los siguientes pasos: 1. Construir una macro, que llamaremos sierpinski asociada al algoritmo: se dibuja un tringulo equiltero, se hallan los puntos medios de los lados y se dibujan los tres tringulos de los vrtices, que se rellenan de 5
cierto color. El objeto inicial de la macro es el tringulo original y el objeto nal son los tres tringulos de los extremos.
Objeto inicial
Objeto nal
2. Se dibuja un tringulo inicial al que se aplica la macro sierpinski para obtener los tres tringulos del primer paso de la construccin. Aplicando repetidamente la macro sierpinski a estos tringulos y a sus descendientes se puede avanzar tanto como se desee en la construccin del tringulo de Sierpinski.
Observacin: En el tringulo de Sierpinski, el hecho de considerar tringulos equilteros es irrelevante. Siempre que para la construccin de los tringulos de los extremos se utilicen los puntos medios de los lados, se obtienen resultados anlogos usando cualquier tipo de tringulos.
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 innitas veces, obteniendo como resultado nal el objeto fractal conocido como alfombra de Sierpinski.
Cuadrado original
Paso 1
Paso 2
Primeros pasos de la construccin de la alfombra de Sierpinski La alfombra de Sierpinski se obtiene despus de innitas repeticiones de un algoritmo geomtrico sencillo: dividir un cuadrado en nueve cuadrados iguales y eliminar el cuadrado central, es decir quedarnos con los ocho cuadrados de la frontera. Para implementar la construccin de la alfombra de Sierpinski con el software geomtrico elegido se pueden seguir los siguientes pasos: 1. Construir una macro, que llamaremos alfombra asociada al algoritmo: se dibuja un cuadrado, se aplica la macro thales a sus cuatro lados y se dibujan los ocho cuadrados de la frontera, que se rellenan de cierto color. El objeto inicial de la macro es el cuadrado original y el objeto nal son los ocho cuadrados de la frontera.
Objeto inicial
Objeto nal
2. Se dibuja un cuadrado inicial al que se aplica la macro alfombra para obtener los ocho cuadrados del primer paso de la construccin. Aplicando repetidamente la macro alfombra a estos cuadrados y a sus descendientes se puede avanzar tanto como se desee en la construccin de la alfombra de Sierpinski.
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 innitos puntos, es decir que su medida en dimensin 0 es innita. 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 0 Longitud(Paso k) = 2k 3k = 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
1 3 2 3
2 4
1 9 4 9
3 8
1 27 8 27
4 16
1 81 16 81
2k 3k
k 2k
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 innito 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 2
Procediendo como en el conjunto de Cantor, se les puede pedir a los alumnos que vayan estudiando paso a paso la curva de Koch hasta llegar a observar que en el paso k de su construccin es una poligonal formada por 4k segmentos de longitud 3k cada uno de ellos y su longitud es innita: Longitud(Paso k) = 4 3
k k
4 = 3
k k
Esto se puede conseguir, pidindoles que rellenen una tabla del tipo: Paso Nmero de segmentos Longitud de cada segmento Longitud total 1 4
1 3 4 3
2 16
1 9 16 9
3 64
1 27 64 27
4k 3k
k 4k
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 1 , en el paso 2 est contenida en 4 rectngulos de base 1 y altura 1 y, en general, en el paso k est 3 3 9 1 1 contenida en 4k1 rectngulos de base 3k1 y altura 3k , siendo su rea: rea(Paso k) 4k1 1 3k1 1 3 4 = k 4 9 3
k k
Esto se puede obtener rellenando una tabla similar a la anterior. En consecuencia, ninguna de las medidas anteriores (longitud y rea) es adecuada para medir la curva de Koch (mide innito en dimensin 1 y cero en dimensin 2). Para medir la curva de Koch se debera recurrir a una dimensin comprendida entre 1 y 2, cuyo valor exacto se determinar ms adelante. El tringulo de Sierpinski Procediendo paso a paso, como en los casos anteriores, se puede observar que el tringulo de Sierpinski est formado en el paso 1 por 3 tringulos equilteros de lado 1 , en el paso 2 por 9 tringulos equilteros de lado 1 , en 2 4 el paso 3 por 27 tringulos equilteros de lado 1 y, as sucesivamente, en el paso k est formado por 3k tringulos 8 1 equilteros de lado 2k , cada uno de ellos. Teniendo en cuenta que en un tringulo equiltero de lado el permetro y el lado son: 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
1 2 9 2 3 3 16
2 9
1 4 27 4 9 3 64
3 27
1 8 81 8 27 3 256
3k+1 2k 3k 3 4k+1
k 3k
1 2k
Tringulo de Sierpinski
=3 =
3 k 2 k 3 3 4 4
En consecuencia, ninguna de las medidas anteriores (longitud y rea) es adecuada para medir el tringulo de Sierpinski (mide innito 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
Primeros pasos de la construccin de la alfombra de Sierpinski Se puede observar que la alfombra de Sierpinski est formada en el paso 1 por 8 cuadrados de lado 1 , en el paso 3 1 2 por 64 cuadrados de lado 1 , en el paso 3 por 512 cuadrados de lado 27 y, as sucesivamente, en el paso k est 9 1 formada por 8k cuadrados de lado 3k , cada uno de ellos.
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
1 3 16 3 8 9
2 64
1 9 80 9 64 81
3 512
1 27 496 27 512 729
8k 9k
k 8k =
8 k 9 1 3k
Alfombra de Sierpinski
En consecuencia, ninguna de las medidas anteriores (longitud y rea) es adecuada para medir la alfombra de Sierpinski (mide innito 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
log 2 medida(3A) = 3d medida(A) 3d = 2 d = log3 2 = medida(3A) = 2 medida(A) log 3 Dimensin de la curva de Koch
0, 6309
3A A
log 4 medida(3A) = 3d medida(A) 3d = 4 d = log3 4 = medida(3A) = 4 medida(A) log 3 Dimensin del tringulo de Sierpinski
1, 2619
2A
1, 5850
3A
1, 8928
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