Objetos Fractales (Autosemejanza)

Geometra Fractal
1.- Objetos fractales. Autosemejanza
10/03/2010

Benot Mandelbrot - Concepto de estructura fractal - Autosemejanza - Dimensin topolgica - Dimensin de recubrimiento - Galera de
fractales clsicos: el conjunto de Cantor, la escalera del diablo, las curvas de Weierstrass, Mandelbrot-Weierstrass y Takagi, un ejemplo
diferente, las curvas de Peano y de Hilbert, los dragones de Heighway y Lvy, la procesin de cangrejos, conjuntos autoafines, las curvas
de Koch, Sierpinski, Kiesswetter y Given-Mandelbrot - Movimiento browniano - Fechas significativas - Algunas aplicaciones: la fsica de la
msica y el canto de los pjaros, sistemas crticamente autoorganizados, dithering de imgenes con la curva de Hilbert
Naci en Polonia en 1924, de familia juda lituana, y emigr a Francia en 1936, donde se haba establecido su
to Szolem Mandelbrojt, a la sazn profesor de Matemticas en el Collge de France, y a quien la educacin de
Benot qued confiada.
Terminada la guerra, Benot consigui el ingreso, simultneamente, en lcole Normale y lcole Politechnique.
Su personalidad y probablemente su clase de preparacin le impulsaron a seguir sus estudios en lcole
Politechnique, bajo la direccin de Paul Lvy, que ejerci una gran influencia sobre su discpulo.
En 1935 se fund la clebre escuela Bourbaki, organizadora del nuevo pensamiento matemtico. Sus miembros
fundadores eran: Andr Weil, Henri Cartan, Claude Chevalley, Jean Coulomb, Jean Delsarte, Jean
Dieudonn, Charles Ehresmann, Ren de Possel y Szolem Mandelbrojt, supuestos colaboradores de
Nicolas Bourbaki.
Los objetivos fundamentales del policfalo autor, eran la reconstruccin del edificio matemtico sobre bases
axiomticas. Sus trabajos cristalizaron en la redaccin de una enciclopedia, lments de Mathematique.
Adems, la asociacin celebraba seminarios peridicamente.
Bourbaki rechazaba, en particular, el empleo de figuras o grficas para ilustrar conceptos o demostraciones en
Matemticas: la vista poda engaar a la razn. La influencia de Bourbaki en lcole Normal era particularmente
importante, razn que pudo influir en Mandelbrot para decidir su entrada en la Politechnique.
En 1945, su to Szolem recomend a Benot la lectura de un escrito de 300 pginas de Gaston Julia (18931978) titulado Mmoire sur literation des fonctions rationelles, precursor de la moderna teora de sistemas
dinmicos. Y, de acuerdo con las ideas de la escuela de la que formaba parte, aadi: Olvida la geometra.
El discpulo no se interes mucho por la lectura recomendada por su maestro, bien por la clase de problemas
planteados por su to acerca de aquella, o porque Benot enfocaba las Matemticas desde un punto de vista
muy diferente. Adicionalmente, hizo caso omiso de la recomendacin acerca de la geometra. Por otra parte,
Benot recobr inters por la publicacin mencionada en 1970. Con ayuda de las facilidades computacionales
puestas a su disposicin por IBM a partir de 1957 en el centro de investigacin Thomas J. Watson, contribuy a
crear las ilustraciones de su ensayo de 1975. Y, curiosamente, en 1980, con ayuda de un ordenador VAX,
1
Geometra Fractal
10/03/2010
pantalla Tektronix y hardcopy Versatac, sorprendi a la comunidad cientfica con el primer dibujo detallado de
un grfico deducido de la evolucin del sistema dinmico en el campo complejo
Desde su puesto en el centro de investigacin Thomas J. Watson de IBM, se dedica al estudio de series
temporales relacionadas con precios y posteriormente con el ruido de las lneas telefnicas para interconexin
de ordenadores.
En 1962 publica la memoria Sur certains prix speculatifs: faits empiriques et modle bass sur les
processus stables additifs de Paul Lvy, Comptes Rendus (Paris), su primera referencia sobre series
temporales en Finanzas.
Secuencia de vdeo con un zoom sobre el conjunto de Mandelbrot (10 s, 5.20 MB AVI)
En 1975, Benoit B. Mandelbrot public un ensayo titulado Les objets fractales: Forme, hasard et dimension
Editorial Flammarion. Paris. En la introduccin de la citada monografa se puede leer:
"El concepto que hace de hilo conductor ser designado por uno de los dos neologismos sinnimos
objeto fractal y fractal, trminos que he inventado, ..., a partir del adjetivo latino fractus,..."
En 1982 publica un nuevo libro, con grficos espectaculares creados con la tecnologa informtica que, por
aquel tiempo, estaba a su disposicin: The Fractal Geometry of Nature Editorial W.H. Freeman & Co. New
York. En la pgina 15 de esta obra Mandelbrot propone la siguiente definicin:
Geometra Fractal
10/03/2010
Un fractal es, por definicin, un conjunto cuya dimensin de Hausdorff-Besicovitch es estrictamente

mayor que su dimensin topolgica.
Este concepto no es definitivo - el mismo Mandelbrot reconoce que no incluye algunos conjuntos que, por otras
razones, deben incluirse en la categora de fractales. Han sido propuestas otras definiciones y, de hecho,
estamos ante un concepto geomtrico para el que an no existe un una definicin precisa, ni una teora nica y
comnmente aceptada.
KENNETH FALCONER
Kenneth Falconer, en su obra titulada Fractal Geometry: Mathematical Foundations and Applications,
John Wiley and Sons, 1990, describe un concepto de estructura fractal F como la que satisface alguna(s) de
las propiedades siguientes:
(1).-
posee
detalle
todas
las
escalas
de
observacin;
(2).- No es posible describir F con Geometra Euclidiana, tanto local como globalmente;
(3).(4).-
F
La
posee
dimensin
alguna
fractal
clase
de
de
F
es
autosemejanza,
mayor
que
posiblemente
su
dimensin
estadstica;
topolgica;
(5).- El algoritmo que sirve para describir F es muy simple, y posiblemente de carcter recursivo.
En resumen, una tcnica anloga a la que los bilogos aplican al concepto de vida.
La propiedad 1 se puede completar indicando que un fractal no tiene ninguna escala caracterstica: todas las
escalas son buenas para representar un fractal. Como veremos a continuacin, esta afirmacin tiene lmites
cuando abandonamos los modelos matemticos para entrar en la consideracin de fractales fsicos.
FRACTALES MATEMTICOS Y FRACTALES FSICOS
A stone, when is examined, will be found a mountain in miniature. (J. Ruskin, Modern Painters, Vol. 5, chapter
18, 1860).
Geometra Fractal
10/03/2010
The scale invariance of geological phenomena is one of the first concepts taught to a student of geology. It is
pointed out an object that defines the scale, i.e. A coin, a rock hammer, a person, must be included whenever a
photograph of a geological feature is taken. (Donald L. Turcotte, Fractals ans Chaos in Geology and
Geophysics, Cambridge University Press, 1992).
Para incluir los fractales fsicos en una categora comparable a la correspondiente a los fractales matemticos,
la propiedad 1 debe limitarse a un rango de escalas (una escala mnima y otra mxima) que depende del objeto
en consideracin.
En general, F es una estructura autosemejante si puede ser construida como una reunin de estructuras, cada
uno de las cuales es una copia de F a tamao reducido (una imagen de F mediante una semejanza
contractiva).
Geometra Fractal
10/03/2010
Cualquiera que sea el mtodo de aproximacin al concepto de fractal que utilicemos, hay un concepto central,
que es el de dimensin. Ms precisamente, consideraremos varios conceptos de dimensin; y el primero de
ellos, el de dimensin topolgica.
En los Elementos de Euclides, ya se define, implcitamente y de forma inductiva, el concepto de dimensin.
Se dice que una figura es unidimensional, si su frontera est compuesta de puntos; bidimensional, si su frontera
est compuesta de curvas y tridimensional, si su frontera est compuesta de superficies.
Hermann Weyl ilustra el concepto de dimensin en los trminos siguientes:

