Los conjuntos de Julia[editar]

En negro, imagen del Conjunto de Mandelbrot superpuesto con los conjuntos de Julia rellenos
representados por algunos de sus puntos (en rojo los conjuntos de Julia conexos y en azul los no
conexos).

Estos conjuntos, fruto de los trabajos de Pierre Fatou y Gaston Julia en los aos 1920, surgen

como resultado de la aplicacin reiterada de funciones holomorfas .

Analicemos el caso particular de funciones polinmicas de grado mayor que uno. Al aplicar

sucesivas veces una funcin polinmica es muy posible que el resultado tienda a . Al

conjunto de valores de que no escapan al infinito mediante esta operacin se le

denomina conjunto de Julia relleno, y a su frontera, simplemente conjunto de Julia.
Estos conjuntos se representan mediante un algoritmo de tiempo de escape, en que
cada pixel se colorea segn el nmero de iteraciones necesarias para escapar. Suele usarse
un color especial, a menudo el negro, para representar los puntos que no han escapado tras
un nmero grande y prefijado de iteraciones.

Ejemplos de conjuntos de Julia para

En negro, conjunto de Julia relleno asociado a f c, c=-1, donde es el nmero ureo



Conjunto de Julia relleno asociado a fc, c=(2)+(1)i =-0.382+0.618i

Conjunto de Julia relleno asociado a fc, c=-0.835-0.2321i

Familias de fractales: el conjunto de Mandelbrot[editar]

La familia de conjuntos de Julia , asociadas a la reiteracin de funciones de la

forma presenta conjuntos de una variedad sorprendente.

Dicha familia tendr especial relevancia al quedar parametrizada en un mapa de fractales,
popularizado en los aos 1980, llamado conjunto de Mandelbrot. Este conjunto M representa

un mapa en que cada pixel, correspondiente a un valor del parmetro , se colorea de

modo que refleje una propiedad bsica del conjunto de Julia asociado a . En

concreto, si el conjunto de Julia asociado a es conexo.

Iterando funciones de forma alternativa se generan los fractales oscilantes.

El mtodo de Mandelbrot: diferentes fractales iterando

potencias de Z[editar]
A continuacin se muestra una serie de fractales de las diferentes potencias de Z = Zm + C ,
segn el mtodo de Mandelbrot. Todos los puntos del plano complejo C=(Cx,iCy) son iterados
por adicin a la funcin correspondiente. Todas las iteraciones parten de los puntos x=0 iy=0.
Cuando la iteracin converge se colorea de amarillo plido. La divergencia a infinito es
coloreada mediante un patrn cromtico desde el negro al azul. El fractal derivado de la
funcin Z = Z2 + C se denomina conjunto de Mandelbrot.
Ejemplos de fractales del tipo Mandelbrot Z = Zm + C


Z = Z2 + C

Conjunto de Mandelbrot

Z = Z3 + C

Z = Z4 + C

Z = Z5 + C

Z = Z6 + C


Z = Z7 + C

Z = Z8 + C

Z = Z9 + C

Z = Z10 + C

Z = Z11 + C


Z = Z12 + C

Z = Z20 + C
Ejemplos de fractales del tipo Mandelbrot Z = Zm + 1/C

Z=Z2 + 1/C

Z=Z3 + 1/C

Z=Z4 + 1/C


Z=Z5 + 1/C

Z=Z6 + 1/C

Z=Z7 + 1/C
Ms fractales segn el mtodo de Mandelbrot.

Z = Z2+C6 - 1
Zo = (0,0i)

Z = Cos(Z)+ 1/C
Zo = (0,0i)


Z = Exp[(Z2+Z)/Sqr(C3)]
Zo = (1,1i)

Z = Exp[(Z2-1.00001*Z)/Sqr(C3)]
Zo = (0,0i)

Z = Exp[(Z2- 1.00001*Z)/C3]
Zo = (0,0i)

Z = Sin(Z*C2)
Zo = (1,0i)

Z = Cos(Z/C)
Zo = (0,0i)


Z = Cos(Z*C^3)
Zo = (0,0i)

Z = Exp(Z^3/C^3)
Zo = (0,0i)

Z = Exp(C^3/Z^3)
Zo = (0,0i)

Z = Exp(Z/C^4)
Zo = (0,0i)

 Z=Z2 + C2 / (Z2+C) + C
Zo = (0,0i)

Z=Z2 + C2 / (C4 + 0.1)

