Sobre el concepto de fractal. C. Salbor-Albor Ciencia. Marchena (sevilla).

Noviembre, 1998

SOBRE EL CONCEPTO DE FRACTAL

Para poder hablar de fractales es necesario establecer primero lo que significa la dimensin topolgica y lo que significa la dimensin fractal., para, a partir de ello, definir el objeto fractal y su correspondiente geometra, asi como sus aplicaciones ms bsicas. 1. Dimensin topolgica y dimensin fractal: Desde un punto de vista topolgico sabemos que la circunferencia y un segmento rectilneo son la misma curva y encierran el mismo tipo de superficie (pues es posible transformar una en la otra mediante una deformacin continua, es decir, sin que sea preciso someter a ninguna de las dos a manipulaciones no topolgicas). Ahora bien, desde un punto de vista mtrico no son la misma curva, ya que la circunferencia y el rea que encierra, el crculo, son finitos, y, en cambio, el segmento, aunque es finito, no encierra con su borde un rea finita. Aparece aqu, entonces, una caracterstica moderna de las matemticas: intentar clasificar los objetos por lo que se conserva, por los invariantes, y analizar, por otra parte, qu ocurre con lo que no se conserva, cmo hay que analizarlo, qu hay que hacer con ello, cmo integrarlo en el mundo de los entes matemticos. En el ejemplo anterior, lo que se conserva es su carcter topolgico, es decir, su dimensin topolgica. Analicemos brevemente lo que significa la dimensin topolgica, que es un trmino que introdujo Henri Poincar para discernir sobre cuestiones de este tipo. La definicin inductiva dada por Poincar al introducir este concepto fue la siguiente: El conjunto vaco tiene dimensin 1. Si los bordes de los entornos pequeos de todos los puntos del ente son espacios (n-1)-dimensionales, decimos que el espacio que consideramos es ndimensional. As, segn esto, se tiene: conjunto vaco: punto: segmento: cuadrado: cubo: dimensin topolgica: dimensin topolgica: dimensin topolgica: dimensin topolgica: dimensin topolgica: D D D D D = = = = = -1 0 1 2 3

Sobre el concepto de fractal. C. Salbor-Albor Ciencia. Marchena (sevilla). Noviembre, 1998

Otra definicin de la dimensin topolgica de un objeto geomtrico la dio K. Devlin en 1988. Es la definicin por el movimiento: En una curva solo podemos movernos en una direccin, adelante o hacia atrs. En una superficie podemos ir adelante, atrs, a derecha, a izquierda. En un volumen podemos movernos, adems, hacia arriba, hacia abajo. La curva tiene una dimensin, la superficie tiene dos dimensiones y el volumen tiene tres dimensiones. Una definicin distinta de dimensin topolgica es la definicin por semejanza, llamada tambin de autosemejanza, que sugiri Felix Hausdorff en 1919, readaptada posteriormente por Besicovich (dimensin de Hausdorff-Besicovich): Si al obtener desde un ente H, N entes iguales, semejantes al original, con razn de semejanza r, entonces la dimensin topolgica de H es el nmero real D que verifica: N.rD = 1 O sea, Ln N + D. Ln r = 0. Por tanto: D= LnN 1 Ln( ) r

Esta definicin se puede justificar desde la teora de la medida:

1)

La medida de la unin de N figuras que no se solapan A1, A2, ..., AN, es la suma algebraica de sus medidas: m(unin) = m( Ak )
k =1 N

