Académique Documents
Professionnel Documents
Culture Documents
&
Gilberto ARENAS
Una introduccin a la
geometra fractal
Contenido
Introduccin
1. Generalidades
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1. La autosimilitud . . . . . . . . . . . . . . . . . . . . . . . . .
10
15
19
20
21
22
23
1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
25
26
32
33
Contenido
ii
37
48
2.5. Conjuntos compactos, conjuntos acotados y totalmente acotados, puntos de acumulacin y puntos frontera . . . . . . . . . . . . . . . . . .
50
62
66
70
2.9. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71
79
79
87
3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
97
99
99
Ln . . . . . . . . . . . . . . . . . . 129
n=0
Contenido
iii
149
. . . . . . . . . . . . . . . . . . . . 180
. . . . . . . . . . . . . . . . . . . . 187
6. Talleres
191
. . . . . . . . . . . . . . . . . . 196
iv
Contenido
A. La desigualdad de CauchySchwarz
213
215
219
Referencias
223
Introduccin
El creciente inters que existe actualmente en diversos campos de la ciencia por la
geometra fractal y sus muy diversas aplicaciones, as como la importancia que se
le concede, implica la necesidad de divulgar los conceptos bsicos de esta geometra
entre los estudiantes de ciencias e ingenieras de nuestras universidades. En el presente
texto se pretende hacer un acercamiento a los fractales por el camino de los Sistemas
Iterados de Funciones (SIF) mediante el estudio formal de la nocin de autosimilitud
(o autosemejanza) en el contexto de los espacios mtricos, haciendo nfasis en el
tratamiento formal y riguroso de los conceptos y teoremas de la matemtica que
sustentan esta teora y proponiendo talleres para ser desarrollados por los estudiantes,
haciendo uso, en algunos de ellos, de un programa computacional.
La geometra fractal nace en la dcada de los aos setenta del siglo pasado y se enmarca 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 computador 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 proximidad 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.
En el mbito de la Universidad Industrial de Santander (UIS) se imparti, de manera casi ininterrumpida, entre los ao 1992 y 2009, un curso de introduccin a la
geometra fractal como contenido de la asignatura Geometra Moderna, ofrecida por
la Escuela de Matemticas. El texto que aqu presentamos corresponde en buena
vi
Introduccin
Introduccin
vii
viii
Introduccin
Introduccin
ix
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 hombre 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]).
1. Generalidades
La geometra fractal pretende acercarse un poco ms a las formas, objetos y fenmenos de la naturaleza; de hecho, uno de los libros clsicos de B. Mandelbrot lleva
el sugestivo ttulo The Fractal Geometry of Nature [22]. Pensemos por ejemplo en
un rbol. Quiz una representacin aproximada de un rbol, usando guras de la
geometra euclidiana, sera como la que se muestra en la Figura 1.1, mientras que
usando los principios bsicos de la geometra fractal, una representacin de un rbol
sera como la de la Figura 1.2. La Figura 1.3 corresponde a una representacin de
un rbol obtenida (computacionalmente) aplicando el mtodo que explicaremos en
el captulo 4 del presente libro.
Justamente esta caracterstica (la de constituir una geometra ms cercana a la naturaleza) es una de las razones por las cuales la geometra fractal actualmente llama
la atencin. Existen, en nuestro concepto, al menos otros tres atractivos que posee esta geometra, a saber: la belleza o vistosidad de las guras que estudia, las numerosas
aplicaciones que se le vienen encontrando en muy diversas ramas de la ciencia y aun
del arte (fsica, biologa, qumica, geologa, medicina, pintura, arquitectura, msica,
literatura, diseo, entre otras), y por otra parte, dado que constituye un rea de estudio relativamente nueva, se encuentra an en ella una buena cantidad de problemas
abiertos y preguntas sin respuestas conocidas, hecho que por s slo constituye un
fuerte atractivo para quien se precie de ser un amante de la matemtica.
En la Figura 1.4 se muestran dos ejemplos de la naturaleza donde llama la atencin
lo vistoso de su geometra.
[S.M. Sabogal & G. Arenas
1.1. Introduccin
En la Figura 1.5 se muestran varios modelos de fractales elaborados por los estudiantes 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.
1. Generalidades
1.1. Introduccin
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.
Una introduccin a la geometra fractal]
1. Generalidades
recomienda tal uso.
Conjunto fractal. Denicin provisional. Conjunto cuya dimensin fractal es
mayor o igual que su dimensin ordinaria (topolgica).
Objeto fractal. Objeto natural que resulta razonablemente til representarlo
matemticamente por un conjunto fractal.
1.1.1.
La autosimilitud
1.1. Introduccin
S0
S1
S2
...
...
S3
Sn
S :=
Sn .
n=1
1. Generalidades
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.
copias. De esta forma podemos armar que el tringulo de Sierpiski est formado
por innitas copias de s mismo, solo que reducidas y colocadas en diferente posicin.
Esta propiedad es llamada autosimilitud o autosemejanza, y es la primera propiedad
que debemos destacar como una propiedad esencial de los fractales.
La nocin intuitiva de autosemejanza en realidad es muy sencilla y natural; muy
seguramente todos la hemos percibido en algn momento y de alguna manera en
muy diversos contextos: por ejemplo al observar diferentes objetos de la naturaleza
como algunas clases de plantas, rboles, una cabeza de colior o una de brcoli, las
nubes, las olas del mar, un relmpago, entre muchos otros. Se encuentra tambin,
claro est, en el contexto de las matemticas: algunas fracciones continuas, conjuntos
cuyos elementos son conjuntos, ltros cuyos elementos son ltros, la categora de
[S.M. Sabogal & G. Arenas
1.1. Introduccin
(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)).
Muy posiblemente aqu aparecen algunos conceptos desconocidos para el estudiante. La idea es
que investigue algo al respecto ya sea consultando en libros o preguntndole al profesor.
Una introduccin a la geometra fractal]
10
1. Generalidades
(a)
(b)
1.1.2.
La dimensin extraa
1.1. Introduccin
11
Dimensin 0
Dimensin 1
Dimensin 2
Dimensin 3
Dimensin 1,584
Dimensin 1,8928
12
1. Generalidades
ln N
ln (nmero de copias semejantes a la gura original)
=
.
ln n
ln (factor de ampliacin para obtener la gura original)
(1.1)
ln 3
1,584 .
ln 2
De esta manera 1 < DS < 2, lo que puede interpretarse como que el tringulo
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
1.1. Introduccin
13
...
P0
P1
P2
Pn
cual nos genera una sucesin (Pn )n de guras cuya gura lmite (en el mismo sentido
en que la describimos para el tringulo de Sierpiski), la llamaremos la pirmide
ln 4
= 2.
ln 2
14
1. Generalidades
Lo que muestra, quiz sorpresivamente, que no todos los conjuntos de tipo fractal 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 objetos 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 dimensin 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 caractersticas 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:
Autosemejante
DT = 2
DH = 2
DH = DT
Autosemejante
DT = 1
DH 1,584
DH > DT
Autosemejante
DT = 1
DH = 2
DH > DT
1.2.
15
La mencin explcita quiz ms remota en la historia sobre el fenmeno de autosemejanza se remonta al siglo V a.C., al examinar las ideas del lsofo jonio Anaxgoras
de Clazomene (c. 500-428 a.C.). Segn Anaxgoras, el universo fue un caos de innumerables semillas (spermata), al cual la mente (nus), mediante un movimiento de
rotacin (perichoresis), dio orden y forma. Estas semillas no son elementos pues,
cada una es tan compleja como el todo. La alusin a la autosemejanza es clara. Segn
Anaxgoras, los elementos son homemeros, [. . . ] pues cada uno de ellos es un conglomerado de cosas homemeras invisibles. [. . . ] Cada homeomera contiene en s
todas las cosas, de modo similar al todo, [de modo que las homeomeras] no solo son
innitas, sino innitas veces innitas [19]. As cada semilla o spermata, no es ms
simple que el resto, ni esencialmente distinta en su composicin [33, pg. 297].
Ejemplos de conjuntos autosemejantes se conocen desde hace mucho tiempo. A una
buena parte de ellos se los denomina actualmente conjuntos fractales. La prehistoria
de este tipo de conjuntos se remonta a nales del siglo XIX y principios del siglo XX,
con el descubrimiento de fenmenos como el movimiento browniano y de conjuntos
extraos o situaciones que en esa poca fueron consideradas patolgicas, tales
como el conjunto de Cantor (1883), el tringulo de Sierpiski (1916), las funciones
continuas y nunca diferenciables (1872), la curva de Von Koch (1904), las curvas
de Peano que llenan el espacio (1890), entre otros. En el momento de aparecer este
tipo de conjuntos y fenmenos, muchos de ellos fueron subestimados y sencillamente
dejados a un lado. En 1919 Hausdor4 proporciona la herramienta fundamental para medir estos conjuntos tan particulares, al introducir lo que hoy se conoce
como medidas y dimensin de Hausdor, y durante los aos veinte se sigue
desarrollando la teora geomtrica de la medida, cuyo papel es fundamental en el
estudio de este tipo de conjuntos. En 1918 Gaston Julia (1893-1978) publica sus
trabajos sobre sistemas dinmicos complejos, y lo mismo hace en 1926 el matemtico
francs Pierre Joseph Louis Fatou (1878-1929). En los aos veinte los trabajos
de Julia y Fatou fueron de reconocida importancia, pero posteriormente quedaron
4
16
1. Generalidades
en el olvido hasta que, en los aos setenta Benoit Mandelbrot (1924-2010), rescata 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 naturaleza 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 precios 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 mencionada 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 observar 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 apreciablemente 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[S.M. Sabogal & G. Arenas
17
18
1. Generalidades
Seguiremos an en la realidad experimental si, mirando por el microscopio,
observamos el movimiento browniano que agita cualquier pequea partcula en
suspensin en un uido. Para jar una tangente a su trayectoria, tendramos que
encontrar un lmite, por lo menos aproximado, a la direccin de la recta que une
las posiciones de dicha partcula en dos instantes sucesivos muy prximos. Ahora
bien, hasta donde permite llegar la experiencia, esta direccin varia localmente
cuando se disminuye el tiempo transcurrido entre ambos instantes. De modo
que lo que este anlisis sugiere al observador sin prejuicios es la funcin sin
derivada y no, en absoluto, la curva con tangente [. . . ] [23, pg. 1516].
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:
. . . Dejemos la lectura de Perrin (que se puede continuar en Les Atomes, o
en mi edicin de 1975), para describir la importancia histrica de estas ltimas observaciones. Hacia 1920 deberan trastornar al joven Norbert Wiener y
lo estimularan en la construccin de su modelo probabilstico del movimiento
browniano. Hablaremos mucho de ello en este ensayo. Y desde ahora tomaremos
de Wiener un trmino al que tenia acin para denominar una forma extrema
del desorden natural. La palabra es caos y nos permite apreciar que Perrin hizo dos observaciones distintas. Por una parte, que la geometra de la naturaleza
es catica y est mal representada por el orden perfecto de las formas usuales
de Euclides o del clculo diferencial. Por otra parte, que dicha geometra ms
bien evoca la complicacin de las matemticas creadas hacia 1900. Desgraciadamente, la inuencia de estas observaciones de Perrin parece haber terminado
con su efecto sobre Wiener. Es la obra de Wiener la que ha sido mi principal
fuente de inspiracin, y la losofa de Perrin no me ha llegado ms que cuando
este ensayo estaba siendo sometido a las ltimas correcciones. Como ocurre a
veces, el dominio fractal haba emergido (sin nombre) cuando abord ciertos
fenmenos caticos completamente modestos por medio de tcnicas matemticas reputadas de avanzadas, con las que el azar me haba familiarizado [. . . ]
[23, pg. 1718].
[S.M. Sabogal & G. Arenas
19
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.
El segundo libro, The Fractal Geometry of Nature, reemplaza ampliamente su ensayo original de 1975 y conserva aproximadamente el mismo estilo de Los objetos
fractales, aunque abarca ms temas y constituye tambin una obra fundamental de
Mandelbrot.
Por supuesto, existen esfuerzos importantes de formalizacin matemtica y elaboracin de una teora unicada de los fractales. En particular, en relacin con la nocin
de autosemejanza John E. Hutchinson publica, en 1981, su artculo Fractals and
Self-Similarity [17], en el cual, a partir de las ideas de B. Mandelbrot expone una
teora muy formal y bien fundamentada de los que l llama conjuntos estrictamente
autosimilares. All hace un estudio riguroso de la nocin de autosimilitud en espacios
mtricos, usando conceptos y herramientas de la teora de la medida. Es este un
artculo muy importante en lo que a geometra fractal se reere, puesto que constituye uno de los trabajos pioneros formales y rigurosos en cuanto al tratamiento
matemtico del tema.
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 aplicaciones y la nocin de autosimilitud; para el lector interesado mencionamos en las
Lecturas recomendadas varias de estas publicaciones.
1.3.
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
1.3.1.
El conjunto de Cantor
C12 = [2/3, 1] ,
C24 = [8/9, 1] ,
..
Cj =
Cjk .
k=1
21
Cj ,
j=1
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
0,63093,
ln 3
y por otra parte la dimensin topolgica DT de C es cero, de modo que se cumple la
DH =
condicin DH > DT .
1.3.2.
La carpeta de Sierpiski
j=0
Aj .
ln 8
1,89279,
ln 3
22
1. Generalidades
...
A0
A1
A2
...
Ak
1.3.3.
La curva de Koch
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
ln 4
1,26186,
ln 3
mientras que la dimensin topolgica es DT = 1.
DH =
Koch Helge Von (1870-1924) matemtico sueco, nacido en Estocolmo. Tras los estudios de
escuela elemental acudi a estudiar matemticas en la Universidad de Estocolmo con el famoso
matemtico sueco Magnus Gsta Mittag-Leer, quien fue su gua y consejero. Von Koch escribi
muchos artculos sobre teora de nmeros.
[S.M. Sabogal & G. Arenas
1.3.4.
23
La esponja de Menger
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.
M=
j=0
Mj .
...
M0
M1
M2
ln 20
2,7268,
ln 3
Menger Karl (1902-1985). Matemtico austriaco nacido en Viena. Elabor una importante
teora de curvas y de dimensin. Su libro: Dimension theorie, publicado en 1928, constituye un documento histrico. Estuvo interesado en la economa e hizo contribuciones a la mecnica cuntica;
en 1951 introdujo el concepto de conjunto confuso que fue redescubierto posteriormente y renombrado conjunto difuso. Intent una reforma del clculo y se caracteriz por su espritu original e
independiente.
Una introduccin a la geometra fractal]
24
1. Generalidades
1.4.
Ejercicios
...
a)
F0
F1
F2
b)
...
J0
J1
J2
1/4
1/4
c)
1/4
1/4
...
K0
K1
K2
1/2
1/2
1
1/2
d)
L0
1/2
L1
...
L2
Captulo 2
26
2.1.
Denicin y ejemplos
X X
(x, y)
R
d (x, y)
(llamada mtrica o distancia en el espacio), que satisface los dos siguientes axiomas:
EM1: x, y X, d (x, y) = 0 x = y.
EM2: x, y, z X, d (x, y) d (x, z) + d (y, z) .
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),
1. El conjunto de los nmeros reales con la distancia denida por du (x, y) := |xy|
entonces
EM1: du (x, y) = |x y| = 0 |x y| = 0 x y = 0 x = y.
EM2:
27
(y1 x1 )2 + (y2 x2 )2 ,
llamada distancia usual o euclidiana sobre R2 , se denomina espacio eucldeo de dos dimensiones, (R2 , du ). Veamos que en efecto du es una mtrica.
EM1: Para cualesquiera x = (x1 , x2 ), y = (y1 , y2 ) tenemos
du (x, y) = 0
(y1 x1 )2 + (y2 x2 )2 = 0
(y1 x1 )2 = (y2 x2 )2 = 0
y1 = x1 y2 = x2
x = y.
b21 + b22 .
(Desigualdad de Cauchy-Schwarz)
a21 + a22
b21 + b22 .
(2.1)
28
a21 + a22
b21 + b22
+ b21 + b22
a21 + a22 +
b21 + b22
(y1 x1 )2 + (y2 x2 )2
(z1 x1 )2 + (z2 x2 )2 +
(y1 z1 )2 + (y2 z2 )2
de donde
2
(y1 x1 ) + (y2 x2 )
(z1 x1 ) + (z2 x2 ) +
(y1 z1 ) + (y2 z2 ) ,
du (x, y) :=
i=1
(xi yi )2 .
(2.2)
0,
1,
si x = y,
si x = y,
29
|xi yi |
i=1
(N + 1)i
(2.3)
|2 3| |1 2| |2 1| |2 3| |2 3|
+
+
+
+
+
4
42
43
44
45
1
1
1
+
+
+
4 16 64
1 i
1
1
=
1= .
4
1 1/4
3
i=1
(N + 1)
lo que implica
|xi yi |
i=1
(N + 1)
<
N
(N + 1)i
<N
i=1
(N + 1)i
30
(2.4)
y = (y1 , y2 )
y2
|y2 x2 |
x = (x1 , x2 )
x2
z
|y1 x1 |
x1
y1
dtax : metrica del taxista
du : metrica usual
Se puede probar entonces (Ejercicio 2.9.5) que (2.4) dene una mtrica en R2 ,
que llamaremos la mtrica del taxista.
7. En el conjunto de parejas ordenadas de nmeros reales, x = (x1 , x2 )
(o R2 ), se dene el producto interior entre dos elementos x = (x1 , x2 ),
[S.M. Sabogal & G. Arenas
31
y = (y1 , y2 ) R2 como
x y := x1 y1 + x2 y2 ;
x :=
y el ngulo (x, y) entre x e y como
: R2 R2 R
0,
si x = y = 0 ;
/2,
si x = 0 y = 0 ;
(x, y) (x, y) :=
arc cos
, si x = 0 y = 0 .
x y
(2.5)
R2 R2
(x, y)
R
d (x, y) :=
x y
+ (x, y) .
(2.6)
y
y
x
(x, y)
x
x y
32
(2.7)
(2.8)
x y
+ (x, y)
x z
+ (x, z) +
y z
+ (y, z)
= d (x, z) + d (y, z) .
Por tanto, se satisface la desigualdad (2.7).
Por consiguiente, de EM1 y EM2 tenemos que R2 , d es un espacio mtrico
correctamente denido.
2.1.1.
Subespacio mtrico
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.
Ms exactamente, tenemos lo siguiente:
DenicinArmacin 2.1.3 (Subespacio mtrico). Sean (X, d) un espacio mtrico y S X. La funcin d restringida a S S, d| , es una mtrica y el espacio (S, d| )
d : X X R
(x, y) d(x, y);
como S X, entonces S S X X,
d| : S S R
(x, y) d| (x, y) = d(x, y).
[S.M. Sabogal & G. Arenas
33
R2
con la mtrica
pacio mtrico de R2 , du .
2.2.
Nocin de convergencia
1 1 1 1
, , , ,
2 3 4 5
1,
1 1 1 1
1
, , , , , ,
2 3 4 5
n
34
n 3
esta sucesin?).
para todo > 0, existe N N tal que n N implica d(sn , S) < . S se llama lmite
de la sucesin, y lo notaremos
lm (sn )n = S
(sn )n S.
[S.M. Sabogal & G. Arenas
35
1
n n
sn
s4 s3
1
n
1
4
1
3
s2
s1
1
2
1
n n
1
n n
0.
tendremos:
1
,0
n
du
1
1
1
0 =
< .
n
n
N
1
n n
0.
2. La sucesin (2n)n no converge en (R, du ). Esto es intuitivamente claro al observar la Figura 2.6. Una demostracin formal de este hecho sera como sigue:
supongamos que existe un L R tal que (2n)n L.
s1
s2
s3
s4
10
12
Propiedad arquimediana: sean x, y R, con x > 0; entonces existe N N tal que N x > y.
36
1
2
1
n n
0, podemos pregun-
L. La respuesta es NO,
Teorema 2.2.4 (Unicidad del lmite). Si (sn )n converge, entonces lo hace a un nico
punto lmite.
Demostracin. (Por contradiccin)
Supongamos que (sn ) a, (sn ) b y a = b, entonces d(a, b) > 0.
d(a, b)
.
2
Como (sn )n a, existe N1 N : n N1 d(sn , a) < .
Sea =
d(a, b) d(a, b)
+
.
2
2
37
N N X
n kn xkn
De esta manera x k es una sucesin en X cuyos trminos xkn son extrados de
condicin
n m = kn km
(i.d., k es creciente)
signica que de (xn )n se van tomando trminos xk1 , xk2 , , xkm , , pero conser-
vando el orden.
supongamos que (xn )n L y sea (xkn )n subsucesin de (xn )n . Sea > 0. Existe
2.3.
38
s2
s1
s3
s2
s1
s4
s5
s6
s4
s7
s3
s5
sn
s6
Sucesin convergente
Los trminos sn se acercan
cada vez ms a un punto L.
s7
sn
Sucesin de Cauchy
Los trminos sn se acercan
cada vez ms entre s.
es de Cauchy
n
pero
1
n
no converge en X.
n
1
N
< .
1
m
1
n
1
m
0.
Luego m, n N se cumple:
1
1
1
1
1
1
=
<
< .
n m
n m
n
N
[S.M. Sabogal & G. Arenas
1
n
39
es de Cauchy.
n
sucesin. Sea > 0. Por hiptesis, existe N N tal que n N implica d (sn , L) < .
2
Sean m, n N , entonces d (sn , sm ) d (sn , L) + d (sm , L) < + = .
2 2
De esta manera se concluye que (sn )n es de Cauchy.
Se ha demostrado entonces que, en cualquier espacio mtrico, toda sucesin convergente es de Cauchy, pero lo recproco no se cumple, como lo hicimos notar en el
ejemplo 2.3.2 para los casos (0, ) y Q. Sin embargo, s existen espacios mtricos
40
Ejemplo 2.3.5.
1
n
1
n n
Obsrvese que 0
/ S. Tambin 14 , 35 , 23 , 18 , 12 , son puntos de adherencia de S. Cules
r
a
41
(x, y) R2 |
(x a1 )2 + (y a2 )2 < r
(x, y) R2 | (x a1 )2 + (y a2 )2 < r 2 .
r
ar
a+r
3. Veamos cmo sera la bola Bdtax ((0, 0) ; 1). Recordemos que la mtrica del
taxista (en R2 ) est denida por
dtax ((x1 , y1 ) , (x2 , y2 )) =: |x1 x2 | + |y1 y2 | ,
de modo que
Bdtax ((0, 0) ; 1) = {(x, y) | dtax ((x, y) , (0, 0)) < 1}
= {(x, y) | |x| + |y| < 1} .
La grca de la desigualdad |x| + |y| < 1 es un rombo (abierto) con vrtices
en los puntos (1, 0), (0, 1), (1, 0) y (0, 1) (ver Figura 2.11). En general, una
bola con centro a = (a1 , a2 ) y radio r con la mtrica del taxista es un rombo
42
1
Figura 2.11: Bola de centro (0, 0) y radio 1 segn
la mtrica del taxista.
Bddisc (a; r) =
{a},
X,
si r 1
si r > 1
Nota. Generalmente las bolas son conjuntos convexos (esto es, para cualquier
par de elementos de la bola, el segmento3 que los une queda totalmente con3
La denicin del segmento entre dos puntos a y b depende de la mtrica del espacio, y es
43
0,
d(x, y) = 1,
2,
si x = y;
si x = y (x = 2y y = 2x);
si x = y (x = 2y y = 2x).
1
(2.9)
c x
+ (c, x) <
+ <
<
+ < x <
2 + < x <
< x < 2 .
Si denotamos x = 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
44
(2.10)
Construyamos ahora sobre el plano cartesiano el modelo de la bola (2.9) empleando las desigualdades polares (2.10).
Teniendo en cuenta que [0, ], la primera desigualdad de (2.10) nos da la
el semiplano inferior.
(0, 3/2)
(, 0)
p(2 2, 0) 0
c(, 0)
(2, 0)
(0, 3/2)
6
Por ejemplo el punto p = (2 2, 0) a, b Bd (c; ).
[S.M. Sabogal & G. Arenas
45
d (sn , x) < r,
n N
sn Br (x) S = .
n N
sn Br (x) ,
en S y
d (sn , x) <
1
0,
n n
Di-
46
1
n
Ejemplo 2.3.17. Dada una bola B(a; r) en un espacio mtrico (X, d), se dene la
entonces existe una sucesin (an )n de puntos de B(a; r) tal que (an )n x; probemos
Supongamos que d(x, a) > r. Entonces para = d(x, a)r > 0, existe N N tal que:
de donde se tendra < , absurdo. De esta manera, d(x, a) r, luego x B(a; r),
Recordemos el ejemplo 2.3.5, en el cual se arm que en R los conjuntos [0, 1], [a, b],
[0, ) y
1
n
(sn )n x.
[S.M. Sabogal & G. Arenas
47
(2.11)
(2.12)
es decir, la sucesin (snk )k es casi constante (ver Ejercicio 2.9.13), de modo que
(snk )k snt . Pero (snk )k x, luego, por el teorema de unicidad del lmite, snt = x,
y as x D D {s}. Ahora, si {snk | k N} es innito, entonces debe existir
una sucesin creciente de naturales nk1 < nk2 < . . . < nkt < . . . tal que los elementos snk1 , snk2 , . . . , snkt , . . . son distintos dos a dos. Se tiene as que snkt
subsucesin de (snk )k , por lo tanto
s n kt
Pero tambin snkt
x.
es una
(2.13)
s.
(2.14)
Finalmente, de (2.13) y (2.14), y de nuevo por la unicidad del lmite, se concluye que
x = s D {s}.
Una introduccin a la geometra fractal]
48
2.4.
Conjuntos abiertos
Diremos que S es abierto si para todo elemento s S, existe una bola que contiene
a s y que est contenida en S. En smbolos:
r
a
En efecto: si x B (s; ),
49
(n, n + 1)
nZ
son abiertos; mientras que [0, 1), [0, 1], {a1 , a2 , , ak }, (, a], N, no son abiertos.
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:
Sin embargo, existe una relacin importante entre los conceptos de abierto y cerrado,
la cual establecemos en la siguiente proposicin.
Proposicin 2.4.6. Sea (X, d) un espacio mtrico y S X. S es abierto si y slo
si S c es cerrado.
50
Bx = {y S | d (y, a) < r} ,
Bx
cicio 2.9.16.
xG
2.5.
51
convergente en S1 ;
S1
compacto
S2
no compacto
no compacto
52
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
3
2; 1
= x X : x
3
2
<1 =
1 5
2, 2
B (ai ; ri ) .
i=1
Sea r = m
ax {r1 , r2 , , rk } y t = m
ax {d (ai , aj ) : i, j = 1, 2, , k}. Seleccionemos
uno cualquiera de los centros de las bolas cuya unin recubre a S, digamos a1 , y
probemos que:
S B (a1 ; r + t) .
[S.M. Sabogal & G. Arenas
53
(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
b) (skn )n x (Proposicin 2.2.7).
De a) y b) se tiene que x = s luego x S.
Veamos que S es acotado. Por contradiccin: supongamos que S no es acotado. Sea
s1 S (si fuera S = , ya est acotado). Tenemos:
S
Tenemos:
S
de modo que existe s3 S tal que s3 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
B (si ; 1) ,
i=1
54
i = j.
(2.15)
Pero S es compacto, lo que implica que (sn )n admite una subsucesin convergente,
digamos (skn )n , lo cual es imposible pues contradice la propiedad (2.15). Por lo tanto
S debe ser acotado.
De esta manera, en el contexto general de los espacios mtricos se tiene:
S compacto
=
=
S cerrado y acotado.
iI
55
Veamos la relacin que existe entre los conceptos: acotado y totalmente acotado:
Proposicin 2.5.13. (X, d) espacio mtrico S X. Si S es totalmente acotado
entonces S es acotado. Lo recproco, en general no es cierto.
X=
i=1
B ai ; 12 = {a1 , a2 , . . . , ak } ,
i = 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
una red que recubre a S. Recprocamente, supongamos que S es cerrado y totalmente acotado. Sea (xn )n una sucesin en S. Si {xn | n N} es nito, entonces existe
de radio 1 tal que S est contenida en la unin de esas bolas. Una de estas bolas,
nita de bolas cerradas de radio 1/2 tal que B1 S est contenido en la unin de
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
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 compacto.
En el caso particular de los espacios euclidianos Rn se tiene que ser acotado es
equivalente a ser totalmente acotado.
Proposicin 2.5.15. Sea S Rn . Entonces S es acotado si y slo si S es totalmente
acotado.
57
Denicin 2.5.16 (Puntos de acumulacin y puntos frontera). Sean (X, d) un espacio mtrico, S X y x X.
1. Diremos que x es un punto de acumulacin de S si toda bola con centro en x,
interseca a S, en un punto distinto de x. Es decir, x es punto de acumulacin
de S si y slo si
( > 0) ((B (x; ) {x}) S = ) .
El conjunto de todos los puntos de acumulacin de S se llama el derivado de
S y se denota S .
2. Diremos que x es un punto frontera de S si toda bola con centro en x interseca
a S y a X S = S c . Es decir, x es punto frontera de S si y slo si
( > 0) (B (x; ) S = y B (x; ) S c = ) .
El conjunto de todos los puntos frontera de S se llama la frontera de S y se
denota F r(S) o S.
Ejemplo 2.5.17. En R:
Si
Si
Si
Si
[0, 1)
[0, 1]
[0, 1]
{0, 1}
(0, )
[0, )
[0, ) {0}
1
n
| n N1
1
n
| n N1 {0} {0}
1
n
| n N1 {0}
1
n
| n N1 {0}
1
n
| n N1 {0} {0}
1
n
| n N1 {0}
[0, 1) {2}
[0, 1] {2}
[0, 1]
{0, 1, 2}
C (Conjunto de Cantor)
C (vase el Apndice B)
{x1 , x2 , x3 , . . . , xk }
{x1 , x2 , x3 , . . . , xk }
{x1 , x2 , x3 , . . . , xk }
58
Demostracin.
i) Sea x S. Si x
/ S veamos que entonces x S .
Sea > 0, entonces B (x; ) S = , luego, existe y B (x; ) S, lo cual
implica que y B (x; ) e y S, de modo que x = y; en consecuencia,
y (B (x; ) {x}) S. As, S S S .
Recprocamente:
Sea x S; entonces x S (dado que S S).
Si x S , entonces existe > 0 tal que (B (x; ) {x}) S = , luego
B (x; ) S = , y en consecuencia x S; as, S S S.
/ S;
Sea x S; veamos que x S. Por contradiccin, supongamos que x
entonces x
/ S (hiptesis), luego existe > 0, tal que
a) B (x; ) S =
b) B (x; ) S c = .
(contradiccin).
Veamos una caracterizacin de la nocin de compacidad en trminos de recubrimientos abiertos. Pero antes introduzcamos la nocin de dimetro de un conjunto.
Denicin 2.5.19. Sean (X, d) espacio mtrico y A X, A acotado y no vaco. Se
dene el dimetro de A por:
que
como
es
59
acotado
no
vaco,
entonces
el
conjunto
{d(a1 , a2 ) | a1 , a2 A} es un conjunto de reales, no vaco y acotado superiormente, de modo que la denicin anterior est bien formulada.
mostremos que existe > 0 tal que cada conjunto de dimetro menor que ,
est contenido en un elemento de A. Por contradiccin, supongamos que no
existe tal . Entonces para cada entero positivo n existe un conjunto Cn con
dimetro menor que 1/n que no est contenido en ningn elemento de A. Tomemos un xn Cn para cada n. Por hiptesis, existe una subsucesin xnj
1
nj
(pues si y Cnj , como xnj Cnj , entonces d y, xnj diam Cnj <
1
nj
< 2 ).
Tambin podemos escoger j sucientemente grande para que d xnj , a < /2.
60
(B (xn ; rn ) {xn }) A = .
Ahora bien, X = A (X A)
(2.17)
B (xn ; rn )
nN
X A no interseca a A, entonces A
i=1
puntos, se puede seleccionar n3 > n2 tal que xn3 B (x; 1/3). De esta manera
se contina, y se obtiene entonces una subsucesin xnj
xnj x.
El resultado anterior se usa en la demostracin de la Proposicin 2.5.15, la cual
habamos dejado pendiente, y la presentamos en seguida.
Demostracin de la Proposicin 2.5.15. En virtud de la Proposicin 2.5.13 slo falta
probar que si S es acotado entonces es totalmente acotado. Si S B(a; r), consi-
tK
i=1
61
(X F ) .
Oi
iI
{Oi }iI {X F } es un recubrimiento abierto de X, y como X es compacto, este recubrimiento se puede reducir a un subcubrimiento nito, de lo cual podemos concluir
que debe existir un N N tal que F
N
k=1
Tenemos: A, B A B
iI
M
de A, como de B. Por hiptesis existen {Oik }N
k=1 y {Ojk }k=1 subrecubrimientos
M
nitos de A y de B respectivamente, de modo que {Oik }N
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 (Proposicin 2.5.8) de modo que
iI
Adems,
iI
Ki Kj para cada j I, e
62
Ki es un cerrado en Kj y Kj es
iI
2.6.
Ki es
iI
(2.18)
f (a) +
f (a)
f (a)
a+
(2.19)
63
que d(x, a) < , se tiene m(f (x), f (a)) < . Diremos que f es continua en X (o
simplemente continua), si f es continua en a, para todo a X.
Si f no es continua en a, se dice que f es discontinua en a.
La continuidad se puede tambin caracterizar en trminos de bolas o en trminos de
abiertos. Veamos:
Proposicin 2.6.2. Sea f : (X, d) (Y, m). Las siguientes armaciones son equivalentes:
(i) f es continua;
(ii) Para todo a X y para toda bola Bm (f (a) ; ) existe una bola Bd (a; ) tal que
f (Bd (a; )) Bm (f (a) ; ) ;
(iii) Para todo O abierto en Y , se tiene que f 1 (O) es abierto en X.
Demostracin.
(i) (ii): Dada la bola B (f (a) ; ), para > 0 existe > 0 tal que d (x, a) <
64
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
(R, du )
(R, ddisc )
f (x) = x
O
(R, du )
f 1 (O)
f (x) = [[x]]
f (x) = x
f 1 (O)
f 1 (O)
(R, du )
(R, ddisc )
(Y, m)
f : (X, d) (Y, m)
denida
por
y0
Si y0 O entonces f 1 (O) = X,
que tambin es abierto, luego f es
Figura 2.22: Funcin constante.
continua.
[S.M. Sabogal & G. Arenas
65
Nota. Obsrvese cmo, en general la continuidad de una funcin depende no solamente de la forma como est denida la funcin, sino tambin de las mtricas, tanto
del dominio como del codominio de la funcin.
La continuidad en espacios mtricos tambin se puede caracterizar en trminos de
convergencia de sucesiones, como sigue:
Proposicin 2.6.4. Sean f : (X, d) (Y, m) y a X. f es continua en a si y
slo si (xn )n a implica (f (xn ))n f (a), para cada sucesin (xn )n en X.
Demostracin.
) Si f es continua en a y (xn )n a, veamos que entonces (f (xn ))n f (a). Sea
> 0. Existe > 0 tal que
d (xn , a) <
implica
implica
d (xn , a) < ,
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
f (Bd (a; )) Bm (f (a) ; ) .
Entonces para cada n N se tiene
f Bd a; n1
Bm (f (a) ; ) ,
es decir,
1
y
m (f (xn ) , f (a)) .
n
Esto signica que (xn )n a pero (f (xn ))n (f (a)), contradiciendo la hipted (xn ; a) <
sis.
Para efectos de construir fractales nos interesar cierto tipo de funciones que abordamos en la siguiente seccin.
Una introduccin a la geometra fractal]
66
2.7.
(X, d)
f
f (y)
x
f (x)
Formalmente:
Denicin 2.7.1 (Contraccin). Sean (X, d) un espacio mtrico y f : X X. Di-
remos que f es una contraccin si existe r R, 0 r < 1 tal que para cualesquiera
x, y X se tiene que
2
3
1
2
x+
3
3
1
2
y+
3
3
1
1
|x y| = d (x, y) .
3
3
1
3, 1
es tambin
un factor de contraccin de f .
67
2. f : R2 R2 ,
f
x
y
=
=
1
2
x
+
y
0
1
2
1 x
+
2 y
1
2
1
2
1
2
1
1
z+ ;
2
2
x
+
y
1 0
0 1
z=
1
2
x
.
y
(z w) (z w) =
Luego
f (z) f (w) =
d (f (z) , f (w)) =
1
1 1
1
z+ w
2
2 2
2
1
1
z w = d (z, w) .
2
2
Ahora bien,
f (z) f (w)
rz ei + a + bi rwei a bi
= r e i
zw =r zw .
Entonces
f (z) f (w) = r z w ,
o de forma equivalente
d (f (z) , f (w)) = rd (z, w) .
Luego f es una contraccin con factor de contraccin r.
7
e 2,7182818284590452353602874713527
68
x
5. La funcin f : R3 R3 , denida por f y =
z
1
con factor de contraccin 2 (comprubelo!).
x
1
y , es una contraccin
2
z
si satisface f (x0 ) = x0 .
Ejemplo 2.7.5.
1
3x
3
2
3
2
es el nico punto
este nico punto jo cumple tambin una propiedad especial que explicaremos
despus de introducir la siguiente notacin:
[S.M. Sabogal & G. Arenas
69
Notemos f (f (x)) por f 2 (x), f (f (f (x))) por f 3 (x), y as sucesivamente. Lo podemos tambin denir recursivamente como sigue:
f 1 (x) := f (x)
f n (x) := f f (n1) (x) ,
n 2.
1
3x
f 2 (x) = f
f 3 (x) = f
+1
1
1 1
3x + 1 = 3 3x + 1
1 2
x + 13 + 1 = 13
3
+1=
1 2
x
3
1 2
x + 13 + 1
3
+ 13 + 1 + 1 =
1 3
x
3
1 2
3
1
3
+1
..
.
f n (x) =
1 n
x
3
1 n1
3
+ +
1 2
3
1
3
+ 1.
lm
1
3
lm
1
3
x+
1
3
n1
+ +
n1
x + lm
i=0
1
3
1
3
1
1
1
3
1
+1
3
3
,
2
70
2.8.
El siguiente resultado, llamado Teorema del punto jo para espacios mtricos completos, 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.
lm f n (x) = p.
Entonces:
f
lm f n (x) = f (p),
luego
lm f n (x) = f (p),
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
r k = r n d (f (z) , z)
k=0
1
0.
1 r n
2.9.
Ejercicios
72
0, si x = y,
d) t (x, y) = 1, si x = 2y y = 2x,
2, en otro caso.
a) (sn )n = (2n)n ;
1
(N + 1)
= x N | x1 = a1 , x2 = a2 , , xk = ak .
2.9. Ejercicios
73
entre la adherencia B(a; r) y la bola cerrada B(a; r)? (recuerde que la bola
b) S = S c .
74
18. Demuestre que en un espacio discreto los subespacios compactos son exactamente los subconjuntos nitos.
19. Demuestre que no siempre la unin de compactos es un compacto.
20. Para cada uno de los siguientes subconjuntos Si de R2 , determine: es completo?, Si , es cerrado?, es acotado?, es compacto?, Si , Si , Si , es abierto?
a) S1 = (x, y) | x2 + y 2 < 1 ;
b) S2 = (x, y) | x2 + y 2 1 ;
c) S3 = S1 {(1, 1)};
d) S4 = S2 {(1, 1)};
e) S5 = {p1 , p2 , p3 , , pk } (un conjunto nito de puntos);
f ) S6 = {(x, y) | x 1};
g) S7 = (x, y) | y = x3 ;
h) S8 = {(x, y) | |y| > 2};
i ) S9 = Tringulo de Sierpiski;
j ) S10 =
1 1
n, n
|nN ;
k ) S11 = S10 ;
l) S12 = [0, 1] [0, 1];
m) S13 = (0, 1] [0, 1);
n) S14 = Z Q;
) S15 = Q Q.
Puede resumir toda la informacin obtenida completando las tablas 2.9.1 y
2.9.2.
21. Demuestre que en un espacio mtrico discreto (X, ddisc ) todo subconjunto de
X es simultneamente abierto y cerrado.
22. Sean
(X, d)
un
espacio
mtrico,
(Y, ddisc )
un
espacio
discreto
X .
2.9. Ejercicios
75
23. Demuestre que toda funcin cuyo dominio sea un espacio mtrico discreto, es
continua.
24. Sea f : R R denida por f (x) := ax + b, donde a y b son constantes reales.
a) Demuestre que f es una contraccin si y slo si |a| < 1.
cule f ([0, 1]), f ([1, 3]) y f ([2, 1]). Describa en palabras el efecto
geomtrico de f .
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.
76
Conjunto
completo?
S1
NO
Si
Si
abierto?
NO
S4
S5
Si
S2
S3
Si
S7
NO
S8
S9
S
Tabla 2.9.1.
S6
2.9. Ejercicios
Conjunto
completo?
Si
NO
S10
Si
Si
Si
abierto?
S11
1
S12
S13
NO
NO
S14
S15
NO
ZR
R2
Tabla 2.9.2.
77
78
Captulo 3
3.1.
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 = } .
Ejemplo 3.1.2. Consideremos (R2 , du ). Los conjuntos K1 a K7 que se muestran en
la Figura 3.1(a) pertenecen a H R2 , mientras que S1 a S6 no pertenecen a H R2
(ver Figura 3.1(b)).
Una caracterstica importante en H(X) es que la continuidad preserva la compacidad, es decir:
Proposicin 3.1.3. Sean (X, d) y (Y, m) espacios mtricos y f : X Y continua.
Si K H(X) entonces f (K) H(Y ).
80
K1
K5
S6
S1
S2
K3
S3
K6
K4
K7
S4
S5
Demostracin. Sea (yn )n una sucesin en f (K). Debemos probar que (yn )n admite
una subsucesin convergente en f (K).
f (K) = {y Y | y = f (k)
para algn k 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
(knt )t k
para un k K.
(3.1)
(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.
Denicin 3.1.4 (Distancia de punto a compacto). Sean (X, d) espacio mtrico,
a X y K H(X). Se dene d(a, K) por:
d(a, K) := mn {d (a, x) | x K}
81
es continua. Sea > 0. Observemos que: d(x, y) d(x, a) d(y, a) d(x, y); por
tanto,
con y
K. Tenemos f
lm f (ykn ) = f (
y)
n
(f (yn ))n , entonces,
lm ykn = f (
y), y puesto que f es continua,
concluye que P = f (
y ), de modo que P es en realidad el mnimo de S, como se
quera ver.
K
a
K)
Figura 3.2: d(a,
B)
Figura 3.3: d(A,
82
conjuntos
,A
)
d(
B
A
B)
d(A,
85.
B) = d(B,
B) = d(B,
Para que la Denicin 3.1.6 quede bien establecida, tenemos que demostrar la siguiente proposicin.
Proposicin 3.1.8. El mximo de la Denicin 3.1.6 siempre existe.
Demostracin. Denamos f : A R por f (x) := d(x, B), x A. Por la Proposicin 3.1.5, f (x) siempre existe. Veamos que f es continua. Sea > 0. Tenemos,
|f (x) f (y)| = d(x, B) d(y, B) = |d (x, b1 ) d (y, b2 )|
para algunos b1 , b2 B; es decir,
d(x, B) = d (x, b1 )
(= mn {d (x, b) | b B})
d(y, B) = d (y, b2 )
(= mn {d (y, b) | b B}).
y
[S.M. Sabogal & G. Arenas
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 ) .
De las desigualdades anteriores se obtiene:
d (x, y) d (x, b1 ) d (y, b2 ) d (x, y) ,
es decir,
|d (x, b1 ) d (y, b2 )| d (x, y) ,
y basta entonces tomar 0 < para obtener la continuidad de f .
Ahora consideremos el conjunto
S := d(x, B) | x A .
S R, S = (pues A y B son no vacos). Como f : A R es continua y A es
1
n
1
n
1
1
< 0 P f (yn ) < ,
n
n
y por tanto
(3.3)
lm f (yn ) = P.
Ahora bien, como A es compacto y (yn )n es una sucesin en A, existe (ykn ) subsucesin de (yn )n tal que lm ykn = a
para algn a
A. Por tanto f
n
lm ykn = f (
a),
84
Demostracin.
d(A, B) = m
ax d(a, B) | a A
= d(a0 , B) para algn a0 A B
= mn {d (a0 , b) | b B} ;
pero a0 B, luego mn {d (a0 , b) | b B} = 0.
Denicin 3.1.10. Sean A, B H(X); se dene h (A, B) como
h (A, B) =: m
ax d(A, B) , d(B, A) .
Ejemplo 3.1.11.
1. En H(R2 ), h ([0, 1] [0, 1] , [1, 7] [0, 8]) = m
ax{1,
85} =
85.
es decir, k + mn S = mn H.
m
ax {a, d} m
ax {b, e} + m
ax {c, f } .
Demostracin. Si m
ax{a, d} = a, se tiene:
m
ax{a, d} = a b + c m
ax{b, e} + m
ax{c, f }.
Si m
ax{a, d} = d, se tiene
m
ax{a, d} = d e + f m
ax{b, e} + m
ax{c, f }.
[S.M. Sabogal & G. Arenas
85
c C
d (a, c) + mn {d (c, b) | b B} ,
c C
d(a, C) + m
ax {mn {d (c, b) | b B} | c C}
= d(a, C) + d(C, B) .
m
ax d(a, C) | a A + d(C, B)
= d(A, C) + d(C, B) .
h (A, B) = 0 A = B.
86
A, B, C H(X).
(3.4)
A, B, C H(X) .
3.2.
87
N (A; )
X
N (A; )
a0
A N (B; ) y B N (A; ).
88
lar tomamos a0 A tal que d(a0 , B) = d(A, B), entonces se obtiene d(A, B) < .
Anlogamente se prueba (ii).
N (A; ) := x X | d(x, A)
= {x X | a A : d (x, a) } .
A N (B; )
B N (A; ) .
construye
89
la
sucesin
(
xn )n como sigue: para cada
n {1, 2, . . . , n1 1} escogemos x
n An tal que d(xn1 , An ) = d (xn1 , x
n ). Anloga-
xnj
yx
n An para todo n. Veamos que (
xn )n es de Cauchy. Sea > 0. Como
(3.5)
(3.6)
Luego para m, nj N2 , xnj N (Am ; /3), es decir d xnj , Am < /3, y por tanto
m = d xnj , Am < /3.
d xnj , x
(3.7)
Anlogamente, si n, nk N2 , entonces
d (xnk , xn ) < /3.
(3.8)
90
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 sucesin en H(X). Adems,
a, b K y > 0. Existe N N tal que n N implica que h (K, {xn }) < /2.
Observemos que
d(K, {xn }) = m
ax d(y, {xn }) | y K
= m
ax {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,
1
,
2i
m, n Ni ,
i = 1, 2, . . .
[S.M. Sabogal & G. Arenas
91
Sea xN1 AN1 . Como h (AN1 , AN2 ) < 12 implica que AN1 N AN2 ; 12 , entonces d(xN1 , AN2 ) < 12 , lo que a su vez implica que existe xN2 AN2 tal que
1
,
22
1
22 ,
1
,
22
y as sucesivamente se ob-
tiene una sucesin (xNi )i con xNi ANi y tal que d xNi , xNi+1 <
1
.
2i
Tomemos
Nm Nn ; entonces
(b) Probaremos ahora que A es cerrado. Sea una sucesin de elementos (ai )i de A
tal que (ai ) a, y probemos que a A (de esta manera se tendr que A A).
i
n y xin
ai :
x1n
x2n
xin
k
xN
n
a1 ,
=
..
.
..
.
a2 ,
=
..
.
..
.
ai ,
=
..
.
Nk
k
k ...
xN
. . . xN
n
1 x2
aNk
, con xin An ,
a.
1
.
k
92
1
.
k
Entonces
Nk
k
d xN
mk , a d xmk , aNk + d (aNk , a) <
1 1
2
+ = 0.
k k
k
k
Notemos ymk = xN
mk . Entonces para cada k, ymk Amk , y adems (ymk )k a,
y (
ym )m sea de Cauchy. Por la completez de X, (
ym )m debe ser convergente,
y como su subsucesin (ymk )k converge a a, entonces tambin (
ym )m a. De
esta manera a cumple todos los requisitos para pertenecer a A, como se quera
probar.
(c) Sea > 0. Probaremos que existe N tal que para n N , A N (An ; ). Como
(An )n es de Cauchy, existe N tal que si m, n N entonces h (An , Am ) , luego
Am N (An ; ) (Lema 3.2.2). Sea a A. Entonces existe una sucesin (ai )i tal
(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 ) ,
..
.
93
tal que A N (An ; /3). Entonces para cada xi , existe yi An tal que
d (xi , yi ) /3. Como An es compacto, existe una subsucesin (yni ) de (yn )n ,
Esto claramente contradice la forma como fue construida (xn )n . De esta manera,
A es totalmente acotado, y puesto que en (b) se demostr que es cerrado, entonces
se concluye (Teorema 2.5.14) que A es compacto.
(e) Probaremos ahora que
lm An = A.
Sea > 0. Probaremos que existe N tal que n N implica An N (A; ). Esto
ser suciente teniendo en cuenta (c) y el Lema 3.2.4.
2j+1
mo y An , existe xN1 AN1 tal que d (y, xN1 ) /2. Como xN1 AN1 , existe
xN2 AN2 tal que d (xN1 , xN2 ) /22 . De esta manera continuamos y se encuen
tra una sucesin xN1 , xN2 , xN3 , . . . tal que xNj ANj y d xNj , xNj+1 j+1 .
2
Entonces
d y, xNj
Adems xNj es una sucesin de Cauchy, luego xNj x, para algn x. Esto
implica que x A.
94
y como xNj x, existe M > 0 tal que Nj > M implica d xNj , x < d (y, x),
de donde
= d y, xNj < .
An .
n=1
n=1
n=1
95
x AM , lo cual signica que existe > 0 tal que B (x; ) AM = . Ahora bien,
como (xn )n x, para > 0 existe N N tal que d (xn , x) < siempre que n N .
Sea T = m
ax {M, N }. Se tiene d (xT , x) < , luego xT B (x; ). Como T M ,
n=1
(3.9)
(por (3.9))
m
ax {mn {rd (a, b) | a A} | b B} .
En consecuencia,
h f (A) , f (B)
r m
ax {mn {d (a, b) | a A} | b B} = r d(A, B)
r m
ax d(A, B) , d(B, A) = rh (A, B) .
96
Demostracin.
d(A B, C) = m
ax d(x, C) | x A B
= m
ax d(x, C) | x A x B
= m
ax m
ax d(x, C) | x A , m
ax d(x, C) | x B
= m
ax d(A, C) , d(B, C) .
Lema 3.2.10. h (A B, C D) m
ax {h (A, C) , h (B, D)} .
Demostracin. Por el Lema 3.1.15,
d(A, C D) d(A, C) + d(C, C D) ;
como d(C, C D) = 0, ya que C C D (Lema 3.1.9), entonces
d(A, C D) d(A, C) .
(3.10)
De forma anloga,
d(B, C D) d(B, D) + d(D, C D)
d(B, C D) d(B, D) ,
(3.11)
d(C, A B) d(C, A)
(3.12)
d(D, A B) d(D, B) .
(3.13)
= m
ax d(A B, C D) , d(C D, A B)
= m
ax m
ax d(A, C D) , d(B, C D) , m
ax d(C, A B) , d(D, A B)
= m
ax d(A, C D) , d(B, C D) , d(C, A B) , d(D, A B)
m
ax d(A, C) , d(B, D) , d(C, A) , d(D, B)
= m
ax m
ax d(A, C) , d(C, A) , m
ax d(B, D) , d(D, B)
= m
ax {h (A, C) , h (B, D)} ,
[S.M. Sabogal & G. Arenas
3.3. Ejercicios
97
esto es,
h (A B, C D) m
ax {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.
Lema 3.2.11. Sean (X, d) espacio mtrico y fi : X X una contraccin en X,
con i = 1, 2, 3, . . . , N (N N, N jo). Si se dene F : H(X) H(X) como
N
fi (K) ,
i=1
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.
Para probar que F es contraccin basta considerar el caso N = 2 (luego se aplica
induccin matemtica).
Existen r1 , r2 , [0, 1) tales que x, y X,
d (f1 (x) , f1 (y)) r1 d (x, y) ,
d (f2 (x) , f2 (y)) r2 d (x, y) .
Sean A, B H(X); utilizando los lemas 3.2.10 y 3.2.8, respectivamente, obtenemos
h (F (A) , F (B)) = h (f1 (A) f2 (A) , f1 (B) f2 (B))
m
ax {h (f1 (A) , f1 (B)) , h (f2 (A) , f2 (B))}
m
ax {r1 h (A, B) , r2 h (A, B)}
r m
ax {h (A, B) , h (A, B)} = rh (A, B) ,
donde r = m
ax {r1 , r2 }. Por lo tanto F es una contraccin.
3.3.
Ejercicios
98
d(x, K) = d(x, K) .
3. Sean (X, d) un espacio mtrico, A H(X) y > 0. Considere la bola Bh (A; )
en el espacio (H(X) , h), y demuestre que
N (A; ) =
Bh (A; )
An .
n=1
Captulo 4
4.1.
Denicin 4.1.1 (SIF). Un Sistema Iterado de Funciones (SIF), es una estructura de la forma {X; f1 , f2 , f3 , . . . , fN }, donde X es un espacio mtrico completo
y cada fi : X X, i = 1, 2, . . . , N , es una contraccin en X.
F (K) =:
fi (K) ;
i=1
N
fi (A).
i=1
100
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) ,
para concluir que existe un nico A H(X) tal que
N
(4.1)
fi (A) = F (A) = A.
i=1
Finalmente, aplicando la segunda parte del teorema del punto jo, se obtiene la
segunda parte del teorema.
Ejemplo 4.1.3. Consideremos el SIF {R; f1 , f2 }, donde
f1 (x) =
1
x,
3
1
2
f2 (x) = x + .
3
3
K H(R) .
Tomemos como conjunto inicial (llamado tambin semilla) el conjunto C0 = [0, 1].
Entonces,
Es intuitivamente claro que el atractor de este SIF es el conjunto de Cantor C.
Para probarlo formalmente basta observar que (Cn )n es una sucesin de Cauchy
(comprubelo!) en H(R) que cumple
C0 C1 C2 Cn . . .
101
1
1/3
2/3
C0
= [0, 1]
C1
C2
..
.
..
.
Entonces se puede aplicar el Lema 3.2.7, y por supuesto el teorema anterior, para
obtener
Atractor del SIF = lm Cn =
n
n=1
Cn = C
1
2
K H(R2 ),
y f3 (z) = 12 z + i2 .
102
...
K
F (K)
F n (K)
F (F (K))
2
5x
2/5
0 4/25
n
0 (2/5)
2
x
5
K H ([0, 1]) ,
f1 (x) =
2
x.
5
Tenemos:
F ({0}) = f1 ({0}) = {f1 (0)} = {0} .
Obsrvese que este ejemplo naturalmente se puede generalizar a cualquier SIF
que tenga solamente una contraccin (Ejercicio 4.6.3).
3. Sea R;
1
2 x,
1
2n
| n N0 .
103
{0}
1
| n N0
2n
1
| n N0 .
2n
= {0}
C0 = [0, 1]
1/2
1/2
1/2
0 1/2
1/4
1/2
..
.
..
.
Figura 4.4: Construccin del atractor del SIF R;
1
x,
2
1 .
1
20
gn n N, n 1, entonces y =
1
2
2n1
= f1
2n1
1
2n
para al-
4. Considere el mismo SIF del ejemplo 1, pero ahora tomemos como semilla un
cuadrado (relleno) como en la Figura 4.5.
1
...
1
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.2.
(a)
(b)
(c)
se piense en fractales. Si bien es intuitivamente claro que dentro de la gura completa se pueden observar varias copias reducidas de s misma, en realidad en estos
ejemplos no se cumple rigurosamente la condicin de la lupa o efecto de zoom
(ver seccin 1.1.1, Figura 1.9), en el sentido de que no es cierto que al poner una
lupa en cualquier parte del conjunto, se pueda observar ah una copia reducida del
mismo (Figura 4.7). Sin embargo, s es posible obtener este tipo de guras como
atractores de cierta clase de sistemas iterados de funciones, que se llamarn SIF con
condensacin.
[S.M. Sabogal & G. Arenas
105
H(X). Denimos
asociado.
Nota. Obsrvese que w0 sencillamente es una funcin constante de H(X) en H(X);
por lo tanto w0 es una contraccin (con factor de contraccin cero) cuyo punto jo
es el conjunto de condensacin C.
Denicin 4.2.2. Sea {X; w1 , w2 , . . . , wN } un SIF y sea w0 : H(X) H(X)
1
w1 (z) := z ei/4 + i
2
1
y w2 (z) := z ei/4 + i.
2
Obsrvese que la nica diferencia entre SIF y SIF con condensacin es la presencia, 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
106
Ejemplo 4.2.4. Para el SIF del Ejemplo 4.2.3 se tiene que W : H(R2 ) H(R2 )
...
Figura 4.8: Construccin de un rbol fractal.
W (K) :=
K H(X)
wi (K) ,
i=0
tiene un nico punto jo, es decir, existe un nico A H(X) tal que
N
wi (A) .
W (A) = A =
i=0
107
junto A del teorema anterior se llama el atractor del SIF con condensacin.
Ejemplo 4.2.7. El atractor del SIF
R2 ; w0 , w1 , donde w0 es la transforma-
En la siguiente seccin se estudia una funcin que desempea un papel muy importante en la geometra fractal.
4.3.
La funcin de direccionamiento
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).
En primer lugar veamos cmo el atractor de un SIF determina un espacio de cdigos,
de acuerdo con el nmero de contracciones del SIF.
Denicin 4.3.1 (El espacio de cdigos asociados a un SIF). Dado un SIF
{X; f1 , f2 , . . . , fN }, se dene su espacio de cdigos asociado como el espacio mtrico N , donde = {1, 2, . . . , N }.
i=1
todo = 1 2 . . ., = 1 2 . . . N .
Una introduccin a la geometra fractal]
|i i |
,
(N +1)i
para
108
1
4
3
4 i
R2 ; w1 , w2 , w3 , donde
contracciones) es {1, 2, 3} .
3
1
2, 2
333
33
332
313
31
322
32
133
13
(0, 0)
(1, 0)
11
23
12
21
232
22
222
111
121
211
221
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.
Lema 4.3.3. Sea {X; w1 , w2 , . . . , wN } un SIF. Sea K H(X). Entonces existe
H(X) tal que K K
y para cada i = 1, . . . , N , wi : K
K.
En otras palabras,
K
w1 , . . . , wN es un SIF cuyo conjunto subyacente es un compacto.
K;
considere el SIF con condensacin
Demostracin. Para construir K
{X; w0 , w1 , . . . , wN } ,
donde la funcin w0 es la funcin de condensacin determinada por K, es decir:
w0 (B) := K, B H(X).
Por el Teorema 4.1.2 existe el atractor de este SIF con condensacin, es decir existe
de la contraccin
el punto jo K
W0 : H(X) H(X)
denida como
W (B)
Claramente K
es decir
= K,
de donde K K
y W (K)
K;
esta ltima contenencia imK W (K)
K,
i = 1, . . . , N .
plica wi : K
[S.M. Sabogal & G. Arenas
109
decir = m
ax{1 , 2 , . . . , N , }, donde i es el factor de contraccin de wi ,
i = 1, 2, . . . , N ). Sea N el espacio de cdigos asociados al SIF. Sea
: N N X X
denida por
(, n, x) := w1 w2 . . . wn (x) .
Sea K H(X). Entonces existe una constante D tal que
d ( (, m, x1 ) , (, n, x2 )) Dmn{m,n}
N , m, n N y x1 , x2 K.
Demostracin. Sean , m, n, x1 , x2 como se establecen en el lema. Construya el com K.
Podemos suponer
como en el Lema 4.3.3, de modo que cada wi : K
pacto K
m < n. Tenemos:
(, n, x2 ) = w1 . . . wm wm+1 . . . wn (x2 ) = (, m, x3 ) .
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,
4.3.5
() := lm (, n, x) .
n
110
Obsrvese que:
(, 1, x) = w1 (x) W (K) ,
(, 2, , x) = w1 w2 (x) W 2 (K) ,
..
.
(, n, x) = w1 . . . wn (x) W n (K) ,
..
.
que es espacio mtrico
Por el Lema 4.3.4 la sucesin ( (, n, x))n es de Cauchy en K,
completo, y aplicando entonces el Teorema de Completez de H(X) (Teorema 3.2.6),
podemos armar que dicha sucesin converge a un elemento del atractor A (ver
Proposiciones 2.3.18 y 2.5.8), es decir,
lm (, n, x) A.
n0
(N + 1)n0 +1
i=1
1
= > 0,
(N + 1)n0 +1
|i i |
(N + 1)
i=n0 +1
|i i |
(N + 1)i
< 1,
111
n0
i=1
|i i | (N + 1)n0 +1i +
i=n0 +1
||
+
tZ {0}
= d ( (, m, x1 ) , (, m, x2 )) m D n0 D < ,
lm (, m, x1 ) , lm (, m, x2 ) < ,
A = lm W n ({x}) .
n
W 2 ({x}) =
..
.
w1 w1 (x) , . . . , w1 wn (x) ,
w2 w1 (x) , . . . , w2 wN (x) , . . . , wN w1 (x), . . . , wN wN (x) ,
112
coincidentes con los de , se van haciendo cada vez ms largos, de modo que
d (, n, x) , kn , n, x
t(n) D,
donde
t (n) = # j N | kkn = k , 1 k j .
Tomando lmite en los dos lados de la desigualdad, se obtiene:
lm (, n, x) = lm kn , n, x ,
De esta manera, para cada punto del atractor de un SIF podemos ahora denir lo
que llamaremos una direccin del punto.
Denicin 4.3.6 (Funcin de direccionamiento). Sean {X; w1 , . . . , wn } un SIF, N
1 (a) := N | () = a .
El conjunto 1 (a) lo llamaremos el conjunto de las direcciones de a, y la funcin
la llamaremos la funcin de direccionamiento del atractor del SIF.
Dos observaciones sobre la funcin de direccionamiento2 :La funcin permite, entre otras cosas, asignar a cada punto del atractor un cdigo semiinnito, lo
cual a su vez puede facilitar la caracterizacin de ciertos subconjuntos del fractal,
como se har en la seccin 4.4.2 para el tringulo de Sierpiski. Por otra parte, la
funcin de direccionamiento constituye una forma de obtener los conjuntos fractales
como cocientes topolgicos del espacio de Cantor. En efecto, si F es un subconjunto
cerrado de N , y dado que N es compacto, entonces F es tambin compacto; de esta
manera, para la funcin : N A denida en el Teorema 4.3.5 se tiene que (F )
es un subconjunto compacto de A (la imagen continua de un compacto es un compacto); adems, puesto que A es Hausdor (por ser un espacio mtrico), entonces
2
113
donde
= {1, 2} .
lm w1 w2 w2 . . . w2 (1)
lm w1 (1) = w1 (1) =
1
3
C,
luego 12 es direccin de 13 .
11
12
21
22
111 112
121 122
211 212
221 222
..
(12) =
1
3
I I;
1
1
i/3
3 z, 3 z e
+ 13 ,
1
i/3
3 ze
con
= {1, 2, 3, 4} .
1
2
3
1
6 i, 3 z
2
3
114
23
12
11
32
13
14
41
...
44
1
3
= 14, 21 . Comprubelo.
correspondiente
funcin
de
direccionamiento.
Entonces,
para
todo
= 1 2 3 N se cumple
(1 2 3 . . . ) = f1 ( (2 3 . . . )) .
Demostracin. En efecto:
(1 2 3 . . . ) =
lm f1 f2 f3 fn (x) ,
= f1
lm f2 f2 fn (x) ,
xX
pues f1 es continua
= f1 ( (2 3 . . . )) .
Lema 4.3.9. Sean {X; f1 , f2 , . . . , fN } un SIF cuyas contracciones son inyectivas y
: N A la correspondiente funcin de direccionamiento. Entonces, para todo
par = 1 2 3 . . ., = 1 2 3 N se tiene
(1 2 3 . . . ) = (1 2 3 . . . )
si y solo si
(2 3 . . . ) = (2 3 . . . ) .
Demostracin.
) Si (1 2 3 . . . ) = (1 2 3 . . . ); aplicando el lema anterior se tiene
f1 ( (2 3 . . . )) = f1 ( (2 3 . . . )) .
Como f1 es inyectiva, se concluye que (2 3 . . . ) = (2 3 . . . ).
[S.M. Sabogal & G. Arenas
115
4.4.
1
1
w2 (z) = z + ,
2
2
1
3
1
w3 (z) = z + +
i,
2
4
4
(4.2)
3
1
,
2 2
S :=
n=0
Sn .
116
1
3
2, 2
...
S0
(1, 0)
S1 = W (S0 )
S2 = W (S1 )
(i) S0 S1 S2 Sn
(ii) (Sn )n es una sucesin de Cauchy en H(R2 ).
3
12
S0
,
S1
3
1222
3
122
S2
S3
...
En efecto:
3
,
12
3
1 , S2 ) =
h(S1 , S2 ) = d(S
,
12 2
3
2 , S3 ) =
h(S2 , S3 ) = d(S
,
12 22
..
.
3
n , Sn+1 ) =
h(Sn , Sn+1 ) = d(S
,
12 2n
0 , S1 ) =
h(S0 , S1 ) = d(S
117
h(Sn , Sm )
j=n
h(Sj , Sj+1 )
3
3
3
+
+ +
n
n+1
12
12 2
12 2m
2
3 1
1
1
0.
+ n+1 + + m n,
m
n
12 2
2
2
=
=
As, teniendo en cuenta (i), (ii) y que R2 es completo, se puede aplicar el Lema 3.2.7
para obtener:
Proposicin 4.4.2. El tringulo de Sierpiski es el atractor del SIF S.
4.4.1.
En el siguiente lema se establecen algunas propiedades del SIF S, las cuales a su vez
inspiran la Denicin 4.4.4.
Lema 4.4.3. Para el SIF S se tiene:
(ii) w1 (S) w2 (S) = 12 , 0 ;
ii
(ii
ii) w2 (S) w3 (S) =
iii
(iii
iii) w1 (S) w3 (S) =
iv
(iv
iv) w1 (S) w2 (S) w3 (S) = .
3
1
4, 4
3
3
,
4 4
118
3
1
2, 2
3
1
2, 2
1
3
4, 4
(0, 0)
(1, 0)
w3 (S0 )
w1 (S0 )
(0, 0)
3
3
4, 4
w2 (S0 )
(1, 0)
1
2, 0
S0
1
2, 0
3
1
,
4 4
3
1
,
4 4
w1 (S0 ) w2 (S0 ) =
3
1
4, 4
w1 (S0 ) w3 (S0 ) =
Sea
y w1 (S) w2 (S);
a, b S =
n=0
Sn .
3
1
3
,
0
,
(1,
0)
y
,
2
4 4
3
1
2 , 2 , de modo que
En
3
3
4, 4
w2 (S0 ) w3 (S0 ) =
a, b S0 ,
de
donde
3
3
,
4 4
1
2, 0
3
3
,
4 4
entonces
particular,
1
2, 0
para
; y
algunos
w1 (a) w1 (S0 )
. De esto podemos
, w1 (S) w3 (S) =
3
1
,
4 4
119
x
y
x
y
x
y
1/2 0
0
1/2
1/2 1/4
0
1/2
1/2 0
0
1/2
x
,
y
x
1/2
+
,
y
0
x
1/4
+
,
y
1/2
Demostracin.
(i) Puesto que p f1 (A) f2 (A), existen x1 , x2 A tales que
p = f1 (x1 ) = f2 (x2 ) ;
Una introduccin a la geometra fractal]
120
y p = f2 ( ()) = (2) ,
a = () = (), con = .
= f1
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
a {f (p) , f (q) , f (r)} .
[S.M. Sabogal & G. Arenas
121
cifra, sea i el primer ndice para el cual dos de los m cdigos dieren en su i-sima
cifra.
m
Entonces 1 = 1i 1i+1 , 2 = 2i 2i+1 , m = m
i i+1 , donde es el
cdigo nito formado por las i 1 primeras cifras comunes a todos los cdigos. De
nuevo razonando como en la demostracin de la proposicin anterior, obtendremos
que a {f (p) , f (q) , f (r)}.
f (p) = a = f 1i 1i+1
= f 2i 2i+1
m
= = f m
i i+1
122
(iii) () = () = f (q);
(ii) () = () = f (p);
(iv) () = () = f (r),
f = id).
sobre y cerrada; entonces es una funcin de cociente, de modo que A es un cociente topolgico de N (ver las observaciones hechas despus de la Denicin 4.3.6).
Adems, es sabido que en este caso la relacin de equivalencia sobre N que de-
si y solo si () = () .
si y solo si
123
si y solo si A ,
124
() = () = g (p ), , () = () = g (q ), , () = () = g (r ), y
en cualquier caso se demuestra, de manera totalmente anloga a como se hizo antes,
que A .
A
= N A = N A
= A .
II. Se probar que si A es el atractor de un SIF que satisface (i), (ii) y (iii),
entonces A es homeomorfo a S.
Demostremos la primera parte.
[S.M. Sabogal & G. Arenas
125
1
2
y w3 (z) = 12 z +
3
1
son los puntos 2, 2
1
3
4 + 4 i, respectivamente.
Adems, se verica:
1
2, 0
w1 (x2 ) = w1 (1, 0) =
w1 (x3 ) =
w2 (x3 ) =
3
1
2, 2
w2 12 , 23
1
2
Notemos entonces p =
=
=
1
2, 0
= w2 (0, 0) = w2 (x1 );
3
1
,
4 4
3
1
4, 4
,q=
= w3 (0, 0) = w3 (x1 ), y,
+
3
1
,
4 4
3
3
4, 4
yr=
3
3
,
4 4
1
2, 0
= w3 (1, 0) = w3 (x2 ).
.
=
=
lm (w1 w2 w2 w2 ) (x2 )
lm w1 (x2 )
= w1 (1, 0) =
1
2, 0
= p.
=
=
lm (w2 w1 w1 w1 ) (x1 )
lm w2 (x1 )
= w2 (0, 0) =
1
2, 0
= p.
y
31 = lm (w3 w1 w1 w1 ) (x1 ) = w3 (x1 ) = q,
n
126
entonces
demostrar
cdigos.
Supongamos
= 21.
Entonces
que
1 = 3,
que
p
y r
p, q
tiene
pues
un
si
no tienen
tercer
1 = 3
se
cdigo
ms
,
tendra,
de dos
= 12
usando
y
el
to
lo
cual
es
absurdo.
Por
tanto,
se cumple:
(a) f (p) y w
(b) f (q) y w
(c) f (r) y w
1
2, 0
3
1
4, 4
3
3
4, 4
y tambin
p = f2 (x2 ) = f2 f1 (x2 ) = lm f2 f1 f1 (x2 ) = (2
1) ,
n
de modo que 1
2 y 2
1 son cdigos de p, y adems los nicos dos cdigos en
virtud de la hiptesis (iii).
[S.M. Sabogal & G. Arenas
127
(2
1) = f ( (2
1)) = f (p) ,
1
3
,
cdigos de f (q) y w
son 13 y 31; y nalmente que los nicos
4 4
3
3
,
4 4
son 2
3 y 3
2. De esta forma se obtiene (a),
(b) y (c), y por tanto (Proposicin 4.4.12) que A
= S.
cdigos de f (r) y w
4.4.2.
n=0
cluso podra ser mayor al tomar como semilla directamente el tringulo (no relleno)
de vrtices (0, 0), (1, 0) y
1
3
,
2 2
,
L0
,
L1
...,
L2
Figura 4.18: La sucesin (Ln )
n=0 .
,
Ln
...
128
n=0
n=0
n=0
n=0
n=0
H(R2 )
tal que,
L0 L1 L2 Ln . . .
y aplicar entonces el ejercicio 3.3.9. Otra alternativa es aplicar el ejercicio 4.6.2 al
SIF S, tomando C = L0 . A continuacin presentamos una prueba directa de dicha
igualdad.
Proposicin 4.4.14. S =
Ln .
n=0
probar que s
n=0
n=0
Ln
= .
Observemos que
W (L0 ) = w1 (L0 ) w2 (L0 ) w3 (L0 )
= {w1 (x) | x L0 } {w2 (x) | x L0 } {w3 (x) | x L0 }
W
129
tenemos que n N ,
w1 . . . wn (x0 ) B (s; ) W n (L0 ) = B (s; ) Ln
B (s; )
Ln
n=
n=0
Ln
n=0
n=0
Ln S, es decir que
Sn (Denicin 4.4.1).
n=0
todo n m. Por (1) se tiene que x Sn para todo n m. Por (2) se tiene que
n=0
n=0
n=0
4.4.3.
Una caracterizacin de
Ln S.
Ln , lo cual
n=0
Ln
n=0
3
1
,
2 2
130
As tenemos L0 = S0 = Lpq
Lqr
Lpr
Lqr
q
Lpq
n=0
Lpr es el atractor del SIF R2 ; w1 , w3 ; esto implica que para todo x R2 se cumple
lm w1 . . . wn (x) Lpr ,
de aqu que () Lpr y por tanto (13 ) Lpr . Para la otra contenencia demostremos antes que si
/ 13 ,
entonces
()
/ Lpr .
(4.3)
Si
/ 13 es porque existe k N tal que k = 2, de modo que
(k k+1 . . .) = w2 ( (k+1 k+2 . . .)) w2 (S) ,
(Lema 4.3.8)
131
Lpr
w2 (S)
ver.
faltaba.
Lpr = (13 )
Los codigos con solo
1s y 3s
p
Lqr = (23 )
Los codigos con solo
2s y 3s
q
132
vrtices
3
3
,
4 4
3
1
,
4 4
. Sea
L1 L0
x0
= 1, donde 23 ,
= 2, donde 13 ,
= 3, donde 12 .
Los razonamientos anteriores, junto con el Lema 4.4.17, nos permiten escribir lo
siguiente:
[S.M. Sabogal & G. Arenas
133
(312 )
(123 )
(213 )
= 1 2 . . . k ,
12 23 13
donde
(4.4)
n=0
que no estn en dicha unin, es decir habremos alcanzado la meta de esta seccin,
la cual era probar que S =
Proposicin 4.4.19. x0
= ,
n=0
Ln .
n=0
donde
12 23 13 .
(4.5)
134
que no son de la forma (4.5), por ejemplo los siguientes: 123123123, 112321321,
333111213111213 (d otros ejemplos, hay muchsimos ms). Veamos un ejemplo
haciendo un clculo ms preciso:
Qu ser x0 = 123 ?
Calculemos la composicin w1 w2 w3 :
1
1
3
x+ +
i
w1 w2 w3 (x) = w1 w2
2
4
4
1 1
1
3
1
= w1
x+ +
i +
2 2
4
4
2
3
1
5
x+ +
i
= w1
4
8
8
5
1
3
+
i.
= x+
8
16
16
El punto jo de la contraccin w1 w2 w3 es xf =
5
14
3
14 i,
3
5
+
i.
123 = lm w1 w2 w3 w1 . . . w1 w2 w3 (xf ) =
n
14
14
Por lo tanto x0 =
5
3
+
14
14 i
pero no pertenece a
Ln .
n=0
4.5.
135
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.
Iniciaremos deniendo los conceptos de transformacin de similaridad y homotecia.
4.5.1.
1
k.
136
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
d f 1 (y1 ) , f 1 (y2 ) =
1
d (y1 , y2 ) .
k
1
d (f (x1 ) , f (x2 )) ,
k
es decir:
d f 1 (y1 ) , f 1 (y2 ) =
1
d (y1 , y2 ) .
k
},
f : X X es una transformacin de similaridad, entonces {X; w1 , w2 , . . . , wN
Sean x, y X. Tenemos
d
wj
(x) , wj
(y)
= d f wj f
X
1
(x) , f wj f
(y)
= k d wj f 1 (x) , wj f 1 (y)
k r d f 1 (x) , f 1 (y)
1
= k r d (x, y) = r d (x, y) .
k
wj
wj
f 1
137
N
j=1
wj (K), K H(X).
Veamos:
4.5.7. Consideremos
el
{R; w1 , w2 },
SIF
donde
w1 (x) = 13 x,
x R:
w1 (x) = f w1 f 1 (x) = f w1
1
4x
1
4
=f
1
12 x
1
12
= 13 x +
2
3
y
w2 (x) = f w2 f 1 (x) = f w2
De modo que el nuevo SIF R;
1
3x
1
1
x
4
4
+ 23 ,
1
3x
=f
+
10
3
1
7
x+
12
12
1
10
= x+ .
3
3
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
x, 13 x
3
+ 23 }.
1
Figura 4.25: Atractor del SIF {R;
4
1
x
3
+ 23 ,
1
x
3
10
}.
3
138
h : R2 R2
x h (x) := kx
du (h (x) , h (y)) =
kx ky
= |k| x y
= |k| du (x, y) ,
de modo que h es una transformacin de similaridad con factor de escala |k|.
Una transformacin afn en el plano es una funcin : R2 R2 denida de la forma
x
y
:=
x
y
a11 a12
a21 a22
a
b
r cos s sen
r sen
s cos
Notacin cartesiana
x
y
a
b
Notacin geomtrica
x
y
x
y
= Mj
wj
x
y
= Mj
aj
bj
j = 1, . . . , N
es
x
y
= Mj
x
y
+k
aj
bj
j = 1, . . . , N.
[S.M. Sabogal & G. Arenas
139
gj
x
y
= hwj h1
= h Mj
1
= k Mj
k
= Mj
1
k
x
y
x
y
= hwj
x
y
x
y
aj
bj
aj
bj
+k
+k
1
k
aj
bj
= wj
x
y
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
1 i60 1 1 i60 1
3 1
2
2 1
R ; z, z e
+ , ze
+ +
i, z +
.
3
3
3 3
2
6
3
3
x
x
= 2
y
y
que el nuevo SIF que nos proporcionar la curva que queremos ser
1
1 i60 2 1 i60
3 1 i60 4
R ; z, z e
+ , ze
+1+
i, z e
+
3
3
3 3
3
3
3
2
4.5.2.
(4.6)
, de modo
(4.7)
140
Figura 4.26: Homotecia de razn 2 y centro el origen realizada sobre la curva de Koch.
Entonces R2 ; w1 , . . . , wN
B R2 .
wj (z) = wj (z B) + B,
j = 1, . . . , N.
e
f
f wj f 1
x
y
= f wj
= f
=
Mj
Mj
xe
yf
xe
yf
xe
yf
aj
bj
+
+
aj
bj
e
f
= wj (z B) + B = wj (z) .
De esta manera, usando nuevamente la Proposicin 4.5.6 se obtiene el resultado.
[S.M. Sabogal & G. Arenas
141
Obsrvese que
x
y
wj (z B) + B = Mj
e
f
= Mj
x
y
aj
bj
= wj
x
y
Mj B + B.
aj
bj
e
f
e
f
e
f
Mj
e
f
3
1
1
z+ +
i .
2
4
4
1
1
z+ ,
2
2
(4.8)
1/2 0
0 1/2
w1 (z) = 12 z
w2 (z) = 12 z +
1
2
w3 (z) = 12 z +
1
4
3
2
1/2 0
0 1/2
3
4 i+
3/2
1
3
2
= 12 z
3
2
3
2
= 12 z +
3/2
1
= 12 z +
1/4
0
3
2
= 12 z +
1/2
0
3/2
1
3/4
3/2
1
3/2
1
2
1
= 12 z +
= 12 z +
7/4
3/41
1
z + 2 i,
2
1
7
z+ +
2
4
3
1 i ,
4
(4.9)
142
4.5.3.
son de la forma
wj (z) = rj z eij + aj + bj i,
es decir, son similitudes directas.
Ejemplo 4.5.15. Sea
R2 ;
1
1
1 1
1 1 1
1
z, z ei/2 + , z + + i, z ei/2 + 1 + i
2
2
2 2
2 2 2
2
(4.10)
143
R2 ; w1 , . . . , wN
R2
R2 ;
R2
w1 , . . . , wN
j = 1, . . . , N.
z ei v ei
ei z v = z v = d (z, v) ,
rj z ei eij + aj + bj i ei
Ejemplo 4.5.17. Giremos el atractor del SIF del Ejemplo 4.5.15 un ngulo de 45 .
El SIF original es
R2 ;
1
1
1 1
1 1 1
1
z, z ei/2 + , z + + i, z ei/2 + 1 + i .
2
2
2 2
2 2 2
2
144
1
1
z + 0ei/4 = z,
2
2
1
1 1
1
2
z+
+ i ei/4 = z +
i,
2
2 2
2
2
1 i/2
1
1
2 3
i
/4
ze
+
+ 1+ i e
= z+
2i.
2
2
2
4
4
1
1
1
2
2 1
2
2
R ; z, z +
+
i, z +
i, z +
+ 2i ,
2
2
4
4
2
2
2
4
2
(4.11)
/4
Figura 4.29: Giro del atractor del SIF del Ejemplo 4.5.15.
4.6.
Ejercicios
fi (K)?
i=1
4.6. Ejercicios
145
C A D se cumple
A=
F n (C) =
n=0
F n (D).
n=0
a)
R;
b)
R2 ;
c)
R2 ; C,
1 .
1
1
2 z, 2 z
1
2z
1
2
+ 12 i .
R2 ;
e)
R;
1
1
3 z, 3 z
1
3 x,
+ 13 ;
1
3z
+ 23 ;
1
3z
+ 13 i;
1
3z
+ 23 i .
13 x + 1 .
6. Para cada gura, determine un SIF (podra ser con condensacin) que la genere:
a)
b)
c)
d)
146
f)
e)
de cada uno de los siguientes puntos: (0, 0), (1/3, 0), (1/4, 0), (1/2, 3/6) y
(1, 0).
10. Justique mediante ejemplos la siguiente armacin: si en un SIF eliminamos
una contraccin, entonces el atractor del SIF puede cambiar drsticamente.
11. Demuestre el Lema 4.4.16.
12. Verique que el SIF R2 ; f1 , f2 , f3 , donde
f1
f2
f3
x
y
x
y
x
y
=
=
=
1/2 0
0
1/2
1/2 0
0
1/2
1/2 0
0
1/2
x
,
y
x
1/2
+
,
y
0
x
1/4
+
,
y
1/2
es un SIF triangular.
13. Caracterice los cdigos de los puntos del tringulo de Sierpiski que no
pertenecen a
n=0
4.6. Ejercicios
14. Tome el punto x0 =
147
5
14
3
14 i
B :=
n=1
W n ({x0 })
cuyas contrac-
148
Captulo 5
150
...
...
Posiciones:
f (x)
f 2 (x)
...
f n (x)
...
151
5.1.
o(x0 , f ) tiende a x0 .
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.
Estudiaremos en esta seccin la dinmica de este tipo de funciones.
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
0
-1
Caso 1. a = 1.
La funcin es f (x) = x + b. Si adems b = 0, entonces para todo x se tiene que
f (x) = x. La funcin no mueve los puntos, todo x R es punto jo de f , y todas
las rbitas son muy sencillas.
Si a = 1 y b = 0, entonces,
f (x) = x + b, f 2 (x) = x + 2b, . . . , f n (x) = x + nb.
Si b > 0, entonces para todo punto x en R, lm f n (x) = .
n
f n (x)
= .
Todas las rbitas tienen un comportamiento muy sencillo en el sentido de que sabemos perfectamente qu les pasa cuando n tiende a innito.
Caso 2. a = 1.
Los puntos jos de f cumplen la relacin ax + b = x. Esta igualdad tiene una nica
solucin: x0 =
b
1a .
153
b
1a
b
.
1a
se tiene que
lm |f n (x)| = .
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.
Slo resta considerar a = 1.
El punto jo de f es x0 = 2b . Para cada punto x distinto de este punto jo se tiene
que
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.
Tenemos, entonces, que si a = 1, f tiene un nico punto jo y todos los dems
154
5.2.
mayor problema al estudiar su dinmica. Sin embargo, juntas provocan la aparicin de fenmenos muy
interesantes.
Sea T : R R la funcin dada por:
T (x) =
2x,
2 2x,
si x 12 ,
si x 12 .
1
Figura 5.2: Grca de T .
T.
La funcin T es conocida como la Tienda. Esta funcin nos acompaar de aqu en
adelante. En este captulo siempre nos referiremos a ella con la letra T .
Las siguientes propiedades de T son inmediatas:
i) Si x < 0, entonces T (x) = 2x < x, y para cada n N se tiene que T n (x) = 2n x.
Por lo tanto, lm T n (x) = .
n
El conjunto [0, 1] es invariante bajo T . Si la Tienda tiene puntos jos o peridicos, estos deben estar en [0, 1]. De hecho, si T tiene algunas propiedades dinmicas
[S.M. Sabogal & G. Arenas
155
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 elemento del intervalo 0, 12
y es punto jo de T ,
1
2, 1
y x es un punto jo de T , entonces
Si
punto
A R,
tal
f : A A,
que
f (x0 ) = x0 ,
x0 A
es
entonces
x0
x1
x2
1
2
1
2
Como T
= 1 y
x0 0, 12 ,
T 2 (x0 ) =
x0 = 25 .
entonces
T (x0 ) = 2x0 .
x0
T 2 (x0 )
1
2
1
2
(por qu?).
T (x0 )
Como
2
5
T (x0 )
2
,T
5
entonces
Como T
1
2, 1
2 4 2 4 2
, , , , ,...
5 5 5 5 5
2 4
,
5 5
156
En resumen,
2
5
Per (T ) y su periodo es 2.
2
9
5.3.
1
2
2
,T
9
2 4 8 2 4
, , , , ,...
9 9 9 9 9
2 4 8
, ,
9 9 9
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
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
157
d
y
= nf {x [, t] : f (x) = d} .
Como f es continua, f () = c y f () = d.
Por la forma en que fueron denidos y
c
a
, y utilizando el teorema del valor intermedio, se tiene que si < x < , entonces
f () < f (x) < f (). As el intervalo [, ]
cumple la condicin deseada (ver Figura 5.6).
La funcin h es continua en [a, b]. Adems, h (a) 0, h (b) 0. Por lo tanto existe
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,
158
i)
ii)
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
159
As,
f 2 ([2 , 2 ]) = [a, b] .
Como [2 , 2 ] [a, b], entonces f 2 tiene un punto jo en [2 , 2 ] . Sea x0 [2 , 2 ]
f ([2 , 2 ]) = [1 , 1 ] [b, c] ,
se tiene que f (x0 ) [b, c]. Puesto que b es de periodo 3, f (x0 ) = b. Por lo tanto,
x0 2 b < f (x0 ) ,
y con ello, x0 < f (x0 ) . As, x0 Per (f ) y su periodo es 2.
Paso 2: Sea n > 3 (jo). Entonces f tiene un punto peridico de periodo n.
Demostracin del Paso 2. Anlogo a lo hecho en el paso 1, existe un intervalo
A1 = [1 , 1 ] [b, c] tal que f ([1 , 1 ]) = [a, b] . Ahora bien, como f ([b, c]) contiene
[b, c],
A1 = [1 , 1 ] , A2 = [2 , 2 ] , . . . , An1 = [n1 , n1 ] ,
tales que, para 1 i n 2,
f ([i+1 , i+1 ]) = [i , i ] ;
y tales que para cada 1 i n 1,
f i ([i , i ]) = [a, b] .
Finalmente, como f ([a, b]) [b, c], existe un ltimo intervalo cerrado An = [n , n ]
160
n1
...
An
informacin sobre la funcin f : Ella tiene puntos peridicos de todos los periodos
posibles. Agreguemos que la demostracin slo utiliza herramientas que aprendemos
en nuestros primeros cursos de clculo diferencial e integral.
El resultado anterior es slo una pequea parte de un resultado ms general obtenido
en el ao de 1964 por el matemtico ucraniano A. N. Sharkovskii.
Presentamos a continuacin lo que se conoce en nuestros das como el teorema de
Sharkovskii.
El siguiente arreglo de los nmeros naturales es conocido como el orden de
[S.M. Sabogal & G. Arenas
161
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.
Teorema 5.3.5 (Sharkovskii, 1964). Sean A un intervalo en R y sea f una funcin
de A en A. Sean m y n dos nmeros en N. Consideremos el orden de Sharkovskii.
Si f tiene un punto peridico de periodo m y sucede alguna de las siguientes dos
condiciones:
i) m est en algn rengln arriba del rengln que ocupa n, o
ii) m y n estn en el mismo rengln, pero m est a la izquierda de n,
entonces f tambin tiene un punto peridico de periodo n.
No presentaremos aqu la demostracin de este teorema. Gran parte de ella se puede
consultar en el libro de R. L. Devaney An Introduction to Chaotic Dynamical Systems,
ver [9].
Sabemos que la Tienda tiene al menos un punto peridico de periodo 3. Por tanto esta 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.
Sugerencia. Intentar ejercicios 5.10.6, 5.10.7 y 5.10.9.
Una introduccin a la geometra fractal]
162
5.4.
Transitividad topolgica
Recordar los siguientes conceptos nos ayudar en algunos de los argumentos contenidos en esta seccin.
Sea f : X Y . Decimos que f es: inyectiva si para todo par de puntos en X, x = y,
se tiene que f (x) = f (y); suprayectiva si para todo punto y Y , existe x X tal
que f (x) = y; biyectiva si f es inyectiva y suprayectiva; un homeomorsmo si f
es biyectiva y continua, y su inversa, f 1 : Y X tambin es continua.
La riqueza dinmica presente en la Tienda no se limita a lo observado hasta ahora.
El siguiente lema nos permitir descubrir otras muy interesantes propiedades de esta
funcin cuando la restringimos al intervalo unitario [0, 1], T : [0, 1] [0, 1].
Lema 5.4.1. Para todo n N y para cada {0, 1, 2, . . . , 2n 1}, se tiene que
Tn
+1
,
2n 2n
+1
[0, 1]
,
2n 2n
(5.1)
es un homeomorsmo.
Demostracin. Nuestro argumento utiliza induccin matemtica.
Veamos que la armacin es cierta para n = 1. En este caso, {0, 1}.
Es inmediato que T : 0, 12 [0, 1] es homeomorsmo, ya que en este intervalo
T (x) = 2x. De manera anloga, es inmediato que T :
smo, ya que en este conjunto T (x) = 2 2x.
1
2, 1
[0, 1] es homeomor-
2k+1
+1
1
0,
k+1
2
2
si 2k 1,
2k+1
+1
1
,1
k+1
2
2
si
2k .
+1 T
+ 1 Tk
,
,
[0, 1] .
2k+1 2k+1
2k 2k
[S.M. Sabogal & G. Arenas
163
, +1
2k+1 2k+1
2k+1
+1
[0, 1]
2k+1
es un homeomorsmo.
Si 2k , entonces
+1 T
2k+1 1 2k+1 T k
,
,
[0, 1] .
2k+1 2k+1
2k
2k
2k 1 2k+1 ,
2k+1 2k 1 2k+1 1 0,
2k 1 2k+1 1 0.
1
n
n 2
0, 1, 2, . . . , 2N
1
2N
1 tal que
<
,
2N
ba
2 .
+1
2N
Se sigue
(a, b).
{0, 1, 2, . . . , 2n
1} tal que
+1
,
2N 2N
(a, b).
1
2N
<
ba
2 .
Entonces
164
Como T N
intervalo
+1
,
(a, b) U,
2N 2N
5.5.
165
f (y0 )
f 2 (y0 )
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
Nota. Si la rbita de x0 X no es estable, entonces existe 0 > 0 tal que para todo
lm
xx0
xx0
f (x) x0
< 1.
x x0
xx0
f (x) x0
< c < 1.
x x0
167
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
2
3,
estables.
En trminos coloquiales podramos decir que un sistema dinmico discreto donde
todas sus rbitas son estables es un sistema que se comporta muy bien. A pesar
de que podramos, al escoger la condicin inicial x0 , tener un pequeo error y tomar
y0 , las rbitas de estos dos puntos no se separaran demasiado. Por otro lado, la
presencia de algunas o muchas rbitas no estables provocara, si no escogemos de
manera exacta la condicin inicial, muchos problemas, y hara que el comportamiento
del sistema, a la larga, fuera impredecible o catico.
La siguiente denicin la podramos entender como una no estabilidad que abarca
a todas las rbitas por igual.
Denicin 5.5.2. Decimos que f : X X es sensible a las condiciones iniciales
en X si existe un valor positivo 0 , jo, tal que para todo x X, y para todo > 0,
existen y B (x; ) y N N tales que
d f N (x) , f N (y) 0 .
Una introduccin a la geometra fractal]
168
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.
Sea f : X X una funcin sensible a las condiciones iniciales. Al valor 0 > 0
N N tal que
1
1
T N (x) T N (y1 ) , T N (x) T N (y2 ) .
2
2
La siguiente es la denicin de caos dada por R. L. Devaney en 1985 (ver [9]).
Denicin 5.5.4. Decimos que f : X X es una funcin catica, o que genera un
169
5.6.
La siguiente denicin es muy til cuando estudiamos funciones denidas en el espacio Rn . La redactamos para funciones en R slo por comodidad.
Denicin 5.6.1. Dada f : R R, el conjunto de todos los puntos x cuya rbita
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
f (z) = a0 + a1 z + a2 z 2 + + aN z N ,
Una introduccin a la geometra fractal]
170
P (x) =
Estudiaremos
propiedades
3 3x,
a
si x 12 .
continuacin
dinmicas
3/2
si x 12 ,
3x,
de
esta
algunas
funcin.
1
3
1
2
2
3
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.
Las demostraciones de las siguientes cuatro observaciones son casi inmediatas.
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 matemticas Journal de Mathmatiques Pures et Appliques. Este artculo de 199 pginas le permiti ser
galardonado por la Academia de las Ciencias Francesa.
171
ii) Si x > 1, entonces P (x) < 0. Por lo tanto para estos puntos tambin se concluye
que lm P n (x) = .
n
1 2
3, 3
1
2
,1
3
3
0,
3
4
2
3, 1
J(P ).
.
2
3, 1
1 2
3, 3
. As, J(P )
P2
2 3
9, 9
1 2
9, 9
6 7
9, 9
1 2
9, 9
es trans-
8
9, 1
el tercio de en medio de cada uno de ellos est formado por puntos que no estn
en J(P ). Con esta informacin podemos denir A3 como la unin de 23 intervalos
cerrados de longitud
1 3
3 ,
172
el segundo intervalo.
Sean I0 = 0, 13 y I1 =
2
3, 1
. Entonces
(x0 ) = t = (t0 , t1 , t2 , . . .) ,
donde las coordenadas de t se denen de la siguiente manera: para cada n 0,
tn =
0,
1,
si P n (x0 ) I0 ,
si P n (x0 ) I1 .
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
d t, s =
|tn sn |
,
3n
n=0
173
1
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
de estos cuatro intervalos cerrados es
1 2
3 .
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:
I000 I00 ,
I001 I01 ,
I010 I10 ,
I011 I11 .
1 3
3 .
174
1 n
3 .
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
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
n=N +1
1
< .
3n
Consideremos el intervalo It0 t1 t2 ...tN . Este es uno de los 2N intervalos que componen
AN . Su longitud es
1 N +1
.
3
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
d((x), (y))
n=N +1
1
< .
3n
1
.
3N
176
iguales a las propiedades dinmicas de g. Dedicaremos la siguiente seccin de este captulo a darle cuerpo a esta arma-
es catica en Y .
Las funciones P : J(P ) J(P ) y : 2 2 son conjugadas. Para demostrar que
P es catica en J(P ), demostraremos primero que es catica en 2 .
n=N +1
1
< . Considrese en 2 el punto
3n
s = (t0 , t1 , t2 , . . . , tN , t0 , t1 , t2 , . . . , tN , t0 , t1 , t2 , . . .) ,
[S.M. Sabogal & G. Arenas
177
n=N +1
1
< . Considrese el siguiente punto en 2 :
3n
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
<
d s, N +1 (
s) < .
1
< . Consideramos ahora un punto s tal que sus primeras
3n
n=N
N coordenadas coincidan con las primeras N coordenadas de t,
Sea N N tal que
s = (t0 , t1 , t2 , . . . , tN 1 , sN , sN +1 , . . . , ) ,
y tal que el valor de sN sea distinto del valor de tN .
Obsrvese que la distancia de t a s es menor que . Adems, como N t y N (
s)
N
N
dieren en la primera coordenada, d t , (
s) 1.
De las tres proposiciones anteriores se sigue que la funcin es catica en 2 .
Una introduccin a la geometra fractal]
178
5.7.
Equivalencia topolgica
= h f h1 (y)
179
junto de X que es tambin abierto y distinto del vaco. Como Per(f ) es denso en X,
existe en h1 (U ) un punto peridico x0 de f .
Sea N N tal que f N (x0 ) = x0 . Entonces h (x0 ) = y0 es un punto en U y
gN (y0 ) = gN (h (x0 )) = h f N (x0 ) = h (x0 ) = y0 .
As, y0 es un punto peridico de g que est en U .
Proposicin 5.7.4. La funcin f es transitiva en X si y slo si g es transitiva en
Y.
Demostracin. Es suciente demostrar que si f es transitiva en X, entonces la fun-
cin g es transitiva en Y .
Sean U y W dos conjuntos abiertos, no vacos, en Y . Entonces los conjuntos h1 (U )
y h1 (W ) son no vacos y abiertos en el espacio X.
Como f es transitiva en X, existen x0 en h1 (U ) y N , un nmero natural, tales que
f N (x0 ) est en h1 (W ). Entonces h (x0 ) U y gN (h (x0 )) = h f N (x0 ) W . De
180
= dX f N (x0 ) , f N (x1 ) 0 ,
se tiene que
dY gN (y0 ) , gN (h (x1 )) 0 .
Ahora la demostracin del siguiente corolario es inmediata.
Corolario 5.7.6. La funcin f es catica en X si y slo si g es catica en Y .
Otra armacin que ya podemos fcilmente demostrar es la siguiente:
Corolario 5.7.7. La funcin P es catica en el conjunto de los puntos atrapados
J(P ).
Demostracin. Las funciones P : J(P ) J(P ) y : 2 2 son conjugadas.
5.8.
propiedades interesantes.
181
si x 12 ,
3x,
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
funcin es 1 (x) =
x
3.
1
2
inversa es 2 (x) = 1
x
3.
1
2
, P (x) = 3 3x. La
en todo R.
x
x
, 2 (x) = 1
.
3
3
y 2 (C) = C
2
3, 1
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.
182
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
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.
x
x
, 2 (x) = 1
.
2
2
1
2, 1
x
x
, 2 (x) = 1
2
2
tiene como atractor el conjunto [0, 1], pero no es el nico SIF que tiene esta
propiedad.
Tomemos por ejemplo el SIF:
R; 1 (x) =
x
x 1
, 2 (x) = +
2
2 2
x 1 ([0, 1]) \ 2 ([0, 1]). Si x 2 ([0, 1]) \ 1 ([0, 1]), entonces la inversa se propone a
partir de la funcin 2 .
183
1
2x
si x < 12 ,
2x 1
si x > 12 .
1
Figura 5.12: Grca de f .
1
2
1
2
1
2
al 1, y la segunda
es una funcin continua en el atractor [0, 1] que, adems, se puede extender a una
funcin continua en todo R, dando lugar a la funcin Tienda.
5.9.
Un ejemplo en el plano
En esta seccin, a partir de dos de los sistemas iterados de funciones que presentamos 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
3 2
x
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.
Para
encontrar
el
conjunto
atractor,
tomaremos
el
conjunto
compacto
184
2
3, 1
0, 12 ,
F3 (B) = 0, 13
2
3, 1
2
3, 1
1
2, 1
, F4 (B) =
1
2, 1
[0, 1].
x0
,0 y 1
3
x0
,0 y 1 .
3
As, desde el punto de vista de la primera coordenada se va formando el conjunto
F3 (L) F4 (L) = (x, y) : x = 1
...
1
Figura 5.13: Imgenes de B al aplicarle la funcin F .
185
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) con la regla de correspondencia de la inversa de F1 . Esta idea nos lleva a esta
(3x, 2y),
si 0 x 13 , 0 y < 12 ,
(3 3x, 2y),
si 23 x 1, 0 y < 12 ,
G (x, y) =
(3x, 2 2y),
si 0 x 13 , 12 < y 1,
Ahora nos jamos en los puntos que estn en alguna interseccin Fi (A) Fj (A),
i = 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.
Extendemos las cuatro reglas de correspondencia que denen a la funcin G, primero
a todo el conjunto A y luego a todo el plano. La
(3x, 2y),
(3 3x, 2y),
G (x, y) =
(3x, 2 2y),
(3 3x, 2 2y),
nueva G se ve as:
si x 12 , y 12 ,
si
1
2
x, y 12 ,
si x 12 , 12 y,
si
1
2
x, 12 y.
Observemos que en la funcin G(x, y) = (G1 (x, y), G2 (x, y)) sucede que G1 (x, y) slo
depende la variable x y G2 (x, y) slo depende de y. De hecho, G se puede expresar
como
G(x, y) = (P (x), T (y)),
donde P y T son las funciones que hemos estudiado en buena parte de este captulo.
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
cualquiera de las dos situaciones se tiene que lm |Gn (x0 , y0 )| = . As, el conjunto
A es invariante bajo G y es repulsor.
186
GN +M (B ((x0 , y0 ) ; ) A) (B ((x1 , y1 ) ; ) A) = ,
y con ello que G es transitiva en A.
Paso 3. Sea 0 > 0 una constante de sensibilidad para la funcin T : [0, 1] [0, 1].
5.10.
187
7. Verdadero o falso? Sea f : [0, 1] [0, 1]. Supongamos que f es un homeomorsmo. Entonces, si x0 Per (f ), el periodo de x0 slo puede ser 1 2.
8. Sean
A = [0, 1] [0, 1] R2
F :AA
la
funcin
dada
0
0
por
188
9. El conjunto {1, 2, 3, 4} es una rbita de periodo 4 en cada una de las dos grcas
es cul.
10. Sean X un espacio mtrico, f : X X una funcin transitiva en X y U X
un conjunto abierto no vaco. Demuestre que la unin innita
f n (U ) es
n+1
Los ejercicios 5.10.11 y 5.10.12 nos dicen, de alguna manera, que el concepto de
transitividad y la existencia de rbitas que recorran casi densamente el espacio
estn relacionados.
Sea X un espacio mtrico compacto sin puntos aislados, y sea f : X X.
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.
15. Sea f : R R. Si J(f ) = , entonces f tiene al menos un punto jo.
16. Demuestre que la funcin corrimiento : 2 2 es continua.
[S.M. Sabogal & G. Arenas
189
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.
190
Captulo 6
Talleres
La interaccin con el computador es prcticamente imprescindible en el estudio de
la geometra fractal. En este captulo proponemos varios talleres, la mayora de ellos
para ser desarrollados con un programa computacional y paralelamente a la teora
de la siguiente forma: los talleres 1 a 3 apoyan y complementan los tres primeros
captulos; los talleres 4 a 7 corresponderan al captulo 4. Adems, algunos conceptos
tericos importantes son denidos en los talleres.
192
6. Talleres
av 30
Ver http://www.wlogo.com/
[S.M. Sabogal & G. Arenas
193
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)
gd 45 (Enter).
gi 60 (Enter).
bp
gd
re
av
gi
150
70
90
70
bp gd 90 av 80
bp
gi
av
gd
re
gd
av
60
120
80
50
20
70
194
6. Talleres
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 pantalla):
195
CODIGO
PRIMITIVA
DESCRIPCION
Borrar pantalla
bp
Avanza n
av n
Retrocede n
re n
Gira a la derecha n
gd n
Gira a la izquierda n
gi n
Baja lapiz
bl
Baja la pluma
Sube lapiz
sl
Sube la pluma
Goma
goma
Oculta la tortuga
ot
Muestra la tortuga
mt
Repite
Repite n [ . . . ]
196
6. Talleres
koch 0 100
dibuja la tortuga?
[S.M. Sabogal & G. Arenas
197
Siga ensayando con los siguientes u otros valores arbitrarios que usted elija:
koch 1 100;
koch 2 150;
koch 5 300;
koch 7 250.
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.
198
6. Talleres
En este programa :signo toma los valores de -1 1. Repita el mismo proceso
que se realiz en los programas anteriores. Interprete el signicado de la
variable :signo.
Programa 5
El siguiente algoritmo genera un tringulo rectngulo y es auxiliar del programa principal que se presenta despus.
para triangulo :lado
av :lado gd 90 av :lado gd 135 av :lado*(raizcuadrada 2)
gd 135
fin
Programa principal:
para tri :paso :lado
si :paso=0 [triangulo :lado alto]
tri :paso-1 :lado/2 sl av :lado/2 bl
tri :paso-1 :lado/2 sl gd 90 av :lado/2 gi 90 bl
tri :paso-1 :lado/2 sl re :lado/2 gi 90 av :lado/2 gd 90
bl
fin
Bautice con un nombre apropiado el programa 5.
199
200
6. Talleres
. . .
Para el desarrollo de este taller se necesita: algunos conocimientos bsicos de lgebra lineal, mucha imaginacin, actitud mental positiva y una buena capacidad de
asombro.
1. a) Observe atentamente las siguientes guras:
b) Recuerde la nocin intuitiva de autosemejanza: un objeto se dice autosemejante si est formado por varias copias de s mismo, slo que reducidas
y puestas en diferente posicin.
c) Para cada una de las guras anteriores, responda: es autosemejante?,
por qu?
d) D otros ejemplos de guras, objetos o fenmenos de la naturaleza que
sean autosemejantes.
[S.M. Sabogal & G. Arenas
201
i) R
r
s
(b) multiplicando por |s| en sentido vertical, y, si s < 0, reejando respecto al eje X.
ii) G
e
f
el giro hori-
aplicamos la transformacin G
30
60
x
Figura (A)
Figura (B)
202
6. Talleres
(a) Dibuje cmo quedara la casita al aplicarle cada grupo de cambios o
transformaciones que se indican en la siguiente gura:
R
1
3
1/2
3
30o
60o
G ( 45
90o )
o
1/2
0
0
2
1/3
1/3
2
2
G ( 90
90o )
o
1
G ( 45
45o ) M ( 1 )
o
(b) Escriba, segn la notacin provisional, las transformaciones que producen el efecto indicado:
20o
60o
(notacin matricial)
[S.M. Sabogal & G. Arenas
203
(notacin cartesiana)
i=
T1
T3
T5
0
1
yj=
x
y
x
y
x
y
1
2
):
x
1
+
,
y
2
x
1
2 0
=
+
,
0 2
y
0
x
0
1 0
=
+
.
0 1
y
4
=
T2
1
2
T4
x
y
x
y
=
=
3 0
0 1
1 0
0 1
x
,
y
x
,
y
k 0
.
0 k
Sugerencia: Considere los casos k > 1, 0 < k < 1, 1 < k < 0, k < 1,
1 0
,
0 1
1 0
,
0 0
0 0
,
0 1
cos sen
.
sen
cos
204
6. Talleres
. . .
Para el desarrollo de este taller se necesita: algunos conocimientos bsicos de lgebra lineal, mucha imaginacin, actitud mental positiva y una buena capacidad de
asombro.
5. Una transformacin afn en el plano tambin se puede representar de la forma
T
x
y
0
T 1
r cos s sen
r sen s cos
x
e
+
,
y
f
0
1
s sen
s cos
(notacin geomtrica)
T 0
r cos
r sen
1
0
s:
e:
f:
205
r = s y = = 0,
b)
r = s = 1,
c)
r = s, |r| < 1 y = .
x
y
r cos r sen
r sen r cos
x
e
+
;
y
f
(notacin polar)
1
1
f2 (z) = z + ,
2
2
1
1
f3 (z) = z + i.
2
2
206
6. Talleres
a) Describa brevemente el efecto geomtrico de cada similitud.
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) Dibuje en otro plano cmo queda A1 al aplicarle f1 , f2 y f3 . Llame A2 a
la gura obtenida y repita el proceso las veces que quiera (o que pueda).
d) Observe la sucesin A0 , A1 , A2 , . . . de guras obtenidas y especule todo lo
que quiera (el proceso termina?, qu ocurre con las guras A0 , A1 , A2 ,
. . . a medida que se avanza en la sucesin?, qu caractersticas tienen las
guras obtenidas?). Vuelva al punto 1 de este taller, observe, compare,
analice, hgase preguntas y siga especulando.
1
2
+ 12 i.
c) Identique las transformaciones anes que hacen que cada uno de los
siguientes conjuntos sea autosemejante:
[S.M. Sabogal & G. Arenas
Curva de Koch
207
Vicsek girado
208
6. Talleres
. . .
Para el desarrollo de este taller necesitar varias hojas de papel milimetrado y reglas
o escuadras.
Recuerde la construccin del conjunto de Cantor, la curva de Koch, el tringulo de
Sierpiski y la carpeta de Sierpiski, a partir de una semilla y una produccin (vese
el Taller 2.)
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 tringulo. Escriba una conclusin al respecto (mnimo media pgina).
2. Para la semilla y la produccin que se le dan a continuacin (el profesor asignar
a cada estudiante o grupo de estudiantes una semilla y una produccin), dibuje
(en las hojas de papel milimetrado), al menos las primeras cuatro guras de
la sucesin que se genera, o las que considere necesarias para tener una idea
clara de cmo es el respectivo conjunto lmite. Describa dicho conjunto lmite
(autosemejanza, irregularidad, longitud, rea, etc.).
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
209
T1
T2
T3
5. Identique para el fractal que usted invent en el punto 1 del Taller 2, y tambin 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.
210
6. Talleres
. . .
211
212
6. Talleres
r
0,333
0,333
0,333
-0,333
s
0,333
0,333
0,333
0,333
0
0
60
-60
0
0
60
-60
B1
0
0,333
0,166
0,333
B2
0
0
0
0
Qu gura se obtiene?
2. Las siguientes funciones generan el tringulo de Sierpiski luego de un
movimiento:
TN
T1
T2
T3
r
0,5
0,5
0,5
s
0,5
0,5
0,5
0
0
0
0
0
0
B1
1,5
2,0
1,75
B2
2,0
2,0
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
T1
T2
T3
T4
T5
T6
r
0,05
0,05
0,60
0,50
0,50
0,55
s
0,60
-0,50
0,50
0,45
0,53
0,40
0,00
0,00
40,3
19,9
-30,2
-39,8
0,00
0,00
40,1
19,7
-31,9
-40
B1
-1,90
-1,90
-0,76
-0,91
-1,42
-1,42
B2
0,40
2,50
2,00
2,02
1,05
0,69
Apndice A
La desigualdad de
CauchySchwarz
En el ejemplo 2.1.2.3 se us la siguiente desigualdad:
Para cualesquiera a1 , a2 , b1 , b2 R se cumple
(a1 b1 + a2 b2 )2 a21 + a22
b21 + b22 .
(A.1)
:= (x1 + y1 , x2 + y2 , . . . , xn + yn ) ,
X := (x1 , x2 , . . . , xn ) .
De modo que Rn , +, es un espacio vectorial.
Dados X = (x1 , x2 , . . . , xn ) e Y = (y1 , y2 , . . . , yn ) en Rn , denimos la norma de X
y el producto interior de X e Y , denotados X y X Y , respectivamente, como
X
XY
:=
:= x1 y1 + x2 y2 + + xn yn .
(A.2)
(A.3)
214
La desigualdad de CauchySchwarz
2. X Y = Y X,
3. X (Y + Z) = X Y + X Z,
4. (X Y ) = (X) Y = X (Y ).
Veamos que para cualesquiera X, Y Rn se cumple:
(X Y )2 (X X) (Y Y ) .
(Desigualdad de CauchySchwarz)
0,
por lo cual
X X 2X Y + 2 Y Y 0,
X
2X Y + 2 Y
0.
0, B := 2X Y , C := X
0.
4 (X Y )2 4 Y
0,
Apndice B
long (C0 ) = 1
C1 :
long (C1 ) =
2
3
C2 :
long (C2 ) =
..
.
4
9
long (Cn ) =
2 n
n 3
long (C) = lm
2 2
3
2 n
3
= 0.
(contradiccin).
216
Cj , donde
j=1
C1 =
0, 13
2
3, 1
C2 =
0, 19
2 1
9, 3
2 7
3, 9
8
9, 1
..
.
2j
Cj
Cjk ,
k=1
N N .
1
3k
i = 1, 2, . . . , k,
yk+1 = xk+1 ,
yi , i k + 2.
i=1
i=1
|xi yi |
=
3i
k
i=1
|xi yi |
+
3i
1
|xk+i yk+i |
= k
k+i
3
3
i=1
i=k+1
|xi yi |
3i
|xk+i yk+i |
.
3i
1
3k
i=1
1
1
= k
3i
3
1
3
1
3
1 1
1
< k < ,
3k 2
3
[S.M. Sabogal & G. Arenas
Apndice B
217
y en consecuencia y B (x; ).
De esta manera, y (B (x; ) {x}) N .
(5). C = C: Puesto que C es cerrado, C C (Proposicin 2.5.18). Para la otra
1
2; 1
= 12 , 32 .
218
Apndice C
a (S1 ) = 34 A,
S2 :
a (S2 ) =
..
.
a (Sn ) =
9
16 A
3 2
A,
4
3 n
A.
4
3 n
A
n 4
a (S) = lm
= 0.
(x, y) R2 : (x a1 )2 + (y a2 )2 < r 2
r 2
tal que
0 (contradiccin).
en consecuencia, S :=
n=1
220
1 1
2, 2
;1 .
(8). S = S: como S es cerrado, S = S; pero por otra parte S = S S (Proposicin 2.5.18), luego S = S S , lo que implica que S S.
que N N .
1
4k
i = 1, 2, . . . , k,
yi , i k + 2.
yk+1 = xk+1 ,
i=1
i=1
|xi yi |
=
4i
k
i=1
|xi yi |
+
4i
|xk+i yk+i |
1
= k
k+i
4
4
i=1
i=k+1
|xi yi |
4i
|xk+i yk+i |
.
4i
1
4k
i=1
1
1
= k
4i
4
1
4
1
4
1 1
1
< k < ,
4k 3
4
[S.M. Sabogal & G. Arenas
Apndice C
221
y en consecuencia y B (x; ).
De esta manera, y (B (x; ) {x}) N .
= : Si existiera a S,
existira > 0 tal que B (a; ) = D S, lo cual
(9). S
contradice (2).
222
Referencias
[1] Tom Apostol. Anlisis Matemtico. Editorial Revert, Barcelona Espaa, 1972.
[2] G. Arenas y B. Mayorga. Bolas no convexas. Lecturas Matemticas, 24(2):3951,
2003.
[3] J. Banks, J. Brooks, G. Cairns, G. Davis, and P. Stacey. On Devaneys Denition of
Chaos. American Math. Montly, 99:332334, 1992.
[4] M. Barnsley. Fractals Everywhere. Academic Press, Inc., 1988.
[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.
[7] F. Castro. Geometra fractal en el bachillerato. Monografa de grado, Licenciatura en
Matemticas, UIS, Bucaramanga, 1994.
[8] V. J. Charatonik and A. Dilks. On Self-Homeomorphic Space. Topol. and its Appl.,
55:215238, 1994.
[9] R. L. Devaney. An Introduction to Chaotic Dynamical Systems. Second Edition,
Addison-Wesley, Redwood City, 1989.
[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, Licenciatura en Matemticas, UIS, Bucaramanga, 1995.
[14] Grupo Fractales. Taller de fractales. Departamento de Matemticas, UIS, Bucaramanga, 1994. Material preimpreso.
[15] M. de Guzmn, A. Martn, M. Morn, and M. Reyes. Estructuras fractales y sus
aplicaciones. Editorial Labor, S. A., 1993.
[16] Bill Hirst. Libro de presentacin de una exposicin de arte, realizada en la sala de la
Biblioteca Luis ngel Arango, marzo 1998, Bogot.
[17] J.E. Hutchison.
Referencias
225
ndice alfabtico
adherencia de un conjunto, 40
ngulo, 31
atractor, 99
del SIF, 100, 107
autosemejante, 8, 101
autosimilar, 101
autosimilitud, 6, 8, 16, 19
bola, 40
cerrada, 46
Cantor, Georg, 20
caos, 165
carpeta de Sierpiki, 21
conjunto
H(X), 79
abierto, 48
acotado, 50, 51
autosemejante, 15, 101
autosimilar, 101
cerrado, 45
compacto, 50
convexo, 43
de Cantor, 20, 113, 215
de condensacin, 105
de Julia, 170
de la direcciones de a, 112
denso, 163
fractal, 6, 14
invariante, 154, 180
totalmente acotado, 50, 54
conjunto de Cantor
construccin, 100
continuidad, 62
contraccin, 66
curva de Koch, 22, 113
denicin
caos, 165
desigualdad de Cauchy-Schwarz, 27, 213
dimetro, 58
dimensin
extraa, 10
fractal, 5, 11
Hausdor, 10, 14
topolgica, 10, 14
distancia
entre compactos, 82
equivalencia topolgica, 178
espacio
de cdigos asociado, 107
de Cantor, 113
de los cdigos, 29
discreto, 42
eucldeo, 26
Hausdor, 113
mtrico, 26
mtrico completo, 40
topolgico, 124
vectorial, 213
esponja de Menger, 23
fractal, 5, 14, 99
fractales, 99
en el arte, 3
en la matemtica, 3
en la naturaleza, 2
funcin
afn, 151
biyectiva, 162
catica, 168
continua, 63
de direccionamiento, 107, 112
desplazamiento, 176
Referencias
inyectiva, 162
la Tienda, 154
lineal, 151
sensible a condiciones iniciales, 167
suprayectiva, 162
topolgicamente transitiva, 164
Hausdor, Flix, 15
hiperespacio, 86
homeomorsmo, 102, 124, 162
homotecia, 138
interior, 48
Julia, Gaston Maurice, 170
Koch, Helge Von, 22
mtrica
de Hausdor, 79, 86
del taxista, 30
discreta, 28
usual, 29
Mandelbrot, Benoit, 1, 16
Menger, Karl, 23
norma, 213
nube, 87
cerrada, 88
objeto fractal, 6
rbita, 69, 149
estable, 165, 166
periodo, 151
pirmide de Sierpiski, 13
producto interior, 213
punto
acumulacin, 57
adherente, 40
atrapado, 169
jo, 68, 151
jo atractor, 165, 166
jo repulsor, 165, 166
frontera, 57
interior, 48
peridico, 151, 156
Una introduccin a la geometra fractal]
227
prisioneros, 169
recubrimiento, 54
rotacin del atractor, 142
segmento, 42, 44
Sierpiski, Waclaw, 7
similitud directa, 142
Sistema Iterado de Funciones (SIF), 99
atractor del, 100
con condensacin, 104
movimiento del atractor, 212
rgido, 142
triangular, 117
SIF, 99
sistemas dinmicos discretos, 149
software
Fraclin, 210, 212
WinLogo, 192, 196
subespacio mtrico, 32
sucesin, 33
convergente, 34
de Cauchy, 37
subsucesin, 36
teorema
de completez de H(X), 89
de Sharkovskii, 156
del punto jo para espacios mtricos
completos, 70
transformacin
afn, 200, 202, 204
de condensacin, 105
de similaridad, 135
geomtrica, 135
notacin cartesiana, 138, 203
notacin geomtrica, 138, 204
notacin matricial, 202
transitividad topolgica, 162
traslacin del atractor, 139
tringulo de Sierpiski, 9, 115, 127, 219
autosimilitud, 9
construccin, 7, 101