UNIVERSIDAD NACIONAL SAN CRISTBAL DE HUAMANGA

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y CIVIL

ESCUELA DE FORMACIN PROFESIONAL CIENCIAS FSICO

MATEMTICAS

ESPECIALIDAD MATEMTICA

PROYECTO DE TESIS

ge n s s + s
an a
am

nt
gu

+
c hr st ho ph
rs t a s +
ve

s o
un

Similitud entre los conjuntos de Julia y el conjunto de Mandelbrot

alrededor de los puntos de Misiurewickz

PRESENTADO POR

Mallqui Baos, Ricardo Michel

ASESORA

Nina Escalante, Martha

AYACUCHO PERU

SETIEMBRE 2017
ndice

1. Generalidades 1
1.1. Ttulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Tesista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3. Asesor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2. Resumen 1

3. Antecedentes 1
3.1. Internacionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
3.2. Nacionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
3.3. Regionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

4. Justificacin 2
4.0.1. Justificacin matemtica . . . . . . . . . . . . . . . . . . . . . . . . . . 2
4.0.2. Justificacin social y educativa . . . . . . . . . . . . . . . . . . . . . . . 2
4.0.3. Justificacin metodolgica . . . . . . . . . . . . . . . . . . . . . . . . . 2
4.0.4. Justificacin cientfica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
4.0.5. Justificacin Legal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

5. Planteamiento del problema 2

6. Hiptesis 3
6.1. Hiptesis general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
6.2. Hiptesis especficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

7. Objetivos 3
7.1. Objetivo general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
7.2. Objetivos especficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

8. Marco terico 3
8.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
8.1.1. Anlisis complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
8.1.2. El espacio mtrico (H (X ) , h); el espacio de los fractales . . . . . . . 5
8.2. El conjunto de Mandelbrot y los conjuntos de Julia . . . . . . . . . . . . . . 5
8.2.1. Iteracin de funciones complejas . . . . . . . . . . . . . . . . . . . . . 5
8.2.2. J c y M . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
8.2.3. Puntos de Misirewikcz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
8.3. Similitud entreM y J c en un vecindad de c . . . . . . . . . . . . . . . . . . . 9
8.3.1. lmn t c0 M , t c0 J c0 r = 0 . . . . . . . . . . . . . . . .

. . . . . . . 9
8.3.2. Repaso del teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
8.3.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

9. Mtodo del trabajo 11

9.1. Tipo de investigacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
9.2. Tcnica de investigacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
9.3. Procedimientos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

10.Descripcin del contenido del trabajo 12

I
11.Referencias 12
11.1.Libros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
11.2.Tesis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
11.3.Artculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
11.4.Webgrafa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

12.Anexos 13

II
1. Generalidades

1.1. Ttulo
Similitud entre los conjuntos de Julia y el conjunto de Mandelbrot alrededor de los
puntos de Misiurewickz

1.2. Tesista
Mallqui Baos, Ricardo Michel

1.3. Asesor
Nina Escalante, Martha

2. Resumen
Se desglosara el desarrollo de la demostracin del teorema de Lan que sugiere que
los conjuntos de Julia y el conjunto de Mandelbrot son similares en los entornos de los
puntos de Misiurewics

3. Antecedentes

3.1. Internacionales
Lan (1989) en su articulo Similarity Between the Mandelbrot Set and Julia Sets en
el Institut fur Dynamische Systeme, Universitat Bremen, W-2800 Bremen 33, Federal Re-
public of Germany, demuestra lo siguiente.

El conjunto de Mandelbrot M is auto similar sobre cualquier punto de Misiurewicz

c en la sensacin de que si examinamos una vecindad de c en M con un microscopio
muy poderoso, y luego al aumentar el factor de aumento , la imagen no cambiar excep-
to por una rotacin. El conjunto de Julia correspondiente Jc es tambin auto - similar
en el mismo sentido, con el mismo factor de aumento. Adems, los dos conjuntos M
y Jc son similares en el sentido de que si usamos un microscopio muy poderoso para
observar M y Jc , ambos centrados en c, las estructuras que vemos son muy similares.

