Fractal

De Wikipedia, la enciclopedia libre
(Redirigido desde «Fractales»)
Saltar a: navegación, búsqueda
En la naturaleza también aparece la geometría fractal, como en esta romanescu.

Un fractal es un objeto geométrico cuya estructura básica, fragmentada o irregular, se repite a diferentes escalas.[1] 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.

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

Introducción[editar]

La definición de fractal en los años 1970, dio unidad a una serie de ejemplos, algunos de los cuales se remontaban a un siglo atrás. A un objeto geométrico fractal se le atribuyen las siguientes características:[2]

  • 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 autosimilaridad:

  • Fractales naturales, son objetos naturales que se pueden representar con muy buena aproximación mediante fractales matemáticos con autosimilaridad estadística. Los fractales encontrados en la naturaleza se diferencian de los fractales matemáticos porque los naturales son aproximados o estadísticos y su autosimilaridad se extiende sólo 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 decalcomania.

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[3] 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[editar]

Para encontrar los primeros ejemplos de fractales debemos remontarnos a finales del siglo XIX: 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.

sucesivos pasos de la construcción de la Curva de Koch

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 al 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.

Construcción de la alfombra de Sierpinski:
Menger 0.PNG Menger 1.PNG Menger 2.PNG Menger 3.PNG Menger 4.PNG
Paso 1 (semilla) Paso 2 Paso 3 Paso 4 Paso 5

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

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

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 años 1920, surgen como resultado de la aplicación reiterada de funciones holomorfas z \mapsto f(z) \mapsto f(f(z)) \mapsto \ldots.

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 \infty. Al conjunto de valores de z \in C 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 f_c(z)=z^2+c

Familias de fractales: el conjunto de Mandelbrot[editar]

La familia de conjuntos de Julia \{f_c\}, asociadas a la reiteración de funciones de la forma f_c(z)=z^2+c 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 c \in \mathbb{C}, se colorea de modo que refleje una propiedad básica del conjunto de Julia asociado a f_c. En concreto, c \in M si el conjunto de Julia asociado a f_c es conexo.

Iterando funciones de forma alternativa se generan los fractales oscilantes.

El método de Mandelbrot: diferentes fractales iterando potencias de Z[editar]

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

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

El método de Julia: diferentes fractales iterando potencias de Z[editar]

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[editar]

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:

Descomposición de funciones de variable compleja en su parte Real y su parte Imaginaria[editar]

F(Z) = Z^n

A continuación se detallan la diversas potencias de Z, en su parte Real y su parte Imaginaria, mediante la iteración de las mismas, usando el algoritmo de la velocidad de escape al infinito, se han construido los fractales mostrados en las secciones anteriores. Como puede observarse en los desarrollos de las diferentes fórmulas, aparecen los coeficientes del triángulo de Pascal.

 Z^2 = (x+iy)^2   \mathrm{Real} = x^2 - y^2    \mathrm{Imag} = 2  x  y  
 Z^3 = (x+iy)^3   \mathrm{Real} = x^3 - 3 y^2  x     \mathrm{Imag} = 3  x^2  y  - y^3 
 Z^4 = (x+iy)^4   \mathrm{Real} = x^4  - 6  x^2  y^2 + y^4     \mathrm{Imag} = 4x^3  y - 4  x  y^3  
 Z^5 = (x+iy)^5   \mathrm{Real} = x^5  - 10  x^3  y^2 + 5  x  y^4     \mathrm{Imag} = 5x^4  y - 10  x^2  y^3 + y^5  
 Z^6  = (x+iy)^6    \mathrm{Real} = x^6  - 15  x^4  y^2 +15  x^2  y^4 - y^6    \mathrm{Imag} = 6x^5  y - 20  x^3  y^3 + 6 x  y^5  
 Z^7   = (x+iy)^7   \mathrm{Real} = x^7  - 21  x^5  y^2 + 35  x^3  y^4 -  7  x  y^6    \mathrm{Imag} = 7x^6  y - 35  x^4  y^3 + 21 x^2  y^5 - y^7  

Otras funciones de Z.

 \exp(Z)   \mathrm{Real} =  \exp(x)   \cos(y)    \mathrm{Imag} = \exp(x)  \sin(y) 