Decimos que el espacio es tridimensional porque los muros de una prisin son bidimensionales.
Gerald A. Edgar (Measure, Topology and Fractal Geometry, Springer, 1990) completa la imagen de Weyl en
los trminos que siguen:
"Si tenemos un punto en el espacio tridimensional, podemos usar un pequeo cubo como prisin. El
cubo est constituido por 6 caras planas. Necesitamos saber que estas caras son bidimensionales. Un
punto que vive en una de estas caras puede ser sometido a prisin haciendo uso de una pequea
circunferencia. As, decir que las caras del cubo son bidimensionales, requiere saber que una
circunferencia es unidimensional. Un punto que vive en una de las circunferencias, puede ser
aprisionado haciendo uso de dos puntos como muros de la prisin. Necesitamos saber que un conjunto
reducido a dos puntos es de dimensin cero. Finalmente, un punto que vive en el conjunto de dos puntos
es ya incapaz de moverse. No necesitamos muros para aprisionarlo. Estamos, por definicin, ante un
conjunto de dimensin 0."
La construccin de la dimensin topolgica se puede basar en la idea de generalizar el concepto de que la
dimensin de una bola es tres mientras que la dimensin de la esfera que la limita es dos: dimensin de un
conjunto X a partir de la dimensin de su frontera X .
n
Por otra parte, un objeto fractal es, ante todo, un subconjunto de R . En este contexto, preferimos una
definicin equivalente de dimensin topolgica basada en la dimensin de recubrimiento, concepto que juega
un papel importante en la definicin de dimensin fractal.
Consideremos un subconjunto S de R .
5
Geometra Fractal
Un recubrimiento abierto de S es cualquier coleccin de conjuntos abiertos
10/03/2010
cuya reunin contiene al
conjunto S .
Dimensin topolgica 1
Un refinamiento abierto
del recubrimiento abierto es otro recubrimiento tal que cada abierto A est
incluido en algn abierto A .

En algn sentido, un refinamiento abierto
de S , proporciona un recubrimiento ms detallado de S que
Decimos que
es un recubrimiento abierto de orden k del conjunto S , si, cualquiera que sea
x S , x pertenece a un mximo de k abiertos del recubrimiento .

Definicin: El conjunto S
recubrimiento abierto
tiene dimensin de recubrimiento (dimensin topolgica) n , si cualquier
de S admite un refinamiento abierto de orden n 1 , pero no de orden n .
6
Geometra Fractal
10/03/2010
Revisamos a continuacin una serie de objetos, manejados por sus descubridores con anterioridad a 1975, con
intenciones e intereses muy diversos, muchas veces para proponer contra-ejemplos. Todos tienen en comn la
actual denominacin de objetos fractales.
2
En general, se trata de subconjuntos del plano R , y para su construccin se utilizan tcnicas variadas: en
algunos casos algoritmos geomtricos, en otros son grficas de funciones. Muchos se pueden obtener
construyendo aproximaciones de atractores de sistemas dinmicos.
Por qu estos objetos tienen la consideracin de fractales? Tericamente, porque satisfacen varios de los
criterios vistos previamente. Y desde un punto de vista ms prctico, porque si realizamos magnificaciones
sucesivas de la vecindad de un punto, reproducimos las irregularidades de la vecindad inicial. Esto no ocurre
con los conjuntos euclidianos clsicos.
Ilustramos esta afirmacin con herramientas que, por su naturaleza, no son tiles en este contexto. En efecto, la
representacin digital de las imgenes trata por igual a la grficas fractales y a las que no lo son, porque, en
cualquier caso, slo manejamos aproximaciones.
Sucesivamente hablaremos de: conjunto ternario de Cantor, la escalera del diablo, curva de Hilbert, curva de
Peano, funcin de Weierstrass, curva de Van Koch, tringulo de Sierpinski, tapiz de Sierpinski, etc.
Geometra Fractal
10/03/2010
ORIGEN DE LOS FRACTALES CLSICOS

El conjunto de Cantor (1883), junto con otras estructuras como la escalera del diablo, las curvas de Hilbert y de
Peano que llenan un espacio (1890), la funcin de Weierstrass (1872), la curva de van Koch (1904), el
tringulo de Sierpinski (1915), etc., fueron considerados en su tiempo monstruos matemticos o situaciones
patolgicas, sin ms valor que posibles contraejemplos.
Sin embargo, algunos de los fractales clsicos que describimos, han surgido en el contexto o han contribuido a
la evolucin del Anlisis Matemtico en los siglos XIX y XX, particularmente en lo que respecta a los conceptos
de funcin, integral y convergencia.
Posiblemente es el fractal clsico ms importante y ms conocido, y muchos otros objetos fractales tienen
alguna relacin con l. Fue descrito en 1883 por Georg Cantor (1845-1918), pero fue mencionado en 1875
(posiblemente antes) por el matemtico irlands Henry Smith.
El conjunto tridico de Cantor es un subconjunto de puntos del intervalo [0,1] para el que definimos
seguidamente un algoritmo recursivo de construccin. Este procedimeinto de caracterizacin, facilita, por otra
parte, le demostracin de muchas de sus propiedades por induccin.
Partimos del intervalo [0,1], que denominamos C0. Obtenemos C1 removiendo el tercio central de C0, de forma
que resulta
Sucesivamente, se contina el proceso de remocin, suprimiendo el tercio central de cada nuevo subintervalo
generado.
De manera inductiva, definimos el elemento Ck de la sucesin como la reunin de un total de 2k subintervalos
cerrados, cada uno de ellos de longitud 3-k.
La sucesin de conjuntos compactos {Ck} es montona decreciente:
El lmite de esta sucesin

8
Geometra Fractal
10/03/2010
es el conjunto tridico de Cantor o, en palabras de Mandelbrot es un Cantor dust, nombre que intenta
transmitir la clase de conjunto que es.
REPRESENTACIN GRFICA
cantor00.m
fillcantor00.m
Por qu la reproduccin en la pantalla de la iteracin 6 exhibe una baja calidad? Porque no es

posible la representacin exacta sobre el dispositivo, la pantalla, en el sentido de que, a partir de un
tamao de subconjunto, no es posible usar un conjunto equilibrado de pixels. El conjunto de Cantor
no se puede representar con un nmero finito de pixels.
Podemos representar los nmeros reales de C0=[0,1] en base 3, mediante una expresin de la forma
Geometra Fractal
10/03/2010
siendo xi=0, 1 o 2. Los elementos del conjunto de Cantor estn descritos para valores xi=0 o xi=2.
En efecto, cuando eliminamos el tercio central para pasar de C0 a C1, suprimimos los nmeros x para los que
x1=1. Cuando suprimimos los tercios centrales para pasar de C1 a C2 ,eliminamos los nmeros reales x para
los que xi=1, y as sucesivamente.
PROPIEDADES NOTABLES
Este conjunto tiene una serie de propiedades notables que vamos a analizar seguidamente:
(1).- El polvo de Cantor as definido no es el conjunto vaco.
Estos puntos,
se denominan puntos de primer gnero del conjunto de Cantor C. Los puntos restantes, que veremos que
tambin existen, se denominan de segundo gnero.
En efecto, contiene al menos los extremos de todos los subintervalos Ck. Adems, es fcil mostrar que el punto
es un elemento del conjunto de Cantor, por ejemplo escribindolo en base 3, y, por otra parte, no es extremo
de ninguno de los subintervalos Ck.
(2).- La medida de Lebesgue del conjunto de Cantor es cero.
En efecto, la suma de las longitudes de los intervalos suprimidos es 1:
(3).- El conjunto C tiene el cardinal del continuo. Es decir, tiene el mismo cardinal que el intervalo original
C0=[0,1].
Esta propiedad se muestra fcilmente estableciendo una correspondencia entre los puntos que se pueden
representar en base 3 en la forma 0.x1x2x3..., con xi=0 o xi =2 y los que se escriben en binario en la forma
0.y1y2y3...
Puesto que los puntos de primer gnero constituyen un conjunto numerable, queda claro que el conjunto de los
puntos de segundo gnero no se reduce al punto .
10
Geometra Fractal
10/03/2010
(4).- El conjunto C tiene dimensin topolgica 0.
(5).- El conjunto C no contiene intervalos de longitud positiva ni puntos aislados.

