El conjunto de Mandelbrot ( / ˈ m æ n d əl b r oʊ t , - b r ɒ t / ) [1] [2] es un conjunto bidimensional con una definición relativamente simple que exhibe una gran complejidad, especialmente cuando se amplía . Es popular por su atractivo estético y estructuras fractales. El conjunto se define en el plano complejo como los números complejos para los cuales la función no diverge hasta el infinito cuando se itera comenzando en , es decir, para los cuales la secuencia , , etc., permanece acotada en valor absoluto .
Este conjunto fue definido y dibujado por primera vez por Robert W. Brooks y Peter Matelski en 1978, como parte de un estudio de los grupos kleinianos . [3] Posteriormente, en 1980, Benoit Mandelbrot obtuvo visualizaciones de alta calidad del decorado mientras trabajaba en el Centro de Investigación Thomas J. Watson de IBM en Yorktown Heights, Nueva York .
Las imágenes del conjunto de Mandelbrot exhiben un límite infinitamente complicado que revela detalles recursivos cada vez más finos a aumentos crecientes; Matemáticamente, el límite del conjunto de Mandelbrot es una curva fractal . El "estilo" de este detalle recursivo depende de la región del límite establecido que se examina. Las imágenes del conjunto de Mandelbrot se pueden crear muestreando los números complejos y probando, para cada punto de muestra , si la secuencia llega al infinito . Al tratar las partes real e imaginaria de como coordenadas de imagen en el plano complejo , los píxeles pueden colorearse según qué tan pronto la secuencia cruza un umbral elegido arbitrariamente (el umbral debe ser al menos 2, ya que -2 es el número complejo con el mayor magnitud dentro del conjunto, pero por lo demás el umbral es arbitrario). Si se mantiene constante y en su lugar se varía el valor inicial de, se obtiene el conjunto de Julia correspondiente para el punto .
El conjunto de Mandelbrot se ha vuelto popular fuera de las matemáticas tanto por su atractivo estético como como ejemplo de una estructura compleja que surge de la aplicación de reglas simples. Es uno de los ejemplos más conocidos de visualización matemática , belleza matemática y motivo .
El conjunto de Mandelbrot tiene su origen en la dinámica compleja , campo investigado por primera vez por los matemáticos franceses Pierre Fatou y Gaston Julia a principios del siglo XX. El fractal fue definido y dibujado por primera vez en 1978 por Robert W. Brooks y Peter Matelski como parte de un estudio de los grupos kleinianos . [3] El 1 de marzo de 1980, en el Centro de Investigación Thomas J. Watson de IBM en Yorktown Heights , Nueva York , Benoit Mandelbrot visualizó por primera vez el decorado. [4]
Mandelbrot estudió el espacio de parámetros de polinomios cuadráticos en un artículo que apareció en 1980. [5] El estudio matemático del conjunto de Mandelbrot realmente comenzó con el trabajo de los matemáticos Adrien Douady y John H. Hubbard (1985), [6] quienes establecieron muchos de sus propiedades fundamentales y nombró al conjunto en honor a Mandelbrot por su influyente trabajo en geometría fractal .
Los matemáticos Heinz-Otto Peitgen y Peter Richter se hicieron conocidos por promover el conjunto con fotografías, libros (1986), [7] y una exposición itinerante internacional del Goethe-Institut alemán (1985). [8] [9]
El artículo de portada de Scientific American de agosto de 1985 presentó el algoritmo para calcular el conjunto de Mandelbrot. La portada fue creada por Peitgen, Richter y Saupe en la Universidad de Bremen . [10] El set de Mandelbrot se hizo prominente a mediados de la década de 1980 como demostración de gráficos por computadora , cuando las computadoras personales se volvieron lo suficientemente potentes como para trazar y mostrar el set en alta resolución. [11]
El trabajo de Douady y Hubbard se produjo durante un aumento del interés por la dinámica compleja y las matemáticas abstractas , [12] y el estudio del conjunto de Mandelbrot ha sido una pieza central de este campo desde entonces. [ cita necesaria ]
El conjunto de Mandelbrot es el conjunto de valores de c en el plano complejo para el cual la órbita del punto crítico bajo iteración del mapa cuadrático
permanece acotado . [14] Por lo tanto, un número complejo c es miembro del conjunto de Mandelbrot si, al comenzar y aplicar la iteración repetidamente, el valor absoluto de permanece acotado para todos .
Por ejemplo, para c = 1, la secuencia es 0, 1, 2, 5, 26,..., que tiende al infinito , por lo que 1 no es un elemento del conjunto de Mandelbrot. Por otro lado, para , la secuencia es 0, −1, 0, −1, 0, ..., que está acotada, por lo que −1 sí pertenece al conjunto.
El conjunto de Mandelbrot también se puede definir como el lugar de conectividad de la familia de polinomios cuadráticos , el subconjunto del espacio de parámetros para el cual el conjunto de Julia del polinomio correspondiente forma un conjunto conexo . De la misma manera, el límite del conjunto de Mandelbrot puede definirse como el lugar de bifurcación de esta familia cuadrática, el subconjunto de parámetros cerca del cual el comportamiento dinámico del polinomio (cuando se itera repetidamente) cambia drásticamente.
El conjunto de Mandelbrot es un conjunto compacto , ya que está cerrado y contenido en el disco cerrado de radio 2 alrededor del origen . Un punto pertenece al conjunto de Mandelbrot si y sólo si para todos . En otras palabras, el valor absoluto de debe permanecer en 2 o menos para estar en el conjunto de Mandelbrot, y si ese valor absoluto excede 2, la secuencia escapará al infinito. De lo que se deduce que , estableciendo que siempre estará en el disco cerrado de radio 2 alrededor del origen. [15]
La intersección de con el eje real es el intervalo . Los parámetros a lo largo de este intervalo se pueden poner en correspondencia uno a uno con los de la familia logística real .
La correspondencia está dada por
Esto da una correspondencia entre todo el espacio de parámetros de la familia logística y el del conjunto de Mandelbrot. [dieciséis]
Douady y Hubbard demostraron que el conjunto de Mandelbrot está conexo . Construyeron un isomorfismo conforme explícito entre el complemento del conjunto de Mandelbrot y el complemento del disco unitario cerrado . Mandelbrot había conjeturado originalmente que el conjunto de Mandelbrot está desconectado . Esta conjetura se basó en imágenes de computadora generadas por programas que son incapaces de detectar los finos filamentos que conectan diferentes partes de . Tras más experimentos, revisó su conjetura y decidió que debía estar relacionada. Jeremy Kahn descubrió en 2001 una prueba topológica de la conexión . [17]
La fórmula dinámica para la uniformización del complemento del conjunto de Mandelbrot, que surge de la prueba de la conectividad de Douady y Hubbard , da lugar a los rayos externos del conjunto de Mandelbrot. Estos rayos se pueden utilizar para estudiar el conjunto de Mandelbrot en términos combinatorios y formar la columna vertebral del parapuzzle de Yoccoz . [18]
El límite del conjunto de Mandelbrot es el lugar de bifurcación de la familia de polinomios cuadráticos. En otras palabras, el límite del conjunto de Mandelbrot es el conjunto de todos los parámetros para los cuales la dinámica del mapa cuadrático exhibe una dependencia sensible de, es decir, cambios abruptos bajo cambios arbitrariamente pequeños. Puede construirse como el conjunto límite de una secuencia de planos algebraicos. curvas , las curvas de Mandelbrot , del tipo general conocido como lemniscatas polinómicas . Las curvas de Mandelbrot se definen estableciendo y luego interpretando el conjunto de puntos en el plano complejo como una curva en el plano cartesiano real de grado en x e y . [19] Cada curva es el mapeo de un círculo inicial de radio 2 bajo . Estas curvas algebraicas aparecen en imágenes del conjunto de Mandelbrot calculadas utilizando el "algoritmo de tiempo de escape" que se menciona a continuación.
El cardioide principal es el continente del período 1. Es la región de parámetros para los cuales el mapa
tiene un punto fijo de atracción . Consta de todos los parámetros del formulario.
para algunos en el disco de la unidad abierta .
A la izquierda del cardioide principal, unido a él en el punto , se ve una bombilla circular, la bombilla del período 2 . El bulbo consta de un ciclo de atracción de período 2 . Es el círculo relleno de radio 1/4 centrado alrededor de −1.
De manera más general, para cada número entero positivo , hay bulbos circulares tangentes al cardioide principal llamados bulbos de período-q (donde denota la función phi de Euler ), que consisten en parámetros para los cuales tiene un ciclo de atracción de período . Más específicamente, para cada raíz primitiva de la unidad (donde ), hay un bulbo del período q llamado bulbo, que es tangente al cardioide principal en el parámetro
y que contiene parámetros con ciclos que tienen un número de rotación combinatorio . Más precisamente, los componentes periódicos de Fatou que contienen el ciclo de atracción se tocan en un punto común (comúnmente llamado punto fijo ). Si etiquetamos estos componentes en sentido antihorario, asignamos el componente al componente .
El cambio de comportamiento que se produce en se conoce como bifurcación : el punto fijo atractivo "choca" con un período repelente- ciclo q . A medida que pasamos a través del parámetro de bifurcación hacia el bulbo, el punto fijo atractivo se convierte en un punto fijo repelente (el punto fijo), y el ciclo del período q se vuelve atractivo.
Los bulbos que son componentes interiores del conjunto de Mandelbrot en los que las aplicaciones tienen un ciclo periódico de atracción se denominan componentes hiperbólicos . [ cita necesaria ]
Se conjetura que estas son las únicas regiones interiores de y que son densas en . Este problema, conocido como densidad de hiperbolicidad , es uno de los problemas abiertos más importantes en dinámica compleja . [20] Los componentes hipotéticos no hiperbólicos del conjunto de Mandelbrot a menudo se denominan componentes "queer" o fantasmas. [21] [22] Para polinomios cuadráticos reales, esta cuestión fue probada en la década de 1990 de forma independiente por Lyubich y por Graczyk y Świątek. (Tenga en cuenta que los componentes hiperbólicos que intersectan el eje real corresponden exactamente a ventanas periódicas en el diagrama de Feigenbaum . Por lo tanto, este resultado establece que dichas ventanas existen cerca de todos los parámetros del diagrama).
No todos los componentes hiperbólicos pueden alcanzarse mediante una secuencia de bifurcaciones directas del cardioide principal del conjunto de Mandelbrot. Se puede alcanzar dicho componente mediante una secuencia de bifurcaciones directas desde el cardioide principal de una pequeña copia de Mandelbrot (ver más abajo).
Cada uno de los componentes hiperbólicos tiene un centro , que es un punto c tal que el dominio interno de Fatou tiene un ciclo de superatracción, es decir, que la atracción es infinita. Esto significa que el ciclo contiene el punto crítico 0, de modo que 0 vuelve a sí mismo después de algunas iteraciones. Por lo tanto, para algunos n . Si llamamos a este polinomio (dejándolo depender de c en lugar de z ), tenemos eso y que el grado de es . Por tanto, construir los centros de las componentes hiperbólicas es posible resolviendo sucesivamente las ecuaciones . [ cita necesaria ] El número de nuevos centros producidos en cada paso viene dado por OEIS de Sloane : A000740 .
Se conjetura que el conjunto de Mandelbrot está localmente conexo . Esta conjetura se conoce como MLC (por Mandelbrot localmente conectado ). Según el trabajo de Adrien Douady y John H. Hubbard , esta conjetura daría como resultado un modelo abstracto simple de "disco pellizcado" del conjunto de Mandelbrot. En particular, implicaría la importante conjetura de hiperbolicidad mencionada anteriormente. [ cita necesaria ]
El trabajo de Jean-Christophe Yoccoz estableció la conectividad local del conjunto de Mandelbrot en todos los parámetros finitamente renormalizables ; es decir, en términos generales, aquellos contenidos sólo en un número finito de copias pequeñas de Mandelbrot. [23] Desde entonces, la conectividad local ha sido probada en muchos otros puntos de , pero la conjetura completa aún está abierta.
El conjunto de Mandelbrot es autosimilar bajo aumento en las proximidades de los puntos de Misiurewicz . También se conjetura que es autosimilar alrededor de puntos de Feigenbaum generalizados (por ejemplo, −1,401155 o −0,1528 + 1,0397 i ), en el sentido de converger a un conjunto límite. [24] [25] El conjunto de Mandelbrot en general es casi autosimilar, ya que se pueden encontrar pequeñas versiones ligeramente diferentes de sí mismo en escalas arbitrariamente pequeñas. Estas copias del conjunto de Mandelbrot son todas ligeramente diferentes, principalmente debido a los finos hilos que las conectan al cuerpo principal del conjunto. [ cita necesaria ]
La dimensión de Hausdorff del límite del conjunto de Mandelbrot es igual a 2 según lo determinado por un resultado de Mitsuhiro Shishikura . [26] El hecho de que esto sea mayor en un número entero que su dimensión topológica, que es 1, refleja la naturaleza fractal extrema del límite del conjunto de Mandelbrot. En términos generales, el resultado de Shishikura establece que el límite establecido por Mandelbrot es tan "movible" que localmente llena el espacio con tanta eficiencia como una región plana bidimensional. Las curvas con dimensión de Hausdorff 2, a pesar de ser (topológicamente) unidimensionales, a menudo son capaces de tener un área distinta de cero (más formalmente, una medida de Lebesgue plana distinta de cero ). Si este es el caso de la frontera del conjunto de Mandelbrot es un problema no resuelto. [ cita necesaria ]
Se ha demostrado que el conjunto de Mandelbrot generalizado en espacios numéricos hipercomplejos de dimensiones superiores (es decir, cuando la potencia de la variable iterada tiende al infinito) es convergente a la esfera unitaria (-1). [27]
En el modelo de cálculo real de Blum-Shub-Smale , el conjunto de Mandelbrot no es computable, pero su complemento sí es computable . Muchos objetos simples (por ejemplo, el gráfico de exponenciación) tampoco son computables en el modelo BSS. En la actualidad, se desconoce si el conjunto de Mandelbrot es computable en modelos de computación real basados en análisis computable , que corresponden más estrechamente a la noción intuitiva de "trazar el conjunto mediante una computadora". Hertling ha demostrado que el conjunto de Mandelbrot es computable en este modelo si la conjetura de hiperbolicidad es cierta. [ cita necesaria ]
Como consecuencia de la definición del conjunto de Mandelbrot, existe una estrecha correspondencia entre la geometría del conjunto de Mandelbrot en un punto dado y la estructura del conjunto de Julia correspondiente . Por ejemplo, un valor de c pertenece al conjunto de Mandelbrot si y sólo si el conjunto de Julia correspondiente es conexo. Por tanto, el conjunto de Mandelbrot puede verse como un mapa de los conjuntos de Julia conectados. [ cita necesaria ]
Este principio se explota prácticamente en todos los resultados profundos del conjunto de Mandelbrot. Por ejemplo, Shishikura demostró que, para un conjunto denso de parámetros en el límite del conjunto de Mandelbrot, el conjunto de Julia tiene dimensión dos de Hausdorff y luego transfiere esta información al plano de parámetros. [26] De manera similar, Yoccoz demostró por primera vez la conectividad local de los conjuntos de Julia, antes de establecerla para el conjunto de Mandelbrot en los parámetros correspondientes. [23]
Para cada número racional , donde p y q son primos relativos , un componente hiperbólico del período q se bifurca del cardioide principal en un punto en el borde del cardioide correspondiente a un ángulo interno de . [28] La parte del conjunto de Mandelbrot conectada al cardioide principal en este punto de bifurcación se llama rama p / q . Los experimentos por computadora sugieren que el diámetro de la extremidad tiende a cero como . La mejor estimación actual conocida es la desigualdad de Yoccoz, que establece que el tamaño tiende a cero como . [ cita necesaria ]
Un miembro de época q tendrá "antenas" en la parte superior de su miembro. El período de una bombilla determinada se determina contando estas antenas. El numerador del número de rotación, p , se encuentra numerando cada antena en el sentido contrario a las agujas del reloj desde el extremo del 1 al y encontrando qué antena es la más corta. [28]
En un intento de demostrar que el grosor de la rama p / q es cero, David Boll llevó a cabo un experimento informático en 1991, donde calculó el número de iteraciones necesarias para que la serie divergiese ( siendo la ubicación de la misma). Como la serie no diverge para el valor exacto de , el número de iteraciones requeridas aumenta con un pequeño . Resulta que multiplicar el valor de por el número de iteraciones requeridas produce una aproximación de que mejora cuanto más pequeño es . Por ejemplo, para = 0,0000001, el número de iteraciones es 31415928 y el producto es 3,1415928. [29] En 2001, Aaron Klebanoff demostró el descubrimiento de Boll. [30]
El conjunto Mandelbrot presenta una forma cardioide fundamental adornada con numerosas bombillas directamente adheridas a él. [31] Comprender la disposición de estos bulbos requiere un examen detallado del límite del Conjunto Mandelbrot. A medida que uno se acerca a porciones específicas con una perspectiva geométrica, emerge información deducible precisa sobre la ubicación dentro del límite y el comportamiento dinámico correspondiente para los parámetros extraídos de las bombillas asociadas. [32]
La iteración del polinomio cuadrático , donde es un parámetro extraído de uno de los bulbos adjuntos al cardioide principal dentro del Conjunto de Mandelbrot, da lugar a mapas que presentan ciclos de atracción de un período específico y un número de rotación . En este contexto, el ciclo de atracción de exhibe un movimiento de rotación alrededor de un punto fijo central, completando un promedio de revoluciones en cada iteración. [32] [33]
Los bulbos del Conjunto Mandelbrot se distinguen tanto por sus ciclos de atracción como por las características geométricas de su estructura. Cada bombilla se caracteriza por una antena adherida que emana de un punto de unión y muestra un cierto número de radios indicativos de su período. Por ejemplo, la bombilla se identifica por su ciclo de atracción con un número de rotación de . Su distintiva estructura en forma de antena comprende un punto de unión del que emanan cinco radios. Entre estos radios, el llamado radio principal está directamente unido a la bombilla, y el radio no principal "más pequeño" está colocado aproximadamente a una vuelta en sentido antihorario del radio principal, lo que proporciona una identificación distintiva como una bombilla. [34] Esto plantea la pregunta: ¿cómo se puede discernir cuál de estos radios es el "más pequeño"? [31] [34] En la teoría de los rayos externos desarrollada por Douady y Hubbard. [35] hay precisamente dos rayos externos que aterrizan en el punto raíz de un componente hiperbólico satélite del Conjunto de Mandelbrot. Cada uno de estos rayos posee un ángulo externo que se duplica bajo el mapa de duplicación de ángulos . Según este teorema, cuando dos rayos llegan al mismo punto, ningún otro rayo entre ellos puede cruzarse. Por tanto, el "tamaño" de esta región se mide determinando la longitud del arco entre los dos ángulos. [32]
Si el punto raíz del cardioide principal es la cúspide en , entonces el cardioide principal es el bulbo. El punto raíz de cualquier otra bombilla es simplemente el punto donde esta bombilla está unida al cardioide principal. Esto suscita la pregunta: ¿cuál es el bulbo más grande entre los puntos de raíz de los bulbos y -? Es claramente la bombilla. Y fíjate que se obtiene de las dos fracciones anteriores mediante la suma de Farey , es decir, sumando los numeradores y sumando los denominadores.
De manera similar, el bulbo más grande entre los bulbos y es el bulbo, nuevamente determinado por la suma de Farey.
El bulbo más grande entre los bulbos y es el bulbo, mientras que el bulbo más grande entre los bulbos y es el bulbo, y así sucesivamente. [32] [36] La disposición de los bulbos dentro del conjunto de Mandelbrot sigue un patrón notable regido por el árbol de Farey , una estructura que abarca todos los racionales entre y . Este orden coloca los bulbos a lo largo del límite del cardioide principal precisamente de acuerdo con los números racionales en el intervalo unitario . [34]
Comenzando con el bulbo en la parte superior y avanzando hacia el círculo, la secuencia se desarrolla sistemáticamente: el bulbo más grande entre y es , entre y es , y así sucesivamente. [37] Curiosamente, los denominadores de los períodos de los bulbos circulares en escalas secuenciales en el Conjunto de Mandelbrot se ajustan a la secuencia numérica de Fibonacci , la secuencia que se forma sumando los dos términos anteriores: 1, 2, 3, 5, 8, 13. , 21... [38] [39]
La secuencia de Fibonacci se manifiesta en la cantidad de brazos espirales en un lugar único del conjunto de Mandelbrot, reflejados tanto en la parte superior como en la inferior. Esta ubicación distintiva exige el mayor número de iteraciones para obtener una imagen fractal detallada, con detalles intrincados que se repiten a medida que uno se acerca. [40]
El límite del conjunto de Mandelbrot muestra detalles más intrincados cuanto más de cerca se mira o se amplía la imagen. El siguiente es un ejemplo de una secuencia de imágenes que se acerca a un valor c seleccionado .
La ampliación de la última imagen con respecto a la primera es de aproximadamente 10 10 a 1. En relación con un monitor de computadora común , representa una sección de un conjunto de Mandelbrot con un diámetro de 4 millones de kilómetros.
El "cuerpo" del caballito de mar está compuesto por 25 "radios" que constan de dos grupos de 12 "radios" cada uno y un "radio" que se conecta al cardioide principal. Estos dos grupos pueden atribuirse, mediante alguna metamorfosis, a los dos "dedos" de la "mano superior" del conjunto de Mandelbrot; por lo tanto, el número de "radios" aumenta en 2 de un "caballo de mar" al siguiente; el "centro" es un punto Misiurewicz . Entre la "parte superior del cuerpo" y la "cola", hay una copia distorsionada del conjunto de Mandelbrot, llamado "satélite".
Las islas en el penúltimo paso parecen constar de infinitas partes, como es el caso del correspondiente conjunto de Julia . Están conectados por estructuras diminutas, de modo que el conjunto representa un conjunto simplemente conexo. Las diminutas estructuras se encuentran en el centro de un satélite que es demasiado pequeño para ser reconocido con este aumento. El valor de para la correspondiente no es el centro de la imagen pero, en relación con el cuerpo principal del conjunto de Mandelbrot, tiene la misma posición que el centro de esta imagen en relación con el satélite mostrado en el sexto paso.
Si bien el conjunto de Mandelbrot normalmente se representa mostrando detalles de los límites exteriores, también se puede revelar la estructura dentro del conjunto acotado. Por ejemplo, al calcular si un valor de c determinado está vinculado o no, mientras permanece vinculado, el valor máximo que alcanza este número se puede comparar con el valor de c en esa ubicación. Si se utiliza el método de suma de cuadrados, el número calculado sería max:(real^2 + imaginary^2) - c:(real^2 + imaginary^2). La magnitud de este cálculo se puede representar como un valor en un gradiente.
Esto produce resultados como los siguientes: gradientes con bordes y contornos distintos a medida que se acercan a los límites. Las animaciones sirven para resaltar los límites del degradado.
Los conjuntos multibrot son conjuntos acotados que se encuentran en el plano complejo para miembros de la familia de recursiones polinómicas univariadas mónicas generales.
Para un número entero d , estos conjuntos son lugares geométricos de conectividad para los conjuntos de Julia construidos a partir de la misma fórmula. También se ha estudiado el lugar geométrico de conectividad cúbica total; aquí se considera la recursividad de dos parámetros , cuyos dos puntos críticos son las raíces cuadradas complejas del parámetro k . Un parámetro está en el lugar geométrico de conectividad cúbica si ambos puntos críticos son estables. [41] Para familias generales de funciones holomorfas , el límite del conjunto de Mandelbrot se generaliza al lugar de bifurcación . [ cita necesaria ]
El conjunto Multibrot se obtiene variando el valor del exponente d . El artículo tiene un vídeo que muestra el desarrollo de d = 0 a 7, momento en el que hay 6, es decir, lóbulos alrededor del perímetro . En general, cuando d es un número entero positivo, la región central en cada uno de estos conjuntos es siempre una epicicloide de cúspides. Un desarrollo similar con exponentes integrales negativos da como resultado hendiduras en el interior de un anillo, donde la región central principal del conjunto es una hipocicloide de cúspides. [ cita necesaria ]
No existe una extensión perfecta del conjunto de Mandelbrot en 3D, porque no existe un análogo 3D de los números complejos para iterar. Hay una extensión de los números complejos en 4 dimensiones, los cuaterniones , que crean una extensión perfecta del conjunto de Mandelbrot y los conjuntos de Julia en 4 dimensiones. [42] Estos pueden luego ser cortados transversalmente o proyectados en una estructura 3D. El conjunto de Mandelbrot cuaternión (cuatridimensional) es simplemente un sólido de revolución del conjunto de Mandelbrot bidimensional (en el plano jk) y, por lo tanto, no es interesante de observar. [42] Tomar una sección transversal tridimensional en da como resultado un sólido de revolución del conjunto de Mandelbrot bidimensional alrededor del eje real. [ cita necesaria ]
De particular interés es el fractal tricornio , el lugar de conexión de la familia antiholomórfica.
Milnor encontró el tricornio (también llamado a veces Mandelbar ) en su estudio de cortes de parámetros de polinomios cúbicos reales . No está conectado localmente. Esta propiedad es heredada por el lugar geométrico de conexidad de polinomios cúbicos reales.
Otra generalización no analítica es el fractal Barco Ardiente , que se obtiene iterando lo siguiente:
Existe una multitud de algoritmos diferentes para trazar el conjunto de Mandelbrot mediante un dispositivo informático. Aquí se demostrará el algoritmo más utilizado y más simple, es decir, el ingenuo "algoritmo de tiempo de escape". En el algoritmo de tiempo de escape, se realiza un cálculo repetido para cada punto x , y en el área de trazado y, según el comportamiento de ese cálculo, se elige un color para ese píxel.
Las ubicaciones xey de cada punto se utilizan como valores iniciales en un cálculo repetido o iterativo (descrito en detalle a continuación). El resultado de cada iteración se utiliza como valor inicial para la siguiente. Los valores se verifican durante cada iteración para ver si han alcanzado una condición crítica de "escape" o "rescate". Si se alcanza esa condición, se detiene el cálculo, se dibuja el píxel y se examina el siguiente punto x , y .
El color de cada punto representa la rapidez con la que los valores alcanzaron el punto de escape. A menudo se utiliza el negro para mostrar valores que no logran escapar antes del límite de iteración, y se utilizan colores gradualmente más brillantes para los puntos que se escapan. Esto proporciona una representación visual de cuántos ciclos fueron necesarios antes de alcanzar la condición de escape.
Para representar una imagen de este tipo, la región del plano complejo que estamos considerando se subdivide en un cierto número de píxeles . Para colorear cualquiera de esos píxeles, sea el punto medio de ese píxel. Itere el punto crítico 0 en , comprobando en cada paso si el punto de la órbita tiene un radio mayor que 2. Cuando este sea el caso, no pertenece al conjunto de Mandelbrot, y coloree el píxel según el número de iteraciones utilizadas para averiguarlo. . De lo contrario, siga iterando hasta un número fijo de pasos, después de lo cual decidimos que nuestro parámetro está "probablemente" en el conjunto de Mandelbrot, o al menos muy cerca de él, y coloreamos el píxel de negro.
En pseudocódigo , este algoritmo tendría el siguiente aspecto. El algoritmo no utiliza números complejos y simula manualmente operaciones con números complejos utilizando dos números reales, para aquellos que no tienen un tipo de datos complejos . El programa puede simplificarse si el lenguaje de programación incluye operaciones de tipo de datos complejos .
para cada píxel (Px, Py) en la pantalla, haga x0: = coordenada x escalada del píxel (escalada para que se encuentre en la escala Mandelbrot X (-2,00, 0,47)) y0: = coordenada y escalada del píxel (escalada para que se encuentre en la escala Y de Mandelbrot (-1,12, 1,12)) x:= 0,0 y := 0.0 iteración: = 0 iteración_max := 1000 mientras que (x^2 + y^2 ≤ 2^2 AND iteración <max_iteration) lo hacemos xtemp := x*x - y^2 + x0 y := 2*x*y + y0 x := xtemp iteración: = iteración + 1
color := paleta[iteración] trama(Px, Py, color)
Aquí, relacionando el pseudocódigo con y :
y así, como se puede ver en el pseudocódigo en el cálculo de xey :
Para obtener imágenes coloridas del conjunto, la asignación de un color a cada valor del número de iteraciones ejecutadas se puede realizar utilizando una variedad de funciones (lineal, exponencial, etc.).
El conjunto de Mandelbrot se considera ampliamente el fractal más popular , [43] [44] y se ha hecho referencia a él varias veces en la cultura popular .