Barnsley (1988) en su libro Fractal Everywhere en School of Mathematics Georgia

Institute of Technology Atlanta, Georgia and Iterated Systems, Inc. Atlanta, Georgia.

En el capitulo siete hace una introduccin a los conjuntos de Julia y Mandelbrot.

Conjuntos son fractales deterministas que surgen de la iteracin de funciones analticas
complejas. El objetivo es mostrar, explica el Algoritmo de Tiempo de Escape. El algo-
ritmo se basa en la existencia de conjuntos repulsivos para transformaciones continuas
que mapean conjuntos abiertos en conjuntos abiertos.

Kenneth (1990) en su libro Fractal Geometry en University of Bristol afirma

1
 Contiene ejemplos de fractales, demostracin de algunos Teoremas importantes con
respecto a los conjuntos de Julia y Mandelbrot, tambin algunas aplicaciones fsicas

3.2. Nacionales
No existe literatura nacional con respecto a este tema.

3.3. Regionales
No existe literatura regional con respecto a este tema.

4. Justificacin
Las razones por la cual se realiza el trabajo es, debido al inters del descubrimiento
de las intrincadas propiedades, de los conjuntos de Julia y el conjunto de Mandelbrot
y obtener algunos resultados interesantes de estos conjuntos y aportar a las investiga-
ciones sobre este tema de los fractales en el conjunto de los nmeros complejos, a los
futuros profesionales de Ciencias Fsico Matemticas.

Se realiza debido a que se necesita comprender y desglosar el Teorema que demues-

tra Similitud entre los conjuntos de Julia y el conjunto de Mandelbrot alrededor de los
puntos de Misiurewickz para descubrir algn aporte de inters.

Los aportes seran desglosar el teorema y proveer de ejemplos diversos con respecto
al tema Similarity Between the Mandelbrot Set and Julia Sets.

Beneficiaria a los futuros investigadores Kenneth (1990) de la escuela de Ciencias

Fsico Matemticas de la UNIVERSIDAD NACIONAL SAN CRISTOBAL DE HUAMANGA.

4.0.1. Justificacin matemtica

4.0.2. Justificacin social y educativa

4.0.3. Justificacin metodolgica

4.0.4. Justificacin cientfica

4.0.5. Justificacin Legal

5. Planteamiento del problema

En la acutlaidad , en nuestra sociedad no hay dassarrolo de las matematicas, como
deberi ser, em particular en la region Aycucho, muchas personas suelen odiar a las ma-
tematicas, pero saben que es muy util con mucho esfuerza, sin embargo esta ciencia es
la mas bellas que se deba estudair obliagatoemente para l desarrolo del entorno social,

Las matemticas muestra un aspecto grfico, y este es muy motivnate para su des-
cubriemito, visulamente se pueden deducir muchas conjeturas, que luego inducien a
ser mostradas simblicamente.

El nexo entre las matemticas y otros campos

2
6. Hiptesis

6.1. Hiptesis general

Los conjuntos de Julia y el conjunto de Mandelbrot son similares en una vecindad
de un punto de Misiurewics.

6.2. Hiptesis especficos

Mostrar detalles implcitos acerca del comportamiento de los puntos repulsivos.

Existe de una secuencia montona de contracciones y rotaciones.

7. Objetivos

7.1. Objetivo general

Demostrar que los conjuntos de Julia y el conjunto de Mandelbrot son similares en
los entornos de los puntos de Misiurewics.

7.2. Objetivos especficos

Mostrar detalles implcitos acerca del comportamiento secuencial del teorema.

Demostrar la existencia de una secuencia montona de contracciones y rotacio-

nes.

8. Marco terico

8.1. Preliminares
8.1.1. Anlisis complejo