(6).- El conjunto C es un conjunto cerrado y cada uno de sus puntos es un punto de acumulacin. Es,
decir, es un conjunto perfecto.
(7).- El conjunto C es un conjunto compacto, es decir, cerrado y acotado.
(8).- El conjunto C es totalmente inconexo.
As, C es un conjunto compacto, perfecto e inconexo. Adems, C est caracterizado por stas tres propiedades:
cualquier subconjunto de R compacto, perfecto e inconexo se puede aplicar sobre C por medio de una
transformacin continua reversible.
(9).- Finalmente, el conjunto C tiene una propiedad notable, pero nada evidente. Dado cualquier nmero
real x del intervalo [0,1] , existen dos elementos de C, y,z, tales que x=y-z.
En otras palabras, las sumas y+z de dos elementos y y z del conjunto C, llenan el intervalo [0,2].
Analizando el conjunto de estas propiedades observamos el hecho sorprendente de que C, a pesar de tener
medida de Lebesgue y dimensin topolgica nulas (igual que un conjunto finito o numerable de puntos), tiene el
cardinal del continuo (lo mismo que I0=[0,1] o R).
Esta situacin, un tanto paradjica, se puede resolver (y, de hecho, se resuelve) argumentando que el conjunto
de Cantor est incluido en una nueva categora de conjuntos, los conjuntos fractales, asocindole en
consecuencia un concepto nuevo de dimensin (que no es un nmero entero), la dimensin fractal.
Existen razones adicionales para clasificar el conjunto de Cantor como objeto fractal. Si consideramos el
concepto de estructura fractal de Kenneth Falconer, observamos que el conjunto de Cantor satisface cada una
de las propiedades citadas. En particular, la propiedad
11
Geometra Fractal
10/03/2010
(3).- F posee alguna clase de autosemejanza, posiblemente estadstica;

se detecta en el conjunto C en los trminos siguientes.
El conjunto C puede obtenerse como reunin de dos conjuntos: el primero se deduce de C mediante una
contraccin de razn 1/3. El segundo se deduce mediante la misma transformacin seguida de una traslacin
de vector 2/3.
El conjunto C se puede obtener, adems, como el atractor de un sistema de funciones
cuando se aplican en forma iterada, comenzando, por ejemplo, con C0=[0,1]. Es el conjunto as definido el
mismo que hemos definido en forma recursiva anteriormente? En efecto, es fcil probar por induccin completa
la siguiente propiedad del conjunto de Cantor C:
AUTOSEMEJANZA
En este sentido, C es una estructura (un conjunto) autosemejante.
VARIACIONES SOBRE EL CONJUNTO DE CANTOR
Podemos generar un conjunto de Cantor diferente eliminando un abierto de longitud , situado en posicin
central, dejando los segmentos [0,1/4] y [3/4,1]. A continuacin, se eliminan abiertos de longitud 1/8 de cada
uno de ellos. Y as sucesivamente. Queda el atractor del sistema
Otra
construccin
consiste
en
eliminar
dos
abiertos
de
longitud
1/3,
quedando
el
conjunto
[0,1/9] [4/9,5/9] [8/9,1]. Se obtiene as el atractor del sistema

12
Geometra Fractal
10/03/2010
CURDLING
Consideramos ahora una construccin del conjunto de Cantor suponiendo que repartimos una unidad de masa
sobre el intervalo [0,1], con lo que tenemos una barra. Se elimina el tercio central, pero la masa unidad se
reparte entre los intervalos restantes, que pasan as a poseer una densidad igual a
La siguiente iteracin suprime los tercios centrales de los dos intervalos, quedando cuatro intervalos cerrados a
los que se adscribe la totalidad de la masa, repartiendo 0.25 a cada uno de ellos. Quedan barras ms pequeas
de densidad
En la n-sima generacin tendremos 2n barras, cada un de ellas de longitud 3-n y con una adscripcin de masa
de valor 2-n, lo que conduce a densidades crecientes que ascienden a
13
Geometra Fractal
10/03/2010
fillcurdling00.m
Podemos generalizar el curdling transformando la barra inicial en dos nuevas: izquierda con escala l0 y
derecha con l1, al tiempo que repartimos la masa unidad con las proporciones p0 al segmento izquierdo y p1 al
derecho, respectivamente. Suponemos, as,
PRODUCTO CARTESIANO DE CONJUNTOS DE CANTOR

La construccin original de Cantor se puede generalizar a dimensin 2 (o superior) mediante diversos
mecanismos. Por ejemplo, se puede construir el producto cartesiano de dos conjuntos tridicos de Cantor,
dando como resultado conjunto CxC con medida de Lebesgue cero y con la potencia del continuo, igual que C.
14
Geometra Fractal
10/03/2010
cantor200.m
CONJUNTO DE CANTOR ALEATORIO
Partimos, nuevamente, de C0=[0,1] y seleccionamos dos cantidades al azar r1 y r2, de forma que r1+r2<1.
Deducimos as el conjunto reunin de dos intervalos, a cada uno de los cuales se aplica una construccin
semejante a la anterior.
LA APLICACIN DE LA TIENDA DE CAMPAA Y EL CONJUNTO DE CANTOR

La aplicacin R R definida por
se suele denominar tienda de campaa (tent map), debido a la forma de su grfica. Estudiaremos algunos
aspectos del sistema dinmico con inicio en x0 y tal que xn+1=f(xn).
15
Geometra Fractal
10/03/2010
EL CONJUNTO PRISIONERO
En primer lugar se observa que si x0<0 o x0>1, la sucesin diverge hacia - . Y lo mismo sucede si cualquier
xn<0 o xn>1. Consideremos, pues, x0 [0,1]. Nos planteamos la cuestiones siguientes: Existen puntos en [0,1]
para los que la sucesin no diverge? Si la respuesta es afirmativa hay pocos o muchos puntos que se pueden
considerar prisioneros?
Es fcil ver, mediante una ilustracin grfica, que la construccin del conjunto de prisioneros P es la misma que
la correspondiente al conjunto tridico de Cantor. As, P=C.
Esta conjetura responde tambin a la segunda pregunta. Los puntos de C (y de P) son escasos en [0,1]. De
hecho, si seleccionamos un punto al azar en [0,1], la probabilidad de que sea un prisionero es nula.
prisioneros1.m (1era generacin)

prisioneros2.m (2nda generacin)
En el escrito de Cantor titulado On the Power of Perfect Sets of Points, extrado por los editores de Acta
Mathematica partiendo de una carta dirigida a los mismos en 1884, se describe el ya considerado Conjunto de
16
Geometra Fractal
10/03/2010
Cantor y una funcin (de Cantor) conocida como escalera del diablo. Se trata de la grfica de una funcin
(singular) continua en [0,1], no constante, y con derivada nula en todos los puntos, excepto en un subconjunto
de [0,1] con medida de Lebesgue nula. Este subconjunto es, precisamente, un conjunto de Cantor.
Repetimos la construccin del conjunto de Cantor suponiendo que repartimos una unidad de masa sobre el
intervalo [0,1] y que, en cada operacin de eliminacin, se elimina tambin la masa correspondiente. La
escalera del diablo se obtiene como la representacin de la masa M(x), para cada abscisa x, situada a la
izquierda de la misma.
ALGORITMO PARA LA CONSTRUCCIN DE LA ESCALERA DEL DIABLO
(1).- En un cuadrado [0,1]x [0,1], trazamos el segmento O(0,0)-U(1,1).
(2).- Sobre el tercio central de [0,1] (abscisas), elevamos un segmento y=1/2, de extremos A(1/3,1/2) y
B(2/3,1/2), respectivamente. Seguidamente, trazamos la lnea quebrada (0,0)- (1/3,1/2)-(2/3,1/2)-(1,1),
finalizando as la segunda etapa.
(3).- En la tercera etapa, se realiza una operacin anloga con los segmentos OA y BU. Se construye sobre el
tercio medio de cada uno de ellos un segmento, y=1/4 para OA e y=3/4 para BU.
(4).- El algoritmo prosigue indefinidamente.
17
Geometra Fractal
10/03/2010
REPRESENTACIN GRFICA
devil.m
OTRAS PROPIEDADES
La escalera del diablo tiene dimensin topolgica 1 y longitud 2. El rea entre la curva y el eje de abscisas es
igual a .
LA ESCALERA DEL DIABLO Y LOS SISTEMAS DINMICOS
La escalera del diablo no es, simplemente, una construccin matemtica con propiedades ms o menos
notables. La descripcin de muchos sistemas fsicos origina la construccin de varias versiones de la curva
mencionada.
El comportamiento dinmico de las ecuaciones (no lineales) de un oscilador forzado o de un sistema de Van der
Pol, por ejemplo, se puede, bajo determinadas condiciones, simplificar mediante la denominada aplicacin del
crculo (en si mismo):
18
Geometra Fractal
10/03/2010
Esta aplicacin presenta dos parmetros, K, que corresponde a la intensidad de la oscilacin perturbadora, y,
simultneamente, al grado de no linealidad del sistema, y
, que es la frecuencia del sistema en ausencia de
acoplamiento (K=0).
Se denomina nmero de rotacin a la funcin
La grfica de
frente a
tiene un curioso comportamiento:
conjunto numerable de mesetas para valores racionales de