2) Si una figura A es semejante a otra figura A, con razn de semejanza r, la medida de A es proporcional a la medida de A, siendo la constante de proporcionalidad una potencia de la razn de semejanza: D 1 m( A) = .m( A' ) r Veamos como obtener la definicin de Hausdorff-Besicovich mediante la medicin de un segmento AB del que se obtienen N subsegmentos iguales, cuya razn de semejanza con AB es r, despreciando el resto del segmento. La media total del segmento AB es la suma de la medida de todos los subsegmentos iguales: m( AB) = m( sk ) = N .m( s1 )
k =1 N

por otra parte:

Sobre el concepto de fractal. C. Salbor-Albor Ciencia. Marchena (sevilla). Noviembre, 1998

1 m( AB ) = .m( s1 ) r de donde, identificando: 1 N = r D .N = 1 3 El exponente D es, pues, lo que Husdorff-Besicovich llama dimensin de autosemejanza. Ejemplos elementales: Un segmento: Lo dividimos, por ejemplo, en dos partes iguales. N = 2, r = . Se tiene: D= Dimensin de autosemejanza: D = 1. Un cuadrado: Lo dividimos, por ejemplo, en 4 cuadrados iguales. N = 4. r = . Se tiene: D= Dimensin de autosemejanza: D = 2. Un cubo: Lo dividimos, por ejemplo, en 8 cubos iguales. N = 8. r = . Se tiene: D= Dimensin de autosemejanza: D = 3. La dimensin topolgica en el sentido de Poincar o de Devlin coincide en general con la dimensin por semejanza de Hausdorff-Besicovich. Pero hay ciertos objetos geomtricos en los que no ocurre as. A estos objetos geomtricos los denominaremos, usando la terminologa de Benoit Mandelbrot, Fractales. Diremos que la dimensin definida por Poincar o Devlin es su LnN Ln8 = =2 1 Ln 2 L r LnN Ln 4 = =2 1 Ln 2 L r LnN Ln 2 = =1 1 Ln 2 L r
D

Sobre el concepto de fractal. C. Salbor-Albor Ciencia. Marchena (sevilla). Noviembre, 1998

Dimensin Topolgica y que la dimensin por semejanza de Hausdorff-Besicovich es su Dimensin Fractal.

2. Fractales: Se llama Fractal a un ente geomtrico que tiene una dimensin por semejanza, dimensin fractal, estrictamente mayor que su dimensin topolgica. En general, un fractal tiene tantos puntos como todo el espacio tridimensional y tiene tal estructura que cada una de sus partes, observada con una lente de aumento adecuada, reproduce en cierto sentido el conjunto generador de partida (autosemejanza). Entendemos por Geometra Fractal a la parte de la matemtica que estudia la generacin, dimensionalidad y aplicacin prctica de los fractales. Veamos a continuacin algunos fractales bsicos: El Intervalo de Cantor, la Curva de Koch (copo de nieve), El Conjunto de Besicovich, El estuche triangular de Sierpinski y el Fractal aritmtico de Sierpinski.

3. El Intervalo de Cantor: Es un intervalo de nmeros reales, del cual se obtienen dos intervalos semejantes dividiendo el intervalo inicial en tres partes iguales. Se elimina la parte central, con lo que aparecen dos intervalos semejantes al primero, con razn de semejanza 1/3. Es decir, N = 2, r = 1/3. La reiteracin ad infinitum del proceso permite reducir a polvo el intervalo generador (polvo de Cantor). La dimensin fractal es: D= LnN Ln 2 = = 0'0630905 1 Ln3 Ln r

Sobre el concepto de fractal. C. Salbor-Albor Ciencia. Marchena (sevilla). Noviembre, 1998

4. La Curva de Koch (copo de nieve): Es un segmento con un quiebro en su parte central, cuya longitud es igual al resto del segmento. Como se observa, de cada uno de los cuatro segmentos que constituyen la curva se obtiene otra semejante con razn de semejanza 1/3. Luego, es N = 4, r = 1/3. Dimensin fractal: D= LnN Ln 4 = = 1'26181 1 Ln3 Ln r

5. El Conjunto de Besicovich: Es un cuadrado que se divide en cuatro partes, de las cuales se eliminan dos dispuestas en diagonal, con lo que resultan dos cuadrados de razn de semejanza . Luego, es N = 2, r = . Dimensin fractal: D= LnN Ln 2 = =1 1 Ln 2 Ln r

Sobre el concepto de fractal. C. Salbor-Albor Ciencia. Marchena (sevilla). Noviembre, 1998

6. El Estuche Triangular de Sierpinski: Es un tringulo equiltero sobre el que se traza otro tringulo interior uniendo los puntos medios de sus lados. Aparece un tringulo central, que se elimina, y otros tres tringulos iguales entre s y semejantes al original con razn 1/2. O sea, es N = 3, r = 1/2 Dimensin fractal: D= LnN Ln3 = = 1'5849 1 Ln 2 Ln r

A medida que se repite el proceso en el Estuche de Sierpinski, los tringulos blancos van aumentando y los tringulos negros van disminuyendo. En el infinito, la superficie total del

Sobre el concepto de fractal. C. Salbor-Albor Ciencia. Marchena (sevilla). Noviembre, 1998

tringulo ser la suma de las superficies de los tringulos blancos, mientras que los tringulos negros tienden a tener superficie total nula.

7. El Fractal Aritmtico de Sierpinski: Este fractal es en realidad una modalidad del Estuche de Sierpinski. Consideremos el triangulo de Tartaglia o de Pascal, constituido por nmeros naturales de forma que la fila n-sima sean los nmeros n n! = k n!.(n k )! , o sea, es el tringulo infinito expresado por: 1 11 121 1331 14641 1 5 10 10 5 1 1 6 15 20 15 6 1 ... ... ... ... ... ... en este tringulo, como se ve, cada nmero es la suma de los dos que quedan sobre l en la fila anterior. El Fractal Aritmtico de Sierpinski aparece cuando se nos ocurre colocar un cero donde hay un nmero par, y un 1 donde hay un nmero impar, con lo cual resulta: 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 Como sabemos que los tringulos blancos, formados aqu por ceros, tienden al rea total del tringulo, y el rea de los tringulos negros, formados por unos, tiende a cero, podemos (k = 0,..., n)

Sobre el concepto de fractal. C. Salbor-Albor Ciencia. Marchena (sevilla). Noviembre, 1998

deducir una propiedad aritmtica importante del tringulo de Pascal, a partir de su carcter fractal: Casi todos los nmeros del tringulo de Pascal son pares. Y esto resulta ser un ejemplo de aplicacin elemental del concepto de fractal. ----oo0oo----