Fractal

Un fractal es un objeto geométrico cuya estructura básica, fragmentada o aparentemente irregular, se repite a diferentes escalas. El término fue propuesto por el matemático Benoît Mandelbrot en 1975 y deriva del latín fractus, que significa quebrado o fracturado. Muchas estructuras naturales son de tipo fractal. La propiedad matemática clave de un objeto genuinamente fractal es que su dimensión métrica fractal es un número no entero mayor que su dimensión topológica (que siempre es un entero).

Si bien el término "fractal" es reciente, los objetos hoy denominados fractales eran bien conocidos en matemáticas desde principios del . Las maneras más comunes de determinar lo que hoy denominamos dimensión fractal fueron establecidas a principios del  en el ámbito de la teoría de la medida.

Introducción 
La definición de fractal desarrollada en los años 1970 dio unidad a una serie de ejemplos, algunos de los cuales se remontaban a un siglo antes. A un objeto geométrico fractal se le atribuyen las siguientes características:
 Es demasiado irregular para ser descrito en términos geométricos tradicionales. 
 Es autosimilar, su forma es hecha de copias más pequeñas de la misma figura. 

Las copias son similares al todo: misma forma pero diferente tamaño. Ejemplos de autosimilitud:
 Fractales naturales son objetos naturales que se pueden representar con muy buena aproximación mediante fractales matemáticos con autosimilitud estadística. Los fractales encontrados en la naturaleza se diferencian de los fractales matemáticos en que los naturales son aproximados o estadísticos y su autosimilitud se extiende solo a un rango de escalas (por ejemplo, a escala cercana a la atómica su estructura difiere de la estructura macroscópica). 
 Conjunto de Mandelbrot es un fractal autosimilar, generado por el conjunto de puntos estables de órbita acotada bajo cierta transformación iterativa no lineal.
 Paisajes fractales, este tipo de fractales generados computacionalmente pueden producir paisajes realistas convincentes.
 Fractales de pinturas, se utilizan para realizar el proceso de decalcomanía.
 Su dimensión de Hausdorff-Besicovitch es estrictamente mayor que su dimensión topológica.
 Se define mediante un simple algoritmo recursivo.

No basta con una sola de estas características para definir un fractal. Por ejemplo, la recta real no se considera un fractal, pues a pesar de ser un objeto autosimilar carece del resto de características exigidas.

Un fractal natural es un elemento de la naturaleza que puede ser descrito mediante la geometría fractal. Las nubes, las montañas, el sistema circulatorio, las líneas costeras o los copos de nieve son fractales naturales. Esta representación es aproximada, pues las propiedades atribuidas a los objetos fractales ideales, como el detalle infinito, tienen límites en el mundo natural.

Los ejemplos clásicos 
Para encontrar los primeros ejemplos de fractales debemos remontarnos a finales del : en 1872 apareció la función de Weierstrass, cuyo grafo hoy en día consideraríamos fractal, como ejemplo de función continua pero no diferenciable en ningún punto. 

Posteriormente aparecieron ejemplos con propiedades similares pero una definición más geométrica. Dichos ejemplos podían construirse partiendo de una figura inicial (semilla), a la que se aplicaban una serie de construcciones geométricas sencillas. La serie de figuras obtenidas se aproximaba a una figura límite que correspondía a lo que hoy llamamos conjunto fractal. Así, en 1904, Helge von Koch definió una curva con propiedades similares a la de Weierstrass: el copo de nieve de Koch. En 1915, Waclaw Sierpinski construyó su triángulo y, un año después, su alfombra. 

Estos conjuntos mostraban las limitaciones del análisis clásico, pero eran vistos como objetos artificiales, una "galería de monstruos", como los denominó Henri Poincaré. Pocos matemáticos vieron la necesidad de estudiar estos objetos en sí mismos. 

En 1919 surge una herramienta básica en la descripción y medida de estos conjuntos: la dimensión de Hausdorff-Besicovitch.

Los conjuntos de Julia 

Estos conjuntos, fruto de los trabajos de Pierre Fatou y Gaston Julia en los años 1920, surgen como resultado de la aplicación reiterada de funciones holomorfas .

