Actividad 1

El Teorema de Sarkovskii
Considere el siguiente orden en los n
umeros naturales:
3 5 7 2 3 2 5 22 3 22 5 23 3 23 5 23 22 2 1.
Esto es, primero enliste los n
umeros impares excepto uno, seguido de 2 por los
impares excepto uno, 22 por los impares excepto uno, 23 por los impares excepto
uno, etc. Esto enlista todos los n
umeros naturales con excepcion de las potencias
de 2 las cuales enlistamos al final en orden decreciente.
Teorema de Sarkovskii. Suponga que f : R R es continua. Suponga
que f tiene un punto periodico de perodo primo k (esto significa que existe
x R tal que f k (x) = x y k es el menor entero positivo que satisface esta
ecuacion). Si k en el orden de arriba, entonces f tambien tiene un punto
periodico de perodo primo .
1. Primero demostramos la siguiente version debil:
Teorema. Sea f : R R continua. Suponga que f tiene un punto periodico de perodo primo 3 entonces f tiene puntos periodicos de todos los otros
perodos.
Prueba.
Lema 1. Si I y J son intervalos cerrados con I J y f (I)
J, entonces f tiene un punto fijo en I (Usa el teorema del valor
intermedio).
Lema 2. Si A0 , A1 , . . . ,An son intervalos cerrados y f (Ai ) Ai+1
para i = 0, . . . , n 1 (decimos que f (Ai ) cubre a Ai+1 ). Entonces
existe al menos un subintervalo J0 de A0 que es enviado sobre A1 (o
sea, f (J0 ) = A1 ). Existe un subintervalo de A1 que es enviado sobre
A2 , as que existe un subintervalo J1 de J0 que tiene la propiedad que
f (J1 ) A1 y f 2 (J1 ) = A2 . Continuando este proceso, encontramos
una sucesion de intervalos encajados que son enviados en los varios
Ai en orden. As que existe x A0 tal que f i (x) Ai para cada i.
[Hint: Si A0 = [a0 , b0 ] e A1 = [a1 , b1 ], entonces existen f 1 (a1 )
[a0 , b0 ] y f 1 (b1 ) [a0 , b0 ] que realizan la distancia en R entre los
dos conjuntos compactos f 1 (a1 )[a0 , b0 ] y f 1 (b1 )[a0 , b0 ]. Verifica
que se puede tomar J0 como el intervalo cerrado determinado por
y .]
Sean a, b, c R tales que a < b < c y que forman un 3-ciclo para f ,
entonces existen basicamente dos posibilidades:
Caso 1. f (a) = b, f (b) = c, f (c) = a,
Caso 2. f (a) = c, f (c) = b, f (b) = a.

Haremos la prueba para el caso 1 (Al final de la prueba para este

caso, verifica que la prueba para el caso 2 es similar): Sea I0 = [a, b],
I1 = [b, c]. Verifica que f (I0 ) I1 y que f (I1 ) I0 I1 . Demuestra
que hay un punto fijo de f en I1 .
Demuestra que f 2 tiene puntos fijos entre a y b y que alguno tiene
perodo primo dos.
Sea n > 3. Define inductivamente una sucesion encajada de intervalos
A0 , A1 , . . . , An1 como sigue:
A0 := I1
Demuestra que existe subintervalo
A1 A0 tal que f (A1 ) = A0 = I1 .
Demuestra que existe subintervalo
A2 A1 tal que f (A2 ) = A1 y f 2 (A2 ) = I1 .
Continuando de esta forma, demuestra que existe subintervalo
An2 An3 tal que f (An2 ) = An3 y f n2 (An2 ) = I1 .
Demuestra que existe un subintervalo
An1 An2 tal que f n1 (An1 ) = I0 y f n (An1 ) I1
Concluye que f n tiene un punto fijo, p, en An1 y que este punto es
un punto periodico para f , de perodo primo n.
Ilustra todo el procedimiento para el caso n = 5.

Prueba del Teorema de Sarkovskii.
a) Para dos intervalos cerrados, I1 e I2 , usamos la notacion I1 I2 si
f (I1 ) cubre a I2 .
Lema 3. Si existe una sucesion de intervalos
I1 I2 . . . In I1 ,
entonces existe un punto fijo para f n en I1 .
b) CASO 1. Primero, suponga que f tiene un punto periodico x de
perodo impar n, con n > 1. Ademas, suponga que f no tiene puntos
periodicos de perodo impar menor que n (y mayor que uno). Sean
x1 < x2 < . . . < xn
los puntos de la orbita de x. Sea i el n
umero mas grande tal que
f (xi ) > xi . Demuestra que i < n y que I1 = [xi , xi+1 ] satisface
I1 I1 .

c) Si O2 denota a la union de los intervalos de la forma [xj , xj+1 ] tales