Los intervalos (abiertos) de
frente a
y presenta un
: son mesetas de acoplamiento o de resonancia.
para los que aparece el fenmeno de acoplamiento, llenan el intervalo [0,1],
quedando como puntos residuales de

de
es una funcin continua de
, que no corresponden a resonancia, un conjunto de Cantor. La grfica
es una escalera del diablo.
El 18 de Julio de 1872, Karl Weierstrass (1825-1897) ley un escrito titulado On Continuous Functions of a
Real Argument that do not have a Well-defined Differential Quotient, en la Royal Prussian Academy of
Science. El artculo fue publicado tres aos mas tarde por P. du Bois-Reymond.
El prrafo de introduccin dice as:
19
Geometra Fractal
10/03/2010
Hasta tiempos muy recientes, se supona de forma universal que una funcin continua uniforme de una
variable real siempre tena una derivada primera, cuyo valor podra no estar definido o ser infinitamente
grande slo en puntos aislados.
Seguidamente, Weierstrass construye el primer ejemplo de curva continua y no diferenciable en ningn punto,
siempre que el producto ab sea superior a cierto lmite:
weierstrass.m (a=0.5 y b=2)

Weierstrass prob que la funcin descrita carece de derivada finita o infinita en cada uno de sus puntos si
0<a<1, b es un entero impar y ab>1+3 /2.
En 1914, Hardy demostr que, si ab 1, W(x) carece de derivadas en todos sus puntos. Si ab<1, W(x) es
continuamente diferenciable.
LA CURVA DE MANDELBROT-WEIERSTRASS
La grfica de la curva de Weierstrass no es autoafn. Mandelbrot dise una ligera modificacin de ella que le
confiere alguna clase de autoafinidad
Esta funcin puede expresarse como suma de una de Weierstrass y una funcin continua y diferenciable.
Adems, WM(x)=aWM(bx)).
20
Geometra Fractal
10/03/2010
mandelweir.m
Esta curva fue descubierta en 1903 por Takagi (1875-1960), y se deduce de la de Weierstrass la funcin
trigonomtrica que aparece en la suma por la funcin
(x)=dist(x,Z) que mide la distancia entre el argumento x
y el nmero entero ms prximo a x.
La grfica de la funcin
(x)=dist(x,Z) tiene la forma siguiente:
En primer lugar, consideremos el algoritmo de Arqumedes para la construccin punto a punto de la parbola.
Sea y=P(x)=a-bx2, con b>0. Dados los extremos de la cuerda {xA,a-bxA2}, {xB,a-bxB2}, Arqumedes interpola el
valor P(x) que corresponde al punto medio x=(xA+xB)/2.
21
Geometra Fractal
10/03/2010
Seguidamente, se interpolan otros dos puntos, partiendo del punto medio de las cuerdas AC y CB,
respectivamente, y elevando cada ordenada en la cantidad
k-1
de los puntos medios de 2
-k
cuerdas en la cuanta 4
/(42)=
/16. La etapa k requiere el desplazamiento
Para la curva fractal de Takagi, se copia el algoritmo precedente, cambiando el incremento de las ordenadas
por 2-k
en la etapa k. La curva que se deduce punto a punto es muy diferente de una parbola.
takagi.m
22
Geometra Fractal
10/03/2010
takagimonte.m
Sobre el conjunto [0,1] definimos las aplicaciones contractivas
siendo a>1/3, b>1/3, a+b>4/3. Iterando en la forma acostumbrada, se obtiene una funcin continua no
diferenciable en todos sus puntos.
diferente.m
En 1890 Giuseppe Peano (1858-1932) public un artculo titulado Sur une courbe qui remplit toute une aire
plane. Esta curva, como la de Hilbert, tiene la propiedad notable de llenar el plano, en el sentido de que pasa
por cualquier punto, por ejemplo, del cuadrado unidad. Se demuestra que ambas tienen dimensin topolgica
igual a 1.
ALGORITMO PARA LA CONSTRUCCIN DE LA CURVA DE PEANO

Partimos de un segmento de longitud unidad. Deducimos 9 nuevos segmentos, cada uno de longitud 1/3, que
colocamos de la forma siguiente:
23
Geometra Fractal
10/03/2010
En la etapa p, obtenemos un conjunto formado por 9p cuadrados de lado 3-p. El objeto as engendrado es
estrictamente autosemejante, ya que puede obtenerse como reunin de n=9 conjuntos semejantes a Q,
reducidos cada uno de ellos en la proporcin 1/k=1/3.
Para construir la curva de Peano como atractor de sistemas de aplicaciones afines necesitamos nueve
aplicaciones de la forma
Las tablas que siguen relacionan los valores de los 54 coeficientes.
a
1/3
1/3
1/3
-1/3
-1/3
-1/3
1/3
1/3
1/3
b
0
0
0
0
0
0
0
0
0
c
0
0
0
0
0
0
0
0
0
d
1/3
-1/3
1/3
1/3
-1/3
1/3
1/3
-1/3
1/3
e
0
0
-1/3
1/3
-2/3
0
-1/3
1/3
-2/3
f
0
-1/3
-1/3
-2/3
0
-1/3
1/3
-2/3
0
24
Geometra Fractal
10/03/2010
La curva de algoritmo constructivo que describimos a continuacin, fue descrita en 1891 por Hilbert (1862-1943)
en un artculo de exactamente dos pginas, poco mas tarde de que Giuseppe Peano describiese una curva
anloga. Ambas tienen la notable propiedad de llenar el plano.
La curva comienza con un lnea H0 compuesta de 3 segmentos, cada uno de longitud unidad, que conecta los
centros de cuatro cuadrantes.
En la etapa siguiente se realizan cuatro copias de H0, reducidas en la proporcin 1/3, y se colocan en los
cuadrantes. Resulta H1. Se observa que para construir H1, es necesario unir las copias de H0 con tres
segmentos de longitud 1/2.
Para deducir H2, se hacen cuatro copias de H0, reducidas en la proporcin 1/2, se colocan como se indica y se
unen las copias mediante tres segmentos , ahora de tamao 1/4. Se observa, as, que el objeto que resulta no
es estrictamente autosemejante.
La curva de Hilbert se obtiene como atractor del SFI siguiente:

25
Geometra Fractal
10/03/2010
Si el conjunto inicial es una lnea quebrada como la que se representa a continuacin
se obtienen transformaciones sucesivas cuyo lmite es una curva de Hilbert.
26
Geometra Fractal
10/03/2010
EL CDIGO GRAY
El cdigo de Gray, basado en una permutacin del cdigo binario tradicional, proporciona una representacin
de objetos ordenados de forma que, pasando de un objeto al siguiente, slo tenemos que cambiar un bit de
informacin. La distancia de Hamming entre la representacin de un objeto y el siguiente (o el predecesor) es 1.
Codificacin decimal, binaria tradicional y basada en el cdigo de Gray:
Decimal
0
1
2
3
4
5
6
7
Binaria
tradicional
000
001
010
011
100
101
110
111
Cdigo
Gray
000
001
011
010
110
111
101
100
Eventualmente esto es importante en dispositivos mecnicos el error medio en la transmisin es menor

