Conjunto de Julia
Los conjuntos de Julia, así llamados por el matemático Gaston Julia, son una familia de conjuntos fractales que se obtienen al estudiar el comportamiento de los números complejos al ser iterados por una función holomorfa.
está constituido por aquellos puntos que bajo la iteración de
En el otro extremo se encuentra el conjunto de Fatou (en honor del matemático Pierre Fatou), que consiste de los puntos que tienen un comportamiento 'estable' al ser iterados.
Una familia muy notable de conjuntos de Julia se obtienen a partir de funciones cuadráticas simples:
El conjunto de Julia que se obtiene a partir de esta función se denota
se construye por la siguiente sucesión: Si esta sucesión queda acotada, entonces se dice que
queda excluido de éste.
En las imágenes anteriores, los puntos negros pertenecen al conjunto y los de color no.
Los colores dan una indicación de la velocidad con la que diverge la sucesión (su módulo tiende a infinito): en rojo oscuro, al cabo de pocos cálculos se sabe que el punto no está en el conjunto; y en blanco, se ha tardado mucho más en comprobarlo.
Como no se pueden calcular infinitos valores, es preciso poner un límite, y decidir que si los
primeros términos de la sucesión están acotados, el punto pertenece al conjunto.
Al aumentar el valor de
se mejora la precisión de la imagen.
Se puede demostrar que si
entonces la sucesión diverge y el punto
no pertenece al conjunto de Julia.
Por lo tanto, basta encontrar un solo término de la sucesión que verifique
no está en el conjunto.
Existe una relación muy fuerte entre los conjuntos de Julia y el conjunto de Mandelbrot denotado por
, debido a la similitud de sus definiciones: Se dice que
Los resultados más vistosos se obtienen al tomar el parámetro
toma el aspecto de un objeto redondo, poco fractal, y solo el borde tiene la apariencia de fractal.
resulta que el conjunto de Julia es la circunferencia unitaria, con centro en el origen de coordenadas.
En las imágenes, se han tomado como valores de c: -1,3 + 0,00525·i; -0,72 – 0,196·i; -0,1 + 0,87·i y -0,51 – 0,601·i, por razones estéticas.
Se pueden generalizar estos conjuntos tomando otras relaciones de inducción:
con cualquier función compleja
Se puede también generalizar a cualquier dimensión, y emplear varias funciones en lugar de una sola.