El conjuntos C = C {} En esta seccin se recopilarla informacin acerca de la to-

palgia del plano complejo asociado al numero siendo esto posible con la ayuda de la
esfera de Riemann. De acuerdo a Rudin (1987) el conjunto C = C {} se llama plano
complejo ampliado, ( C). En C adoptamos la aritmtica usual con . C se le dota
de una topologa para la cual es un espacio compacto, es decir los entornos de los pun-
tos de a C son por definicin los entornos en C y para a = una base de entornos
en C viene dada por
Vr = {z C; |z| > r } {} ,
tomando todos los r > 0. C se puede identificar con

S = x, y, z R3 ; x 2 + y 2 + z 2 = 1 .

Proposicin 8.1. La aplicacin f : C S dada por f () = (0, 0, 1) = N y

|z|2 1

2x 2y
f x +i y = , ,
|z|2 + 1 |z|2 + 1 |z|2 + 1

3

z = x + i y C es una biyeccin cuya inversa es

x +i y
f 1 x, y, z =

1z
f establece un homeomorfismo entre C y S

Demostracin. La recta que pasa por N y un punto x, y en el plano z = 0 es r x, r y, 1 r ,
r R entonces al intersecar con S resulta r 2 x 2 + y 2 + (1 r )2 = 1 r = x 2 +y2 2 +1 por lo

tanto la funcin es

f x + yi = r x, r y, 1 r
p 2 !
2x 2y x2 + y 2 1
= p 2
,p 2
,p 2
2 2
x + y +1 2 2
x + y +1 x2 + y 2 + 1
|z|2 1

2x 2y
= , ,
|z|2 + 1 |z|2 + 1 |z|2 + 1

de
otro lado considerando la recta que pasa por N y un punto x, y, z de S se tiene
1

r x, r y, r (z 1) + 1 , al intersecar con el plano z = 0 resulta r (z 1) + 1 = 0 r = 1z
entonces la funcin inversa es

f 1 x, y, z = r x, r y, r (z 1) + 1


= r x, r y
x y
= ,
1z 1z
x y x+yi
lo cual al escribirlo como un nmero en C resulta ser f 1 x, y, z = 1z

+ 1z i = 1z

Definicin 8.2. La funcin f de la proposicin anterior recibe el nombre de proyeccin

estereogrfica.

Transformaciones analticas y conformes Son funciones de inters en el presente tra-

bajo debido al uso que se le d en la demostracin de Similitud entre los conjuntos de
Julia y el conjunto de Mandelbrot alrededor de los puntos de Misiurewickz, por ello se
hace una introduccin breve respecto a las funciones analticas y conformes. De acuer-
do a Rudin (1987) una transformacin analtica se define como

Definicin 8.3. Supongamos que f es un funcin compleja definida en D C. z 0 D y si

existe
f (z) f (z 0 )
f 0 (z 0 ) = lm
zz 0 z z0
que es la derivada de f en z 0 . Si existe f 0 (z 0 ) para todo z 0 D, se dice que f es holomorfa
(o analtica)
La existencia de f 0 (z 0 ) implica que a todo > 0 le corresponde > 0 tal que

f (z) f (z 0 ) 0
f (z 0 ) <

lm
zz0 z z0

para todo z D 0 (z 0 , ), Por tanto f 0 (z 0 ) es un numero complejo, obtenido como el limite

de cocientes de numeros complejos.

4
 De acuerdo a Bak y Newman (1997) una transformacin conforme se define como
Definicin 8.4. Supongas que f esta definida en una vecindad de z 0 . f es conforme en
z 0 si preserva ngulos.
Es decir para cada par de curvas suaves C 1 y C 2 interceptados en
x 0 , (C 1 ,C 2 ) = f (C 1 ) , (C 2 ) . Similarmente se dice que f es conforme en una region Dsi
es conforme en todo punto z D