Zo = (0,0i)

Z=Z2 + C2 / (C4 - 0.25)

Zo = (0,0i)

Z = SinH(Z / C )
Zo = (0,1i)

Z = SinH(Z) + 1/C
Zo = (0.90, -0.05i)


Z = SinH(Z) + 1/C2
Zo = (1, 0.1i)

Z = Exp[Z2 / ( C5 + C )]
Zo = (0,0i)
El mtodo de Julia: diferentes fractales iterando potencias de
Z[editar]
A continuacin se muestra una serie de fractales de las diferentes potencias de Z = Zm + C,
segn el mtodo de Julia, por el matemtico francs Gaston Julia.
Todos los puntos del plano complejo Z=(x,iy) son iterados en la funcin correspondiente. A
todas las iteraciones se le aade una constante arbitraria (Cx,iCy) de tal modo que la eleccin
de la constante "semilla" determina de forma unvoca la forma y el color del fractal, una vez ha
sido definido el patrn cromtico. En los ejemplos mostrados a continuacin se ha elegido una
constante tal que solo produce divergencia, y se ha coloreado con el algoritmo de la velocidad
de escape.
Ejemplos de fractales del tipo Julia Z = Zm + C

Z = Z2 + C

Cx=0.279 Cy=0.000

 Z = Z3 + C

Cx=0.400 Cy=0.000

Z = Z4 + C

Cx=0.484 Cy=0.000

Z = Z5 + C

Cx=0.544 Cy=0.000

Z = Z6 + C

Cx=0.590 Cy=0.000

Z = Z7 + C

Cx=0.626 Cy=0.000
Ejemplos de fractales de tipo Julia, de la funcin exponencial: Z = Zm + C

Z = Exp(Z) + C
Cx= -0.65 Cy=0.00

Z = Exp(Z3) + C
Cx= -0.59 Cy=0.00

Z = Exp(Z3) + C
Cx= -0.621 Cy=0.00
Zoom x9

Z = Z * Exp(Z) + C
Cx= 0.04 Cy=0.00


Z = Z2 * Exp(Z) + C
Cx= 0.21 Cy=0.00

Z = Z3 * Exp(Z) + C
Cx= 0.33 Cy=0.00

Z = Z4 * Exp(Z) + C
Cx= 0.41 Cy=0.00
Ejemplos de fractales del tipo Julia de funciones complejas.

Z = Sqr[SinH(Z2)] + C
Cx= 0.065 Cy=0.122

 Z = [(Z2+Z) / LN(Z)] + C
Cx= 0.268 Cy=0.060
El mtodo de Newton[editar]
El mtodo de Newton intenta encontrar por iteracin las races de la funcin F(Z)-1 = 0.
Se itera la funcin F(Z) con cada punto del plano complejo (x + iy), siendo Z=(x1 + iy1) hasta
la convergencia de x1 i y1, segn la siguiente frmula: Zn+1 = Zn - F(Zn) / F(Zn), en
donde F(Z) es la derivada. Se ha coloreado con el algoritmo de la velocidad de convergencia,
conceptualmente idntico al de la velocidad de escape, y presenta similitudes con el mtodo
de Julia.
Ejemplos de fractales de tipo Newton, de algunas funciones de variable compleja:

Z4-1 = 0
Zn+1 = [(3 * Zn4 + 1) / (4 * Zn3)]

Z6 + Z3 - 1 = 0

SIN(Z)- 1 = 0

COSH(Z)- 1 = 0
Caractersticas de un fractal[editar]
Autosimilitud[editar]
Segn B. Mandelbrot, un objeto es autosimilar o autosemejante si sus partes tienen la
misma forma o estructura que el todo, aunque pueden presentarse a diferente escala y
pueden estar ligeramente deformadas.5
Los fractales pueden presentar tres tipos de autosimilitud:

Autosimilitud exacta. este es el tipo ms restrictivo de autosimilitud: exige que el fractal

parezca idntico a diferentes escalas. A menudo la encontramos en fractales definidos
por sistemas de funciones iteradas (IFS).

Cuasiautosimilitud en el conjunto de Mandelbrot: al variar la escala obtenemos copias del conjunto con
pequeas diferencias.

Cuasiautosimilitud: exige que el fractal parezca aproximadamente idntico a diferentes