\ln(Z)   \mathrm{Real} =  0.5   Ln(x^2 + y^2)    \mathrm{Imag} =  \arctan(y/x)
 \sin(Z)   \mathrm{Real} =  \sin(x)   ((\exp(y) + \exp(-y))/2)    \mathrm{Imag} = \cos(x)   ((\exp(y) - \exp(-y))/2) 
 \cos(Z)   \mathrm{Real} =  \cos(x)   ((\exp(y) + \exp(-y))/2)    \mathrm{Imag} = -\sin(x)   ((\exp(y) - \exp(-y))/2) 
 \sinh(Z)   \mathrm{Real} =  \cos(y)   ((\exp(x) - \exp(-x))/2)    \mathrm{Imag} = \sin(y)   ((\exp(x) + \exp(-x))/2) 
 \cosh(Z)   \mathrm{Real} =  \cos(y)   ((\exp(x) + \exp(-x))/2)    \mathrm{Imag} = \sin(y)   ((\exp(x) - \exp(-x))/2) 

Características de un fractal[editar]

Autosimilitud[editar]

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.[5]

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 en el conjunto de Mandelbrot: al variar la escala obtenemos copias del conjunto con pequeñas diferencias.
  • 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[editar]

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.
Autosimilitud estadística de un fractal generado por el proceso de agregación limitada por difusión.

Definición por algoritmos recursivos[editar]

Podemos destacar tres técnicas comunes para generar fractales:

Aspectos matemáticos[editar]

Intentos de definición rigurosa[editar]

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[editar]

Puede definirse en términos del mínimo número N(\epsilon) de bolas de radio \epsilon necesarias para recubrir el conjunto, como el límite:

D_F=\lim_{\epsilon \to 0}{ \ln N(\epsilon) \over \ln(1/\epsilon)}

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

D_F=\lim_{n \to \infty}{ \ln N_n \over \ln(2^n)}

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

Dimensión de Hausdorff-Besicovitch[editar]

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

0 \leq D_H(A) \leq D_F(A)

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

Dimensión de fractales producidos por un IFS[editar]

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

c_1^D+c_2^D+ \dots + c_k^D=1

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

Aplicaciones[editar]

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

Compresión de imágenes[editar]

Fractal fern explained.png

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.[7]

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[editar]

Fracción de un fractal Mandelbrot.

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).

Sistemas dinámicos[editar]

Un atractor extraño: el Atractor de Lorenz.

Pero además las formas fractales no sólo 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[editar]

Imagen generada con el programa Apophysis.

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 3 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.

Maurits Cornelis Escher (1898-1972), fue un artista holandés. Sus litografías grabados han ilustrado muchísimas páginas de libros. Se desconoce si alguna vez llegó Escher a manejar el término "Fractal"pero es cierto que desarrolló con frecuencia estructuras matemáticas complejas y avanzadas mientras continuaba pregonando su desconocimiento total con la materia.

La música puede contener formas fractales. Algunas obras clásicas de Beethoven, Bach y Mozart son ejemplos representativos según reveló un estudio.[cita requerida] 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.[cita requerida]

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

Véase también[editar]

Referencias[editar]

  1. Benoît Mandelbrot, La Geometría Fractal de la Naturaleza, Tusquets, ISBN 84-8310-549-7
  2. Falconer, Kenneth (2003). Fractal Geometry: Mathematical Foundations and Applications. John Wiley & Sons, Ltd.. pp. XXV. ISBN 0-470-84862-6. 
  3. ¿Cuánto mide la costa de Gran Bretaña?
  4. Stewart, Ian. De aquí al infinito. Crítica, Grijalbo Mondadori, S.A., 1998. ISBN 84-7423-853-6.
  5. B. Mandelbrot. Los objetos fractales. Forma, azar y dimensión. Tusquets Editores, S.A., 1993. ISBN 978-84-7223-458-1
  6. Barnsley, M. Fractals everywhere.Academic Press Inc, 1988. ISBN 0-12-079062-9. (Cap 5)
  7. Jacquin, A.E.;Image coding based on a fractal theory of iterated contractive image transformations. Image Processing, IEEE Transactions on Volume 1, Issue 1, Jan. 1992 Page(s):18 - 30

Enlaces externos[editar]

Arte fractal
Libros con licencia CC
Software
Vídeos