LA FUNCIN LOGSTICA

Y EL ATRACTOR DE LA
HERRADURA DE SMALE
Jos Santiago Garca Cremades
y Francisco Balibrea Gallego
2
Resumen.
Hay orden en el caos? Las estructuras caticas siguen algn tipo de
patrn? La teora del caos es una de las materias ms estudiadas desde el
siglo XX, que aspira a entender no slo estructuras geomtricas y topolgicas
muy concretas (como los fractales y los continuos indescomponibles), sino que
es ya usada para intentar augurar sesmos, huracanes, la cada de la Bolsa,
o distintos fenmenos aparentemente impredecibles pero que se comportan
como estructuras deterministas. La Teora del Caos forma parte de la materia
de Sistemas Dinmicos, en donde con dos ejemplos, la funcin logstica y la
herradura de Smale, mostramos comportamientos caticos similares pero con
unas particularidades difciles de hallar. Hemos comenzado con la importante
tarea de tener presente la Historia de la materia a tratar antes de entrar
en lleno con deniciones y resultados previos, tiles para dar sentido a las
propiedades a demostrar. En el segundo captulo, estudiamos la dinmica de
la ecuacin logstica en funcin del parmetro y encontramos un conjunto
de Cantor y un comportamiento catico en sentido de Devaney para r > 4,
que es el resultado ms relevante del captulo. En el tercer captulo, hemos
tratado la funcin bidimensional llamada la Herradura de Smale y estudiamos
tambin su dinmica. Como en la funcin logstica, encontramos un sistema
dinmico catico y dos conjuntos de Cantor, aunque ste no va a ser el
resultado a tratar y no lo demostraremos. En este caso, nos interesa llegar a
un terreno ms propio de la Topologa: los continuos. Hemos hecho un gran
esfuerzo para andar en terrenos que estn a caballo entre la Geometra, la
Topologa y el Anlisis. Nuestro n es llegar a entender el atractor de dicha
funcin, que es un continuo indescomponible.
ndice general
1. Historia. Deniciones y resultados previos. 5
1.1. Un poco de historia. . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Sistemas dinmicos. . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Conjuntos de Cantor. . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. Caos en sentido Devaney. . . . . . . . . . . . . . . . . . . . . . 11
2. La funcin logstica. 15
2.1. Dinmica de la funcin logstica . . . . . . . . . . . . . . . . . 15
2.2. La funcin logstica cuando r > 4. . . . . . . . . . . . . . . . . 20
2.3. La funcin logstica si 4 < r 2 +

5. . . . . . . . . . . . . . 25
3. Herradura de Smale. 31
3.1. Construccin y dinmica de la Herradura de Smale. . . . . . . 31
3.2. El atractor de la Herradura. . . . . . . . . . . . . . . . . . . . 36
3.3. Diagrama conmutativo. . . . . . . . . . . . . . . . . . . . . . . 39
3.4. El lmite inverso es un continuo indescomponible. . . . . . . . 41
3.5. El atractor de la Herradura es un continuo indescomponible. . 43
3
4 NDICE GENERAL
Captulo 1
Historia. Deniciones y resultados
previos.
1.1. Un poco de historia.
Caos existi antes que todos y enseguida Gea la de anchas espal-
das, asiento seguro y permanente de los inmortales. De l nacieron
el Erebo y la Noche que al unirse dieron vida al ter y a Hmera.
Mitologa griega.
En la Fsica matemtica y en la matemtica, el concepto de sistema
dinmico nace de la exigencia de construir un modelo general de todos los
sistemas que evolucionan segn una regla que conecta el estado presente en
los estados pasados.
El primer problema que se plantea sobre Sistemas Dinmicos data del
siglo XII y se debe al matemtico Leonardo de PisaFibonacci. En el margen
de su libro Liber Abacci public un problema que conocido como "problema
de los conejos" que ms que un problema parece un acertijo de matemticas
recreativas. El problema en lenguaje actual dira:
Una pareja de conejos tarda un mes en alcanzar la edad frtil, a partir de
ese momento cada vez engendra una pareja de conejos, que a su vez, tras ser
frtiles engendrarn cada mes una pareja de conejos. Cuntos conejos habr
al cabo de un determinado nmero de meses?.
Los primeros logros de la teora de los Sistemas Dinmicos pueden ser
identicados ya el siglo XVI, en los trabajos de mecnica celeste escritos
por Johannes Kepler. Las contribuciones de Isaac Newton a la matemtica a
travs de la formalizacin de la mecnica clsica abrieron espacio para una
5
6CAPTULO1. HISTORIA. DEFINICIONES YRESULTADOS PREVIOS.
sosticacin creciente del aparato matemtico que modela fenmenos mecni-
cos, culminando en los trabajos de Lagrange y Hamilton, que denieron la
teora de la mecnica clsica en un contexto matemtico, que esencialmente
es el mismo estudiado hasta hoy.
El matemtico francs Henri Poincar es considerado uno de los creadores
de la teora moderna de los sistemas dinmicos, habiendo introducido mu-
chos de los aspectos del estudio cualitativo de las ecuaciones diferenciales que
permitieron estudiar propiedades asintticas de las soluciones (o de la mayor
parte de las soluciones) de una ecuacin diferencial, como estabilidad y pe-
riodicidad, sin ser necesario resolver explcitamente la ecuacin diferencial.
Tal abordaje puede ser encontrado en su obra-prima Les mthodes nouvelles
de la mcanique cleste, publicada en tres volmenes entre 1892 y 1899. Se
considera que el primer libro publicado en el rea de sistemas dinmicos es la
obra Dynamical Systems, escritura por el matemtico estadounidense George
Birkho, y publicada en 1927.
A comienzos de la dcada de los aos mil novecientos sesenta, matemti-
cos de la talla de Stephen Smale, un afamado topologista, crean que el caos
no exista. Para esa poca, conesa Smale, recibi una carta de un matemtico
del M.I.T. llamado Norman Levinson, coautor del texto principal para grad-
uados, de ecuaciones diferenciales ordinarias, en la cual, Levinson, le escriba
un reciente resultado de su trabajo el cual contena un contraejemplo a esa
conjetura.
Smale trabaj duramente, para tratar de resolver el reto que la carta im-
pona a sus creencias. Tuvo que traducir los argumentos analticos de Levin-
son a su propia forma geomtrica de pensamiento. Al menos en mi caso,
conesa, la comprensin de las matemticas no se obtiene de lo que se lee
o se escucha. Proviene del replanteamiento de lo ledo o escuchado. Tengo
que reconstruir las matemticas en el contexto de mi particular experiencia
y esa experiencia consiste de muchos hilos: algunos fuertes y otros dbiles.
Mi experiencia es ms fuerte en el anlisis geomtrico, pero me enredo en el
seguimiento de una maraa frmulas. Yo tiendo ser un poco ms lento que
la mayora de los matemticos, para comprender un argumento. La literatu-
ra matemtica puede ser til para proveer indicios y, a menudo, uno puede
asociar estos indicios para lograr un cuadro eciente. Yo sentir que tengo
una comprensin del asunto cuando haya logrado reorganizar las matemti-
cas que lo expresan, en mis propios trminos, no antes. Finalmente, Smale
se convenci de que Levinson estaba en lo correcto y que su conjetura era
errada.
La herradura de Smale, cuyas propiedades trataremos a lo largo de este
trabajo, es una consecuencia natural de una forma geomtrica de considerar
a las ecuaciones de Cartwright-Littlewood y Levinson. Esta geometrizacin
1.2. SISTEMAS DINMICOS. 7
provee una comprensin de los mecanismos del caos y un vnculo causal con
la extendida impredecibilidad en la dinmica.
Aos despus el cientco Robert May encontr ejemplos de caos en
dinmica de poblaciones usando la funcin logstica discreta. A continuacin
lleg el ms sorprendente descubrimiento de todos de la mano de Feigen-
baum. l descubri que hay un conjunto de leyes universales concretas que
diferencian la transicin entre el comportamiento regular y el caos. Por tan-
to es posible que dos sistemas evolucionen hacia un comportamiento catico
igual.
El caos es un fenmeno de la dinmica y la dinmica es la evolucin con
respecto al tiempo, de un conjunto de estados de la naturaleza.
1.2. Sistemas dinmicos.
Sea X el espacio topolgico y d una distancia denida por:
d : X X R
y con las propiedades siguientes:
1. Denida positiva
d (x, y) 0 y d (x, y) = 0 x = y, x, y X.
2. Simtrica
d (x, y) = d (y, x) , x, y X.
3. Desigualdad triangular
d (x, y) d (x, z) + d (z, y) , x, y, z X.
Luego (X, d) es un espacio mtrico, siendo d la mtrica.
Sea f : X X una funcin continua y , una funcin que llamamos
ujo del sistema, se dene por:
: N X X
(n, x) (n, x) = f
n
(x) .
Es inmediato que se cumplen las propiedades:
1. (0, x) = x para todo x X.
8CAPTULO1. HISTORIA. DEFINICIONES YRESULTADOS PREVIOS.
2. Propiedad del determinismo
(n, f
m
(x)) = f
n
(f
m
(x)) = f
n+m
(x) = (m, f
n
(x)).
A la dupla (X, f) se le llama Sistema Dinmico Discreto.
Denicin 1.2.1 Llamamos rbita hacia delante de f en x X a la suce-
sin:
x, f (x) , f (f (x)) , ..., f
n
(x) , ... .
Es decir,
Orb
f
(x) = (f
n
(x))

