![Page 1: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/1.jpg)
Un acercamiento a lossistemas de funciones iteradas
Seminario departamental
Gamaliel Yafte Tellez Sanchez
Escuela Superior de Fısica y Matematicas - I. P. N.
16 de Agosto del 2018
![Page 2: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/2.jpg)
Contenido
Espacios metricoscompletos
Metrica deHausdorff
Contracciones
Sistemas de FuncionesIteradas
Operador deHutchinson
Atractor asociadosl SFI
2 / 19
![Page 3: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/3.jpg)
Contenido
Espacios metricoscompletos
Metrica deHausdorff
Contracciones
Sistemas de FuncionesIteradas
Operador deHutchinson
Atractor asociadosl SFI
2 / 19
![Page 4: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/4.jpg)
Contenido
Espacios metricoscompletos
Metrica deHausdorff
Contracciones
Sistemas de FuncionesIteradas
Operador deHutchinson
Atractor asociadosl SFI
2 / 19
![Page 5: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/5.jpg)
Contenido
Espacios metricoscompletos
Metrica deHausdorff
Contracciones
Sistemas de FuncionesIteradas
Operador deHutchinson
Atractor asociadosl SFI
2 / 19
![Page 6: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/6.jpg)
Contenido
Espacios metricoscompletos
Metrica deHausdorff
Contracciones
Sistemas de FuncionesIteradas
Operador deHutchinson
Atractor asociadosl SFI
2 / 19
![Page 7: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/7.jpg)
Contenido
Espacios metricoscompletos
Metrica deHausdorff
Contracciones
Sistemas de FuncionesIteradas
Operador deHutchinson
Atractor asociadosl SFI
2 / 19
![Page 8: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/8.jpg)
Un objeto se llama fractal, si no puede ser descrito a partir de geometrıa elementaly cumple una propiedad de autosimilitud.
3 / 19
![Page 9: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/9.jpg)
Un objeto se llama fractal, si no puede ser descrito a partir de geometrıa elementaly cumple una propiedad de autosimilitud.
3 / 19
![Page 10: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/10.jpg)
Un objeto se llama fractal, si no puede ser descrito a partir de geometrıa elementaly cumple una propiedad de autosimilitud.
3 / 19
![Page 11: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/11.jpg)
Un objeto se llama fractal, si no puede ser descrito a partir de geometrıa elementaly cumple una propiedad de autosimilitud.
3 / 19
![Page 12: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/12.jpg)
Espacios metricoscompletos
![Page 13: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/13.jpg)
(X , d) denotara un espacio metrico.
(xn)n∈N ⊂ X es una sucesion deCauchy, si ∀ε > 0, ∃N ∈ N, tal que sin,m ∈ N con n,m ≥ N, entoncesd(xn, xm) < ε.
(X , d) se dice completo si todasucesion de Cauchy es convergente.
(1n
)n∈N
(R, du) ((0, 1], du)
CompletoNo
completo
5 / 19
![Page 14: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/14.jpg)
(X , d) denotara un espacio metrico.
(xn)n∈N ⊂ X es una sucesion deCauchy, si ∀ε > 0, ∃N ∈ N, tal que sin,m ∈ N con n,m ≥ N, entoncesd(xn, xm) < ε.
(X , d) se dice completo si todasucesion de Cauchy es convergente.
(1n
)n∈N
(R, du) ((0, 1], du)
CompletoNo
completo
5 / 19
![Page 15: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/15.jpg)
(X , d) denotara un espacio metrico.
(xn)n∈N ⊂ X es una sucesion deCauchy, si ∀ε > 0, ∃N ∈ N, tal que sin,m ∈ N con n,m ≥ N, entoncesd(xn, xm) < ε.
(X , d) se dice completo si todasucesion de Cauchy es convergente.
(1n
)n∈N
(R, du) ((0, 1], du)
CompletoNo
completo
5 / 19
![Page 16: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/16.jpg)
(X , d) denotara un espacio metrico.
(xn)n∈N ⊂ X es una sucesion deCauchy, si ∀ε > 0, ∃N ∈ N, tal que sin,m ∈ N con n,m ≥ N, entoncesd(xn, xm) < ε.
(X , d) se dice completo si todasucesion de Cauchy es convergente.
(1n
)n∈N
(R, du) ((0, 1], du)
CompletoNo
completo
5 / 19
![Page 17: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/17.jpg)
(X , d) denotara un espacio metrico.
(xn)n∈N ⊂ X es una sucesion deCauchy, si ∀ε > 0, ∃N ∈ N, tal que sin,m ∈ N con n,m ≥ N, entoncesd(xn, xm) < ε.
(X , d) se dice completo si todasucesion de Cauchy es convergente.
(1n
)n∈N
(R, du) ((0, 1], du)
CompletoNo
completo
5 / 19
![Page 18: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/18.jpg)
H(X ) := {A ∈ 2X | A 6= ∅ ∧ A es compacto}
Sen x ∈ X y B ∈ H(X ),
d(x ,B) = mınb∈B{d(x , b)}.
Sea A ∈ H(X ),
d(A,B) = maxa∈A{d(a,B)}.
(R, du), A = {1, 2, 3}, B = {2, 3, 5}
du(A,B) = 1
pero du(B,A) = 2
6 / 19
![Page 19: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/19.jpg)
H(X ) := {A ∈ 2X | A 6= ∅ ∧ A es compacto}
Sen x ∈ X y B ∈ H(X ),
d(x ,B) = mınb∈B{d(x , b)}.
Sea A ∈ H(X ),
d(A,B) = maxa∈A{d(a,B)}.
(R, du), A = {1, 2, 3}, B = {2, 3, 5}
du(A,B) = 1
pero du(B,A) = 2
6 / 19
![Page 20: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/20.jpg)
H(X ) := {A ∈ 2X | A 6= ∅ ∧ A es compacto}
Sen x ∈ X y B ∈ H(X ),
d(x ,B) = mınb∈B{d(x , b)}.
Sea A ∈ H(X ),
d(A,B) = maxa∈A{d(a,B)}.
(R, du), A = {1, 2, 3}, B = {2, 3, 5}
du(A,B) = 1
pero du(B,A) = 2
6 / 19
![Page 21: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/21.jpg)
H(X ) := {A ∈ 2X | A 6= ∅ ∧ A es compacto}
Sen x ∈ X y B ∈ H(X ),
d(x ,B) = mınb∈B{d(x , b)}.
Sea A ∈ H(X ),
d(A,B) = maxa∈A{d(a,B)}.
(R, du),
A = {1, 2, 3}, B = {2, 3, 5}
du(A,B) = 1
pero du(B,A) = 2
6 / 19
![Page 22: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/22.jpg)
H(X ) := {A ∈ 2X | A 6= ∅ ∧ A es compacto}
Sen x ∈ X y B ∈ H(X ),
d(x ,B) = mınb∈B{d(x , b)}.
Sea A ∈ H(X ),
d(A,B) = maxa∈A{d(a,B)}.
(R, du), A = {1, 2, 3},
B = {2, 3, 5}
du(A,B) = 1
pero du(B,A) = 2
6 / 19
![Page 23: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/23.jpg)
H(X ) := {A ∈ 2X | A 6= ∅ ∧ A es compacto}
Sen x ∈ X y B ∈ H(X ),
d(x ,B) = mınb∈B{d(x , b)}.
Sea A ∈ H(X ),
d(A,B) = maxa∈A{d(a,B)}.
(R, du), A = {1, 2, 3}, B = {2, 3, 5}
du(A,B) = 1
pero du(B,A) = 2
6 / 19
![Page 24: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/24.jpg)
H(X ) := {A ∈ 2X | A 6= ∅ ∧ A es compacto}
Sen x ∈ X y B ∈ H(X ),
d(x ,B) = mınb∈B{d(x , b)}.
Sea A ∈ H(X ),
d(A,B) = maxa∈A{d(a,B)}.
(R, du), A = {1, 2, 3}, B = {2, 3, 5}
du(A,B) = 1
pero du(B,A) = 2
6 / 19
![Page 25: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/25.jpg)
H(X ) := {A ∈ 2X | A 6= ∅ ∧ A es compacto}
Sen x ∈ X y B ∈ H(X ),
d(x ,B) = mınb∈B{d(x , b)}.
Sea A ∈ H(X ),
d(A,B) = maxa∈A{d(a,B)}.
(R, du), A = {1, 2, 3}, B = {2, 3, 5}
du(A,B) = 1 pero du(B,A) = 2
6 / 19
![Page 26: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/26.jpg)
Metrica de Hausdorff
Sea h : H(X )×H(X )→ R+ ∪ {0}, talque ∀A,B ∈ H(X ),
h(A,B) = max{d(A,B), d(B,A)}.
A
B
h(A,B)→ 0
A
B
h(A,B) 6= 0
7 / 19
![Page 27: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/27.jpg)
Metrica de Hausdorff
Sea h : H(X )×H(X )→ R+ ∪ {0}, talque ∀A,B ∈ H(X ),
h(A,B) = max{d(A,B), d(B,A)}.
A
B
h(A,B)→ 0
A
B
h(A,B) 6= 0
7 / 19
![Page 28: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/28.jpg)
Metrica de Hausdorff
Sea h : H(X )×H(X )→ R+ ∪ {0}, talque ∀A,B ∈ H(X ),
h(A,B) = max{d(A,B), d(B,A)}.
A
B
h(A,B)→ 0
A
B
h(A,B) 6= 0
7 / 19
![Page 29: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/29.jpg)
Teorema (Completitud de H(X ))
Si (X , d) es un espacio metrico completo, entonces (H(X ), h) tambien lo es.
[Barnsley1988] M. F. Barnsley, Fractals Everywhere, Academic Press Inc, 1raedicion, ISBN: 0-12-079062-9s; (1988).
[Hausdorff1937] F. Hausdorff, Set Theory (Traduccion de la 3ra Edicion deGrundzuge der Mengenlehre), Chelsea Publishing Company, 2da edicion;(1957).
8 / 19
![Page 30: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/30.jpg)
Teorema (Completitud de H(X ))
Si (X , d) es un espacio metrico completo, entonces (H(X ), h) tambien lo es.
[Barnsley1988] M. F. Barnsley, Fractals Everywhere, Academic Press Inc, 1raedicion, ISBN: 0-12-079062-9s; (1988).
[Hausdorff1937] F. Hausdorff, Set Theory (Traduccion de la 3ra Edicion deGrundzuge der Mengenlehre), Chelsea Publishing Company, 2da edicion;(1957).
8 / 19
![Page 31: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/31.jpg)
Contracciones
f : X → X se dice que es una contracion si existe C ∈ [0, 1) tal que ∀x , y ∈ X ,
d(f (x), f (y)) ≤ Cd(x , y).
([1, 2], du)
,
r2 : [1, 2]→ [1, 2] tal que,
r2(x) =1
2
(x +
2
x
).
⇒ du(r2(x), r2(y)) ≤ 12du(x , y).
9 / 19
![Page 32: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/32.jpg)
Contracciones
f : X → X se dice que es una contracion si existe C ∈ [0, 1) tal que ∀x , y ∈ X ,
d(f (x), f (y)) ≤ Cd(x , y).
([1, 2], du),
r2 : [1, 2]→ [1, 2] tal que,
r2(x) =1
2
(x +
2
x
).
⇒ du(r2(x), r2(y)) ≤ 12du(x , y).
9 / 19
![Page 33: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/33.jpg)
Contracciones
f : X → X se dice que es una contracion si existe C ∈ [0, 1) tal que ∀x , y ∈ X ,
d(f (x), f (y)) ≤ Cd(x , y).
([1, 2], du), r2 : [1, 2]→ [1, 2] tal que,
r2(x) =1
2
(x +
2
x
).
⇒ du(r2(x), r2(y)) ≤ 12du(x , y).
9 / 19
![Page 34: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/34.jpg)
Contracciones
f : X → X se dice que es una contracion si existe C ∈ [0, 1) tal que ∀x , y ∈ X ,
d(f (x), f (y)) ≤ Cd(x , y).
([1, 2], du), r2 : [1, 2]→ [1, 2] tal que,
r2(x) =1
2
(x +
2
x
).
⇒ du(r2(x), r2(y)) ≤ 12du(x , y).
9 / 19
![Page 35: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/35.jpg)
Teorema del punto fijo de Banach
Si (X , d) es un espacio metrico completo y f : X → X una contraccion, entoncesexiste un unico punto fijo x0 ∈ X de f . Sea x ∈ X , entonces
x0 = lımn→∞
f ◦(n)(x), f ◦(n)(x) = (f ◦ ... ◦ f )︸ ︷︷ ︸n veces
(x)
r2(√
2)
=√
2.
10 / 19
![Page 36: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/36.jpg)
Teorema del punto fijo de Banach
Si (X , d) es un espacio metrico completo y f : X → X una contraccion, entoncesexiste un unico punto fijo x0 ∈ X de f . Sea x ∈ X , entonces
x0 = lımn→∞
f ◦(n)(x), f ◦(n)(x) = (f ◦ ... ◦ f )︸ ︷︷ ︸n veces
(x)
r2(√
2)
=√
2.
10 / 19
![Page 37: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/37.jpg)
Sistemas de funcionesiteradas
![Page 38: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/38.jpg)
{(X , d), f1, ..., fn} es un sistema defunciones iteradas (SFI), si
(X , d) es un espacio metricocompleto.
∀j ∈ {1, ..., n}, fj : X → X es unacontraccion.
[Barnsley1988] M. F. Barnsley, FractalsEverywhere, Academic Press Inc,1ra edicion, ISBN: 0-12-079062-9s;(1988).
Σ := {(R2, du), f1, f2, f3} con
f1(x , y) =2
3(x , y),
f2(x , y) =
(1
3x +
2
3,
2
3y
),
f3(x , y) =
(2
3x ,
1
3y +
2
3
).
12 / 19
![Page 39: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/39.jpg)
{(X , d), f1, ..., fn} es un sistema defunciones iteradas (SFI), si
(X , d) es un espacio metricocompleto.
∀j ∈ {1, ..., n}, fj : X → X es unacontraccion.
[Barnsley1988] M. F. Barnsley, FractalsEverywhere, Academic Press Inc,1ra edicion, ISBN: 0-12-079062-9s;(1988).
Σ := {(R2, du), f1, f2, f3} con
f1(x , y) =2
3(x , y),
f2(x , y) =
(1
3x +
2
3,
2
3y
),
f3(x , y) =
(2
3x ,
1
3y +
2
3
).
12 / 19
![Page 40: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/40.jpg)
{(X , d), f1, ..., fn} es un sistema defunciones iteradas (SFI), si
(X , d) es un espacio metricocompleto.
∀j ∈ {1, ..., n}, fj : X → X es unacontraccion.
[Barnsley1988] M. F. Barnsley, FractalsEverywhere, Academic Press Inc,1ra edicion, ISBN: 0-12-079062-9s;(1988).
Σ := {(R2, du), f1, f2, f3} con
f1(x , y) =2
3(x , y),
f2(x , y) =
(1
3x +
2
3,
2
3y
),
f3(x , y) =
(2
3x ,
1
3y +
2
3
).
12 / 19
![Page 41: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/41.jpg)
{(X , d), f1, ..., fn} es un sistema defunciones iteradas (SFI), si
(X , d) es un espacio metricocompleto.
∀j ∈ {1, ..., n}, fj : X → X es unacontraccion.
[Barnsley1988] M. F. Barnsley, FractalsEverywhere, Academic Press Inc,1ra edicion, ISBN: 0-12-079062-9s;(1988).
Σ := {(R2, du), f1, f2, f3} con
f1(x , y) =2
3(x , y),
f2(x , y) =
(1
3x +
2
3,
2
3y
),
f3(x , y) =
(2
3x ,
1
3y +
2
3
).
12 / 19
![Page 42: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/42.jpg)
{(X , d), f1, ..., fn} es un sistema defunciones iteradas (SFI), si
(X , d) es un espacio metricocompleto.
∀j ∈ {1, ..., n}, fj : X → X es unacontraccion.
[Barnsley1988] M. F. Barnsley, FractalsEverywhere, Academic Press Inc,1ra edicion, ISBN: 0-12-079062-9s;(1988).
Σ := {(R2, du), f1, f2, f3} con
f1(x , y) =2
3(x , y),
f2(x , y) =
(1
3x +
2
3,
2
3y
),
f3(x , y) =
(2
3x ,
1
3y +
2
3
).
12 / 19
![Page 43: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/43.jpg)
Operador de Hutchinson
Sea {(X , d), f1, ..., fn} un SFI. El operador de Hutchinson asociado al SFI, sedefine como
H : H(X )→ H(X ),
H(A) =n⋃
j=1
fj(A).
13 / 19
![Page 44: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/44.jpg)
Los SFI generan fractales.
Teorema (Operador de Hutchinson como contraccion)
Si {(X , d), f1, ..., fn} es un SFI y que ∀j ∈ {1, ..., n}, Cj es el respectivo factor decontraccion para fj , entonces H : H(X )→ H(X ) es una contraccion y cumple que
h(H(A),H(B)) ≤ Sh(A,B),
con S = maxj∈{1,...,n}
Cj .
[Hutchinson1981] J. Hutchinson, Fractals and Self-Similarity, Indian UniversityMathematics Journal, vol. 30, no. 5, pp. 713-747; (1981).
14 / 19
![Page 45: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/45.jpg)
Los SFI generan fractales.
Teorema (Operador de Hutchinson como contraccion)
Si {(X , d), f1, ..., fn} es un SFI y que ∀j ∈ {1, ..., n}, Cj es el respectivo factor decontraccion para fj , entonces H : H(X )→ H(X ) es una contraccion y cumple que
h(H(A),H(B)) ≤ Sh(A,B),
con S = maxj∈{1,...,n}
Cj .
[Hutchinson1981] J. Hutchinson, Fractals and Self-Similarity, Indian UniversityMathematics Journal, vol. 30, no. 5, pp. 713-747; (1981).
14 / 19
![Page 46: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/46.jpg)
Los SFI generan fractales.
Teorema (Operador de Hutchinson como contraccion)
Si {(X , d), f1, ..., fn} es un SFI y que ∀j ∈ {1, ..., n}, Cj es el respectivo factor decontraccion para fj , entonces H : H(X )→ H(X ) es una contraccion y cumple que
h(H(A),H(B)) ≤ Sh(A,B),
con S = maxj∈{1,...,n}
Cj .
[Hutchinson1981] J. Hutchinson, Fractals and Self-Similarity, Indian UniversityMathematics Journal, vol. 30, no. 5, pp. 713-747; (1981).
14 / 19
![Page 47: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/47.jpg)
Atractor asociado a un SFI
Por completitud de H(X ) y el Teorema del Punto Fijo, existe un unico A0 ∈ H(X )tal que
H(A0) = A0.
A0 se llamara el atractor asociado al SFI.
15 / 19
![Page 48: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/48.jpg)
H◦(0)(A) := A
H◦(1)(A)
H◦(2)(A)
H◦(5)(A)
H◦(9)(A)
Σ := {(R2, du), f1, f2, f3} en Diap. 12.
16 / 19
![Page 49: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/49.jpg)
H◦(0)(A) := A
H◦(1)(A)
H◦(2)(A)
H◦(5)(A)
H◦(9)(A)
Σ := {(R2, du), f1, f2, f3} en Diap. 12.
16 / 19
![Page 50: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/50.jpg)
H◦(0)(A) := A
H◦(1)(A)
H◦(2)(A)
H◦(5)(A)
H◦(9)(A)
Σ := {(R2, du), f1, f2, f3} en Diap. 12.
16 / 19
![Page 51: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/51.jpg)
H◦(0)(A) := A
H◦(1)(A)
H◦(2)(A)
H◦(5)(A)
H◦(9)(A)
Σ := {(R2, du), f1, f2, f3} en Diap. 12.
16 / 19
![Page 52: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/52.jpg)
H◦(0)(A) := A
H◦(1)(A)
H◦(2)(A)
H◦(5)(A)
H◦(9)(A)
Σ := {(R2, du), f1, f2, f3} en Diap. 12.
16 / 19
![Page 53: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/53.jpg)
No todo SFI genera un fractal.
{(R2, du), f1, f2} tal que
f1(x , y) =1
2(x , y) ,
f2(x , y) =1
2(x , y) +
(1
2,
1
2
).
A := {(x , x)|x ∈ [0, 1]},
H(A) = A.
(0, 0) (1, 0)
H◦(1)(A)H◦(3)(A)
(0, 0)
(1, 1)
H(A)
17 / 19
![Page 54: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/54.jpg)
No todo SFI genera un fractal.
{(R2, du), f1, f2} tal que
f1(x , y) =1
2(x , y) ,
f2(x , y) =1
2(x , y) +
(1
2,
1
2
).
A := {(x , x)|x ∈ [0, 1]},
H(A) = A.
(0, 0) (1, 0)
H◦(1)(A)H◦(3)(A)
(0, 0)
(1, 1)
H(A)
17 / 19
![Page 55: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/55.jpg)
No todo SFI genera un fractal.
{(R2, du), f1, f2} tal que
f1(x , y) =1
2(x , y) ,
f2(x , y) =1
2(x , y) +
(1
2,
1
2
).
A := {(x , x)|x ∈ [0, 1]},
H(A) = A.
(0, 0) (1, 0)
H◦(1)(A)H◦(3)(A)
(0, 0)
(1, 1)
H(A)
17 / 19
![Page 56: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/56.jpg)
No todo SFI genera un fractal.
{(R2, du), f1, f2} tal que
f1(x , y) =1
2(x , y) ,
f2(x , y) =1
2(x , y) +
(1
2,
1
2
).
A := {(x , x)|x ∈ [0, 1]},
H(A) = A.
(0, 0) (1, 0)
H◦(1)(A)H◦(3)(A)
(0, 0)
(1, 1)
H(A)
17 / 19
![Page 57: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/57.jpg)
No todo SFI genera un fractal.
{(R2, du), f1, f2} tal que
f1(x , y) =1
2(x , y) ,
f2(x , y) =1
2(x , y) +
(1
2,
1
2
).
A := {(x , x)|x ∈ [0, 1]},
H(A) = A.
(0, 0) (1, 0)
H◦(1)(A)
H◦(3)(A)
(0, 0)
(1, 1)
H(A)
17 / 19
![Page 58: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/58.jpg)
No todo SFI genera un fractal.
{(R2, du), f1, f2} tal que
f1(x , y) =1
2(x , y) ,
f2(x , y) =1
2(x , y) +
(1
2,
1
2
).
A := {(x , x)|x ∈ [0, 1]},
H(A) = A.
(0, 0) (1, 0)
H◦(1)(A)
H◦(3)(A)
(0, 0)
(1, 1)
H(A)
17 / 19
![Page 59: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/59.jpg)
No todo SFI genera un fractal.
{(R2, du), f1, f2} tal que
f1(x , y) =1
2(x , y) ,
f2(x , y) =1
2(x , y) +
(1
2,
1
2
).
A := {(x , x)|x ∈ [0, 1]},
H(A) = A.
(0, 0) (1, 0)
H◦(1)(A)H◦(3)(A)
(0, 0)
(1, 1)
H(A)
17 / 19
![Page 60: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/60.jpg)
Bibliografıa Recomendada
[Mandelbrot1997] B. Mandelbrot, The Fractal Geometry of Nature, W. H. Freemanand Company, ISBN: 978-0-7167-1186-5; (1997).
[Barnsley2006] M. F. Barnsley, SuperFractals, Cambridge University Press, 1raedcion, ISBN: 978-0-5218-4493-2, (2006).
[PJS2004] H. O. Peitgen, H. Jurgens, D. Saupe, Chaos and Fractals, New Frontiersof Science, Springer, 2da edicion, ISBN: 0-387-21823-8; (2004).
18 / 19
![Page 61: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/61.jpg)
Bibliografıa Recomendada
[Mandelbrot1997] B. Mandelbrot, The Fractal Geometry of Nature, W. H. Freemanand Company, ISBN: 978-0-7167-1186-5; (1997).
[Barnsley2006] M. F. Barnsley, SuperFractals, Cambridge University Press, 1raedcion, ISBN: 978-0-5218-4493-2, (2006).
[PJS2004] H. O. Peitgen, H. Jurgens, D. Saupe, Chaos and Fractals, New Frontiersof Science, Springer, 2da edicion, ISBN: 0-387-21823-8; (2004).
18 / 19
![Page 62: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/62.jpg)
Bibliografıa Recomendada
[Mandelbrot1997] B. Mandelbrot, The Fractal Geometry of Nature, W. H. Freemanand Company, ISBN: 978-0-7167-1186-5; (1997).
[Barnsley2006] M. F. Barnsley, SuperFractals, Cambridge University Press, 1raedcion, ISBN: 978-0-5218-4493-2, (2006).
[PJS2004] H. O. Peitgen, H. Jurgens, D. Saupe, Chaos and Fractals, New Frontiersof Science, Springer, 2da edicion, ISBN: 0-387-21823-8; (2004).
18 / 19
![Page 63: Un acercamiento a los sistemas de funciones iteradasesfm.egormaximenko.com/sd/Tellez_Sanchez_2018b_seminario_dep… · Un acercamiento a los sistemas de funciones iteradas Seminario](https://reader036.vdocuments.co/reader036/viewer/2022071003/5fc04f4221242d056c65b463/html5/thumbnails/63.jpg)
¡Gracias!