cuando se hace uso del cdigo Gray.
A continuacin se ilustra la correspondencia de los dgitos de 0 a 7 con los cdigos de Gray, haciendo uso de
una curva de Hilbert tridimensional.
27
Geometra Fractal
10/03/2010
Paul Lvy construy un cuadro general en el que se puede colocar la curva de Von Koch, que no es la nica
que tiene esta propiedad maravillosa- con referencia a la autosemejanza. La memoria publicando los
resultados se titul Les courbes planes ou gauches et les surfaces composes de partes semblables au
tout, Journal del lcole Politechnique, IIIe srie,81,1938.
Se puede constatar el mrito del dibujante que, en 1938, ao de la publicacin del trabajo de Lvy, traz la
grfica que se puede observar en la diapositiva siguiente, en la cual, a un tamao de 22x34 cm., bas Lvy la
evidencia de varias propiedades del conjunto.
Hoy da, disponemos de varias tcnicas para generar aproximaciones numricas del Dragn de Lvy. Por
ejemplo, puede definirse como el atractor del sistema dinmico descrito por las transformaciones siguientes:
La curva, que es el lmite alcanzado iterando sucesivamente, tiene dimensin topolgica 2. Por otra parte, se
demuestra que la dimensin de Hausdorff de este conjunto es 2, de forma que no entrara en el concepto de
fractal descrito por Mandelbrot en su manifiesto.
En su novela de Jurassic Park, Michael Crichton configura el ndice de sus captulos con siete iteraciones
sucesivas en el proceso de construccin de esta curva, seguidas de un breve comentario de su personaje Ian
Malcolm, el matemtico especialista en caos.
28
Geometra Fractal
10/03/2010
Esta curva fue construida alrededor de 1967 por John E. Heighway. Igual que el dragn de Lvy, tiene
dimensin topolgica 1.
La curva, que es el borde de la imagen, tiene dimensin topolgica 1.

Esta curva fue construida alrededor de 1967 por el fsico de la N.A.S.A. John E. Heighway. De acuerdo con
Martin Gardner (Festival Mgico-Matemtico, Alianza Editorial), Heighway ilustr la construccin mediante el
doblado conveniente de una hoja de papel.
Esta curva tambin se puede obtener como el atractor del sistema
29
Geometra Fractal
10/03/2010
TRANSICIN ENTRE DRAGONES

Para cada valor de t en el intervalo [0,1], definimos el sistema de funciones
Se demuestra que A(t), para cada t, el atractor del sistema de funciones iteradas as definido, que es una
funcin continua de [0,1] en el espacio de los conjuntos compactos con topologa de Hausdorff, siendo A(0) el
dragn de Lvy y A(1) el de Heighway.
SISTEMA DE NUMERACIN DE BASE COMPLEJA
La curva dragn de Heighway, que es el contorno de la figura as construida, tiene una interpretacin en el
contexto de los sistemas de numeracin de base compleja y dos dgitos {0,1}. Si dibujamos los afijos de los
complejos que tienen expresin en base 1-i con la forma 0.x1x2x3...xn..., tenemos una grfica cuya silueta es la
curva citada.
heighwaycomplejo.m
Se construye como el atractor del sistema
30
Geometra Fractal
10/03/2010
Los dragones de Lvy y Heighway, la procesin de cangrejos, as como la curva de Peano y la de Takagi, son
casos particulares de los conjuntos generados por las aplicaciones afines C C de la forma
donde a,b,c,d son parmetros complejos.

Para que las aplicaciones citadas sean contracciones, los parmetros deben verificar
Adems, si se desea obtener conjuntos autoafines conexos, es necesario imponerles nuevas restricciones.
Inspirados por el hallazgo de Weierstrass, otros matemticos trabajaron sobre curvas continuas sin tangente en
punto alguno. Este es el caso del matemtico suizo Helge Von Koch (1870-1924): On a Continuous Curve
without Tangents Constructible from Elementary Geometry.
Casi inmediatamente despus de la publicacin del trabajo de Von Koch, Ernesto Csaro demostr que la curva
en cuestin es autosemejante. Es decir, puede ser obtenida reuniendo cuatro partes de la misma, cada una de
las cuales es semejante a la curva completa.
Estas curvas son otro ejemplo de curvas continuas y no diferenciables en ningn punto. Tienen longitud
(medida de Lebesgue) infinita, pero limitan una superficie finita. Su dimensin topolgica es 1.
31
Geometra Fractal
10/03/2010
La construccin de la curva de Von Koch se realiza partiendo de un segmento de longitud unidad. En la primera
etapa del algoritmo, sustituimos dicho segmento por cuatro, cada uno de los cuales tiene longitud 1/3, y estn
colocados de la forma que indica la grfica:
LA ISLA DE KOCH
La versin que introdujo Von Koch en 1904 fue la denominada isla de Koch, cuya construccin comienza con un
tringulo equiltero, aplicando luego a cada uno de sus lados un algoritmo anlogo al descrito para la curva.
Es fcil ver que es posible obtener las distintas etapas en la progresin hacia la curva lmite mediante el sistema
de transformaciones contractivas siguiente:
32
Geometra Fractal
10/03/2010
En la etapa k disponemos de 4k segmentos de longitud 3-k cada uno de ellos. As, la longitud total de la curva
es, en cada etapa,
Es evidente que esta cantidad crece indefinidamente cuando k
REA DE LA ISLA DE KOCH

Si designamos con
cuyo lmite, cuando k
el rea del tringulo de partida, el rea de la figura obtenida en la etapa k se escribe
, alcanza la cantidad 8 /5.
EL TRINGULO DE WACLAV SIERPINSKI

El matemtico polaco W. Sierpinski (1882-1969) describe el conjunto ahora denominado Tringulo de
Sierpinski en el artculo Sur une courbe dont tout point est un point de ramification, C. R. Acad. Pars,
1915.
33
Geometra Fractal
10/03/2010
Este conjunto tiene dimensin topolgica 1 y medida de Lebesgue nula. Se trata de una estructura
autosemejante.
EL TAPIZ DE SIERPINSKI
W. Sierpinski describe un segundo conjunto, denominado tapiz o alfombra de Sierpinski, que puede ser
considerado como una generalizacin del conjunto tridico de Cantor. Como ste conjunto y como el tringulo
de Sierpinski, tiene medida (rea) nula.
Se trata de otro ejemplo de curva continua no diferenciable en todos sus puntos. Este ejemplo es anlogo a uno
dado por Bolzano alrededor de 1830 (por tanto, antes que Weierstrass leyera su trabajo) y publicado 100 aos
ms tarde.
Se puede generar como atractor un sistema de cuatro aplicaciones afines de la forma
aplicado de forma iterativa. Los coeficientes son:

a
0.25
0.25
0.25
0.25
b
0
0
0
0
c
0
0
0
0
d
e
f
-0.5 0
0
0.5 0.25 -0.50
0.5 0.50
0
0.5 0.75
0.
Recordemos que el algoritmo para generar la curva de Von Koch parte de un segmento de longitud l. En la
primera etapa, dicho segmento se transforma en cuatro segmentos de longitud l/3, colocados como indica la
ilustracin.
34
Geometra Fractal
10/03/2010
Given y Mandelbrot han construido un modelo fsico (percolacin) mediante un algoritmo anlogo, que conduce
a una estructura fractal ms sofisticada.
Se parte de un segmento de longitud l y se transforma en ocho de longitud l/3 colocados como se muestra en la
grfica.
Supongamos que esta curva est construida con un material conductor y que conectamos los extremos
izquierdo y derecho a una fuente de energa elctrica. La corriente no fluye a travs de todos los segmentos.
La corriente elctrica est confinada en el backbone (columna vertebral) de la estructura, que se puede deducir
cambiando el algoritmo de construccin.
35
Geometra Fractal
10/03/2010
La novedad es que disponemos de una estructura fractal (el backbone) dentro de otra estructura fractal (curva
de Given-Mandelbrot). Otra estructura diferente est formada por los segmentos que suponen una conexin
simple, tambin fractal. Tenemos as una suerte de fractal de fractales.
Muchos fenmenos fsicos seleccionan de forma natural sub-estructuras dentro de las estructuras en las que
dichos fenmenos tienen lugar.
Hablaremos de esta clase de (nuevos) objetos ms adelante: son multifractales.
En 1840, el botnico escocs Robert Brown (1773-1858), haciendo uso de un microscopio, puso de manifiesto
la naturaleza desordenada de los movimientos de las partculas en suspensin en un medio lquido (granos de
polen en agua).
En 1900 Louis Bachelier (1870-1946) estableci el primer modelo y las primeras aplicaciones para el
movimiento browniano, y en 1905 Albert Einstein lo explic en trminos de colisiones entre partculas,
manifestando que se trataba de una confirmacin de la teora molecular del calor. Esto probara la existencia de
tomos de tamao finito.
Jean Baptiste Perrin (1870-1942), en 1908, demostr experimentalmente la existencia de tomos de tamao
finito e intuy el enlace entre las trayectorias del movimiento browniano y funciones contnuas no diferenciables.
En 1926, recibi el Premio Nobel de Fsica por sus trabajos sobre movimiento browniano.
Norbert Wiener (1874-1964), en 1923, confirm las intuiciones de Perrin, probando que casi todas las
trayectorias son contnuas. En 1933, junto con Paley y Zygmund, complet el estudio demostrando que casi
todas las trayectorias son no diferenciables en todos sus puntos.
En 1939, Paul Lvy public un anlisis exhaustivo sobre el movimiento browniano.
36
Geometra Fractal
10/03/2010
En 1968, Mandelbrot y Van Ness introdujeron el movimiento browniano fraccionario, en cuya descripcin
aparece un parmetro relevante H, cuyo valor, para el m.b. estndar es . Este modelo haba sido tratado
anteriormente pot Kolmogorov.
En 1975, Mandelbrot sugiere la utilizacin de los mecanismos brownianos para simular paisajes naturales:
montaas y valles, costas, etc., controlando la rugosidad por medio del parmetro H antes mencionado.
ALGUNAS FECHAS SIGNIFICATIVAS EN LA HISTORIA DE LOS FRACTALES

Gracias a los esfuerzos de Mandelbrot, los objetos tales como el conjunto de Cantor, hallaron un marco general,
la Geometra Fractal, compartiendo ubicacin con otros importantes modelos como el movimiento browniano
fraccionario y los atractores de ciertos sistemas dinmicos deterministas, conceptos y estructuras
aparentemente alejados de aquellos.
LOS MONSTRUOS
37
Geometra Fractal
10/03/2010
1872
El conjunto de Cantor
1875
La curva de Weierstrass
1890
La curva de Peano
1891
La curva de Hilbert
1900
Movimiento browniano (Bachelier)
1903
La curva de Takagi
1906
La isla de van Koch
1915
El tringulo de Sierpinski
1938
El dragn de Lvy
1968
Movimiento browniano fraccionario (Mandelbrot)
LA DIMENSIN
1919
Dimensin de Hausdorff
COMPORTAMIENTO RELACIONADO CON LA ESCALA
1951
Ley de Hurst (ro Nilo)
1956
Ley de Gutenberg-Richter para la distribucin de la magnitud de terremotos
1961
Leyes de escala de Richardson
LOS FRACTALES
1968
Aristid Lindenmayer describe los ahora denominados sistemas L
1975
Mandelbrot inventa el trmino fractal
38
Geometra Fractal
10/03/2010
1975
Publicacin de "Fractals: Form, chance and dimension"
1980
Mandelbrot ofrece la primera grfica del conjunto que lleva su nombre
1981
Sistemas de Funciones Iteradas (Hutchinson)
1982
Publicacin de "The Fractal Geometry of Nature"
1988
Mandelbrot introduce el concepto de medidas multifractales
1988
Artculo de Barnsley y Sloan en BYTE
FRACTALES Y SISTEMAS DINMICOS
1981
Witten y Sanders introducen la agregacin limitada por difusin
1983
Hentschel y Procaccia relacionan los fractales y los atractores extraos
1984
Autmatas celulares de Stephen Wolfram
1987
Per Bak, Chao Tang y Kurt Wiesenfeld elaboran el concepto de sistemas crticos auto-organizados
APLICACIONES DE LA GEOMETRA FRACTAL
Ssmica
Fracturacin y fragmentacin
Meteorologa
Anlisis del clima
Oceanografa
Ecologa
Msica
Fisiologa
Geografa
Planificacin urbana
Medicina
Minera
Astronoma
Finanzas
39
Geometra Fractal
Gentica
Fsica
Qumica
Metalurgia
Mecnica de fluidos
10/03/2010
Tratamiento de seales
Tratamiento de imgenes: anlisis de imgenes, compresin de imgenes
Simulacin de imgenes naturales: nubes, relieves, estructuras botnicas
Finalmente, desarrollamos tres ejemplos ilustrativos con el objeto de subrayar las aplicaciones de la la
Geometra Fractal en dominios de la Ciencia y de la Tecnologa muy diferentes entre s:
a.- La Fsica de la Msica y el canto de los pjaros
b.- La auto-organizacin no es un privilegio de la vida
c.- No tan monstruos
La seleccin particular de tonos que ha hecho el gnero humano, asociados con ciertas frecuencias, ha sido
una constante desde que las distintas civilizaciones descubrieron la posibilidad de construir sucesiones de
sonidos interesantes.
Pitgoras observ que si dividimos una cuerda en dos secciones mediante un pequeo puente, cada parte vibra
con frecuencia 2f , frecuencia doble de la correspondiente a la cuerda en la situacin original. El experimento
as descrito conduce a dos octavas consecutivas. A partir de Pitgoras (incluido), las distintas civilizaciones
establecieron varias discretizaciones sobre las octavas, dando lugar a diferentes sucesiones de notas
musicales.
Una octava es, por tanto, el intervalo entre dos tonos cuyas frecuencias asociadas son f y 2f, respectivamente.
Dentro de la evolucin de la msica de la civilizacin occidental, desde el ao 1800, una octava se divide en 12
intervalos iguales, y desde 1939, la International Standards Association acord establecer la frecuencia de 440
Hz para la nota A4 del teclado de un piano.
40
Geometra Fractal
10/03/2010
Una nota musical lleva asociada una frecuencia f definida por la relacin
donde f0 es la frecuencia base e i,n nmeros enteros pequeos.

LA ESCALA TEMPERADA
do
re
mi
fa
sol
la
si
do
f
(p2)f
(p4)f
(p5)f
(p7)f
(p9)f
(p11)f
2f
Siendo p=2(1/12)
LEYES DE ESCALA EN LA MSICA DE J. S. BACH
Consideremos la composicin de Johann Sebastian Bach "Los Conciertos de Brandeburgo". El espectro de
potencia (veremos que es el cuadrado de la magnitud de la transformada de Fourier), expresada en trminos de
la frecuencia puede ser aproximado mediante una ley de la forma
Esta ley hiperblica puede escribirse en la forma

log[S(f)]=constante-log(f)
donde la variable frecuencia f puede expresarse en semitonos. As, una grfica doblemente logartmica de
log[S] frente a log(f), resulta una lnea recta de pendiente -1.
Esta no es la nica ley de potencia que se cumple. El espectro de las amplitudes sigue tambin una ley de
potencia con el mismo exponente. La amplitud de la msica se obtiene mediante regularizacin temporal de la
magnitud de la presin de sonido que se registra en las proximidades de la orquesta.
Seleccion Bach una ley de potencias hiperblica cuando compuso su msica?
Evidentemente, no. Los compositores crean sonidos de forma que, de acuerdo con su criterio, resultan
interesantes. La cuestin es: Por qu (al menos alguna) msica interesante presenta para el espectro de
potencia y para el espectro de las amplitudes comportamientos que siguen leyes de potencia?
41
Geometra Fractal
10/03/2010
RUIDO BLANCO Y BROWNIANO