Analicemos el caso particular de funciones polinómicas de grado mayor que uno. Al aplicar sucesivas veces una función polinómica es muy posible que el resultado tienda a . Al conjunto de valores de  que no escapan al infinito mediante esta operación 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 según el número de iteraciones necesarias para escapar. Suele usarse un color especial, a menudo el negro, para representar los puntos que no han escapado tras un número grande y prefijado de iteraciones.

Ejemplos de conjuntos de Julia para

Familias de fractales: el conjunto de Mandelbrot 
La familia de conjuntos de Julia , asociadas a la reiteración 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 años 1980, llamado conjunto de Mandelbrot. Este conjunto M representa un mapa en que cada pixel, correspondiente a un valor del parámetro , se colorea de modo que refleje una propiedad básica 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 método de Mandelbrot: diferentes fractales iterando potencias de Z 
A continuación se muestra una serie de fractales de las diferentes potencias de Z = Zm + C , según el método de Mandelbrot. 
Todos los puntos del plano complejo C=(Cx,iCy) son iterados por adición a la función correspondiente. Todas las iteraciones parten de los puntos x=0 iy=0.
Cuando la iteración converge se colorea de amarillo pálido. La divergencia a infinito es coloreada mediante un patrón cromático desde el negro al azul. El fractal derivado de la función Z = Z2 + C  se denomina conjunto de Mandelbrot. 

Ejemplos de fractales del tipo Mandelbrot Z = Zm + C  

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

Aquí cuando la iteración converge se ha coloreado de negro.

 Más fractales según el método de Mandelbrot.

El método de Julia: diferentes fractales iterando potencias de Z 
A continuación se muestra una serie de fractales de las diferentes potencias de Z = Zm + C, según el método de Julia, por el matemático francés Gaston Julia.

Todos los puntos del plano complejo Z=(x,iy) son iterados en la función correspondiente. A todas las iteraciones se le añade una constante arbitraria (Cx,iCy) de tal modo que la elección de la constante "semilla" determina de forma unívoca la forma y el color del fractal, una vez ha sido definido el patrón cromático. En los ejemplos mostrados a continuación 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

Ejemplos de fractales de tipo Julia, de la función exponencial: Z = Zm + C

Ejemplos de fractales del tipo Julia de funciones complejas.

El método de Newton 

El método de Newton intenta encontrar por iteración las raíces de la función F(Z)-1 = 0.

Se itera la función F(Z) con cada punto del plano complejo (x + iy), siendo Z=(x1 + iy1) hasta la convergencia de x1 i y1, según la siguiente fórmula: 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 idéntico al de la velocidad de escape, y presenta similitudes con el método de Julia.

Ejemplos de fractales de tipo Newton, de algunas funciones de variable compleja:

Características de un fractal

Autosimilitud 
Según 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.

Los fractales pueden presentar tres tipos de autosimilitud:
 Autosimilitud exacta
 Este es el tipo más restrictivo de autosimilitud: exige que el fractal parezca idéntico a diferentes escalas. A menudo la encontramos en fractales definidos por sistemas de funciones iteradas (IFS).
 Cuasiautosimilitud
 
 Exige que el fractal parezca aproximadamente idéntico a diferentes escalas. Los fractales de este tipo contienen copias menores y distorsionadas de sí mismos. Matemáticamente D. Sullivan definió el concepto de conjunto cuasiauto-similar a partir del concepto de cuasi-isometría. Los fractales definidos por relaciones de recurrencia son normalmente de este tipo.
 Autosimilitud estadística
 Es el tipo más débil de autosimilitud: se exige que el fractal tenga medidas numéricas o estadísticas que se preserven con el cambio de escala. Los fractales aleatorios son ejemplos de fractales de este tipo.