que I1 [xj , xj+1 ], entonces O2 I1 , pero O2 6= I1 (despues veremos que O2 es la union de precisamente dos tales intervalos).
d ) Sea O3 la union de los intervalos de la forma [xj , xj+1 ] que son cubiertos por la imagen de alg
un intervalo en O2 . Inductivamente, sea O+1
la union de los intervalos que son cubiertos por la imagen de alg
un
intervalo en O . Observa que si I+1 es cualquier intervalo en O+1 ,
entonces existe una coleccion de intervalos I2 , . . . , I con Ij Oj que
satisface
I1 I2 . . . I I+1 .
e) Prueba que para cada k 2, se tiene que Ok Ok+1 . Concluye
que existe un para el cual O+1 = O y O contiene a todos los
intervalos de la forma [xj , xj+1 ].
f ) Usa que n es impar para demostrar que existe un intervalo [xj , xj+1 ]
diferente de I1 cuya imagen cubre a I1 . Concluye que existe una
cadena de intervalos
I1 I2 . . . Ik I1
donde cada I es de la forma [xj , xj+1 ] para alg
un j y donde I2 6= I1
(no se supone que I O ).
[sug. : Si I1 = [xi , xi+1 ], considera los dos conjuntos A = {x1 , . . . , xi },
B = {xi+1 , . . . , xn }, como n es impar, uno de estos dos conjuntos
tiene mas elementos. Suponer sin perdida de generalidad que A tiene
mas elementos. Demuestra que, al aplicar f , algunos puntos de A se
quedan en A y otros van a B.]
g) Sea k el menor entero positivo tal que
I1 I2 . . . Ik I1
es la cadena mas corta de I1 I1 (excepto por supuesto I1 I1 ).
Demuestra que k = n 1 y en consecuencia, no se puede tener I
Ij para cualquier j > + 1. [Esta u
ltima afirmacion demuestra el
comentario al final de c).]
h) Demuestra que la orbita de x debe estar ordenada de dos formas
posibles como en la figura:
i) As que se tiene un diagrama como el de la siguiente figura:
j ) Verifica que los perodos mayores que n se obtienen por ciclos de la
forma
I1 . . . In1 I1 . . . I1 .
Mientras que los perodos pares mas peque
nos que n se obtienen por
ciclos de la forma:
In1 In2 In1 ,
In1 In4 In3 In2 In1 ,
etc.

k ) CASO 2. Suponga que n es par y que no se tiene un perodo impar

(mayor que uno) y menor que n.
Si algunos de los xi s cambian de lado (de I1 ) y otros no, entonces
se tiene que n = 2 o
In1 In2 In1 ,
por tanto se tiene un punto de perodo dos.
Si todos los xi s cambian de lado (del I1 ), entonces se tiene un
punto de perodo dos para f en [x1 , xi ].
No puede suceder que todos los xi s permanezcan de su mismo
lado (del I1 ).
Por tanto, f tiene un punto de perodo 2.
l ) Subcaso 1. Suponga n = 2m , sea k = 2 con < m y defina g = f k/2 .
Demuestra que g tiene un punto de perodo 2m+1 y por tanto, un
punto de perodo dos. Concluye que este punto (el de perodo dos
para g) tiene perodo para f .
[Los siguientes ejercicios te pueden ayudar:
1) Sea x un punto de perodo primo
 m para f y suponga que n
satisface f n (x) = x, entonces m n
2) Si x es un punto de perodo primo m para f , entonces es un
m
punto de perodo primo (m,n)
para f n .
3) Si x es un punto de perodo primo k para f n , entonces es un

punto de perodo primo kn
s , donde s n y (s, k) = 1. ]
m) Subcaso 2. Si n = p 2m , con p impar, entonces
Demuestra que f tiene un punto de perodo q 2m con q par.
Demuestra que f tiene un punto de perodo q 2m , con q impar,
q > p.
Demuestra que f tiene un punto de perodo 2 con m.
Concluye para el subcaso 2.

2. Ejemplo de funcion de perodo 5 pero que no tiene perodo 3:
f : [1, 5] [1, 5]
f (1) = 3
f (3) = 4
f (4) = 2
f (2) = 5
f (5) = 1.
Suponga que f es lineal entre los enteros, o sea, tiene grafica como se
muestra:

Verifica que
f 3 [1, 2] = [2, 5]
f 3 [2, 3] = [3, 5]
f 3 [4, 5] = [1, 4]
Por tanto, f 3 no tiene punto fijo en ninguno de estos tres intervalos. Verifica que el punto fijo de f 3 en [3, 4] es u
nico y por tanto es el punto fijo
de f en [3, 4].
3. La grafica a continuacion produce perodo 7 pero no perodo 5:
b