escalas. Los fractales de este tipo contienen copias menores y distorsionadas de s
mismos. Matemticamente D. Sullivan defini el concepto de conjunto cuasiauto-similar a
partir del concepto de cuasi-isometra. Los fractales definidos por relaciones de
recurrencia son normalmente de este tipo.
Autosimilitud estadstica. Es el tipo ms dbil de autosimilitud: se exige que el fractal
tenga medidas numricas o estadsticas que se preserven con el cambio de escala. Los
fractales aleatorios son ejemplos de fractales de este tipo.
Dimensin fractal y dimensin de Hausdorff-Besicovitch[editar]
Entre los fractales podemos encontrar ejemplos como curvas que llenan todo el plano. En ese
caso, la dimensin topolgica de la curva, que es uno, no nos informa sobre la forma en que
esta ocupa el espacio ambiente. De modo general, podramos preguntarnos cmo
densamente un conjunto ocupa el espacio mtrico que lo contiene. Los nmeros que nos
informan objetivamente de este tipo de cuestiones son:

La dimensin fractal. Las frmulas que la definen tienen que ver con el recuento de las
bolas necesarias para recubrir el conjunto o con el de cajas de una cuadrcula que
contienen parte del conjunto, cuando las dimensiones de unas y otras tienden a cero.
Podemos medir la dimensin fractal de objetos reales: lneas de la costa (1.2), nubes,
rboles, etc, Con estas medidas podemos comparar objetos del mundo real con fractales
generados por algoritmos matemticos.

La dimensin de Hausdorff-Besicovitch. Tiene una definicin ms compleja que la de

dimensin fractal. Su definicin no suele usarse para comparar conjuntos del mundo real.
Autosimilitud estadstica de un fractal generado por el proceso de agregacin limitada por difusin.

Definicin por algoritmos recursivos[editar]

Podemos destacar tres tcnicas comunes para generar fractales:

Sistemas de funciones iteradas (IFS). Unos conjuntos se reemplazan recursivamente

por su imagen bajo un sistema de aplicaciones: el conjunto de Cantor, la alfombra de
Sierpinski, el tringulo de Sierpinski, la curva de Peano, la curva del dragn, el copo de
nieve de Koch o la Esponja de Menger, son algunos ejemplos.
Fractales de algoritmos de Escape, definidos por una relacin de recurrencia en cada
punto del espacio (por ejemplo, el plano complejo): el conjunto de Mandelbrot, conjunto de
Julia, y el fractal de Lyapunov.
Fractales aleatorios, generados por procesos estocsticos, no deterministas:
el movimiento browniano,el vuelo de Lvy, los paisajes fractales o los rboles brownianos.
Estos ltimos son producidos por procesos de agregacin por difusin limitada..

Aspectos matemticos[editar]
Intentos de definicin rigurosa[editar]
El concepto de fractal no dispone en el ao 2008 de una definicin matemtica precisa y de
aceptacin general. Intentos parciales de dar una definicin fueron realizados por:

B. Mandelbrot, que en 1982 defini fractal como un conjunto cuya dimensin de

Hausdorff-Besicovitch es estrictamente mayor que su dimensin topolgica. l mismo
reconoci que su definicin no era lo suficientemente general.
D. Sullivan, que defini matemticamente una de las categoras de fractales con su
definicin de conjunto cuasiautosimilar que haca uso del concepto de cuasi-isometra.
Dimensin fractal[editar]
Artculo principal: Dimensin fractal

Puede definirse en trminos del mnimo nmero de bolas de radio necesarias para
recubrir el conjunto, como el lmite:
O en funcin del recuento del nmero de cajas de una cuadrcula de

anchura que intersecan al conjunto:

Se demuestra que ambas definiciones son equivalentes, y que son invariantes bajo
isometras.6

Dimensin de Hausdorff-Besicovitch[editar]
De una definicin ms compleja, la dimensin de Hausdorff-Besicovitch nos

proporciona un nmero , tambin invariante bajo isometras, cuya relacin con la

dimensin fractal es la siguiente:

Esto permite distinguir en algunos casos entre conjuntos con la misma dimensin
fractal.

Dimensin de fractales producidos por un IFS[editar]

Un sistema iterativo de funciones (IFS) es un conjunto de funciones

contractivas definidas sobre un subconjunto de . Cuando no hay

solapamiento entre las imgenes de cada funcin, se demuestra que y que

ambas pueden calcularse como solucin de la ecuacin:

donde ci designa el factor de contraccin de cada aplicacin contractiva del IFS.

