Vous êtes sur la page 1sur 5

Tarea No.

1
Sistemas Dinmicos
Edgar Martinez 140238

24 de septiembre de 2017

1. Funcin Catica
Definicin 1.1. Decimos que f : X X es una funcin catica o que genera
un sistema dinmico catico si cumple que:
i) f es transitiva.
ii) El conjunto per(f ) es denso.
iii) f es sensible a condiciones iniciales.

Definicin 1.2. Sea f : X X una funcin. Decimos que f es topolgica-


mente transitiva en X si para toda pareja de subconjuntos abiertos U, V X
existe n N tal que f (n) V 6 .

Definicin 1.3. Sea X un espacio mtrico y D X . Decimos que D es denso


en X si para cualquier abierto U X y U 6= , entonces U D 6= .

Definicin 1.4. Decimos que f : X X es sensible a condiciones iniciales


si existe 0 > 0 fijo tal que para toda x X y para toda > 0 existen
y B(x, ) y n N tales que d(f n (x), f n (y)) 0 .

1
Sea T : [0, 1] [0, 1] tal que

si x [0, 21 ]
T (x) =
2x
2 2x si x ( 21 , 1]

Proposicin 1.5. Para todo n N y para cada m {0, 1, 2, ..., 2n 1} se


tiene que:
 
n  m m+1
T | m , m+1 : n ,
 [0, 1]
2n 2n 2 2n
es un homeomorfismo.

Demostracin. Por induccin matemtica sobre n.


Base de la Induccin Sea n = 1, entonces m {0, 1}. Por lo tanto tenemos
dos casos:
 
1. T |  : 0, 1 [0, 1].
0, 12 2
 
2. T | 1 ,1 : 12 , 1 [0, 1].
2

En el caso 1, T (X ) = 2x la cual es una funcin lineal, por lo tanto es biyectiva,


continua y tiene inversa continua.
En el caso 2, T (x) = 22x la cual tambin es una funcin lineal e igualmente
un homeomorfismo.
Hiptesis de Induccin Suponemos que la afirmacin se cumple para n = k.
Por demostrar que la afirmacin tambin se cumple para n = k + 1.
 m m+1 
Observemos que 2k+1 , 2k+1 [0, 21 ] si m (2k 1) ya que cuando se cumple
la igualdad tenemos que el intervalo anterior es

 2k 1 2k 1 + 1   1 1 2k   1 1 1
, , , .
2k+1 2k+1 2 2k+1 2k+1 2 2k+1 2
= =

 m m+1 
Por otro lado, 2k+1 , 2k+1 [ 21 , 1] si m 2k , ya que si evaluamos en el
intervalo tenemos
 2k 2k + 1   1 1 1 
, , .
2k+1 2k+1 2 2 2k+1
= +

2
En el primer caso, m (2k 1), T k+1 se puede expresar como
 m m + 1 T  m m + 1 Tk
, k,
[0, 1]
2k+1 2k+1 2 2k
por hiptesis de induccin T k es homeomorfa y T es homeomorfa por ser
subconjunto de los dominios anteriores. Por lo tanto
 
n  m m+1
T | m , m+1 : n ,
 [0, 1]
2n 2n 2 2n
es un homeomorfismo.
En el segundo caso, m 2k , T k+1 se puede expresar como T k+1 se puede
expresar como
 m m + 1  T  2k+1 mm 1 2k+1 m  T k
,
, [0, 1].
2k+1 2k+1 2k 2k
La primera funcin es un homeomorfismo y como 2k m (2k+1 1)
entonces

2k m (1 2k+1 )
(2k1 2k 1) (2k+1 m 1) 0
2k 1 2k+1 m 1 0

As la segunda funcin tambin por hiptesis de induccin es un homeomor-


fismo.
Proposicin 1.6. Sea (a, b), a < b, un subintervalo de (0, 1). Entonces existe
k N tal que T k (a, b) = [0, 1].

Demostracin. Como a < b, entonces 0 < b a, as, existe k N talque


< ba
1 1
2k
, ya que lm k = 0.
2 k 2
j i+1
Sea i = max{j : 2k
a}. Si 2k
6 (a, b) entonces
i i+1
k
a<b k
2 2
y
1 ba
ba< k

2 2
3
. lo cual es una contradiccin. As tenemos el limite inferior del intervalo.
Ahora para encontrar el limite superior tomemos el punto i+2 2k
. Si i+2
2k
6 (a, b)
entonces tenemos que
i i+2
k
a<b k
2 2
,
2 ba 1
b a < k por lo tanto < k
2 2 2
 i+1 i+2 
 m m+1  Por lo tanto 2k , 2k (a, b). Tomando a
. Lo cual es una contradiccin.
m = i + 1se tiene 2k , 2k (a, b). Por la proposicin 1.5, tenemos que
T k 2mk , m+1
2k
= [0, 1]. Tomando n = k,
 
n m m+1
[0, 1] = T , T n (a, b) = [0, 1].
2n 2n

Por lo que T n (a, b) = [0, 1].


Proposicin 1.7. Sea f : [a, b] R.
1. Si f ([a, b]) [a, b], entonces f tiene un punto fijo en [a,b].
2. Si f ([a, b]) [a, b], entonces f tiene un punto fijo en [a,b].

Lema 1.8. El conjunto per(T ) es denso.

Demostracin. Sea (a, b) [0, 1] con a < b. Tomamos k N talque 21k <
ba
 2m . Entonces existe un valor m en elconjunto {0, 1, 2, ..., 2k 1} tal que
, m+1 (a, b). Como T k 2k+1
m
, m+1

2k+1 2k+1 2k+1
= [0, 1], podemos aplicar la propo-
m
n
sicin 1.7 a la funcin T . As concluimos que existe x0 2k+1 , m+1
2k+1
(a, b)
tal que T n (x0 ) = x0 .
Lema 1.9. La funcin T es topolgicamente transitiva en [0,1].

Demostracin. Sean U y V dos subconjuntos de [0, 1] abiertos y no vacos.


Entonces existe un intervalo abierto (a, b), a < b, contenida en U y, por la
proposicin 1.6 existe k N tal que T k (a, b) = [0, 1]. De aqu se sigue que
T n (U) V 6= .
Lema 1.10. La funcin T es sensible a condiciones iniciales.

4
Demostracin. Sea 0 = 12 . Tomemos x [0, 1] y > 0. Por la proposicin
1.6 existe k N tal que

T n ((x , x + ) [0, 1]) = [0, 1].

Por lo tanto existen en el intervalo (x , x + ) [0, 1]) dos puntos, digamos


y1 y y2 , tales que T n (y1 ) = 0 y T n (y2 ) = 1, por lo tanto,

|T n (x) T n (y1 )| 1
2
o |T n (x) T n (y2 )| 1
2

Por lo tanto la funcin T es sensible a condiciones iniciales.


Ejemplo 1.11. Sea T : [0, 1] [0, 1] tal que

si x [0, 12 ]
T (x) =
2x
2 2x si x ( 21 , 1]

demostrar que T es una funcin catica.

Demostracin. Por los lemas 1.8, 1.9 y 1.10 podemos concluir que la funcin
T es catica.