Dimensión fractal y dimensión de Hausdorff-Besicovitch 
Entre los fractales podemos encontrar ejemplos como curvas que llenan todo el plano. En ese caso, la dimensión topológica de la curva, que es uno, no nos informa sobre la forma en que esta ocupa el espacio ambiente. De modo general, podríamos preguntarnos cómo densamente un conjunto ocupa el espacio métrico que lo contiene. Los números que nos informan objetivamente de este tipo de cuestiones son:

 La dimensión fractal
  Las fórmulas que la definen tienen que ver con el recuento de las bolas necesarias para recubrir el conjunto o con el de cajas de una cuadrícula que contienen parte del conjunto, cuando las dimensiones de unas y otras tienden a cero. Podemos medir la dimensión fractal de objetos reales: líneas de la costa (1.2), nubes, árboles, etc, Con estas medidas podemos comparar objetos del mundo real con fractales generados por algoritmos matemáticos.  
 La dimensión de Hausdorff-Besicovitch
 
 Tiene una definición más compleja que la de dimensión fractal. Su definición no suele usarse para comparar conjuntos del mundo real.

Definición por algoritmos recursivos 
Podemos destacar tres técnicas 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 triángulo de Sierpinski, la curva de Peano, la curva del dragón, el copo de nieve de Koch o la Esponja de Menger, son algunos ejemplos.
 Fractales de algoritmos de Escape
 Definidos por una relación 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 estocásticos, no deterministas: el movimiento browniano,el vuelo de Lévy, los paisajes fractales o los árboles brownianos. Estos últimos son producidos por procesos de agregación por difusión limitada.

Aspectos matemáticos

Intentos de definición rigurosa 
El concepto de fractal no dispone en el año 2008 de una definición matemática precisa y de aceptación general. Intentos parciales de dar una definición fueron realizados por:
 B. Mandelbrot, que en 1982 definió fractal como un conjunto cuya dimensión de Hausdorff-Besicovitch es estrictamente mayor que su dimensión topológica. Él mismo reconoció que su definición no era lo suficientemente general.
 D. Sullivan, que definió matemáticamente una de las categorías de fractales con su definición de conjunto cuasiautosimilar que hacía uso del concepto de cuasi-isometría.

Dimensión fractal 
Puede definirse en términos del mínimo número  de bolas de radio  necesarias para recubrir el conjunto, como el límite:

O en función del recuento del número de cajas  de una cuadrícula de anchura  que intersecan al conjunto:

Se demuestra que ambas definiciones son equivalentes, y que son invariantes bajo isometrías.

Dimensión de Hausdorff-Besicovitch 
De una definición más compleja, la dimensión de Hausdorff-Besicovitch nos proporciona un número , también invariante bajo isometrías, cuya relación con la dimensión fractal  es la siguiente:
 

Esto permite distinguir en algunos casos entre conjuntos con la misma dimensión fractal.

Dimensión de fractales producidos por un IFS 
Un sistema iterativo de funciones (IFS) es un conjunto de funciones contractivas definidas sobre un subconjunto de . Cuando no hay solapamiento entre las imágenes de cada función, se demuestra que  y que ambas pueden calcularse como solución de la ecuación:

donde ci designa el factor de contracción de cada aplicación contractiva del IFS.

Aplicaciones 
Se han utilizado técnicas de fractales en la compresión de datos y en diversas disciplinas científicas.

Compresión de imágenes 

Comprimir la imagen de un objeto autosemejante como el helecho de la figura no es difícil: 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 información sobre la imagen quedará codificada en el IFS, y la aplicación reiterada de dichas transformaciones permite obtener la imagen procesada en cuestión. 

Pero el enfoque anterior plantea problemas con muchas imágenes reales: no esperamos, por ejemplo, que la imagen de un gato presente pequeños 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 partición y para cada región resultante se busca otra región similar a la primera bajo las transformaciones apropiadas.

El esquema resultante es un sistema de compresión con pérdidas, de tiempo asimétrico. Lamentablemente aún se tarda mucho en encontrar las transformaciones que definen la imagen. No obstante, una vez encontradas, la descodificación es muy rápida. La compresión, aunque dependa de muchos factores, suele ser equiparable a la compresión JPEG, con lo cual el factor tiempo resulta determinante para decantarse por uno u otro sistema.

Modelado de formas naturales 

Las formas fractales, las formas en la que las partes se asemejan al todo, están presentes en la materia biológica, junto con las simetrías (las formas básicas que solo necesitan la mitad de información genética) y las espirales (las formas de crecimiento y desarrollo de la forma básica hacia la ocupación de un mayor espacio), como las formas más sofisticadas en el desarrollo evolutivo de la materia biológica en cuanto que se presentan en procesos en los que se producen saltos cualitativos en las formas biológicas, es decir posibilitan catástrofes (hechos extraordinarios) que dan lugar a nuevas realidades más complejas, como las hojas que presentan una morfología similar a la pequeña 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 biológica simple), que una rama o un árbol (forma biológica compleja).