n=0
.
Se entiende por dinmica conocer el comportamiento de todas las rbitas de
todos los puntos de X.
Vamos a tomar algunas deniciones para algunos puntos que tienen r-
bitas particulares.
Denicin 1.2.2 Sea (X, f) un sistema dinmico discreto.
Llamamos perodo de la rbita de x por f (tambin diremos perodo del punto
x por f) al nmero natural n ms pequeo que cumple
f
n
(x) = x, y f
j
(x) ,= x para todo 0 < j < n.
Diremos que x es un punto peridico de perodo n (ms concretamente, de
primer perodo n).
Decimos que x es un punto jo de f si es un punto peridico de perodo 1,
es decir,
f (x) = x.
Denicin 1.2.3 Llamaremos a x punto eventualmente peridico de pero-
do k N, si existe N N tal que
f
n+k
(x) = f
n
(x) , n N.
Decimos que x es un punto eventualmente jo si es eventualmente perido
de perodo 1, es decir, existe N N tal que
f
n+1
(x) = f
n
(x) , n N.
Es evidente que la periodicidad implica la periodicidad eventual.
1.2. SISTEMAS DINMICOS. 9
Denicin 1.2.4 Sea f C
1
(X), denimos dos tipos de puntos.
Se dice que x X es un punto atractor de la funcin f cuando se cumple
que

(x)

< 1.
Igualmente, se dice que x X es un punto repulsor de la funcin f cuando
se cumple que

(x)