8.1.2. El espacio mtrico (H (X ) , h); el espacio de los fractales

Segn Barnsley (1988) ste espacio se induce a partir de un espacio mtrico (X , d ),

ta les como los espacios R2 con la mtrica euclidiana o C2 con la mtrica esfrica, con
el objetivo, de analizar conjuntos de estructura fractal, incluidos en el espacio X
Definicin 8.5. Sea (X , d ) un espacio mtrico completo. Entonces H (X ) es el espacio,
cuyos puntos son subconjuntos compactos de X , estos distintos del vaco.
Definicin 8.6. Sea (X , d ) un espacio mtrico completo euclidiano, x X , y B H (X ) se
define la siguiente distancia
d 0 (x, B ) = mn d x, y ; y B .

(1)
Que es la distancia del puntos x al conjuntos B .
Definicin 8.7. Sea (X , d ) un espacio mtrico completo, sean A, B H (X ) se define la
siguiente distancia
% (A, B ) = max d 0 (x, B ) ; x A .

(2)
Que es la distancia del puntos A H (X ) al punto B H (X ).
Ya que los
conjuntos de H (X ) son compactos, hay puntos x A y y B tales que
% (A, B ) = d x, y .

Definicin 8.8. Sea (X , d ) un espacio mtrico completo, entonces la distancia de Haus-

dorff entre dos puntos A, B H (X ) se define por
h (A, B ) = max % (A, B ) , % (A, B ) .

(3)
Obserbacin 8.9. La distancia anterior h es una mtrica sobre el espacio H (X ). En efec-
H (X ). Es evidente que h (A, A) = max % (A, A) , % (A, A) =

to, sean A, B yC elementos de
% (A, A) = max d 0 (x, A) ; x A = 0.

McKinley (2016) Carleson y Gamelin (1992) Complex Dynamics

8.2. El conjunto de Mandelbrot y los conjuntos de Julia

8.2.1. Iteracin de funciones complejas

Si f : C C , entonces f n significa la n-esima iteracin de f La secuencia n f (z

1
0) =
1 2 1
f (z 0 ) , f (z 0 ) = f f (z 0 ) , f f f (z 0 ) = f (z 0 ) , etc. o en forma simplificada f (z 0 ) for-
ma una orbita del punto z 0 . Un punto z 0 es un punto fijo de f si f (z 0 ) = z 0 . Si z 0 C,
entonces este sera un punto fijo attractor si f 0 (z 0 ) < 1.

Adems que la secuencia de puntos z 0 , f (z 0 ) , f 2 (z 0 ) , , f p (z 0 ) forma un p-ciclo

tal que p es el mnimo numero tal que f p (z 0 ) = z 0 . Un p-ciclo es atractor si z 0 (o equi-

valentemente, todo punto p-ciclo) es un punto fijo atractor de f p . Finalmente, si z 0 es
un punto fijo de f , f 0 (z 0 ) es multiplico de z 0 . Anlogamente se define se define los ml-
p 0

tiplos de un p-ciclo como f (z 0 ) .

5
 2i
Ejemplo 8.10. Si f (z) = z 2 , entonces w = e 3 es un punto 2-peridico de f . Se observa
2i
que f (w) = w 2 = e 3 y f 2 (w) = w 4 = w entonces se dice que 2

w, w es un 2-ciclo
Resolviendo f 2 (z) = z resulta z 4 = z es decir z = o z z 2 + z + 1 = 0 es decir z = ,

0, w, w 2

De manera particular, considerando la dinmica de esta funcin en C, cuando el

parmetro c = 0. Entonces la funcin f 0 (z) = z 2 tiene un punto fijo en z = 0 donde los
puntos atractores estn en el interior del disco unitario {z, |z| < 0}. Cualquier punto del
circulo unitario S = {z, |z| = 1} tiene su imagen en el mismo circulo (el ngulo es doble).
Las orbitas de cualquier punto en {z, |z| > 1}, en el exterior del circulo unitario, diverge
al infinito. El circulo S forma una frontera entre la base de z = 0 y base del infinito.