El matemtico americano George David Birkhoff (1884-1944) propuso una teora de acuerdo con la cual, para
que el resultado de un trabajo de arte fuese interesante, no debera ser demasiado regular ni predecible, ni
tampoco exhibir demasiadas sorpresas. Trasladada esta teora al campo de las matemticas, podra ser
interpretada diciendo que el espectro de potencia no debera ser muy browniano (proporcional a f-2) ni
semejante a un ruido blanco ( proporcional a f0).
En un proceso de ruido blanco, cada valor del proceso es independiente de su pasado (es una completa
sorpresa). En contraste, en la msica browniana, slo los incrementos son independientes del pasado, dando
lugar a una composicin ms aburrida.
Aparentemente, lo que la mayor parte de los intrpretes prefieren, es una msica en la que la sucesin de notas
no es ni predecible ni demasiado sorprendente. En otras palabras, su espectro deber variar como f , con 2< <0.
AUTOSEMEJANZA
42
Geometra Fractal
10/03/2010
Puesto que el espectro de potencia de cualquier ruido que obedece a una ley f es autosemejante, la curva
subyacente tambin lo ser. De hecho, si el eje de frecuencias del espectro se multiplica por un factor r, el eje
de tiempos de la correspondiente curva resulta escalado en la proporcin 1/r. Por supuesto, en el caso del
ruido, la autosemejanza es slo estadstica.
En estas condiciones, una composicin musical puede ser resumida, obteniendo un abstract como en una
composicin literaria o un artculo cientfico? En otras palabras, podemos establecer un algoritmo de
reduccin, que genere composiciones cuya duracin sea 1/2, 1/4, de la original sin perder sus rasgos
identificativos?
La teora del comportamiento 1/f del espectro de potencia, responde afirmativamente. Y, en la prctica, si
efectuamos reducciones sucesivas de una composicin de Bach (hasta un lmite, que siempre marca la Fsica),
el resultado an suena como Bach.
LEYES DE ESCALA DE LOS SONIDOS QUE EMITEN LOS PJAROS
Partiendo de grabaciones realizadas directamente en la Naturaleza, los sonidos a menudo se componen de una
o dos notas, o incluyen combinaciones de tonos que no son frecuentes en los ruidos rosa. Posiblemente, slo
combinando varios cnticos de diferentes especies se podra obtener algo parecido a un ruido fractal.
Sin embargo, el canto de los pjaros es muy rpido y con tonos muy altos. El sonido grabado, puede ser
editado rebajando su duracin 2, 4, 8, , 128 veces respecto de su duracin original, lo que equivale a rebajar
las octavas 1, 2, 3, , hasta 7 veces, respectivamente.
El tono de los pjaros va desde 2 a 6 kHz. Una reduccin de 4 octavas, rebaja este rango hasta 125 a 750 Hz,
que est dentro del rango de frecuencias correspondientes a la voz humana. Al mismo tiempo, la velocidad de
50 a 150 modulaciones de tono por segundo, se reduce al rango 3 a 10, que se encuentra dentro del rango de
lo que puede ser interpretado por un pianista.
Haciendo uso de esta tcnica, melodas indistinguibles pueden ser transformadas en secuencias en cierta
forma anlogas a un sonido folk. La estructura meldica del resultado, guarda una semejanza considerable con
la msica generada por seres humanos.
AUTOAFINIDAD
Las reducciones de la msica de Bach an suenan como Bach. Las reducciones de los cantos de pjaros, han
cambiado las secuencias originales en estructuras melodiosas. La transformacin no conduce, como antes, a la
autosemejanza, sino a la autoafinidad: los factores de escala para coordenadas diferentes no son los mismos.
43
Geometra Fractal
10/03/2010
Los pjaros cantan con diferentes tonos y diferentes velocidades de modulacin probablemente a causa de que
su vida es considerablemente ms corta que la nuestra. Mientras nuestro sistema neurofisiolgico est
sintonizado para tonos de cientos de hertzios, la sensibilidad de los pjaros est en el rango de los kilohertzios.
Si los pjaros hubiesen adoptado una escala de tiempo diferente para su vida musical Hay algo de absoluto en
la escala que corresponde al homo sapiens, una de entre millones de especies del mundo orgnico?
No es sta la esencia de la geometra fractal del tiempo?
Fractal
Geometry
of
J.
Music:
from
Bird
Songs
to
Hs
Bach
Kennet
En "Applications of Fractals and Chaos" de Crilly, Earnshaw, Jones (Eds.), Springer-Verlag, 1993.
SISTEMAS CRTICAMENTE AUTOORGANIZADOS

Consideremos una coleccin de electrones, o una pila de granos de arena, o un balde de agua, o una malla de
muelles elsticos, o un ecosistema, o el colectivo de los almacenistas-distribuidores. Cada uno de estos
sistemas, est constituido por muchos componentes que intercambian entre s fuerzas o informacin.
Adems de estas interacciones internas, el sistema puede estar afectado por alguna fuerza externa: un campo
elctrico o magntico, el campo gravitatorio, cambios en el medio ambiente, etc. El sistema evolucionar ahora
bajo la influencia de las fuerzas externas y de las interacciones internas.
La cuestin que se plantea es si exista algn mecanismo simplificador que produce un comportamiento tpico,
compartido por amplias clases de sistemas, o, por el contrario, el comportamiento del sistema depender
siempre de forma esencial de los detalles especficos de cada sistema.
La publicacin de Per Bak, Chao Tang y Kurt Wiesenfeld Self-organized critically: An explanation of 1/f
noise, Phys. Rew. Lett. 59, 381-384, 1987, contena la hiptesis de que los sistemas que consisten en un
colectivo de muchos constituyentes que interactan entre s, pueden exhibir algn comportamiento general
caracterstico.
Aunque la respuesta dinmica del sistema es compleja, en el sentido de que no existe un tamao de
acontecimiento ni una escala caractersticos, el aspecto simplificador es que las propiedades estadsticas se
describen mediante leyes de potencia simples, cuyos exponentes pueden ser semejantes para sistemas que
presentan una apariencia muy diferente.
44
Geometra Fractal
10/03/2010
Muchos fenmenos en la Ciencia y en la Naturaleza permiten un modelo compatible con esta teora. Los
primeros ejemplos han sido pilas de arena, terremotos e incendios en el bosque. ltimamente la idea ha sido
extendida a la Economa y a las teoras sobre evolucin biolgica.
SANDPILE
Los principios de la auto-organizacin crtica se ilustran haciendo uso de un autmata celular bidimensional.
Consideremos una caja cuadrada dividida en n2 cajas de lado L/n. El fenmeno que queremos estudiar se
refiere a la evolucin del sistema que resulta cuando aadimos granos de arena a cada caja, de acuerdo con un
algoritmo establecido.
Al aadir arena en una caja determinada, la pendiente de la correspondiente pila se ve incrementando, hasta
llegar a un valor crtico. En tal caso, la pila se derrumba y transmite arena a las cajas vecinas, que, a su vez,
pueden alcanzar una pendiente crtica por esta razn o por la adicin de arena desde el exterior.
El derrumbamiento de la pila correspondiente a una caja, libera la tensin acumulada en el pasado, pudiendo
de nuevo admitir nuevas aportaciones de arena (tensin), hasta, eventualmente, alcanzar un nuevo estado
crtico.
El modelo recibe partculas y las pierde por el contorno lateral de la caja madre.
El algoritmo con el que intentamos describir el modelo es como sigue:
1.- Se aade una partcula al azar a una de las cajas;
2.- Cuando una caja tiene cuatro partculas, se vuelve inestable, y las cuatros partculas son transmitidas a las
cajas vecinas, quedando vaca la caja considerada.
3.- Si despus de la redistribucin de partculas desde una caja a sus vecinas cualquier caja adyacente tiene 4
o ms partculas, se convierte en inestable, lo que puede provocar una o ms redistribuciones adicionales. En
cajas grandes, son posibles mltiples acontecimientos de esta clase.
4.- Si no existe caja adyacente, la partcula se pierde por el contorno. En promedio, el nmero de partculas
aadidas y perdidas es el mismo.
Un acontecimiento mltiple, puede alcanzar proporciones considerables, abarcando una fraccin de cajas
importante.
45
Geometra Fractal
10/03/2010
El comportamiento del sistema est caracterizado por la distribucin estadstica frecuencia-tamao de los
acontecimientos. El tamao de un acontecimiento mltiple puede ser caracterizado de diversas formas. Una de
ellas consiste en evaluar el nmero de cajas afectadas por inestabilidad en un acontecimiento mltiple.
En las primeras etapas de adicin de partculas, no hay redistribuciones ni prdidas por el contorno.
Eventualmente, el sistema alcanza un estado de casi-equilibrio, en el que la distribucin frecuencia-tamao es
fractal. Este es el estado que corresponde a la auto-organizacin crtica.
MODELO MATEMTICO
Designamos con (x,y) a una caja genrica y con z(x,y) a la tensin (partculas) que corresponde a la caja (x,y)
en un instante dado. Si la variable z excede un valor crtico zc, entonces se produce una actualizacin
sincronizada como sigue:
Los clusters de las localizaciones alcanzadas por el efecto domin siguen una ley de potencias:
donde
1 para tamaos de cluster s que van desde cajas de 500x500 hasta 50x50.
Los tiempos de duracin (life-time) de las avalanchas, con independencia del tamao de las mismas, sigue
tambin una ley potencial de la forma
46
Geometra Fractal
con valores de
10/03/2010
0.43.
TERREMOTOS
El comportamiento del modelo de autmata celular descrito, posee semejanzas notables con la seismicidad
asociada con una zona tectnica activa. La adicin de partculas a la malla, es un modelo para la adicin de
tensin debida al desplazamiento relativo entre las dos superficies de las placas continentales (considrese, por
ejemplo, la falla de San Andrs).
Los acontecimientos mltiples en los que las partculas son transferidas y/o perdidas son anlogos a los
terremotos en los cuales parte de la tensin acumulada es transferida y otra perdida. Existe una gran
semejanza entre las estadsticas frecuencia-magnitud de acontecimientos mltiples y las estadsticas de
Gutenberg-Richter para terremotos.
La ley de potencia de Gutenberg-Richter para la distribucin de la energa liberada por un terremoto tiene la
forma
N(energa liberada>E)=cte.E-c
y, puesto que la magnitud M es el logaritmo de la energa liberada
log(nmero(magnitud>M))=cte.-cM
DITHERING DE IMGENES CON LA CURVA DE HILBERT