Entre los fenómenos naturales que presentan características de fractales espaciales o temporales, se incluyen:

Sistemas dinámicos 

Pero además las formas fractales no solo se presentan en las formas espaciales de los objetos sino que se observan en la propia dinámica evolutiva de los sistemas complejos (ver teoría del caos). Dinámica que consta de ciclos (en los que partiendo de una realidad establecida simple acaban en la creación de una nueva realidad más compleja) que a su vez forman parte de ciclos más complejos los cuales forman parte del desarrollo de la dinámica de otro gran ciclo. Las evoluciones dinámicas de todos estos ciclos presentan las similitudes propias de los sistemas caóticos.

En manifestaciones artísticas 

La música puede contener formas fractales. La música tradicionalmente ha contado con especial facilidad a la hora de asimilar su lenguaje con el de las matemáticas. Los procesos de disminución y aumentación son reflejo de las cualidades de autosemejanza y autorreferencia, pudiendo continuar su lógica constructiva ad infinitum. Algunas obras clásicas de Beethoven, Bach y Mozart son ejemplos representativos según reveló un estudio. El método que siguieron estos compositores, ya sea de manera intencionada o no, para integrar fractales y matemáticas era mediante una analogía entre una dimensión fractal y el número y la disposición de las diferentes notas de una obra o pieza.  

Se usan tanto en la composición armónica y rítmica de una melodía como en la síntesis de sonidos. Esto se debe al uso de lo que en composición se llaman "micromodos", o pequeños grupos de tres notas, a partir de los cuales uno puede trabajarlos de manera horizontal (melódica), o vertical (armónica). A su vez, el ritmo puede ser trabajado en sucesiones temporales específicas, que son determinadas por sucesiones de fractales.

Por otra parte, las litografías del artista neerlandés Maurits Cornelis Escher (1898-1972) desarrollaron con frecuencia estructuras matemáticas complejas y avanzadas.

Con programas informáticos como Apophysis, Sterling o Ultra Fractal se pueden generar imágenes con técnicas diversas; cambiando parámetros, geometría de triángulos o con transformaciones aleatorias.

Cuadro resumen

Véase también 
 Anexo:Fractales por dimensión de Hausdorff* Desarrollo de fractales mediante el método de Mandelbrot
 Caos y fractales
 ¿Cuánto mide la costa de Gran Bretaña?
 Grafo simétrico
 Dimensión
 Paisaje fractal
 Recursividad
 Sistema de funciones iteradas
 Sistema-L
 Cosmología fractal
 Relatividad de escala
 Teoría del caos

Referencias

Enlaces externos 
 Fractovía Información sobre fractales.

Arte fractal
 Galerías de arte fractal en el Open directory Project
 Música fractal en el Open Directory Project
 Colecciones de Arte Fractal
 FRACTALJMB BLOG muy interesante, dónde se muestran una gran variedad de fractales.
Tutoriales
 3 Sencillos métodos para hacer un fractal 
Libros con licencia CC
 Música fractal: el sonido del caos Introducción general sobre fractales y aplicación a la composición automática de música 
 Codificación fractal de imágenes Analiza la aplicación de técnicas fractales a la compresión con pérdidas de imágenes 
Software
 FFExplorer Explorador interactivo de fractales freeware, para Windows 
 Borlandia Applets en java que generan Fractales interactivos
 Apophysis  Programa de código abierto para la creación de fractales 
 IFS Illusions generador IFS freeware, para Windows
 FractInt generador fractal freeware, para DOS, Windows y existe un porte a Linux disponible 
 XaoS zoomer interactivo de fractales para linux.
 Incendia programa de diseño de fractales 3D donationware.
 WMANJUL v2 Fractal de Mandelbrot .
 FractNep  Explorador interactivo de fractales (Mandelbrot, Julia, Newton), freeware, para Windows.

Vídeos
 Vídeos de fractales en Commons
 Video Mandelbox(Ejemplo de 3D fractal)

 
Arte digital