Diferentes valores de c, z = 0 es un punto fijo. Debido a que si se considera todos

los nmeros complejos, la ecuacin z 2 + c = z tendr races. Por lo tanto f c tendr pun-
tos fijos. De hecho, hay una manera fcil de encontrar todos los puntos fijos y puntos
peridicos de f c de acuerdo al teorema de Fatou: Todo los ciclos atractores de funcio-
nes polinomiales f atrae a lo mucho un punto critico de f . Recientemente, Fatou probo
el resultado para funciones racionales, es decir funciones que son cocientes de polino-
mios. Ya que la funcin anterior f c tiene un solo punto critico z = 0, puede tener a lo
mucho una orbita peridica atractora. Kenneth (1990)

A veces f c no tiene atractor. Por ejemplo f i (z) = z 2 i . Entonces f 2 (0) = 1 i , el

cual es un punto peridico repelente El conjunto de Mandelbrot M se define como

8.2.2. Jc y M

De acuerdo a, Barnsley (1988) dada una funcin cuadrtica f : C C, definida por

f c (z) = z 2 + c donde z = x + yi es una variable compleja y c = a + bi es una constante
compleja. Lo cual en trminos de variable real f c se escribe como
2
f x + yi = x + yi + a + bi = x 2 y 2 + a + 2x y + b i .

Aquellos puntos z C, que satisfacen f cn (z) 9, n , c fijo, forman un conjunto aco-

tado que recibe el nombre de conjunto de relleno de Julia, formalmente

K c := z C; f cn (z) 9 cuando n

(4)
se observa que para cada c existe un conjunto K c .
De otro lado aquellos puntos c C que satisfacen f cn (0) 9 , n , forman el
conjunto de Mandelbrot. Formalmente.

M := c C; f cn (0) 9 cuando n

(5)
La conexidad de K c , depende de la perteneca de c a M refirase a la Figura 1, en la
Figura 1(b) se observan dos puntos donde solo una de ellas pretence a M (el de la iz-
quierda) y los respectivos de conjuntos Julia, la Figura 1(a) (conexa) est en funcin al
punto del punto izquierdo de la Figura 1(b), y la Figura 1(c) (disconexa), con respecto al
punto derecho, la Figura 1(b).
De hecho, es la orbita de 0 bajo la iteracin de P c (z). Es obvio que la nica mane-
ra que la orbita no este acotada, es que converga al . entonces alternativamente la
ecuacin anterior 5 se puede escribir como

6
 (a) K 0.4817620.531657i (b) M (c) K 0.110310.77037i

Figura 1: Conexidad de K , 0.481762 0.531657i M y 0.11031 0.77037i M

n o
M = c C; lm P cn (0) < (6)
n

Se denotara por Q n (c) = P cn (0). Donde Q 1 (c) = c, Q n+1 (c) = [Q n (c)]2 + c, entonces
Q n es un polinomio en c con coeficientes reales. Esto de acuerdo a la formula anterior
implica
P cn (0) = P cn (0)
y consecuente c M c M , significa que M es simtrica con respecto al eje real.
Para una c dada la orbita es
2
0, c, c 2 + c, c 2 + c + c,

y naturalmente podemos espera que para c muy grande, esto tiene al infinito, en otras
palabras, M es acotado. De hecho se prueba con el uso del siguiente lema. Devaney y
Keen (1985) Lynch (2010).

Lema 8.11. Sea c C, > 0 y

Wc, = z; |z| |c| y |z| 2 + .

Entonces P cn (0) para todo z 0 Wc, .

Demostracin. Sea z 0 Wc, . entonces

|P c (z 0 )| = z 02 + c |z 0 |2 |c| |z 0 |2 |z| |z 0 | (1 + ) .

