Fractal

En la naturaleza tambin aparece la geometra fractal, como en esta romanescu. Un fractal es un objeto semigeomtrico cuya estructura bsica, fragmentada o irregular, se repite a diferentes escalas.[1] El trmino fue propuesto por el matemtico Benot Mandelbrot en 1975 y deriva del Latn fractus, que significa quebrado o fracturado. Muchas estructuras naturales son de tipo fractal. Si bien el trmino "fractal" es reciente, los objetos hoy denominados fractales eran bien conocidos en matemticas desde principios del siglo XX. Las maneras ms comunes de determinar lo que hoy denominamos dimensin fractal fueron establecidas a principios del siglo XX en el seno de la teora de la medida.

[editar] Caractersticas de un fractal [editar] Autosimilitud 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. [editar] Dimensin fractal y dimensin de Hausdorff-Besicovitch 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 por difusin limitada. [editar] Definicin por algoritmos recursivos 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. stos ltimos son producidos por procesos de agregacin por difusin limitada.. [editar] Aspectos matemticos [editar] Intentos de definicin rigurosa 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. [editar] Dimensin fractal 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] [editar] Dimensin de Hausdorff-Besicovitch

De una definicin ms compleja, la dimensin de Hausdorff-Besicovitch nos proporciona un nmero isometras, cuya relacin con la dimensin fractal es la siguiente:

, tambin invariante bajo

Esto permite distinguir en algunos casos entre conjuntos con la misma dimensin fractal. [editar] Dimensin de fractales producidos por un IFS Un sistema iterativo de funciones (IFS) es un conjunto de funciones contractivas definidas sobre un subconjunto de solapamiento entre las imgenes de cada funcin, se demuestra que ecuacin: . Cuando no hay

y que ambas pueden calcularse como solucin de la

donde ci designa el factor de contraccin de cada aplicacin contractiva del IFS. [editar] Aplicaciones Se han utilizado tcnicas de fractales en la compresin de datos y en diversas disciplinas cientficas.

[editar] Compresin de imgenes

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. [editar] Modelado de formas naturales 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). [editar] Sistemas dinmicos

Un atractor extrao: el Atractor de Lorenz. Pero adems las formas fractales no slo 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. [editar] En manifestaciones artsticas

Imagen generada con el programa Apophysis.

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 3 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. Con programas informticos como Apophysis o Ultra Fractal se pueden hacer imgenes con tcnicas diversas; cambiando parmetros, geometra de tringulos o con transformaciones aleatorias (a veces llamadas "mutaciones"). Dimensin topolgica La dimensin topolgica de un conjunto del espacio topolgico es el mnimo valor de n para el que toda cubierta abierta admite una cubierta abierta ms fina de orden no superior a n+1. Si no existe valor mnimo de n, entonces se dice que el conjunto es de dimensin infinita. El orden de una cubierta es el mximo nmero de subconjuntos de la cubierta al que pertenece cualquier punto del conjunto. Una cubierta ms fina es aquella en la que cada subconjunto est incluido en algn subconjunto de otra cubierta, menos fina en este caso.

Dimensin de Hausdorff-Besicovitch La dimensin de Hausdorff o dimensin de Hausdorff-Besicovitch es una generalizacin mtrica del concepto de dimensin de un espacio topolgico, que permite definir una dimensin fraccionaria (no-entera) para un objeto fractal. La medida fue introducida hacia 1917 por Hausdorff, aunque fue estudiada mucho ms extensivamente por Besicovitch a quien se deben la mayora de los resultados tericos y teoremas concernientes tanto a la medida de Hausdorff como a la dimensin fractal.

[editar] Medida de Hausdorff

Contenido de Hausdorff de un conjunto: para valores de la dimensin inferiores a la dimensin de Haussdorff el contenido de Hausdorff es infinito, para valores superiores el contenido es cero. Slo para un valor igual a la dimensin de Hausdorff el contenido es una cantidad positiva y finita. Sea un conjunto no vaco. El dimetro de se define como

Sea ahora

un conjunto arbitrario de ndices. La coleccin

se denomina

-recubrimiento de

si:

Sea y

;y , para cada .

un nmero no-negativo. Para cualquier

se define:

en donde el nfimo se toma sobre todos los . La medida exterior

-recubrimientos numerables de

. Es posible verificar que

es de hecho una medida exterior en

-dimensional de Hausdorff del conjunto

se define como el valor:

Este lmite existe, sin embargo, como

crece cuando

decrece, puede ser infinito.

Es fcil ver que es una medida exterior, as que, por el Teorema de Carathodory, la restriccin de hecho una medida, llamada medida s-dimensional de Hausdorff.

a los conjuntos

-medibles es de

La medida de Hausdorff generaliza la idea de longitud, rea y volumen. La medida de dimensin cero cuenta el nmero de puntos en un conjuntos si el conjunto es finito, o es infinita si el conjunto lo es. La medida unidimensional mide la longitud de una curva suave en bidimensional de un conjunto en volumen. es proporcional a su rea y anlogamente la medida tridimensional de un conjunto en . La medida es proporcional a su

Para todo conjunto

existe

con la propiedad:

Un grfico de

en funcin de

(Ver figura) muestra que existe un valor crtico de

en el cual

cambia sbitamente de

El comportamiento de

puede explicarse de la siguiente manera: Se cubre el conjunto

con infinitos conjuntos de dimetro pequeo lo cual produce

y se calcula la suma de dichos dimetros elevados a la -sima potencia. Si es pequeo, dichas potencias tienden a que la suma diverja. Si es grande, las -simas potencias tienen a cero y la suma tiende a anularse. [editar] Dimensin fractal de Hausdorff-Besicovitch La dimensin de Hausdorff se define como:

[editar] Relacin entre dimensiones fractales La dimensin de Hausdorff-Besicovitch siendo similar numricamente a otras dimensiones fractales, en general resulta no mayor que todas ellas, siendo para la mayora de fractales clsicos coincidente con el resto de dimensiones fractales (generalmente ms sencillas de calcular). De hecho ha podido demostrarse la siguiente cadena de desigualdades:

Donde:

es la dimensin topolgica que es siempre un entero. es la dimensin de Hausdorff-Besicovitch que para los fractales clsicos suele ser un nmero irracional. es la dimensin de Minkowski-Bouligand o de conteo de cajas, a veces llamada dimensin de Hausdorff. es la dimensin de empaquetado. es la dimensin del espacio eucldeo que contiene al fractal. La primera desigualdad se conoce como desigualdad de Szpilrajn y es uno de los principales resultados de la geometra fractal