Sistema de funciones iteradas

Sistema de funciones iteradas
Compacto inicial y 6 iteraciones de un IFS formado por 3 aplicaciones contractivas. En la primera iteración el recuadro inicial se hace corresponder con la unión de los recuadros A, B y C.
Único punto fijo de la aplicación inducida por el anterior IFS, fractal al que se conoce como triángulo de Sierpinski. Obsérvese que está formado por la unión de 3 copias de sí mismo.

En matemáticas, se denomina sistema de funciones iteradas o IFS (acrónimo de la traducción inglesa iterated function system) a un método para la construcción de fractales a partir de la información suministrada por un conjunto finito {f1, ..., fk } de aplicaciones de un espacio métrico completo.

En dicho método, un compacto cualquiera A es sustituido en cada iteración por la unión de sus imágenes bajo cada una de las aplicaciones del IFS:

A \longrightarrow F(A)= f_1(A) \cup f_2(A) \cup \cdots \cup f_k(A).

Podemos preguntarnos qué sucede cuando iteramos la acción de la aplicación F. Bajo ciertas condiciones, se demuestra que la sucesión {A. F(A), F(F(A)),...} tiene por límite al único punto fijo de F: un conjunto compacto K al que llamaremos fractal IFS, y técnicamente el atractor del IFS.

La autosimilitud de K, una de las características de los fractales, se deriva de la condición de punto fijo K = F(K), es decir,

K= f_1(K) \cup f_2(K) \cup \cdots \cup f_k(K),

en la que observamos que K estará formado por unión de k copias de sí mismo, posiblemente deformadas, y de menor tamaño (si las aplicaciones son contractivas), que pueden solaparse o no.

Contenido

Definición formal

  • Llamamos sistema de funciones iteradas o IFS a una colección finita \{f_1, \dots,f_k\} de aplicaciones contractivas de un espacio métrico completo (X.d). Designaremos sus factores de contracción[1] por ci.
  • Êstas aplicaciones inducen una aplicación  F:P(X) \rightarrow P(X) entre las partes de X, definida por F(A)= \bigcup_{i=1}^k f_i(A). Si dotamos a P(X) de la distancia de Hausdorff y nos restringimos a los subconjuntos compactos, F será a su vez una aplicación contractiva sobre un espacio métrico que a su vez es completo, y por tanto tendrá un punto fijo K. Este punto fijo será también el límite de la sucesión {A. F(A), F(F(A)),...}.
  • Decimos que un compacto no vacío K es un atractor del IFS si satisface:
K=\bigcup_{i=1}^k f_i(K)

Observamos que esta condición nos indica que el conjunto es igual a la unión de copias de sí mismo de menor tamaño.

Cálculo de la dimensión fractal

El valor de la dimensión fractal D de un objeto producido por un IFS compuesto de k aplicaciones contractivas de factor de contracción ci, en caso de que estas no provoquen solapamiento, viene dado por la solución de la ecuación

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

El problema inverso: Teorema del collage

Este teorema nos permite encontrar un IFS cuyo atractor esté todo lo próximo que deseemos (en el sentido de la distancia de Hausdorff) o coincida con un conjunto prefijado C.

Para hallar dicho IFS necesitamos encontrar un número suficiente de aplicaciones contractivas tales que la unión ("collage") de las imágenes del conjunto bajo estas aplicaciones esté lo suficientemente próxima o coincida con el propio conjunto.

El conjunto C puede expresarse como unión de tres versiones reducidas que llamaremos f1(C), f2(C) y f3(C). Para encontrar el IFS asociado debemos calcular la expresión de las fi.

Como ejemplo, para conseguir un IFS cuyo atractor corresponda al conjunto fractal de la figura son necesarias 3 transformaciones:

  • La que lleva el conjunto total en el triángulo amarillo:
f_1(x,y)=(\frac{x}{2},\frac{y}{2})
  • La que lleva el conjunto total en el triángulo azul:
f_2(x,y)=(\frac{x}{2}+1,\frac{y}{2})
  • La que lleva el conjunto total en el triángulo rojo:
f_3(x,y)=(\frac{x}{2}+\frac{1}{2},\frac{y}{2}+\frac{1}{2})

Algoritmos de representación

Algoritmo determinista

Simplemente construye los sucesivos conjuntos {A, F(A), F(F(A)),...}. Como dicha sucesión converge al atractor del IFS independientemente del conjunto A de partida, puede usarse cualquier valor inicial, con frecuencia una caja cuadrada.

Fractal IFS construido mediante el algoritmo de iteración aleatoria.

Algoritmo de iteración aleatoria

En este algoritmo, también llamado "juego del caos", un punto que describe una danza aparentemente aleatoria va perfilando progresivamente la estructura del atractor. Para ello, se elige un punto x0 del espacio métrico y se forma una sucesión del siguiente modo: en cada paso se escoge aleatoriamente y con igual probabilidad

x_n \in \{f_1(x_{n-1}),\cdots , f_k(x_{n-1})\}

Se demuestra que la sucesión así formada "converge" al atractor del IFS.

Este algoritmo permite una generalización en que se asignan distintas probabilidades pi a la hora de escoger cada fi. Diferentes probabilidades permiten obtener diversas texturas y densidades, útiles para el modelado de escenas naturales. Un IFS en que cada función fi va acompañada de un número positivo pi de modo que p_1+ \cdots +p_k=1 se denomina IFS con probabilidades.

Notas

  1. También llamados constantes Lipschitz de las funciones.

Bibliografía

  • M. Barnsley. Fractals everywhere.Academic Press Inc, 1988. ISBN 0-12-079062-9.
  • Falconer, Kenneth (2003). Fractal Geometry: Mathematical Foundations and Applications. John Wiley & Sons, Ltd.. pp. Cap. 9. ISBN 0-470-84862-6. 

Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Compresión fractal — La compresión fractal es un método de compresión con pérdida para imágenes digitales, basado en fractales. El método es el más apropiado para texturas e imágenes naturales, basándose en el hecho de que partes de una imagen, a menudo, se parecen a …   Wikipedia Español

  • Fractal — Este artículo o sección sobre matemáticas necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 16 de octubre de 2010. También puedes… …   Wikipedia Español

  • Conjunto de Cantor — De izquierda a derecha, sucesivos pasos de la construcción geométrica del conjunto de Cantor. Para ilustrar la definición numérica se destacan cuatro puntos del conjunto (0, 2/3, 1 y 1/4) y su expresión en base 3. El conjunto de Cantor, llamado… …   Wikipedia Español

  • IFS — El acrónimo IFS puede referirse a: IFS (interfaz) Interfaz única a todos los sistemas de archivos de routers Cisco Systems. Instituto de Investigación Social, en alemán Institut für Sozialforschung, en Fráncfort del Meno, IfS Instituto de… …   Wikipedia Español

  • Función iterada — En matemáticas, función iterada es una función que es compuesta consigo misma, en forma repetida, en un proceso llamado iteración. Las funciones iteradas son objeto de profundos estudios en el campo de los fractales y sistemas dinámicos.… …   Wikipedia Español

  • Fyre — Una captura de pantalla de Fyre 1.0 …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”