Esto implica que P c (z 0 ) Wc, , repitiendo el proceso inductivamente se obtiene |P c (z 0 )|

|z 0 | (1 + )n por lo tanto P cn (z 0 )

Teorema 8.12. n o
M = c C; f ck (0)k1 esta acotada
n o
M = c C; f ck (0) 9 cuando k

f c (z) > 2 si z > r , es claro que f k (0) 9

Demostracin. Ya que hay un numero r tal que c
y nicamente si f ck (0) esta acotada, as las dos ecuaciones son iguales.

7
 Observe que si c M entonces |c| 2, ya que de otro lado se recurra al Lema ante-
rior con z 0 = c. Por l tanto M esta contenido en un disco cerrado de radio 2 ms aun se
obtiene una tercera caracterizacin de M

M = c C; |Q n (c)| 2 para todo n N

De otro lado si c M , entonces para todo n y > 0, Q n (c) Wc, ya que de lo con-
trario la secuencia escapa al infinito por el Lema ??. Esto significa que para todo n N
debe ocurrir que |Q n (0)| < |c| o |Q n (c)| 2 (como puede ser tomado arbitrariamente
pequeo) cuando n = 1 |c| < 2, ya que Q 1 (c) = c

Sea K := {z C; |z| 2}. La tercera caracterizacin de M se puede reescribir como

M= q n1 (K ) ;
\
n=1

Observe que par todo n, Q n1 (K ) es cerrado y acotado, as M es expresado como una

interseccin de una familia de compactos en C entonces M es compacto en C

8.2.3. Puntos de Misirewikcz

En punto de Misirewikcz es un parmetro en el conjunto de Mandelbrot (el espacio

de parmetros de polinomios cuadrticos) para el cual el punto critico es estrictamente
pre peridico (es decir es peridico despus de ms de 2 iteraciones finitas)

Por Misiurewickz point (2017) un parmetro c es un punto de Misiurewikz M k,n si

satisface las ecuaciones f ck (Zcr ) = f ck+n (z cr ) y f ck1 (z cr ) 6= f ck+n1 (z cr ) donde z cr es un
punto critico de f c , k y n son enteros positivos, y f ck denota la k sima iteracin de f c .

Un polinomio cuadrtico tiene solo un punto critico, Por el hecho de que cualquier
funcin cuadrtica es conjugado a a otra funcin de la forma f c (z) = z 2 +c, el cual tiene
solo un punto critico en z = 0. Los puntos de Misiurewikz de esta familia de funciones
son las races de las ecuaciones f ck (0) = f ck+n (0), sujeto a la condicin, de
que no debe
ser un punto crtico. Donde k es el pre periodo, n es el periodo y f cn = f c f cn1 como lo
es habitualmente.

Por ejemplo, dado k = 6 y n = 2, denotado por M 6,7 son las races de f c6+2 (0) = f c6 (0)
!2 2
2 2 2 2
2 2 2 2 2 2
c +c +c +c +c +c +c +c =
c +c +c +c +c +c

la figura 2 muestra los 128 puntos que son las races de esta ecuacin, realizado con
el programa Wolfram Mathematica 10.0.

Proposicin 8.13. Los puntos Misiurewikz pertenecen a la frontera del conjunto de Man-
delbrot y son densos en ella.

Proposicin 8.14. Si c es punto de Misiurewikz, entonces el conjunto de julia no tiene

interior esto es K c = J c

Proposicin 8.15. Si c es punto de Misiurewikz, entonces en el conjunto de julia corres-

pondiente, todos los ciclos peridicos, son repelentes.

8
 1.0

0.5

-2.0 -1.5 -1.0 -0.5 0.5

-0.5

-1.0

Figura 2: 128 puntos de la ecuacin f c6+2 (0) = f c6 (0)

8.3. Similitud entre M y J c en un vecindad de c