Aplicaciones[editar]
Se han utilizado tcnicas de fractales en la compresin de datos y en diversas
disciplinas cientficas.

Compresin de imgenes[editar]
Comprimir la imagen de un objeto autosemejante como el helecho de la figura no
es difcil: haciendo uso del teorema del collage, debemos encontrar un IFS,
conjunto de transformaciones que lleva la figura completa (en negro) en cada una
de sus partes autosemejantes (rojo, azul celeste y azul marino). La informacin
sobre la imagen quedar codificada en el IFS, y la aplicacin reiterada de dichas
transformaciones permite obtener la imagen procesada en cuestin.
Pero el enfoque anterior plantea problemas con muchas imgenes reales: no
esperamos, por ejemplo, que la imagen de un gato presente pequeos gatitos
distorsionados sobre s mismo. Para solventarlo, en 1989 Arnaud Jacquin cre el
esquema de sistemas de funciones iteradas particionadas: en l se subdivide la
imagen mediante una particin y para cada regin resultante se busca otra regin
similar a la primera bajo las transformaciones apropiadas.7
El esquema resultante es un sistema de compresin con prdidas, de tiempo
asimtrico. Lamentablemente an se tarda mucho en encontrar las
transformaciones que definen la imagen. No obstante, una vez encontradas, la
descodificacin es muy rpida. La compresin, aunque dependa de muchos
factores, suele ser equiparable a la compresin JPEG, con lo cual el factor tiempo
resulta determinante para decantarse por uno u otro sistema.

Modelado de formas naturales[editar]

Fraccin de un fractal Mandelbrot.

Las formas fractales, las formas en la que las partes se asemejan al todo, estn
presentes en la materia biolgica, junto con las simetras (las formas bsicas que
solo necesitan la mitad de informacin gentica) y las espirales (las formas de
crecimiento y desarrollo de la forma bsica hacia la ocupacin de un mayor
espacio), como las formas ms sofisticadas en el desarrollo evolutivo de la
materia biolgica en cuanto que se presentan en procesos en los que se
producen saltos cualitativos en las formas biolgicas, es decir posibilitan
catstrofes (hechos extraordinarios) que dan lugar a nuevas realidades ms
complejas, como las hojas que presentan una morfologa similar a la pequea
rama de la que forman parte que, a su vez, presentan una forma similar a la rama,
que a su vez es similar a la forma del rbol, y sin embargo cualitativamente no es
lo mismo una hoja (forma biolgica simple), que una rama o un rbol (forma
biolgica compleja).

Sistemas dinmicos[editar]

Un atractor extrao: el atractor de Lorenz.

Pero adems las formas fractales no solo se presentan en las formas espaciales
de los objetos sino que se observan en la propia dinmica evolutiva de los
sistemas complejos (ver teora del caos). Dinmica que consta de ciclos (en los
que partiendo de una realidad establecida simple acaban en la creacin de una
nueva realidad ms compleja) que a su vez forman parte de ciclos ms complejos
los cuales forman parte del desarrollo de la dinmica de otro gran ciclo. Las
evoluciones dinmicas de todos estos ciclos presentan las similitudes propias de
los sistemas caticos.

En manifestaciones artsticas[editar]

Imagen generada con el programa Apophysis.

La msica puede contener formas fractales. Algunas obras clsicas de

Beethoven, Bach y Mozart son ejemplos representativos segn revel un
estudio.[cita requerida] El mtodo que siguieron estos compositores, ya sea de manera
intencionada o no, para integrar fractales y matemticas era mediante una
analoga entre una dimensin fractal y el nmero y la disposicin de las diferentes
notas de una obra o pieza.[cita requerida]
Se usan tanto en la composicin armnica y rtmica de una meloda como en la
sntesis de sonidos. Esto se debe al uso de lo que en composicin se llaman
"micromodos", o pequeos grupos de tres notas, a partir de los cuales uno puede
trabajarlos de manera horizontal (meldica), o vertical (armnica). A su vez, el
ritmo puede ser trabajado en sucesiones temporales especficas, que son
determinadas por sucesiones de fractales.
Por otra parte, las litografas del artista holands Maurits Cornelis Escher (1898-
1972) desarrollaron con frecuencia estructuras matemticas complejas y
avanzadas.
Con programas informticos como Apophysis, Sterling o Ultra Fractal se pueden
hacer imgenes con tcnicas diversas; cambiando parmetros, geometra de
tringulos o con transformaciones aleatorias.