Documente Academic
Documente Profesional
Documente Cultură
Jeerson King
Hctor Mndez
e
e
Universidad Nacional Autnoma de Mxico
o
e
i
i
i
i
Prefacio
i
i
iv
movimiento desacelerndose?, tiende la poblacin de nuestro pa a estaa
o
s
bilizarse?
Estas no son preguntas sencillas. Un acercamiento a su solucin ha reo
querido de la participacin de f
o
sicos, bilogos, actuarios, matemticos y
o
a
cient
cos de otras reas.
a
En el estudio del movimiento cada disciplina ha aportado ideas, herramientas y tcticas distintas. La variedad de puntos de vista es en verdad
a
muy amplia. An restringindonos slo a los matemticos el abanico de opu
e
o
a
ciones sigue siendo considerable. La parte de las matemticas que estudia los
a
distintos movimientos que nos rodean se llama Sistemas Dinmicos. Nuesa
tro libro es una introduccin a una parte pequea, pero muy importante,
o
n
de esta rea: los Sistemas Dinmicos Discretos.
a
a
Concretamente, nos centramos en lo siguiente: sea f : X X una
funcin continua en un espacio mtrico X. Para k N, la ksima iteracin
o
e
e
o
de f se dene como la composicin reiterada de f consigo misma k veces y
o
la denotamos por f k . Por ejemplo, f 2 = f f , f 3 = f f f y en general
f k = f f k1 . Se entiende que f 1 = f y denimos f 0 = id.
Para x X denimos la rbita de x bajo f como la sucesin
o
o
x, f (x) , f 2 (x) , f 3 (x) , . . . , f k (x) , . . .
(1)
i
i
v
un sistema dinmico discreto. Es decir, un tal sistema est formado por una
a
a
funcin continua, sus iteraciones y un espacio en el que stas estn denidas.
o
e
a
En particular, enfrentarse a sistemas impredecibles o inestables ha llevado a diversas caracterizaciones matemticas de lo que es un sistema dinmia
a
co catico, o de lo que es un sistema dinmico discreto con dinmica como
a
a
plicada.
As el objetivo de este texto es, en trminos generales, establecer no,
e
ciones matemticas precisas de sistemas dinmicos discretos caticos, y los
a
a
o
resultados importantes bsicos que nos permiten estudiarlos.
a
Nuestro espacio preferente (ms no el unico) ser el el intervalo cerrado
a
a
I = [0, 1] y los sistemas dinmicos correspondientes sern funciones contia
a
nuas f : I I.
En particular, nos ajustaremos a la denicin de caos dada por R. L.
o
Devaney en la dcada de los 80s del siglo pasado. De muchos modos esta
e
denicin ha sido un eje alrededor del cual ha girado la discusin de lo que
o
o
es o deber ser el concepto de caos en matemticas y es, sin duda alguna,
a
a
la denicin ms popular de sistema dinmico discreto catico.
o
a
a
o
Un hilo conductor de este texto es, entonces, establecer esta denicin
o
y explorar sus consecuencias en general y a travs de ejemplo concretos.
e
Sobre los cap
tulos
Los sistemas dinmicos discretos (sdd ) han sido objeto de inters cient
a
e
co desde hace mucho tiempo. Pero especialmente con el desarrollo de las
computadoras, que permiti por primera vez en la historia visualizar imgeo
a
nes matemticas muy complicadas. El estudio de iteraciones de funciones ha
a
llamado poderosamente la atencin de multitud de investigadores alrededor
o
de todo el mundo. El resultado ha sido que esta rea ha tenido un crecimiena
to y una diversicacin impresionantes, prcticamente inabarcable, que en
o
a
la actualidad llega a los connes del conocimiento cient
co en matemticas
a
y otras ramas de la ciencia.
Este libro es una introduccin a ese mundo tan vasto.
o
Modelar un fenmeno f
o
sico, social, bilogico o de cualquier naturaleza,
o
que evoluciona con el tiempo, conduce en forma natural a un sdd. El cap
tulo
1 muestra cmo ocurre esto a travs de un breve vistazo al estudio de
o
e
dinmica de poblaciones. En el cap
a
tulo 2 damos las deniciones generales
bsicas para iniciar propiamente nuestras aventuras en el mundo del caos.
a
i
i
vi
La aventura se desboca un tanto, por primera vez, con un impresionante
teorema del matemtico ruso O. M. Sharkovskii, tratado en los cap
a
tulos 3
y 4. Adems de su importancia, se puede armar que este es un resultado
a
sumamente contemporneo: su autor lo estableci en los fabulosos 60s del
a
o
siglo pasado. Esperamos que el lector se sorprenda gratamente con este
teorema.
Las herramientas del clculo diferencial e integral aparecen de manera
a
frecuente en las demostraciones que presentamos a lo largo del texto. Con
la intencin de ofrecer una pequea ayuda a los lectores ms jvenes hemos
o
n
a o
dedicado el cap
tulo 5 a la presentacin de las ms importantes. En ese
o
a
mismo cap
tulo hacemos una introduccin a los conceptos bsicos de la
o
a
topolog en la recta real.
a
Es un hecho notable la aparicin frecuente y abrumadora, en los sdd, del
o
conjunto de Cantor. Una vez ms este conjunto conrma que de ninguna
a
manera es la excepcin en el mundo de las matemticas, sino que ms bien
o
a
a
es (casi) la regla. El cap
tulo 6 est dedicado a este conjunto.
a
En el cap
tulo 7 presentamos uno de los ejemplos medulares de este texto:
la funcin Tienda. Esta funcin, tan simple, resulta tener una dinmica
o
o
a
bastante complicada pero a la vez, tiene una gran ventaja: en ella se pueden
calcular y vericar, de manera prctica, muchos de los conceptos dinmicos.
a
a
As esta funcin resulta ser un modelo ejemplar y a la vez una especie de
,
o
laboratorio en el que concretamos nuestros resultados.
A lo largo de todo el texto seguir apareciendo una y otra vez la funcin
a
o
Tienda y sus camaradas: la familia de las Tiendas.
En los cap
tulos del 8 al 12 se van agregando ingredientes indispensables
para la discusin de la complejidad dinmica, como lo son los de transitivio
a
dad topolgica, sensibilidad a las condiciones iniciales, densidad de rbitas
o
o
y el omega conjunto l
mite. Se adereza la discusin con la inclusin muy
o
o
necesaria de importantes resultados de anlisis matemtico como el Teoa
a
rema de Baire, que estn en la base de los conceptos dinmicos. Cada uno
a
a
de estos cap
tulos es importante en s mismo y a la vez, como parte del re
corrido que vamos haciendo a lo largo del texto. Finalmente, en el cap
tulo
9, presentamos la denicin de sistema dinmico catico.
o
a
o
En el cap
tulo 10 se introduce una herramienta muy valiosa: la dinmica
a
i
i
vii
El cap
tulo 13 lo dedicamos a examinar un sdd muy especial que se
conoce con el nombre (entre otros) de mquina de sumar o sumadora. Su
a
importancia radica en que ste se sita justamente en la frontera entre los
e
u
sdd con una dinmica estable o sencilla, y los que tienen una dinmica
a
a
inestable, imprevisible o complicada. Para analizar este ejemplo se recurre
de nuevo a dinmica simblica, slo que en una presentacin diferente a la
a
o
o
o
hecha en el cap
tulo 10.
El otro ejemplo medular, tanto en el texto como en los sdd en general,
es la familia log
stica. Esta familia aparece desde el cap
tulo 1, pero se
estudia sistemticamente en los cap
a
tulos 13, 14 y 16. Su estudio conduce
ineluctablemente a la teor de las bifurcaciones, tema bsico en dinmica.
a
a
a
Nos centramos principalmente en dos tipos de bifurcaciones que tienen lugar
en la familia log
stica y en numereosas otras familias: la de duplicacin de
o
periodo y la tangente o silla-nodo.
En el cap
tulo 16 se presenta una de las guras emblemticas del rea:
a
a
el diagrama de bifurcaciones de la familia log
stica. El cap
tulo entero es un
primer entrn al anlisis de este diagrama. Especialmente en este cap
o
a
tulo
pero no es en el unico se recomienda fuertemente al lector pertrechar
se con el apoyo de una buena computadora y software adecuado que en
la actualidad es posible bajar gratuitamente de internet. Vase [34] en la
e
bibliograf
a.
Por ultimo, en los dos cap
i
i
viii
Agradecimientos
Esta obra no hubiera sido posible sin el apoyo infatigable y generoso de
nuestros dibujantes, o sea de las personas que pacientemente se dedicaron
a hacer todas las guras de este libro: los alumnos de licenciatura Lizbeth
Jeerson King
Departamento de Matemticas
a
Facultad de Ciencias, UNAM
king@servidor.unam.mx
Hctor Mndez
e
e
Departamento de Matemticas
a
Facultad de Ciencias, UNAM
hml@ciencias.unam.mx
Ciudad Universitaria, Facultad de Ciencias, a 23 de agosto de 2012.
i
i
Indice general
Prefacio
III
Indice general
IX
1. Introduccin
o
1.1. Dos Modelos de poblacin . . . . . . . . . . . . . . . . . . . .
o
1.2. Y aparecen los sistemas dinmicos discretos . . . . . . . . . .
a
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Primeras deniciones
2.1. Los dos ingredientes
2.2. Puntos jos . . . . .
2.3. La Tienda . . . . . .
Ejercicios . . . . . . . . .
1
2
7
8
.
.
.
.
9
9
10
15
17
3. La aventura de Sharkovskii I
3.1. La caja de herramientas y el teorema de Li-Yorke. . . . . . .
3.2. El teorema de Sharkovskii . . . . . . . . . . . . . . . . . . . .
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
22
27
32
4. La aventura de Sharkovskii II
4.1. Los ejemplos prometidos . . . . . . . . . . . . . . . . . . . . .
4.2. La Duplicadora o Doble de una funcin . . . . . . . . . . . .
o
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
35
41
46
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ix
i
i
Indice general
47
47
50
51
53
53
55
60
62
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Ejercicios . . . . . . . . . . . . . . . . . . . . .
9. Orbitas estables
9.1. Puntos jos atractores . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
73
75
78
80
.
.
.
.
.
.
85
86
89
93
94
95
97
.
.
.
.
99
99
103
108
111
i
i
Indice general
xi
11.Conjugacin topolgica
o
o
115
11.1. Propiedades que se preservan bajo conjugacin . . . . . . . . 115
o
11.2. La Tienda es equivalente a la Log
stica . . . . . . . . . . . . . 119
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
12.El omega conjunto l
mite
123
12.1. El conjunto (x, f ) . . . . . . . . . . . . . . . . . . . . . . . . 123
12.2. (x, f ) puede ser innito . . . . . . . . . . . . . . . . . . . . . 128
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
13.Una Sumadora
13.1. La funcin G : I I . . . . . . . . .
o
13.2. Hacia la dinmica de G : I I . . .
a
13.3. Otra mirada a la dinmica simblica
a
o
13.4. La conjugacin entre G y . . . . .
o
Ejercicios . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
133
. 133
. 140
. 142
. 148
. 152
la familia log
stica
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
179
179
185
190
192
i
i
xii
Indice general
17.Introduccin a la entrop
o
a
17.1. Primeras propiedades de la entrop
a
17.2. La entrop de la Tienda es positiva
a
Ejercicios . . . . . . . . . . . . . . . . . .
Comentarios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
195
. 195
. 205
. 209
. 212
18.Dinmica colectiva
a
18.1. El hiperespacio de los compactos .
18.2. La funcin inducida . . . . . . . .
o
18.3. Propiedades de la funcin inducida
o
18.4. Un punto de vista ms general . .
a
18.5. De lo colectivo a lo individual . . .
18.6. Puntos peridicos, un ejemplo . . .
o
Ejercicios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
213
213
215
216
221
224
225
228
i
i
Cap
tulo 1
Introduccin
o
i
i
as
a
requeridas permite un grado relativamente alto de sosticacin en los modeo
los, siempre es recomendable, como punto de partida, buscar la sencillez, la
manera ms simple posible de proceder, con apego al fenmeno, claro est.
a
o
a
Los ejemplos que veremos en este cap
tulo son quiz los modelos de
a
poblacin ms simples posibles. El primero de ellos, que llamaremos el moo
a
delo lineal, lograremos analizarlo completamente. El segundo, en cambio,
el modelo log
stico ha probado poseer la ms alta complejidad dinmica
a
a
imaginable.
De hecho, en el terreno de las matemticas este modelo ha sido un factor
a
de desarrolllo de la teor de sistemas dinmicos discretos y en los ultimos 40
a
a
1.1.
i
i
Cap
tulo 1. Introduccion
Ejemplo 1.1. El modelo ms sencillo.
a
Supongamos que en virtud de condiciones dadas, resulte razonable esperar que el nmero de individuos existentes en cualquier instante de tiempo
u
n sea proporcional al nmero de individuos en el instante previo, n 1. Es
u
decir, que existe una constante c, que no depende de n, tal que
Pn = c Pn1 .
(1.1)
(1.2)
i
i
Pn+1 Pn
.
Pn
(1.3)
(1.4)
i
i
Cap
tulo 1. Introduccion
Pn
.
N
(1.5)
i
i
(1.6)
i
i
Cap
tulo 1. Introduccion
1.2.
2 (x ) en lugar de f (f (x )),
mente. Para simplicar la notacin, escribimos f
o
0
0
f 3 (x0 ) en lugar de f (f (f (x0 ))), etc. Este proceso de aplicar repetidamente
la funcin a los valores obtenidos se llama iterar la funcin.
o
o
Tambin al modelo del primer ejemplo lo podemos reescribir a travs de
e
e
una funcin, que en este caso est dada por
o
a
f (x) = cx.
En cualquiera de los dos modelos, dado cualquier nmero x0 , la historia
u
futura a partir de esta condicin inicial est dada por la sucesin
o
a
o
x0 , f (x0 ) , f 2 (x0 ) ,f 3 (x0 ) , . . . .
Esta sucesin se llama la rbita de x0 bajo la funcin f .
o
o
o
El problema principal que nos plantean ambos modelos es determinar
el comportamiento de la rbita de cualquier punto bajo la correspondiente
o
funcin.
o
En general, un sistema dinmico discreto es cualquier funcin continua
a
o
f , denida en un espacio mtrico (los nmeros reales en nuestros modelos)
e
u
en el que el problema bsico es analizar el comportamiento de las rbitas
a
o
bajo f .
Los modelos de poblacin son ejemplos naturales de este tipo de sisteo
mas.
En este libro exploraremos sistemticamente la teor elemental de sisa
a
temas dinmicos discretos. Estableceremos, en particular, los conceptos de
a
caos o de comportamiento impredecible sobre bases matemticas slidas.
a
o
Desde esta perspectiva como iteracin de funciones volveremos a examio
nar los modelos aqu presentados. Esperamos que lo disfruten.
i
i
Ejercicios
Ejercicio 1.1. Deducir, por induccin, la frmula (1.2) a partir de (1.1).
o
o
Ejercicio 1.2. Trabajar con la frmula (1.4) para sacar las mismas conclusiones
o
que en el ejemplo 1.1 pero en trminos de la tasa rn dada por (1.3).
e
Ejercicio 1.3. Utilizando y suponiendo p0 y r dados, tenemos que
p1 = rp0 (1 p0 ).
Comprobar que para n = 2 tenemos
2
p2 = r2 p0 (1 p0 ) r3 p2 (1 p0 ) .
0
Buscar una expresin parecida para n = 3.
o
o
Ejercicio 1.4. Para r = 3.2 y p0 = 1 e iterando la funcin f (x) = rx(1 x)
2
obtener, tal vez utilizando una calculadora, los valores de pn para n = 1, 2, . . . , 10.
Observa alguna tendencia, podr predecir a qu valor tiende pn si n ?
a
e
(calcule ms valores si es necesario).
a
i
i
Cap
tulo 2
Primeras deniciones
2.1.
mo, f : X X.
Una vez que tenemos estos ingredientes podemos denir, para cada punto x X, una sucesin de puntos conocida como la rbita de x bajo f ,
o
o
{
}
o (x, f ) = x, f (x) , f 2 (x) , f 3 (x) , . . . .
Aqu el s
i
i
10
0
x
1
f (x)
2
f 2 (x)
...
...
n
f n (x)
...
...
f 3 (x0 )
f 4 (x0 )
x0
f (x0 )
f 2 (x0 )
2.2.
Puntos jos
i
i
Cap
tulo 2. Primeras definiciones
11
{
}
La ultima igualdad se sigue del hecho de que f n+1 (x0 ) n=1 es una subsu
cesin de la sucesin {f n (x0 )} .
o
o
n=1
Encontrar puntos jos de funciones puede parecer una tarea sencilla.
Sin embargo, salvo algunos casos, no lo es. Las funciones que tienen como
dominio y contradominio un intervalo forman un buen lugar donde iniciar
nuestro estudio de este tipo de rbitas.
o
i
i
12
[a, ) = {x R : a x},
(a, ) = {x R : a < x},
(, b] = {x R : x b},
(, b) = {x R : x < b},
y (, ) = R.
Los conjuntos [a, b], [a, ), (, b] y (, ) son intervalos cerrados;
(a, b), (a, ), (, b) y (, ) son intervalos abiertos; [a, b], [a, b), (a, b]
y (a, b) son intervalos acotados.
De aqu en adelante, salvo que indiquemos algo distinto, las funciones
i
i
Cap
tulo 2. Primeras definiciones
13
f
b
f ([a, b])
i
i
14
1
solucin a la ecuacin 1 x = x es x = 2 , entonces f tiene un solo punto
o
o
jo. Por otro lado, f 2 (x) = x para todo punto x de R. De aqu se sigue que
o
todos los puntos distintos de 1 son puntos peridicos bajo f de periodo 2.
2
Sea A un intervalo en R, digamos A = [a, b]. Un camino sencillo para
construir ejemplos de funciones f : A A que tengan alguna propiedad o
caracter
stica deseada es el siguiente: Consideramos n puntos distinitos en
A, digamos a1 , a2 , as hasta an ; denimos f (a1 ), f (a2 ), y as sucesivamen
o
resultante tiene estos puntos en su grca
a
(a1 , a2 ), (a2 , a3 ), . . . , (an1 , an ), y (an , a1 ).
y claramente tiene una rbita pertidica de periodo n.
o
o
Ejemplo 2.5. Usando este mtodo construimos una f : R R lineal por
e
partes con un punto peridico de periodo 3. Denimos f (1) = 2, f (2) = 3
o
y f (3) = 1, y con ello f queda denida en el intervalo [1, 3]. Completamos
la denicin de f as si x < 1, denimos f (x) = 2, y si x > 3, f (x) = 1.
o
:
i
i
Cap
tulo 2. Primeras definiciones
15
2.3.
La Tienda
si x 0, 2 ,
2x
T (x) =
(
]
2 2x si x 1 , 1 .
2
Es inmediato que T es una funcin continua en todo punto de R. Esta
o
funcin es conocida como la Tienda. Poco a poco iremos descubriendo las
o
propiedades dinmicas de T . A pesar de lo sencillo que resulta denir la
a
Tienda, el sistema dinmico que ella induce es muy interesante.
a
Las tres armaciones contenidas en la siguiente proposicin no son dif
o
ciles de demostrar. Invitamos al lector, en el ejercicio 10, a dar los argumentos
necesarios. La grca de la Tienda est en la gura 2.5.
a
a
Proposicin 2.6. Sea x un punto en R.
o
Si x < 0, entonces o(x, T ) es una sucesin decreciente. Adems se
o
a
n (x) = .
tiene que l n T
m
i
i
16
2.3. La Tienda
Si x > 1, entonces T (x) < 0. Por lo tanto, en este caso tambin, se
e
n (x) = .
tiene que l n T
m
Si x [0, 1], entonces T (x) [0, 1]. Y, por lo tanto, para todo n N,
T n (x) [0, 1].
i
i
Cap
tulo 2. Primeras definiciones
17
o
o
5
(
o
2
,T
5
{
=
}
2 4 2 4 2
, , , , ,... .
5 5 5 5 5
x0
0
0
Ejercicios
Las siguientes deniciones sern utiles en los ejercicios que siguen y en
a
el resto del texto. Aprovechamos esta seccin para recordarlas.
o
Sea f : X Y . Decimos que f es:
i
i
18
2.3. La Tienda
inyectiva si para todo par de puntos en X, digamos x y y, tales que
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 : X Y es inyectiva y suprayectiva.
un homeomorsmo si f : X Y es biyectiva y continua, y su inversa,
f 1 : Y X es una funcin continua tambin.
o
e
Ejercicio 2.4. Sea f : [0, 1] [0, 1] dada por f (x) = 1 x2 . Encontrar todos
los puntos peridicos de f .
o
Ejercicio 2.5. Sean I = [0, 1] y f : I I. Supongamos que f es biyectiva.
Demostrar que:
Se cumple una y slo una de las siguientes dos opciones: primera, f (0) = 0
o
y f (1) = 1 . Segunda, f (1) = 0 y f (0) = 1.
Si f (0) = 0 y f (1) = 1, entonces para todo x (0, 1) se tiene que la rbita
o
de x es una sucesin montona. Es decir, f n1 (x) f n (x) para todo n N
o
o
f n1 (x) f n (x) para todo n N.
o
f slo puede tener puntos peridicos de periodo 1 o periodo 2.
o
o
Ejercicio 2.6. Sea f : R R. Demostrar que si P er (f ) = , entonces una de las
siguientes dos opciones se cumple:
Para todo x R, se tiene que l f n (x) = .
m
n
Ejercicio 2.7. Sea I = (0, 1). Dar un ejemplo de una funcin f : I I sin puntos
o
jos y sin puntos peridicos.
o
i
i
Cap
tulo 2. Primeras definiciones
19
x0
0
0
i
i
20
2.3. La Tienda
Si x < 0, entonces l n Ln (x) = .
m
Si x > 1, entonces tambin se tiene que l n Ln (x) = .
e
m
Si x [0, 1], entonces para toda n N se tiene que Ln (x) [0, 1].
1
Las restricciones L|[0, 1 ] : [0, 2 ] [0, 1] y L|[ 1 ,1] : [ 1 , 1] [0, 1] son homeo2
2
2
morsmos.
0
0
i
i
Cap
tulo 3
La aventura de Sharkovskii I
En cap
tulos previos hemos visto ejemplos de funciones con puntos peridicos de diversos periodos. La existencia de tales funciones invitan a peno
sar si existe alguna relacin, alguna ley causal, que obligue a una funcin
o
o
a tener puntos peridicos de tales o cuales periodos pero no de otros. En
o
trminos ms precisos: si una funcin tiene algn punto peridico de un
e
a
o
u
o
cierto periodo n, puntos de qu otro periodo puede tener?
e
El caso de la funcin vista en el ejemplo 2.4 del cap
o
tulo 2 permite una
primera respuesta a esta pregunta: la existencia de puntos de periodo 1 y
2 no implica la de otros periodos. El ejercicio 1 al nal de este cap
tulo
permite agregar algo ms: si slo sabemos que f tiene puntos de periodo 1,
a
o
no se puede asegurar que tenga puntos de algn otro periodo.
u
Suscintamente podemos denotar estas conclusiones del modo siguiente:
P er1 y P er2
P er1
P ern con n 3, y
P ern con n 2.
i
i
22
3.1.
i
i
Cap
tulo 3. La aventura de Sharkovskii I
23
i
i
24
i
i
Cap
tulo 3. La aventura de Sharkovskii I
25
i
i
26
i
i
Cap
tulo 3. La aventura de Sharkovskii I
27
An I = f n (An )
Por la proposicin 2.3, existe x An punto jo de f n , es decir, tal que
o
= x.
Slo resta convencernos de que el periodo de este punto es exactamente
o
n: Obsrvese que x I y que para todo j, 1 j n 1, f j (x) J. Como
e
n > 3, la cantidad de elementos de la rbita de x que estn en J es n1 3.
o
a
n1 (x) no sean elementos
De aqu que x {a, b, c} y los puntos f (x),. . ., f
/
de la rbita o(a, f ) = {a, b, c}. El punto x no es uno de los extremos del
o
intervalo I, por lo que x = f j (x) para j con 1 j n 1. Por lo tanto la
o
rbita de x es de periodo n.
f n (x)
Por el ejercicio 11, sabemos que la Tienda, T : [0, 1] [0, 1], tiene
al menos un punto peridico de periodo 3. Por tanto esta funcin tiene
o
o
puntos peridicos de todos los periodos. Como cada rbita peridica modela
o
o
o
o representa un movimiento peridico, entonces esta funcin presenta todos
o
o
los movimientos peridicos posibles. Para obtener una rbita con un periodo
o
o
n dado slo hay que partir de la condicin inicial adecuada. Todos estos
o
o
puntos peridicos estn contenidos en el intervalo [0, 1].
o
a
3.2.
El teorema de Sharkovskii
i
i
28
a
grco es claro que la rbita de todo punto x = x0 en [2, 3] eventualmente
a
o
escapa de este intervalo (i. e., existe n N tal que f n (x) [2, 3]). Asimismo,
/
3
es fcil comprobar que x1 = 2 es un punto de periodo 2 y que, exceptuando
a
la rbita de x1 , todos los puntos en [1, 2] [3, 4] son de periodo 4 (vase
o
e
ejercicio ??). Por lo tanto, los unicos periodos presentes en f son 1, 2 y 4.
i
i
Cap
tulo 3. La aventura de Sharkovskii I
29
i
i
30
o
a
orden inverso al de todos los dems renglones.
a
El teorema de Sharkovskii es como sigue:
Teorema 3.7. i) Sean n y m nmeros naturales. Si una funcin continua
u
o
f tiene un punto de periodo n y m est colocado en alguna de estas dos
a
posiciones: en el mismo rengln que n pero a la derecha de ste, o en algn
o
e
u
rengln abajo del rengln que ocupa n, entonces f tiene un punto peridico
o
o
o
de periodo m. Es decir, en este caso, periodo n implica periodo m.
ii) Sea n N. Si m es cualquier nmero natural en el mismo rengln
u
o
que n pero a la izquierda de ste, o en un rengln arriba del que ocupa n,
e
o
entonces existe una funcin continua f que tiene periodo n pero no tiene
o
periodo m.
iii) Por ultimo, existe una funcin continua que tiene puntos peridicos
o
o
de periodo 2k para todo k N {0}, y no tiene puntos peridicos de ningn
o
u
otro periodo.
Instamos al lector a detenerse un momento y reexionar sobre el contenido de este impresionante teorema. En particular, obsrvese que el teorema
e
3.4 es un corolario inmediato de este resultado. Otro corolario interesante
es que si una funcin tiene una innidad de puntos peridicos de periodos
o
o
diferentes, necesariamente tiene puntos de periodo 2k para todo k N. Asimismo, si slo existe un nmero nito de puntos peridicos, el periodo de
o
u
o
cada uno de stos es una potencia de 2.
e
La parte medular del teorema es, sin duda, el inciso i). Su demostracin
o
consiste esencialmente en un cuidadoso aprovechamiento de nuestra herramienta bsica, las proposiciones 2.3 y 3.2. Sin embargo, tcnicamente es
a
e
como un tema en s mismo.
Las demostraciones respectivas de las partes ii) y iii) del teorema, las
desarrollamos en el cap
tulo 4.
Por denicin, en el orden dado por Sharkovskii el s
o
mbolo signica
lo siguiente: n m si, y slo s m est en el mismo rengln que n pero
o
,
a
o
i
i
Cap
tulo 3. La aventura de Sharkovskii I
31
P erm
P ern
pern si n 2
2k
S (m) = {k N | m k o m = k} .
Ntese que S (m) es un subconjunto de N, no de N {2 }. En particular,
o
S (2 ) es el conjunto de todos los nmeros naturales en el ultimo rengln
u
o
de TS (es decir, de todas las potencias de 2).
Denotamos por Pf al conjunto de periodos de rbitas peridicas de una
o
o
funcion cualquiera f ; es decir,
Pf = {m N : f tiene una rbita de periodo m} .
o
Con esta terminolog el teorema de Sharkovskii lo podemos formular
a
como sigue.
Para toda funcin continua f : R R cuyo conjunto de puntos peridio
o
} tal que P = S (m). Rec
cos es no vac existe m N {2
o,
procamente,
f
i
i
32
Ejercicios
Ejercicio 3.1. Sean I = [0, 1] y f : I I. Demostrar que si f es creciente,
entonces f slo puede tener puntos de periodo 1. Es decir, f no tiene puntos de
o
periodo n > 1.
Ejercicio 3.2. Demostrar que en efecto existen los puntos
= mx {x [, ] | f (x) = a}
a
y
= m {x [, ] | f (x) = b}
n
que aparecen en la demostracin de la proposicin 3.2.
o
o
Demostrar, asimismo, que < y f ( [, ]) = [a, b].
Ejercicio 3.3. En relacin al ejemplo 3.5 comprobar que x1 = 3 es un punto de
o
2
periodo 2 y que, exceptuando la rbita de x1 , todos los puntos en [1, 2] [3, 4] son
o
de periodo 4.
1
Ejercicio 3.4. En relacin al ejemplo 3.6, comprobar que la rbita de x0 = 7
o
o
bajo f 2 es de periodo 3. Concluir de aqu que f 2 tiene rbitas de periodo n para
o
todo nmero natural n, y que por lo tanto f tiene rbitas de periodo 2n para todo
u
o
n N.
Ejercicio 3.5. En relacin al ejemplo 3.6, demostrar que la cerradura del conjunto
o
P er(f ) es el intervalo [0, 2].
Ejercicio 3.6. Sin recurrir al Teorema de Sharkovskii, demostrar que P er4 =
P er2.
i
i
Cap
tulo 3. La aventura de Sharkovskii I
33
i
i
i
i
Cap
tulo 4
La aventura de Sharkovskii II
4.1.
Por ejemplo, la demostracin del Teorema del Valor Intermedio usando el mtodo
o
e
de biseccin.
o
35
i
i
36
i
i
Cap
tulo 4. La aventura de Sharkovskii II
37
i
i
38
i
i
Cap
tulo 4. La aventura de Sharkovskii II
39
[
]
J4 = f 2 (a) , f 4 (a) .
i
i
40
i
i
Cap
tulo 4. La aventura de Sharkovskii II
41
4.2.
o
par; adems, F tiene un punto de periodo n = 2m si, y slo si, la funcin
a
o
o
original, f , tiene un punto peridico de periodo m.
o
En otras palabras, F duplica los periodos de los puntos peridicos de f .
o
Por esta razn, a F se le suele llamar la doble o la duplicadora de f.
o
La construccin de F se puede llevar a cabo de diferentes maneras.
o
Aqu procedemos como sigue: dividimos [0, 1] [0, 1] en nueve cuadrados
(
)
[ 2]
(2 + f (1)) 2 x , si x 1 , 3 ,
F (x) =
3
3
[2 ]
x 2,
si x 3 , 1 .
3
)
(
o
Ntese que F tiene un unico punto jo)repulsor x0 1 , 2 y la rbita
o
3 3
(1 2
de cualquier otro punto x = x0 en 3 , 3 eventualmente escapa de este
intervalo para introducirse en los intervalos complementarios.
i
i
42
i
i
Cap
tulo 4. La aventura de Sharkovskii II
43
2 1
+ f (3x)
3 3
(
=
)
2 1
2
1
+ f (3x) = f (3x)
3 3
3
3
1
o
y por lo tanto, F 2 (x) = 3 f (3x). La armacin queda demostrada para
n = 1.
[
]
La suponemos ahora vlida para n. Entonces, para x 0, 1 ,
a
3
(
)
( 2
)
2(n+1)
2n
2n 1
F
(x) = F
F (x) = F
f (3x)
3
( (
))
1
1
1 n
f
3
f (3x)
= f n (3x) .
=
3
3
3
Los incisos ii) y iii) son consecuencia inmediata del primer inciso. La
argumentacin del inciso iv) la dejamos al lector (ver ejercicio 3).
o
Recurdese que denotamos por Pf al conjunto de periodos de rbitas
e
o
peridicas de una funcion cualquiera f .
o
Del resultado anterior concluimos que si F es la doble de f , entonces
PF = {2m : m Pf } {1} .
Ms an, el nmero de rbitas de periodo 2n de F es exactamente el
a u
u
o
nmero de rbitas de periodo n de f .
u
o
Con este resultado a la mano retornamos a Sharkovskii.
Al nal de la seccin anterior se vi cmo demostrar la parte ii) del
o
o o
teorema de Sharkovskii para todos los nmeros del primer rengln de TS
u
o
(los impares); veamos ahora qu podemos hacer, por ejemplo, con los nmee
u
ros del segundo rengln. Espec
o
camente, tomemos n = 10. Queremos una
funcin que tenga periodo 10 pero no tenga periodo 6 (ni periodos impares,
o
pero esto ser consecuencia de que no tenga periodo 6).
a
i
i
44
o
u
o
podemos, por ejemplo, recurrir a la funcin del ejemplo 3.5: duplicando
o
esta funcin obtenemos una que slo tiene periodos 8, 4, 2 y 1. Duplicando
o
o
ahora esta nueva funcin obtenemos otra que solamente tiene periodos 16,
o
8, 4, 2 y 1. Y as sucesivamente: dada una funcin que slo tiene periodos
o
o
j con j {0, 1, 2, ..., k}, la duplicamos y obtenemos otra que slo tiene,
2
o
adems de los anteriores, periodo 2k+1 .
a
En conclusin de lo que hemos hecho hasta aqu hemos demostrado
o
:
totalmente la parte ii) del Teorema de Sharkovskii.
Slo resta la demostracin de la parte iii): Existe una funcin que tiene
o
o
o
j para todo j N y no tiene puntos peridicos
puntos peridicos de periodo 2
o
o
de otros periodos. Es decir, esta funcin tiene toda la innidad de periodos
o
del ultimo rengln de TS pero ningn otro periodo. Construiremos una tal
o
u
funcin en el siguiente ejemplo.
o
i
i
45
Cap
tulo 4. La aventura de Sharkovskii II
Ejemplo 4.5. Una funcin con puntos peridicos de periodo 2k para todo
o
o
k N.
[
Sea I = [0, 1] y para cada k N sea Ik = 1
1
,1
3k
2
3k+1
]
.
i
i
46
Ejercicios
Ejercicio 4.1. Con una argumentacin semejante a la del ejemplo 4.1, demostrar
o
que la funcin del ejemplo 4.2 tiene periodo 7 pero no tiene periodo 5. Demostrar
o
ahora lo mismo, pero usando una digrca asociada a la funcin.
a
o
Ejercicio 4.2. Para m N, usando una rbita de Stefan distinta a la del ejemplo
o
4.3, construir una funcin que tenga periodo 2m + 1 pero no tenga periodo 2m 1.
o
Dibujar tambin la digrca asociada.
e
a
Ejercicio 4.3. Demostrar el inciso iv) de la proposicin 4.4.
o
Ejercicio 4.4. Sea f : I = [0, 1] I. Sea J = [0, 3]. Construimos una funcin
o
F : J J como sigue: Dividimos J J en 9 cuadrados iguales; en la parte superior
izquierda colocamos la grca de f , denimos F (2) = 0, F (3) = 1 y en el resto
a
del intervalo J completamos linealmente la grca.
a
Hacer un dibujo de F , dar su regla de correspondencia y demostrar una proposicin anloga a la proposicin 4.4 para F . Concluir que F es, tambin, una
o
a
o
e
duplicadora.
Ejercicio 4.5. Dar un ejemplo de una funcin con periodo 342 pero sin periodos
o
previos en el orden de Sharkovskii.
Ejercicio 4.6. Escribir los detalles de la demostracin de la parte ii) para el
o
rengln k de TS.
o
Ejercicio 4.7. Demostrar que el conjunto de puntos peridicos de la funcin f
o
o
dada en el ejemplo 4.5 es cerrado.
Podr dar un ejemplo semejante pero tal que su conjunto de puntos peridicos
a
o
no sea cerrado? (vea el Cap
tulo 13)
i
i
Cap
tulo 5
5.1.
i
i
48
i
i
Cap
tulo 5. Nociones basicas de calculo y topolog
a
49
)
}
{(
1
1
: q Q [0, 1] ,
=
q ,q +
4
4
A=
An
n=1
es un conjunto no vac
o.
i
i
50
5.2.
5.2. Sucesiones
Sucesiones
i
i
Cap
tulo 5. Nociones basicas de calculo y topolog
a
51
Ejercicios
Ejercicio 5.1. Demostrar que Q no es abierto ni cerrado en R.
Ejercicio 5.2. Sea A X. Demostrar que si B A y B es abierto, entonces
B int(A). Esto quiere decir que el int(A) es el conjunto abierto ms grande
a
contenido en A.
Ejercicio 5.3. Sean A y B subconjuntos de X. Demostrar que si A B y B es
cerrado, entonces cl(A) B. Esto quiere decir que la cerradura de A es el conjunto
cerrado ms pequeo que contiene a A.
a
n
Ejercicio 5.4. Exhibir una coleccin {An } innita numerable de conjuntos no
o
vac en R tales que para todo n en N se tiene que An+1 An , y tal que la
os
i
i
52
5.2. Sucesiones
interseccin
o
A=
An
n=1
es el conjunto vac
o.
Ejercicio 5.5. Sean A y B dos subconjuntos de X. Supongamos que ambos son
compactos. Demostrar que tanto A B como A B son conjuntos compactos. Un
poco ms general, demostrar que la unin nita de compactos es un conjunto coma
o
pacto, y que la interseccin nita o innita de compactos es un conjunto compacto.
o
Ejercicio 5.6. Sean X un espacio mtrico compacto y Y X un conjunto cerrado.
e
Demostrar que Y es compacto.
Ejercicio 5.7. Sean {an }n=1 y {bn }n=1 dos sucesiones en X convergentes a a0 y
b0 respectivamente. Demostrar que
l d (an , bn ) = d (a0 , b0 ) .
m
Ejercicio 5.8. Sea {an }n=1 una sucesin en X. Si {an }n=1 es convergente, eno
tonces es de Cauchy.
Ejercicio 5.9. Demostrar que existe una sucesin de Cauchy formada por solo
o
nmeros racionales convergente a un nmero irracional.
u
u
Ejercicio 5.10. Sean A y B dos subconjuntos de X. Supongamos que ambos son
compactos y no vac Demostrar que si A B = , entonces existen dos puntos
os.
a0 A y b0 B tales que para toda pareja de puntos a A y b B se tiene que
d(a, b) d(a0 , b0 ).
Sugerencia. Dene = {d(a, b) : a A, b B} y observa que para cada n N,
nf
existen an A y bn B tales que
d (an , bn ) < +
1
.
n
i
i
Cap
tulo 6
6.1.
Construccin
o
Recordemos que el conjunto de Cantor se construye de la siguiente manera: Sea I = [0, 1]. A este intervalo lo llamamos C0 .
En el primer (
paso, removemos el tercio de enmediode C0 , o sea, el
)
2
intervalo abierto 1 , 3 , que llamamos A0 . Al complemento
3
I A0 = C0 A0
lo llamamos C1 . Este conjunto C1 es la unin de dos intervalos compactos,
o
]
[
]
[
2
1
y
,1 ,
0,
3
3
de longitud
1
3
2
cada uno de ellos. La longitud total de C1 es 3 .
53
i
i
54
6.1. Construccion
,
y C2 = C1 A1 .
32 32
32 32
El conjunto C2 es la unin de cuatro intervalos compactos,
o
[
] [
] [
]
[
]
1
2 1
1 7
8
0, 2 ,
,
,
,
y
,1 ,
3
32 32
3 32
32
( 2 )2
de longitud 312 cada uno de ellos; es decir, la longitud total de C2 es 3 .
En general, en el paso k 1, de cada uno de los 2k1 intervalos de
Ck1 removemos el tercio de enmedio, que es un intervalo abierto de la
(m
)
forma 3k , m+1 para algn m N. Llamamos Ak1 a la unin de estos
u
o
3k
k1 intervalos y denimos
2
Ck = Ck1 Ak1 .
El conjunto Ck es la unin de 2k intervalos compactos, cada uno de ellos de
o
( )k
1
longitud 3k , es decir, la longitud total de Ck es 2 (ver gura 6.1).
3
Ntese que Ck+1 Ck para todo k N.
o
i
i
Cap
tulo 6. Una superestrella: el conjunto de Cantor
55
C=
Ck .
k=1
6.2.
Algunas propiedades de C
bi
i=1
3i
i
i
56
Por ejemplo,
1
= 0.1 = 0.0222... = 0.02,
3
1
= 0.01 = 0.002,
32
4
= 0.11 = 0.102
32
y
7
= 0.21 = 0.202.
32
Desde luego, la notacin 2 es una abreviatura para la innidad de 2 s. Ver
o
tambin el ejercicio 2.
e
La caracterizacin referida es la siguiente.
o
Proposicin 6.2. Un nmero x es elemento de C si, y slo si, existe una
o
u
o
manera de expresar a x en base 3 utilizando solamente 0s y 2s. Es decir,
bi
i=1
3i
u
Por ejemplo, 1 C y 1 = 0.1, pero a este nmero lo podemos escribir
3
3
como 0.0222..., o sea, existe una manera de expresarlo con slo 0 s y 2 s.
o
1
7
Anlogamente, 32 C y 32 C y a ambos los podemos escribir con slo 0 s
a
o
y 2 s. En cambio, 342 o 1 no son elementos de C y no los podemos escribir
2
as (ejercicio 4).
i
i
Cap
tulo 6. Una superestrella: el conjunto de Cantor
57
ti
i=1
2i
bi
i=1
3i
ti
y=
2i
i=1
donde ti = para i 1.
Es decir, atravs de cambiamos la representacin de los nmeros (en
e
o
u
C) de base 3 a nmeros en base 2 en [0, 1]. Ntese que est bien denida.
u
o
a
Unos ejemplos ayudarn a entender cmo es esta funcin: en base 3
a
o )
o
(
tenemos 1 = 0.1 = 0.0222 . . ., por lo que 1 es, en base 2, el nmero
u
3
3
bi
2
1
1
= .
0.0111 . . . =
2i+1
2
i=1
i
i
58
Asimismo,
1
32
(
)
1
= (0.01) = 0.002 = 0.001 =
4
ti
y=
,
2i
i=1
2ti
i=1
3i
3
2
3
y
2
32
1
= (0.02) = 0.01 = =
4
1
32
)
.
En general, (x) = (y) si, y slo si, x y y son extremos de uno de los
o
intervalos excu
dos en algn paso de la construccin de C (ejercicio 6). En
u
o
consecuencia es a lo ms 2 a 1 y, adems, es no decreciente de C a [0, 1].
a
a
La funcin es continua en C (ver ejercicio 7).
o
De la grca de se desprende que hay una manera natural de extena
derla a una funcin continua en todo el intervalo [0, 1] denindola como
o
e
una constante adecuada en cada uno de los tercios excluidos.
En efecto, llamemos a esta extensin de . Supongamos que x y y son
o
extremos de cierto intervalo J excu en el k-simo paso de la construccin
do
e
o
de C. Como (x) = (y) = c para algn c [0, 1], denimos (t) = c para
u
todo t J.
As obtenemos (t) = 1 si t A0 .
,
2
i
i
Cap
tulo 6. Una superestrella: el conjunto de Cantor
59
(
(
)
)
Si t A1 , (t) = 1 si t 312 , 322 y (t) = 3 si t 372 , 382 .
4
4
La idea est clara (ver gura 6.2).
a
Esta funcin es popularmente conocida como la escalera del diablo. Invio
tamos al lector a reexionar sobre las motivaciones para merecer ese nombre.
i
i
60
Ejercicios
Ejercicio 6.1. Comprobar que la longitud total de los tercios excluidos, es decir,
de
k=0
cir, x = 0.b1 b2 b3 . . . bk1 0222 . . . = 0.b1 b2 b3 . . . bk1 02. Sugerencia. Usar una serie
geomtrica.
e
i
i
Cap
tulo 6. Una superestrella: el conjunto de Cantor
61
1
2
1
4
[ 1]
Si J es una componente de Ck (o de Ak1 ) contenida en 0, 3 , entonces
2
J + ] tambin es una componente de Ck (o de Ak1 ) y est contenida en
e
a
[2 3
,1 .
3
[ 1]
1
Si J es una componente de Ck (o de Ak1 ) contenida en 0, 3 , entonces 3 J
[ 1]
es una componente de Ck+1 contenida en 0, 3 .
[
]
Si x Ck+1 0, 1 , entonces 3x est en Ck .
a
3
i
i
62
Comentarios
Una consecuencia de las [armaciones contenidas en el ejercico 8 es que
]
1
toda componente de Ck+1 0, 1 es de la forma 3 J con J una componente
3
k
de Ck . Ello se ]
[ 1 debe, simplemente, al hecho de que Ck tiene 2 componentes
y Ck+1 0, 3 tambin.
e
Por ultimo, obsrvese que todo el proceso de construccin del conjunto de
e
o
Cantor se repite, a escala, en cada componente de Ck , k 0. Es decir, si J es
una tal componente, en el paso siguiente J se divide en tres partes iguales
y se excluye el intervalo abierto que constituye el tercio de enmedio. El
complemento en J de este tercio excluido, o sea, los dos tercios restantes, son
ahora componentes de Ck+1 . Esto conduce a la propiedad de autosemejanza
que tiene el conjunto C: cualquier parte de C, as sea a escala muy pequea,
n
es esencialmente igual a todo el conjunto.
Este rasgo de C lo convierte en algo que se llama un conjunto fractal.
En sistemas dinmicos los fractales abundan y el conjunto de Cantor es sin
a
duda uno de los ms t
a picos. Para el lector interesado, consultar el libro
Fractals everywhere, escrito por M. F. Barnsley, [6].
Si X es un espacio mtrico o topolgico, un conjunto A X) es denso en
e
o
(
ninguna parte si el interior de la cerradura de A es vac int A = . Como
o:
o
C es cerrado, coincide con su cerradura, C = C. De la argumentacin para
demostrar la proposicin 6.4 se sigue que C no contiene intervalos de ms
o
a
de un punto, en consecuencia no contiene puntos interiores. Por lo tanto C
es denso en ninguna parte.
Finalmente, no podemos dejar de mencionar que, topolgicamente hao
blando, todos los conjuntos compactos, perfectos y totalmente disconexos
son esencialmente iguales entre s y por lo tanto, iguales al conjunto de
i
i
Cap
tulo 6. Una superestrella: el conjunto de Cantor
63
i
i
i
i
Cap
tulo 7
este conjunto es denso en el intervalo [0, 1], y que todos sus elementos son
nmeros racionales.
u
7.1.
i
i
66
l l+1
,
23 23
l l+1
,
23 23
por un factor de 23 .
en [0, 1] con T 3 .
i
i
Cap
tulo 7. Una visita a la Tienda
67
] [
]
+1
1
,
,1
2
2k+1 2k+1
si 2k .
Caso 1.
Si 2k 1, entonces la funcin T k+1 se puede expresar as
o
:
[
]
[
]
+1 T
+ 1 Tk
, k+1 k , k
[0, 1] .
2k+1 2
2
2
Ambas funciones son homeomorsmos. La segunda de ellas, T k , lo es
por hiptesis de induccin. Por tanto
o
o
[
]
+1
T k+1 [ +1 ] : k+1 , k+1 [0, 1]
2
2
,
2k+1 2k+1
es un homeomorsmo.
[
]
+1
Si es par, entonces la pendiente en 2k+1 , 2k+1 de la grca de T k+1 es
a
k , es decir 2k+1 . Si es impar, entonces tal pendiente
el producto de 2 por 2
es 2 por 2k = 2k+1 .
Caso 2.
Si 2k , entonces
[
]
[ k+1
]
+1 T
2
1 2k+1 T k
,
,
[0, 1] .
2k+1 2k+1
2k
2k
Es inmediato que la primera funcin es un homeomorsmo. Y como
o
2k 2k+1 1,
i
i
68
entonces
2k 1 2k+1 ,
2k+1 2k 1 2k+1 1 0,
2k 1 2k+1 1 0.
o
o
o
e
un homeomorsmo.
Ahora, si es par, entonces la pendiente de la grca de T k+1 en el
a
[
]
+1
k , es decir, 2k+1 . Esto sucede ya que
intervalo 2k+1 , 2k+1 es 2 por 2
2k+1 1 es un nmero impar.
u
Por otro lado, si es impar la pendiente de la grca es (2)(2k ) =
a
k+1 ya que 2k+1 1 es, en este caso, un n mero par.
2
u
[
]
La accin de la iteracin T n en cada intervalo de la forma 2n , +1 tiene
o
o
2n
consecuencias en todos los intervalos abiertos contenidos en [0, 1]. La proposicin 7.2 muestra que todos los intervalos crecen al aplicarles la funcin
o
o
Tienda una y otra vez. Crecen tanto que en una cantidad nita de aplicaciones la imagen correspondiente se convierte en todo el intervalo [0, 1].
Proposicin 7.2. Sea (a, b), a < b, tal que (a, b) [0, 1]. Entonces existe
o
N N tal que T N (a, b) = [0, 1].
Demostracin. Como a < b, existe N N tal que 21 < ba . Se sigue que
o
{
} N [ 2 +1 ]
N 1 tal que
(a, b).
existe un valor en el conjunto 0, 1, 2, ..., 2
,
2N 2N
N (a, b) = [0, 1].
Ahora, gracias al lema 7.1, tenemos que T
Otra consecuencia interesante del lema 7.1 est contenida en el siguiente
a
corolario. Dejamos su demostracin al lector, ver ejercico 3.
o
[
]
+1
n 1}. Si x
Corolario 7.3. Sean n N y {0, 1, 2, ..., 2
,
,
2n 2n
entonces existe Z tal que
T n (x) = + (1) 2n x.
Si x [0, 1] es un punto peridico bajo la funcin T , entonces existe n
o
o
tal que
T n (x) = x.
i
i
Cap
tulo 7. Una visita a la Tienda
69
Ejercicios
Ejercicio 7.1. Demostrar que si B es un conjunto denso en un intervalo [a, b], con
a < b, entonces B tiene cardinalidad innita.
Ejercicio 7.2. Para la funcin Tienda, T , exhibir un punto peridico tal que su
o
o
periodo sea exactamente 763.
i
i
70
[
Ejercicio 7.3. Sean n N y {0, 1, 2, ..., 2n 1}. Sea x
]
+1
, n . Demos2n 2
trar que
T n (x) = + (1) 2n x.
donde es un nmero entero.
u
Ejercicio 7.4. Demostrar que P er (T ) = Q [0, 1]. Ms aun, mostrar un conjunto
a
innito, contenido en [0, 1]Q, tal que ninguno de sus elementos es punto peridico
o
bajo T .
Ejercicio 7.5. Demostrar que para todo x Q [0, 1] se tiene que o(x, T ) slo
o
visita una cantidad nita de puntos. Sugerencia. Considerar el conjunto
}
{
1 2 3
q1
A = 0, , , , ...,
,1 ,
q q q
q
y observar que T (A) A.
Ejercicio 7.6. Sea x [0, 1] tal que x no es racional. Demostrar que la rbita
o
o(x, T ) visita una cantidad innita de puntos. Sugerencia. Demostrar que para cada
pareja n y m en N con n = m, se tiene que T n (x) = T m (x).
Ejercicio 7.7. Sean (a, b) y (c, d) dos intervalos abiertos contenidos en [0, 1] tales
que a < b < c < d. Demostrar que existe x0 P er(T ) tal que o(x0 , T ) (a, b) =
y o(x0 , T ) (c, d) = .
Ejercicio 7.8. Demostrar que para cada punto x0 [0, 1] se tiene que el conjunto
n
(x0 ) es denso en el intervalo [0, 1].
n=1 T
i
i
Cap
tulo 7. Una visita a la Tienda
71
i
i
i
i
Cap
tulo 8
Transitividad topolgica
o
8.1.
Funciones transitivas
i
i
74
o
o
a una dinmica muy interesante. Hablando de manera intuitiva, una funcin
a
o
que es transitiva mueve puntos de cualquier regin U de X a cualquier otra
o
regin V de X. No lo hace de manera inmediata, es decir, no necesariamente
o
a la primera aplicacin de f hay puntos de U que van a dar a V . Pero
o
lo que s es seguro es que aplicando f una cantidad suciente de veces
a
Proposicin 8.2. La funcin T : [0, 1] [0, 1] es transitiva en [0, 1].
o
o
Demostracin. Sean U y V dos subconjuntos de [0, 1] abiertos y no vac
o
os.
Entonces existe un intervalo abierto (a, b), a < b, contenido en U . Por el
corolario 7.2, existe N N tal que T N (a, b) = [0, 1]. De aqu se sigue que
o
la meta principal de las siguientes dos secciones.
Si bien ya hemos comentado sobre el concepto de densidad en intervalos
de la recta real, es conveniente tener una denicin un poco ms general,
o
a
una denicin que abarque los espacios mtricos.
o
e
Denicin 8.3. Sea X un epacio mtrico y sea D X. Decimos que D
o
e
es denso en X si para todo punto x en X y para toda > 0, se tiene que
existe y en D tal que d(x, y) < .
i
i
Cap
tulo 8. Transitividad topologica
8.2.
75
En el cap
tulo 5 mencionamos los espacios completos. Recordemos que
un espacio mtrico X es completo si toda sucesin de Cauchy en X es
e
o
convergente a un punto de X.
Ejemplos de espacios mtricos completos son los siguientes: la recta real
e
2 , el intervalo [0, 1], los n meros complejos C, la circunferencia
R, el plano R
u
S 1 = {z C : |z| = 1}.
Ejemplos de espacios mtricos que no son completos son los siguientes:
e
los nmeros racionales Q, los puntos en el plano donde ambas coordenadas
u
son racionales QQ, el intervalo abierto (0, 1), los racionales que pertenecen
al intervalo cerrado unitario Q [0, 1], los nmeros irracionales R \ Q, el
u
complemento en C de la circunferencia unitaria C \ S 1 .
Los conceptos de compacidad y completez estn estrechamente relacioa
nados. Para descubrir algunos aspectos de esta coneccin recordamos el
o
concepto de subsucesin.
o
Dada una sucesin {an } en X, decimos que {bj } es una subsuceo
n=1
j=1
sin de {an } si se cumplen las siguientes dos condiciones:
o
n=1
Para todo j, existe nj tal que bj = anj .
Si j < k, entonces nj < nk .
Proposicin 8.4. Toda sucesin {an } en un espacio mtrico y compacto
o
o
e
n=1
X tiene una subsucesin convergente.
o
Demostracin. Sean X un espacio mtrico compacto y {an } una sucesin
o
e
o
n=1
contenida en l.
e
Caso 1. Existe x0 en X tal que para cada > 0 se tiene que la cardinalidad del conjunto
A = {n N : an B (x0 , )}
es innita. Entonces, gracias al ejercicio 7, existe una subsucesin de {an }
o
n=1
que es convergente a x0 .
Caso 2. Supongamos ahora que para todo x X existe un radio x > 0
tal que la cardinalidad del conjunto
A (x, x ) = {n N : an B (x, x )}
i
i
76
es nita.
Es inmediato que la coleccin {B (x, x ) : x X} forma una cubierta
o
abierta de X. Como X es compacto existen k N, x1 , x2 , . . . , xk en X, y
x1 > 0, x2 > 0, . . . , xk > 0, tales que
X=
(
)
B xj , xj .
j=1
1
r1
(r1 d (x1 , x2 )) ,
2
2
i
i
77
Cap
tulo 8. Transitividad topologica
Como A3 es denso en X, existen x3 A3 S2 , y r3 ,
0 < r3 <
1
r2
(r2 d (x2 , x3 )) ,
2
2
( )n1
1
r1 ,
2
y
Cl (Sn+1 ) An+1 Sn Sn Cl (Sn ) .
Sea N N. Observemos que si n y m son mayores o iguales a N , entonces
xn , xm SN . Por lo tanto, d (xn , xm ) 2rN . As la sucesin {xn } es una
o
n=1
sucesin de Cauchy (ya que l rn = 0).
o
m
n
n=1
n=1
Bn = X.
n=1
i
i
78
Demostracin. Como para todo n N se tiene que int (Cl (Bn )) = , eno
tonces los conjuntos An = X \ Cl (Bn ) forman una coleccin de conjuntos
o
abiertos y densos en X.
n N, x0 Bn . Por tanto x0
/
/
n=1
Bn .
n=1
8.3.
X=
B (xj1 , 1) .
j=1
nk
j=1
(
)
1
B xjk ,
.
k
i
i
Cap
tulo 8. Transitividad topologica
79
f m (Ui ) .
m=1
Ai = .
i=1
m=1
( (
))
1
f m B xjk , k .
i
i
80
}
q1
1 2 3
,1 .
0, , , , ...,
q q q
q
Ejercicios
Ejercicio 8.1. Recordemos la funcin g : [0,1] [0, 1] denida en el ejemplo 3.6.
o
Demostrar que g es transitiva en [0, 1].
Ejercicio 8.2. Demostrar que si X es un intervalo en R, entonces la denicin
o
7.4 es equivalente a la denicin 8.3.
o
Ejercicio 8.3. Sea A R un conjunto cerrado, no vac y sin puntos aislados.
o,
Sea f : A A tal que existe x0 en A tal que la o(x0 , f ) es densa en A. Demostrar
que f es transitiva en A.
i
i
Cap
tulo 8. Transitividad topologica
81
f n (U )
n+1
Ejercicio 8.7. Sea {an }n=1 una sucesin contenida en X. Sea x0 un punto en X
o
tal que para cada k N se tiene que la cardinalidad del conjunto
{
(
)}
1
Ak = n N : an B x0 ,
k
es innita. Demostrar que existe una subsucesin de {an }n=1 que es convergente
o
al punto x0 .
Ejercicio 8.8. Sea {an }n=1 una sucesin contenida en X. Supongamos que la
o
Ejercicio 8.9. Sea {an }n=1 una sucesin en X. Si {an }n=1 es convergente a
o
Ejercicio 8.12. Verdadero o falso. Sea {An }n=1 una coleccin de conjuntos abiero
Ejercicio 8.13. Verdadero o falso. Sea {An }n=1 una coleccin de conjuntos abiero
i
i
82
Ejercicio 8.14. Dar una coleccin {An }n=1 de abiertos y densos en [0, 1] tales
o
que A =
An no sea abierto.
n=1
i
i
Cap
tulo 8. Transitividad topologica
83
i
i
i
i
Cap
tulo 9
Orbitas estables
i
i
86
9.1.
x0 -
x0 +
Figura 9.1: Ejemplo de punto jo atractor.
x0 -
x0 +
Figura 9.2: Ejemplo de punto jo repulsor.
i
i
Cap
tulo 9. Orbitas estables
87
l
m
xx0
xx0
f (x) x0
< 1.
x x0
xx0
f (x) x0
< 1.
x x0
xx0
f (x) x0
< c < 1.
x x0
f (x0 , x0 + ) A (x0 , x0 + ) A.
Entonces podemos aplicar f al punto f (x) y obtenemos que
f 2 (x) x0 c |f (x) x0 | < c2 |x x0 | .
i
i
88
2
Los puntos jos de la funcin Tienda, 0 y 3 , son ambos repulsores ya
o
que T (0) = 2 y T ( 2 ) = 2.
3
En los ejercicios 1 y 2 se discuten algunas de las situaciones que se pueden
presentar cuando la derivada en un punto jo vale, en valor absoluto, 1. El
hecho es que en una vecindad de un punto jo donde la derivada de f se
comporta de esa manera, las dinmicas presentes pueden ser muy diversas.
a
Consideramos ahora una situacin un poco ms general. Si la funcin
o
a
o
f est denida en un espacio mtrico X que no es, necesariamente, un
a
e
intervalo, entonces debemos modicar un poco las deniciones de punto jo
atractor y repulsor.
Sea f : X X, y sea x0 X tal que f (x0 ) = x0 . Decimos que x0 es
un punto jo atractor de f si existe un subconjunto abierto U de X tal que
x0 U , f (U ) U , y para toda x U se tiene que
l f n (x) = x0 .
m
i
i
Cap
tulo 9. Orbitas estables
89
o
rbita peridica o preperidica. Cmo son estas rbitas? Por un lado no
o
o
o
o
pueden salir del intervalo [0, 1], por otro lado deben alejarse de las rbitas
o
peridicas, ya que todas son repulsoras, y, para colmo, estas rbitas peridio
o
o
cas forman un conjunto denso en ese mismo intervalo. El resultado es un
sistema dinmico en verdad muy interesante.
a
9.2.
Orbitas estables
i
i
90
la proposicin 9.1.
o
i) Sea > 0. Para c tal que |f (x0 )| < c < 1, existe una 0 > 0 tal que
para todo punto x A, con |x x0 | < 0 se tiene que
|f (x) x0 | c |x x0 | < c0 .
Por lo tanto,
|f (x) x0 | < 0 .
Adems si 0 < < 0 , entonces para todo punto x B (x0 , ) y para toda
a
n N, se tiene que f n (x) B (x0 , ).
Tomando = m {, 0 } conrmamos que la rbita de x0 bajo f es
n
o
estable.
ii) En este caso, |f (x0 )| > 1, podemos concluir tambin que para cada
e
, con 0 < < 0 , existen x B (x0 , ) y N N tales que f N (x) ya no
pertenece a la bola B (x0 , 0 ). Por lo tanto, tomando 0 = 0 , la rbita de
o
x0 no es estable.
Los puntos jos de la funcin Tienda, 0 y 2 , son ambos puntos jos no
o
3
estables.
La siguiente es una denicin ms general. La idea es describir rbitas
o
a
o
estables an en el caso de que no se trate de rbitas de puntos jos.
u
o
i
i
Cap
tulo 9. Orbitas estables
91
1
2
+
.
9 1000000
i
i
92
4/9
2/9
0
10
20
30
40
50
60
70
80
10
20
30
40
50
60
70
80
10
20
30
40
50
60
70
80
1
8/9
4/9
2/9
0
1
0. 8
0. 6
0. 4
0. 2
0
i
i
Cap
tulo 9. Orbitas estables
93
9.3.
1
1
o
|T n (x) T n (x1 )| , |T n (x) T n (x2 )| .
2
2
i
i
94
9.4.
La denicin de caos
o
o
una gran cantidad de puntos con rbitas cuyos movimientos son, de alguna
o
manera, extraos o complejos, pero es una de las ms populares.
n
a
Denicin 9.8. Decimos que f : X X es una funcin catica, o genera
o
o
o
un sistema dinmico catico, si se cumplen las siguientes tres condiciones:
a
o
El conjunto P er (f ) forma un conjunto denso en X,
f es transitiva en X, y
f es sensible a las condiciones iniciales en X.
En los cap
tulos que siguen presentamos varios ejemplos de funciones
caticas. En particular veremos que la funcin Log
o
o
stica, L : [0, 1] [0, 1],
L(x) = 4x(1 x), es catica en el intervalo [0, 1].
o
No es de extraar que, luego de todo lo que hemos descubierto de la
n
dinmica generada por la Tienda, ella sea nuestro primer ejemplo.
a
Proposicin 9.9. La funcin T : [0, 1] [0, 1] es catica en [0, 1].
o
o
o
Demostracin. Se sigue de manera inmediata de lo hecho en las proposicioo
nes 7.5, 8.2 y 9.7.
A continuacin recordamos algunos resultados importantes relacionao
dos con los conceptos que hasta ahora hemos visto. Si bien no damos las
demostraciones correspondientes, s ofrecemos a los lectores las referencias
necesarias.
El primero de ellos nos dice que la tercera condicin en la dencin 9.8
o
o
es consecuencia de las dos primeras condiciones. La demostracin se puede
o
consultar en el art
culo On Devaneys Denition of Chaos, escrito por J.
Banks, J. Brooks, G. Cairns, G. Davis y P. Stacey en 1992, ver [5].
Proposicin 9.10. Sea f : X X. Si f es transitiva en X y el conjunto
o
P er (f ) es denso en X, entonces f es sensible a las condiciones iniciales en
X.
i
i
Cap
tulo 9. Orbitas estables
95
Los siguientes dos resultados se reeren a funciones denidas en un intervalo de la recta real. Resulta que para este tipo de funciones la transitividad
es una condicin muy fuerte ya que ella sola implica a las dos condiciones
o
restantes de la denicin 9.8. La demostracin de la proposicin 9.11 viene
o
o
o
en el art
culo On Intervals, Transitivity = Chaos escrito en 1994 por M.
Vellekoop y R. Berglund, ver [32].
Proposicin 9.11. Sea A un intervalo en R. Sea f : A A una funcin
o
o
transitiva en A. Entonces P er (f ) es un conjunto denso en A.
De las dos proposiciones 9.10 y 9.11 se sigue que si A es un intervalo en
la recta real R, y f : A A es una funcin transitiva en A, entonces f es
o
catica en A.
o
En el ultimo resultado que presentamos en esta seccin se destaca la
o
importancia de la sensibilidad a las condiciones iniciales cuando se trabaja
con funciones denidas en un intervalo. La demostracin se encuentra en el
o
art
culo Sensitivity implies chaos escrito por H. Mndez en 2003, ver [23].
e
Proposicin 9.12. Sea A = [a, b] un intervalo en R. Si f : A A es
o
sensible a las condiciones iniciales en A, entonces existen B A, conjunto
cerrado con int (B) = , y N N tales que f N (B) = B y f N , restringida
a B, es catica en B.
o
Ejercicios
Ejercicio 9.1. En cada uno de los siguientes casos f es una funcin de R en R,
o
el 0 es punto jo de f , y f (0) = 1. Demostrar lo siguiente:
si f (x) = x + x3 , entonces 0 es un punto repulsor;
si f (x) = x x3 , entonces 0 es un punto atractor; y
si f (x) = ex 1, entonces para todo x < 0 se tiene que l n f n (x) = 0,
m
y para todo x > 0 se tiene que l n f n (x) = .
m
Ejercicio 9.2. Sea f : R R la funcin f (x) = sen(x). Observemos que para
o
todo x se tiene que 1 sen(x) 1. Demostrar lo siguiente:
Si 0 < x 1, entonces 0 < sen(x) < x, y si 1 x < 0, entonces x <
sen(x) < 0. De aqu se sigue que 0 es el unico punto jo de f . Sugerencia. El
i
i
96
Ejercicio 9.5. Sea f : [0, 1] [0, 1] una funcin lineal por partes dada por
o
1
1
f (0) = 0, f ( 2 ) = 1 y f (1) = 2 . Encontrar todos los puntos x con rbita estable
o
bajo f .
Ejercicio 9.6. Demostrar que todas las rbitas peridicas presentes en la Tienda,
o
o
T : [0, 1] [0, 1], son repulsoras. Sugerencia. Si o(x, T ) es una rbita peridica,
o
o
1
entonces 2 no pertenece a la rbita o(x, T ).
o
Ejercicio 9.7. Supongamos que f : R R es un homeomorsmo sensible a las
condiciones iniciales. Demostrar que f tiene a lo ms un punto jo.
a
Ejercicio 9.8. Existe un homeomorsmo f : R R sensible a las condiciones
iniciales y tal que f no tiene puntos jos?
Ejercicio 9.9. Sea f : [0, 1] [0, 1] la funcin lineal por partes dada por f (0) = 0,
o
1
2
f ( 3 ) = 1, f ( 3 ) = 0 y f (0) = 1. Demostrar que f es catica en [0, 1].
o
Ejercicio 9.10. Sea f : R R una funcin af Es decir, existen constantes m y
o
n.
b tales que
f (x) = mx + b.
Demostrar que f no es catica en R.
o
Ejercicio 9.11. Sea f : X X donde X es un espacio sin puntos aislados.
Demostrar que f es catica en X si y slo si para toda pareja de conjuntos abiertos,
o
o
no vac U y V , se tiene que existe un punto peridico x, tal que
os,
o
o(x, f ) U = , y o(x, f ) V = .
Ejercicio 9.12. Sea f : [0, 1] [0, 1]. Supongamos que existe B [0, 1], cerrado
no vac y sin puntos aislados, tal que f 3 (B) = B y f 3 restringida a B es catica
o
o
en B. Sea
A = B f (B) f 2 (B).
i
i
Cap
tulo 9. Orbitas estables
97
Comentarios
Las horas, o minutos, que el lector ha dedicado a buscar la solucin del
o
ejercicio 4 de seguro lo llevaron a conjeturar la armacin contenida en la
o
siguiente proposicin.
o
Proposicin 9.13. Sea f : [0, 1] [0, 1] un homeomorsmo tal que f (0) =
o
0 y f (1) = 1, y tal que para toda x, 0 < x < 1, se tiene que f (x) < x.
Entonces
para toda 0 x < 1, la rbita o(x, f ) es estable, y
o
la rbita del punto x0 = 1 no es estable.
o
i
i
98
Concluimos que
l f n (x) = 0.
m
n
i
i
Cap
tulo 10
Dinmica simblica
a
o
3x
P (x) =
si x
1
2
(10.1)
3 3x
si x 1 .
2
10.1.
i
i
100
f (J(f )) J(f ).
Por otro lado, sea x en J(f ). Si existe y tal que f (y) = x, entonces y tambin
e
est en J(f ) ya que
a
o(y, f ) = {y} o(x, f ).
As si se tiene que J(f ) f (R), entonces
,
J(f ) f (J(f )),
y con ello estos dos conjuntos son iguales.
Denicin 10.2. Sean f : X X y A un subconjunto de X. Decimos
o
que A es un conjunto invariante bajo f si f (A) A. Decimos que A es
estrictamente invariante bajo f si f (A) = A.
Resulta que J(f ) es siempre un conjunto invariante bajo f . Otras propiedades del conjunto J(f ) se presentan en los ejercicios de este cap
tulo.
Tal vez la importancia de este conjunto de puntos atrapados se vea si recordamos que para la funcin Tienda, T : R R, se tiene que J(T ) = [0, 1].
o
Y es precisamente en este conjunto donde T tiene una dinmica catica, y
a
o
fuera de l su dinmica es muy sencilla.
e
a
Si la funcin f est denida en los nmeros complejos, f : C C, y la
o
a
u
regla de correspondencia de f se expresa de forma polinomial,
f (z) = a0 + a1 z + a2 z 2 + + aN z N ,
con N 2 y aN = 0, entonces J(f ) es conocido como el conjunto de Julia
lleno de f y la frontera de J(f ) es el conjunto de Julia de f .
Sea P : R R la funcin dada por la regla de correspondencia 10.1.
o
Nos interesa descubrir la estructura del conjunto J(P ). En particular
demostraremos que este conjunto es el conjunto de Cantor. Una vez que
cumplida esta tarea demostraremos que P restringida a J(P ) es catica.
o
i
i
Cap
tulo 10. Dinamica simbolica
101
o
o
Las grcas de P y T son muy parecidas. La unica diferencia es la altura
a
4
hecho todas las rbitas peridicas de P son repulsoras.
o
o
)
(
Si x est en el intervalo 1 , 2 , entonces P (x) > 1: Esto nos permite,
a
3 3
nuevamente, concluir que para este tipo de puntos l n P n (x) =
m
.
i
i
102
ello, J(P ) = C.
i
i
Cap
tulo 10. Dinamica simbolica
103
10.2.
Dinmica simblica
a
o
i
i
104
n0
0
tn =
Por ejemplo
ya que P
(1)
3
si P n (x0 ) I0 ,
si P n (x0 ) I1 .
( )
1
= (0, 1, 0, 0, 0, . . .)
= 1 y P (1) = 0,
(
3
ya que P ( 10 ) =
9
10
3
10
9
y P ( 10 ) =
3
28
)
= (0, 1, 0, 1, 0, 1, . . .)
3
10
)
= (0, 0, 1, 0, 0, 1, 0, 0, 1, . . .)
Sea
{
}
2 = t = (t0 , t1 , t2 , . . .) : para cada n 0, tn {0, 1} .
A la sucesin (x0 ) = t = (t0 , t1 , t2 , . . .) se le llama el itinerario de x0 .
o
Si lo pensamos un poco este nombre tiene mucho sentido. El punto x0 slo
o
puede viajar, al aplicarle P varias veces, a dos lugares: I0 e I1 . El valor que
asuma tn nos dir de manera inmediata en cual de estos dos destinos se
a
encuentra el punto P n (x0 ).
La siguiente frmula nos proporciona una mtrica en 2 (ver ejercicio
o
e
8),
( ) |tn sn |
d t, s =
,
2n
n=0
i
i
Cap
tulo 10. Dinamica simbolica
105
a
ambos en I0 o ambos en I1 . As
,
|P (x0 ) P (y0 )| = 3 |x0 y0 | ,
P 2 (x0 ) P 2 (y0 ) = 3 |P (x0 ) P (y0 )| = 32 |x0 y0 | .
As sucesivamente hasta que en el paso n se tiene que
1
3n .
i
i
106
a
Ahora s demostraremos que es suprayectiva.
en el intervalo It0 t1 t2 ,...,tn1 , la coleccin {It0 t1 t2 ,...,tn }n=0 forma una sucesin
o
o
de intervalos cerrados encajados, cada uno de ellos distinto del vac Sabeo.
mos tambin que la longitud del intervalo It0 t1 t2 ,...,tn tiende a cero cuando
e
n tiende a innito. Entonces la interseccin
o
It0 t1 t2 ,...,tn
n=0
i
i
Cap
tulo 10. Dinamica simbolica
107
n=N +1
1
< .
2n
i
i
108
10.3.
Funcin corrimiento
o
i
i
Cap
tulo 10. Dinamica simbolica
109
X X
h
h
g
Y Y.
Si f : X X y g : Y Y son dos funciones conjugadas, entonces
las propiedades dinmicas de f son esencialmente iguales a las propiedades
a
dinmicas de g. Dedicaremos el siguiente cap
a
tulo a la tarea de darle cuerpo
a esta armacin. En particular demostraremos que, bajo esta hiptesis, la
o
o
funcin f es catica en X si y slamente si la funcin g es catica en Y .
o
o
o
o
o
Regresando al estudio de las propiedades dinmicas de la funcin P ,
a
o
observemos que ya tenemos el siguiente resultado: Las funciones P : J(P )
J(P ) y : 2 2 son conjugadas bajo el homeomorsmo .
Para demostrar que P es catica en J(P ), demostraremos primero que
o
es catica en 2 .
o
Proposicin 10.9. El conjunto de puntos peridicos de es denso en 2 .
o
o
Demostracin. Sean t = (t0 , t1 , t2 , . . .) 2 y > 0.
o
i
i
110
que al ir viajando sobre su rbita, vaya pasando cerca de todos los puntos. Es
o
decir, que al aplicar (borrar la primera coordenada y recorrer las dems)
a
coincida con las primeras coordenadas de todos los puntos. Esto s es posible
t = (0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, . . . , 1, 1, 1, . . .).
Es inmediato que la rbita o(t, ) es densa en 2 .
o
Proposicin 10.11. La funcin : 2 2 es sensible a las condiciones
o
o
iniciales.
Demostracin. Sea 0 = 1. Este valor va a ser nuestra constante de sensibio
lidad.
i
i
Cap
tulo 10. Dinamica simbolica
111
Ejercicios
Ejercicio 10.1. Sea f : R R. Si J(f ) = , entonces f tiene al menos un punto
jo.
Ejercicio 10.2. Exhibir, si es que existe, una funcin f : R2 R2 tal que
o
J(f ) = y f no tenga puntos jos. Sugerencia. Analizar los puntos peridicos de
o
las siguientes funciones: g : R2 R2 y h : R2 R2 , dadas por g(x, y) = (x, y) y
h(x, y) = (x, y + sen(x)).
Ejercicio 10.3. Para cada 0 4 consideremos la familia de funciones f :
R R, donde f (x) = x(1 x).
Describir el conjunto J(f ) cuando 0 < 1.
Ahora describir el conjunto J(f ) para 1 4.
Ejercicio 10.4. Para cules de las siguientes funciones, f : R R, se tiene que
a
el conjunto J(f ) est acotado? Para cules J(f ) es un intervalo?
a
a
1. f (x) = x2 .
i
i
112
2. f (x) = x2 2.
3. f (x) = x + sen(x).
4. f (x) = x2 + 1.
5. f (x) = x2 3.
6. f (x) = ex 1.
7. f (x) = x3 .
8. f (x) = arctan(x).
Ejercicio 10.5. Para cules valores de R, el conjunto J(f ) es un intervalo
a
si f (x) = x2 + ?
Ejercicio 10.6. Sea f : R R. Demostrar que si J(f ) es distinto del vac y
o
acotado, entonces J(f ) es un conjunto cerrado.
Ejercicio 10.7. Demostrar las siguientes propiedades de la funcin P : R R.
o
Sea x < 0. Entonces P (x) < x. Ms an, para toda n N se tiene que
a u
P n (x) = 3n x. As l n P n (x) = .
, m
Si x > 1, entonces P (x) < 0. Por lo tanto para estos puntos tambin se
e
concluye que l n P n (x) = .
m
Los unicos puntos jos de P son 0 y 3 , y ambos son repulsores. De hecho
4
todas las rbitas peridicas de P son repulsoras.
o
o
(
)
Si x 1 , 2 , entonces P (x) > 1: Esto nos permite, nuevamente, concluir
3 3
que para este tipo de puntos l n P n (x) = .
m
3
o
x0 = 28 es un punto peridico bajo P y es de periodo 3. Por tanto, P tiene
puntos peridicos de todos los periodos.
o
( ) |tn sn |
d t, s =
,
2n
n=0
i
i
Cap
tulo 10. Dinamica simbolica
113
Sean 0 = (0, 0, 0, . . .) y
{
}
A = t = (t1 , t2 , . . .) 2 : existe n0 tal que para todo n n0 , tn = 0 .
(
)
Demostrar que A = W s (0) y que W s (0) = W s (0).
Ejercicio 10.15. En cada caso decidir si la armacin correspondiente es verdao
dera o falsa.
()
Para cada t 2 , W s t es un conjunto numerable.
()
Para cada t 2 , W s t es denso en 2 .
()
Si t y s son puntos peridicos, y W s t W s (s) = , entonces t = s.
o
()
Si w W s (u) y u W s t , entonces w W s (t).
Ejercicio 10.16. Sea
Q = [0, 1] = {t = (t0 , t1 , ...) : ti [0, 1], para toda i 0}.
n=0
i
i
114
n=0
|tn sn |
2n
es una mtrica en Q.
e
Sea : Q Q dada por (t0 , t1 , t2 ...) = (t1 , t2 , ...). Demostrar que es una
funcin continua y que es catica en Q.
o
o
i
i
Cap
tulo 11
Conjugacin topolgica
o
o
11.1.
Dadas dos funciones f : X X y g : Y Y decimos que son conjugadas si existe un homemorsmo h : X Y tal que para todo punto x en X
se tiene que h(f (x)) = g(h(x)), ver denicin 10.8.
o
Si f y g son conjugadas, tambin es comn decir que f y g son equivae
u
lentes.
115
i
i
116
(
)
(
)
h f k+1 (x) = h f k (f (x)) = g k (h(f (x)))
= g k (g(h(x))) = g k+1 (h(x)).
i
i
Cap
tulo 11. Conjugacion topologica
117
cada 1 j < N ,
g j (h(x)) = h(f j (x)) = h(x).
Por ultimo, si y P er(g), entonces x = h1 (y) es punto peridico bajo
o
f por la proposicin 11.2.
o
En resumen, el homeomorsmo h transforma el conjunto P er(f ) en el
conjunto P er(g) preservando los periodos correspondientes.
La siguiente proposicin nos dice que h tambin respeta la densidad del
o
e
conjunto P er(f ), si es que este es el caso. As dos funciones conjugadas
i
i
118
o
regla de correspondencia est dada por la ecuacin 10.1. La restriccin de
a
o
o
i
i
Cap
tulo 11. Conjugacion topologica
119
o
catica en el conjunto de los puntos atrapados J(P ).
o
Dada la importancia de este resultado lo redactamos como una proposicin.
o
Proposicin 11.7. La funcin P : J(P ) J(P ) es catica en J(P ).
o
o
o
11.2.
i
i
120
casos.
Caso 1. [
]
Sea x 0, 1 . Entonces
2
(
)
h T (x) = h(2x) = sen2 (2x)
2
= sen2 (x).
Caso 2. [
]
Sea x 1 , 1 . Entonces
2
h T (x) = h(2 2x) = sen2
(22x)
2
= sen2 ( x)
= sen2 (x).
Por lo tanto para todo x [0, 1] se tiene que L h(x) = h T (x).
Ejercicios
Ejercicio 11.1. Sea g : [0, 1] [0, 1] la funcin lineal por partes denida en el
o
ejemplo 3.6. Demostrar que g es una funcin catica en [0, 1]. Sugerencia. Demostrar
o
o
1
que la iteracin g 2 restringida al intervalo [0, 2 ] es conjugada a la Tienda.
o
Ejercicio 11.2. Sean c y k dos nmeros reales distintos de cero. Sean f : R R
u
y g : R R dadas por f (x) = x + c y g(x) = x + k.
Demostrar que f y g son funciones conjugadas. Sugerencia. Suponer que el
homemorsmo buscado es de la forma h(x) = x + , y constantes.
Ejercicio 11.3. Sea f : R R y g : R R dadas por f (x) = 2x y g(x) = 3x.
Demostrar que existe h : R R, homeomorsmo, tal que para toda x R se
tiene que f h(x) = h g(x). Sugerencia. Suponer que el homeomorsmo buscado
tiene la forma: h(x) = x , constante, cuando x > 0.
i
i
Cap
tulo 11. Conjugacion topologica
121
homeomorsmo.
Ejercicio 11.5. Sean f : [a, b] [a, b] y g : [c, d] [c, d] dos funciones conjugadas.
Demostrar lo siguiente:
1. x0 [a, b] es un punto jo atractor de f si y slo si h(x0 ) es un punto jo
o
atractor de g.
2. El punto x0 [a, b] es un punto jo repulsor de f si y slo si h(x0 ) es un
o
punto jo repulsor de g.
3. La rbita o(x0 , f ) es densa en [a, b] si y slo si la rbita o(h(x0 ), g) es densa
o
o
o
en [c, d].
i
i
i
i
Cap
tulo 12
El omega conjunto l
mite
12.1.
El conjunto (x, f )
123
i
i
124
o
nmeros naturales, {ni } , se entender que esta sucesin es estrictamente
u
a
o
i=1
creciente, ni < ni+1 para todo i N.
Sea T : [0, 1] [0, 1] la funcin Tienda.
o
{2 }
Si x0 = 2 , entonces (x0 , T ) = 5 , 4 .
5
5
( 1 )k
Sea k N jo. Si x0 = 2 , entonces (x0 , T ) = {0}.
Proposicin 12.1. Sea X un espacio compacto. Entonces para todo x X,
o
se tiene que (x, f ) = .
Demostracin. Sea x X. Como X es compacto, la sucesin
o
o
o(x, f ) = {f n (x)}
n=0
tiene una subsucesin convergente, digamos a y X. Entonces y (x, f ).
o
Proposicin 12.2. Para todo x X, (x, f ) es un conjunto cerrado.
o
Demostracin. Sean x0 X y {yn } una sucesin contenida en (x0 , f )
o
o
n=1
tal que l yn = y0 . Demostraremos que y0 (x0 , f ) y con ello concluim
n
2
2.
Como
i
i
Cap
tulo 12. El omega conjunto l
mite
125
a
(x0 , f ).
Ahora demostraremos que (x0 , f ) f ( (x0 , f )).
Sea y0 (x0 , f ). Existe una sucesin {ni } de nmeros naturales tal
o
u
que l f ni (x0 ) = y0 . Podemos suponer que cada ni es mayor o igual a 2.
m
i
{
}
Como X es compacto y la sucesin f ni 1 (x0 ) est contenida en X,
o
a
entonces existe una subsucesin de {ni 1} tal que
o
i=1
l f nij 1 (x0 ) = z0 .
m
As z0 (x0 , f ) y
(
f (z0 ) = f
l f
m
nij 1
)
n
(x0 ) = l f ij (x0 ) = y0 .
m
j
i
i
126
es una contradiccin.
o
Con la ayuda de la proposicin 12.4 obtenemos ahora informacin sobre
o
o
la dinmica que induce la funcin f en el conjunto (x, f ) cuando este
a
o
conjunto es nito.
Proposicin 12.5. Sean f : X X, X un espacio compacto y x un punto
o
en X tal que el conjunto (x, f ) es nito. Entonces existe y en (x, f ) tal
que y es un punto peridico bajo f con
o
(x, f ) = o(y, f ).
Demostracin. Supongamos que la cardinalidad de (x, f ) es k. As
o
(x, f ) = {x1 , x2 , . . . , xk } .
Como f ( (x, f )) = (x, f ), entonces f restringida al conjunto (x, f )
es una permutacin. Por tanto cada punto xi , 1 i k, es elemento de
o
una rbita peridica.
o
o
Consideremos la rbita o(x1 , f ) contenida en (x, f ). Renombrando los
o
elementos de (x, f ), si es necesario, podemos suponer que
o(x1 , f ) = {x1 , x2 , . . . , xm }
con m k.
Armamos que o(x1 , f ) = (x, f ). Si sucede que o(x1 , f ) = (x, f ),
entonces m < k.
Observemos que la rbita o(x1 , f ) es un conjunto estrictamente invao
riante bajo la funcin f . Esto implica que el conjunto {xm+1 , xm+2 , . . . , xk }
o
tambin es estrictamente invariante bajo f .
e
i
i
Cap
tulo 12. El omega conjunto l
mite
127
W = k
i=m+1 B (xi , ) .
F = {n N : f n (x) W } .
{
}
Como la sucesin f ni +1 (x) est contenida en W , entonces f (z) es un
o
a
elemento del conjunto Cl(W ).
As
,
f (z) o(x1 , f ) Cl(W ),
lo que implica que Cl(U ) Cl(W ) = . Esto es una contradiccin.
o
i
i
128
12.2.
Hasta ahora hemos visto slo ejemplos donde el conjunto (x, f ) es nio
to. La siguiente proposicin nos muestra la posibilidad de que este conjunto
o
sea, en algunos casos, de cardinalidad innita.
Proposicin 12.6. Sea T : [0, 1] [0, 1] la funcin Tienda. Entonces
o
o
existe x0 [0, 1] tal que (x0 , T ) = [0, 1].
Demostracin. Sabemos que T es transitiva en [0, 1] y el intervalo [0, 1] es
o
compacto. Entonces existe x0 [0, 1] tal que o (x0 , T ) es densa en [0, 1].
Armamos que (x0 , T ) = [0, 1].
Sean x [0, 1]. Como la) rbita o (x0 , T ) es densa en [0, 1], para cada
o
(
k N la rbita o T k (x0 ) , T tambin es densa en [0, 1] (ver ejercicio 19).
o
e
Entonces existe una sucesin creciente de nmeros naturales {nk } tal
o
u
k=1
que
1
1
|T n1 (x0 ) x| < 1, |T n2 (x0 ) x| < , . . . , |T nk (x0 ) x| < , . . .
2
k
As obtenemos que l T nk (x0 ) = x.
m
k
i
i
Cap
tulo 12. El omega conjunto l
mite
129
o
rbita de x es cada vez ms parecido a la dinmica de la funcin f restringida
a
a
o
al omega conjunto l
mite de x.
En los ejemplos que hemos visto, la dinmica de
a
f |(x,f ) : (x, f ) (x, f )
cumple una de estas dos condiciones:
existe y (x, f ), y P er(f ), tal que la rbita o(y, f ) es exactamente
o
el conjunto (x, f ),
existe y (x, f ) tal que o(y, f ) es densa en (x, f ).
En el ejercicio 11 el lector comprobar que sta no es la situacin general.
a
e
o
Ahi se muestra la existencia de una funcin f y un punto x tales que f
o
restringida al conjunto (x, f ) no tiene rbitas densas.
o
Otro hecho muy importante, vase ejercicio 4, es el siguiente: Resulta que
e
si la cardinalidad del conjunto (x, f ) es nita, entonces existe y P er(f )
tal que
l d (f n (x), f n (y)) = 0.
m
n
Ejercicios
Ejercicio 12.1. Sea f : X X. Demsotrar que si x0 es un punto peridico de f ,
o
entonces (x0 , f ) = o(x0 , f )
Ejercicio 12.2. Sean f : X X y x0 X. Entonces para cada k N, se tiene
(
)
que (x0 , f ) = f k (x0 ) , f .
i
i
130
Ejercicio 12.5. Sea f : [0, 1] [0, 1], y sea x0 [0, 1]. Verdadero o falso:
(
)
(x0 , f ) = x0 , f 2 .
Ejercicio 12.6. Sea T : [0, 1] [0, 1] la funcin Tienda. Demostrar que si x0
o
Q [0, 1], entonces la cardinalidad de (x0 , T ) es nita.
Ejercicio 12.7. Sea T : [0, 1] [0, 1] la funcin Tienda. Demostrar que el cono
junto {x : (x, f ) = {0}} es denso en [0, 1].
Ejercicio 12.8. Sean f : X X y x0 y y0 en X tales que
l d (f n (x0 ), f n (y0 )) = 0.
m
i
i
Cap
tulo 12. El omega conjunto l
mite
131
( )
Describir el conjunto t, . En particular demostrar que este conjunto es
de cardinalidad innita numerable.
( )
Describir la dinmica de restringida al conjunto t, .
a
Ejercicio 12.12. Sean f : [0, 1] [0, 1], y x0 [0, 1]. Demostrar lo siguiente:
)
)
(
(
1. (x0 , f ) = x0 , f 2 f (x0 ) , f 2 .
2. Si f es creciente en [0, 1], entonces para todo x en [0, 1] se tiene que (x, f )
consta de un solo elemento.
3. Si f es biyectiva, entonces para todo x en [0, 1] se tiene que la cardinalidad
del conjunto (x, f ) es 1 2.
o
Ejercicio 12.13. Sean f : [0, 1] [0, 1], y x [0, 1]. Para cada x en [0, 1] y m N
consideramos el siguiente conjunto:
{
}
Am (x) = f k (x) : k m = o(f m (x), f ).
Demostrar que
(x, f ) =
Am (x).
m0
Donde Am (x) denota la cerradura del conjunto Am (x). De aqu se concluye que
i
i
i
i
Cap
tulo 13
Una Sumadora
En este cap
tulo vamos a estudiar una funcin G : I I, con I = [0, 1],
o
muy especial: por un lado, para cada n N, tiene una unica rbita peridica
o
o
de periodo 2n (repulsora) y no tiene puntos peridicos de otros periodos,
o
por lo que esta funcin proporciona otro ejemplo que demuestra la parte iii)
o
del teorema de Sharkovskii.
Por otro lado, la dinmica esencial es conjugada con una sumadora o
a
mquina de sumar.
a
La sumadora es un modelo de dinmica simblica, es decir, una funa
o
cin denida en el espacio de dos s
o
mbolos, diferente a lo estudiado en el
cap
tulo 10. Su comportamiento es muy importante puesto que constituye
una especie de frontera entre un rgimen no catico y uno en el que reina
e
o
el caos.
13.1.
La funcin G : I I
o
i
i
134
13.1. La funcion G : I I
Ck .
k=0
La idea es usar repetidamente la duplicadora. Empezamos con una funcin muy simple, la constante: g0 (x) = 1 , x [0, 1]. Tomamos la doble de
o
3
g0 , que llamamos g1 . Inductivamente, tomamos a gn+1 como la doble de
gn para n 1. Las guras 13.1 y 13.2 muestran las grcas de gn para
a
n = 0, 1, 2 y 3.
i
i
Cap
tulo 13. Una Sumadora
135
(13.1)
3 3
[ 1] [2 ]
y una unica rbita atractora de periodo dos en 0, 3 3 , 1 .
o
]
[
Ntese que la grca de g1 en 1 , 2 es una recta de pendiente 7 , por
o
a
3 3
3
lo que
7
g1 (x0 ) = < 1.
3
(
)
Las rbitas de todos los puntos x = x0 , x 1 ,]2 [ eventualmente escao
[ 31 3 ,
]
pan de este intervalo para quedar atrapadas en 0, 3 2 , 1 , aproximndose
a
3
a la rbita atractora de periodo dos.
o
o
o
, 2 , una unica rbita de periodo dos repulsora en 312 , 32 372 , 382 , y
3 3
una unica rbita atractora de periodo cuatro en
o
[
] [
] [
] [
]
1
2 7
2 1
8
0, 2 2 ,
, 2 2,1 .
3
3 3
3 3
3
La recta mencionada tiene pendiente 7 se reproduce, a escala, en el
3
[
]
intervalo 312 , 322 y las rbitas de puntos no peridicos en
o
o
(
)
) (
)
(
1 2
7 8
1
,
,
y en
0,
32 32
32 32
3
eventualmente escapan para quedar atrapadas en los cuatro intervalos donde
vive la rbita atractora de periodo cuatro y se aproximan a sta.
o
e
Ntese la relacin que va apareciendo con la construccin del conjunto
o
o
o
de Cantor C: las rbitas peridicas repulsoras de g1 y g2 van quedando,
o
o
respectivamente, en los tercios excluidos en los primeros dos pasos de la
construccin de C, es decir, en A0 A1 . Las correspondientes rbitas atraco
o
toras quedan en el complemento de estos tercios excluidos, es decir, en C2 .
Al continuar duplicando para obtener gn , n 3, se produce un fenmeno
o
7
anlogo: en la grca de gn la recta de pendiente 3 se reproduce, a escala,
a
a
i
i
13.1. La funcion G : I I
136
[
]
en 31 , 32 . Aparece una nueva rbita peridica atractora de periodo 2n
o
o
n
n
contenida en el complemento de los tercios excluidos hasta el nsimo paso,
e
o sea, en el conjunto Cn . El resto de las rbitas de periodo 2j , j = 0, ..., n1,
o
son repulsoras y expulsan a las rbitas de los dems puntos que estn en los
o
a
a
tercios excluidos
n1
Aj
j=0
o
repulsora de periodo 2j contenida en Aj .
n1
v) Si x
Aj y no es un punto peridico de periodo 2j , su rbita
o
o
j=0
n1
j=0
1
,
3
(
)
(
)
[
]
2
7 2
1 2
x =
x , si x
,
,y
gn (x) = (gn1 (1) + 2)
3
3 3
3 3
[
]
2
2
gn (x) = x , si x
,1 .
3
3
Conclusin: gn (x) = g1 (x) si 1 x 1.
o
3
Los dos incisos siguientes los demostramos por induccin.
o
ii) El caso k = 1 se sigue del inciso anterior. Suponemos vlida la ara
macin para k = n.
o
i
i
137
Cap
tulo 13. Una Sumadora
Para k = n + 1, sea x
gn+1 ,
1
,1
3n+1 3
1
2
gn+2 (x) = gn+1 (3x) + ,
3
3
]
[
o
o
con 3x 31 , 1 . Por la hiptesis de induccin, gn+1 (3x) = gn (3x). Por lo
n
[ 1 1]
tanto, utilizando que gn+1 es el doble de gn , se sigue que si x 3n+1 , 3 ,
1
2
gn+2 (x) = gn (3x) + = gn+1 (x) .
3
3
]
[
Si x 1 , 1 , la armacin se sigue del inciso anterior.
o
3
Para la parte que falta, sea k N y
1
x 1.
3n+k1
Entonces,
gn+k (x) = gn+k1 (x) .
Anlogamente, si
a
1
x 1,
3n+k2
entonces
gn+k1 (x) = gn+k2 (x) .
Como
1
3n+k1
<
1
,
3n+k2
se tiene que
gn+k (x) = gn+k2 (x)
para
1
3n+k2
x 1.
si
1
3n+kj
x1
1 j k.
i
i
138
13.1. La funcion G : I I
o
entonces gn+1 tiene una unica rbita peridica atractora de periodo
o
o
2n+1 .
Vamos a ver ahora que gn+1 (Cn+1 ) Cn+1 .
[
]
Sea x Cn+1 0, 1 . Por el ejercicio 8 del cap
tulo 6, 3x Cn y por
3
la hiptesis de induccin, gn (3x) Cn . Por lo tanto, usando nuevamente
o
o
dicho ejercicio,
2n ,
1
2 1
2
2
gn+1 (x) = gn (3x) + Cn + Cn+1 + Cn+1 .
3
3 3
3
3
]
[
Por otra parte, si x Cn+1 2 , 1 , por el mismo ejercicio,
3
[
]
2
1
gn+1 (x) = x Cn+1 0,
.
3
3
En conclusin, gn+1 (Cn+1 ) Cn+1 .
o
Por ultimo, si x0 Cn es un punto peridico atractor de gn , entonces
o
x0 1
Cn Cn+1
3
3
es un punto peridico atractor de gn+1 .
o
Como Cn+1 es invariante bajo gn+1 , se sigue que toda la rbita atractora
o
(la de x0 ) est en Cn+1 .
a
3
iv) Nuevamente procedemos por induccin. Un clculo directo comprueo
a
ba la armacin para k = 1.
o
Por la hiptesis de induccin, todos los puntos peridicos repulsores (de
o
o
o
[
]
j , 1 j n 1) de g estn en el intervalo 1 , 1 dado que
periodo 2
a
n
3n
[
]
1
Aj n , 1 .
3
n1
j=0
]
[
a
Como gn+1 coincide con gn en el intervalo 31 , 1 , gn+1 automticamente
n
hereda todos estos puntos peridicos repulsores.
o
Asimismo, a las rbitas que bajo gn eventualmente escapan de
o
n1
Aj
j=0
i
i
Cap
tulo 13. Una Sumadora
139
2
3n+1
n N,
i
i
140
13.2.
Hacia la dinmica de G : I I
a
o
o
e
Estas rbitas peridicas repulsoras constituyen la totalidad de las rbitas
o
o
o
peridicas de G.
o
[ 1
]
Demostracin. Sea n N. Como G coincide con gn+1 en el intervalo 3n+1 , 1
o
y G deja invariante este intervalo, ambas funciones tienen los mismos puntos
peridicos (y con el mismo tipo de estabilidad). Por lo tanto, G tiene una
o
o
rbita repulsora de periodo 2n .
Por otra parte, sea p un punto peridico de G. Entonces 0 <[ p. Sea
o
]
e
N N tal que 31 < p. Como G es idntica a gN en el intervalo 31 , 1 ,
N
N
entonces p es un punto peridico de gN contenido en este intervalo. En
o
consecuencia, p es un punto peridico de periodo 2m para alguna
o
m {0, 1, 2, ..., N 1}
y es repulsor, tanto de gN como de G.
Lo anterior prueba que p es un punto peridico de G si, y slo si, p es
o
o
un punto peridico de gn para algn n N. Por lo tanto, G tiene una unica
o
u
n para cada n N.
o
rbita repulsora de periodo 2
Corolario 13.3. La existencia de esta funcin G demuestra el inciso iii)
o
del teorema de Sharkovskii.
Como cada gn va expulsando de
n1
j=0
esperar que bajo G se generalice este fenmeno, es decir, que las rbitas no
o
o
peridicas contenidas en
o
Aj converjan, de alguna manera, a C.
j=0
i
i
Cap
tulo 13. Una Sumadora
141
ii) G (C) = C.
iii) Si x C, la rbita de x bajo G tiende asintticamente a C o even/
o
o
tualmente est en C.
a
Demostracin. i) Sea n 1. Sabemos que gn (Cn ) Cn . De[ hecho la
o
]
contencin es propia: es claro que gn es suprayectiva de Cn 0, 31 en
o
n
]
[
Cn 1 31 , 1 por lo que gn transforma a todas las componentes de Cn
n
menos la primera, la que est ms a la izquierda, en todas las componentes
a a
menos la ultima, la que est ms a la derecha; adems,
a a
a
([
] [
]
]) [
1
1
2
gn 0, n
= 1 n+1 , 1 1 n , 1 .
3
3
3
As la razn por la cual [ contencin no es propia es porque gn no es
,
o
la
[ 1]
]o
1
suprayectiva de 0, 3n en 1 3n , 1 .
[
]
Como G coincide con gn en el intervalo 31 , 1 , a G le ocurre exactamente
n
lo mismo en dicho intervalo, es decir, es suprayectiva de
[
]
[
]
1
1
Cn 0, n
en Cn 1 n , 1 .
3
3
Sin embargo, es fcil comprobar que
a
([
]) [
]
1
1
G 0, n
= 1 n,1 ,
3
3
con lo que G (Cn ) = Cn .
ii) Como
C=
Cn ,
k=1
i
i
142
Aj ,
j=0
13.3.
Como en el Cap
tulo 10, denimos 2 como el espacio de sucesiones
innitas de 0 s y 1 s; es decir,
2 = {s = (s0 s1 s2 ...) | sn = 0 1, n N} .
o
Con la mtrica
e
d s, t =
|sk tk |
k=1
2k
i
i
Cap
tulo 13. Una Sumadora
143
Is0 s1 ...sn1
n0
Is0 s1 ...sn1 .
(13.2)
n0
punto s 2 .
Obviamente la funcin est bien denida. Algunos ejemplos de valores
o
a
i
i
144
3
( )
2
3
( )
1
9
( )
2
9
( )
7
9
( )
8
= (000000...) = (0)
= (100000...) = (10)
= (011111...) = (01)
= (110000...) = (110)
= (101111...) = (101)
= (010000...) = (010)
= (001111...) = (001).
es un homeomorsmo.
i
i
Cap
tulo 13. Una Sumadora
145
por lo que
d ( (y) , (x0 ))
1
2k+1
< .
a
ca muy interesante: no tiene puntos peridicos y todas sus rbitas son deno
o
sas. Esta funcin es la que modela el comportamiento de G: es conjugada a
o
i
i
146
i
i
Cap
tulo 13. Una Sumadora
147
111 = (1101000...) ,
121 = (0011000...) ,
131 = (1011000...) ,
141 = (0111000...) ,
151 = (1111000...) ,
161 = (0000100...) ,
171 = (1000100...) ,
etc.
Ntese cmo, al principio, en los primeros cuatro mltiplos, aparecen
o
o
u
todos los bloques de 0 s y 1s de longitud 2 en las primeras dos coordenadas; luego, en los siguientes ocho mltiplos, aparecen los de longitud
u
3 en las primeras 3 coordenadas, y as sucesivamente (estos bloques estn
a
subrayados).
Est claro que, eventualmente, cualquier bloque de 0s y 1s de longitud
a
n va a aparecer en las primeras n coordenadas de algn mltiplo de 1.
u
u
Demostracin. Sean
o
s = (s0 s1 s2 . . . sn sn+1 . . .) 2
y > 0. Sea n N tal que 21 < .
n
Queremos exhibir un mltiplo de 1 en la vecindad de s de radio ; basta
u
con que las primeras n + 1 coordenadas de dicho mltiplo coincidan con las
u
primeras n + 1 coordenadas de s.
Inspeccionando la lista anterior, concluimos que los bloques de 0 s y 1 s
de tamao n + 1 aparecen a partir del lugar
n
h = 2 + 22 + 23 + + 2n = 2n+1 2,
es decir, a partir del mltiplo h1 en dicha lista.
u
Por lo tanto, entre h1 y (h + 2n ) 1 hay un mltiplo de 1, digamos m1,
u
con la primeras n + 1 coordenadas deseadas.
Entonces,
(
)
1
d s, m1 n <
2
con lo cual queda demostrada la proposicin.
o
i
i
148
13.4.
La conjugacin entre G y
o
de los puntos en
Aj que no son peridicos, eventualmente abandonan
o
j=0
i
i
Cap
tulo 13. Una Sumadora
149
Cn1 . Para darnos una idea de cmo ocurre esto empecemos desde el primer
o
paso, es decir, con la funcin g1 .
o
Esta funcin simplemente permuta a las componentes izquierda y dereo
cha de C1 : I1 por I0 y viceversa.
En consecuencia, bajo g2 cada componente de C2 contenida en I1 se
permuta con una de I0 y viceversa.
2
Como la grca de g2 en I0 es la recta y = x 3 (montona creciente,
a
o
paralela a la identidad), bajo g2 las componentes de C2 I0 preservan su
orden; es decir, como I01 est a la izquierda de I00 , la imagen de I01 debe
a
estar a la izquierda de la de I00 . Por lo tanto,
g2 (I01 ) = I11
y g2 (I00 ) = I10 .
I0s1 ...sn1 Cn I0 ,
entonces
(
)
gn I0s1 ...sn1 = I1s1 ...sn1 .
i
i
150
en Cn I10 ,
I10s2 ...sn1 ,
0 s
i
i
Cap
tulo 13. Una Sumadora
En resumen:
151
(
)
gn I10s2 ...sn1 = I01s2 ...sn1 .
Esquemticamente:
a
10s2 . . . sn1 01s2 . . . sn1 .
Estas observaciones nos sern utiles en la demostracin de la tan anuna
o
ciada siguiente proposicin.
o
Proposicin 13.10. La funcin : 2 2 es conjugada con G : C C
o
o
mediante el homeomorsmo : C 2 .
Es decir, para cada x C se cumple que (G (x)) = ( (x)).
Demostracin. Sean x C el punto dado por (13.2).
o
Caso 1. Supongamos x I0 C.
Entonces s0 = 0 y (x) = (0s1 s2 . . .). Por lo tanto, ( (x)) = (1s1 s2 . . .).
Por otro lado, la grca de G en I0 es la recta y = x 2 (montona
a
o
3
creciente, paralela a la identidad) por lo que para cada n, las componentes
de Cn I0 preservan su orden bajo G (vase la observacin 1) ms arriba).
e
o
a
De aqu se deduce inmediatamente que si x est dada por (13.2), entonces
a
{G (x)} = I1s1 ...sn1 .
n0
i
i
152
I00...01sn+1 sn+2 ,
n0
por lo que
(G (x)) = (00 . . . 01sn+1 sn+2 . . .) .
Ejercicios
Ejercicio 13.1. Demostrar el inciso v) de la proposicin 13.1.
o
Ejercicio 13.2. Demostrar el inciso iii) de la proposicin 13.4.
o
Ejercicio 13.3. Usese la coleccin {gn } para dar otra demostracin de la parte
o
o
ii) del Teorema de Sharkovskii para los periodos 2k del ultimo rengln de la tabla
o
TS (Cap
tulo 3).
Ejercicio 13.4. Probar que G es continua directamente de su denicin.
o
(
)
(
)
Ejercicio 13.5. Comprobar que s + 1 + 1 = s + 1 + 1 .
Ejercicio 13.6. Demostrar que : 2 2 es biyectiva y continua. Concluir de
aqu que es un homeomorsmo.
i
i
Cap
tulo 13. Una Sumadora
153
i
i
i
i
Cap
tulo 14
14.1.
(14.2)
155
i
i
i
i
Cap
tulo 14. Bifurcaciones. La familia log
stica
157
1
1
=1 .
a
Obsrvese que f (0) = y por consiguiente, al variar el parmetro de
e
= 1 a > 1, el origen pasa de ser un punto jo neutro a ser repulsor.
De hecho al cruzar el parmetro = 1 ocurre un cambio cualitativo en la
a
dinmica, una primera bifurcacin para el intervalo de parmetros sealado.
a
o
a
n
Dejamos al lector analizar los detalles de sta en el ejercicio 2.
e
i
i
158
14.2.
Figura 14.2: Punto jo atractor cuando 1 < < 2 y cuando 2 < < 3.
O sea que para este rango de valores del parmetro el punto jo se
a
mantiene como atractor aunque cambia la forma en que atrae a la rbitas de
o
puntos cercanos: para (1, 2] la convergencia a x es montona, mientras
o
que para ligeramente mayor que 2 la convergencia es en espiral (ver gura
14.3). Este cambio en la forma de la convergencia se produce justamente en
= 2, cuando x es superatractor.
Notemos tambin que si seguimos aumentando levemente el valor de ,
e
(x ) sigue decreciendo hasta ser menor que 1. Consecuentela derivada f
mente, debe existir un cierto valor del parmetro, digamos 1 , para el cual
a
(x ) = 1 y f (x ) < 1 si < .
f
1
i
i
Cap
tulo 14. Bifurcaciones. La familia log
stica
159
i
i
160
2
para = 3 la grca de f se vuelve tangente a la identidad en el punto jo
a
x . Semejante situacin es, por necesidad, inestable: cualquier perturbacin
o
o
destruye esta tangencia, as que es razonable imaginar que algo va a cambiar
al mover el parmetro.
a
2
En la gura 14.4 se muestran grcas de f para < 3, = 3 y
a
ligeramente mayor que 3.
2
Como puede apreciarse, para < 3, la grca de f cruza la identidad
a
2 no tiene puntos jos adicionales a los de f , o
slo en 0 y en x ; es decir, f
o
i
i
161
Cap
tulo 14. Bifurcaciones. La familia log
stica
0
0
0
0
0
0
2
Figura 14.4: Grcas de f para < 3, = 3 y > 3.
a
La demostracin anal
o
tica de que para > 3 nace una nueva rbita de
o
periodo 2, y es atractora si es ligeramente mayor que 3, es bastante directa
y la hacemos a continuacin.
o
Comprobacin anal
o
tica de la aparicin de una rbita de periodo 2 para
o
o
> 3.
2
Los puntos de periodo 2 son ra de la ecuacin de grado 4, f (x)x =
ces
o
0. Tras unos pocos clculos tenemos que
a
(
)
(
)
2
f (x) x = 3 x4 + 23 x3 3 + 2 x2 + 2 1 x.
2
El problema de resolver f (x) x = 0 se puede reducir tomando en
cuenta que los puntos jos de f tambin son ra de esta ecuacin y que,
e
ces
o
2 (x)x. Efectuando la divisin, obtenemos
o
por lo tanto, f (x)x divide a f
2
f (x) x = (f (x) x) (x), donde (x) es el polinomio de grado 2
(
)
(x) = 2 x2 2 + x + + 1.
i
i
162
( + 1) ( 3)
2
(14.3)
0
0
0
0
b
x
i
i
Cap
tulo 14. Bifurcaciones. La familia log
stica
163
= = 1 + 5 = 3,236 . . .
2
Ver Problema 7).
1
0
0
i
i
164
0
0
(f ) (a ) = (1 2a ) = 1 + ( 1) ( 3)
y, anlogamente,
a
(f ) (b ) = 1
( 1) ( 3).
i
i
Cap
tulo 14. Bifurcaciones. La familia log
stica
165
2 = 1 + 6 3,4495 . . .
)
(
En consecuencia, 3, 1 + 6 es el intervalo en el que |d | < 1 o, equivalentemente, en el que la rbita de periodo 2, {a , b }, es atractora. Y si
o
es mayor que 2 , dicha rbita es repulsora Fin.
o
14.3.
i
i
166
periodo
1.0
0.8
0.6
0.4
0.2
0.0
0.0
0.2
0.4
0.6
0.8
1.0
1.0
0.8
0.6
0.4
0.2
0.0
0.0
0.2
0.4
0.6
0.8
1.0
u
esencial en ambos casos. Ntense las semejanzas tan fuertes: al variar el
o
i
i
Cap
tulo 14. Bifurcaciones. La familia log
stica
167
1.0
0.8
0.6
0.4
0.2
0.0
0.0
0.2
0.4
0.6
0.8
1.0
1
2
segunda iteracin, f1 , es tangente a la identidad en x1 . Se genera as una
o
i
i
168
periodo
iteracin se vuelve tangente a la identidad en cuatro puntos, en la rbita
o
o
de periodo 4. Cruzando este parmetro, la rbita de periodo 4 se vuelve
a
o
repulsora y a la vez, se duplica el periodo, apareciendo una rbita nueva de
o
periodo 8, que inicialmente es atractora. Ver gura 14.11.
1.0
0.8
0.6
0.4
0.2
0.0
0.0
0.2
0.4
0.6
0.8
1.0
i
i
Cap
tulo 14. Bifurcaciones. La familia log
stica
169
i
i
170
periodo
Ejercicios
Ejercicio 14.1. Demostrar que cada funcin en la familia 14.1, para [1, 4], es
o
af
nmente conjugada con una unica funcin en la familia 14.2, con c [2, 2]. De
o
terminar para cules valores de c aparecen las primeras 2 bifurcaciones de periodo
a
en la familia 14.2.
Ejercicio 14.2. Describir la dinmica de la familia log
a
stica para (0, 1).
Describir tambin las bifurcaciones que tienen lugar, respectivamente, en = 0 y
e
en = 1.
Ejercicio 14.3. Analizar la dinmica de la familia log
a
stica para < 0. Hacer un
breve ensayo con sus conclusiones.
Ejercicio 14.4. Comprobar, utilizando anlisis grco, que las rbitas bajo f ,
a
a
o
con 1 4, de todos los puntos fuera de el intervalo [0, 1] tienden a .
Ejercicio 14.5. Con la ayuda de una computadora ilustrar grcamente la apaa
ricin de periodo 8 . Determinar numricamente 4 .
o
e
Ejercicio 14.6. Considerar la familia
g : R R,
g (x) = arctan(x)
Comentarios
Mencionamos en el cap
tulo 13 que la sumadora constituye una especie
de frontera entre la dinmica no catica y la catica. Ilustraremos brevea
o
o
mente este hecho recurriendo a la familia log
stica
f (x) = x (1 x)
con [1, 4].
Sabemos que si < la dinmica de f es estable; y si > existe
a
un subconjunto de I en el que la dinmica es catica. Pero ha quedado
a
o
pendiente resolver cul es la dinmica si = .
a
a
i
i
Cap
tulo 14. Bifurcaciones. La familia log
stica
171
o
brevemente un esquema de lo que est ocurriendo con esta funcin.
a
o
Como hemos dicho, el problema esencial es a dnde van a dar, bajo f ,
o
las rbitas no peridicas. Excluyamos, de entrada, las imgenes inversas de
o
o
a
todos los rdenes de todas las rbitas peridicas de periodo 2k , dado que esos
o
o
o
puntos eventualmente se convierten en la rbita perdica correspondiente.
o
o
i
i
172
periodo
k
2
La idea es seguirle la pista al comportamiento de fk cuando k tiende a
.
Remontmonos al primer paso, es decir, a los parmetros para los que
e
a
existe periodo 2 atractor. Las rbitas de todos los puntos que no son eveno
tualmente peridicos, las aperidicas, nalmente van a caer en dos intervao
o
los, uno alrededor de cada atractor peridico de periodo 2; se trata de la
o
cuenca inmediata de atraccin de la rbita atractora.
o
o
Para los parmetros en los que existe periodo 4 atractor, las rbitas apea
o
ridicas van a caer a 4 intervalos que conforman la correspondiente cuenca
o
inmediata de atraccin; simultneamente, el punto jo y la rbita de periodo
o
a
o
2, que ahora son repulsores, apoyan este trnsito hacia la cuenca inmediata
a
de atraccin expulsando las rbitas de todos los puntos de alrededor suyo.
o
o
Conforme el parmetro va cambiando y surge periodo 2k atractor, las
a
o
rbitas aperidicas impulsada por los repulsores, van a dar a 2k intervalos,
o
uno alrededor de cada punto de la rbita peridica atractora, que constituo
o
yen la cuenca inmediata de atraccin de la rbita atractora. En cada paso,
o
o
dichas cuencas inmediatas de atraccin excluyen a las rbitas peridicas reo
o
o
pulsoras y a todas sus preimgenes, a la vez que va decreciendo la longitud
a
de los intervalos que conforman a las mismas.
Se va pregurando as un proceso Cantoriano, que efectivamente desem,
boca, cuando = , en un conjunto de Cantor, A , compuesto unica
mente de puntos aperidicos, que atrae al resto de las rbitas aperidicas y
o
o
o
que excluye a todas las rbitas peridicas (repulsoras) y a las eventualmente
o
o
peridicas.
o
De esta manera nace, un conjunto de Cantor atractor, donde la dinmica
a
es conjugada con la sumadora.
i
i
Cap
tulo 15
15.1.
xR
> 0.
(15.1)
o
n
perturbacin puede romper la tangencia y producir un cambio cualitativo
o
en la dinmica; es decir, una bifurcacin.
a
o
Para
0 < < 0
la grca de E (x) cruza dos veces la identidad: ahora hay dos puntos jos,
a
< x , siendo atractor y x repulsor. Figura 15.2
173
i
i
i
174
1
e.
i
i
Cap
tulo 15. Nota sobre la bifurcacion tangente
175
E0 (x0 ) = 0 ex0 = 1,
de donde x0 = 1 y 0 = 1 .
e
Obsrvese que este punto jo neutro x0 es atractor por la izquierda y
e
repulsor por la derecha, atrayendo las rbitas de todo x < x0 y mandando
o
hacia innito las de todo punto x > x0 .
Por otra parte, para 0 < < 0 la cuenca de atraccin del atractor
o
es el intervalo (, x ), y si x (x , ) su rbita se tiende a innito.
o
15.2.
Familia cuadrtica
a
4
4
aparecen dos puntos jos, uno atractor y otro repulsor (ver guras 15.3 y
15.4).
i
i
176
e
el ejercicio 1 del cap
tulo 14).
Ejercicios
Ejercicio 15.1. Considrese ahora la familia exponencial dada por (15.1) pero
e
con < 0. Analizar qu tipo de bifurcacin ocurre en = e. Hacer las correse
o
2
pondientes grcas de E (x) y de la segunda iteracin E (x).
a
o
Ejercicio 15.2. Describir la bifurcacin que tiene lugar en cada una de las siguieno
tes familias en el parmetro indicado. Ilustrar con las grcas correspondientes.
a
a
F (x) = ex + , = 1.
3
G (x) = 1 x2 , = 4 .
i
i
Cap
tulo 15. Nota sobre la bifurcacion tangente
177
= 3 = 1 + 8.
Ver tambin la discusin de este ejemplo en el cap
e
o
tulo 16.
i
i
i
i
Cap
tulo 16
El diagrama de bifurcaciones de la
familia log
stica
En este cap
tulo nos basaremos principlamente en trabajo experimental
con la computadora; ser una primera mirada a la zona catica de la familia
a
o
log
stica,
f (x) = x (1 x) .
Se sugiere fuertemente al lector acceda l mismo a una computadora con el
e
software apropiado para desarrollar sus propios experimentos. Utilizaremos
libremente los resultados que hemos visto en cap
tulos previos en relacin
o
con dicha familia.
Ya hemos reunido suciente evidencia sobre la existencia de una secuencia innita de bifurcaciones de duplicacin de periodo en la familia log
o
stica
conforme el parmetro aumenta de 1 a = 3.5699456 . . .
a
Cul es la dinmica de f si continuamos aumentando el parmetro
a
a
a
despus de ? Esa es justamente la investigacin que vamos a iniciar ahora.
e
o
Ello lo haremos a travs del diagrama de bifurcaciones de la familia log
e
stica
(y veremos de paso que este tipo de diagramas se pueden extender al estudio
de otras familias).
16.1.
Obteniendo el diagrama
i
i
180
Si escogemos en el intervalo (1, 3), sabemos que para cualquier valor inicial que tomemos su rbita tender al punto jo atractor x y, en
o
a
consecuencia, las iteraciones se acumularn en torno a ste. Entonces, lo
a
e
que veremos en la computadora sobre el segmento {} I ser el punto
a
P = (, x ). O sea, en esencia veremos al atractor.
)
(
Si repetimos nuestro experimento para algn 3, 1 + 6 lo que
u
veremos sern dos puntos en torno a los cuales se acumula la rbita de x0 ,
a
o
que corresponden a la rbita de periodo 2 atractora.
o
En la gura 16.1 mostramos los lugares donde se acumulan las iteraciones
de un punto x0 . Primero en los puntos P = (, x ) sobre {} I )
cuando
(
(1, 3), y luego en torno a periodo 2 atractor cuando 3, 1 + 6 .
0.9
0.8
0.7
0.6
0.5
0.4
0.3
2.4
2.6
2.8
3.0
3.2
3.4
3.6
un importante teorema que nos asegura que si una funcin cumple ciertas
o
i
i
Cap
tulo 16. El diagrama de bifurcaciones de la familia
logstica
181
condiciones, entonces, en la cuenca inmediata de atraccin de toda rbita
o
o
peridica atractora debe existir un punto cr
o
tico. Vase [11].
e
O sea que, en tales funciones, los puntos cr
ticos persiguen a los atractores, y por lo mismo, dichos puntos detectan, por as decirlo, si existen o no
o
rbitas peridicas atractoras. Los miembros de la familia log
o
stica renen
u
las condiciones del teorema referido.
Una consecuencia muy interesante del resultado en cuestin es que el
o
nmero de posibles rbitas atractoras est determinado por el nmero de
u
o
a
u
puntos cr
ticos que tenga la funcin: si sta tiene dos puntos cr
o
e
ticos, a
lo ms puede tener dos rbitas peridicas atractoras. En las funciones de
a
o
o
familias como la log
stica, en las que slo existe un punto cr
o
tico, a lo ms
a
puede haber una rbita peridica atractora.
o
o
a
)
(Continuemos. Seleccionando sucientes parmetros en el intervalo abierto 1, 1 + 6 y repitiendo el experimento para cada uno de ellos, obtenemos
un primer diagrama como el que se muestra en la gura 16.2.
)
(
Figura 16.2: Inicio del diagrama de bifurcacin, 1, 1 + 6 .
o
Ah se observa claramente la existencia de la primera bifurcacin de
o
duplicacin de periodo.
o
En la gura 16.3 extendemos este diagrama un poco ms all del valor
a
a
i
i
182
familia log
stica.
En la gura 16.5 hemos acortado el intervalo de parmetros con el n
a
i
i
Cap
tulo 16. El diagrama de bifurcaciones de la familia
logstica
183
de amplicar la imagen de la parte ms interesante y mejorar nuestra aprea
ciacin del diagrama.
o
i
i
184
(a)
(b)
(c)
Figura 16.6: Diagrama ampliado y autosemejanza.
i
i
Cap
tulo 16. El diagrama de bifurcaciones de la familia
logstica
185
Un aspecto que se vuelve evidente a partir del diagrama es que el espacio
entre sucesivas duplicaciones de periodo se cierra muy rpido; es dif
a
cil,
incluso haciendo amplicaciones, poder distinguir ms all de las primeras
a
a
cuatro o cinco duplicaciones de periodo (sin embargo, ver el ejercicio 1).
Pero sabemos que este rgimen de duplicaciones es innito; y adems,
e
a
que la razn entre los sucesivos espacios i i1 , es casi constante, aproo
ximadamente igual a
= 4.669201 . . .
La segunda gran zona, a la derecha de , corresponde a un rgimen en
e
el que la dinmica de los miembros de la familia es bastante compleja; es la
a
zona del caos.
Precisamente por la complejidad que encierra, es dif comprender tocil
do lo que sucede en esta zona. El diagrama de bifurcaciones es un buen
instrumento para iniciar su estudio, para darnos una primera idea de cmo
o
es la dinmica de las funciones que corresponden a los parmetros de esta
a
a
zona, para intentar desarrollar conjeturas al respecto. Veamos qu logramos
e
hacer.
16.2.
El trmino ventana fue introducido el siglo pasado en la dcada de los 70s por Robert
e
e
M. May, uno de los ms destacados pioneros del estudio de la familia log
a
stica. Su art
culo Simple mathematical models with very complicated dynamics, ver [21], es altamente
recomendable.
i
i
186
i
i
Cap
tulo 16. El diagrama de bifurcaciones de la familia
logstica
187
mente van apareciendo todos los periodos de la forma 2k 3.
Podemos corroborar estas apreciaciones.
La ventana de la que estamos hablando se llama ventana de periodo 3.
Se puede demostrar que sta empieza en el parmetro
e
a
= 3 = 1 +
8 = 3.82843 . . .
Vase el ejercicio 3.
e
La aparicin de una rbita de periodo 3 por primera vez en esta familia
o
o
es producto de una bifurcacin tangente.
o
En efecto, inspeccionando la grca de la tercera iteracin f concluimos
a
o 3
lo siguiente.
3
Para < 3 la grca de f cruza la recta y = x slo en el origen y en
a
o
(x , x ) que corresponde al punto jo de f ; por tal razn, an no existe
o
u
una rbita de periodo 3 para f , ver gura 16.8.
o
1.0
1.0
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0.0
0.0
0.2
0.4
0.6
0.8
1.0
0.0
0.0
0.2
0.4
0.6
0.8
1.0
i
i
188
1.0
0.8
0.6
0.4
0.2
0.0
0.0
0.2
0.4
0.6
0.8
1.0
a
a
ligeramente mayores que 3 , es claro que en un determinado momento el
multiplicador de la rbita de periodo 3 se vuelve negativo y eventualmente
o
adquiere el valor 1, tras lo cual necesariamente aparece periodo 6 atractor.
Ya conocemos este fenmeno, se trata de una bifurcacin de duplicacin de
o
o
o
periodo, slo que ahora a partir del periodo original 3. Nace, de esta manera,
o
periodo 6, posterirmente periodo 12 y as sucesivamente.
Estos hechos se notan en el diagrama de bifurcaciones. Nuevamente exhortamos al lector a explorar por s mismo este diagrama con ayuda de
i
i
Cap
tulo 16. El diagrama de bifurcaciones de la familia
logstica
189
1.0
0.7
0.8
0.6
0.6
0.5
0.4
0.4
0.2
0.3
0.0
0.0
0.2
0.4
0.6
0.8
1.0
0.3
0.4
0.5
0.6
0.7
i
i
190
Ejercicios
Ejercicio 16.1. Utilizando el diagrama de bifurcaciones, calcular en forma aproximada los parmetros i de bifurcacin de duplicacin de periodo para i = 4, 5, 6.
a
o
o
Ejercicio 16.2. Obtener nuevamente el diagrama de bifurcaciones utilizando diferentes condiciones iniciales y compararlos. qu observaciones puede hacer al
e
respecto?
Ejercicio 16.3. Comprobar, utilizando la mejor aproximacin que le sea posible
o
a partir del diagrama, que la ventana de periodo 3 empieza en el parmetro
a
= 3 = 1 + 8.
i
i
Cap
tulo 16. El diagrama de bifurcaciones de la familia
logstica
191
de las dos mayores ventanas, obviamente la de periodo 1 y la de periodo 3. Amplicando la zona entre estas dos ventanas, es obvio que las siguientes dos ventanas
mayores, son las de periodo 6 y 5. Lo anotamos as en orden:
,
Paso 1: 1
Paso 2: 1
Ahora, entre las ventanas de periodo 1 y 6, ubicamos las dos mayores de periodos respectivos A y B:
Paso 3: 1
Paso 5: 1
6
El problema consiste en determinar los valores de las letras empleadas para
designar las nuevas ventanas.
Ejercicio 16.6.
k
Analizando las grcas de f para k = 3, 4, 5 y 6, aproximar el valor de los
a
parmetros para los cuales una rbita de periodo k aparece por primera
a
o
vez.
i
i
192
Comentarios
Por si no bastara la proposicin 16.1, la situacin se complica ms an.
o
o
a u
Las ventanas corresponden a parmetros para los cuales existen rbitas
a
o
peridicas atractoras (excepto por los parmetros de bifurcacin de periodo
o
a
o
donde tales rbitas se vuelven neutras). La densidad de estas ventanas en
o
i
i
Cap
tulo 16. El diagrama de bifurcaciones de la familia
logstica
193
el intervalo ( , 4] pareciera hablar ms bien del predominio de dinmicas
a
a
estables. La realidad es que en estas ventanas coexisten dinmicas estables
a
con caticas. Por otra parte, las ventanas forman un conjunto denso, pero no
o
son la totalidad del intervalo ( , 4]. Entonces, Cmo es su complemento?
o
cmo es la dinmica de las funciones cuyos parmetros corresponden a este
o
a
a
complemento?
Una vez ms estas preguntas rebasaron con creces el terreno de la expea
rimentacin numrica; tras mltiples investigaciones y con el uso de diversas
o
e
u
herramientas matemticas, algunas bastante sosticadas, se lograron grana
des resultados, como los siguientes.
Teorema 16.2. Sea n N. Supongamos que es un parmetro en una
a
ventana de periodo n para el cual f tiene una rbita atractora (de periodo
o
2k n para algn k 0). Entonces, la cuenca de atraccin de esta rbita
u
o
o
atractora es un conjunto A , abierto y denso en el intervalo I = [0, 1]. Su
complemento, I \ A , es denso en ninguna parte y de medida cero.
Sabemos que si est en la ventana de periodo 1, es decir, (1, ),
a
f slo tiene un nmero nito de rbitas peridicas y el complemento de
o
u
o
o
la cuenca de atraccin es un conjunto numerable (o nito, si 1 < <
o
2) compuesto de imgenes inversas de todos los rdenes de dichas rbitas
a
o
o
peridicas.
o
Si ( , 4) la situacin es completamente distinta: f tiene por lo
o
menos una rbita peridica de periodo 2k q con q algn impar mayor que 1
o
o
u
y k 0. Por lo tanto, de acuerdo con Sharkovskii, f tiene una innidad
de rbitas peridicas distintas. Si f tiene una rbita peridica atractora,
o
o
o
o
toda la innidad restante de rbitas peridicas est en el complemento de
o
o
a
la cuenca de atraccin de la rbita atractora. En esta situacin tenemos lo
o
o
o
siguiente.
Teorema 16.3. Supongamos que es un parmetro en una ventana de
a
periodo n > 1 contenida en ( , 4) para el cual f tiene una rbita atraco
tora. Entonces la restriccin de f a I \ A contiene un conjunto de Cantor
o
invariante en el que la dinmica es catica.
a
o
En conclusin: bajo f conviven un conjunto abierto, denso, en el que
o
la dinmica es estable y un conjunto de Cantor en el que la dinmica es
a
a
catica.
o
i
i
194
i
i
Cap
tulo 17
Introduccin a la entrop
o
a
17.1.
e
Las letras griegas , , y representan cubiertas abiertas (ya sea de X o
de Y ).
Sean y dos cubiertas abiertas de X. Denimos
= {A B : A , B } .
195
i
i
i
196
:
Decimos que es un renamiento de , en s
mbolos < , si para todo
B , existe A tal que B A.
Las armaciones contenidas en la siguiente proposicin no son dif
o
ciles
de demostrar (ver ejercicio 5).
Proposicin 17.1. Sean , , y cuatro cubiertas abiertas de X. Eno
tonces
i) < y < ;
ii) < , y < ;
iii) si < , entonces < ; y
iv) si < , y < , entonces < .
Como X es compacto, entonces la cubierta abierta tiene al menos
una subcubierta nita. Si es una subcubierta nita de , || denotar la
a
cantidad de elementos de . Al m
nimo de estos nmeros le llamaremos
u
N (), es decir,
N () = m {|| | es subcubierta nita de } .
n
Obsrvese que N () 1.
e
Dadas dos cubiertas abiertas, y , de X se cumplen las siguientes
propiedades, ver ejercicos 1 y 2:
N () N (),
N ( ) = N (),
N ( ) = N () y
si ambas son de cardinalidad nita, entonces | | || ||.
Proposicin 17.2. Sean y dos cubiertas abiertas de X. Entonces
o
N ( ) N ()N ().
i
i
Cap
tulo 17. Introduccion a la entrop
a
197
N ()
Y =
Ai .
i=1
X=
f 1 (Ai ) .
i=1
i
i
198
{
(
)}
Como f 1 (A1 ) , f 1 (A2 ) , . . . , f 1 AN () ( es una subcubierta abier)
ta de f 1 () con N () elementos, entonces N f 1 () N ().
Supongamos ahora que f : ( Y ) suprayectiva. Sea una subcubierX
es
(
)
ta de f 1 () tal que || = N f 1 () . Sean Ai , 1 i N f 1 () ,
tales que
{
(
)}
= f 1 (A1 ) , f 1 (A2 ) , . . . , f 1 AN (f 1 ()) .
Entonces
N (f 1 ())
Y = f (X) =
Ai .
i=1
(
)
(
)
As N () N f 1 () . Por lo tanto N f 1 () = N ().
,
Dados n N, f : X X, y A un subconjunto de X, denotamos por
f n (A) a la imagen inversa de A bajo la funcin f n , es decir,
o
f n (A) = (f n )1 (A) = {x X|f n (x) A} .
Con respecto a imgenes inversas es bueno tener a la mano las siguientes
a
propiedades. Ver ejercicios 3 y 4.
Sean f : X X, y dos cubiertas abiertas de X y sea A X.
Entonces para toda pareja de nmeros naturales n y m se tiene lo siguiente:
u
f n (f m (A)) = f nm (A),
(f m )n (A) = f mn (A),
f n ( ) = f n () f n (), y
si < , entonces f n () < f n ().
Sean f : X X, y una cubierta abierta de X. Para cada n N
consideremos la cubierta:
n1 f i () = f 1 () f 2 () f (n1) () .
i=0
A partir de la pareja: f : X X y , obtenemos una sucesin de
o
cubiertas,
n1
, f 1 (), f 1 () f 2 (), , i=0 f i () , . . .
i
i
Cap
tulo 17. Introduccion a la entrop
a
199
o
u
(
)
(
)
N () N f 1 () N f 1 () f 2 ()
(
)
N n1 f i ()
i=0
Notemos que, una vez que jamos la pareja f y , el valor de
(
)
N n1 f i ()
i=0
slo depende de n. La idea central es descubrir que tan simple o complicado
o
es el sistema dinmico generado por f a travs del estudio de la rapidez de
a
e
crecimiento de esta sucesin cuando n tiende a innito:
o
{ ( n1 i
)}
N i=0 f () n=1 .
Intuitivamente una funcin sencilla, que mueve muy poco a los puntos de
o
X, estar relacionada con un)crecimiento lento o polinomial (con respecto
a
(
a n) del valor N n1 f i () . Una funcin con dinmica ms complicada
o
a
a
i=0
mover tanto los puntos de X que el crecimiento ser exponencial.
a
a
Para descubrir esta diferencia, entre crecimiento polinomial y crecimiento exponencial, intentaremos calcular el siguiente l
mite:
l
m
( (
))
1
log N n1 f i () .
i=0
n
(
)}
N n1 f i () n=1
i=0
i=0
te. La siguiente proposicin contiene el primer paso en esta direccin.
o
o
i
i
200
o igual a
( (
))
( (
))
log N f 1 () f m+1 () + log N () f n+1 () ,
con lo cual terminamos nuestra demostracin.
o
Obsrvese que del ejercicio 7 se concluye que para todo n en N se tiene
e
que
( (
))
1
log N n1 f i ()
i=0
n
i
i
Cap
tulo 17. Introduccion a la entrop
a
201
{
}
si y slo si
o
l sup (an ) = l inf (an ) = a0 .
m
m
Ver ejercicios 8 y 9.
Proposicin 17.6. Sea {an } una sucesin en R que cumple las siguieno
o
n=1
tes condiciones:
Para todo n N, an 0, y
para todo par de nmeros n, m en N, se tiene que an+m an + am .
u
{
}
Entonces el l n an s existe y su valor es
m
nf an |n N .
n
n
i
i
202
Como n = qm + r, entonces
=q y
l
m
As
,
l
m
(q
n
q
n
nr
nm .
q
1
= .
n
m
am +
ar ) am
,
=
n
m
an
am
.
n
m
l sup
m
{a
}
an
m
c =
nf
|m N .
n
m
an
n ,
entonces
i
i
Cap
tulo 17. Introduccion a la entrop
a
203
ent (f, ) = l
m
))
( k )1
( )n+1
1
() f k
()
n log ( N ( f
))
1
k () f 2k () f nk+k ()
l n n log (N ( f
m
1
l n n log N)) f 1 () f k+1 () f k ()
m
nk+1 ()
f
= l n
m
=
=
( (
))
1
= l n k nk log N f 1 () f nk+1 ()
m
= k ent(f, ).
La ultima igualdad se sigue del hecho de que
{
( (
))}
1
log N f nk+1 ()
nk
i
i
204
es una subsucesin de
o
}
{
( (
))
1
n+1
log N f
()
.
n
n=1
( )
Tenemos entonces que ent f k k ent(f, ) para cada cubierta de
( k)
X. Por lo tanto ent f k ent(f ).
Por otro lado, como
( )1
( )n+1
fk
() f k
() < f 1 () f nk+1 (),
entonces
(
l
m
1
nk
)
(
l
m
( (
))
( )1
( )n+1
k
k
log N f
() f
()
1
nk
( (
))
log N f 1 () f nk+1 () .
Y as
,
( )
( (
))
( )1
( )n+1
1
k
k
l
m
log N f
() f
()
ent(f, ).
n nk
Por lo tanto, para cada cubierta se tiene que
(
)
1
ent f k , ent(f, ) ent(f ).
k
( )
De aqu se sigue ( ) ent f k k ent(f ).
que
Por lo tanto ent f k = k ent(f ).
Ejemplo 17.11. Consideremos la circunferencia de radio 1, S1 = {z C| |z| = 1},
y un nmero racional, 0 p 1. La rotacin de ngulo p es la funcin,
u
o
a
o
q
q
1 , dada por la regla de correspondencia:
denida en S
p
f (z) = ze q
2i
i
i
Cap
tulo 17. Introduccion a la entrop
a
17.2.
205
consideramos el conjunto
}
{
Ex = p X|p Ax1 , f (p) Ax2 , . . . , f n1 (p) Axn .
(
)
N f 1 () f (n1) () k n .
As ent(f, ) log k y, por lo tanto, ent(f ) log k.
i
i
206
i
i
Cap
tulo 17. Introduccion a la entrop
a
207
Y
Y
g
entonces ent (f ) ent (g).
A partir de la proposicin 17.15 la demostracin del siguiente corolario
o
o
es inmediata. Ver ejercicio 16.
Corolario 17.16. Si en las hiptesis de la proposicin 17.15 se tiene adems
o
o
a
que h : X Y es un homeomorsmo, entonces ent (f ) = ent (g).
Para funciones denidas en intervalos la posibilidad de que la entrop
a
sea positiva tambin est relacionada con la transitividad topolgica.
e
a
o
Proposicin 17.17. Si la funcin f : [0, 1] [0, 1] es transitiva en [0, 1],
o
o
entonces la entrop de f es positiva.
a
Demostracin. Sea f : [0, 1] [0, 1] una funcin transitiva en [0, 1].
o
o
Por el ejercicio 22 del cap
tulo 8, sabemos que existe un punto w0 en el
intervalo abierto (0, 1) tal que f (w0 ) = w0 .
i
i
208
1
2
Subcaso 1b. w0 < w1 < 1.
Como f es transitiva, existen x, w0 < x < w1 , y m N tales que
f m (x) > w1 . Sea > 0 tal que para todo t (x , x + ) se tiene que
f m (t) > w1 . As f m (x ) w1 y f m (x + ) w1 . Sean B1 = [w0 , x ]
,
y B2 = [x + , w1 ]. Anlogo al subcaso 1a. se tiene que B1 B2 = .
a
Como f (w1 ) = w0 = f (w0 ), se sigue que B1 B2 es subconjunto de
f m (B1 ) y de f m (B2 ). Nuevamente por el lema 17.12, la entrop de f m y
a
la de f son positivas.
Caso 2. No existe w (0, 1), w = w0 , tal que f (w) = w0 .
Sean I0 = [0, w0 ] y I1 = [w0 , 1]. Observemos que para cualquier par de
puntos, s y t, en I0 no puede suceder que f (s) < w0 < f (t) ya que, por
el teorema del valor intermedio, esto nos llevar a concluir la existencia de
a
un punto w, en el intervalo (0,1), tal que f (w) = w0 , con w = w0 , lo que
contradice la hiptesis. Por lo tanto f (I0 ) I0 o f (I0 ) I1 . Situacin
o
o
anloga se vive en el intervalo I1 . Como f es transitiva en [0, 1] concluimos
a
que
f (I0 ) I1 , y f (I1 ) I0 .
Entonces f 2 (I0 ) I0 y f 2 (I1 ) I1 . Observe el lector que para todo
nmero par n se tiene que f n (I0 ) I0 , y para todo nmero impar n se
u
u
n (I ) I .
tiene que f
0
1
Sean 0 < a < b < w0 y 0 < c < d < w0 . Como f es transitiva, existe n
tal que f n (a, b) (c, d) ( . Como (c, d) I1 = , entonces n es par, digamos
= )
m
n = 2m. Por lo tanto f 2 (a, b) (c, d) = . Esto implica que la funcin
o
f 2 es transitiva en I0 . Y utilizando nuevamente el ejercicio ?? concluimos
que existe un punto w1 en el intervalo abierto (0, w0 ) tal que f 2 (w1 ) = w1 .
Observemos que tanto w0 como w1 son ambos puntos jos de f 2 . Si
f 2 ([w1 , w0 ]) [w1 , w0 ], entonces f 2 no ser transitiva en I0 . Por lo tanto
a
i
i
Cap
tulo 17. Introduccion a la entrop
a
209
Ejercicios
Ejercicio 17.1. Sean y dos cubiertas abiertas de X. Si < , entonces
N () N (),
N ( ) = N (), y
i
i
210
(A) = f mn (A).
)))
1 ( ( ( n1 i
log N i=0 f ()
n
siempre es nito.
i
i
Cap
tulo 17. Introduccion a la entrop
a
211
si y slo si
o
l sup (an ) = l inf (an ) = a0 .
m
m
Ejercicio 17.10. Sea {an }n=1 una sucesin en R acotada. Sea b R tal que
o
l sup (an ) < b. Entonces la cardinalidad del conjunto {an : an > b} es nita.
m
Ejercicio 17.11. Sean x0 X y f : X X la funcin dada por f (x) = x0 para
o
todo x en X. Entonces ent(f ) = 0.
Ejercicio 17.12. Sea f : [0, 1] [0, 1] la funcin dada por f (x) = 1x. Demostrar
o
que ent(f ) = 0.
Ejercicio 17.13. Si la cardinalidad de X es nita, entonces para toda funcin
o
f : X X se tiene que ent(f ) = 0.
i
i
212
Comentarios
Mostramos en esta parte que existen funciones que pueden tener entrop
a
innita.
Consideremos el Cubo de Hilbert,
Q=
I,
I = [0, 1].
n=0
i
i
Cap
tulo 18
Dinmica colectiva
a
n
dinmica de este tipo de rbitas cuando el conjunto A es un compacto no
a
o
vac
o.
En este cap
tulo hacemos una introduccin a este importante tema.
o
18.1.
i
i
214
Este m
nimo s se alcanza ya que B es un conjunto compacto. Ahora de
nimos d(A, B) as
:
d (A, B) = mx {d (a, B) : a A} .
a
Este mximo tambin est bien denido.
a
e
a
Observemos que este nmero d(A, B) no es una distancia. Imagine el
u
lector la siguiente situacin: Sean A y B elementos de 2X tales que A B
o
y A = B. Entonces tenemos que d(A, B) = 0 y A no es igual a B. A
continuacin explicamos cmo superar este problema.
o
o
Dados A y B elementos de 2X , denimos
h (A, B) = mx {d(A, B), d(B, A)} .
a
La siguiente proposicin nos dice que h(A, B) es una mtrica, es decir una
o
e
X . La demostracin de este hecho no es dif
forma de medir distancias en 2
o
cil,
as que en el ejercicio 1 los lectores son invitados a dar los argumentos
N (A, ) =
B (a, ) = {x X : existe a A, d (x, a) < } .
aA
Dados A y B en 2X , sea
j (A, B) = { > 0 : A N (B, ) y B N (A, )} .
nf
i
i
Cap
tulo 18. Dinamica colectiva
215
Por otro lado, y sin prdida de generalidad, podemos suponer que d (A, B)
e
es igual a . Entonces existe a0 A tal que d (a0 , B) = . De aqu que para
18.2.
La funcin inducida
o
2f (A)
i
i
216
18.3.
i
i
Cap
tulo 18. Dinamica colectiva
217
i=1
i
i
218
i
i
Cap
tulo 18. Dinamica colectiva
219
y
T N (c1 ) (b1 , b1 + ) [0, 1] ,
T N (c2 ) (b2 , b2 + ) [0, 1] ,
.
.
.
T N (cn2 1 ) (bn2 1 , bn2 1 + ) [0, 1] ,
{ N
}
T (cn2 ) , ..., T N (cn1 ) (bn2 , bn2 + ) [0, 1] .
La coleccin C = {c1 , c2 , ..., cn1 } cumple la condicin del lema.
o
o
La demostracin del siguiente lema es anloga a la demostracin del
o
a
o
lema 18.6, ver ejercicio 2.
Lema 18.7. Sean {a1 , a2 , ..., an1 } = A y {b1 , ..., bn2 } = B dos colecciones de
puntos en [0, 1] tales que n1 < n2 . Sea > 0. Entonces existe una coleccin
o
de(n2 puntos, {c1 , c2 , ..., cn2 } = C y existe N N tales h (A, C) < , y
)
( )N
h B, 2T
(C) < .
Ahora s ya estamos listos para demostrar la transitividad de la funcin
o
inducida por la Tienda.
Proposicin 18.8. La funcin inducida 2T : 2[0,1] 2[0,1] es transitiva.
o
o
Demostracin. Sean A, B dos elementos de 2[0,1] y sea > 0. Para cono
vencernos que 2T es transitiva es suciente demostrar que existe un conjunto compacto ) no vac y existe una N N tales que h (A, C) < y
C,
o,
( ( )
T N (C) < .
h B, 2
Como A y B son conjuntos compactos, existen dos colecciones de puntos:
{a1 , a2 , . . . , an1 } A, y {b1 , b2 , . . . , bn2 } B,
i
i
220
tales que A
i=1
n2
( )
( )
B ai ; 2 y B
B bi ; 2 .
i=1
(
{
})
h {b1 , . . . , bn2 } , T N (c1 ) , . . . , T N (cM ) < .
2
Sea C = {c1 , c2 , . . . , cM }. Observemos que
( ( )N
)
h (A, C) < y h B, 2T
(C) < .
n
n 2
.
=
T (0) y =
T
3
n=1
n=1
) 1
( )N
(F ) .
(C) , 2T
3
Como C es compacto, existe una coleccin nita de puntos {x1 , x2 , . . . , xn }
o
n
( )
B xi ; 2 .
en C tal que C
h (C, F ) < y h
((
2T
)N
i=1
i
i
221
Cap
tulo 18. Dinamica colectiva
Dado que los conjuntos y son densos en [0, 1] existen dos colecciones
de puntos en [0, 1], D = {d1 , . . . , dn } y E = {e1 , . . . , en }, tales que:
DyEy
Para toda i, 1 i n , |di xi | <
y |ei xi | < 2 .
({d1 , . . . , dn }) = {0} y T
{ }
2
({e1 , . . . , en }) =
.
3
(
{ })
(( )N
)
( T )N
2
T
h 2
(D) , 2
=
(E) = h {0} ,
3
Entonces,
h
o
(((
((
2T
)N
Adems
a
2
.
3
) ( )N
) 1
(C) , 2T
(D)
3
) 1
( )N
(C) , 2T
(E) .
3
En el primer caso, tomamos F = D; en el segundo, F = E.
h
2T
)N
18.4.
i
i
222
]
Como g 2n0 (U ) 1 , 1 y g 2n0 +1 (U ) 0, 1 , entonces una de estas dos
2
2
opciones es vlida: g 2n0 (U ) V = g 2n0 +1 (U ) V = . En cualquier
a
o
caso, existe[N ] N tal que g N (U ) V = .
Si U 1 , 1 = , entonces U est contenido en el intervalo [0, 1 ] y
a
2
2
[1 ]
g (U ) [en el intervalo 2 , 1 . Adems int (g (U )) = , por tanto existen a y
a
]
b en 1 , 1 , a < b, tales que (a, b) g (U ). Como existe n0 N tal que
2
i
i
Cap
tulo 18. Dinamica colectiva
223
]
( 2 )n 0
[
g
(a, b) = 1 , 1 , se sigue que
2
[
]
]
[
1
1
2n0 +1
2n0 +2
,1 = g
(U ) y g
(U ) = 0,
.
2
2
{
}
1
[0,1]
=
A2
: h (A, {0}) <
,
2
{
}
1
=
A 2[0,1] : h (A, [0, 1]) <
.
2
(2g )n (U ) V = .
Por tanto 2g no es transitiva en 2[0,1] .
Observacin. El ejemplo anterior tambin nos dice que la siguiente implio
e
cacin no es cierta en general: Si f : X X es catica segn Devaney,
o
o
u
entonces la funcin inducida 2f : 2X 2X es catica segn Devaney.
o
o
u
i
i
224
18.5.
De lo colectivo a lo individual
( )
peridicos. En trminos generales, la densidad de P er 2f en 2X no implica
o
e
la densidad de P er(f ) en X. Esta situacin tiene algo de sorprendente.
o
( )
Supongamos que el espacio X es compacto y el conjunto P er 2f es denso
en 2X . Dados un punto en X, digamos x0 , y un valor positivo muy pequeo,
n
, existe un conjunto compacto A y un nmero natural N tales que
u
h ({x0 } , A) <
f N (A) = A.
i
i
Cap
tulo 18. Dinamica colectiva
225
2
2
Como 2f tiene densidad de puntos peridicos, existen A 2[0,1] y N N
o
N (A) = A.
tales que h ({x0 } , A) < y f
Por tanto, A (a, b). Sean = m A y = mx A.
n
a
N (A) = A, entonces
Tenemos a < < b. Como f
f N ()
f N () .
18.6.
i
i
226
{
}
Sea S 1 = (x, y) R2 : x2 + y 2 = 1 . En notacin de nmeros compleo
u
1 es el conjunto {z C : |z| = 1}.
jos, S
Para cada n N denimos la funcin fn : S 1 S 1 as
o
:
( )
2
fn (z) = fn ei = ei(+ n ) .
Es decir, cada fn es una rotacin en S 1 de ngulo 2 . Es inmediato que
o
a
n
para cada n N, P er (fn ) = S 1 , y para todo z S 1 , el periodo de z bajo
fn es n.
1
Sea X =
S . Es decir,
n=1
{
}
X = t = (t1 , t2 , . . .) : tn S 1 , para toda n N .
Si d representa la metrica en S 1 , entonces la metrica en X est dada as
a
:
( ) d (tn , sn )
d t, s =
.
2n
n=1
i
i
Cap
tulo 18. Dinamica colectiva
227
( )
Proposicin 18.15. El conjunto P er 2f es denso en 2X .
o
Demostracin. Paso uno. Sean t = (t1 , t2 , t3,... ), un punto en X, y un valor
o
positivo.
{}
El conjunto t es un elemento de 2X . Demostraremos que existen B
( )N
({ } )
2X y N N tales que 2f (B) = B y h t , B < .
1
Como la serie
2n es convergente, existe M N tal que
n=1
( )
diam S 1
< .
n
2
2
n=M +1
Sea N el m
nimo comn mltiplo de {1, 2, 3, . . . , M }. Observemos que
u
u
para cada ti , 1 i M , se tiene que fiN (ti ) = ti ya que la coordenada ti
es un punto peridico de la rotacin fi de periodo i.
o
o
()
Como las primeras M coordenadas de t y f N t coinciden, se tiene que
(
( ))
d t, f N t < 2 .
()
De hecho tenemos un poco mas: Para todo j N se tiene que t y f jN t
coinciden en las primeras M coordenadas, as
:
( jN ( ))
d t, f
t < .
2
( N)
( )
i=1
( )
B ai ,
.
2
y f Ni (Bi ) = Bi .
h ({ai } , Bi ) <
2
i
i
228
o
es transitiva en 2X , pero f no tiene densidad de puntos peridicos en X (ver
o
[14]). Este ejemplo muestra que es posible que 2f : 2X 2X s sea catica
o
en 2X mientras que f : X X no es catica en X.
o
Ejercicios
Ejercicio 18.1. Demostrar la proposicin 18.1.
o
Ejercicio 18.2. Demostrar el lema 18.7.
Ejercicio 18.3. Demostrar que el hiperespacio 2[0,1] es un conjunto perfecto.
Ejercicio 18.4. Sean X =
n=1
()
f t = f (t1 , t2 , t3 , . . .) = (f1 (t1 ) , f2 (t2 ) , f3 (t3 ) , . . .) ,
donde para cada n N la funcin fn : S 1 S 1 es la rotacin
o
o
( )
2
fn (z) = fn ei = ei(+ n ) .
Demostrar que la funcin inducida 2f : 2X 2X no es transitiva.
o
Ejercicio 18.5. Dado X compacto y n N denimos el hiperespacio Fn (X) de
la siguiente forma:
{
}
Fn (X) = A 2X : |A| n .
A este hiperespacio se le conoce como el n producto simtrico de X. Aqu |A|
e
i
i
Cap
tulo 18. Dinamica colectiva
229
A es un conjunto compacto, contenido en el intervalo [0, 1], tal que dado cualquier
compacto B, B [0, 1], y dado cualquier valor positivo , existe n tal que la
distancia de Hausdor de T n (A) a B es menor que .
Sea A un conjunto compacto con rbita densa bajo 2T . Demostrar lo siguiente:
o
A es un conjunto de cardinalidad innita.
A no contiene puntos peridicos bajo la funcin T .
o
o
Para todo a en A se tiene que o(a, T ) forma un conjunto denso en [0, 1].
Si a A, entonces a es un nmero irracional.
u
i
i
i
i
Bibliograf
a
i
i
232
Bibliograf
a
[10] M. Denker, Ch. Grillenberger y K. Sigmund, Ergodic Theory on Compact Spaces, Lectures Notes in Math. 527, Springer-Verlag, Berlin, 1977.
[11] R. L. Devaney, An Introduction to Chaotic Dynamical Systems, Second
Edition, Addison-Wesley, Redwood City, 1989.
[12] R. L. Devaney, A First Course in Chaotic Dynamical Systems: Theory
and Experiments, Addison-Wesley, Redwood City, 1992.
[13] B. Espinosa, Introduccin a la entrop topolgica, Tesis de licenciatura,
o
a
o
Facultad de Ciencias, UNAM, 2006.
[14] J. L. Garc D. Kwietniak, M. Lampart, P. Oprocha y A. Peris, Chaos
a,
on hyperspaces, manuscrito, 2008.
[15] J. Graczyc y G. Swiatek, Generyc Hyperbolicity in the Logistic Family,
Annals of Mathematics (2) 146, no. 1 (1997), 1-52.
[16] J. L. Gutirrez y F. Snchez, Matemticas para las ciencias naturales,
e
a
a
Aportaciones Matemticas, Serie Textos, No. 11, SMM, Mxico, 1998.
a
e
[17] P. Hernndez, J. King y H. Mndez, Compact sets with dense orbit in
a
e
2X , Topology Proceedings, Vol. 40, (2012), 319-330.
[18] M. Hirsch, S. Smale y R. Devaney, Dierential equations, dynamical
systems, and an introduction to chaos, Academic Press, 2003.
[19] J. G. Hocking y G. S. Young, Topology, Dover Publications, New York,
1996.
[20] R. A. Holmgren, A First Course in Discrete Dynamical Systems, Segunda Edicin, Springer-Verlag, New York, 1996.
o
[21] R. May, Simple mathematical models with very complicated dynamics,
Nature 261, (1976), 459-467.
[22] H. Mndez, Iteracin de funciones. Una introduccin a los sistemas
e
o
o
dinmicos discretos, V
a
nculos Matemticos, 2000-4, Departamento de
a
Matemticas, Facultad de Ciencias, UNAM.
a
[23] H. Mndez, On intervals, sensitivity implies Chaos, Revista Integrae
cin, Vol. 21, Nos. 1 y 2, (2003), 15-23.
o
i
i
Bibliograf
a
233
i
i
234
Bibliograf
a
http://www.emporia.edu/hyanik/Chaos/Bifurcation.htm
Ejemplos de sistemas dinmicos:
a
http://www.dean.usma.edu/math/research/mathtech/java/DDSProject/ddsproject.html
Un link de links interesantes:
http://ecademy.agnesscott.edu/jwiseman/mat311/links.html
Las pginas de Robert L. Devaney:
a
http://math.bu.edu/people/bob/
y
http://math.bu.edu/DYSYS/applets/
i
i