Al explorar visualmente, los conjuntos de Julia y el conjunto de Mandelbrot, existe
diferencia a nivel global, entre la estructura de estos, pero a nivel local , en entornos de
ciertos puntos estos son muy similares excepto por una rotacin y escala, y la demos-
tracin hecha en el articulo Similarity Between the Mandelbrot Set and Julia Sets, Lan
(1989), trasluce este fenmeno en aquellos entornos de puntos llamados puntos de Mi-
siurewicz, es decir aquellos puntos que son preperidicos de la funcin f c (z) = z 2 + c,
esto significa que estos puntos satisfacen la ecuacin f cl (c) = f p f cl (c) , l , p son nume-

ros enteros

8.3.1. lmn t c0 M , t c0 J c0 r = 0

Teorema 8.16. Sea c un punto de Misiurequicz. Entonces existen %0 con %0 > 1 r , r 0 ,

s > 0, un conjunto Z C con %0 Z = Z , y C {0} tal que

lm %n0 c0 , J c0 r = Zr ,

(7)
n

lm %n0 c0 , M r 0 = (Z )r 0 ,

(8)
n
y
lm t c0 M , t c0 J c0 r = 0.

(9)
n

8.3.2. Repaso del teorema

Este es un resumen de los paso para probar el teorema. Sea c 0 peridico eventual-
p
mente repulsivo bajo la iteracin de f c0 . Sea l , p los mnimos enteros tal que f c0 f cl0 (c 0 ) =

p 0
f cl0 (c 0 ). Sea 0 = f cl0 (c 0 ) y %0 = f c0 (0 ). Entonces para c desplazndose en una vecin-
dad W de c 0 en C ocurre los siguientes casos:

1. Hay un nico punto peridico repulsivo p0(c) de periodo p para f c tal que c 7 (c)
es analtica y (c 0 ) = 0 ; sea % (c) = f c0 ( (c)), la funcin c 7 % (c) es analtica
con % (c 0 ) = %0 (Teorema de la funcin implcita)

2. K c es asintticamente % (c) auto similar cerca de (c) con un modelo limite

X (c) que es completamente invariante bajo f c

9
 3. Existe un funcin conformal (la funcin linealizante) c definida en una vecindad
de (c) en C con ( (c)) = 0, ( (c)) = 1, c (K c ) = X (c) y (c, z) 7 c, c (z) es
0

analtica en una vecindad de f (c 0 , 0 ) C

4. El conjunto K = {(c, z) ; z K c } es cerrado en W C.

5. K c0 = J c0 .

6. Para u :7 c f cl (c) , se tiene M W = {c C; u (c) X (c)} = M u

7. u es analtica y u 0 (c 0 ) 6= 0
1
8. M es asintticamente %0 auto autosimilar cerca de c 0 con modelo limite u 0 (c 0 )
X (c 0 )
0
f cl0 (c 0 ) 6= 0 y K c0 cerca de c 0 son asintticamente %0 auto similares con el

9.
modelo limite l 10 X c0
f c0 (c 0 )

10. Finalmente M y K cerca de c 0 son asintticamente similares bajo la multiplication

0
f cl0 (c 0 )
de u 0 (c 0 )

8.3.3. Ejemplos

Ejemplo 8.17. Consideremos c = 0.77568377 + 0.13646737i

(a) M , r = 1 (b) M , r = 0.04 + 0.04i (c) M , r = 0.00004 +

0.00004i

(d) Jc , r = 1 (e) Jc , r = 0.04+0.04i (f ) Jc , r = 0.00004 +

0.00004i

Figura 3: Magnificaciones de Jc y M , donde c = 1.2228637871 0.3168822639i , 2r es

la longitud del marco

Ejemplo 8.18. Consideremos c = 0.22815549365396173 + 1.1151425080399375i

10
 (a) M , r = 1 (b) M , r = 0.04 + 0.04i (c) M , r = 0.00004 +
0.00004i

(d) Jc , r = 1 (e) Jc , r = 0.04+0.04i (f) Jc , r = 0.00004 +