Como ya hemos adelantado, esta curva es una de las situaciones geomtricas patolgicas previas a 1975
(concretamente de 1890), pero veremos que existen aplicaciones tcnicas de esta curva en proceso digital de
imgenes.
Cuando queremos volcar una imagen con niveles de gris en una impresora laser de las primeras generaciones,
es necesario construir un modelo binario aproximado, ya que estas impresoras solo entienden, para cada uno
de los (posiblemente) 300 ppp, un cdigo: 0 o 1 (tinta/no tinta). Para resolver este problema se utilizan tcnicas
de dithering o dithering.
47
Geometra Fractal
10/03/2010
Las tcnicas de dithering tienen por objeto simular que se dispone de una paleta de colores muy extensa,
cuando, en realidad, solo se dispone de unos pocos colores. Tambin, simular que se dispone de muchos
niveles de gris para describir una imagen, cuando solo est disponible una descripcin binaria.
Imagen de Lena original en 256 niveles de gris (izquierda), con dithering para imitar 256 niveles a partir
de un conjunto menor (centro) y con dithering basado solo en dos tonos (derecha).
Habitualmente, se efecta un barrido de la imagen por lneas o bloques de pxeles, produciendo la
aproximacin binaria con el objetivo de minimizar el error global. Normalmente, aparecen pequeos defectos en
la imagen as calculada, que hacen obvio el proceso de dithering que se ha usado.
Comparacin del dithering tradicional (izquierda) y el dithering con curva de Hilbert (derecha)
ALGORITMO DE DITHERING
Para eliminar los defectos antes citados, imaginemos una curva de Hilbert que pasa a travs de todos los
pxeles de la imagen con niveles de gris. Una secuencia determinada de pxeles sobre la curva se transforma
48
Geometra Fractal
10/03/2010
en 0 o 1. La ventaja de este mtodo de barrido es la ausencia de tendencias direccionales, presentes en otros

procedimientos.
49

Objetos Fractales (Autosemejanza)

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Objetos Fractales (Autosemejanza)

Caricato da

Copyright:

Formati disponibili

Geometra Fractal

1.- Objetos fractales. Autosemejanza

1.- Objetos fractales. Autosemejanza

1.- Objetos fractales. Autosemejanza

1.- Objetos fractales. Autosemejanza

Un fractal es, por definicin, un conjunto cuya dimensin de Hausdorff-Besicovitch es estrictamente

1.- Objetos fractales. Autosemejanza

1.- Objetos fractales. Autosemejanza

Hermann Weyl ilustra el concepto de dimensin en los trminos siguientes:

1.- Objetos fractales. Autosemejanza

Un recubrimiento abierto de S es cualquier coleccin de conjuntos abiertos

cuya reunin contiene al

incluido en algn abierto A .

de S , proporciona un recubrimiento ms detallado de S que

es un recubrimiento abierto de orden k del conjunto S , si, cualquiera que sea

x S , x pertenece a un mximo de k abiertos del recubrimiento .

tiene dimensin de recubrimiento (dimensin topolgica) n , si cualquier

de S admite un refinamiento abierto de orden n 1 , pero no de orden n .

1.- Objetos fractales. Autosemejanza

1.- Objetos fractales. Autosemejanza

ORIGEN DE LOS FRACTALES CLSICOS

El lmite de esta sucesin

1.- Objetos fractales. Autosemejanza

Por qu la reproduccin en la pantalla de la iteracin 6 exhibe una baja calidad? Porque no es

1.- Objetos fractales. Autosemejanza

1.- Objetos fractales. Autosemejanza

(4).- El conjunto C tiene dimensin topolgica 0.

(5).- El conjunto C no contiene intervalos de longitud positiva ni puntos aislados.

1.- Objetos fractales. Autosemejanza

(3).- F posee alguna clase de autosemejanza, posiblemente estadstica;

[0,1/9] [4/9,5/9] [8/9,1]. Se obtiene as el atractor del sistema

1.- Objetos fractales. Autosemejanza

1.- Objetos fractales. Autosemejanza

PRODUCTO CARTESIANO DE CONJUNTOS DE CANTOR

1.- Objetos fractales. Autosemejanza

LA APLICACIN DE LA TIENDA DE CAMPAA Y EL CONJUNTO DE CANTOR

1.- Objetos fractales. Autosemejanza

prisioneros1.m (1era generacin)

1.- Objetos fractales. Autosemejanza

(4).- El algoritmo prosigue indefinidamente.

1.- Objetos fractales. Autosemejanza

1.- Objetos fractales. Autosemejanza

, que es la frecuencia del sistema en ausencia de

tiene un curioso comportamiento:

conjunto numerable de mesetas para valores racionales de

: son mesetas de acoplamiento o de resonancia.

para los que aparece el fenmeno de acoplamiento, llenan el intervalo [0,1],

quedando como puntos residuales de

es una funcin continua de

, que no corresponden a resonancia, un conjunto de Cantor. La grfica

es una escalera del diablo.

1.- Objetos fractales. Autosemejanza

weierstrass.m (a=0.5 y b=2)

1.- Objetos fractales. Autosemejanza

(x)=dist(x,Z) que mide la distancia entre el argumento x

y el nmero entero ms prximo a x.

(x)=dist(x,Z) tiene la forma siguiente:

1.- Objetos fractales. Autosemejanza

de los puntos medios de 2

/16. La etapa k requiere el desplazamiento

1.- Objetos fractales. Autosemejanza

Sobre el conjunto [0,1] definimos las aplicaciones contractivas

ALGORITMO PARA LA CONSTRUCCIN DE LA CURVA DE PEANO