Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fractales Uis 2017 PDF
Fractales Uis 2017 PDF
Una introduccin a la
geometra fractal
Introduccin v
1. Generalidades 1
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. La autosimilitud . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.9. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
6. Talleres 191
Referencias 223
Introduccin
La geometra fractal nace en la dcada de los aos setenta del siglo pasado y se en-
marca en las reas del anlisis matemtico, la geometra, la topologa y la matemtica
aplicada. Por otra parte, dado que en esta geometra la interaccin con el computa-
dor es indispensable, dadas tambin las muy diversas aplicaciones que se le vienen
encontrando, y dada la vistosidad de las guras que en ella se estudian y su proxi-
midad con objetos y fenmenos de la naturaleza, se puede armar que los fractales
constituyen actualmente una interesante alternativa de trabajo en el campo de la
educacin matemtica.
El presente trabajo ha sido escrito con el objetivo de servir como texto gua para
el desarrollo de un curso de introduccin a la geometra fractal a nivel universi-
tario y con un tratamiento formal desde el punto de vista matemtico. Pretendemos
de esta manera contribuir a la divulgacin, estudio e investigacin de la geometra
fractal tanto en la UIS como en universidades de otras latitudes del habla hispana.
Existen ya actualmente varios libros introductorios a la geometra fractal; sin em-
bargo la mayora de ellos son principalmente de tipo divulgativo, y los que hacen un
tratamiento ms formal estn en idioma ingls.
Por otra parte se incluyen en nuestro texto algunos resultados originales, como el
ejemplo de una bola no convexa (Ejemplo 2.3.11(7)) obtenido por el profesor G.
Arenas (ver [2]); tambin en el captulo 4, ms exactamente en la seccin 4.4, apare-
cen algunos resultados relativos al ya muy conocido tringulo de Sierpiski. La idea
esencial de la Proposicin 4.4.19 es debida al excelente matemtico, especialista en
Sistemas Dinmicos, colega y amigo Dr. Hctor Mndez Lango, profesor de la Univer-
sidad Nacional Autnoma de Mxico (UNAM), quien como parte de su ao sabtico
estuvo acompandonos durante los meses de agosto de 2007 a enero de 2008, rea-
lizando una estancia acadmica en la UIS. El Dr. Mndez Lango es adems autor
del captulo 5 del presente texto, como lo comentaremos de nuevo ms adelante. La
Proposicin 4.4.13 es debida al tambin excelente matemtico, colega y amigo pro-
fesor Hber Mesa Palomino, distinguido egresado de la Licenciatura en Matemticas
de la UIS, M.Sc. de la Universidad del Valle (UNIVALLE) y actualmente profesor
en la UNIVALLE; dicha proposicin es parte de su trabajo de monografa de la
Licenciatura (ver [25]) y aparece tambin publicado en [26].
El captulo cinco, Breve visita a los sistemas dinmicos discretos, se ha incluido por
la estrecha relacin que existe entre los fractales y los sistemas dinmicos en cuanto
estos ltimos proporcionan otro mtodo para obtener fractales. Como ya se coment
anteriormente, este captulo ha sido elaborado por el Dr. Hctor Mndez Lango,
quien durante su estancia en nuestra Escuela de Matemticas orient la mayora de
las sesiones semanales de nuestro seminario de Fractales, y con quien adems tuvimos
otras muy agradables reuniones de trabajo.
contribuyeron en una u otra forma con la elaboracin y buen trmino de este trabajo:
la UIS, la Escuela de Matemticas, todos los estudiantes que en algn momento de su
carrera tomaron el curso de Geometra Moderna, todos los asistentes y participantes,
permanentes y pasajeros, del Seminario de Fractales que se realiz durante varios aos
en la Escuela de Matemticas de la UIS, tambin a Leidy Yadira Velasco y Camilo
Ramrez, quienes colaboraron con la digitacin de parte del presente documento.
Esperamos entonces que el material que estamos ofreciendo se convierta en una buena
alternativa de apoyo para el desarrollo de un curso introductorio de geometra fractal
a nivel universitario.
Los autores
Bucaramanga, abril de 2011
Captulo 1
Generalidades
1.1. Introduccin
Naturalmente podemos ubicar la geometra fractal en ese gran continente del mundo
de la matemtica llamado geometra, junto a la geometra proyectiva, la geometra
euclidiana, las no euclidianas y la topologa. La palabra geometra viene del griego
geo: tierra, y metrein: medir. La geometra euclidiana es la geometra clsica que
empezamos a estudiar desde la escuela primaria; es punto de partida para las otras
clases de geometra y la primera en orden cronolgico. Casi tan antigua como el hom-
bre mismo, dado que su gestacin es, en buena parte, consecuencia de la necesidad e
inquietud natural del ser humano por conocer, analizar y medir lo que encuentra en
el mundo, la geometra en general busca, de una u otra manera, el modelar objetos
y fenmenos de la naturaleza y hallar un orden en el universo.
Sin embargo las formas y guras que estudia la geometra euclidiana son bastante
ideales, suaves, regulares, es decir ms bien alejadas de las que realmente se encuentra
en la naturaleza. Como arma el propio B. Mandelbrot, considerado padre de los
fractales:
Las nubes no son esferas, las montaas no son conos, las lneas costeras no son
circunferencias y la corteza de un rbol no es lisa, como tampoco es cierto que
la luz viaje en lnea recta. (B. Mandelbrot, [22]).
2 1. Generalidades
Figura 1.1: Geometra euclidiana. Figura 1.2: Geometra fractal. Figura 1.3: rbol fractal.
En la Figura 1.5 se muestran varios modelos de fractales elaborados por los estudian-
tes de la asignatura Geometra Moderna. Los modelos fueron construidos aplicando
el mtodo que explicaremos en el captulo 4, y corresponden a ejemplos clsicos
de la geometra fractal: Esponja de Menger, Pirmide de Sierpiski y Carpeta de
Sierpiski.
Fractal. Adj. Sentido intuitivo. Que tiene una forma, bien sea sumamente
irregular, bien sumamente interrumpida o fragmentada, y sigue siendo as a
cualquier escala que se produzca el examen. Que contiene elementos distintivos
cuyas escalas son muy variadas y cubren una gama muy amplia. Razones de
su necesidad: Desde har unos cien aos, los matemticos se haban ocupado
de algunos de esos conjuntos, pero no haban edicado ninguna teora acerca
de ellos, y no haban necesitado, por lo tanto, ni la necesidad de un trmi-
no especco para designarlos. Una vez que el autor ha demostrado que en la
naturaleza abundan objetos cuyas mejores representaciones son conjuntos frac-
tales, es necesario disponer de una palabra apropiada que no sea compartida
con ningn otro signicado.
Dimensin fractal. Sentido genrico: Nmero que sirve para cuanticar el gra-
do de irregularidad y fragmentacin de un conjunto geomtrico o de un objeto
natural. La dimensin fractal no es necesariamente entera. Sentido especco:
Se aplica a veces a la dimensin de Hausdor y Besicovitch, pero ya no se
1
Hay que advertir que citamos de la traduccin al espaol que Tusquets hizo del original francs
[23]. El mismo trmino escalante, por ejemplo, no aparece en el DRAE, y ni siquiera en la Wikipedia
hasta la fecha.
Hace falta denir de manera rigurosa lo que es una gura fractal para luego
decir que un objeto real es fractal si lo es la gura que conforma su modelo?
pensando que tal formalismo sera prematuro, he adoptado un mtodo distin-
to basado en una caracterizacin abierta, intuitiva, y procediendo por toques
sucesivos. [23, pg. 13].
1.1.1. La autosimilitud
S0 S1 S2
... ...
S3 Sn
Figura 1.7: Construccin geomtrica del tringulo de Sierpiski.
Por supuesto que no es correcto decir la ltima gura, dado que, en teora, el
proceso de construccin descrito anteriormente nunca va a terminar; sin embargo,
la sucesin de guras s parece acercarse a una gura en particular y es posible
y correcto hablar de la gura lmite, que intuitivamente es la gura hacia la cual
tiende o se acerca nuestra sucesin (Sn )n . Uno de los objetivos del presente texto
es proporcionar una denicin formal de lo que aqu estamos llamando gura lmite
y obtenerla efectivamente como el lmite matemtico de una cierta sucesin en un
cierto espacio mtrico; esto lo haremos en el captulo cuatro y se necesitar para ello
todo el contenido de los dos captulos anteriores. Sin embargo, s podemos en este
momento denir formalmente el tringulo de Sierpiski como conjunto, mediante la
interseccin de la familia {Sn }n , es decir, si notamos S al tringulo de Sierpiski,
entonces denimos,
\
S := Sn .
n=1
Aunque hay innitos pasos en la construccin del conjunto S, ya a partir de los pasos
4 o 5 se empieza a tener una idea clara de cmo es la gura lmite y en pocos pasos
posteriores ya no se perciben diferencias, a simple vista, entre un paso y el siguiente.
(a) (b)
Volviendo a nuestro tringulo de Sierpiski, es claro que de las innitas copias que S
contiene de s mismo, hay tres de ellas que son maximales (vase la Figura 1.9(a)).
Cada una de estas tres copias est a su vez formada por otras tres subcopias, y
cada una de estas por tres subsubcopias etc. etc. Otra manera de visualizar la
propiedad de autosemejanza es imaginando que se pone una lupa o efecto de zoom
en cualquier parte o regin de S, y observar que, no importa lo pequea que sea
la regin observada, siempre se encontrar una copia reducida del conjunto total S
(Figura 1.9(b)).
(a) (b)
Figura 1.10: Autosimilitud en un segmento y en un cuadrado.
Intentaremos de todas maneras, dar una pequea explicacin que al menos nos apro-
xime un poco a este fenmeno. En primer lugar debemos aclarar que existen varias
clases de dimensin; por ejemplo la dimensin topolgica, la dimensin de Hausdor
[S.M. Sabogal & G. Arenas
1.1. Introduccin 11
nD = N,
Sin embargo, teniendo en cuenta que una buena cantidad de personas piensa que
todos los fractales tienen dimensin no entera, debemos en este momento hacer una
aclaracin importante. Consideremos un fractal tambin clsico y que podra verse de
alguna manera como la versin en R3 del tringulo de Sierpiski, se llama justamente
la pirmide o tetraedro de Sierpiski, y lo notaremos P. Se construye como sigue:
tomemos un tetraedro regular P0 con longitud de arista a. Ubiquemos los puntos
medios de cada arista y conectmoslos. Conservamos los cuatro nuevos tetraedros
formados por los vrtices y removemos lo que resta de P0 (octaedro de longitud de
arista a/2). La gura obtenida consta de cuatro tetraedros semejantes a P0 , gura
[S.M. Sabogal & G. Arenas
1.1. Introduccin 13
...
P0 P1 P2 Pn
Figura 1.13: Construccin geomtrica de la pirmide de Sierpiski.
Lo que muestra, quiz sorpresivamente, que no todos los conjuntos de tipo frac-
tal tienen dimensin no entera. Pero entonces estaramos regresando a la pregunta
planteada al nal de la seccin anterior: en dnde radica la diferencia entre los obje-
tos de la geometra fractal y los objetos de la geometra euclidiana clsica? Veamos:
decamos antes que existen varias clases de dimensin, entre ellas una llamada di-
mensin topolgica y otra llamada dimensin de Hausdor, y no entraremos a denir
tales conceptos, as que el lector tendr que hacer un acto de fe y creer que en el caso
de un segmento las dos dimensiones (la topolgica y la de Hausdor) coinciden en el
valor de 1, en el cuadrado tambin coinciden pero en el valor de 2, para el tringulo
de Sierpiski la dimensin topolgica es 1 mientras que la de Hausdor es ln 3/ ln 2,
y para la pirmide de Sierpiski la dimensin topolgica tambin es 1, mientras que
la de Hausdor es 2. Lo que ocurre, en el caso de los conjuntos que tienen carac-
tersticas fractales, es que su dimensin de Hausdor es estrictamente mayor que
su dimensin topolgica, y hecha esta observacin, pasamos entonces a escribir una
denicin relativamente aceptable, aunque todava no plenamente formal, desde el
punto de vista matemtico:
en el olvido hasta que, en los aos setenta Benoit Mandelbrot (1924-2010), resca-
ta dichos trabajos con la ayuda importante de los computadores. Basado en estos
trabajos y en ejemplos como los que mencionamos anteriormente, Mandelbrot logra,
con una visin particular muy geomtrica, detectar ciertas caractersticas comunes,
(autosemejanza, dimensin extraa), en objetos, situaciones y fenmenos de natura-
leza muy diversa: el conjunto de Cantor, el tringulo de Sierpiski, la curva de Koch,
el movimiento browniano, las curvas de Peano, la medicin de la longitud de una
costa (en este caso fueron importantes los trabajos de Lewis Fry Richardson), las
uctuaciones en las lneas de transmisin de datos entre ordenadores, la turbulencia
en uidos, la distribucin de las galaxias en el universo, las variaciones de los pre-
cios en la bolsa de valores, etc., etc. Crea entonces el trmino fractal para agrupar
bajo l esta gran variedad de fenmenos, y expone sus ideas y teoras al respecto,
principalmente en dos libros que son quiz sus dos obras ms importantes en lo que
se reere a la geometra fractal: Les Objets Fractals: Forme, hasard et dimension
[21] y The Fractal Geometry of Nature [22]. El primero, publicado en 1975, es un
ensayo en el cual, a travs de una serie de pequeos captulos sobre diversos temas
de la ciencia, Mandelbrot expone las ideas fundamentales de sus teoras acerca de los
fractales (irregularidad, azar, autosimilitud, dimensin fractal, etc.). En la ya men-
cionada traduccin al espaol de este libro [23], Mandelbrot cita a Perrin, quien en
1913 haba escrito lo siguiente:
. . . Todos sabemos cmo, antes de dar una denicin rigurosa, se hace obser-
var a los principiantes que ellos mismos tienen ya la idea de continuidad. Se
traza ante ellos una curva bien clara, y se dice, aplicando una regla contra su
contorno: Veis como en cada punto hay una tangente. O tambin, para sentar
la nocin ms abstracta de la verdadera velocidad de un mvil en un punto de
su trayectoria, se dir: Estis de acuerdo, verdad, con que la velocidad media
entre dos puntos prximos de esta trayectoria acaba por no variar apreciable-
mente cuando dichos puntos se acercan entre s indenidamente. Y, en efecto,
son muchos los que, recordando que para ciertos movimientos usuales parece
que es as, no ven que esto entraa grandes dicultades.
Los matemticos, sin embargo, han comprendido muy bien la falta de rigor
de estas consideraciones geomtricas, y lo pueril de, por ejemplo, intentar de-
mostrar, trazando una curva, que toda funcin continua admite una derivada.
Si bien las funciones derivables son las ms simples, las ms fciles de manejar,
constituyen a su vez, la excepcin; o bien, si se preere un lenguaje geomtrico,
las curvas que no admiten tangente son la regla, y las curvas regulares, tales
como el crculo, son casos interesantsimos, pero particularsimos [. . . ] Y como
ocurre la mayora de las veces, aquellos a quienes se habla de curvas sin tangente
o de funciones sin derivada empiezan pensando que la naturaleza no presenta
tales complicaciones y que, evidentemente, no nos sugiere esas ideas. Sin em-
bargo, lo cierto es lo contrario, y la lgica de los matemticos los ha mantenido
ms cerca de la realidad que las representaciones prcticas empleadas por los
fsicos [. . . ] Observamos, por ejemplo, uno de esos copos blancos que se obtienen
al salar el agua jabonosa. De lejos, su contorno puede parecer claro, pero tan
pronto como uno se acerca un poco, esa claridad desaparece. El ojo no consigue
ya determinar la tangente en un punto cualquiera: una recta que lo parecera a
primera vista, pareciera tambin, con un poco ms de atencin, perpendicular
u oblicua al contorno. Si uno toma una lupa, o un microscopio, la incertidumbre
no se desvanece, pues cada vez que se incrementa el aumento, se ven aparecer
nuevas anfractuosidades, sin que se llegue nunca a sentir la impresin tranqui-
lizadora y clara que da, por ejemplo, una bola de acero pulido. De manera que
si dicha bola da una idea til de la continuidad clsica, lgicamente tambin
nuestro copo puede sugerir la nocin ms general de las funciones continuas sin
derivada.
Y lo que hay que tener muy en cuenta es que la incertidumbre en la posicin del
plano tangente en un punto del contorno no es de hecho del mismo orden que
la incertidumbre que habra para determinar la tangente en un punto del litoral
de Bretaa, segn se utilizara para ello un mapa de tal o cual escala. Segn la
escala, la tangente cambiara, pero cada vez habra una. El mapa es un dibujo
convencional, en el que, por la propia construccin, cada lnea tiene tangente.
Por el contrario, la caracterstica esencial de nuestro copo (igual que el resto del
litoral, si en vez de estudiarlo con un mapa se lo mirara directamente de ms
o menos lejos) es que, a cualquier escala, se suponen, sin verlos del todo bien,
detalles que impiden denitivamente determinar una tangente.
Aunque Mandelbrot cita a Perrin, aclara tambin que fue la obra de Norbert
Wiener su principal fuente de inspiracin. Veamos lo que exactamente escribe
Mandelbrot al respecto:
El libro Les objets fractals: forme, hasard et dimension [21], muy informal, poco
riguroso y dirigido a pblicos dispares, nalmente genera una especie de explosin
de publicaciones, investigaciones y discusiones alrededor de los fractales en diversos
campos de la ciencia. Constituye, como ya se haba anotado, una de las principales
obras de Mandelbrot, y un documento histrico.
A partir de este artculo, y usando las deniciones all establecidas, se genera una
enorme cantidad de trabajos y publicaciones alrededor de los fractales, sus aplica-
ciones y la nocin de autosimilitud; para el lector interesado mencionamos en las
Lecturas recomendadas varias de estas publicaciones.
En esta seccin presentamos una descripcin muy general de cuatro conjuntos que
ocupan un lugar destacado en la familia de los fractales.
Una introduccin a la geometra fractal]
20 1. Generalidades
Partimos del intervalo unidad C = [0, 1] R. Dividimos dicho intervalo en tres partes
iguales, descartamos la parte central y consideramos los dos intervalos cerrados de
los extremos (Figura 1.16)
Cada uno de estos intervalos se divide a su vez en tres intervalos iguales. Descarta-
mos los intervalos centrales que resultan de tal divisin y consideramos los cuatro
intervalos cerrados
C21 = [0, 1/9] , C22 = [2/9, 1/3] , C23 = [2/3, 7/9] , C24 = [8/9, 1] ,
C1
C2
C3
..
Figura 1.16: Descripcin de la construccin del conjunto de Cantor.
Aunque en este caso la gura lmite no es tan vistosa como por ejemplo para el caso
del tringulo de Sierpiski, descrito en la primera seccin de este captulo, el conjunto
de Cantor constituye un ejemplo muy importante en matemticas, particularmente
en anlisis y topologa. Es claro que C est formado por dos copias maximales de
s mismo (autosimilitud) y que cada copia debe ser multiplicada por un factor de 3
para restablecer todo el conjunto C. De esta manera su dimensin de Hausdor est
dada por
ln 2
DH = 0,63093,
ln 3
y por otra parte la dimensin topolgica DT de C es cero, de modo que se cumple la
condicin DH > DT .
ln 8
DH = 1,89279,
ln 3
Una introduccin a la geometra fractal]
22 1. Generalidades
... ...
A0 A1 A2 Ak
Figura 1.17: Descripcin de la construccin de la carpeta de Sierpiski.
La curva de Koch debe su nombre al matemtico Helge Von Koch6 , quien la construy
por primera vez en 1904. Se forma partiendo de un segmento unidad K0 , el cual se
divide en tres partes iguales. La parte central se sustituye por dos segmentos del
mismo tamao que el eliminado, que junto con dicha parte anulada formara un
tringulo equiltero; se obtiene as la poligonal K1 (ver Figura 1.18). A continuacin
se repite el proceso por cada segmento formado y se obtiene entonces una sucesin
(Kj )jN . El lmite de esta sucesin, denotado K, se llama curva de Koch.
... ...
K0 K1 K2 Kj
Figura 1.18: Descripcin de la construccin de la curva de Koch.
Este bonito fractal, creado por Karl Menger7 en 1926, se puede pensar como una
versin en R3 de la carpeta de Sierpiski. Se construye partiendo de un cubo M0 , el
cual se divide en 27 cubitos y se elimina el cubito central de cada cara y el que queda
en exactamente el centro del cubo, es decir en total se eliminan 7 cubitos, quedando
20 y obtenindose M1 (ver Figura 1.19). En cada uno de los 20 cubitos que quedan
se repite el mismo proceso (dividir en 27 cubitos y eliminar 7) y as sucesivamente.
Se obtiene la sucesin de guras M0 , M1 , M2 , . . . , Mj , . . . , y se dene la esponja
M por
\
M= Mj .
j=0
...
M0 M1 M2
Figura 1.19: Descripcin de la construccin de la esponja de Menger.
1.4. Ejercicios
2. Para cada una de las siguientes sucesiones de guras, haga un dibujo aproxi-
mado de la gura lmite, analice su autosemejanza y calcule su dimensin de
Hausdor:
...
a) F0 F1 F2
1
...
b) J0 J1 J2
1/4
1/4
1/4
1 1/4
...
c) K0 K1 K2
1/2
1/2
1
1/2 1/2
...
d) L0 L1 L2
La historia de la matemtica nos muestra cmo, hacia nales del siglo XIX, uno
de los problemas principales en los fundamentos del anlisis era formalizar la idea
de que algo estuviese arbitrariamente cerca de otro algo: la idea de magnitudes
tan pequeas como se quisiera (nociones adems muy importantes en el clculo y la
geometra). Esto claramente involucra el concepto de distancia, ya que la posibilidad
de medir distancias permite distinguir entre puntos cercanos y lejanos.
y
Por otra parte, recordando un teorema de la
geometra euclidiana, segn el cual en todo trin- x
(llamada mtrica o distancia en el espacio), que satisface los dos siguientes axiomas:
EM1: x, y X, d (x, y) = 0 x = y.
Usando estos axiomas se puede probar (Ejercicio 2.9.1) que, no importa cules
sean los puntos x, y, z X, se cumple d (x, y) 0 (la distancia es no negativa),
d (x, y) = d (y, x) (simetra) y d (x, y) d (x, z) + d (z, y) (desigualdad triangular).
Ejemplo 2.1.2.
1. El conjunto de los nmeros reales con la distancia denida por du (x, y) := |xy|
(distancia usual o euclidiana sobre R) forma el espacio mtrico (R, du ),
llamado espacio eucldeo de una dimensin. En efecto: sean x, y, z R,
entonces
EM1: du (x, y) = |x y| = 0 |x y| = 0 x y = 0 x = y.
EM2:
du (x, y) = |x y| = |(x z) + (z y)|
|x z| + |z y|
= |x z| + |y z|
= du (x, z) + du (y, z) .
o podemos denir la distancia m por m (x, y) := x3 y 3 . No es difcil vericar
que (R, dln ) y (R, m) son espacios mtricos (Ejercicio 2.9.2).
(a1 b1 + a2 b2 )2 a21 + a22 b21 + b22 . (Desigualdad de Cauchy-Schwarz)
q q 2
= 2 2 2 2
a1 + a2 + b1 + b2 .
de donde
q q q
2 2 2 2 2 2
(y1 x1 ) + (y2 x2 ) (z1 x1 ) + (z2 x2 ) + (y1 z1 ) + (y2 z2 ) ,
N := {x = x1 x2 x3 . . . | xi , i N} .
x = 211323123131313131 . . . = 2113231231 N .
La barra sobre los nmeros indica que ese grupito de nmeros se repetir
indenidamente (periodo).
Ahora bien, en N se dene la distancia entre los cdigos x = x1 x2 x3 . . . e
y = y1 y2 y3 . . . por
X |xi yi |
d (x, y) := . (2.3)
i=1 (N + 1)i
y = (y1 , y2 )
y2
|y2 x2 |
x = (x1 , x2 ) z
x2
|y1 x1 |
x1 y1
Se puede probar entonces (Ejercicio 2.9.5) que (2.4) dene una mtrica en R2 ,
que llamaremos la mtrica del taxista.
y = (y1 , y2 ) R2 como
x y := x1 y1 + x2 y2 ;
: R2 R2 R
0, si x = y = 0 ;
/2, si x = 0 y = 0 ; (2.5)
(x, y) 7 (x, y) :=
x y
arc cos
6 0 y 6= 0 .
, si x =
kxk kyk
d : R2 R2 R (2.6)
(x, y) 7 d (x, y) := kxk kyk + (x, y) .
kyk
x
(x, y)
kxk
Dado un espacio mtrico cualquiera (X, d), l automticamente determina una gran
cantidad de espacios mtricos, ya que cada S X, hereda la estructura de espacio
mtrico, al restringir a S la mtrica denida en X.
Sea
d : X X R
(x, y) 7 d(x, y);
como S X, entonces S S X X,
d| : S S R
(x, y) 7 d| (x, y) = d(x, y).
, , , , ,
o simplemente (sn )n .
Una introduccin a la geometra fractal]
34 2. Nociones de espacios mtricos
Ejemplo 2.2.1.
C1 = : [0, 1]
Cn = : conjunto que se obtiene de Cn1 , eliminando el
tercio medio de cada uno de los 2n2 intervalos
que conforman a Cn1 .
[0, 1] , [0, 1/3] [2/3, 1] , [0, 1/9] [2/9, 1/3] [2/3, 7/9] [8/9, 1] .
lm (sn )n = S (sn )n S.
n
Ejemplo 2.2.3.
1
1
1. La sucesin n n es convergente en el espacio mtrico (R, du ) ya que n n 0.
(Ver Figura 2.5).
sn s4 s3 s2 s1
0 1 1 1 1 1
n 4 3 2
1
Figura 2.5: Los trminos de n n
se acercan cada vez ms a cero.
s1 s2 s3 s4
2 4 6 8 10 12
2
Propiedad arquimediana: sean x, y R, con x > 0; entonces existe N N tal que N x > y.
Volviendo a nuestro ejemplo 1, donde demostramos que n1 n 0, podemos pregun-
tarnos si es posible que exista otro valor L tal que n1 n L. La respuesta es NO,
como lo garantiza el siguiente teorema.
Teorema 2.2.4 (Unicidad del lmite). Si (sn )n converge, entonces lo hace a un nico
punto lmite.
d(a, b) d(a, b)
0 d(a, b) d(a, sn ) + d(b, sn ) < + .
2 2
Luego d(a, b) < d(a, b), contradiccin!
signica que de (xn )n se van tomando trminos xk1 , xk2 , , xkm , , pero conser-
vando el orden.
Ejemplo 2.2.6. Dada la sucesin ( n)n entonces 2, 7, 10, 12, 14,
es una subsucesin de ella, pero 1, 2, 5, 3, 12, 10, 14, no lo es
(por qu?).
Denicin 2.3.1 (Sucesin de Cauchy). Sea (X, d) un espacio mtrico, (sn )n una
sucesin en X. Diremos que (sn )n es de Cauchy si: > 0, N N tal que m, n N
implica d(sm , sn ) < .
Una introduccin a la geometra fractal]
38 2. Nociones de espacios mtricos
s4
s4
s5
s7
s5
s7
s6 sn
s6 sn
L
Ejemplo 2.3.2.
Ejemplo 2.3.11.
r a
ar a a+r
p
Figura 2.9: Bolas en (R, du ).
Figura 2.10: Bolas en (R2 , du ).
3. Veamos cmo sera la bola Bdtax ((0, 0) ; 1). Recordemos que la mtrica del
taxista (en R2 ) est denida por
de modo que
1 1 r
a
Figura 2.11: Bola de centro (0, 0) y radio 1 segn Figura 2.12: Bolas en (R2 , dtax ).
la mtrica del taxista.
X X
a a
Nota. Generalmente las bolas son conjuntos convexos (esto es, para cualquier
par de elementos de la bola, el segmento3 que los une queda totalmente con-
3
La denicin del segmento entre dos puntos a y b depende de la mtrica del espacio, y es
pp
a, b = {x X | d(a, x) + d(x, b) = d(a, b)}.
0,
si x = y;
d(x, y) = 1, 6 y (x 6= 2y y =
si x = 6 2x);
2, si x =6 y (x = 2y y = 2x).
1 4
Si denotamos kxk = r, tendremos que los puntos que constituyen la bola (2.9)
son aquellos cuya norma r es mayor que el valor del ngulo que hacen con el
4
En este caso: d(3, 4) + d(4, 6) = 1 + 1 = 2 = d(3, 6) y d(4, 2) = 2 2.
(, 0) p(2 2, 0) 0 c(, 0) (2, 0)
(0, 3/2)
Figura 2.16: Bola Bd (c; ) en R2 , d .
Demostracin.
En el ejemplo 2.3.9 se estableci que (0, 1] = [0, 1] y (0, 1) {2} = [0, 1] {2} (en
(R, du )), lo cual demuestra que, en general, la contenencia S S no se tiene. Cuando
s se cumple esta contenencia, se dice que el conjunto es cerrado. Es decir, tenemos
la siguiente denicin:
Ejemplo 2.3.17. Dada una bola B(a; r) en un espacio mtrico (X, d), se dene la
bola cerrada pB(a;
q
r) por:
pq
B(a; r) := {x X | d(x, a) r}.
pq
B(a; r) es en efecto un conjunto cerrado, ya que si x es un punto adherente de pB(a;
q
r)
entonces existe una sucesin (an )n de puntos de pB(a;
q
r) tal que (an )n x; probemos
que x pB(a;
q
r).
Supongamos que d(x, a) > r. Entonces para = d(x, a)r > 0, existe N N tal que:
n N = d(x, an ) < . Por tanto, n N = d(x, a) d(x, an ) + d(an , a) < + r,
de donde se tendra < , absurdo. De esta manera, d(x, a) r, luego x pB(a;
q
r),
como se quera ver.
Recordemos el ejemplo 2.3.5, en el cual se arm que en R los conjuntos [0, 1], [a, b],
[0, ) y n1 | n Z+ {0} son completos. Esta armacin es una consecuencia
directa de la siguiente proposicin, que garantiza que en un espacio completo los
subespacios que heredan la completez son exactamente los subespacios cerrados.
Demostracin.
) Sea (sn )n una sucesin de Cauchy en S. Debemos demostrar que (sn ) converge
en S.
Tenemos que (sn )n converge en X, ya que X es completo, luego existe x X
tal que
(sn )n x.
[S.M. Sabogal & G. Arenas
2.4. Conjuntos abiertos 47
(sn )n x. (2.11)
(sn )n s. (2.12)
Finalmente, de (2.13) y (2.14), y de nuevo por la unicidad del lmite, se concluye que
x = s D {s}.
Si para el punto s existe una bola B tal que s B S, se dice que s es un punto
interior de S. El conjunto de todos los puntos interiores de S se llama el interior
de S y se nota S .
(i) S es abierto;
(iii) S = S .
Demostracin.
(i) (ii): Si S es abierto y s S, existe (por denicin)
una bola B tal que s B S. Sean a el centro de B y r r
el radio de B. Entonces d (a, s) < r. Sea = r d (a, s)
(ver Figura 2.17). Se tiene: B (s; ) B (a; r) S. a s
En efecto: si x B (s; ),
Se puede vericar mediante ejemplos que, riendo un poco con el lenguaje cotidiano,
un conjunto puede ser simultneamente abierto y cerrado, o puede ser abierto y no
cerrado, o cerrado y no abierto, o ni abierto ni cerrado. Veamos:
Ejemplo 2.4.5. Consideremos el espacio mtrico X = [0, 1) [2, 3]. En este espacio
tenemos que:
[0, 1) es abierto y cerrado, ([2, 3] tambin).
0, 12 es abierto, pero no cerrado.
0 1 2 3
0, 12 es cerrado, pero no abierto.
2, 52 no es abierto, ni cerrado.
Sin embargo, existe una relacin importante entre los conceptos de abierto y cerrado,
la cual establecemos en la siguiente proposicin.
Bx = {y X | d (y, a) < r} S = Bx S,
Bx una
siendo bola (y por tanto un abierto) del espacio X. Se tiene entonces:
S S
G= Bx S, luego basta tomar O := Bx y usar la parte (b) del Ejer-
xG xG
cicio 2.9.16.
0 S 1 0 S1 1 0 S2
Ejemplo 2.5.4. Para los conjuntos S, S1 y S2 del ejemplo 2.5.2 se tiene que S y S1
son acotados, mientras que S2 no lo es.
Ejemplo 2.5.6.
1. Sea X = Q [1, 2] Q R.
X es cerrado: X X porque X es todo el espacio, es el universo.
X es acotado: X B 32 ; 1 = x X : x 32 < 1 = 12 , 52 .
X no es compacto: (1, 1,4, 1,41, . . .) es una sucesin en X que no admite
subsucesin convergente en X.
2. Sea X un conjunto innito con mtrica discreta. Entonces (X, ddisc ) es cerrado
y acotado pero no compacto. En efecto: X es cerrado porque es el universo;
es acotado porque claramente X Bddisc (a; 2) para cualquier a X. Ahora,
como X es innito podemos escoger {x1 , x2 , . . . , xn , . . . } X con xi 6= xj
para todo i 6= j, de modo que (xn )n es sucesin en X, y si suponemos por un
momento que X es compacto, entonces (xn )n debe admitir una subsucesin
(xkn )n convergente, pero esto implicara, por tratarse de un espacio discre-
to (ver Ejercicio 2.9.13) que (xkn )n es casi constante, lo que contradice la
condicin: xi 6= xj para todo i 6= j.
As, en general, en un espacio mtrico, ser cerrado y acotado no implica ser compacto.
Sin embargo lo recproco s se cumple. Para probarlo veamos antes un lema.
Lema 2.5.7. Sean (X, d) un espacio mtrico y S X. S est contenido en una bola
si y slo si est contenido en la unin de un nmero nito de bolas.
(sn )n x.
Como S es compacto, (sn )n admite una subsucesin convergente, luego existe (skn )n ,
subsucesin de (sn )n , tal que:
a) (skn )n s, donde s S.
Como (skn )n es subsucesin de (sn )n y (sn )n x, entonces
Tenemos:
S * B (s1 ; 1) B (s2 ; 1) (Lema 2.5.7),
de modo que existe s3 S tal que s3 6 B (s1 ; 1) B (s2 ; 1), es decir, tal que
d (s3 , s1 ) 1 y d (s3 , s2 ) 1. De esta manera podemos continuar, y en el paso
n obtendramos
n
[
S* B (si ; 1) ,
i=1
Veamos la relacin que existe entre los conceptos: acotado y totalmente acotado:
d (xi , xj ) , i 6= j. (2.16)
Como S es compacto, (xn )n admite una subsucesin (xkn )n convergente, por lo tanto
(xkn )n es de Cauchy, pero esto contradice la desigualdad (2.16). Por lo tanto existe
Una introduccin a la geometra fractal]
56 2. Nociones de espacios mtricos
B1 S B2 S B3 S Bn S ,
donde cada Bn tiene radio 1/2n1 y (Nn )n es una sucesin creciente de enteros tal que
xNn Bn S. Si m n entonces BNm S BNn S, de modo que xNn , xNm BNm ,
y por tanto
1
d (xNn , xNm ) <
2m2
(el dimetro de la bola BNm ), lo cual implica que (xNn )n es una sucesin de Cauchy.
Como S es cerrado y X es completo, entonces S es completo (Proposicin 2.3.18),
luego (xNn )n converge a un punto en S. De esta manera obtenemos que S es com-
pacto.
Ejemplo 2.5.17. En R:
Si Si Si Si
Z Z Z
Q R R R
Demostracin.
a) B (x; ) S = b) B (x; ) S c = .
Demostracin.
(i) Basta hacer la prueba para dos compactos y luego aplicar induccin matemtica.
Sean A y B compactos y sea {Oi }iI un recubrimiento abierto de A B.
S
Tenemos: A, B A B Oi , luego {Oi }iI es recubrimiento abierto tanto
iI
de A, como de B. Por hiptesis existen {Oik }N M
k=1 y {Ojk }k=1 subrecubrimientos
nitos de A y de B respectivamente, de modo que {Oik }N M
k=1 {Ojk }k=1 es un
subrecubrimiento nito de A B.
(ii) Sea {Ki }iI familia de compactos. Entonces cada Ki es un cerrado (Proposi-
T
cin 2.5.8) de modo que Ki es tambin un cerrado (Ejercicio 2.9.10).
T iI T
Adems, Ki Kj para cada j I, e Ki sigue siendo cerrado como
iI iI
subconjunto de Kj (si A K X y A es cerrado en X, entonces A tam-
bin es cerrado en K porque K A = (X A) K, X A es abierto en
Una introduccin a la geometra fractal]
62 2. Nociones de espacios mtricos
f (a) +
f (a)
f (a)
a a a+
du (x, y) = |x y| ,
Proposicin 2.6.2. Sea f : (X, d) (Y, m). Las siguientes armaciones son equi-
valentes:
(i) f es continua;
(ii) Para todo a X y para toda bola Bm (f (a) ; ) existe una bola Bd (a; ) tal que
Demostracin.
(i) (ii): Dada la bola B (f (a) ; ), para > 0 existe > 0 tal que d (x, a) <
implica m (f (x) , f (a)) < , es decir, tal que
Ahora sea y f (B (a; )); existe x B (a; ) tal que y = f (x), entonces
y Bm (f (a) ; ), de modo que, f (Bd (a; )) Bm (f (a) ; ).
existe > 0 tal que Bm (f (a) ; ) O. Por hiptesis existe una bola Bd (a; ) tal
que, f (Bd (a; )) Bm (f (a) ; ) , de lo cual se tiene
De esta manera, si d (x, a) < , entonces x Bd (a; ), luego x f 1 (Bm (f (a) ; )),
es decir f (x) Bm (f (a) ; ), o equivalentemente, m (f (x) , f (a)) < .
Ejemplo 2.6.3.
Demostracin.
lo cual a su vez implica que m (f (xn ) , f (a)) < . Luego (f (xn ))n f (a).
) Sea > 0. Por contradiccin, supongamos que no existe > 0 tal que
Para efectos de construir fractales nos interesar cierto tipo de funciones que abor-
damos en la siguiente seccin.
Una introduccin a la geometra fractal]
66 2. Nociones de espacios mtricos
Formalmente:
Ejemplo 2.7.2.
1. f : R R, f (x) = 13 x + 2
3
1 2 1 2 1 1
d (f (x) , f (y)) = x +
y+ = |x y| = d (x, y) .
3 3 3 3 3 3
1
f es contraccin, con factor de contraccin 13 . Cualquier r 3, 1 es tambin
un factor de contraccin de f .
[S.M. Sabogal & G. Arenas
2.7. Contracciones en espacios mtricos 67
2. f : R2 R2 ,
1 1 1
x 0 x 2 1 1 0 x
f = 2
1 + = + 2
y 0 2 y 0 2 0 1 y 0
1
1 x 1 1 x
= + 2 = z+ ; z= .
2 y 0 2 2 y
Luego
1 1 1 1
d (f (z) , f (w)) = kf (z) f (w)k =
2z + 2 2w
2
1 1
= kz wk = d (z, w) .
2 2
As, f es una contraccin con factor de contraccin 12 .
Este ejemplo lo podemos generalizar como sigue:
Ahora bien,
kf (z) f (w)k =
rz ei + a + bi rwei a bi
= r
ei
kz wk = r kz wk .
Entonces
kf (z) f (w)k = r kz wk ,
o de forma equivalente
4. Toda funcin constante es una contraccin. En efecto: sea f : (X, d) (X, d),
x0 X, donde x0 es jo. Denamos f (x) = x0 , x X. Entonces
Dado que f es contraccin, existe r, 0 r < 1 tal que d (f (x) , f (y)) rd (x, y) . Si
r = 0 se tendra d (f (x) , f (y)) = 0, x, y X, luego f (x) = f (y), x, y X, lo
que signica que f es una funcin constante y por tanto continua (Ejemplo 2.6.3.4).
Si r > 0, basta tomar = , ya que si d (x, a) < = , entonces
r r
d (f (x) , f (a)) rd (x, a) < r = .
r
Denicin 2.7.4. Sea f : X X; un punto x0 X se denomina punto jo de f
si satisface f (x0 ) = x0 .
Ejemplo 2.7.5.
1
f (x) = 3x +1
2
f 2 (x) = f 1
x + 1 = 13 13 x + 1 + 1 = 13 x + 13 + 1
3
1 2 1 2 1 3 1 2
f 3 (x) = f 3 x + 1
3 + 1 = 13 3 x + 1
3 + 1 +1= 3 x + 3 + 1
3 +1
..
.
1 n
1 n1
1 2
f n (x) = 3 x + 3 + + 3 + 1
3 + 1.
Veremos en la siguiente seccin que esto no es una coincidencia, sino que es un caso
particular de un importante teorema.
Una introduccin a la geometra fractal]
70 2. Nociones de espacios mtricos
El siguiente resultado, llamado Teorema del punto jo para espacios mtricos comple-
tos, es de gran importancia para la geometra fractal, pues es justamente el resultado
que va a garantizar la existencia y unicidad de cada fractal obtenido por medio de
un sistema iterado de funciones, como lo veremos en el captulo 4.
Teorema 2.8.1 (Teorema del punto jo). Sean (M, d) un espacio mtrico completo
y f : M M una contraccin. Entonces f tiene un nico punto jo, es decir, existe
un nico p M tal que f (p) = p. Adems, para cualquier x M se tiene que
lm f n (x) = p.
n
es una sucesin de Cauchy (intuitivamente, cada vez que se aplica la funcin, las dis-
tancias se van reduciendo, de modo que los trminos de la sucesin se van acercando
cada vez ms entre s). Como M es completo la sucesin converge, es decir existe un
p M tal que
lm f n (x) = p.
n
Entonces:
f lm f n (x) = f (p),
n
lm f (f n (x)) = f (p),
n
luego
lm f n (x) = f (p),
n
es decir, p = f (p) de modo que p es punto jo de f . Ahora bien, si q fuese otro punto
jo de f , se tendra
d(p, q) = d(f (p), f (q)) rd(p, q),
[S.M. Sabogal & G. Arenas
2.9. Ejercicios 71
tomemos m, n Z+ , m n. Tenemos:
d (f m (z) , f n (z)) rd f (m1) (z) , f (n1) (z)
r 2 d f (m2) (z) , f (n2) (z)
r 3 d f (m3) (z) , f (n3) (z)
..
.
r n d f (mn) (z) , z
h
r n d f (mn) (z) , f (mn1) (z)
i
+ d f (mn1) (z) , f (mn2) (z) + . . . + d (f (z) , z)
r n r mn1 d (f (z) , z) + r mn2 d (f (z) , z)
2.9. Ejercicios
, , , , ,
8. Considere el espacio mtrico R2 , dmax , y dibuje la bola Bdmax ((0, 0) ; 1).
9. Considere el espacio de los cdigos N , d , = {1, 2, . . . , N } (Ejemplo 2.1.2.5)
y sean k N, k jo, a = a1 a2 a3 . . . N . Demuestre que
!
1 n o
N
Bd a; = x | x1 = a ,
1 2x = a2 , , xk = ak .
(N + 1)k
a) y X son cerrados.
b) La unin nita de cerrados, es un cerrado.
c) La interseccin arbitraria de cerrados, es un cerrado.
d) Qu se puede decir de la unin arbitraria de cerrados? Justique.
11. Considere una bola B(a; r) en un espacio mtrico (X, d). Qu relacin existe
entre la adherencia B(a; r) y la bola cerrada pB(a;
q
r)? (recuerde que la bola
cerrada se dene por: pB(a;
q
r) := {x X | d(x, a) r}).
13. Una sucesin (xn )n en un espacio mtrico se dir casi constante si existe
k N tal que xk = xk+1 = xk+2 =
Demuestre que en un espacio discreto (X, ddisc ) una sucesin converge si y slo
si es casi constante.
a) = , = , X = ; b) S = S c .
a) y X son abiertos.
b) La unin arbitraria de abiertos, es un abierto.
c) La interseccin nita de abiertos, es un abierto.
d) Qu se puede decir de la interseccin arbitraria de abiertos? Justique
18. Demuestre que en un espacio discreto los subespacios compactos son exacta-
mente los subconjuntos nitos.
21. Demuestre que en un espacio mtrico discreto (X, ddisc ) todo subconjunto de
X es simultneamente abierto y cerrado.
23. Demuestre que toda funcin cuyo dominio sea un espacio mtrico discreto, es
continua.
a) f : R R, f (x) = 5x;
b) f : R R, f (x) = x2 ;
c) f : R R, f (x) = |x|;
d) f : 0, 14 0, 14 , f (x) = x2 ;
e) f : R R, f (x) = 23 x;
f ) f : R R, f (x) = cos x.
27. Dibuje la grca de cada una de las funciones anteriores y d una interpretacin
geomtrica al problema de encontrar los puntos jos de una funcin f : R R.
S1 NO S
S2 S S NO
S3 NO S
S4 S
S5 S
S6
S7
S8 NO S
S9 S
Tabla 2.9.1.
Una introduccin a la geometra fractal]
2.9. Ejercicios
Conjunto completo? Si cerrado? acotado? compacto? Si Si Si abierto?
S10 NO S
S11 S
1
S12 1
S13 1
NO
S14 NO ZR
S15 NO R2
Tabla 2.9.2.
77
78 2. Nociones de espacios mtricos
Denicin 3.1.1. Sea (X, d) un espacio mtrico. Notemos H(X) la familia de todos
los subconjuntos compactos no vacos de X, es decir:
H(X) := {K X | K es compacto, K 6= } .
K1 K2 S6
K5 S1
S2
K3 S3
K4
K6
K7 S4 S5
Demostracin. Sea (yn )n una sucesin en f (K). Debemos probar que (yn )n admite
una subsucesin convergente en f (K).
Para cada n N, yn = f (kn ) para algn kn K. Dado que (kn )n es una sucesin
en K, y que K es compacto, entonces existe una subsucesin (knt )t de (kn )n tal que
(f (knt ))t es una subsucesin de (yn )n y (f (ktn ))n f (k) f (K) por (3.1) y
porque f es continua (Proposicin 2.6.4).
Se quiere ahora denir una mtrica en el conjunto H(X). Observe que los puntos
o elementos de H(X) no son sencillos o elementales, en cuanto cada elemento
es a su vez un conjunto; ms exactamente, un subconjunto compacto no vaco del
espacio mtrico X. De esta manera, para denir una mtrica en el conjunto H(X)
procedemos por etapas.
K A B
x
a
K) B)
Figura 3.3: d(A,
Figura 3.2: d(a,
)
-
,A
B
-
d(
Al calcular se obtiene que -
-
d([0, 1] [0, 1] , [1, 7] [0, 8]) = 1. -
A
p p p p p p p
B)
d([1, 7] [0, 8] , [0, 1] [0, 1]) = 85. d(A,
B) 6= d(B,
Figura 3.4: d(A, A)
Claramente d(A, B) 6= d(B, A).
Para que la Denicin 3.1.6 quede bien establecida, tenemos que demostrar la si-
guiente proposicin.
y
d(y, B) = d (y, b2 ) (= mn {d (y, b) | b B}).
[S.M. Sabogal & G. Arenas
3.1. El conjunto H(X) y la mtrica de Hausdor 83
Por lo tanto,
d (x, b1 ) d (x, b2 ) d (x, y) + d (y, b2 )
y
d (y, b2 ) d (y, b1 ) d (y, x) + d (x, b1 ) .
es decir,
|d (x, b1 ) d (y, b2 )| d (x, y) ,
1 1
< 0 P f (yn ) < ,
n n
1
de donde |P f (yn )| < n y por tanto
lm f (yn ) = P. (3.3)
n
B) = 0.
Lema 3.1.9. Si A, B H(X) y A B, entonces d(A,
Demostracin.
n o
d(A, B) = max d(a, B) | a A
= d(a0 , B) para algn a0 A B
= mn {d (a0 , b) | b B} ;
Ejemplo 3.1.11.
1. En H(R2 ), h ([0, 1] [0, 1] , [1, 7] [0, 8]) = max{1, 85} = 85.
El objetivo ahora es demostrar que h s dene una mtrica en H(X), pero para esto
necesitaremos de algunos resultados previos.
mn {k + s | s S} = k + mn S.
Si max{a, d} = d, se tiene
y
d (a, b1 ) = mn {d (a, b) | b B} ;
d(a, B) = mn {d (a, b) | b B}
mn {d (a, c) + d (c, b) | b B} , c C (usando el Lema anterior)
d (a, c) + mn {d (c, b) | b B} , c C (usando el Lema 3.1.12).
Demostracin.
?
(EM 1) h (A, B) = 0 A = B.
Una introduccin a la geometra fractal]
86 3. El espacio (H(X) , h): el espacio donde viven los fractales
) Sea a0 A. Como
n h (A, B) = 0,oentonces d (A, B) = d (B, A) = 0. Por tanto
d(A, B) = max d(a, B) | a A = 0, lo cual implica que existe a1 A tal
que d(a1 , B) = 0.
Por otra parte, se tiene que d(a0 , B) d(a1 , B) = 0; en consecuencia,
d(a0 , B) = 0, luego existe b0 B tal que d(a0 , B) = d (a0 , b0 ) = 0, de modo
que a0 = b0 . Entonces a0 B. Con esto hemos probado que A B.
Anlogamente se prueba que B A.
h (A, B) = d(A, B) .
En consecuencia,
Como los elementos de H(X) son subconjuntos de X (es decir son elementos que a
la vez son conjuntos), tambin se suele decir que H(X) es un hiperespacio de X.
pq
X
N (A; )
N (A; )
A
A
a0
y
Figura 3.6: Nube N (A; ). Figura 3.7: Nube cerrada.
Lema 3.2.3. Sean A H(X) y > 0. El conjunto pNq (A; ) es cerrado.
c c
pq
Demostracin. Veamos que N (A; ) es abierto. Sea y pNq (A; ) .
Entonces d(y, A) >. Sea a0 A tal que d(y, A) = d (y, a0 ). Veamos que
c
B (y; ) pNq (A; ) , donde = d (y, a0 ) > 0.
Sea a A. Tenemos
Anlogamente, si n, nk N2 , entonces
A = lm An ,
n
Demostracin. ) Sea (xn )n una sucesin de Cauchy en (X, d). Como claramente
cada conjunto unitario {xn } es un compacto no vaco, entonces ({xn })n es una suce-
sin en H(X). Adems,
de modo que ({xn })n es una sucesin de Cauchy en H(X). Por hiptesis,
({xn })n K para algn K H(X). Veamos que K es un conjunto unitario. Sean
a, b K y > 0. Existe N N tal que n N implica que h (K, {xn }) < /2.
Observemos que
n o
d(K, {xn }) = max d(y, {xn }) | y K = max {d (y, xn ) | y K} .
De esta manera, para todo > 0 se tiene d (a, b) < , lo que implica a = b y K = {a}.
Por tanto,
d (xn , a) = h ({xn } , {a}) = h ({xn } , K)
(a) Probemos que A 6= . Para esto basta probar que existe una sucesin de Cauchy
(an )n con an An , n, ya que la completez de X garantiza que en tal caso
(an )n a para algn a X, y por tanto a A.
Como (An )n es de Cauchy, podemos escoger una sucesin creciente de naturales,
tales que
1
h (Am , An ) < , m, n Ni , i = 1, 2, . . .
2i
[S.M. Sabogal & G. Arenas
3.2. Completez del espacio H(X) 91
Sea xN1 AN1 . Como h (AN1 , AN2 ) < 12 implica que AN1 N AN2 ; 12 , en-
tonces d(xN1 , AN2 ) < 12 , lo que a su vez implica que existe xN2 AN2 tal que
d (xN1 , xN2 ) < 12 .
Como h (AN2 , AN3 ) < 1
22
, entonces AN2 N AN3 ; 212 , luego d(xN2 , AN3 ) < 1
22
,
1
de donde existe xN3 AN3 tal que d (xN2 , xN3 ) < 22 ,
y as sucesivamente se ob-
tiene una sucesin (xNi )i con xNi ANi y tal que d xNi , xNi+1 < 21i . Tomemos
Nm Nn ; entonces
d (xNm , xNn ) d xNm , xNm+1 + d xNm+1 , xNm+2 + + d xNn1 , xNn
1 1 1
< m
+ m+1 + + n1 0.
2 2 2 n,m
(b) Probaremos ahora que A es cerrado. Sea una sucesin de elementos (ai )i de A
tal que (ai )i a, y probemos que a A (de esta manera se tendr que A A).
Como cada ai A, entonces para cada i existe una sucesin xin n , con xin An ,
n y xin n ai :
x1n n
= x11 x12 . . . x1n . . .
a1 ,
x2n n = x21 x22 . . . x2n . . . a2 ,
.. ..
. .
xin n = xi1 xi2 . . . xin . . . ai ,
.. ..
. .
N
N N N
xn k n = x1 x2 . . . xn k . . .
k k
aNk
..
.
a.
(d) Probemos ahora que A es compacto. Para esto basta probar que A es totalmente
acotado y aplicar entonces el Teorema 2.5.14.
Por contradiccin, supongamos que A no es totalmente acotado. Entonces existe
> 0 para el cual no existe una red que recubra a A. Sea x1 A; entonces:
A * B (x1 ; ) = x2 A : d (x1 , x2 ) ,
A * B (x1 ; ) B (x2 ; ) = x3 A : d (x3 , x1 ) y d (x3 , x2 ) ,
..
.
Veamos que d (y, x) . Supongamos que d (y, x) > . Entonces d (y, x) > 0,
y como xNj x, existe M > 0 tal que Nj > M implica d xNj , x < d (y, x),
de donde
< d (y, x) d xNj , x
d y, xNj + d xNj , x d xNj , x = d y, xNj < .
Lema 3.2.7. Sean (X, d) un espacio mtrico completo y (An )n una sucesin de
Cauchy en H(X) tal que
A1 A2 An ;
entonces
\
lm An = An .
n
n=1
T
Probemos entonces que A = An . Sea x A. Existe (xn )n , sucesin en X, tal que
n=1
T
(xn )n x y xn An , n. Supongamos que x 6 An , es decir, existe M N tal
n=1
En consecuencia,
h f (A) , f (B) r max {mn {d (a, b) | a A} | b B} = r d (A, B)
n o
r max d(A, B) , d(B, A) = rh (A, B) .
n o
Lema 3.2.9. d(A B, C) = max d(A, C) , d(B, C) .
Demostracin.
n o
d(A B, C) = max d(x, C) | x A B
n o
= max d(x, C) | x A x B
n n o n oo
= max max d(x, C) | x A , max d(x, C) | x B
n o
= max d(A, C) , d(B, C) .
De forma anloga,
h (A B, C D) =
n o
= max d(A B, C D) , d(C D, A B)
n n o n oo
= max max d(A, C D) , d(B, C D) , max d(C, A B) , d(D, A B)
n o
= max d(A, C D) , d(B, C D) , d(C, A B) , d(D, A B)
n o
max d(A, C) , d(B, D) , d(C, A) , d(D, B)
n n o n oo
= max max d(A, C) , d(C, A) , max d(B, D) , d(D, B)
= max {h (A, C) , h (B, D)} ,
esto es,
h (A B, C D) max {h (A, C) , h (B, D)} .
Los lemas anteriores se usarn para demostrar el siguiente, el cual a su vez constituye
un resultado bsico para el desarrollo de nuestro prximo captulo.
entonces F es contraccin.
Demostracin. En primer lugar obsrvese que F est bien denida en virtud de las
proposiciones 2.5.22 y 3.1.3.
3.3. Ejercicios
5. Demuestre que la sucesin (Sn )n , siendo (Sn )n la sucesin del ejercicio ante-
rior, es una sucesin de Cauchy en H(R2 ).
7. Demuestre que las sucesiones (An )n y (Kn )n , denidas en las secciones 1.3.2 y
1.3.3 respectivamente, son sucesiones de Cauchy en H(R2 ).
9. Sean (X, d) un espacio mtrico y (An )n una sucesin de Cauchy en H(X) tal
que
A1 A2 An . . .
Demuestre que
[
lm An = An .
n
n=1
F : H(X) H(X)
N
S
K 7 F (K) =: fi (K) ;
i=1
N
S
entonces existe un nico A H(X) tal que F (A) = A = fi (A).
i=1
100 4. Sistemas iterados de funciones
lm F n (K) = A.
n
Demostracin. En primer lugar obsrvese que F est bien denida en virtud de las
proposiciones 2.5.22 y 3.1.3; adems, por el Lema 3.2.11, F es una contraccin en
H(X).
Por otra parte, dado que X es completo, tenemos que H(X) es completo (Teorema
3.2.6), de modo que podemos aplicar el teorema del punto jo (Teorema 2.8.1) a la
funcin
F : H(X) H(X) ,
Finalmente, aplicando la segunda parte del teorema del punto jo, se obtiene la
segunda parte del teorema.
Tomemos como conjunto inicial (llamado tambin semilla) el conjunto C0 = [0, 1].
Entonces,
C0 C1 C2 Cn . . .
[S.M. Sabogal & G. Arenas
4.1. Sistema Iterado de Funciones (SIF), atractor de un SIF 101
0 1
C0 = [0, 1]
0 1/3 2/3 1
C1 = F (C0 ) = f1 ([0, 1]) f2 ([0, 1])
= [0, 1/3] [2/3, 1]
Entonces se puede aplicar el Lema 3.2.7, y por supuesto el teorema anterior, para
obtener
\
Atractor del SIF = lm Cn = Cn = C (recuerde la seccin 1.3.1).
n
n=1
Ejemplo 4.1.5.
n o
1. Consideremos el SIF R2 ; 12 z, 12 z + 12 , 12 z + i2 . En este caso F : H(R2) H(R2)
est denida por
...
K F (K) F (F (K)) F n (K)
2/5 n
0 1 0 0 4/25 0 (2/5) 0
, , , ,
2
Figura 4.3: Construccin del atractor del SIF [0, 1] ; 5
x .
2
F (K) = f1 (K) , K H ([0, 1]) , f1 (x) = x.
5
Tenemos:
F ({0}) = f1 ({0}) = {f1 (0)} = {0} .
0 1
C0 = [0, 1]
0 1/2 1
C1 = F (C0 ) = [0, 1/2] {1}
0 1/4 1/2 1
C2 = F (C1 ) = [0, 1/4] {1, 1/2}
0 1/8 1/4 1/2 1
C3 = F (C2 ) = [0, 1/8] {1, 1/2, 1/4}
..
0 1/2
n 1/4 1/2 1
.
Cn = F (Cn1 ) = [0, 1/2n ] 1, 1/2, 1/4, . . . , 1/2n1
..
.
1
Figura 4.4: Construccin del atractor del SIF R; 2
x, 1 .
4. Considere el mismo SIF del ejemplo 1, pero ahora tomemos como semilla un
cuadrado (relleno) como en la Figura 4.5.
...
1
K F (K) F 2 (K) F 3 (K)
Figura 4.5: Construccin del tringulo de Sierpiski tomando otro compacto inicial.
Una introduccin a la geometra fractal]
104 4. Sistemas iterados de funciones
1 1
w0 (K) := {0} [0, 1], w1 (z) := z ei/4 + i y w2 (z) := z ei/4 + i.
2 2
Obsrvese que la nica diferencia entre SIF y SIF con condensacin es la presen-
cia, en este ltimo, de una contraccin diferente de las otras del SIF, en cuanto
w0 : H(X) H(X); es decir el dominio y codominio de w0 es H(X), mientras
que el dominio y codominio de las dems contracciones, es X. Sin embargo, el SIF
con condensacin puede funcionar de la misma manera que los otros y generar
una sucesin convergente de compactos. Veamos cmo sera esto para el SIF con
condensacin del ejemplo anterior:
Ejemplo 4.2.4. Para el SIF del Ejemplo 4.2.3 se tiene que W : H(R2 ) H(R2 )
est dada por
...
Figura 4.8: Construccin de un rbol fractal.
tiene un nico punto jo, es decir, existe un nico A H(X) tal que
N
[
W (A) = A = wi (A) .
i=0
lm W n (K) = A.
n
2
Ejemplo 4.2.7. El atractor del SIF R ; w0 , w1 , donde w0 es la transforma-
cin de condensacin denida por w0 (K) := ([0, 1] [0, 1]), K H(R2 ) y
w (z) := 2 z ei/4 + 1 , es el conjunto de la Figura 4.9.
1 2 2
En la siguiente seccin se estudia una funcin que desempea un papel muy impor-
tante en la geometra fractal.
Esta funcin permitir, entre otras cosas, asociar a cada punto del atractor de un
SIF un cdigo, es decir un elemento del espacio de los cdigos (ver Ejemplo 2.1.2.5).
P |i i |
Nota. Recerdese que la mtrica en N esta dada por dc (, ) = (N +1)i
, para
i=1
todo = 1 2 . . ., = 1 2 . . . N .
Una introduccin a la geometra fractal]
108 4. Sistemas iterados de funciones
2
Ejemplo 4.3.2. El espacio de cdigos asociados al SIF R ; w1 , w2 , w3 , donde
3
w1 (z) = 12 z; w2 (z) = 12 z + 12 ; w3 (z) = 12 z + 1
4 + 4 i (y a cualquier SIF con tres
N
contracciones) es {1, 2, 3} .
1 3
2, 2
333
33 332
313
3 31 32 322
133
13 23 232
Los siguientes lemas se usarn en la demostracin del Teorema 4.3.5, el cual a su vez
constituye el resultado central de esta seccin.
{X; w0 , w1 , . . . , wN } ,
Por el Teorema 4.1.2 existe el atractor de este SIF con condensacin, es decir existe
el punto jo K de la contraccin
W0 : H(X) H(X)
denida como
W (B)
z }| {
W0 (B) := w0 (B) w1 (B) . . . wN B = K W (B) .
: N N X X
denida por
(, n, x) := w1 w2 . . . wn (x) .
d ( (, m, x1 ) , (, n, x2 )) Dmn{m,n}
N , m, n N y x1 , x2 K.
(, n, x2 ) = w1 . . . wm wm+1 . . . wn (x2 ) = (, m, x3 ) .
| {z }
x3
De modo que
d ( (, m, x1 ) , (, n, x2 )) = d ( (, m, x1 ) , (, m, x3 ))
= d (w1 . . . wm (x1 ) , w1 . . . wm (x3 ))
m d (x1 , x3 ) m D,
n o
donde D = max d (x, y) | x, y K ; D existe puesto que K es compacto.
Establecidos los lemas anteriores, podemos ahora s abordar la funcin que nos in-
teresa.
() := lm (, n, x) .
n
: N A
7 ()
es continua y sobre.
A = lm W n (K) .
n
Obsrvese que:
(, 1, x) = w1 (x) W (K) ,
(, 2, , x) = w1 w2 (x) W 2 (K) ,
..
.
(, n, x) = w1 . . . wn (x) W n (K) ,
..
.
lm (, n, x) A.
n
se tiene "n #
0
n0 +1
X |i i | X |i i |
(N + 1) + < 1,
i=1 (N + 1)i i=n0 +1 (N + 1)i
[S.M. Sabogal & G. Arenas
4.3. La funcin de direccionamiento 111
n0
X
X
|i i | (N + 1)n0 +1i + |i i | (N + 1)n0 +1i < 1.
|i=1 {z } i=n0 +1
||
+
tZ {0}
Solo falta probar que es sobre. Sea a A. Claramente {x} H(X) para cualquier
x X, de modo que
A = lm W n ({x}) .
n
Considere la sucesin de compactos
donde n o
t (n) = # j N | kkn = k , 1 k j .
De esta manera, para cada punto del atractor de un SIF podemos ahora denir lo
que llamaremos una direccin del punto.
Ejemplo 4.3.7.
: N C, donde = {1, 2} .
(12) = lm w1 w2 w2 . . . w2 (1)
n
1
= lm w1 (1) = w1 (1) = 3 C,
n
luego 12 es direccin de 13 .
1 2
11 12 21 22
111 112 121 122 211 212 221 222
..
1
(12) = 3
: N K con = {1, 2, 3, 4} .
Una introduccin a la geometra fractal]
114 4. Sistemas iterados de funciones
23 32
2 3
1 4 12
11
13
14 41 44
...
Figura 4.12: El espacio de cdigos asociado con la curva de Koch.
1
En este caso, por ejemplo 1 3 = 14, 21 . Comprubelo.
(1 2 3 . . . ) = f1 ( (2 3 . . . )) .
Demostracin. En efecto:
(1 2 3 . . . ) = lm f1 f2 f3 fn (x) , x X
n
= f1 lm f2 f2 fn (x) , pues f1 es continua
n
= f1 ( (2 3 . . . )) .
(1 2 3 . . . ) = (1 2 3 . . . )
si y solo si
(2 3 . . . ) = (2 3 . . . ) .
Demostracin.
f1 ( (2 3 . . . )) = f1 ( (2 3 . . . )) .
...
(1, 0)
S0 S1 = W (S0 ) S2 = W (S1 )
(i) S0 S1 S2 Sn
3
3 1222
122
3
12
, , , , ...
S0 S1 S2 S3
Figura 4.14: Distancia entre Sn y Sn+1 .
En efecto:
0 , S1 ) = 3
h(S0 , S1 ) = d(S ,
12
1 , S2 ) = 3
h(S1 , S2 ) = d(S ,
12 2
2 , S3 ) = 3
h(S2 , S3 ) = d(S ,
12 22
..
.
n , Sn+1 ) = 3
h(Sn , Sn+1 ) = d(S ,
12 2n
m1
X
h(Sn , Sm ) h(Sj , Sj+1 )
j=n
3 3 3
= n
+ n+1
+ +
12 2 12 2 12 2m
3 1 1 1
= + + + m n, m
0.
12 2n 2n+1 2
As, teniendo en cuenta (i), (ii) y que R2 es completo, se puede aplicar el Lema 3.2.7
para obtener:
En el siguiente lema se establecen algunas propiedades del SIF S, las cuales a su vez
inspiran la Denicin 4.4.4.
1 3 w3 (S0 ) 3 3
4, 4 4, 4
w1 (S0 ) w2 (S0 )
(0, 0) (1, 0) (0, 0) (1, 0)
1
S0 2, 0
Demostracin. En primer lugar obsrvese que w1 (S0 ) es el tringulo de vrtices
(0, 0), 2 , 0 y 4 , 4 ; w2 (S0 ) es el tringulo de vrtices 12 , 0 , (1, 0) y 34 , 43 ; y
1 1 3
w3 (S0 ) es el tringulo de vrtices 14 , 43 , 34 , 43 y 12 , 23 , de modo que
n o
1 3 3
w1 (S0 ) w2 (S0 ) = 2, 0 , w2 (S0 ) w3 (S0 ) = ,
4 4 ,
n o
1 3
w1 (S0 ) w3 (S0 ) = ,
4 4 , y w1 (S0 ) w2 (S0 ) w2 (S0 ) = .
Figura 4.16: Atractor de un SIF triangular. Figura 4.17: Divisin del atractor.
En los siguientes resultados R2 ; f1 , f2 , f3 es un SIF triangular de intersecciones
p, q y r, y atractor A. Adems, : N A es la funcin de direccionamiento
correspondiente.
Lema 4.4.7.
Demostracin.
p = f1 (x1 ) = f2 (x2 ) ;
Una introduccin a la geometra fractal]
120 4. Sistemas iterados de funciones
Entonces
a = f1 = f1 ,
1 = 1 = 1 , 2 = 2 = 2 , ..., i1 = i1 = i1 , = 1 2 . . . i1 .
Tenemos:
a = (i i+1 ) = (i i+1 )
= f ( (i i+1 )) = f ( (i i+1 )) ,
luego a f (fi (A) fi (A)), y puesto que fi (A) fi (A) {p, q, r}, entonces
es decir
a = 1i 1i+1 = 2i 2i+1 = = m m
i i+1
f (p) = a = f 1i 1i+1 = f 2i 2i+1 = = f m m
i i+1 .
Una introduccin a la geometra fractal]
122 4. Sistemas iterados de funciones
si y solo si () = () .
Nota: Lo anterior es vlido para cualquier SIF, no solo para los triangulares.
Veamos ahora que en el caso de los SIF triangulares las relaciones y coinciden.
si y solo si .
3
Para estudiantes que han visto un curso de topologa.
() = () = a A,
A si y solo si A ,
(ii) f1 (A) f2 (A) = {p}, f1 (A) f3 (A) = {q}, f2 (A) f3 (A) = {r} donde
p = f1 (x2 ) = f2 (x1 ), q = f1 (x3 ) = f3 (x1 ), r = f2 (x3 ) = f3 (x2 ) son tres
puntos distintos y x1 , x2 y x3 son los puntos jos de f1 , f2 y f3 respectivamente.
II. Se probar que si A es el atractor de un SIF que satisface (i), (ii) y (iii),
entonces A es homeomorfo a S.
y
31 = lm (w3 w1 w1 w1 ) (x1 ) = w3 (x1 ) = q,
n
(2) = lm w2 w2 (1) = 1 6= p.
n
II. Sea A el atractor de un SIF {X; f1 , f2 , f3 } que satisface (i), (ii) y (iii). Veamos
que A es homeomorfo a S. Para esto basta demostrar que para todo {}
se cumple:
1
(a) f (p) y w , 0 tienen exactamente los mismos cdigos;
2
1 3
(b) f (q) y w 4, 4 tienen exactamente los mismos cdigos;
3 3
(c) f (r) y w 4, 4 tienen exactamente los mismos cdigos,
y tambin
Tenemos:
, , , ..., , ...
L0 L1 L2 Ln
S
Hay varias forma de probar que S = Ln . Por ejemplo, bastara observar que
n=0
(Ln )n es una sucesin de Cauchy en H(R2 ) tal que,
L0 L1 L2 Ln . . .
S
Proposicin 4.4.14. S = Ln .
n=0
Observemos que
tenemos que n N ,
S
T
Ln Sn (Denicin 4.4.1).
n=0 n=0
(2) S0 S1 S2 Sn . . .
(3) L0 L1 L2 Ln . . .
S
Sea x Ln . Existe m N tal que x Lm . Por (3) se tiene que x Ln para
n=0
todo n m. Por (1) se tiene que x Sn para todo n m. Por (2) se tiene que
T
x Sn para todo n m. De esta manera x Sn , con lo cual obtenemos que
n=0
S
Ln S. Recordando que S es cerrado y que la adherencia de un conjunto es el
n=0
S
menor cerrado que lo contiene (Ejercicio 2.9.12), concluimos que Ln S.
n=0
S
En la siguiente seccin se mostrar una caracterizacin de la unin Ln , lo cual
n=0
nos permitir obtener puntos de S que no estn en dicha unin.
S
4.4.3. Una caracterizacin de Ln
n=0
1 3
Notemos p = (0, 0), q = (1, 0) y r = ,
2 2 los puntos jos de las contracciones
w1 , w2 y w3 , respectivamente. Observemos que p, q y r son los vrtices del tringulo
inicial L0 . Sea Lpq el segmento que une p y q. Denimos Lqr y Lpr de manera anloga
(Figura 4.19).
Una introduccin a la geometra fractal]
130 4. Sistemas iterados de funciones
S S
As tenemos L0 = S0 = Lpq Lqr Lpr y Ln := W (Ln1 ) = W n (L0 ), n 1.
Lpr Lqr
p q
Lpq
Figura 4.19: Los segmentos Lpq , Lqr y Lpr .
S
Nuestra meta en esta seccin es demostrar que S =
6 Ln , es decir que en el tringulo
n=0
de Sierpiski existen puntos que no pertenecen a ningn tringulo Ln . Probaremos
antes algunos lemas que necesitaremos.
lm w1 . . . wn (x) Lpr ,
n
de aqu que () Lpr y por tanto (13 ) Lpr . Para la otra contenencia de-
mostremos antes que si
/ 13 , entonces ()
/ Lpr . (4.3)
Lpr
w2 (S)
p q
Lpq = (12 ): Los codigos con solo 1s y 2s
= 1, donde 23 ,
= 2, donde 13 ,
Figura 4.22: Grco de L1 L0 .
= 3, donde 12 .
x0 = (1) = (1) .
() = () ,
Los razonamientos anteriores, junto con el Lema 4.4.17, nos permiten escribir lo
siguiente:
[S.M. Sabogal & G. Arenas
4.4. Sobre el tringulo de Sierpiski 133
(312 )
(123 )
(213 )
= 1 2 . . . k , donde 12 23 13 (4.4)
x0 = () = (1 2 k ) = w1 w2 wk (()) F k (L0 ) = Lk .
Expresndolo en palabras, lo que hemos demostrado es que los puntos de los conjun-
tos Ln son aquellos cuyos cdigos inician con un cdigo nito cuyas cifras son 1, 2
3 (1 2 . . . k ), y luego sigue una cola en la cual solamente aparecen dos cifras: ,
1s y 2s; 2s y 3s; 1s y 3s .
= , donde y 12 23 13 . (4.5)
Calculemos la composicin w1 w2 w3 :
!!
1 1 3
w1 w2 w3 (x) = w1 w2 x+ + i
2 4 4
! !
1 1 1 3 1
= w1 x+ + i +
2 2 4 4 2
!
1 5 3
= w1 x+ + i
4 8 8
1 5 3
= x+ + i.
8 16 16
5 3
El punto jo de la contraccin w1 w2 w3 es xf = 14 + 14 i, de modo que podemos
calcular 123 como sigue:
5 3
123 = lm w1 w2 w3 w1 . . . w1 w2 w3 (xf ) = + i.
n 14 14
5 3
Por lo tanto x0 = 14 + 14 i es un punto que pertenece al tringulo de Sierpnski,
S
pero no pertenece a Ln .
n=0
4
B S, B se dice denso en S, si para todo conjunto abierto O de S, O 6= , se tiene que
B O 6= , o, equivalentemente si B S.
Esta seccin se basa en el trabajo [31], y tiene como objetivo mostrar cmo se pueden
realizar cambios en el tamao del atractor de un SIF en el plano R2 , o trasladarlo o
girarlo. Para el buen entendimiento de esta seccin, es importante haber desarrollado
antes los Talleres 3 y 4 del captulo 6.
Demostracin. En primer lugar obsrvese que por el lema anterior se tiene que en
efecto existe la funcin inversa f 1 : X X denida por f 1 (y) = x si y slo si
y = f (x). Sean y1 , y2 X, y probemos que
1
d f 1 (y1 ) , f 1 (y2 ) = d (y1 , y2 ) .
k
Sean x1 = f 1 (y1 ) y x2 = f 1 (y2 ), o equivalentemente: y1 = f (x1 ) y y2 = f (x2 ).
de donde
1
d (x1 , x2 ) = d (f (x1 ) , f (x2 )) ,
k
es decir:
1
d f 1 (y1 ) , f 1 (y2 ) = d (y1 , y2 ) .
k
Lema 4.5.5. Toda transformacin de similaridad es continua.
Veamos:
y
1 1 1 7 1 10
w2 (x) = f w2 f 1
(x) = f w2 x =f x+ = x+ .
4 4 12 12 3 3
1
De modo que el nuevo SIF R; 3x + 23 , 1
3x + 10
3 tiene como atractor A = f (C),
que es una copia ampliada (con factor de ampliacin 4) de C y desplazada una unidad
hacia la derecha (ver Figuras 4.24 y 4.25).
0 1
0 1 4 5
1
Figura 4.25: Atractor del SIF {R; 3
x + 23 , 1
3
x + 10
3
}.
Ejemplo 4.5.11. Supongamos que queremos obtener una curva de Koch cuyo
tamao sea el doble de la curva de Koch clsica o sea del atractor del SIF
( )
2 1 1 i60 1 1 i60 1 3 1 2
R ; z, z e + , ze + + i, z + . (4.6)
3 3 3 3 2 6 3 3
x x
La homotecia que debemos aplicar est denida por h = 2 , de modo
y y
que el nuevo SIF que nos proporcionar la curva que queremos ser
( )
2 1 1 i60 2 1 i60 3 1 i60 4
R ; z, z e + , ze +1+ i, z e + . (4.7)
3 3 3 3 3 3 3
1 1 2
Proposicin 4.5.12. Sean R2 ; w1 , . . . , wN un SIF con atractor A y f : R2 R2
la transformacin de traslado dada por
f (z) := z + B, B R2 .
Entonces R2 ; w1 , . . . , wN
es un SIF con atractor f (A), donde
wj (z) = wj (z B) + B, j = 1, . . . , N.
Obsrvese que
x e aj e
wj (z B) + B = Mj + +
y f bj f
x aj e e
= Mj + Mj +
y bj f f
x
= wj Mj B + B.
y
Para trasladar
el atractor de un SIF, segn un vector de desplazamiento B (si
e
B= f entonces el traslado ser de e unidades en sentido horizontal y f en
el sentido vertical), se resta a cada contraccin el producto Mj B y se suma B.
1 1/2 0 3 3 1 3/2 3 1 3/2
w1 (z) = 2z 0 1/2 2
+ 2
= 2z + 2
= 2z + ,
1 1
1/2 0 3 3 1/2 3/2 2
w2 (z) = 12 z + 1
2 0 1/2 2
+ 2
= 12 z + + = 12 z + 1
,
0 1
0
7/4
3 3/2 1/4 3/2
w3 (z) = 12 z + 1
4 + 4 i+ = 12 z + +
3/4
+ = 12 z + .
1 0 1 3/41
2
1
Atractor del SIF (4.8). Atractor del SIF (4.9).
Figura 4.27: Traslacin del tringulo de Sierpiski.
w (z) = rz ei + a + bi
2
Proposicin 4.5.16. Sean R ; w1 , . . . , wN un SIF rgido con atractor A, y
f : R2 R2 la transformacin de rotacin denida por: f (z) := z ei . Entonces
2
R ; w1 , . . . , wN
es un SIF con atractor f (A), donde:
Ejemplo 4.5.17. Giremos el atractor del SIF del Ejemplo 4.5.15 un ngulo de 45 .
El SIF original es
1 1 1 1 1 1 1 1
R2 ; z, z ei/2 + , z + + i, z ei/2 + 1 + i .
2 2 2 2 2 2 2 2
Una introduccin a la geometra fractal]
144 4. Sistemas iterados de funciones
/4
4.6. Ejercicios
C A D se cumple
[
\
A= F n (C) = F n (D).
n=0 n=0
6. Para cada gura, determine un SIF (podra ser con condensacin) que la genere:
a) b)
c) d)
Una introduccin a la geometra fractal]
146 4. Sistemas iterados de funciones
e) f)
es un SIF triangular.
13. Caracterice los cdigos de los puntos del tringulo de Sierpiski que no
S
pertenecen a Ln (sugerencia: use la Proposicin 4.4.19).
n=0
16. Enuncie y demuestre una proposicin que establezca cmo reejar con respecto
al origen el atractor de un SIF de la forma R2 ; w1 , . . . , wN cuyas contrac-
ciones son transformaciones anes. Ilustre con un ejemplo.
Para obtener un sistema dinmico discreto necesitamos tan slo dos ingredientes.
Una vez que tenemos estos ingredientes podemos denir, para cada punto x X,
una sucesin de puntos en X conocida como la rbita de x bajo f ,
o (x, f ) = x, f (x) , f 2 (x) , f 3 (x) , . . . .
La meta es estudiar todas las posibles sucesiones o (x, f ). De manera muy especial
nos interesa su comportamiento cuando n tiende a .
De aqu en adelante todas las funciones consideradas en este captulo son funciones
continuas. Las letras X, Y, . . ., representan espacios mtricos. La letra N representa
el conjunto de los nmeros naturales, es decir, el conjunto de los enteros positivos.
El ncleo de este captulo son los ejemplos. Las deniciones, los lemas, las proposi-
ciones y los teoremas irn apareciendo en el momento en que nos ayuden a entender
mejor las propiedades dinmicas del ejemplo que estemos tratando. A veces a la
mitad misma de un ejemplo nos desviaremos para demostrar una proposicin o un
lema y, luego regresaremos nuevamente al ejemplo para aplicar inmediatamente lo
[S.M. Sabogal & G. Arenas
5.1. Dinmica de las funciones lineales en R 151
Los ejercicios forman la ltima seccin de este captulo. A pesar de esto, el lector no
debe esperar hasta haber ledo todas las secciones previas para intentar su solucin.
En varios lugares a lo largo del captulo haremos sugerencias al lector sobre los
ejercicios que se pueden ir intentando. Parte importante de la teora se encuentra en
los ejercicios.
Sean a y b dos nmeros reales jos. Decimos que una funcin f : R R es lineal o
afn si su regla de correspondencia se expresa as:
f (x) = ax + b.
Por cada pareja de valores a y b tenemos una funcin lineal. Es previsible que la
dinmica depender de estos valores.
Una introduccin a la geometra fractal]
152 5. Breve visita a los sistemas dinmicos discretos
6
0
-1 0 1 2 3 4 5 6
Caso 1. a = 1.
Si a = 1 y b 6= 0, entonces,
Todas las rbitas tienen un comportamiento muy sencillo en el sentido de que sabe-
mos perfectamente qu les pasa cuando n tiende a innito.
Caso 2. a 6= 1.
Los puntos jos de f cumplen la relacin ax + b = x. Esta igualdad tiene una nica
b
solucin: x0 = 1a . Es decir, f tiene un nico punto jo.
b
lm f n (x) = .
n 1a
b
Si |a| > 1, entonces para todo x 6= 1a se tiene que
lm |f n (x)| = .
n
En ambos subcasos la dinmica vuelve a ser muy sencilla. Existe un nico punto
jo y, una de dos, o todas las rbitas convergen a l o todas, salvo la del punto jo,
tienden en valor absoluto a innito.
f 2 (x) = f (x + b) = (x + b) + b = x.
La funcin f mueve el punto x a una posicin distinta, pero al volver aplicar f esta
funcin regresa al punto a su lugar original. Es decir, al aplicar f una y otra vez lo
que se est creando es un movimiento de ida y vuelta, un movimiento peridico.
Estas tres propiedades nos dicen que los puntos que pueden tener una rbita intere-
sante son los que estn en el intervalo unitario [0, 1]. Observemos que T ([0, 1]) = [0, 1].
distintas a las que nos presentaron las funciones lineales, el lugar donde debemos
buscarlas es en el intervalo [0, 1].
Comencemos por los puntos jos de T . Si x es ele-
mento del intervalo 0, 12 y es punto jo de T ,
entonces, por un lado, T (x) = x y, por el otro,
T (x) = 2x. Por lo tanto, 2x = x, y as x = 0.
Si x 12 , 1 y x es un punto jo de T , entonces
2 2x = x, x = 23 . Observemos que estos puntos
son los nicos dos puntos jos de T .
Nota. Si A R, f : A A, y x0 A es
un punto tal que f (x0 ) = x0 , entonces
(x0 , f (x0 )) = (x0 , x0 ). Por lo tanto este pun-
x0 x1 x2
to, (x0 , f (x0 )), se encuentra en la interseccin de
la grca de f y la diagonal {(x, y) : x = y}. En Figura 5.3: Puntos jos de f .
la Figura 5.3 se muestra la grca de una funcin
con exactamente tres puntos jos: x0 , x1 y x2 .
Mostramos a continuacin la existencia de un punto peridico de periodo 2 para la
funcin Tienda.
2 1
Recordemos que los puntos jos de T son los puntos 0 y 3. Como T 2 = 1 y
1
T (1) = 0, entonces los puntos 2 y 1 no son puntos peridicos bajo T .
0 x0 1 T (x0 ) 1
2
Figura 5.4: Punto peridico de periodo 2.
2
Como T 5 = 45 , la rbita bajo T de este punto es el conjunto
2 2 4 2 4 2 2 4
o ,T = , , , , ,... = , .
5 5 5 5 5 5 5 5
Una introduccin a la geometra fractal]
156 5. Breve visita a los sistemas dinmicos discretos
2
En resumen, 5 Per (T ) y su periodo es 2.
Un intervalo en R es un conjunto que tiene alguna de las siguientes formas: (a, b),
(a, b], [a, b), [a, b], (a, ), [a, ), (, b), (, b], (, ), donde a y b son dos
nmeros reales tales que a b.
x1 x2 x3 xn
Como n es mayor o igual a 2, f (x1 ) > x1 y f (xn ) < xn . Utilizando el teorema del
valor intermedio y el hecho de que f es una funcin continua se sigue que f tiene un
punto jo en el intervalo [x1 , xn ] A.
Los siguientes dos lemas nos dan herramientas que nos ayudarn a encontrar puntos
jos y puntos peridicos.
[S.M. Sabogal & G. Arenas
5.3. Puntos peridicos y el teorema de Sharkovskii 157
Como f es continua, f () = c y f () = d.
c Por la forma en que fueron denidos y
, y utilizando el teorema del valor inter-
a s t b
Figura 5.6: El intervalo [, ].
medio, se tiene que si < x < , entonces
f () < f (x) < f (). As el intervalo [, ]
cumple la condicin deseada (ver Figura 5.6).
Caso 2. La demostracin para la desigualdad s > t es anloga a la del caso anterior.
ii) Si f ([a, b]) [a, b], entonces f tiene un punto jo en [a, b].
Demostracin. i) Como f ([a, b]) [a, b], entonces f (a) a y f (b) b. Sea
h : [a, b] R dada por h (x) = f (x) x.
La funcin h es continua en [a, b]. Adems, h (a) 0, h (b) 0. Por lo tanto existe
x0 [a, b] tal que h (x0 ) = 0. En consecuencia, f (x0 ) = x0 .
ii) Como f ([a, b]) [a, b], entonces existen , [a, b] tales que f () = a y
f () = b. Notemos que f () y f (). Consideramos ahora, como antes,
una funcin auxiliar h : [a, b] R, h (x) = f (x) x. Tenemos h () 0 y h () 0.
Una introduccin a la geometra fractal]
158 5. Breve visita a los sistemas dinmicos discretos
i) a c ii) a c
b b
Demostracin del Paso 1. Como f ([b, c]) contiene a [a, b], existe un intervalo
cerrado [1 , 1 ] contenido en [b, c] tal que f ([1 , 1 ]) = [a, b]. Como f ([a, b]) [b, c],
[S.M. Sabogal & G. Arenas
5.3. Puntos peridicos y el teorema de Sharkovskii 159
se tiene que f (x0 ) [b, c]. Puesto que b es de periodo 3, f (x0 ) 6= b. Por lo tanto,
x0 2 b < f (x0 ) ,
f ([i+1 , i+1 ]) = [i , i ] ;
f i ([i , i ]) = [a, b] .
Finalmente, como f ([a, b]) [b, c], existe un ltimo intervalo cerrado An = [n , n ]
contenido en [a, b] tal que f ([n , n ]) = [n1 , n1 ]. As,
f n ([n , n ]) = [a, b] .
c A A A c
n1 2 1
...
b b
An
a a
Figura 5.9: En An hay un punto peridico.
Sharkovskii.
3 5 7 9 11 13 . . .
2 3 2 5 2 7 ...
22 3 22 5 22 7 . . .
23 3 23 5 23 7 . . .
..
.
24 23 22 2 1
En el primer rengln aparecen todos los nmeros impares mayores que 1. En los
siguientes renglones aparecen todos los nmeros que se expresan como un producto
de una potencia de 2 y un impar mayor que 1. En el ltimo rengln aparecen todas
las potencias de 2. En el arreglo estn incluidos todos los nmeros naturales.
Sabemos que la Tienda tiene al menos un punto peridico de periodo 3. Por tanto es-
ta funcin tiene puntos peridicos de todos los periodos. Como cada rbita peridica
modela o representa un movimiento peridico, entonces la funcin Tienda presenta
todos los movimientos peridicos posibles, slo hay que partir de la condicin inicial
adecuada.
Recordar los siguientes conceptos nos ayudar en algunos de los argumentos con-
tenidos en esta seccin.
Lema 5.4.1. Para todo n N y para cada {0, 1, 2, . . . , 2n 1}, se tiene que
n +1
T +1 : n , n [0, 1] (5.1)
[ 2n , 2n ] 2 2
es un homeomorsmo.
es un homeomorsmo.
Si 2k , entonces
k+1
+1 T 2 1 2k+1 T k
, , [0, 1] .
2k+1 2k+1 2k 2k
2k 2k+1 1,
entonces
2k 1 2k+1 ,
2k+1 2k 1 2k+1 1 0,
2k 1 2k+1 1 0.
As, la segunda funcin, gracias a la hiptesis de induccin, tambin es un homeo-
morsmo.
Corolario 5.4.2. Sea (a, b), a < b, un subintervalo de (0, 1). Entonces existe N N
tal que T N (a, b) = [0, 1].
1
Demostracin. Como a < b y lm 0, existe N N tal que 21N < ba
n = 2 . Se sigue
n 2 +1
N
que existe un valor en el conjunto 0, 1, 2, . . . , 2 1 tal que 2N , 2N (a, b).
Ahora, gracias al Lema 5.4.1, tenemos que T N (a, b) = [0, 1].
Existe un intervalo abierto (a, b), a < b, contenido en U . Por el Corolario 5.4.2, existe
N N tal que T N (a, b) = [0, 1]. De aqu se sigue que T N (U ) V 6= .
Decimos que y0 X tiene rbita estable si para todo > 0, existe > 0, tal que
para todo x B (y0 , ) y para todo n N se tiene que d (f n (x) , f n (y0 )) < .
y0
f (y0 ) f 2 (y0 ) f 3 (y0 )
Las rbitas estables son, en cierto sentido, fciles de seguir con un error pequeo.
Supongamos que la rbita de y0 es estable. Si queremos seguir la rbita de y0 con
un error menor que un valor positivo , entonces tomemos la condicin inicial x con
un error menor que > 0. Es decir, tomemos x tal que d (x, y0 ) < y sigamos la
o(x, f ). La informacin que nos dan los elementos de la rbita de x es -cercana a la
que nos daran los elementos de la rbita de y0 . Adems, la estabilidad de la rbita
de y0 nos asegura que dado cualquier positivo, s podemos encontrar el positivo
que nos permita este seguimiento -cercano.
Una introduccin a la geometra fractal]
166 5. Breve visita a los sistemas dinmicos discretos
Nota. Si la rbita de x0 X no es estable, entonces existe 0 > 0 tal que para todo
> 0, podemos encontrar un punto y B (x0 ; ) y un nmero natural n tales que
d (f n (x0 ) , f n (y)) 0 . Como y 6= x0 , entonces tambin sabemos que x0 es un punto
de acumulacin de X.
y as
|f (x) x0 | < c |x x0 | .
|f n (x) x0 | < cn |x x0 | .
[S.M. Sabogal & G. Arenas
5.5. La denicin de caos segn R. L. Devaney 167
|f (x) x0 | > c |x x0 | .
|f n (x) x0 | > cn |x x0 | .
Observemos que en este segundo caso podemos concluir tambin que para cada valor
, 0 < < , existen x B (x0 , ) y N N tales que f N (x)
/ B (x0 ; ). Por lo
tanto, la rbita de x0 no es estable.
2
Nota. Los puntos jos de la funcin Tienda, 0 y 3, son ambos puntos jos no
estables.
Una funcin f que es sensible a las condiciones iniciales no slo nos dice que todas
sus rbitas son no estables. Hay adems una suerte de uniformidad en este fenmeno:
El 0 > 0 para la cual falla la estabilidad es el mismo para todas las rbitas.
c) f es transitiva en X, y
Para una discusin ms profunda de la denicin de caos dada por Devaney recomen-
damos leer los artculos [3], [24] y [36]. El trabajo de S. Ruette (ver [32]), contiene
una detallada y muy recomendable introduccin a los sistemas dinmicos discretos
denidos en subconjuntos de la recta real R.
Observemos que si x J(f ), entonces f (x) tambin est en J(f ), ya que la o (f (x), f )
est contenida en la o(x, f ). De aqu se sigue que f (J(f )) J(f ).
Por otro lado, sea x en J(f ). Si existe y tal que f (y) = x, entonces y tambin est
en J(f ), ya que
o(y, f ) = {y} o(x, f ).
As, si se tiene que J(f ) f (R), entonces J(f ) f (J(f )), y con ello estos dos
conjuntos son iguales. Es decir, J(f ) es un conjunto invariante bajo f .
f (z) = a0 + a1 z + a2 z 2 + + aN z N ,
Una introduccin a la geometra fractal]
170 5. Breve visita a los sistemas dinmicos discretos
esta funcin.
Las grcas de P y T son muy parecidas. La nica diferencia es la altura que alcanza
el pico que ambas tiene en el punto x = 12 . Sin embargo, el conjunto de los puntos
atrapados de una y otra es muy distinto.
i) Para todo x < 0 se tiene que P (x) < x. Ms an, para todo n N se tiene que
P n (x) = 3n x. As, lm P n (x) = .
n
2
Julia Gaston Maurice (18931978). Matemtico francs. Julia fue un precursor en la teora de
los sistemas dinmicos complejos y en lo que hoy se conoce como fractales. Fue uno de los primeros
en estudiar estos temas y explicar cmo a partir de cualquier funcin compleja se puede fabricar,
por medio de una sucesin denida por induccin, un conjunto cuya frontera es imposible de dibujar
a pulso (por ser de longitud innita, entre otras propiedades).
Su notoriedad culmin al ser publicado su artculo informe sobre la iteracin de las funciones
racionales (Mmoire sur litration des fonctions rationnelles) en la revista francesa de matem-
ticas Journal de Mathmatiques Pures et Appliques. Este artculo de 199 pginas le permiti ser
galardonado por la Academia de las Ciencias Francesa.
ii) Si x > 1, entonces P (x) < 0. Por lo tanto para estos puntos tambin se concluye
que lm P n (x) = .
n
Por otro lado, si x C entonces para todo n N, x An , y por ello P n (x) [0, 1].
Esto implica que la rbita entera de x est en [0, 1], as x J(P ). Por lo tanto,
J(P ) = C.
A cada punto de J(P ) le vamos a asignar, mediante una funcin , una sucesin
innita formada solamente por ceros y unos. Sea x0 un punto en J(P ). Observemos
que para todo n N se tiene que P n (x0 ) est en el intervalo 0, 13 o en el intervalo
2 n
3 , 1 . La idea es asignar un 0 un 1, segn P (x0 ) se encuentre en el primer o en
el segundo intervalo.
Sean I0 = 0, 13 y I1 = 23 , 1 . Entonces
(x0 ) = t = (t0 , t1 , t2 , . . .) ,
Sea
2 = t = (t0 , t1 , t2 , . . .) : para cada n 0, tn {0, 1} .
Ya habamos visto este espacio antes: es el espacio de los cdigos. Recordemos que
la mtrica est dada por
X |tn sn |
d t, s = ,
n=0
3n
1
De aqu se sigue que para todo n N, |x0 y0 | 3n . Por lo tanto x0 = y0 .
Para los intervalos I0 e I1 existen dos intervalos en I0 , que llamaremos I00 e I01 ,
tales que P (I00 ) = I0 y P (I01 ) = I1 , y existen dos intervalos en I1 , que ahora
llamaremos I10 e I11 , tales que P (I10 ) = I0 y P (I11 ) = I1 . La longitud de cada uno
2
de estos cuatro intervalos cerrados es 13 . La unin de los cuatro intervalos nos da
el conjunto A2 .
En el siguiente paso existen cuatro intervalos en I0 , llamados I000 , I001 , I010 e I011 ,
tales que la funcin P transforma de la siguiente manera:
Adems, si x Is0 s1 s2 ...sn1 entonces x Is0 , P (x) Is1 , P 2 (x) Is2 , y as hasta
que P n1 (x) est en Isn1 .
Observemos que si x es un punto en J(P ) tal que x It0 t1 t2 ...tn , entonces (x) y t
tienen iguales las primeras n + 1 coordenadas.
Como para cada n N se tiene que el intervalo It0 t1 t2 ...tn est contenido en el
intervalo It0 t1 t2 ...tn1 , la coleccin {It0 t1 t2 ...tn }
n=0 forma una sucesin de intervalos
cerrados encajados, cada uno de ellos distinto del vaco. Sabemos tambin que la
longitud del intervalo It0 t1 t2 ...tn tiende a cero cuando n tiende a innito. Entonces la
interseccin
\
It0 t1 t2 ...tn
n=0
Consideremos el intervalo It0 t1 t2 ...tN . Este es uno de los 2N intervalos que componen
N +1
AN . Su longitud es 13 .
[S.M. Sabogal & G. Arenas
5.6. El conjunto de los puntos atrapados 175
Observemos que si x y y son dos puntos de J(P ) tales que tambin estn en It0 t1 t2 ...tN ,
entonces (x) y (y) coinciden desde la primera hasta la coordenada N . Entonces
X 1
d((x), (y)) < .
3n
n=N +1
Como la longitud del intervalo It0 t1 t2 ...tn tiende a cero cuando n tiende a innito,
existe N N tal que la longitud de It0 t1 t2 ...tN es menor que .
Sea = 31N . Observemos que si s J(P ) es tal que d t, s < , entonces para cada
i, 0 i N , se tiene ti = si . Esto implica que 1 (s) tambin est en el intervalo
It0 t1 t2 ...tN . Por ello la distancia entre 1 t y 1 (s) es menor que .
Para cada punto x J(P ) se tiene que (P (x)) = ((x)). Esta igualdad es la clave
para descifrar la dinmica de P restringida al conjunto de los puntos atrapados. Este
hecho es tan importante que merece una denicin que tome en cuenta a muchos
posibles casos semejantes.
s = (t0 , t1 , t2 , . . . , tN , t0 , t1 , t2 , . . . , tN , t0 , t1 , t2 , . . .) ,
[S.M. Sabogal & G. Arenas
5.6. El conjunto de los puntos atrapados 177
u = (t0 , t1 , t2 , . . . , tN , s0 , s1 , s2 , . . . , sN , u2N +2 , . . .) .
Por la forma que le hemos asignado al punto u sus coordenadas, las siguientes
desigualdades son inmediatas:
d t, u < y d s, N +1 (s) < .
s = (t0 , t1 , t2 , . . . , tN 1 , sN , sN +1 , . . . , ) ,
h (f n (x)) = gn (h(x)).
se tiene que
dY gN (y0 ) , gN (h (x1 )) 0 .
La funcin P : R R,
(
3x, si x 12 ,
P (x) =
3 3x, si x 12 ,
est muy lejos de tener una funcin inversa: P no es ni inyectiva ni suprayectiva. Sin
embargo, si nos restringimos al conjunto x : x 12 , P (x) = 3x, la inversa de esta
funcin es 1 (x) = x3 . Si nos restringimos al conjunto x : x 12 , P (x) = 3 3x. La
inversa es 2 (x) = 1 x3 . Obsrvese que ambas funciones son contracciones denidas
en todo R.
La funcin que a cada conjunto A le asigna el conjunto F (A) = 1 (A) 2 (A) es una
contraccin en el espacio de los subconjuntos compactos de R. A partir de cualquier
conjunto compacto A, la sucesin de conjuntos {F n (A)} ser convergente al conjunto
de Cantor C.
un conjunto con dos puntos. Sin embargo al haber sido construida como el resultado
de un esfuerzo por encontrarle una inversa a la funcin P : R R, F s tiene una
propiedad importante: atraer a todos los conjuntos compactos hacia al conjunto C.
Esto es precisamente lo inverso de lo que hace P , que es alejar del conjunto C a todos
los puntos que no estn en ese conjunto.
tiene como atractor el conjunto [0, 1], pero no es el nico SIF que tiene esta
propiedad.
1
Obsrvese que no hay forma de denir la funcin en el punto 2 para lograr que f
1
sea continua. El problema radica en que 2 es elemento tanto de 1 ([0, 1]) como de
1
2 ([0, 1]). La primera dice que la inversa debe enviar el punto 2 al 1, y la segunda
dice que hay que enviarlo al 0.
En esta seccin, a partir de dos de los sistemas iterados de funciones que presen-
tamos en la seccin anterior, deniremos un SIF en el plano. Discutiremos cul es
su conjunto atractor, (que llamaremos A). Y por ltimo, intentaremos denir una
funcin G : R2 R2 tal que tenga a A como su conjunto de puntos atrapados.
Consideremos el SIF R2 ; F1 , F2 , F3 , F4 , donde
x y x y
F1 (x, y) = , , F2 (x, y) = 1 , ,
3 2
x 3 2
y x y
F3 (x, y) = ,1 , F4 (x, y) = 1 , 1 .
3 2 3 2
Cada una de las funciones Fi : R2 R2 , 1 i 4, es una contraccin.
Observemos que cada Fi es una transformacin lineal que enva rectas verticales
en rectas verticales y rectas horizontales en rectas horizontales. Cada una de estas
funciones transforma a B en un rectngulo:
F1 (B) = 0, 13 0, 12 , F2 (B) = 23 , 1 0, 12 ,
F3 (B) = 0, 13 12 , 1 , F4 (B) = 23 , 1 12 , 1 .
As, F (B) = 0, 13 [0, 1] 23 , 1 [0, 1].
1
F F F
B ...
1
Figura 5.13: Imgenes de B al aplicarle la funcin F .
Nuestra siguiente meta es denir una funcin G : R2 R2 con las siguientes carac-
tersticas: continua en todo R2 ; su conjunto de puntos atrapados es exactamente A;
catica si la restringimos a A; y, por ltimo, que se comporte como un conjunto
repulsor.
Como F (A) = F1 (A) F2 (A) F3 (A) F4 (A), entonces las inversas de cada una de
estas cuatro funciones nos dicen cmo denir G. Sea (x, y) A. Si (x, y) F1 (A) y
(x, y) no es elemento de la unin F2 (A) F3 (A) F4 (A), entonces denimos G en
(x, y) con la regla de correspondencia de la inversa de F1 . Esta idea nos lleva a esta
primera versin de G: Sea (x, y) A; entonces,
(3x, 2y), si 0 x 13 , 0 y < 12 ,
si 23 x 1, 0 y < 12 ,
(3 3x, 2y),
G (x, y) =
(3x, 2 2y), si 0 x 13 , 12 < y 1,
(3 3x, 2 2y), si 2 x 1, 1 < y 1.
3 2
Ahora nos jamos en los puntos que estn en alguna interseccin Fi (A) Fj (A),
i 6= j.
Sea x0 , 12 F1 (A) F3 (A). El lector puede comprobar que ah las dos inversas
coinciden y sugieren enviar este punto a (3x0 , 1). Para puntos x0 , 12 en F1 (A)F3 (A)
la situacin tambin se resuelve satisfactoriamente.
Para cada punto (x, y) y para cada n N se tiene que Gn (x, y) = (P n (x), T n (y)).
Si un punto (x0 , y0 ) no pertenece a A = C [0, 1], entonces x0
/ C y0
/ [0, 1]. En
el primer caso lm P n (x0 ) = , y en el segundo caso lm T n (y0 ) = . En
n n
cualquiera de las dos situaciones se tiene que lm |Gn (x0 , y0 )| = . As, el conjunto
n
A es invariante bajo G y es repulsor.
Una introduccin a la geometra fractal]
186 5. Breve visita a los sistemas dinmicos discretos
Paso 2. Sean (x0 , y0 ) y (x1 , y1 ) dos puntos en C [0, 1], y sea > 0. De-
mostraremos que existe n N tal que Gn (B ((x0 , y0 ) ; ) A) interseca el conjunto
B ((x1 , y1 ) ; ) A.
GN +M (B ((x0 , y0 ) ; ) A) (B ((x1 , y1 ) ; ) A) 6= ,
Paso 3. Sea 0 > 0 una constante de sensibilidad para la funcin T : [0, 1] [0, 1].
Demostraremos que este mismo valor sirve como constante de sensibilidad de la
funcin G restringida al conjunto A.
4 4
3 3
2 2
1 1
0 0
0 1 2 3 4 0 1 2 3 4
9. El conjunto {1, 2, 3, 4} es una rbita de periodo 4 en cada una de las dos grcas
que aparecen en la gura anterior. Una de ellas es la grca de una funcin
que tiene rbitas peridicas de todos los periodos y la otra es la grca de una
funcin que slo tiene rbitas peridicas de periodos 1, 2 y 4. Identique cul
es cul.
13. Sea f : [0, 1] [0, 1] dada por f (x) = x2 . Encuentre todos los puntos con
rbita estable bajo f .
14. Demuestre que la funcin Tienda es sensible a las condiciones iniciales en todo
R.
18. Sea F : R2 R2 dada por F (x, y) = (P (x), P (y)). Describa el conjunto J(F )
y demuestre que F restringida a J(F ) es catica.
19. Sea It0 t1 t2 ...tN uno de los intervalos utilizados en la denicin de J(P ) = C.
Demuestre que la imagen bajo P N +1 del conjunto It0 t1 t2 ...tN C es el conjunto
C.
Talleres
Para el desarrollo de este taller se necesita disponer de la versin del lenguaje Logo
denominado WinLogo1 . El lenguaje Logo es un lenguaje de programacin cuya par-
ticularidad reside en el hecho de que fue diseado especcamente para la enseanza.
Tiene como caractersticas principales: programacin estructurada, manejo de listas,
recursividad y comandos en castellano.
1. Imagine que en la pantalla hay un tablero donde vamos a dibujar, y para esto
disponemos de una pequea tortuga que vive en el tablero de la pantalla, tiene
lpices de colores y se caracteriza por ser muy obediente. Para limpiar el tablero
y hacer que la tortuga aparezca, digite las letras bp (borrar pantalla), luego
oprima la tecla Enter.
4. Otra orden que obedece la tortuga es re (retrocede) la cual le indica que debe
caminar hacia atrs; como en la orden anterior, se requiere informarle con un
nmero la cantidad de pasos que debe retroceder. Por ejemplo: Retrocede 60
(Enter) o re 60 (Enter).
6. Ahora veamos otras dos rdenes que la tortuga acepta, las cuales modican
la direccin en que mira la tortuga sin afectar su ubicacin; giraderecha,
giraizquierda, hacen que la tortuga vuelva su mirada en otra direccin.
Igual que en avanza, una orden de giro debe contener un nmero que indique
el ngulo (medido en grados) que debe girar la tortuga. Por ejemplo:
Giraderecha 45 (Enter) o gd 45 (Enter).
La tortuga gira, sin cambiar de posicin 45 grados hacia la derecha.
Dgale ahora
giraizquierda 60 (Enter) o gi 60 (Enter).
Antes de continuar tenga en cuenta las siguientes observaciones: es posible
que al comunicarnos con la tortuga se cometan errores tales como: Avanza50
(Enter), por el cual el computador le responde (al lado derecho de la parte
inferior de la pantalla): No s cmo hacer Avanza50, o: Av (Enter) y de la
misma forma el computador le responder: Faltan datos para Av.
7. Digite las siguientes instrucciones y observe (no olvide oprimir la tecla Enter
al nal de cada una)
bp bp bp
gd 90 gd 150 gi 60
av 80 re 70 av 120
av 90
gd 80
gi 70
re 50
bp gd 90 av 80
gd 20
av 70
8. Con estas instrucciones podemos trazar muchas guras, por ejemplo:
bp av 20 gd 90 av 20 gi 90 av 20 gd 90 av 20 gi 90 av 20 gd 90 av 20
bp av 40 gd 90 av 40 gd 90 av 40 gd 90 av 40
Qu gura se obtiene en la pantalla?
bp gd 30 av 40 gd 120 av 40 gd 120 av 40
Qu gura se obtiene en la pantalla?
9. Cuando necesite que la tortuga avance sin dejar trazo, utilize la orden sl (sube
lpiz) y no olvide, para cuando ya desee el trazo, decirle bl (baja lpiz). Ensaye
esas instrucciones.
10. Dibuje cada una de las grcas siguientes (no olvide primero limpiar la pan-
talla):
12. Dle a la tortuga las rdenes necesarias para dibujar un cuadriltero regular
(un cuadrado) y un tringulo equiltero.
Observe: algunas rdenes se repiten varias veces?, qu rdenes se repiten y
cuntas veces?
Repite es un nuevo comando que le va a ayudar a dibujar polgonos regulares,
de manera fcil y rpida. Aqu tiene un ejemplo de cmo se usa este nuevo
comando.
repite n [com1 arg1 com2 arg2 etc. . . . ]
El comando repite necesita tener corchetes. Los corchetes contienen los co-
mandos y los argumentos que hemos de repetir (recuerde que el comando es
el qu hacer y el argumento es cuntas veces). Intente usar este nuevo
comando para hacer diferentes polgonos regulares (tringulo, cuadrado,
pentgono, hexgono, etc.).
[S.M. Sabogal & G. Arenas
Taller 1: Manejo bsico de WinLogo 195
A continuacin le presentamos una tabla para que recuerde algunos de los comandos
bsicos del idioma de la tortuga.
Siga ensayando con los siguientes u otros valores arbitrarios que usted elija:
koch 1 100; koch 2 150; koch 5 300; koch 7 250.
Observando lo que dibuja la tortuga en cada caso, explique el signicado
de las variables :paso y :lado.
Programa 2: Isla de Koch
para isla :paso :lado
repite 3 [koch :paso :lado gd 120]
fin
Observe que para ejecutar este programa es necesario haber denido con
anterioridad el programa que genera la curva de Koch. Repita el mismo
proceso que se realiz en el programa 1, escogiendo valores arbitrarios:
isla 1 100; isla 2 150; isla 5 300; isla 4 200.
Programa 3: Pentgono
para pentagono :paso :lado
haz contraccion (suma 3 raizcuadrada 5)/2
si :paso = 0 [av :lado alto]
gi 36 pentagono :paso-1 :lado/:contraccion gi 72
pentagono :paso-1 :lado/:contraccion gd 144
pentagono :paso-1 :lado/:contraccion gd 72
pentagono :paso-1 :lado/:contraccion gi 72
pentagono :paso-1 :lado/:contraccion gi 72
pentagono :paso-1 :lado/:contraccion gd 36
fin
Repita el mismo proceso, escogiendo valores arbitrarios:
pentagono 1 100; pentagono 2 150;
pentagono 3 300; pentagono 5 250.
Qu dibuja la tortuga en cada caso?
Programa 4: Dragn de Sierpiski
para dragon :paso :lado :signo
si :paso = 0 [av :lado alto]
gi 60*:signo
dragon :paso-1 :lado/2 :signo gd 60*:signo
dragon :paso-1 :lado/2 :signo gd 60*:signo
dragon :paso-1 :lado/2 :signo gi 60*:signo
fin
Una introduccin a la geometra fractal]
198 6. Talleres
r
i) R s : Hacer un reescalamiento de la gura:
ii) G : Girar cada segmento horizontal de la gura un ngulo y cada
segmento vertical un ngulo .
e
iii) M f : Mover la gura |e| unidades en sentido horizontal, (hacia la derecha
si e 0, hacia la izquierda si e < 0), y |f | unidades en sentido vertical
(hacia arriba si f 0, hacia abajo si f < 0).
Nota. Debe tenerse presente que en la transformacin G el giro hori-
zontal es totalmente independiente del giro vertical. Por ejemplo, si
aplicamos la transformacin G 60
30 a la Figura (A), quedara aproximada-
mente como se muestra en la Figura (B).
30
60
x
Figura (A) Figura (B)
1 30o 1/3
G ( 90
o
R 3 G 60o R 1/3 90o )
1/2 1/2 0 2
G ( 45 G ( 45 1
o o
R 3 90o ) R 0
M 2 R 2 45o ) M ( 1 )
20o
60o
4. Dados los puntos: (0, 0), (0, 4), (4, 4), (4, 2), (1, 2), (1, 0) en un plano cartesiano:
a) Una los puntos en el orden dado para obtener una gura en el plano.
b) Dibuje la imagen de la gura obtenida bajo cada una de las siguientes
transformaciones anes y en cada caso describa (con palabras) el efecto
geomtrico de cada transformacin (recuerde que si A22 es la matriz
estndar de una transformacin lineal en el plano, entonces las columnas
de A son las imgenes bajo la transformacin de los vectores unitarios
i = 10 y j = 01 ):
1
x 0 x 1 x 3 0 x
T1 = 2 1 + , T2 = ,
y 0 2 y 2 y 0 1 y
x 2 0 x 1 x 1 0 x
T3 = + , T4 = ,
y 0 2 y 0 y 0 1 y
x 1 0 x 0
T5 = + .
y 0 1 y 4
k 0
c) Describa el efecto geomtrico que produce una matriz de la forma .
0 k
Sugerencia: Considere los casos k > 1, 0 < k < 1, 1 < k < 0, k < 1,
k = 1, k = 0 y k = 1.
d) Describa el efecto geomtrico de las matrices
1 0 1 0 1 0 0 0 cos sen
, , , , .
0 1 0 1 0 0 0 1 sen cos
0
1
r cos
1
T 0 = r sen
0 s sen
T 1 = s cos r
s
1
0
1 r
s
f
1 e
7. Para las similitudes directas existe una notacin ms prctica, que llamaremos
notacin compleja, y que se deduce fcilmente al identicar el vector columna
( xy ) con el nmero complejo z = x + iy (recordar cmo se multiplican matrices
y recordar la identidad ei = cos + i sen ). De esta manera, una similitud
directa con factor de escala r, ngulo de giro y vector de desplazamiento ( fe ),
se puede escribir como
b) Para el tringulo A0 de vrtices (0, 0), (0, 1) y (1, 0), dibuje en un mismo
plano cmo queda el tringulo al aplicarle f1 , f2 y f3 . Llame A1 la gura
obtenida.
c) Identique las transformaciones anes que hacen que cada uno de los
siguientes conjuntos sea autosemejante:
10. Tome el cuadrado A0 de vrtices (0, 0), (1, 0), (0, 1) y (1, 1), y las similitudes
f1 (z) = 13 z, f2 (z) = 13 z + 23 .
Para el desarrollo de este taller necesitar varias hojas de papel milimetrado y reglas
o escuadras.
1. Tomemos medidas:
(a) Para el conjunto de Cantor, suponga que la semilla tiene longitud 1. Cul
es la longitud de la produccin o segunda gura de la sucesin?, cul es
la longitud de la tercera gura?, de la cuarta?, . . . , de la n-sima gura?
Cul es la longitud del conjunto de Cantor?
(b) De manera anloga a la anterior, calcule la longitud de la curva de Koch.
(c) Para el tringulo de Sierpiski, suponga que la semilla tiene rea 1. Cul
es el rea de la produccin o segunda gura de la sucesin?, cul es el
rea de la tercera gura?, de la cuarta?, . . . , de la n-sima gura? Cul
es el rea del tringulo de Sierpiski?
(d) De manera anloga, calcule el rea de la carpeta de Sierpiski.
(e) Discuta la siguiente armacin: El tringulo de Sierpiski no es un trin-
gulo. Escriba una conclusin al respecto (mnimo media pgina).
3. Realice lo mismo del punto anterior para la semilla y produccin que usted
propuso en el punto 1 del Taller 2.
[S.M. Sabogal & G. Arenas
Taller 5: El juego de la semilla y la produccin 209
r s e f
T1
T2
T3
5. Identique para el fractal que usted invent en el punto 1 del Taller 2, y tam-
bin para el fractal que usted trabaj en el punto 2 del presente taller, las
transformaciones anes correspondientes, en forma geomtrica, cartesiana y,
en caso de tratarse de una similitud, tambin en notacin compleja. Para cada
fractal construya la correspondiente tabla, como se explic en el punto anterior.
Fraclin1.2 es una versin mejorada por el mismo autor, Fernando Prez, quien
dise la versin original llamada Fractales en el ao 1991, siendo estudiante del
Departamento de Fsica de la Universidad de Antioquia y como parte de un proceso
de simulacin de procesos fsicos y matemticos en computador.
1. Una vez est ubicado dentro del programa explore todos y cada uno de los
mens con sus respectivas ventanas; en particular, lea atenta y cuidadosa-
mente los mens Instrucciones e Informacin (en este ltimo podr repasar
algunos de los conceptos ya trabajados y encontrar nuevos datos e ideas muy
interesantes).
Cuntas son?
Cules son similitudes directas?
Describa con palabras el efecto geomtrico de cada transformacin.
Para el desarrollo de este taller necesita disponer del programa computacional Fraclin
1.2
1. Inicie con el fractal curva de Koch. Con EDITAR, introduzca los parmetros
indicados:
TN r s B1 B2
T1 0,333 0,333 0 0 0 0
T2 0,333 0,333 0 0 0,333 0
T3 0,333 0,333 60 60 0,166 0
T4 -0,333 0,333 -60 -60 0,333 0
Qu gura se obtiene?
TN r s B1 B2
T1 0,5 0,5 0 0 1,5 2,0
T2 0,5 0,5 0 0 2,0 2,0
T3 0,5 0,5 0 0 1,75 2,5
Cul?
3. Las siguientes transformaciones generan un rbol. Comprelas con las del rbol
predeterminado de FRACLIN. Qu cambios encuentra en las guras y en las
funciones?
TN r s B1 B2
T1 0,05 0,60 0,00 0,00 -1,90 0,40
T2 0,05 -0,50 0,00 0,00 -1,90 2,50
T3 0,60 0,50 40,3 40,1 -0,76 2,00
T4 0,50 0,45 19,9 19,7 -0,91 2,02
T5 0,50 0,53 -30,2 -31,9 -1,42 1,05
T6 0,55 0,40 -39,8 -40 -1,42 0,69
La desigualdad de
CauchySchwarz
Rn =: {(x1 , x2 , . . . , xn ) | xi R, 1 i n} .
X +Y := (x1 + y1 , x2 + y2 , . . . , xn + yn ) ,
X := (x1 , x2 , . . . , xn ) .
1. X X = kXk2 ,
2. X Y = Y X,
3. X (Y + Z) = X Y + X Z,
4. (X Y ) = (X) Y = X (Y ).
(X Y )2 (X X) (Y Y ) . (Desigualdad de CauchySchwarz)
Si R, es claro que
(X Y ) (X Y ) = kX Y k2 0,
por lo cual
X X 2X Y + 2 Y Y 0,
kXk2 2X Y + 2 kY k2 0.
f () = A2 + B + C,
donde A := kY k2 0, B := 2X Y , C := kXk2 0.
4 (X Y )2 4 kY k2 kXk2 0,
(X Y )2 (X X) (Y Y ) .
C0 : long (C0 ) = 1
2
C1 : long (C1 ) = 3
4
2 2
C2 : long (C2 ) = 9 = 3
..
.
2 n
long (Cn ) = 3
2 n
En consecuencia se tiene que long (C) = lm3 = 0.
n
(B (x; ) {x}) N 6= .
1
Es claro que existe k N tal que 3k
< . Sea y N denido como sigue:
yi = xi , i = 1, 2, . . . , k, yk+1 6= xk+1 , yi , i k + 2.
y en consecuencia y B (x; ).
De esta manera, y (B (x; ) {x}) N .
(9). C = : Si existiera x C,
existira > 0 tal que B (x; ) = (x , x + ) C,
lo cual contradice (2).
S1 : a (S1 ) = 34 A,
9
3 2
S2 : a (S2 ) = 16 A = 4 A,
..
.
3 n
a (Sn ) = 4 A.
3 n
En consecuencia se tiene que a (S) = lm 4 A = 0.
n
1 1
(5). S es acotado: en efecto, S B 2, 2 ;1 .
(B (x; ) {x}) N 6= .
1
Es claro que existe k N tal que 4k
< . Sea y N denido como sigue:
yi = xi , i = 1, 2, . . . , k, yk+1 6= xk+1 , yi , i k + 2.
y en consecuencia y B (x; ).
De esta manera, y (B (x; ) {x}) N .
[1] Tom Apostol. Anlisis Matemtico. Editorial Revert, Barcelona Espaa, 1972.
[5] M. Barnsley and S. Demko. Iterated Function Systems and the Global Construction
of Fractals. Proc. Roy. Soc. London Ser., A 399:243275, 1985.
[6] L. S. Block and W. A. Coppel. Dynamics in One Dimension. Lecture Notes in Math.,
1513, 1992.
[8] V. J. Charatonik and A. Dilks. On Self-Homeomorphic Space. Topol. and its Appl.,
55:215238, 1994.
[10] G. A. Edgar. Measure, Topology, and Fractal Geometry. Springer-Verlag New York,
Inc., 1990.
[11] K.J. Falconer. The Geometry of Fractal Sets. Cambridge University Press, U.K., 1985.
[12] K.J. Falconer. Fractal Geometry. Mathematical Foundations and Applications. Second
Edition; John Willey and Sons, England, 2003.
224 Referencias
[13] E. Flrez. Una resea histrica de la geometra fractal. Monografa de grado, Licen-
ciatura en Matemticas, UIS, Bucaramanga, 1995.
[16] Bill Hirst. Libro de presentacin de una exposicin de arte, realizada en la sala de la
Biblioteca Luis ngel Arango, marzo 1998, Bogot.
[18] A. Kameyama. Julia Sets and Self-Similar Sets. Topology and its Applications, 54:241
251, 1993.
[19] G.S. Kirk, J.E. Raven, and M. Schoeld. Los lsofos presocrticos. Editorial Gredos,
Madrid, 1985.
[21] B. Mandelbrot. Les objets fractals: forme, hasard et dimension. Flammarion, 1975.
[23] B. Mandelbrot. Los objetos fractales: forma, azar y dimensin. Tusquets editores, S.
A., Traduccin de Josep Llosa realizada a partir de la 3a edicin francesa, Barcelona,
1993.
[30] H.O. Peitgen, H. Jurgens, and D. Saupe. Fractals for the Classroom, volume Part One.
SpringerVerlang, 1992.
[31] C.L. Rodrguez. Movimientos del atractor de un sistema iterado de funciones. Mono-
grafa de grado, Licenciatura en Matemticas, UIS, Bucaramanga, 2003.
[32] S. Ruette. Chaos for Continuous Interval Maps. Universit Paris-Sud, France, 2003,
Notas disponibles en:
http://www.math.u-psud.fr/~ruette/abstracts/abstract-chaos-int.html.
[33] G. Sarton. Historia de la ciencia (La ciencia antigua durante la edad de oro griega).
Editorial Universitaria de Buenos Aires, 1965.
[34] W. Sierpiski. Sur une curve dont tout point est un point de ramication. Prace Mat.
Fiz, 1916.