> 1.
Denicin 1.2.5 Sea p un punto de X, llamamos conjunto estable de p al
conjunto denido de la siguiente forma
W
s
(p) =
_
x X : lm
n
d [f
n
(x) , p] = 0
_
.
Diremos lo mismo con el conjunto estable de un subconjunto J X
W
s
(J) =
_
x X : lm
n
d [f
n
(x) , J] = 0
_
.
Adems, durante nuestro trabajo, utilizaremos algunos resultados impor-
tantes que describimos a continuacin.
Denicin 1.2.6 Se dice que la funcin f es contractiva si existe K < 1
tal que
d (f (x) , f (y)) Kd (x, y) para cualesquiera x, y X.
Teorema 1.2.1 (Teorema del Valor Intermedio) Sea f una funcin con-
tinua en un intervalo [a, b] y supongamos que f(a) < f(b) (si f(a) > f(b)
se demuestra anlogamente). Entonces para cada u tal que f(a) < u < f(b),
existe un c (a, b) tal que f(c) = u.
Demostracin. Para demostrarlo, suponemos que f(a) < u y f(b) > u.
Tomamos un conjunto K, que contiene todos los puntos x del intervalo [a, b]
que verican que f(x) u. (K es distinto de vaco, ya que f(a) < u).
K = x [a, b] : f(x) u .
Ese conjunto tiene un supremo c, que verica que c f(x) para todo x
perteneciente a K.
f(c) < u o f(c) = u, por denicin de K.
Si f(c) < 0, hay un intervalo (c , c +), con > 0 en el que f < u, por
lo que podran haber f(x) < u para algn x > c. Esto no puede pasar, porque
10CAPTULO1. HISTORIA. DEFINICIONES YRESULTADOS PREVIOS.
c es cota superior del conjunto K, que tiene todos los valores donde f(x) < u.
Por esto, el mayor no puede ser un c tal que f(c) < u, as que f(c) = u.
Teorema 1.2.2 (Teorema del punto jo de Banach) Sea (X, d) un es-
pacio mtrico completo y sea f : X X una aplicacin contractiva en X.
Entonces existe un nico punto jo de f.
Demostracin. La demostracin se sigue de que la sucesin as denida es
una sucesin de Cauchy por ser la funcin contractiva.
Como X es completo converge a un x
0
de X.
Por ser la funcin contractiva, es continua y de la forma en que se ha denido,
se sigue que x
0
es un punto jo de la funcin y que es nico.
Aunque el conocido Teorema de Sharkovskii (1964) es ms trascendente y
contiene al Teorema de Li-Yorke (1974), vamos a enunciar nicamente este
ltimo que es el que hemos utilizado ocasionalmente a lo largo de nuestro
trabajo.
Teorema 1.2.3 (Teorema de Li-Yorke) Sea f : R R una funcin con-
tinua. Si f tiene un punto peridico de primer perodo 3, entonces tiene r-
bitas peridicas de todos los primeros perodos.
Demostracin. Una demostracin detallada se encuentra en [LI-Y].
1.3. Conjuntos de Cantor.
Denicin 1.3.1 Un conjunto no vaco R es llamado conjunto de
Cantor si cumple estas tres propiedades:
1. es compacto (todo recubrimiento abierto tiene un subrecubrimiento
nito).
2. no contiene intervalos, es decir que las componentes conexas entre
puntos son los propios puntos.
Los conjuntos que cumplen esto los llamamos totalmente desconectados.
3. no tiene puntos aislados, o lo que es lo mismo, todos los puntos son
de acumulacin.
A estos conjuntos les llamamos conjuntos perfectos.
1.4. CAOS EN SENTIDO DEVANEY. 11
Ejemplo 1 El conjunto ternario de Cantor, llamado as por ser introducido
por Georg Cantor en 1883, es un destacado subconjunto fractal del intervalo
real [0, 1], que admite dos deniciones equivalentes:
la denicin numrica: es el conjunto de todos los puntos del intervalo
real [0, 1] que admiten una expresin en base 3 que no utilice el dgito
1.
la denicin geomtrica, de carcter recursivo, que elimina en cada paso
el segmento abierto correspondiente al tercio central de cada intervalo.
En general, podemos construir una innitud de conjuntos homeomorfos al
conjunto ternario de Cantor, y por tanto tambin son conjuntos de Cantor,
quitando el intervalo abierto central de longitud en lugar de 1/3, con 0 <
< 1.
1.4. Caos en sentido Devaney.
Los sistemas dinmicos discretos caticos han recibido una gran aten-
cin en los ltimos aos, aunque no existe una denicin matemtica univer-
salmente aceptada de caos. Vamos a adoptar la denicin de caos introducida
por Devaney en 1986, lo llamaremos Caos en sentido Devaney.
Devaney asla tres principios fundamentales de este comportamiento. Sea
X un espacio mtrico y f : X X una aplicacin continua. Sea X
un conjunto invariante por f, es decir, f () . Decimos que el sistema
dinmico (X, f) es catico en si cumple estas tres condiciones:
1. f es topolgicamente transitiva en ; es decir, si para cualesquiera dos
abiertos no vacos U, V , existe n N tal que
f
n
(U) V ,= .
Equivalentemente, f es topolgicamente transitiva en si para cada
par de puntos x e y de y cada > 0, existe z tal que
[z x[ < y [f
n
(z) y[ <
para cada n N.
12CAPTULO1. HISTORIA. DEFINICIONES YRESULTADOS PREVIOS.
2. Los puntos peridicos forman un conjunto denso en . Devaney de-
nomina a esta condicin, condicin de regularidad del sistema.
3. f tiene en dependencia sensible a las condiciones iniciales. f verica
en tal propiedad si existe un nmero positivo > 0 (condicin de
sensibilidad) tal que para cada x y cada entorno de x en , U (x),
existe un punto y U (x) y un n tal que
d (f
n
(x) , f
n
(y)) > .
Esta propiedad reeja la idea de que pequeos errores en la lectura de
los puntos x e y provocan divergencias a largo plazo. La dependencia
sensible a las condiciones iniciales constituye la idea central del caos.
Como un primer anlisis de esta denicin vamos a ver que la dependencia
sensible a las condiciones iniciales es una condicin redundante si se verican
las condiciones (1) y (2).
Teorema 1.4.1 Sea (X, f) un sistema dinmico topolgicamente transitivo
en el conjunto invariante X y cuyos puntos peridicos sean densos en
. Entonces f tiene sensibilidad a las condiciones iniciales en .
Demostracin. Primero observemos que existe un nmero
0
> 0 tal que
para cada x existe un punto peridico q cuya rbita Orb
f
(q) est a
una distancia como mnimo
0
/2 de x.
Elijamos dos puntos peridicos arbitrarios q
1
y q
2
con rbitas disjuntas
Orb
f
(q
1
) y Orb
f
(q
2
) y denotemos con
0
la distancia entre las citadas rbitas.
Usando la desigualdad triangular cada punto x est como mnimo a una
distancia
0
/2 de una de las rbitas peridicas elegidas.
Vamos a demostrar que f tiene dependencia sensible a las condiciones
iniciales con constante de sensibilidad =
0
/8.
Sea x un punto arbitrario y U (x) un entorno de x. Como los puntos
peridicos de f son densos en existir un punto peridico P en A =
U (x) B

(x) donde con B

(x) denotamos la bola de radio y centro x.

Denotemos por n el perodo de P. Existe un punto peridico q cuya
rbita Orb
f
(q) est a la distancia como mnimo 4 de x. Ponemos ahora
V =
n

i=0
f
i
_
B

_
f
i
(q)
__
.
Claramente V es abierto y no vaco ya que q V . Como consecuencia, y ya
que f es transitiva, existe y A y un entero positivo k tal que f
k
(y) V .
1.4. CAOS EN SENTIDO DEVANEY. 13
Sea j la parte entera de
k
n
+ 1. Entonces ser 1 nj k n.
Por construccin tenemos:
f
nj
(y) = f
njk
_
f
k
(y)
_
f
njk
(V ) B

_
f
njk
(q)
_
.
Ahora es f
nj
(P) = P y aplicando la desigualdad triangular es
d (f
nj
(P) , f
nj
(y)) = d (P, f
nj
(y))
d
_
x, f
njk
(q)
_
d
_
f
njk
(q) , f
nj
(y)
_
d (P, x) ,
Como consecuencia y ya que P B

(x) y f
nj
(y) B

_
f
njk
(q)
_
ten-
emos
d
_
f
nj
(P) , f
nj
(y)
_
> 4 = 2.
Usando de nuevo la desigualdad triangular, es o bien
d
_
f
nj
(x) , f
nj
(y)
_
> ,
o bien
d
_
f
nj
(x) , fnj (P)
_
> .
En cualquier caso hemos determinado un punto en U cuya nj-sima iterada
est a una distancia mayor que de f
nj
(x), que es lo queramos demostrar.
Vamos a enunciar el siguiente lema que no vamos a demostrar.
Lema 1 Sea J R un intervalo no necesariamente acotado y f : J J
continua. Si J
0
J es un intervalo que no contiene ningn punto peridico
de f y z, f
m
(z) y f
n
(z) J
0
con 0 < m, n, entonces se verica que, o
bienz < f
m
(z) < f
n
(z), o bien z > f
m
(z) > f
n
(z).
Teorema 1.4.2 Sea J R un intervalo no necesariamente acotado y
f : J J
una funcin continua y topolgicamente transitiva en J. Entonces los puntos
peridicos de f son densos en J.
Demostracin. Supongamos que los puntos peridicos de f no son densos
en J.
Existe un intervalo J
0
J que no contiene puntos peridicos.
Sea x J
0
un punto que no sea un punto de los extremos del intervalo, un
entorno de x, U (x) J
0
y un intervalo abierto E J
0
U (x).
14CAPTULO1. HISTORIA. DEFINICIONES YRESULTADOS PREVIOS.
Como f es topolgicamente transitiva en J, existe un nmero m > 0 tal
que
f
m
(U (x)) E ,=
y un y J
0
tal que f
m
(y) E J
0
. Como J
0
no contiene puntos peridicos
entonces y ,= f
m
(y) y siendo f continua, esto signica que podemos encontrar
un entorno V (y) vericando
f
m
(V (y)) V (y) = .
Como V (y) es abierto, entonces existe un n > m y z V (y) con f
n
(z)
V (y).
Pero entonces tenemos 0 < m < n y z tal que f
n
(z) V (y), mientras
que f
m
(z) / V (y) y esto contradice el lema anterior.
Como conclusin, en J son equivalentes las siguientes propiedades:
1. f es catica en sentido Devaney.
2. f es topolgicamente transitiva.
Captulo 2
La funcin logstica.
2.1. Dinmica de la funcin logstica
Al igual que Lorenz con la meteorologa, los eclogos analizaron la repro-
duccin de una ciertas especies y observaron que la densidad de poblacin
de un ao al siguiente se ajustaba notablemente a un tipo de funcin que
llamamos funcin logstica.
f
r
: [0, 1] [0, 1]
f
r
(x) = rx (x 1) , con 0 r 4
La forma en que se modica la dinmica de f
r
segn se va incrementando r
es realmente curiosa, y ya haba despertado el inters matemtico hace varias
dcadas.
Aunque nos centramos en el estudio de la funcin en el cuadrado [0, 1] [0, 1],
podremos referirnos en ocasiones a ella fuera de este conjunto.
Vamos a describir paso a paso el comportamiento de esta funcin cuando
r [0, 4].
f
r
es continua para todo r.
Puntos jos: x = 0 y x =
r1
r
, para todo r:
f
r
(0) = 0, f
r
_
r 1
r
_
= r
_
r 1
r
__
1
_
r 1
r
__
=
r 1
r
.
Puntos eventualmente jos: 1 y
1
r
, para todo r:
f
r
(1) = 0, f
r
(0) = 0
15
16 CAPTULO 2. LA FUNCIN LOGSTICA.
f
r
_
1
r
_
= r
_
1
r
__
1
1
r
_
=
r 1
r
, f
r
_
r 1
r
_
=
r 1
r
.
Sea p
r
=
r1
r
y llamaremos, por abuso de lenguaje, 0 al punto (0, 0).
1. Si r = 0, entonces f
r
(x) = 0.
2. Cuando 0 < r < 1:
Tenemos f

r
(x) = r (1 2x), p
r
< 0 y
1
r
> 1.
[f

r
(0)[ = [r[ < 1, es decir, 0 es un punto atractor. Como [r (1 2p
r
)[ =
[r + 2[ > 1, luego p
r
es un punto repulsor.
Grcamente, observamos los conjuntos estables siguientes:
W
s
(0) =
_
p
r
,
1
r
_
y W
s
() = (, p
r
)
_
1
r
, +
_
.
En trminos biolgicos, que la dinmica de f
r
converge a 0, se traduce
como que la densidad de la especie estudiada est condenada a su
extincin.
3. Si r = 1, f
1
(x) = x x
2
:
Aqu, el nico punto jo es 0 y no es ni atractor ni repulsor, ya que
[f

r
(0)[ = 1.
El conjunto estable de 0 es [0, 1] y, en general, establecemos:
si r 1, W
s
() = (, 0) (1, +) .
Aqu tenemos la misma circunstancia anterior y la especie seguira con-
denada a extinguirse.
En r = 1 encontramos un punto de bifurcacin desde cero, en el sentido
que cuando r > 1 obtenemos p
r
=
r1
r
> 0 y adems p
r
0 cuando
r 1.
4. Cuando 1 < r < 3:
[f

r
(0)[ = [r[ > 1, luego 0 es un punto repulsor. Tenemos p
r
(0, 1),
[r (1 2p
r
)[ = [r + 2[ < 1, por tanto el punto p
r
es atractor.
Y grcamente deducimos:
W
s
(0) = 0, 1 , y W
s
(p
r
) = (0, 1) .
Se puede interpretar como que la densidad de la poblacin de la especie
estudiada se estabilizara con el tiempo.
2.1. DINMICA DE LA FUNCIN LOGSTICA 17
Figura 2.1: r = 2
5. Si r = 3:
Tenemos igualmente que p
3
=
2
3
es un punto atractor y 0 es repulsor.
Adems los conjuntos estables siguen siendo
W
s
(0) = 0, 1 , y W
s
(p
3
) = (0, 1) .
Si r = 3 entonces p
3
es un nuevo punto de bifurcacin y f

3
(p
3
) = 1.
Como veremos, se produce la ramicacin de una rbita de perodo
dos, y por eso esta bifurcacin se denomina bifurcacin de duplicacin
de perodo.
6. Cuando 3 < r < 1 +

6:
Los puntos 0 y p
r
son repulsores, y el conjunto estable de 0 son nica-
mente los puntos 0 y 1.
Aqu encontramos puntos peridicos de perodo 2
i
en cada f
i
r
, veamos
en la segunda iteracin:
f
2
r
(x) = r
2
x (1 x) [1 rx (1 x)] = x.
Tiene 4 soluciones: 0, p
r
, x
1
=
1+r

(r3)(r+1)
2r
y x
2
=
1+r+

(r3)(r+1)
2r
.
La rbita x
1
, x
2
es de perodo 2. Adems, tenemos que
_
f
2
r
_

(x) = r
2
[1 2rx (1 x)] (1 2x)
18 CAPTULO 2. LA FUNCIN LOGSTICA.
Figura 2.2: r = 3.3
entonces
_
f
2
r
_

(x
1
) =
_
f
2
r
_

(x
2
) = r
2
+ 2r + 4
y la rbita x
1
, x
2
es atractora cuando [r
2
+ 2r + 4[ < 1, es decir,
para r
_
3, 1 +

6
_
.
7. Cuando 1 +

6 r < a

:
Aqu tenemos otras bifurcaciones en x
1
y en x
2
, ya que:
_
f
2
1+

6
_

(x
1
) =
_
f
2
1+

6
_

(x
2
) = 1.
Adems, los puntos 0 y p
1+

6
son repulsores. Se trata de otra bifur-
cacin de duplicacin de perodo, que se analiza estudiando la cuarta
iteracin de f. Se produce as la ramicacin de una rbita atractora
de perodo cuatro.
Vamos ahora a denir una sucesin a
n
de bifurcaciones, aunque no la
vamos a tratar en profundidad con el n de no alargar nuestro trabajo,
de tal manera:
a
0
= 3, a
1
= 1 +

6.
3 = a
0
< a
1
< a
2
< ... < a
n
< ... < a

, siendo a

= lm
n
a
n
.
La sucesin a
n
es estrictamente creciente y acotada, donde para cada
n, a
n
presenta una bifurcacin en la que ramican rbitas atractoras
de perodo 2
n
, pasando a ser repulsoras las de perodo 2
n1
. Adems,
tenemos que:
a

= lm
n
a
n
3.57.
2.1. DINMICA DE LA FUNCIN LOGSTICA 19
Figura 2.3: r = 3.57
Figura 2.4: r = 3.9, 300 iteraciones
20 CAPTULO 2. LA FUNCIN LOGSTICA.
8. r (a

, 4]:
Existe una rbita de perodo 3 y, por el Teorema de Li-Yorke, podemos
decir que existen rbitas de todos los perodos.
Figura 2.5: Diagrama de bifurcacin.
2.2. La funcin logstica cuando r > 4.
Ya que las imgenes por f
r
de muchos puntos escapan del intervalo [0, 1]
cuando r > 4, en lo que sigue, consideraremos que f
r
est denida de [0, 1]
en R.
Supongamos que r > 4 y f
r
(x) = rx (1 x). Aqu tendramos que f
r
_
1
2
_
> 1
y su rbita se ira asintticamente hacia el innito. f
r
(0) = 0 y f
r
(1) = 0.
Entonces, por el Teorme del valor intermedio, existen x
0
, x
1
tal que:
_

_
x
0

_
0,
1
2

f
r
(x
0
) = 1,
f
2
r
(x
0
) = 0.
x
1

_
1
2
, 1

f
r
(x
1
) = 1,
f
2
r
(x
1
) = 0.
Adems, como f
r
es montona en
_
0,
1
2

y
_
1
2
, 1

, x
0
y x
1
son los nicos que
cumplen estas propiedades.
Como las rbitas de los puntos que salen de [0, 1] se van a , vamos a
denir el conjunto:

n
= x : f
n
r
(x) [0, 1] .
Queremos estudiar el conjunto =

n=1

n
. Vamos a describir este conjunto
y para ello enunciemos esta proposicin.
2.2. LA FUNCIN LOGSTICA CUANDO R > 4. 21
Proposicin 2.2.1 Si f
r
(x) = rx (1 x) con r > 4, entonces se cumplen:
i. El conjunto real de [0, 1] que cumple que f
r
(x) > 1 es
_
1
2

r
2
4r
2r
,
1
2
+

r
2
4r
2r
_
luego,

1
=
_
0,
1
2

r
2
4r
2r
_

_
1
2
+

r
2
4r
2r
, 1
_
.
ii.
n
tiene 2
n
intervalos disjuntos cerrados para todo n N.
iii. Si J es uno de los intervalos en
n
, luego
f
n
r
: J [0, 1]
es una biyeccin.
Demostracin. f
r
(x) [0, 1] x [0, 1]
n
[0, 1].
i. Resolviendo f
r
(x) = 1, obtenemos
1
2

r
2
4r
2r
.
El conjunto
1
se deduce trivialmente.

1
=
_
0,
1
2

r
2
4r
2r
_

_
1
2
+

r
2
4r
2r
, 1
_
.
ii. y iii. Lo demostramos por induccin.
Para n = 1

1
tiene 2 intervalos cerrados y disjuntos.
f
r
(0) = f
r
(1) = 0, f
r
_
1
2

r
2
4r
2r
_
= 1, as que por continuidad y
por el Teorema del valor intermedio, f
r
[
J
: J [0, 1] es sobreyec-
tiva.
Falta ver que es inyectiva. f

r
(x) = r (1 2x) y
_
f

r
(x) > 0 si x <
1
2
.
f

r
(x) < 0 si x >
1
2
.
Por tanto f
r
es montona en cada intervalo cerrado, as que f
r
[
J
es inyectiva.
22 CAPTULO 2. LA FUNCIN LOGSTICA.
Supongamos cierto para k

k
tiene 2
k
intervalos cerrados y disjuntos, y si [a, b] es uno de los
intervalos, la aplicacin
f
k
r
[
[a,b]
: [a, b] [0, 1]
es biyectiva y, o bien
_
f
k
r
_

(x) < 0 para todo x [a, b], o bien

_
f
k
r
_

(x) > 0 para todo x [a, b].

Consideremos
k+1
. Es inmediato que
k+1

k
, la demostracin
la dejamos al lector. Queremos ver qu partes de
k
no estn en

k+1
, o lo que es lo mismo, qu partes tienen en comn.
Sea [a, b] uno de los 2
k
intervalos de
k
. Vamos a tomar que
_
f
k
r
_

(x) > 0 para todo x [a, b], es decir, que f

k
r
sea estric-
tamente creciente en [a, b] (si fuera estrictamente decreciente, la
demostracin sera anloga). Como f
k
r
es continua y
f
k
r
([a, b]) = [0, 1] ,
podemos aplicar el Teorema del valor intermedio para ver que
existen dos nicos puntos x
2
y x
3
tal que:
1. a < x
2
< x
3
< b,
2. f
k
r
([a, x
2
]) =
_
0,
1
2

r
2
4r
2r
_
,
3. f
k
r
((x
2
, x
3
)) =
_
1
2

r
2
4r
2r
,
1
2
+

r
2
4r
2r
_
,
4. f
k
r
([x
3
, b]) =
_
1
2
+

r
2
4r
2r
, 1
_
.
La primera condicin implica que los intervalos [a, x
2
] y [x
3
, b] son
disjuntos.
De las ltimas tres deducimos que
f
k+1
r
([a, x
2
]) = [0, 1] , f
k+1
r
(x) > 1
para todo x (x
2
, x
3
), y
f
k+1
r
([x
3
, b]) = [0, 1] .
Por tanto, existen dos intervalos cerrados y disjuntos de [a, b]
k
que tambin estn en
k+1
: [a, x
2
] y [x
3
, b].
Adems, si x [a, x
2
], entonces
f
k
r
(x)
_
0,
1
2

r
2
4r
2r
_
y f

r
_
f
k
r
(x)
_
> 0.
2.2. LA FUNCIN LOGSTICA CUANDO R > 4. 23
Como, por hiptesis de induccin,
_
f
k
r
_

(x) > 0, tenemos que:

_
f
k+1
r
_

(x) = f

r
_
f
k
r
(x)
_

_
f
k
r
_

(x) > 0.
Anlogamente, se demuestra que
_
f
k+1
r
_

(x) < 0 para todo x

[x
3
, b].
Hemos visto que para cada intervalo cerrado y biyectivo a [0, 1]
bajo f
k
r
, tenemos dos intervalos cerrados y disjuntos que tambin
son biyectivos a [0, 1] bajo f
k+1
r
. Por tanto, usando la hiptesis de
induccin, el conjunto
k+1
contiene 2
_
2
k
_
= 2
k+1
intervalos cer-
rados y disjuntos. Y para cada uno de esos intervalos, por ejemplo
sea J, hemos demostrado que
f
k+1
r
[
J
: J [0, 1]
es sobreyectivo y como
_
f
k+1
r
_

es montona en J por lo que es

inyectiva, y con lo que queda demostrada la proposicin.
Vamos a continuar con el estudio de la dinmica de la funcin logstica,
en particular del conjunto
=

n=0

n
que queremos probar que se trata de un conjunto de Cantor. En esta seccin
lo probaremos cuando r > 2 +

5, tambin es cierto para 4 < r 2 +

5
pero la demostracin requiere un trato ms delicado y lo trataremos en la
siguiente seccin.
Lema 2 Si r > 2 +

5 y f
r
(x) = rx (1 x), entonces existe > 1 tal que

r
(x)

> cuando x
1
. Adems, la longitud de cada intervalo de
n
es
menor que
_
1

_
n
.
Demostracin. f

r
(x) = r(1 2x) y f

r
(x) = 2r.
En
_
0,
1
2

r
2
4r
2r
_
, la derivada de f
r
es mayor que
f

r
(x) r
1
2
+

r
2
4r.
En
_
1
2
+

r
2
4r
2r
, 1
_
, la derivada de f
r
es menor que
f

r
(x) r
1
2

r
2
4r.
24 CAPTULO 2. LA FUNCIN LOGSTICA.
Luego [f

r
[ > con > 1 si x
1
. Por el Teorema del valor intermedio
podemos deducir la segunda parte del lema.
Teorema 2.2.2 Si r > 2 +

5, entonces =

n=0

n
es un conjunto de
Cantor.
Demostracin. Como 0 es punto jo de f
r
, 0 , as que ,= .
Para probar que es un conjunto de Cantor, tenemos que demostrar 3
propiedades: que es compacto, totalmente desconectado y perfecto.
1. es compacto.
Como es la interseccin de conjuntos cerrados, por lo tanto es cerrado.
Adems como est contenido en el intervalo [0, 1], es acotado. Por tanto,
es compacto.
2. es totalmente desconectado.
Si contiene el intervalo abierto (, ) con longitud [ [, entonces
para n, (, ) tiene que estar contenido en uno de los intervalos de
n
.
Por otra parte, el lema anterior nos dice que existe > 1 tal que
la longitud de cada intervalo de
n
es menor que
_
1

_
n
. Se tomar un
n
0
N, tal que [ [ >
_
1

_
n
0
, luego el intervalo (, ) no puede estar
contenido en
n
0
. Por tanto, no contiene intervalos abiertos.
3. es perfecto, es decir, todo punto de es un punto de acumulacin.
Suponemos que x es un punto de y sea N

(x) = (x , x +) un
entorno de x.
Veamos que N

(x) contiene otro punto de diferente de x.

Notemos que si a es un extremo de uno de los intervalos de
n
, a
si f
n+1
r
(a) = 0. Ahora para cada n, x debe estar contenida en una de
los intervalos de
n
, sea el mismo que el de a.
Tomamos como en el lema anterior y elegimos n para que
_
1

_
n
< .
Entonces el intervalo de
n
est contenido en el entorno N

(x) ya que
cada intervalo de
n
es de longitud menor que
_
1

_
n
.
Por tanto, cada extremo del intervalo est en el entorno N

y tenemos
un punto diferente de x que pertenece a .
Proposicin 2.2.3 Si r > 2 +

5, entonces f
r
(x) = rx (1 x) es topolgi-
camente transitivo en .
2.3. LA FUNCIN LOGSTICA SI 4 < R 2 +

5. 25
Demostracin. Sean x, y elementos de y > 0.
Bastara con mostrar que [x z[ < y que f
n
r
(z) = y para algn n.
Por el Lema 2 sabemos que existe > 1 tal que la longitud de cualquier
intervalo de
n
es menor que
_
1

_
n
. Tomamos un n que cumpla
_
1

_
n
< .
Como x , por la Proposicin 2.1.1., que el intervalo J
n
de
n
que contiene
a x forma una biyeccin
f
n
r
: J
n
[0, 1] .
Por la eleccin de n, la longitud de J
n
es menor que .
Si y [0, 1], existe z J
n
tal que f
n
r
(z) = y. Por lo tanto, z debe estar en
y hemos encontrado z tal que
[x z[ < y f
n
r
(z) = y.
Teorema 2.2.4 La funcin f
r
es catica en el sentido de Devaney en .
Demostracin. Por la Proposicin 2.1.3 f
r
es topolgicamente transitiva en
y en el captulo 1 hemos demostrado que sa es condicin suciente para
que sea catica en sentido de Devaney.
2.3. La funcin logstica si 4 < r 2 +

5.
Queremos comprobar que el conjunto denido como
=

n=0

n
=

n=0
x : f
n
r
(x) [0, 1]
siendo f
r
(x) = rx (1 x), es un conjunto de Cantor tambin cuando 4 <
r 2 +

5.
Para ello, necesitamos algunos lemas previos. El siguiente lema demuestra
dos de las tres propiedades que determinan un conjunto de Cantor.
Lema 3 Si 4 < r 2 +

5, entonces es un conjunto compacto y perfecto.

26 CAPTULO 2. LA FUNCIN LOGSTICA.
Demostracin. Cada
n
es compacto, por tanto es compacto.
Para ver que es perfecto, primero notemos que para cada n, cada extremo
de un intervalo de
n
est en . Sea x uno de esos extremos y sea J
n

n
el
intervalo que contiene el punto x.
Si [J
n
[ 0 cuando n , entonces x est en la clausura de x.
Por otra parte, si [J
n
[ no tiende hacia 0 cuando n , entonces

n=0
J
n
es
un intervalo cerrado y
x

n=0
J
n

luego x tambin est en la clausura de x.
Por tanto, todo punto de es un punto de acumulacin.
Denicin 2.3.1 El conjunto est en el dominio de la funcin g se dice
conjunto repulsor hiperblico si es compacto, g () = , y existe N > 0
tal que

(g
n
)

(x)

> 1 para todo x y n N. Igualmente, el conjunto

est en el dominio de la funcin g se dice conjunto atractor hiperblico si
es compacto, g () = , y existe N > 0 tal que

(g
n
)

(x)

< 1 para todo

x y n N.
Denicin 2.3.2 El conjunto est en el dominio de la funcin g se dice
conjunto hiperblico si es compacto, g () = , y existen C > 0 y > 1
tal que

(g
n
)

(x)

C
n
para todo x y n 1.
Con 4 < r 2 +

5, nos encontramos con que

r
(x)

> 1 para algn

x [0, 1] y

r
(x)

1 para otro x [0, 1]. Esta combinacin entre atractor y

repulsor hace que sea ms compleja la demostracin de que es un conjunto
de Cantor para todo r > 4.
Denicin 2.3.3 La derivada Shwarziana de una C
3
-funcin f en un punto
x es
Sf (x) =
f

(x)
f

(x)

3
2
_
f

(x)
f

(x)
_
2
con f

(x) ,= 0.
Lema 4 La funcin logstica f
r
(x) = rx (1 x) con r > 0, cumple que:
(1) Sf
r
(x) < 0x R
_
1
2
_
,
2.3. LA FUNCIN LOGSTICA SI 4 < R 2 +

5. 27
(2) Sf
n
r
(x) < 0n > 1 y x R

n1
i=0
_
x [0, 1] : f
i
r
(x) =
1
2
_
.
Lema 5 Si g

(x) ,= 0 y f

(g (x)) ,= 0, luego
S (f g) (x) = Sf (g (x))
_
g

(x)
_
2
+ Sg (x) .
Adems, si Sg (x) < 0 y Sf (g (x)) < 0, entonces
S (f g) (x) < 0.
Demostracin. Derivando por la regla de la cadena:
(f g)

(x) = f

(g (x)) g

(x),
(f g)

(x) = f

(g (x))
2
+f

(g (x)) g

(x),
(f g)

(x) = f

(g (x))
_
g

(x)
_
3
+3f

(g (x)) g

(x) g

(x) +f

(g (x)) g

(x).
Operando con estas tres derivadas se obtienen los resultados deseados.
Decimos que la funcin f tiene derivada Schwarziana negativa en el inter-
valo I si f

(x) ,= 0 y Sf (x) < 0 para todo x I, y abreviamos por Sf < 0

en I.
Lema 6 Si J es un intervalo abierto y Sf < 0 en I, entonces f

no tiene
mnimos locales positivos ni mximos locales negativos en I.
Demostracin. Suponemos que x es un mnimo local positivo de f

en I.
Luego f

(0) > 0, f

(x) = 0, y f

0.
Esto implica que Sf 0 en I, que contradice Sf < 0.
Igualmente, si x es un mximo local negativo de f

en I.
Luego f

(0) < 0, f

(x) = 0, y f

0.
Esto implica que Sf 0 en I, que contradice Sf < 0.
Lema 7 (Principio Mnimo) Sea I = [a, b] y supongamos f es C
3
en I.
Si Sf < 0 en (a, b), entonces

(x)

> mn
_

(a)

(b)

_
x (a, b) .
Demostracin. Como

es continua en el intervalo cerrado I, debe de

alcanzar un mnimo local en un punto x
0
I.
Si x
0
(a, b), f

(x
0
) ,= 0 y Sf < 0 en (a, b).
Si f

(x
0
) > 0, f

tendra un mnimo local positivo en (a, b), lo que contradice

el Lema anterior.
28 CAPTULO 2. LA FUNCIN LOGSTICA.
Por otra parte, si f

(x
0
) < 0, f

tendra un mximo local negativo en (a, b),

lo que tambin contradice el Lema anterior.
Por tanto, o bien x
0
= a o bien x
0
= b.
Recordamos que p
r
= 1
1
r
es punto jo para f
r
, y que f

r
(p
r
) = 2 r,
luego

r
(p
r
)

> 1 cuando r > 3.

Sea p
r
=
1
r
. Tenemos que f
r
(p
r
) = p
r
. Llamamos x
0
y x
1
, con x
0
< x
1
, tal
que
f
r
(x
0
) = f
r
(x
1
) = 1.
Notemos que
f
r
([p
r
, x
0
]) = f
r
([x
1
, p
r
]) = [p
r
, 1] .
Denimos el conjunto J como
J = (p
r
, x
0
) (x
1
, p
r
)
y si x J, f
r
(x) / J.
Lema 8 (Lema Retorno) Si r > 4 y si x J, entonces existe un entero
n 2 tal que f
n
r
(x) [p
r
, p
r
).
Demostracin. Tomamos x J, luego f
r
(x) (p
r
, 1) y f
2
r
(x) (0, p
r
).
Si f
2
r
(x) [p
r
, p
r
), ya estara.
Supongamos que f
2
r
(x) (0, p
r
).
Queremos que para algn n 1, f
n+2
r
(x) [p
r
, p
r
). Lo vamos a demostrar
por reduccin al absurdo, es decir, suponemos que esto no se cumple.
Luego f
r
(z) > z para todo z (0, p
r
), sabemos que f
n+2
r
es una sucesin
creciente acotada superiormente por p
r
.
f
n+2
r
(x) converge hacia un punto z
0
p
r
cuando n .
Se sigue que z
0
es un punto jo de f
r
y 0 < z
0
< p
r
, lo que contradice nuestra
hiptesis.
Lema 9 Si r > 4, entonces x
0
p
r
< p
r
.
Adems, los intervalos (p
r
, x
0
) y (x
1
, p
r
) son de longitud menor a los inter-
valos (0, p
r
) y (p
r
, 1).
Demostracin. Veamos que r > 4 implica que 2p
r
> x
0
.
p
r
=
1
r
y x
0
=
1
2

_
1
4

1
r
.
2.3. LA FUNCIN LOGSTICA SI 4 < R 2 +

5. 29
Como r > 4, tenemos 0 < 1 (4/r) < 1, luego
_
1 (4/r) > 1 (4/r).
Si multiplicamos por 1/2,
_
1
4

1
r
>
1
2

2
r
,
o bien
2
_
1
r
_
>
1
2

_
1
4

1
r
.
Teorema 2.3.1 Si r > 4, entonces es un conjunto hiperblico para f
r
.
Demostracin. Sea x . Tomamos que x > 1/2, el caso que x < 1/2 se
deduce por la simetra de f
r
respecto a 1/2.
Necesitamos encontrar un entero n tal que

(f
n
r
)

(x
1
)

> 1.
Si x p
r
, tenemos que n = 1.
Si x = x
1
, luego f
n
r
(x
1
) = 0 para n 2,

(f
n
r
)

(x
1
)

_
f

r
_
(x
1
)

_
f

r
_
(1)

_
f

r
_
(0)

n2
,
= r
n1

r
2
4r = r
n
_
1 (4/r),
que es mayor que 1 cuando n es sucientemente grande.
Ahora veamos qu pasa si x est entre x
1
y p
r
. El Lema Retorno nos
asegura que existe un n tal que f
n
r
(x) [p
r
, p
r
). Sea J
n
el intervalo de
n
que contiene a x. Entonces tenemos dos casos: que cada J
n
[x
1
, p
r
) o que
no lo est.
Supongamos que J
n
[x
1
, p
r
]. Separamos cada J
n
en tres intervalos:
J
n
= K
n
L
n
M
n
,
donde f
n
r
(K
n
) = [0, p
r
] , f
n
r
(L
n
) = (p
r
, p
r
) , f
n
r
(M
n
) = [p
r
, 1] .
Como K
n
J
n
[x
1
, p
r
] y M
n
J
n
[x
1
, p
r
], el lema anterior nos
asegura que
[f
n
r
(K
n
)[ > [K
n
[ , y [f
n
r
(M
n
)[ > [M
n
[ .
Aplicando el Teorema del valor intermedio a f
n
r
, podemos decir que
existe y K
n
y z N
n
tal que

(f
n
r
)

(y)

> 1 y

(f
n
r
)

(z)

> 1.
Cuando f
n
r
(x) [p
r
, p
r
), tenemos que
x L
n
, si y x < z.
Por lo tanto, como en [y, z], usando el Lema del Principio Mnimo,
deducimos que

(f
n
r
)

(x)

> 1.
30 CAPTULO 2. LA FUNCIN LOGSTICA.
Ahora suponemos que J
n
no est contenido en [x
1
, p
r
]. Separamos como
antes cada J
n
en tres intervalos:
J
n
= K
n
L
n
M
n
,
donde f
n
r
(K
n
) = [0, p
r
] , f
n
r
(L
n
) = (p
r
, p
r
) , f
n
r
(M
n
) = [p
r
, 1] .
Como antes, x L
n
porque f
n
r
(x) [p
r
, p
r
).
Si x (x
1
, p
r
), uno de los K
n
o M
n
est contenido en [x
1
, p
r
), pero,
como J
n
no est en [x
1
, p
r
), uno de los dos no estar contenido en
(x
1
, p
r
).
Supongamos que K
n
est contenido en [x
1
, p
r
), y M
n
no lo est (el
caso contrario es anlogo). Si J
n
[p
r
, 1] y J
n
[x
1
, p
r
) ,= , entonces
p
r
J
n
.
Como antes, [f
n
r
(K
n
)[ > [K
n
[, as que aplicando el Teorema del Valor
Intermedio, tenemos que existe un punto y K
n
tal que [f
n
r
(y)[ > 1.
Adems, [f
n
r
(p
r
)[ > 1.
Por lo tanto, como f
n
r
no tiene puntos crticos en [y, p
r
], usando el Lema
del Principio Mnimo, deducimos que

(f
n
r
)

(x)

> 1.
Teorema 2.3.2 Si r > 4, entonces es un conjunto de Cantor y f
r
es
catica en .
Demostracin. Ahora la prueba es similar que en la seccin anterior, en el
caso r > 2 +

5.
Captulo 3
Herradura de Smale.
3.1. Construccin y dinmica de la Herradura
de Smale.
Hay muchas versiones diferentes para describir la aplicacin denominada
Herradura de Smale, vamos a utilizar la que consideramos ms esttica y
precisa de entre las que hemos observado.
Sea I el intervalo cerrado [0, 1] de la recta real R.
Llamamos A y B a los subconjuntos de R
2
que corresponden respectivamente
a la mitad izquierda del disco de radio 1/2 y centro (0, 1/2) y a la mitad
derecha del disco de radio 1/2 y centro (1,
1
2
).
Consideramos el siguiente conjunto conexo y compacto en R
2
,
M = A (I I) B.
Analticamente, tendramos
M =
_
_
_
(x, y) : y [0, 1] ,

1
4

_
y
1
2
_
2
x 1 +

1
4

_
y
1
2
_
2
_
_
_
.
Denimos ahora una aplicacin h : M M que consiste en la composi-
cin de varias transformaciones que se basan en estrechar, alargar y doblar
el conjunto M para obtener otro conjunto contenido en M con forma de her-
radura y tal que su dinmica se comporta de una manera muy especial como
veremos. Describimos explcitamente la funcin h como la composicin de 6
funciones
h = f
6
f
5
f
4
f
3
f
2
f
1
.
31
32 CAPTULO 3. HERRADURA DE SMALE.
Figura 3.1: Conjunto M
En primer lugar, contraemos el conjunto M verticalmente en una proporcin
de 1 a
1
5
.
f
1
(x, y) = (x,
1
5
)
Figura 3.2: Contraccin vertical
Ahora vamos a contraer horizontalmente los conjuntos f
1
(A) y f
1
(B) para
que formen de nuevo dos mitades de disco, esta vez de radio
1
10
y centros
(0,
1
10
) y (1,
1
10
), respectivamente.
f
2
(x, y) =
_
_
_
(
x
5
, y), x 0;
(x, y), x I;
(1 +
x1
5
, y), x 1.
El siguiente paso es el de alargar el conjunto horizontalmente sin alterar
los dos semidiscos. Para ello, denimos la funcin f
3
que realiza esa labor:
f
3
(x, y) =
_
_
_
(x, y), x 0;
(5x, y), x I;
(x + 4, y), x 1.
3.1. CONSTRUCCINYDINMICADE LAHERRADURADE SMALE.33
Figura 3.3: Alargamos horizontalmente
Con la funcin f
4
doblamos el conjunto f
3
f
2
f
1
(M) por la parte que est
en 2 x 3. Queremos que la parte que est en x 2 no se vea afectada y
la parte donde x 3 sufra una rotacin seguida de una translacin.
f
4
(x, y) =
_
_
_
(x, y), x 2;
_
2 + (
3
10
y)sen(x),
3
10
+ (y
3
10
)cos(x)
_
, x [2, 3];
(5 x,
3
5
y), x 3.
f
5
translada el conjunto f
4
f
3
f
2
f
1
(M) hacia la izquierda con el n de
que la zona x 0 est inmersa en M.
f
5
(x, y) = (x 1, y +
1
5
)
Y, nalmente, contraemos horizontalmente la zona x 0 del conjunto para
que est inmerso en M con un proporcin de 1 a (donde es una constante
que cumple 0 < < 1).
f
6
(x, y) =
_
(x, y), x 0;
(x, y), x 0.
Tenemos pues denida de manera explcita la funcin h : M M as:
h = f
6
f
5
f
4
f
3
f
2
f
1
Si componemos todas las funciones, obtenemos la funcin herradura de forma
explcita:
h(x, y) =
_

_
_

x
5
,
y+1
5
_
, x < 0;
_
5x ,
y+1
5
_
, x
_
0,
1
5

;
_
5x 1,
y+1
5
_
, x
_
1
5
,
2
5

;
_
1 +
_
3
10

y
5
_
sin 5x,
1
2
+
_
y
5

3
10
_
cos 5x
_
, x
_
2
5
,
3
5

;
_
4 5x,
4y
5
_
, x
_
3
5
,
4
5

;
_
(4 5x) ,
4y
5
_
, x
_
4
5
, 1

;
_

_
4+x
5
_
,
4y
5
_
x > 1.
Tenemos las siguientes propiedades inmediatas:
34 CAPTULO 3. HERRADURA DE SMALE.
h es continua (por ser composicin de funciones continuas).
h es diferenciable en todo punto de M excepto en el conjunto
C =
_
(x, y) : x
_
0,
1
5
,
2
5
,
3
5
,
4
5
, 1
_
M
_
.
h es inyectiva (por ser composicin de funciones inyectivas).
h(M) int(M)
Figura 3.4: Herradura de Smale
La Herradura de Smale tiene propiedades muy especiales que iremos des-
cubriendo a lo largo de nuestro trabajo. Veamos en primer lugar la dinmica
de esta transformacin.
Lema 10 h tiene un nico punto jo en el conjunto A.
Demostracin. Recordamos que h(x, y) = ((
x
5
1),
y+1
5
)si (x, y) Acon 0 <
< 1. Tenemos que (x, y) A cuando x < 0, pero entonces (
x
5
1) < 0
y como h(M) int(M), h(A) A. Se sigue que para cualquier pareja de
puntos en A, (x,y) y (u,v) se tiene que
|h(x, y) h(u, v)| =
_
_
(
1
5
(x 5,
1
5
(y + 1)) (
1
5
(u 5,
1
5
(v + 1))
_
_

1
5
|(x, y) (u, v)| .
Luego, h : A A es una contraccin y como A es compacto, h tiene un
punto jo en A y adems es nico.
A este punto jo lo llamaremos p y como h(M) int(M), p int(A).
Adems, cuando (x, y) A, se tiene que lm
n
h
n
(x, y) = p, as que p es
un punto jo atractor bajo h. Para ver cmo se comportan el resto de las
3.1. CONSTRUCCINYDINMICADE LAHERRADURADE SMALE.35
secciones de nuestro conjunto, veremos cmo mueve la funcin h las abcisas
de M.
Cuando (x, y) D
1
, h(x, y) = (5x ,
y
5
+
1
5
).
Si 0 x
1
5
, entonces 5x 0. Por tanto, h(D
1
) A, y por
lo tanto los puntos de este conjunto tienen rbitas que convergen a p.
Los puntos de D
3
son a los que les aplicamos la transformacin de doblado
por la funcin
h(x, y) = (1 + (
3
10

y
5
)sen(5x),
1
2
+ (
y
5

3
10
)cos(5x)),
con x [
2
5
,
3
5
] e y [0, 1]
Si x =
2
5
o x =
3
5
, sen(5x) = 0
0 sen(5x) 1, x
_
2
5
,
3
5
_
y sen(5
1
2
) = 1
1
10

3
10

y
5

3
10
, y [0, 1].
Luego, 1 x
1
, es decir, h(x, y) B (x, y) D
3
. Ahora, para todo (x, y)
B, tenemos
h(x, y) =
_

4 + x
5
,
4 y
5
_
.
Pero si x 1,
4+x
5
< 0 (0, 1). Tenemos entonces que h
2
(D
3
) A
y h(B) A.
Para los puntos de D
5
, tenemos que x
0

_
4
5
, 1

, y como
x
1
= (4 5x), x
1
0 con 0 < < 1.
Por tanto, h(D
5
) A.
Con estos resultados tenemos que la variedad estable de p contiene a casi
todos los conjuntos que forman M.
A D
1
D
3
D
5
B W
est
(p).
Nos queda por estudiar la dinmica de la funcin en los conjuntos D
2
y D
4
.
Lema 11 h tiene exactamente dos puntos jos en D
2
y D
4
, siendo p
1
=
(
1
4
,
1
4
) y p
2
= (
2
3
,
2
3
).
Obsrvese que todo segmento de recta vertical u horizontal contenido en
D
1
D
2
es transformado bajo h respectivamente en un nuevo segmento de
36 CAPTULO 3. HERRADURA DE SMALE.
recta vertical u horizontal contenido en I I. Esto es inmediato pues la
funcin en estos conjuntos es lineal, es decir, conserva las lneas.
Los puntos de los conjuntos D
1
y D
2
que transformados bajo h no caen en
cualesquiera de estos conjuntos sabemos que tendrn rbitas que se acercan
asintticamente a p. Por lo tanto, vamos a ver qu puntos se mantienen en
D
1
o D
2
aplicando h.
Figura 3.5: h restringida en I I
Vamos a citar algunas propiedades que podemos encontrar en esta apli-
cacin si la restringimos al cuadrado I I, aunque no entramos en detalles y
lo tratamos de manera supercial ya que hemos centrado nuestro trabajo en
ver que el atractor de la funcin Herradura, tal y como la hemos construido,
es un continuo indescomponible. Citamos estas caractersticas al ser similares
a las de la funcin logstica.
Restringimos la funcin h al cuadrado I I.
En general tendremos que

n
j=0
h
j
(I I) sern 2
n
franjas horizontales de an-
cho (
1
5
)
n1
. Anlogamente,

0
j=n
h
j
(I I) sern 2
n
franjas verticales de an-
cho (
1
5
)
n1
. Entonces

n
j=n
h
j
(I I) consta de 4
n
cuadrados de lado (
1
5
)
n1
.
La interseccin de todos los iterados de I I es el producto cartesiano
de dos conjuntos de Cantor iguales, es decir, = h
n
(I I) = K K con K
un conjunto de Cantor.
El conjunto sera, entonces, el conjunto de puntos cuyas rbitas per-
manecen en I I. As mismo podemos observar que K I sera el conjunto
de puntos cuya rbita pasada se encuentra contenida en I I e I K el
conjunto de puntos que al iterarse por f no saldrn de I I nunca.
Teorema 3.1.1 La funcin Herradura de Smale h es catica en el sentido
Devaney en .
Demostracin. Podemos encontrar una demostracin en [WIG1].
3.2. El atractor de la Herradura.
Denicin 3.2.1 Sea (X, d) un espacio mtrico.
Se dice que este espacio es un continuo si es conexo y compacto.
3.2. EL ATRACTOR DE LA HERRADURA. 37
De la relacin h(M) M obtenemos la siguiente sucesin encajada de con-
juntos: M h(M) ... Para cada n N se tiene:
i) h
n
(M) = intersdei = 0anF
i
(M).
ii) h
n
(M) es compacto, conexo y distinto del vaco.
Sea el siguiente conjunto:
=

nZ
h
n
(M).
Est claro que los tres puntos jos de h pertenecen a , p, p
1
, p
2
. Dado
que se expresa como una interseccin de conjuntos cerrados, entonces es
un conjunto cerrado. Y ya que M, es compacto.
Para ver que es un continuo, nos faltara probar que sea conexo. Para ello,
utilizaremos un lema previo.
Lema 12 Sea U R
2
un conjunto abierto tal que U. Entonces existe
N N tal que para todo n N se tiene que h
n
(M) U.
Demostracin. Bastara probar que existe N N tal que el conjunto
h
N
(M) est contenido en U.
Lo hacemos por reduccin al absurdo, suponiendo que para toda n N, se
tiene que h
n
(M) (M U) ,= . Entonces existen una sucesin creciente de
ndices n
1
, n
2
, n
3
, ... y una sucesin de puntos (x
n
1
, y
n
1
), (x
n
2
, y
n
2
), (x
n
3
, y
n
3
), ...
tales que para cada n
i
se tiene que (x
n
i
, y
n
i
) h
n
i
(M), (x
n
i
, y
n
i
) M U, y
lm(x
n
i
, y
n
i
) = (x
0
, y
0
). Dado que M U es compacto, (x
0
, y
0
) M U y, por
ello, (x
0
, y
0
) no est en .
Sea k N. Observemos que n
k
k y, por tanto, para todo i k tenemos que
(x
n
i
, y
n
i
) h
k
(M). De aqu se sigue que para todo k N, (x
0
, y
0
) h
k
(M).
As, (x
0
, y
0
) . Esto es contradiccin.
Proposicin 3.2.1 es conexo.
Demostracin. Sean U y W dos conjuntos abiertos tales que U W
y U W = . Como U W es un conjunto abierto, existe N N tal que
h
N
(M) (U W). Como h
N
(M) es conexo, h
N
(M) U o h
N
(M) W.
Por tanto, U o W. Es decir, es conexo.
Sean Y un subconjunto compacto de X y x X. La distancia de x a Y
est dada por:
dist(x, Y ) = mn d(x, y) : y Y .
El dimetro de Y nos lo da el siguiente mximo:
dim(Y ) = mx d(y, z) : z Y .
38 CAPTULO 3. HERRADURA DE SMALE.
Con la siguiente proposicin veamos que las rbitas de todos los puntos de
M tienden hacia . Tal vez la rbita de (x, y) M no sea una sucesin
convergente, pero la distancia entre el punto h
n
(x, y) y el conjunto s con-
verge a cero cuando n tiende a innito. Es por cumplir esta condicin que
nos referiremos a como el atractor de la herradura.
Proposicin 3.2.2 Para todo (x, y) M se tiene que:
lm
n
dist(h
n
(x, y), ) = 0.
Demostracin. Sean (x, y) M y > 0. Consideremos el conjunto:
U =
_
(u,v)
B

(u, v),
donde B

(u, v) = (s, t) R
2
: |(s, t) (u, v)| < . El conjunto U es abierto
y U. Luego, por el lema anterior, existe N N tal que h
n
(M) U si
n N. De aqu se sigue que
dist(h
n
(x, y), ) < , n N
Veamos adems que el conjunto tambin nos proporciona un lugar
donde h es un homeomorsmo.
Proposicin 3.2.3 h() =
Demostracin. Observemos que:
h() = h
_

n=0
h
n
(M)
_

n=1
h
n
(M)
_
= .
Por otro lado, tomemos (x, y) .
Como (x, y) h(M), existe (u, v) M tal que h(u, v) = (x, y).
Dado que h es inyectiva y que para toda n 0 es (x, y) h
n+1
(M) =
h(h
n
(M)), se sigue que (u, v) h
n
(M) para toda n 0.
Esto es, (u, v) . Por lo tanto (x, y) h().
3.3. DIAGRAMA CONMUTATIVO. 39
3.3. Diagrama conmutativo.
Consideramos ahora la funcin P : M I, denida por:
P(x, y) =
_
_
_
0, (x, y) A;
x, (x, y) I I;
1, (x, y) B.
Destacamos las siguientes propiedades de P:
P no es inyectiva, de hecho P(x, y) es igual para todo y I, es decir,
P(x I) = x .
P es suprayectiva, pues P(I I) = I.
P es continua, pues
P(0, y) = lm
x0
+
P(x, y) = lm
x0
+
x = 0
y
P(1, y) = lm
x1

P(x, y) = lm
x1

x = 1.
Lo que pretendemos ahora es encontrar una funcin h : I I tal que para
todo (x, y) M se tenga que
f P(x, y) = P F(x, y).
Es decir, que haga que el siguiente diagrama sea conmutativo:
M
h
M
P P
I
h
I
A travs de las siguientes correspondencias, describimos la funcin h:
Como F(A) A entonces h(0) = h(P(x, y)) = P(h(x, y)) = 0.
Si 0 x
1
5
, F(x, y) A. Luego h(x) = h(P(x, y)) = P(h(x, y)) = 0.
Si
1
5
x
2
5
, F(x, y) = (5x1,
y+1
5
) y, por tanto, h(x) = h(P(x, y)) =
P(h(x, y)) = 5x 1.
40 CAPTULO 3. HERRADURA DE SMALE.
Si
2
5
x
3
5
, entonces F(x, y) B. Por tanto, h(x) = h(P(x, y)) =
P(h(x, y)) = 1.
Si
3
5
x
4
5
, F(x, y) = (45x,
4y
5
) y, por tanto, h(x) = h(P(x, y)) =
P(h(x, y)) = 4 5x.
Si
4
5
x 1, entonces F(x, y) A. Por tanto, h(x) = h(P(x, y)) =
P(h(x, y)) = 0.
Como F(B) A entonces h(1) = h(P(x, y)) = P(h(x, y)) = 0.
Recopilando la informacin, tenemos que dado si x I:
h(x) =
_

_
0, x
_
0,
1
5

_
4
5
, 1

;
5x 1, x
_
1
5
,
2
5

;
1, x
_
2
5
,
3
5

;
4 5x, x
_
3
5
,
4
5

.
Las siguientes propiedades se ven inmediatamente:
h no es inyectiva, trivialmente.
h es suprayectiva, pues h([
1
5
,
2
5
]) = I.
h es continua.
Adems, para todo (x, y) M, h P(x, y) = P h(x, y).
Para restringir el diagrama al atractor , tratamos la siguiente proposi-
cin:
Proposicin 3.3.1 P() = I
Demostracin. Sabemos que es conexo y que p, p
1
, p
2
. Como
P(p) = 0, entonces 0 P(). Adems como
h(M) M
_
(x, y) : x < 1, y
_
2
5
,
3
5
__
,
la interseccin de con B no es vaca. De aqu que 1 P(). Y como P()
es conexo, P() = I. As que podemos concluir que el siguiente diagrama
conmuta:

h

P P
I
h
I
3.4. EL LMITE INVERSO ES UN CONTINUO INDESCOMPONIBLE.41
3.4. El lmite inverso es un continuo indescom-
ponible.
Denicin 3.4.1 Un continuo X es descomponible si tiene dos subcontinu-
os propios, H y K, tales que X = HK. Decimos que X es indescomponible
si no es descomponible.
Vamos a comenzar asociando un espacio topolgico a la pareja h e I. Este
estudio nos ayudar para ver la propiedades topolgicas del atractor de la
herradura, .
Vamos a utilizar el conjunto Q llamado Cubo de Hilbert denido por
Q =

n=0
I.
Y la mtrica en Q que est dada por
d(x, y) =

i=0
[x
i
y
i
[
2
i
, donde x = (x
0
, x
1
, x
2
, ...), y = (y
0
, y
1
, y
2
, ...) Q.
Q es compacto y conexo, es decir, es un continuo. Para cada n 0 denimos
la n-sima proyeccin
n
: Q I as:

n
(x
0
, x
1
, ..., x
n
, ...) = x
n
.
Las proyecciones son continuas y suprayectivas.
Ahora tenemos el siguiente subconjunto de Qque llamaremos el lmite inverso
de h:
(I, h) =
_
x Q : h(x
n+1
) = x
n
para toda n 0
_
.
Proposicin 3.4.1 (I, f) es cerrado.
Demostracin. Sea y = (y
0
, y
1
, y
2
, ...) Q (I, h). Existe i 0 tal que
y
i
,= h(y
n+1
).
La continuidad de h nos permite asegurar la existencia de dos nmeros pos-
itivos, y , tales que para todo x (y
i+1
, y
i+1
+ ) se tiene que
f(x) / (y
i
, y
i
+).
Sea U el siguiente conjunto abierto:
U =
1
i
(y
i
, y
i
+)
1
i+1
(y
i+1
, y
i+1
+).
Observemos que y U y que para todo x = (x
0
, x
1
, x
2
, ...) U, f(x
i+1
) ,= x
i
ya que x
i
(y
i
, y
i
+ ) y x
i+1
(y
i+1
, y
i+1
+ ). Por lo tanto
U (I, h) = y, con ello, (I, f) es cerrado.
Como (I, h) es cerrado, es tambin compacto.
42 CAPTULO 3. HERRADURA DE SMALE.
Proposicin 3.4.2 (I, h) es conexo.
Demostracin. Sean H y K dos subconjuntos cerrados de Q. Supongamos
que (I, h) = H K y que H y K no son vacos. Para mostrar que (I, h) es
conexo basta demostrar que, bajo estas condiciones, H K ,= .
Para cada n 0 tenemos que

n
(H)
n
(K) =
n
(I, h) = I.
La ltima igualdad es consecuencia de que h es suprayectiva.
Como I es conexo, para cada n 0,
n
(H)
n
(K) ,= . Sea z
k

k=0
una
sucesin en I tal que z
k

k
(H)
k
(K) para cada k 0.
Existen dos sucesiones, una en H, x
k

k=0
H, y otra en K, y
k

k=0

K, tales que:
z
k
=
k
(x
k
) =
k
(y
k
).
Para cada k 0, los puntos x
k
y y
k
coinciden en las primeras k + 1 coorde-
nadas. Por lo tanto:
d(x
k
, y
k
) =

i=0
1
2
i
[
i
(x
k
)
i
(y
k
)[

i=k+1
1
2
i
[
i
(x
k
)
i
(y
k
)[
1
2
k
.
Como (I, h) es compacto podemos suponer, sin perder generalidad, que la
sucesin x
k

k=0
es convergente, digamos al punto x. Como y
k

k=0
tambin es
convergente al mismo punto y H y K son dos conjuntos cerrados, entonces
x H K.
Como (I, h) es conexo, es tambin continuo.
Proposicin 3.4.3 (I, h) es un continuo indescomponible.
Demostracin. Sean G y H dos subcontinuos de (I, h) tales que (I, h) =
G H.
Demostraremos que G = (I, h) o que H = (I, h).
Paso 1.
Sabemos que para cada n 0,
n
(I, h) = I. Entonces
n
(G) = G
n
y

n
(H) = H
n
son dos intervalos cerrados tales que su unin es I.
Sea k 1 y supongamos que 0 G
k
. Entonces el punto
1
2
tiene dos
opciones:
1. Si
1
2
G
k
, entonces
_
0,
1
2

G
k
y h(G
k
) = [0, 1].
3.5. EL ATRACTOR DE LAHERRADURAES UNCONTINUOINDESCOMPONIBLE.43
2. Si
1
2
/ G
k
, entonces
_
1
2
, 1

H
k
y h(H
k
) = [0, 1].
Podemos concluir, siguiendo un argumento similar, que si 0 H
k
, con
k 1, entonces ya sea que h(G
k
) = [0, 1] o bien que h(H
k
) = [0, 1].
Supongamos, sin perder generalidad, que existe un subconjunto innito
de N 0, que llamaremos , tal que para todo n se tiene que
f(G
n
) = [0, 1].
Veamos pues que G
n
= [0, 1] para todo n 0.
Sea n 0, y tal que n < . Observemos que si k 0, entonces
para todo punto x (I, h) se tiene que f
k+1
(x) =
k
(x).
De aqu se sigue que
G
1
=
1
(G) = f(

(G)) = f(G

) = [0, 1].
Por lo tanto,
G
n
=
n
(G) = f
n
(

(G)) = f
n1
f(

(G)) = [0, 1].

Paso 2.
Demostraremos ahora que G es denso en (I, h).
Sean x = (x
0
, x
1
, x
2
, . . . ) (I, h) y > 0.
Sea N N tal que

i=N+1
_
1
2
_
i
< .
Como G
N
=
N
(G) = [0, 1], entonces existe y = (y
0
, y
1
, y
2
, ...) G tal
que y
N
=
N
(y) = x
N
.
Por esto, x e y coinciden en las primeras N + 1 coordenadas, y:
d(x, y) =

i=0
[x
i
y
i
[
2
i
=

i=N+1
[x
i
y
i
[
2
i

i=N+1
1
2
i
< .
La compacidad de G y su densidad en (I, h), implican que G = (I, h).
Si se tuviera que para toda n , f(H
n
) = [0, 1], concluiramos que H =
(I, h), es decir, uno de los dos subcontinuos, G o H, debe ser el espacio total.
Por lo tanto, (I, h) es un continuo indescomponible.
3.5. El atractor de la Herradura es un continuo
indescomponible.
A partir del diagrama conmutativo que hemos visto anteriormente:

h

P P
I
h
I
44 CAPTULO 3. HERRADURA DE SMALE.
Sean z = z
0
, z
1
, z
2
, ... (, F) y P : (, F) (I, f) la funcin dada
por:
P(z) = (P(z
0
), P(z
1
), P(z
2
), ...) .
Proposicin 3.5.1 P : (, F) (I, f) es continua.
Demostracin. Dado k 0, sea
k
la k-sima proyeccin de

i=0
en
. Recordemos que
k
representa la correspondiente k-sima proyeccin de

i=0
I en I.
Para demostrar que P : (, F) (I, f) es continua, es suciente mostrar
que para cada k 0 la funcin
k
P es continua.
Sea z = z
0
, z
1
, z
2
, ... (, F). Entonces:

k
P (z) =
k
(P(z
0
), P(z
1
), P(z
2
), ...) = P (z
k
) = P
k
(z) .
Como P y
k
son funciones continuas, entonces
k
P es continua.
Proposicin 3.5.2 P : (, F) (I, f) es biyectiva y, por tanto, es un
homeomorsmo.
Demostracin. La demostracin se centrar en demostrar la suprayectivi-
dad de la funcin P : (, F) (I, f) ya que demostrar que P sea inyectiva
va ligado a dicha prueba.
Paso 1.
Sean 0 = (0, 0, 0, ...) (I, f) y a = (a, a, a, ...) (, F).
Recordemos que F(a) = a y que a A. Adems, P (a) = 0.
Si b = (b
0
, b
1
, b
2
, ...) (, F) es tal que P(b) = 0, entonces, para todo
k 0, tenemos que b
k
A, ya que P(b
k
) = 0.
Consideremos un nmero n 0 jo y observemos que si m > 0, en-
tonces:
|b
n
a| = |F
m
(b
n+m
) F
m
(a)| C
m
|b
n+m
a| C
m
,
donde 0 < C < 1.
Las ltimas desigualdades se siguen del hecho de que b
n+m
y a estn
en A y, en esa zona, la funcin F es una contraccin.
Adems, diam(A) = 1. Por tanto, para todo n 0 se tiene que b
n
= a.
Paso 2.
Sea x = (x
0
, x
1
, x
2
, ...) (I, f), con x ,= 0.
Existe N 0 tal que x
N
,= 0. Se sigue que para todo n N + 1, x
n
no es cero ni uno.
3.5. EL ATRACTOR DE LAHERRADURAES UNCONTINUOINDESCOMPONIBLE.45
Como x
n
(0, 1), con n N + 1, la imagen inversa de x
n
bajo P es
un segmento de recta vertical contenido en (0, 1) (0, 1) M.
Construiremos ahora un punto z = (z
0
, z
1
, z
2
, ...) (, F) tal que
P (z) = x. Veremos tambin que existe un nico punto en (, F) con
esa propiedad.
Tenemos jado n con n N + 1. Sean k 0 y S
n+k
el segmento de
recta correspondiente a P
1
(x
n+k
). La (n +k)-sima coordenada de z
debe ser un punto contenido en S
n+k
.
Como f
k
P = P F
k
, entonces F
k
(P
1
(x
n+k
)) P
1
(x
n
). De aqu
que la n-sima coordenada de z debe ser un punto no slo contenido
en S
n
, sino tambin en F
k
(S
n+k
). Consideremos la siguiente sucesin
de conjuntos encajados:
S
n
F (S
n+1
) F
2
(S
n+2
) ... F
k
(S
n+k
) ...
Como la longitud de F
k
(S
n+k
) tiende a cero cuando k , la sigu-
iente interseccin es un slo punto.
z
n
=

k=0
F
k
(S
n+k
) .
A partir de esto denimos z = (z
0
, z
1
, z
2
, ...) de la siguiente manera:
Si n N + 1 denimos la n-sima coordenada de z, z
n
, con en la
interseccin anterior.
Si 0 n < N + 1, denimos z
n
= F
N+1n
(z
N+1
).
Para conrmar que este punto est efectivamente en (, F), observemos
que si n N + 1, entonces:
F (z
n+1
) = F
_

k=0
F
k
(S
n+1+k
)
_

k=0
F
k
F (P
1
(x
n+1+k
))

k=0
F
k
(P
1
(x
n+k
)) =

k=0
F
k
(S
n+k
) = z
n
.
Ahora es inmediato que z, denido de esta manera, es el nico punto
en el lmite inverso (, F) con la propiedad P (z) = x.
Podemos al fn demostrar el teorema que ha sido el eje motivador de
nuestro estudio.
Teorema 3.5.3 es un continuo indescomponible.
46 CAPTULO 3. HERRADURA DE SMALE.
Demostracin. Hemos visto que P : (, F) (I, f) es un homeomorsmo
y que (I, f) es un continuo indescomponible, por lo que (, F) es un continuo
indescomponible.
Dado que F : es un homeomorsmo, y el lmite inverso (, F) son
homeomorfos.
Por lo tanto, es un continuo indescomponible.
Bibliografa
[1] M. Barge y J. Martin, Chaos, Periodicity, and Snakelike Continua,
Trans. Amer. Math. Soc. 289, 1985.
[2] R. L. Devaney, An Introduction to Chaotic Dynamical Systems, Second
Edition, Addison Wesley, Redwood City, California, 1989.
[3] C. Robinson, Dynamical Systems: Stability, Symbolic Dynamics and
Chaos, CRC Press Inc., Boca Ratn, Florida, 1995.
[4] S. Wiggins, Global Bifurcations and Chaos, Analytical Methods,
Springer-Verlag, New York, Heidelberg, Berlin, 1988.
[5] S. Smale, Dierentiable dynamical systems, AMS 73, Bull, Berlin, 1967.
[6] J.R. Munkres, Topologa, 2
a
edicin, Pearson Educacin, Madrid, 2002.
[7] R. Escobedo, S. Macas, H. Mndez, Invitacin a la Teora de los con-
tinuos y sus hiperespacios, Soc. Mat. Mexicana, Bull, 2006.
[8] T.Y. Li, J.A. Yorke, Period 3 implies chaos, The American Mathemat-
ical Monthly, v.82, 10, p.985-992, 1975.
[9] M. Barge, Horseshoe Maps and Inverse Limits, Pacic Journal of Math-
ematics, v.121, 1, 1986.
47