0.00004i

Figura 4: Magnificaciones de Jc y M , donde c = 0.22815549365396173 +

1.1151425080399375i , 2r es la longitud del marco

9. Mtodo del trabajo

9.1. Tipo de investigacin

Investigacin documental. De acuerdo a Silva (2017), este tipo de investigacin es la
que se realiza, como su nombre lo indica, apoyndose en fuentes de carcter documen-
tal, esto es, en documentos de cualquier especie. Como subtipos de esta investigacin
encontramos la investigacin bibliogrfica, la hemerogrfica y la archivstica; la primera
se basa en la consulta de libros, la segunda en artculos o ensayos de revistas y peridi-
cos, y la tercera en documentos que se encuentran en los archivos, como cartas, oficios,
circulares, expedientes, etctera.

9.2. Tcnica de investigacin

Investigacin cientfica. La Investigacin es un proceso que, mediante la aplicacin
del mtodo cientfico, procura obtener informacin relevante y fidedigna (digna de fe y
crdito), para entender, verificar, corregir o aplicar el conocimiento. Leer ms:

9.3. Procedimientos
Anlisis bibliogrfico, interpretacin del marco terico, demostracin del teorema
Similitud entre los conjuntos de Julia y el conjunto de Mandelbrot alrededor de los pun-
tos de Misiurewickz

11
10. Descripcin del contenido del trabajo
La tesis se dividir en 3 captulos.

CAPITULO I Preliminares.

1.1. Anlisis complejo.

1.2. El espacio. (H (X ) , h).

CAPITULO II El conjunto de Mandelbrot y los conjuntos de Julia.

2.1. Iteracin de funciones complejas.

2.2. M y J c .
2.3. Puntos de Misiurewikcz.

CAPITULO III Similitud entre los conjuntos de Julia con el conjunto de Mandelbrot.

3.1. El teorema de Tan Lei.

3.2. Repaso y aplicaciones del teorema.
3.3. Ejemplos.

11. Referencias

11.1. Libros
Bak, J. & Newman, D. J. (1997). Comlex analysis (2.a ed.). United States of America: Sprin-
ger.
Barnsley, M. (1988). Fractal everywhere (2.a ed.). 1250 Sixth Avenue, San Diego,CA 92101
Londres: Academic Press. Inc.
Carleson, L. & Gamelin, T. W. (1992). Complex dynamics. Los Angeles: Springer Verlag.
Devaney, R. L. & Keen, L. (1985). Chaos and fractals the mathematics behind the compu-
ter graphics. United States of Amrica: United States of Society.
Kenneth, F. (1990). Fractal geometry (4.a ed.). West Sussex PO19 IUD England: Academic
Press. Inc.
Lynch, S. (2010). Dynamical systems with applications using maple. Spring Street, New
York: Birkhauser Boston.
Rudin, W. (1987). Real and complex analysis (3.a ed.). University of Wisconsin, Madison:
Alhambra.

11.2. Tesis
McKinley, M. C. (2016). Fractal shapes generated by iterated function systems (thesis, BS,
Spring Hill College, USA).

11.3. Artculos
Lan, L. (1989). Similarity between the mandelbrot set and julia sets. Communications in
Mathematical Physics, (134), 587-617.

12
11.4. Webgrafa
Misiurewickz point. (2017). Misiurewickz point: Mathematical notation. (2017). Recupe-
rado el 1 de octubre de 2017, desde %5Curl%7Bhttp://en,wikipedia.org/w/index.
php?title=Misiurewickz_point&oldid=790779354%7D
Silva, L. d. l. F. (2017). Investigacin cientfica: Tipo de investigacin. Recuperado el 1 de
octubre de 2017, desde %5Curl%7Bhttp://www.monografias.com/trabajos7/inci/
inci.shtml#tipo#ixzz4rNPpbJ8a%7D

12. Anexos

13