UNIVERSIDAD DE ORIENTE

UCLEO DE SUCRE
ESCUELA DE CIENCIAS
DEPARTAMENTO DE MATEM

ATICAS
CONDICIONES NECESARIAS Y SUFICIENTES PARA LA ESTABILIDAD
ESTRUCTURAL DE SISTEMAS DIN

AMICOS UNIDIMENSIONALES
(Modalidad: Investigacion)
MAR

IA TERESA MALAV

E RAM

IREZ
TRABAJO DE GRADO PRESENTADO COMO REQUISITO PARCIAL PARA
OPTAR AL T

ITULO DE LICENCIADA EN MATEM

ATICA
CUMAN

A, 2006
CONDICIONES NECESARIAS Y SUFICIENTES PARA LA ESTABILIDAD
ESTRUCTURAL DE SISTEMAS DIN

AMICOS UNIDIMENSIONALES
APROBADO POR:
Prof. Mario Cavani
Asesor Academico
Prof. Fernando Sanchez
Asesor Externo
II
DEDICATORIA
A Dios, rey del universo que con su luz y sabidura impenetrables e insondables me
ilumino para culminar exitosamente mis estudios.
A Cristo resucitado, que me ha indicado el camino a seguir y me regalo la vocacion
para estudiar matematicas.
A la virgen de Chiquinkira por ser mi compa nera y amiga en mi estada en Mara-
caibo.
A mis padres Nellys Ramrez y Jes us Malave por haber hecho de mi todo lo que soy,
por brindarme su amor, apoyo y comprension incondicional y por estar all a un en
los momentos mas difciles.
A mis abuelos y demas familiares, en especial a mi abuelo Rodulfo que desde el
cielo me ha cubierto de bendiciones y debe estar muy orgulloso de m.
A mi novio Franklin Astudillo por amarme y apoyarme siempre y llenar mi vida de
alegra.
A mis amigos y compa neros de estudio; en especial a Johan Anton por haberme brin-
dado su valiosa amistad.
III
AGRADECIMIENTO
Al Dr. Fernando Sanchez, por haberme dado el privilegio de asesorarme.
Al Departamento de Matematicas de la Universidad del Zulia, por toda la
colaboracion prestada.
Al Dr. Mario Cavani, por ser mi asesor academico, por apoyarme y haberme dado
los conocimientos basicos para emprender esta investigacion.
A todos mis profesores que de alguna u otra manera colaboraron en mi formacion
academica.
A los tecnicos de la Sala de Calculo por toda la ayuda brindada.
IV

INDICE
LISTA DE FIGURAS VI
RESUMEN VII
INTRODUCCI

ON 1
1 DEFINICIONES Y EJEMPLOS EN SISTEMAS DIN

AMICOS 5
1.1 DEFINICIONES B

ASICAS . . . . . . . . . . . . . . . . . . . . 5
1.2 EQUIVALENCIA DE SISTEMAS DIN

AMICOS . . . . . . . . . . . . 9
1.3 CONJUNTOS L

IMITES . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 ESTABILIDAD DEL EQUILIBRIO . . . . . . . . . . . . . . . . . . . 19
2 EXISTENCIA DE

ORBITAS PERI

ODICAS 23
3 EJEMPLO DE LA FAMILIA CUADR

ATICA 28
3.1 CASO 1: 0 < 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2 CASO 2: 1 < < 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.3 CASO 3: 3 < 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.4 F
4
ES CA

OTICA EN [0, 1]. . . . . . . . . . . . . . . . . . . . . . . . 35

4 HIPERBOLICIDAD 43
4.1 CONSTRUCCI

ON DIN

AMICA DE UN CONJUNTO DE CANTOR 43

4.2 DIN

AMICA SIMB

OLICA . . . . . . . . . . . . . . . . . . . . . . . . 51
4.3 ESPACIO DE LOS ENDOMORFISMOS C
r
DIFERENCIABLES . . 56
4.4 PROPIEDADES GEN

ERICAS . . . . . . . . . . . . . . . . . . . . . 59
4.5 TEOREMA DE HARTMAN . . . . . . . . . . . . . . . . . . . . . . . 66
4.6 ESTABILIDAD LOCAL DE REPULSORES HIPERB

OLICOS . . . . 69
5 F

ES ESTRUCTURALMENTE ESTABLE PARA > 4 72

6 AXIOMA A EN ENDOMORFISMOS DE CLASE C
1
Y C
2
87
6.1 CONDICIONES NECESARIAS PARA LA ESTABILIDAD . . . . . 87
6.2 CONDICIONES SUFICIENTES PARA LA ESTABILIDAD . . . . . 95
CONCLUSIONES 100
RECOMENDACIONES 101
BIBLIOGRAF

IA 102
AP

ENDICE
V
LISTA DE FIGURAS
1. Diagrama de fase 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2. Analisis graco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3. Diagrama conmutativo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4. Ilustracion del teorema de punto jo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5. Analisis graco de F

para 0 < 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
6. Diagrama de fase 2: 1 < < 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
7. Diagrama de fase 3: 2 < < 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
8. Graca de F

para < 3, = 3 y > 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

9. Diagrama de bifurcacion del mapa logstico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
10. h(x) = 1 cos
2
(

2
x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
11. Mapa tienda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
12. Evidencia de caos en el mapa tienda y en el mapa logstico . . . . . . . . . . . . . . . . . 42
13. Mapa logstico > 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
14. F

(x) = x(1 x), = 4.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

15. Funcion C

1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
16. Funcion C

2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
17. Diagrama de fase 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
18. Diagrama de fase 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
19. Diagrama de fase 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
20. Diagrama de fase 7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
21. Diagrama de fase 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
22. Ilustracion del itinerario de un punto x en h

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
23. Diagrama conmutativo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
24. Los puntos periodicos de f y g son diferentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
VI
RESUMEN
En este trabajo se estudiaron algunas de las propiedades de los sistemas dinamicos
diferenciables a tiempo discreto; comenzando con ciertas deniciones basicas que
faciliten la comprension de los resultados posteriores; haciendo uso de la dinamica
de la familia cuadratica para ejemplicar las ideas de bifurcacion, caos y estabilidad
estructural; introduciendo la idea de hiperbolicidad , conjuntos hiperbolicos y esta-
bilidad local y nalizando con ciertos teoremas generales que garantizan la estabili-
dad estructural de la familia de endomorsmos de clase C
1
y C
2
de la recta y el
intervalo. Se demuestra que una de las condiciones sucientes para que un mapa
sea estructuralmente estable es que cumpla con las condiciones del llamado axioma
A.
VII
INTRODUCCI

ON
En la formulacion de un sistema dinamico se incluyen tres aspectos funda-
mentales:
(a) Un conjunto X, llamado espacio de fases, cuyos elementos representan los posi-
bles estados del fenomeno o proceso modelado.
(b) Un eje temporal T, que puede ser discreto o continuo. La sucesion de los momen-
tos de tiempo discreto para un proceso invertible esta identicado con el conjunto Z
y si el proceso es no invertible con N. Similarmente, cuando los momentos de tiempo
son continuos, entonces esta identicacion se da con R o R
+
respectivamente.
(c) Una ley de evolucion temporal F, que determina el estado presente del sistema
como funcion de sus estados anteriores.
En conclusion, un sistema dinamico se dene como una terna (X, T, F), donde
X representa el espacio de fases del sistema (conjunto de los estados); T es el conjunto
donde se mide el tiempo (Z, N, R o R
+
) y F : T X X es la ley de evolucion o
ujo del sistema, la cual cumple las siguientes propiedades:
(i) F(0, x) = x, x X (no hay evolucion en el instante t = 0).
(ii) F(s +t, x) = F(s, F(t, x)) s, t T x X.
Si la regla es aplicada a tiempos discretos se denomina sistema dinamico
discreto. En este caso, la ley de evolucion temporal toma la forma de una ecuacion
en diferencias nitas del tipo
x
n+1
= F(x
n
, , x
nk+1
). (1)
El n umero k 1 puede ser interpretado como una memoria o retardo del
sistema. Si el tiempo es continuo, la ley de evolucion temporal toma la forma de un
grupo o un semigrupo de transformaciones del espacio de estados. En el caso dife-
renciable, estos grupos estan generados por campos vectoriales o ecuaciones diferen-
ciales. En esta tesis solo se consideraron sistemas dinamicos a tiempo discreto.
Cuando el sistema es a tiempo discreto, se denominan orbitas del sistema
2
a las sucesiones x
n
generadas por la relacion de recurrencia que dena la ley de
evolucion temporal F.
Todo sistema dinamico discreto de memoria nita es equivalente a un sistema
con memoria k = 1. En efecto, si se introducen las nuevas variables
y
1
= x
0
, y
2
= x
1
, , y
k
= x
k1
, (2)
la relacion de recurrencia (1) toma la forma Y
n+1
= F(Y
n
), donde Y = (x
0
, , x
k
).
De manera que las sucesiones x
n
estan en correspondencia biunvoca con las suce-
siones Y
n
. Por esta razon, en esta tesis se consideraron solo sistemas dinamicos
a tiempo discreto con memoria uno, cuyas orbitas estan dadas por la relacion de
recurrencia x
n+1
= F(x
n
). Si F es invertible, se dice que el sistema es reversible; en
caso contrario, es irreversible.
Puede decirse que el objeto de la teora de sistemas dinamicos es determi-
nar los tipos posibles de orbitas de un sistema y la relacion entre los mismos.

Esta
caracterizacion se hace a traves del estudio de la estructura del espacio de orbitas,
prestando especial atencion a aquellas propiedades que son invariantes por cambios
de coordenadas. Una de estas propiedades invariantes en el estudio de los sistemas
dinamicos es la estabilidad o persistencia del sistema bajo peque nos cambios o pertur-
baciones. La idea aqu es dotar de una topologa al espacio de los sistemas dinamicos
y ver si la estructura de orbitas de sistemas proximos es cualitativamente la misma.
El problema de la estabilidad orbital de sistemas dinamicos fue formulado
inicialmente por Laplace en los a nos setenta, del siglo XIX en sus estudios sobre
sistemas de la mecanica clasica, al conjeturar la estabilidad del sistema solar, visto
como un caso particular del problema de n cuerpos sujetos a la ley de gravitacion
universal [1].
En 1889, en sus investigaciones sobre el problema de tres cuerpos, Poincare
introdujo los metodos y las ideas fundamentales de la teora cualitativa de sistemas
dinamicos, al introducir conceptos topologicos y geometricos en el estudio de las
orbitas de un sistema [1].
3
El concepto de estabilidad estructural fue introducido en 1937 por Andronov y
Pontriaguin, quienes se plantearon el problema sobre la posibilidad de que cualquier
perturbacion de un sistema dado conservara las propiedades topologicas del sis-
tema original. Esta armacion es valida para ciertos tipos de sistemas llamados
hiperbolicos [2]. El concepto de hiperbolicidad se origina en los trabajos de Hadamard
y Hopo sobre ujos geodesicos en variedades de curvatura negativa y se formaliza
en los a nos sesenta del pasado siglo, en los trabajos de Anosov [3]. Basicamente se
dice que un conjunto es hiperbolico si en cada punto del espacio de fases es posible
descomponer el espacio en dos direcciones independientes: una donde la transfor-
macion T act ua como una contraccion y la otra donde act ua como una dilatacion
[4].
El problema de la abundancia de sistemas estructuralmente estables se re-
monta a los trabajos de Fatou sobre iteraciones de transformaciones racionales del
plano complejo [5]. Durante casi un siglo se conjeturo que los sistemas que satisfacen
el Axioma A en la recta son densos. En el a no 2003, Kozlowski probo este resul-
tado para mapas unimodales (transformaciones con un unico punto crtico) y mas
recientemente el resultado se extendio para transformaciones multimodales (trans-
formaciones con mas de un punto crtico) [6], [7].
El objetivo de este trabajo es el estudio de sistemas dinamicos diferenciables
a tiempo discreto como transformaciones del intervalo o la recta real. Para lograr
este objetivo se organizo el mismo de la siguiente manera:
En el captulo 1, se dan las herramientas matematicas necesarias para comen-
zar este trabajo, tales como: denicion de puntos jos y puntos periodicos, concepto
de orbita, denicion y ejemplos de conjugacion y semi-conjugacion, deniciones y
propiedades de conjuntos invariantes, conjuntos lmites, conjuntos estables e inesta-
bles.
El captulo 2 presenta una serie de teoremas que garantizan la existencia de
puntos jos y orbitas periodicas en mapas unidimensionales.
4
En el captulo 3; se hace un estudio de la familia cuadratica F

(x) = x(1x)
para > 0 y se estudia el fenomeno de caos; seg un la denicion dada por [8];
demostrando que F

es caotica para = 4.
En el captulo 4 se expone el concepto de hiperbolicidad y se plantea el pro-
blema de la estabilidad local.
Primeramente, se presenta la denicion de conjuntos hiperbolicos y se expone
la construccion del conjunto de cantor denido dinamicamente haciendo uso de
la dinamica simbolica para etiquetar dichos puntos; luego se introduce la idea de
propiedades genericas expuestas por primera vez en [9]. Y nalmente, se demuestran
ciertos teoremas de estabilidad local como es el caso del teorema de Hartman.
En el captulo 5 se muestra un teorema de estabilidad estructural para F

con
> 4, usando el argumento de un dominio fundamental.
Finalmente, en el captulo 6 se hace una generalizacion del teorema expuesto
en el captulo 5 de la siguiente forma: primeramente, se sigue con la idea de propieda-
des genericas expuesta en el captulo 4, luego se da la denicion del llamado Axioma
A y se naliza mostrando que las propiedades genericas estudiadas constituyen condi-
ciones necesarias para la estabilidad estructural y que el Axioma A constituye una
condicion suciente.
CAP

ITULO 1
DEFINICIONES Y EJEMPLOS EN SISTEMAS DIN

AMICOS
En este captulo se introducen los conceptos fundamentales que se necesitan
para el desarrollo de los siguientes captulos tales como: el concepto de puntos -
jos, puntos periodicos, orbitas, conjuntos lmites y atractores, conjuntos estables e
inestables. Ademas se intoduce el concepto de equivalencia de sistemas dinamicos.
1.1 DEFINICIONES B

ASICAS
Un sistema dinamico a tiempo discreto sobre un espacio de estados X queda
denido por una aplicacion f : X X que dene una ley de evolucion temporal
dada por la relacion de recurrencia x
n+1
= f(x
n
). Esto quiere decir que el estado
del sistema en el tiempo t = n + 1 esta determinado por el estado del sistema en
el tiempo t = n. Dada una condicion inicial x = x
0
, el conjunto de los estados
subsiguientes x
n
denidos por esta ecuacion en diferencias nitas representa la
historia del sistema a partir del estado inicial x
0
. Los estados x
n
se obtienen de x
0
por iteraciones sucesivas del mapa f, es decir, la composicion de f consigo misma
una y otra vez:
x
0
, x
1
= f(x
0
), x
2
= f(f(x
0
)), x
3
= f(f(f(x
0
))),
en este sentido conviene introducir la siguiente notacion:
f
n
= f f f
. .
n veces
que denota la n- esima iterada de f.
Denicion 1.1. Dada una aplicacion f : X X y un punto cualquiera x X; se
denomina:
(i) orbita positiva de x por f, o simplemente orbita positiva de x, al conjunto
O
+
f
(x) = f
n
(x) : n 0.
6
(ii) orbita negativa de x por f,o simplemente orbita negativa de x,(se asume f inver-
tible) al conjunto O

f
(x) = f
n
(x) : n 0.
(iii) orbita de x por f, o simplemente orbita de x,(se asume f invertible), al conjunto
O
f
(x) = f
n
(x) : n Z.
Cuando f no es invertible, se dene la pre orbita de x bajo f al conjunto
PreO
f
(x) = x
n
: f(x
n+1
) = x
n
. Esto quiere decir que x
n+1
pertenece a la pre
imagen de x
n
bajo f, i.e., x
n+1
f
1
(x
n
).
En lo que sigue se introducen algunas clases particulares de orbitas.
Denicion 1.2. Dado un sistema dinamico f : X X; se dice que p X es un
punto jo de f, si f(p) = p. Un punto p X es eventualmente jo si existe m > 0
tal que f
i+1
(p) = f
i
(p) para todo i m.
El conjunto de los puntos jos de una funcion f se denota por Fix(f).
Ejemplo 1.1.
(a) Sea f(x) = x x
2
; resolviendo la ecuacion x = x x
2
se tiene que x = 0 es el
unico punto jo.
(b) Sea E(x) = x
3
x; resolviendo la ecuacion x = x
3
x, se tienen tres puntos jos:
0,

2,

2.
(c) Sea f(x) = x
2
. Entonces f(1) = 1 es jo, mientras que f(1) = 1 es eventual-
mente jo.
Denicion 1.3. Dado un sistema dinamico f : X X; se dice que p X es un
punto periodico de periodo n 1 si f
n
(p) = p. El menor entero positivo n para el
cual f
n
(p) = p es llamado el periodo primo de x. Un punto p X es eventualmente
periodico de periodo n, n Z, si p no es periodico pero existe m > 0 tal que
f
n+i
(p) = f
i
(p) para todo i m. Es decir, f
i
(x) es periodico para i m.
El conjunto de los puntos periodicos de una funcion f se denota por Per(f).
7
Ejemplo 1.2.
(a) Sea f(x) = x
3
; entonces f
2
(1) = f(f(1)) = f(1) = 1, f
2
(1) = f(f(1)) =
f(1) = 1. As 1 y -1 son puntos periodicos de periodo dos.
(b) Sea g(x) = [x 1[, entonces g(1) = 0, g(0) = 1 y g(2) = 1; observe que
g(2) = g(g(1)) = g(g(g(0))) = g
3
(0). As 2 es eventualmente periodico.
En el estudio de los sistemas dinamicos interesa conocer el comportamiento de
cada orbita dada una condicion inicial x
0
. Para ello es necesario utilizar un metodo
geometrico que permita visualizar la evolucion del sistema en un instante de tiempo
t = t
0
. El graco que describe la trayectoria de las orbitas tras continuas iteraciones
del sistema se denomina diagrama de fase.
Ejemplo 1.3.
Sea f(x) = x, entonces f
2
(x) = f(x) = (x) = x; es decir; todos los puntos
x R, x ,= 0 son puntos periodicos de periodo 2; en este caso, la orbita de un punto
p; esta dada por O
f
(p) = p, p; es decir, todas las orbitas tienen periodo 2. A
continuacion se muestra el diagrama de fase correspondiente.
Figura 1. Diagrama de fase 1
El siguiente procedimiento para analizar las proximas iteraciones del sistema
es el analisis graco.
Identicando la diagonal = (x, x) : x R, se tiene que una linea vertical
desde (p, p) encuentra a la graca de f en el punto (p, f(p)), luego una linea horizontal
desde (p, f(p)) encuentra a la diagonal en el punto (f(p), f(p)). As, una linea vertical
a la graca seguida de una linea horizontal a la diagonal produce la imagen de un
punto p bajo f.
8
Figura 2. Analisis graco.
Ejemplo 1.4.
Mostrar el analisis graco de los siguientes mapas
(a)f(x) = x
(b) f(x) = x
3
9
1.2 EQUIVALENCIA DE SISTEMAS DIN

AMICOS
Ahora se plantea el siguiente problema: cuando son iguales o equivalentes
dos sistemas dinamicos? Como lo que interesa es la estructura del espacio de orbitas
es natural decir que dos sistemas son equivalentes si existe una biyeccion entre los
espacios de estados que manda orbitas en orbitas, estableciendo as una biyeccion
entre las mismas. Mas precisamente, se tiene la siguiente denicion.
Denicion 1.4. Sean f : A A y g : B B dos aplicaciones. Se dice que f y g
son conjugados si existe una biyeccion h : A B tal que, h f = g h.
Si dos mapas f y g son conjugados, entonces existe una biyeccion entre el
espacio de orbitas de f y las orbitas de g. En efecto, se tiene la siguiente identidad
h(O
+
f
(x)) = O
+
g
(h(x)).
Si h es un homeomorsmo se dice que es una conjugacion topologica. Si
las aplicaciones f y g son diferenciables puede hablarse tambien de conjugaciones
diferenciables. En este trabajo solo se consideraron conjugaciones topologicas.
10
Proposicion 1.1. Sean D y E espacios metricos, f : D D, g : E E y
h : D E una conjugacion topologica de f y g. Entonces:
(i) h
1
: E D es una conjugacion topologica.
(ii) g
n
h = h f
n
, para todo n umero n natural.
(iii) p es un punto periodico de f si y solo si h(p) es un punto periodico de g.
Ademas, los periodos primos de p y h(p) son iguales.
Demostracion.
(i) Es suciente mostrar que h
1
g = f h
1
. Por hipotesis, g h = h f. Como h
es un homeomorsmo: h
1
(g h) = h
1
(h f) = (h
1
h) f = f. Luego,
(h
1
g) h = f
(h
1
g) (h h
1
) = f h
1
h
1
g = f h
1
(ii) Aplicando el principio de induccion se tiene que h f
n
= g
n
h es verdadera
para n = 1 ya que h es una conjugacion topologica. Ahora, suponga que es cierto
para n = k, i.e., h f
k
= g
k
h. Entonces:
h f
n+1
= (h f
n
) f = (g
n
h) f
= g
n
(h f) = g
n
(g h) = g
n+1
h.
(iii) Sea p un punto periodico de f con periodo primo k. Primeramente, se muestra
que g
k
(h(p)) = h(p). O equivalentemente que el siguiente diagrama es conmutativo.
Figura 3. Diagrama conmutativo 1
11
En efecto, g
k
(h(p)) = h(f
k
(p)) = h(p) (por la parte (ii)) y h(p) es un punto
de periodo k de g. Si 0 < n < k, puede notarse que g
n
(h(p)) = h(f
n
(p)) ,= h(p).
As, h(p) tiene periodo primo k bajo g. Como h
1
es una conjugacion topologica, el
mismo argumento demuestra que si q es un punto periodico de g con periodo primo
k; entonces h
1
(q) es un punto periodico de f con periodo primo k. .
Otra situacion que se presenta con frecuencia, como se muestra mas adelante,
es cuando h es sobreyectiva pero no es uno-a- uno.
Ejemplo 1.5.
Sea f : [1, 1] [1, 1] denida por f(x) = 8x
4
8x
2
+ 1 y g : S
1
S
1
, donde
S
1
denota el crculo unitario, denida por g() = 4; entonces h : S
1
[1, 1],
h() = cos() conjuga f con g. Notese que h es exactamente una proyeccion de S
1
en el eje x y no es inyectiva. Luego:
(h g)() = cos(4) = cos
2
(2) sen
2
(2)
= (2cos
2
() 1)
2
(2sen()cos())
2
= 4cos
4
() 4cos
2
() + 1 4sen
2
()cos
2
()
= 4cos
4
() 4cos
2
() + 1 4cos
2
()(1 cos
2
())
= 4cos
4
() 4cos
2
() + 1 4cos
2
() + 4cos
4
()
= 8cos
4
() 8cos
2
() + 1
= (f h)()
Esto motiva a introducir la siguiente denicion.
Denicion 1.5. Sean f : A A y g : B B dos aplicaciones. Se dice que f y
g son semiconjugados si existe una aplicacion h : A B continua, sobreyectiva y
abierta tal que, h f = g h.
En este caso, como h manda orbitas en orbitas, la existencia de la semi
conjugacion implica que cada orbita del sistema (g, B) tiene una copia en el sistema
(f, A) y puede decirse que (f, A) es una extension de (g, B).
12
Ahora se estudia un poco la dinamica de las aplicaciones cuadraticas de la
forma f(x) = ax
2
+bx +c, a ,= 0. Mas precisamente, se prueba que las aplicaciones
cuadraticas F
a
(x) = 1 ax
2
, a ,= 0; F
c
(x) = x
2
+ c, c
1
4
y F

(x) = x(1 x),

1 son topologicamente conjugadas. Para mostrarlo, se considera una aplicacion
afn L(x) = x + , con ,= 0 la cual es biyectiva y L
1
(x) =
x

. La aplicacion
g(x) = (L
1
F
a
L)(x) es tambien cuadratica y se tiene que g
m
= (L
1
F
a
L)
(L
1
F
a
L) (L
1
F
a
L) = L
1
F
m
a
L para todo entero positivo m. Luego
la descripcion de las orbitas de g es equivalente a la descripcion de las orbitas de
F
a
. Ahora, g(x) = L
1
F
a
L(x) =
F
a
(L(x))

= ax
2
2ax +
1a
2

. Luego,
eligiendo y de modo que a = 1 y = 0; entonces g(x) = x
2
+ c = F
c
(x),
donde c = a. Notese que para c >
1
4
, los iterados de cualquier punto tienden
a . Para c =
1
4
; aparece un punto jo en x =
1
2
. Y nalmente, para c
1
4
,
se considera una transformacion afn T(x) = x + , con ,= 0 y se tiene que
T
1
F
c
T(x) =
F
c
(T(x))

= x
2
+2x =

2
+c

; ahora haciendo
2
+c = 0; se
tiene =
1

14c
2
y se utiliza solo el valor positivo de la raz; obteniendose
T
1
F
c
T(x) = x
2
+ (1 +

1 4c)x.
Tomando ahora = (1 +

1 4c), resulta
T
1
F
c
T(x) = (1 +

1 4c)x
2
+ (1 +

1 4c)x
= (1 +

1 4c)x(1 x).
Finalmente, llamando = 1 +

1 4c, se tiene que

T
1
F
c
T(x) = x(1 x) = F

(x).
Dado que estas aplicaciones cuadraticas son todas equivalentes, en esta tesis
solo se trabajo con la familia cuadratica o aplicacion logstica F

(x) = x(1 x),

1.
1.3 CONJUNTOS L

IMITES
La siguiente observacion es debida al matematico ruso Anatoly Katok:
13
La propiedad mas caracterstica de las teoras dinamicas que las distinguen
de otras areas de la matematica que tratan con las propiedades de grupos de auto-
morsmos de varias estructuras matematicas es el enfasis en sus comportamientos
asintoticos, especialmente, la atencion prestada a la existencia de recurrencias no-
triviales, es decir, propiedades relacionadas con el comportamiento de las orbitas
cuando el tiempo tiende a innito [4].
Denicion 1.6. Dado un mapa f : X X, y un subconjunto de X, se dice que:
(i) es un conjunto positivamente invariante bajo f si para cualquier x
0
,
f
n
(x
0
) para todo n Z
+
.
(ii) es un conjunto negativamente invariante bajo f si para cualquier x
0
,
f
n
(x
0
) para todo n Z

.
(iii) es un conjunto totalmente invariante bajo f si para cualquier x
0
se tiene
que f
n
(x
0
) para todo n Z.
Los ejemplos mas sencillos de conjuntos invariantes, ademas del espacio total
y el conjunto vaco, son los conjuntos formados por puntos jos y orbitas periodicas
de f.
Proposicion 1.2. Dado un mapa f : X X continuo, donde X es un espacio
metrico completo se tiene:
(a) la clausura de un conjunto positivamente (resp. negativamente o totalmente)
invariante es positivamente (resp. negativamente o totalmente) invariante;
(b) dada una coleccion

A
de subconjuntos f invariantes; entonces:

es invariante bajo f.
Demostracion. (a) Sea
n

nN
una coleccion de subconjuntos positivamente in-
variantes bajo f (la prueba para conjuntos negativamente y totalmente invariantes
es similar). Sea x

nN

n
, entonces x
i
para todo i = 1, 2, , como cada
i
es f invariante para cada k N, f
k
(x)
1
, f
k
(x)
2
, . En consecuencia,
14
f
k
(x)

nN

n
y as

nN

n
es f invariante.
(b) Sea x
n

nN
; y suponga que x Lim(
n
)
nN
donde Lim(
n
)
nN
denota
el conjunto de los puntos lmites de
n
. Entonces, existe una sucesion x
n

nN
de
puntos en
n
tal que lim
n
x
n
= x. Como f es continua, dado > 0 existe
=
1
2
min[x
k
x[ > 0, x
k
x
n
tal que
[f(x
k
) f(x)[ < siempre que [x
k
x[ < .
En consecuencia, haciendo arbitrariamente peque no, se tiene que las imagenes
de dichos puntos tambien se encuentran proximas, es decir f(x
k
) f(x) y por tanto
f(x)
n

nN
.
Denicion 1.7. Sea X un espacio metrico y f : X X un homeomorsmo. Se
dene el conjunto limite de p X, denotado por (p), como
(p) = x X : n
k
tal que f
n
k
(p) x.
Similarmente, si f es invertible podemos denir el conjunto lmite de p X
como:
(p) = x X : n
k
tal que f
n
k
(p) x.
Proposicion 1.3. Los conjuntos lmites son cerrados e invariantes.
Demostracion. Para mostrar que (p) es cerrado, notese que de la denicion, (p)
puede expresarse como la interseccion de la clausura de los f
k
iterados de p, i.e.,
(p) =

nN
f
k
(p) : k > n.
En efecto,
x (p) n
k
tal que f
n
k
(p) x
> 0, d(f
n
k
(p), x) <
f
n
k
(p) B(x, ).
15
Escogiendo, n
k
> n, se tiene que n > 0 y > 0, B(x, )

f
n
k
(p) : n
k
n ,= lo
cual es equivalente a que x

nN
f
k
(p) : k > n.
Ese conjunto es cerrado e invariante por la proposicion 1.2. Analogamente,
(p) puede escribirse como
(p) =

nN
f
k
(p) : k > n.
Y por la misma razon (p) es cerrado e invariante.

Denicion 1.8. Sea f : X X un mapa continuo, se dice que un conjunto X

es invariante minimal con respecto a f si para cada conjunto invariante
0
,= tal
que
0
se tiene que
0
= .
Proposicion 1.4 (Existencia de conjuntos minimales). Todo conjunto inva-
riante contiene un invariante minimal
Demostracion. Para probar la existencia de conjuntos minimales, se hara uso del
lema de Zorn. Primeramente, notese que las familias de los conjuntos invariantes
esta parcialmente ordenada por inclusion, es decir;

0
si y solo si
0
.
Sea

una familia de conjuntos invariantes ordenada por inclusion; en-

tonces

es invariante y ademas

,
es decir, todo conjunto

parcialmente ordenado tiene una cota inferior. Luego,

por el lema de Zorn existe un conjunto invariante minimal
0
.
Proposicion 1.5 (Caracterizacion de conjuntos minimales). Sea f : X X
un mapa y X un conjunto compacto. Son equivalentes:
a) es minimal;
16
b) para todo x , O
+
f
(x) es densa en ;
c) para todo x se tiene (x) = .
Demostracion.
a) b) Sea x . Como O
+
f
(x) es invariante y ademas O
+
f
(x) tambien es
invariante, entonces
O
+
f
(x)
O
+
f
(x) = .
Como es minimal, entonces O
+
f
(x) = . Y as se concluye que todas las
orbitas en son densas.
Recprocamente, suponga que no es minimal, es decir, existe
0
;
0
,=
invariante y cerrado tal que
0
,= . Dado x
0
;
O
+
f
(x)
0
O
+
f
(x)
0
=
0
.
Pero por hipotesis, O
+
f
(x) = , luego = O
+
f
(x)
0
,= . Esta con-
tradiccion termina la prueba.
a) c) Sea x , entonces (x) ,= , como (x) es invariante y es minimal,
se tiene (x) = . Recprocamente, supongase que (x) = ; si existe
0
,

0
,= invariante, entonces dado x
0
se tiene que (x) = . Pero por hipotesis
(x) = , as
0
lo que implica que =
0
y en consecuencia es minimal.
Ejemplo 1.6.
Si se consideran las traslaciones del crculo del mapa T

() = + 2, donde
es irracional, se tiene que cada orbita de T

es densa en S
1
. En efecto, si S
1
,
los puntos en la orbita de son distintos si T
n

() = T
m

(), as se tendra que

17
(n m) Z, es decir n = m. Cualquier conjunto innito de puntos en el crculo
tiene puntos lmites. Dado > 0 arbitrario, existen enteros n y m para los cuales
[T
n

() T
m

()[ < .
Sea k = n m, entonces
[T
k

() [ < .
Es decir, T

preserva longitudes en S
1
. Consecuentemente, los mapas T
k

conectan a T
k

(), T
k

() esta conectado a T
2k

() el cual tiene longitud menor que

. En particular, la sucesion de puntos , T
k

(), T
2k

(), es una particion de S

1
sobre arcos de longitud menor que . Como es arbitrario, la prueba esta completa.
Denicion 1.9. Un sistema f : X X se dice topologicamente transitivo si no se
puede descomponer en dos subconjuntos abiertos invariantes disjuntos.
La denicion anterior tambien se conoce como propiedad de mezcla. En efecto,
si se toma cualquier subconjunto V de X, se observa que en un intervalo de tiempo k
las trayectorias que salen de V terminan visitando cualquier otro subintervalo U X
que se elija, en este caso f
k
(V )

U ,= , k N .
Proposicion 1.6. Las siguientes propiedades son equivalentes:
(1) T es transitivo;
(2) existe un x X cuya orbita es densa, i.e. O
+
(x) = X;
(3) existe un conjunto residual (interseccion numerable de abiertos densos) de orbitas
densas.
Demostracion.
(1) (3) Sea U
n
una base numerable de abiertos densos en X, entonces para
todo n > 0 existe m
n
> 0 tal que T
m
n
(x) U
n
, x X. Como T es continua,
T
m
n
tambien es continua y la imagen inversa T
m
n
(U
n
) es abierta en X. Como T es
topologicamente transitivo, dado cualquier abierto V en X, existe n > 0 y m
n
> 0
18
tales que T
m
n
(U
n
)

V ,= . De lo cual se concluye que

m
T
m
n
(U
n
) es denso
en X. Como cada T
m
n
(U
n
) es de segunda categora (ver apendice). Entonces

m
T
m
n
(U
n
) es un espacio de Baire. En consecuencia, la interseccion numerable de
abiertos densos

m
T
m
n
(U
n
) es densa y no vaca por la transitividad topologica
de T. Por tanto, X
0
=

m
T
m
n
(U
n
) es un conjunto residual.
(3) (2) Si existe un conjunto residual X
0
X de orbitas densas; dado x
0
X
0
se
tiene que O
+
T
(x
0
) = X. En particular, existe x
0
X tal que O
+
T
(x
0
) = X.
(2) (1) Supongase que existe x X tal que O
+
T
(x
0
) = X entonces dados dos
abiertos U, V X existen n, m > 0 tales que T
n
(x) U y T
m
(x) V . Suponiendo
m > n, se obtiene
T
m
(x) = T
mn
(T
n
(x)),
lo que quiere decir que en el instante de tiempo t = (mn), la orbita positiva de
x pertenece a U, en consecuencia T
(mn)
(V )

U ,= y as T es topologicamente
transitivo.
Denicion 1.10. Un conjunto invariante A es un atractor para f, si existe un
conjunto abierto U X tal que para todo x U d(f
n
(x), A) 0 cuando n .
Frecuentemente se le a nade a la denicion anterior la propiedad de transitivi-
dad, es decir, el atractor debe exhibir una orbita densa, as no podra descomponerse
en atractores peque nos. El ejemplo mas sencillo de un atractor es el atractor formado
por puntos jos o puntos periodicos; existen otro tipo de atractores con geometra
mas complicada, como el atractor de Feigenbaum para la familia cuadratica, que
es un conjunto de Cantor. As mismo se puede probar que los unicos atractores
hiperbolicos para transformaciones diferenciables de la recta son orbitas periodicas.
Estos resultados caen fuera del ambito de esta tesis.
Denicion 1.11. Sea p un punto jo de un mapa f. Se dene el conjunto estable
de p por W
s
(p) = x : lim
i
f
i
(x) = p. Si f es invertible; se dene el conjunto
inestable de p, por W
u
(p) = x : lim
i
f
i
(x) = p. Analogamente, si p es un
19
punto periodico de periodo n; los conjuntos estables e inestables vienen dados por
W
s
(p) = x : lim
i
f
in
(x) = p y W
u
(p) = x : lim
i
f
in
(x) = p respectiva-
mente. Si es un atractor, denimos W
s
() como el abierto maximal tal que para
todo x W
s
() se cumple d(f
n
(x), ) 0 cuando n . El conjunto W
s
() se
denomina cuenca de atraccion de .
Ejemplo 1.7.
Sea f(x) = x
3
, el analisis graco del ejemplo 1.4 muestra que W
s
(0) = (1, 1),
W
u
(1) = (, 1) y W
u
(1) = (1, +).
Teorema 1.1. Los conjuntos estables de puntos periodicos distintos no se inter-
sectan. En otras palabras, si p y q son puntos periodicos y p ,= q, entonces
W
s
(p) W
s
(q) = .
Demostracion. Sean p
1
y p
2
puntos periodicos de periodos k
1
y k
2
respectivamente.
Se mostrara que si W
s
(p
1
) W
s
(p
2
) ,= entonces p
1
= p
2
. Sea x W
s
(p
1
) W
s
(p
2
);
entonces para cada > 0 existen N
1
y N
2
tales que n N
1
implica [p
1
f
nk
1
(x)[ <

2
y n N
2
implica [p
2
f
nk
2
[ <

2
. Si M es el mayor entre N
1
y N
2
, entonces n M
implica que [p
1
f
nk
1
(x)[ <

2
y [p
2
f
nk
2
[ <

2
. Por la desigualdad triangular
tenemos [p
1
p
2
[ [p
1
f
nk
1
k
2
(x)[ +[f
nk
1
k
2
p
2
[ <

2
+

2
= .
Como se ha demostrado que la distancia entre p
1
y p
2
es menor que para cada
> 0, se debe tener que p
1
= p
2
.
1.4 ESTABILIDAD DEL EQUILIBRIO
Denicion 1.12. Se dice que un punto jo p de un mapa diferenciable f, es hiperbolico
si [f

(p)[ ,= 1. Analogamente, si p es un punto periodico con periodo primo n, en-

tonces p es un punto periodico hiperbolico si [(f
n
)

(p)[ ,= 1.
Ejemplo 1.8.
20
Sea f(x) = sen(x); notese que 0 es un punto jo de f; i.e. f(0) = 0 y ademas
[f

(0)[ = 1 por lo que 0 es un punto jo no hiperbolico.

Teorema 1.2. Sea f un mapa de clase C
1
y p un punto jo hiperbolico de f. En-
tonces se cumple lo siguiente:
(1) Si [f

(p)[ < 1, entonces existe un intervalo abierto U que contiene a p tal que
para todo x U, f
n
(x) p;
(2) Si [f

(p)[ > 1, entonces existen intervalos abiertos U V que contienen a p

tales que para todo x U existe n > 0 tal que f
k
(x) U para todo 0 k < n y
f
n
(x) V U.
Demostracion. Supongase [f

(p)[ < 1. Primero se prueba que existen > 0 y

> 0 tales que [f

(x)[ < 1 para todo x (p , p +).

En efecto, sea =
1
2
(1 [f

(p)[). Como [f

(p)[ < 1, > 0. Para encontrar

se utiliza la continuidad de f

. Como f

es continua, existe > 0 tal que

[f

(x) f

(p)[ < siempre que[p x[ < .

Equivalentemente, [f

(x) f

(p)[ < siempre que x (p , p + ). Dado

que =
1
2
(1 [f

(p)[), para cada x (p , p +) se tiene

[f

(x)[ = [f

(x) f

(p) + f

(p)[
[f

(x) f

(p)[ +[f

(p)[
< +[f

(p)[
=
1
2
(1 [f

(p)[) +[f

(p)[
=
1
2
+
1
2
[f

(p)[
= 1 (
1
2
(1 [f

(p)[))
= 1 .
21
Sea x (p , p + ) distinto de p. Por el teorema del valor medio existe c
entre x y p tal que
[f(x) p[ = [f(x) f(p)[ = [f

(c)[[x p[.
Como c pertenece al intervalo (p , p +) esto implica que
[f(x) f(p)[ < (1 )[x p[.
Iterando el proceso
[f
2
(x) p[ < (1 )
2
[x p[,
y por induccion,
[f
n
(x) p[ < (1 )
n
[x p[.
Ahora, como (1 ) < 1, se sigue que (1 )
n
converge a 0 cuando n tiende
a . As se concluye que [f
n
(x) p[ tiende a 0 y f
n
(x) p cuando n .
Para demostrar el caso cuando [f

(x)[ > 1 basta encontrar > 0 y un intervalo

abierto (p , p + ) tal que [f

(x)[ > 1 + siempre que x (p , p + ). Sea

=
1
2
([f

(p)[ 1). Igualmente, por la continuidad de f

existe > 0 tal que [f

(x)
f

(p)[ < siempre que [x p[ < . Luego, para cada x (p , p +) se tiene

[f

(x)[ = [f

(x) f

(p) + f

(p)[
[f

(p)[ [f

(x) f

(p)[
> [f

(p)[
donde,
[f

(p)[ = [f

(p)[
1
2
([f

(p)[ 1)
= [f

(p)[
1
2
[f

(p)[ +
1
2
=
1
2
[f

(p)[ +
1
2
+ 1 1
=
1
2
([f

(p)[ 1) + 1
= + 1.
22
De tal manera que [f

(x)[ > 1 + para cada x (p , p + ). Por ultimo,

debe probarse que si y ,= p y f
k
(y) (p , p + ) para todo k < n, entonces
[f
n
(y) p[ > (1 )
n
[y p[.
Sea y (p , p + ) tal que y ,= p. Por el teorema del valor medio existe d
entre y y p tal que
[f(y) p[ = [f(y) f(p)[ = [f

(d)[[y p[.
Inductivamente,
[f
n
(y) p[ > (1 + )
n
[y p[.
Ahora, como (1 + ) > 1 se sigue que (1 + )
n
cuando n y en
consecuencia el n esimo iterado de y abandona el intervalo (p, p+) y la prueba
esta completa.
En virtud del teorema anterior, se dice que p es un punto jo hiperbolico
atractor o asintoticamente estable de f si [f

(p)[ < 1. Si [f

(p)[ > 1, entonces se dice

que p es un punto jo repulsor o inestable. De manera analoga, si p es un punto
periodico de f con periodo primo n y [(f
n
)

(p)[ < 1, entonces se dice que p es un

punto periodico atractor o asintoticamente estable de f y si [(f
n
)

(p)[ > 1, entonces

p es un punto periodico repulsor o inestable de f.
CAP

ITULO 2
EXISTENCIA DE

ORBITAS PERI

ODICAS
En este captulo se demuestran ciertos teoremas que garantizan la existencia
de puntos jos y puntos periodicos, presentes en sistemas dinamicos unidimensiona-
les.
Teorema 2.1 (Teorema del valor intermedio). Sea f : A B continua en el
intervalo compacto [a, b] A. Si f(a) ,= f(b), entonces para todo y entre f(a) y f(b)
existe c (a, b) tal que f(c) = y.
Teorema 2.2. Sea I = [a, b] un intervalo cerrado y f : I I una funcion continua.
Entonces f tiene un punto jo en I.
Demostracion. Si f(a) = a o f(b) = b, no hay nada que probar. Suponga f(a) ,= a
y f(b) ,= b. Sea g(x) = f(x)x, como g(x) es la diferencia de dos funciones continuas,
entonces es continua. Ya que f(a) ,= a y f(a) [a, b], f(a) > a; por la misma razon
f(b) < b. Por tanto, g(a) = f(a) a > 0 y g(b) = f(b) b < 0. Como g es continua,
el teorema del valor intermedio implica que existe c [a, b] tal que g(c) = 0. Pero
g(c) = f(c) c = 0, as f(c) = c y la prueba esta completa.
Figura 4. Ilustracion del teorema de punto jo
24
Teorema 2.3. Sea I un intervalo cerrado y f : I R una funcion continua. Si
I f(I), entonces f tiene un punto jo en I.
Demostracion. Sea I = [a, b], como I f(I), existen c y d en I tales que f(c) = a
y f(d) = b. Si c = a o d = b no hay nada que probar. Si c ,= a y d ,= b entonces
a < c < b y a < d < b. Deniendo g(x) = f(x) x, se obtiene que g(c) = f(c) c =
a c < 0 y g(d) = f(d) d = b d > 0.Ya que g(c) < 0 y g(d) > 0 y g es continua,
el T.V.I. implica que existe e entre c y d tal que g(e) = 0 y f(e) = e.
Teorema 2.4. Sean J = [a, b], I = [c, d] intervalos cerrados y sea f una funcion
continua tal que I f(J). Entonces existe un intervalo J
0
tal que J
0
J y
f(J
0
) = I.
Demostracion. Dado que [c, d] [a, b]; c f([a, b]); por el teorema del valor
intermedio (T.V.I.) existe x
0
[a, b] tal que f(x
0
) = c, luego [a, b] = [a, x
0
] [x
0
, b],
como d f([a, b]) por el T.V.I. existe y [a, b] tal que f(y) = d; sin perdida de
generalidad se asume que y [x
0
, b].
Sean x
2
= infy [x
0
, b] : f(y) = d y x
1
= supx [x
0
, x
2
] : f(x) = c;
entonces [x
1
, x
2
] [a, b]. Se arma que f([x
1
, x
2
]) = [c, d]. En efecto, como f es
continua en el compacto [x
1
, x
2
] existen s = max f([x
1
, x
2
]) e i = min f([x
1
, x
2
]) y
ademas se cumple que f([x
1
, x
2
]) = [i, s]. As la prueba se reduce a demostrar que
i = c y s = d. Si f es creciente en [x
1
, x
2
] no hay nada que probar.
Suponga que f no es monotona, por propiedad de nmo y supremo
i f(x) s, x [x
1
, x
2
] y suponga que existe p [x
1
, x
2
] tal que f(p) < c, ya que
f(p) < c < d por T.V.I. existe x

[p, x
2
] tal que f(x

) = c; pero x
1
< p < x

, es
decir, x

> x
1
lo cual contradice el hecho de que x
1
es el mayor n umero para el cual
f(x
1
) = c. Luego c f(x), x [x
1
, x
2
] implica que c = i.
Analogamente, suponga que existe z [x
1
, x
2
] tal que f(z) > d; ya
que c < d < f(z), por el T.V.I. existe y

[z, x
2
] tal que f(y

) = d, pero z < y

< x
2
,
es decir, z < x
2
lo cual contradice el hecho de que x
2
es el menor n umero tal que
25
f(x
2
) = d. Por tanto f(x) d, x [x
1
, x
2
]. Y en consecuencia f([x
1
, x
2
]) = [c, d].

El siguiente resultado fue publicado por A. N. Sarkovskii en 1964, (ver [5], [8]),
a traves del cual puede determinarse con precision el n umero de orbitas periodicas
presentes en un sistema dinamico unidimensional.
Denicion 2.1. Considere el siguiente orden en el conjunto de los n umeros natu-
rales, llamado el orden de Sarkovskii:
3 ~ 5 ~ 7 ~ ~ 2n + 1 ~ ~ 6 ~ 10 ~ 14 ~ ~ 2 (2n + 1) ~
~ 2
m
3 ~ 2
m
5 ~ 2
m
7 ~ ~ 2
m
(2n + 1) ~
~ ~ 2
n
~ ~ 2 ~ 1.
Teorema 2.5 (Sarkovskii). Sea f : [0, 1] [0, 1] un mapa continuo que tiene un
punto periodico de periodo n. Si n ~ m en el orden de Sarkovskii entonces f tiene
un punto periodico de periodo m.
Demostracion. Ver [5] capitulo II o [8] captulo 1 seccion 10.
Un corolario inmediato del teorema de Sarkovskii es el siguiente:
Corolario 2.1. Sea f : R R continua. Suponga que f tiene un punto periodico
de periodo tres. Entonces f tiene puntos periodicos de todos los periodos.
Demostracion. Sea a, b, c una orbita de periodo tres de la funcion continua f.
Sin perdida de generalidad, asuma que a < b < c. Entonces existen dos casos,
f(a) = b o f(a) = c. Suponga que f(a) = b (el caso f(a) = c es similar); esto implica
que f(b) = c y f(c) = a. Sean I
0
= [a, b] e I
1
= [b, c], el teorema del valor intermedio
garantiza que I
1
f(I
0
), I
1
f(I
1
) y I
0
f(I
1
). Como I
1
f(I
1
), el teorema 2.3
implica que f tiene un punto jo en I
1
.
Ahora, sea n un n umero natural mayor que 1. Suponga que existe una se-
cuencia encajada de intervalos cerrados, I
1
= A
0
A
1
A
2
A
n
, con las
siguientes propiedades:
26
(1) A
0
= I
1
(2) f(A
k
) = A
k1
para k = 1, 2, , n 2
(3) f
k
(A
k
) = I
1
para k = 1, 2, , n 2
(4) f
n1
(A
n1
) = I
0
(5) f
n
(A
n
) = I
1
En efecto, se puede escojer A
0
tal que A
0
= I
1
y (1) se satisface. Para
demostrar las otras propiedades se utiliza el teorema 2.4, es decir, como A
0
= I
1
e I
1
f(I
1
) se tiene que A
0
f(A
0
) y as existe A
1
contenido en A
0
tal que
f(A
1
) = A
0
. Como A
1
A
0
entonces A
1
f(A
1
); consecuentemente, existe
A
2
A
1
tal que f(A
2
) = A
1
. Continuando de esta forma se dene A
k
para
k = 1, 2, , n 2. En cada caso se encuentra un A
k
contenido en A
k1
tal que
f(A
k
) = A
k1
para k = 1, 2, , n 2, como es requerido en (2). Mas aun,
A
k
f(A
k
) para cada k, as el proceso para denir los intervalos A
k
puede con-
tinuar indenidamente:
f
2
(A
k
) = f(f(A
k
)) = f(A
k1
) = A
k2
f
3
(A
k
) = f(f
2
(A
k
)) = f(A
k2
) = A
k3
.
.
.
f
k
(A
k
) = A
0
= I
1
para cada k = 1, 2, , n 2 como es requerido en (3). Dena A
n1
como en (4) y
note que:
f
n1
(A
n2
) = f(f
n2
(A
n2
)) = f(I
1
) I
0
por tanto existe A
n1
A
n2
tal que f
n1
(A
n1
) = I
0
(teorema 2.4).
Finalmente, f
n
(A
n1
) = f(f
n1
(A
n1
)) = f(I
0
) I
1
implica que existe
A
n
A
n1
tal que f
n
(A
n
) = I
1
(teorema 2.4) como es requerido en (5).
Por otro lado, como A
n
I
1
, (5) y el teorema 2.3 implica que f
n
tiene un
punto jo en A
n
, o lo que es igual, f tiene un punto periodico p de periodo n en A
n
.
27
En los proximos parrafos se utilizaran las condiciones restantes para probar que p
tiene periodo primo n.
Si p es un punto periodico de periodo n en A
n
, entonces (1) y (3) implican
que p, f(p), f
2
(p), , f
n2
(p) estan en I
1
= [b, c] y (4) implica que f
n1
(p) esta en
I
0
= [a, b]. Si p = c, entonces f(p) = a, el cual no esta en I
1
. Como el unico de los n
iterados de p que no esta en I
1
es f
n1
(p), se tiene que n = 2. Pero esto contradice
el hecho de que el periodo primo de c es tres. Por tanto p debe estar en el intervalo
semiabierto [b, c).
Si p = b, entonces n = 3 ya que f
2
(p) = a el cual no esta en I
1
, y el unico de
los n iterados de p que no esta en I
1
es f
n1
(p). Asuma que n no es tres; entonces
p debe estar en el intervalo abierto (b, c). Como f
n1
(p) esta en I
0
= [a, b]; f
n1
(p)
no es igual a p y as p no puede tener periodo primo n 1. Si el periodo primo de
p es menor que n 1; entonces (3) y el hecho de que p no es ni b ni c implica que
la orbita de p esta contenida completamente en (b, c) y esto contradice (4). Ya que
f
n1
(p) no es un elemento de (b, c), se debe tener que p tiene periodo primo n.
CAP

ITULO 3
EJEMPLO DE LA FAMILIA CUADR

ATICA
Como se ha visto en la introduccion de este trabajo, un sistema que evoluciona
y cambia con el tiempo se denomina dinamico. En una primera aproximacion puede
jarse en aquellos sistemas dinamicos que varan en intervalos jos de tiempo, a los
cuales se les denomino discretos. Por ejemplo, si se denota por X
n
a la densidad de
poblacion en el instante de tiempo t = n; dicha densidad estara relacionada con la
densidad de poblacion en el tiempo t = n + 1 mediante una expresion general del
tipo
X
n+1
X
n
X
n
= F(X
n
), F : R R, la cual se denomina tasa de crecimiento entre el
tiempo t = n y el tiempo t = n + 1.
Si la tasa de crecimiento es constante,
X
n+1
X
n
X
n
= a, 0 < a < 1, entonces
X
n+1
= X
n
+aX
n
= (1 + a)X
n
= X
n
, con = 1 + a.
Sea X
0
la densidad de poblacion inicial, entonces la densidad de poblacion en
el instante n viene dada por
X
n
=
n
X
0
. (3.1)
Como > 1, entonces X
n
> X
n1
> > X
1
> X
0
y la densidad de
poblacion crecera indenidamente produciendose una explosion demograca.
Por otro lado, si se asume que la constante a es mayor que 1, entonces 0 <
< 1 y X
n
< X
n1
< < X
1
< X
0
. De (3.1) se obtiene que la especie tiende a
desaparecer produciendose la extincion de la misma.
Ya que este modelo no reeja claramente la realidad es preciso introducir
algunas condiciones adicionales a n de enriquecer las posibilidades de evolucion.
As, supongase que hay un valor lmite para la densidad de poblacion de la especie
de modo que si se sobrepasa este valor la densidad de poblacion tiende a decrecer
en las sucesivas generaciones, mientras que si X
n
es menor que ese valor lmite, la
tendencia en el futuro sera el aumento de la especie. Teniendo en cuenta estas
29
restricciones dicho modelo tomara la forma
X
n+1
X
n
X
n
= a bX
n
,
con a, b > 0 constantes.
De manera que
X
n+1
= X
n
+X
n
(a bX
n
)
= X
n
+aX
n
bX
2
n
= (1 + a)X
n
bX
2
n
= X
n
((1 + a) bX
n
)
= (1 + a)X
n
_
1
bX
n
1 +a
_
_
1 +a
b
_
x
n+1
= (1 + a)
_
1 +a
b
x
n
_
(1 x
n
)
donde, x
n
=
bX
n
1+a
, x
n+1
=
bX
n+1
1+a
. Nuevamente, haciendo = 1 + a
x
n+1
= x
n
(1 x
n
).
Obteniendo as el modelo cuadratico F

(x) = x(1 x), donde > 0. A

diferencia del caso lineal, la evolucion de la poblacion con este modelo no lineal
puede ser muy compleja y exhibir todo tipo de fenomenos seg un los distintos valores
del parametro . La familia de funciones F

(x) = x(1 x), > 0, se denomina la

familia cuadratica y a continuacion se describen los aspectos mas destacados de su
dinamica:
La graca de F

es una parabola concava hacia abajo, creciente en el intervalo

(,
1
2
) y decreciente en el intervalo (
1
2
, +), tiene vertice (
1
2
,

4
) y cumple las
siguientes propiedades:
(a) F

(0) = F

(1) = 0.
(b) F

(x) = 2x, F

(x) = 2.
(c) x =
1
2
es un punto crtico no degenerado, i.e., F

(
1
2
) = 0 y F

(
1
2
) = 2 ,= 0.
Resolviendo la ecuacion F

(x) = x se obtienen los puntos jos 0 y p

=
1

.
30
Los puntos 1 y
1

son eventualmente jos; ya que F

(1) = 0 y F

(
1

) = p

.
3.1 CASO 1: 0 < 1
Si 0 < < 1, F

(0) = < 1, es decir, 0 es un punto jo atractor y p

es
un punto jo repulsor i.e., F

(p

) = 2 > 1. Ademas, el conjunto estable de

0, W
s
(0), es el intervalo (p

,
1

), el conjunto estable de p

, W
s
(p

), es p

,
1

y el
conjunto estable de innito, W
s
(), es (, p

) (
1

, +). Cuando = 1, p
1
= 0
se convierte en un punto jo no hiperbolico.
Figura 5. Analisis graco de F

para 0 < 1.
3.2 CASO 2: 1 < < 3
Si 1 < < 3, entonces [F

(p

)[ < 1 y [F

(p

)[ > 1. En este caso, el conjunto

estable de 0, W
s
(0), es 0, 1 y el conjunto estable de p

, W
s
(p

) es (0, 1). A
continuacion se muestra el diagrama de fase para 1 < < 2 y 2 < < 3.
31
Figura 6. Diagrama de fase 2: 1 < < 2
Figura 7. Diagrama de fase 3: 2 < < 3
Ademas, cuando > 1, todos los puntos que abandonan el intervalo [0, 1] bajo
iteracion de F

convergen a como se muestra en la siguiente proposicion.

Proposicion 3.1. Suponga que > 1. Si x < 0, entonces F
n

(x) cuando
n . Similarmente, si x > 1, entonces F
n

(x) cuando n .
Demostracion. Si x < 0, entonces x(1 x) < x, as F

(x) < x. Por tanto,

F
n

(x) es una sucesion decreciente de puntos. Suponga que F

n

(x) converge a un
punto p; es decir, p = inf
n
F
n

(x), como p < 0 entonces F(p) < p luego F

(F
n

(x)) =
F
n+1

(x) F(p). Pero F(p) = inf

n
F
n+1

(x) = inf
n
F
n

(x) = p lo cual es una

contradiccion. En consecuencia F
n

(x) como es requerido. Si x > 1, entonces

F

(x) < 0 y F
n

(x) .
3.3 CASO 3: 3 < 4
Cuando = 3, F

(p

) = 1 y p

se convierte en un punto jo no hiperbolico.

Cuando > 3, aparece un nuevo punto periodico de periodo dos. A n de encontrar
esos dos puntos de periodo dos, es necesario resolver la ecuacion dada por
F
2

(x) = (x(1 x))(1 x(1 x)) = x. (3.2)

32
Para la ecuacion (3.2) se conocen dos soluciones que son los correspondientes
puntos jos 0 y p

de la primera iterada de F

. Por tanto la ecuacion (3.2) se

factoriza como sigue
x
_
x
_
1

__
(
3
x
2
+ (
2
+
3
)x (
2
+)) = 0. (3.3)
La ecuacion (
3
x
2
+ (
2
+
3
)x (
2
+)) = 0 tiene races
x
1
=
+ 1 +
_
( 3)( + 1)
2
y x
2
=
+ 1
_
( 3)( + 1)
2
.
Las siguientes gracas muestran el comportamiento de la dinamica antes ex-
puesta de F

para los parametros < 3, = 3 y > 3.

Figura 8. Gr aca de F
2

para < 3, = 3 y > 3

Por otro lado,
(F
2

(x
1
) = 4
3
x
3
+ 6
3
x
2
2(
2
+
3
)x +
2
ahora si se resuelve la ecuacion

(F
2

(x
1
)

= 1 (3.4)
haciendo uso del siguiente algoritmo realizado en Maple 9.5
> f := x > mu*x*(1-x);
> (f@@2)(z);
> di((f@@2)(z),z);
33
> g := z > di((f@@2)(z),z);
> Eval(g(z), z=(mu+1+sqrt((mu-3)*(mu+1)))/(2*mu));
> value(%);
> solve(abs(value(%))=1,mu);
1, 3, 1 +

6, 1

6
se obtiene que los parametros positivos para los cuales (3.4) se satisface son = 3
y = 1 +

6, estos puntos se denominan puntos de bifurcacion del mapa logstico

en el sentido de que para < 3 el punto jo es atractor, en = 3 el punto jo es no
hiperbolico y a partir de > 3 este punto se convierte en repulsor, y cercano a el nace
una orbita de periodo dos (ver gura 8), luego para < 1 +

6 la orbita de periodo
dos es atractora y a partir de > 1 +

6 se convierte en repulsora, y cercana a ella

nace una orbita de periodo cuatro. Sucesivamente se van encontrando parametros
de bifurcacion
1
,
2
, ,

, entre 3 < 4 tales que para cada <

i
la orbita
periodica O
F

de periodo 2
i
es atractora y a partir de >
i
, O
F

es repulsora, y
cercana a ella nace una orbita de periodo 2
i+1
atractora. Este fenomeno se conoce
como bifurcacion de duplicacion de perodo.
En los a nos 70 del siglo XX, Mitchell J. Feigenbaum descubrio mediante
calculos numericos que si d
i
esta denido por d
i
=
i+1

i
, entonces
= lim
k
d
i
d
i+1
= 4.669202 . . .
el n umero conocido como constante de Feigenbaum, se encuentra no solamente
en mapas iterativos, sino tambien en ciertas ecuaciones diferenciales. Feigenbaum
conjeturo que esa constante es universal, en el sentido de que si se reemplaza F

por
otra funcion unimodal, se repite el fenomeno de duplicacion de periodos. As, esta
duplicacion de periodos es el camino del orden al caos(dinamica impredecible)
en la familia cuadratica. A continuacion se muestra el diagrama de bifurcacion
correspondiente al mapa logstico con su respectivo algoritmo realizado con el paquete
Maple, version 9.5.
Diagrama de Bifurcacion del mapa logstico
34
> with(plots):mu:=mu:
> imax:=80:jmax:=350:step:=0.01:
> ll:=array(0..10000):pp:=array(0..10000):xx:=array(0..10000,0..10000):
> for j from 0 to jmax do
> xx[j,0]:=0.5:
> for i from 0 to imax do
> xx[j,i+1]:=(step*j)*xx[j,i]*(1-xx[j,i]):od:
> ll[j] := [[(step*j),xx[j,n]]$n=40..imax]:od:
> LL := [seq(ll[j],j=0..jmax)]:
> with(plots):
> P1:=plot(LL,x=0..4,y=-0.1..1,style=point,
symbol=point,tickmarks=[2,2],color=black):
> imax:=80:jmax:=200:step:=0.0025:
> ll:=array(0..10000):pp:=array(0..10000):
> xx:=array(0..10000,0..10000):
> for j from 0 to jmax do
> xx[j,0]:=0.5:
> for i from 0 to imax do
> xx[j,i+1]:=(step*j+3.5)*xx[j,i]*(1-xx[j,i]):od:
> ll[j] := [[(step*j+3.5),xx[j,n]]$n=40..imax]:od:
> LL := [seq(ll[j],j=0..jmax)]:
> P2:=plot(LL,x=3.4..4,y=-0.1..1,style=point,
symbol=point,tickmarks=[2,2],color=black):
> t1:=textplot([3,-0.1,mu],align=BELOW,color=black):
> diagrama de bifurcacion
> display(P1,P2,t1,labels=[,x],tickmarks=[2,2],
font=[TIMES,ROMAN,15],axes=FRAMED);
Figura 9. Diagrama de Bifurcacion del mapa logstico
35
3.4 F
4
ES CA

OTICA EN [0, 1].

Ademas de lo ya expuesto, la familia cuadratica exhibe un fenomeno que hasta
ahora ha sido parcialmente comprendido: el comportamiento caotico de las orbitas de
un sistema dinamico. Basicamente, un sistema dinamico es caotico cuando no puede
predecirse con exactitud el comportamiento de sus orbitas a medida que evoluciona
el tiempo. Existen muchas deniciones de caos; no obstante, en este trabajo se utilizo
la denicion dada por Devaney en 1986.
Denicion 3.1. Se dice que f : X X exhibe dependencia sensitiva a las condi-
ciones iniciales, si existe > 0 tal que, para cualquier x X y cualquier vecindad
A de x, existe y A y n 0 tal que [f
n
(x) f
n
(y)[ > .
En forma intuitiva, la aplicacion f es sensible a las condiciones iniciales, si
existen puntos arbitrariamente proximos a x que se separan al menos en bajo n
iteraciones de f.
Denicion 3.2 (Caos seg un Devaney). Sea X un espacio metrico. Entonces la
funcion f : X X es caotica si
(a) f es topologicamente transitiva.
(b) f exhibe dependencia sensitiva a las condiciones iniciales.
(c) El conjunto de los puntos periodicos de f es denso en X.
La denicion anterior ha sido analizada posteriormente por diversos autores.
En 1992, Banks y un grupo de colaboradores demostraron que las propiedades (a) y
(c) implican (b), ver [10]. Explcitamente, obtuvieron el siguiente resultado:
Teorema 3.1. Sea f : X X topologicamente transitiva y suponga que los puntos
periodicos de f son densos en X. Si X contiene un n umero innito de elementos,
entonces f exhibe dependencia sensitiva a las condiciones iniciales.
Demostracion. Sea f : X X topologicamente transitiva y suponga que los
puntos periodicos de f son densos en X. Sea d la metrica en X. Primero se muestra
36
que para todo x X, existen
0
> 0 y un punto periodico q tal que la distancia de
x a f
n
(q) es mayor a
0
para todo n. Sea
0
=
1
2
mnd[f
n
(p), f
m
(q)] : n, m N
donde p y q son puntos periodicos de f que pertenecen a orbitas diferentes. Por
tanto, existe una cantidad nita de puntos en las orbitas de p y q. Por denicion,
todos los puntos en la orbita de p estan al menos 2
0
unidades lejos de los puntos en
la orbita de q. Entonces, por la desigualdad triangular
2
0
d[f
n
(p), f
m
(q)] n, m N
d[f
n
(p), x] + d[f
m
(q), x] n, m N
se sigue que cuando d[f
n
(p), x]
0
para alg un n, entonces d[f
m
(q), x]
0
para
todo m y recprocamente. Entonces, cada punto x esta al menos
0
unidades lejos
de un punto de la orbita de q o de la orbita de p.
Ahora, sea =
1
4

0
. Se demuestra que para todo x X y > 0 existe y tal
que d[x, y] < y d[f
n
(x), f
n
(y)] > para alg un n. Sea x X y > 0. Se asume, sin
perdida de generalidad que < . Como los puntos periodicos de f son densos en
X, se puede encontrar un punto periodico p con periodo primo k tal que d[x, p] < .
Tambien, existe un punto periodico q tal que cada punto dentro de la orbita esta
al menos una distancia 4 =
0
de x; se demostro anteriormente que dicha orbita
existe. Finalmente, se dene
V =
k
i=0
f
i
(B(f
i
(q), )) = x : d[f
i
(x), f
i
(q)] < , 0 i k;
claramente q V . Se arma que V es abierto; en efecto, dado que B(f
i
(q), )
es una bola de centro f
i
(q) y radio es abierto. Como f
i
es continua, se sigue
que f
i
(B(f
i
(q), )) es abierto para cada i. Finalmente, como la interseccion nita
de abiertos es abierto; se concluye que V es abierto. Ahora, como V y B(x, ) son
abiertos, la transitividad topol ogica de f implica que existe y y m tal que y B(x, )
y f
m
(y) V . Sea j un entero tal que
m
k
< j
m
k
+1; esto es 0 < kj m k. Notese,
que en B(x, ) se encuentra x, p, un punto periodico de periodo k e y. Ademas, el
conjunto abierto V no se intersecta con B(x, ) y cumple las siguientes propiedades:
37
(a) El punto periodico q esta en V .
(b) Si z V y i k, entonces la distancia entre f
i
(z) y f
i
(q) es menor que .
(c) f
m
(y) esta en V ,
para completar la prueba, se demuestra que d[f
kj
(p), f
kj
(x)] > o d[f
kj
(x), f
kj
(y)] >
; como d[x, p] < o d[x, y] < , entonces f exhibira dependencia sensitiva en las
condiciones iniciales.
Ya que la distancia de f
kj
(y) = f
kjm
(f
m
(y)) a f
kjm
(q) es menor que se
puede escoger y tal que f
m
(y) esta en V . Igualmente, como la distancia entre f
i
(z)
y f
i
(q) es menor que cuando z esta en V con i k, y como j fue escogido tal que
kj m k. Por la desigualdad triangular
d[x, f
kjm
(q)] d[x, p] + d[p, f
kj
(y)] + d[f
kj
(y), f
kjm
(q)] (3.5)
Como se asumio que d[x, p] < < y debe probarse que d[f
kj
(y), f
kjm
(q)] <
, de la desigualdad (3.5) se tiene
d[x, f
kjm
(q)] < d[p, f
kj
(y)] + 2. (3.6)
Se recuerda que q es un punto periodico con la propiedad d[x, f
kjm
(q)] >
4 =
0
. As, se sigue de la desigualdad (3.6)
4 < d[p, f
kj
(y)] + 2 o 2 < d[p, f
kj
(y)]. (3.7)
Como p es un punto periodico de periodo k, entonces f
kj
(p) = p y se concluye
de la desigualdad (3.7) que
2 < d[f
kj
(p), f
kj
(y)].
Finalmente, por la desigualdad triangular se tiene
2 < d[f
kj
(p), f
kj
(y)] d[f
kj
(p), f
kj
(x)] + d[f
kj
(x), f
kj
(y)].
Por tanto, d[f
kj
(p), f
kj
(x)] > o d[f
kj
(x), f
kj
(y)] > y la prueba esta com-
pleta.
38

Sea T
2
: [0, 1] [0, 1] el mapa tienda denido por :
T
2
(x) =
_

_
2x 0 x
1
2
2 2x
1
2
< x 1
entonces T
2
es topologicamente conjugado a F
4
(x) = 4x(1 x) en [0, 1].
Sea h : [0, 1] [0, 1] denida por h(x) = 1 cos
2
(

2
x), entonces h es una
conjugacion topologica entre F
4
y T
2
.
Figura 10. h(x) = 1 cos
2
(

2
x)
En efecto, la graca de h(x) es un homeomorsmo en el intervalo [0, 1]. Luego
(F
4
h)(x) = 4(1 cos
2
(

2
x))(1 1 +cos
2
(

2
x))
= 4sen
2
(

2
x)cos
2
(

2
x) = (2sen(

2
x)cos(

2
x))
2
= sen
2
(x) = 1 cos
2
(x) (3.8)
(h T
2
)(x) =
_

_
1 cos
2
(

2
(2x)) 0 x
1
2
1 cos
2
(

2
(2 2x))
1
2
< x 1
=
_

_
1 cos
2
(x)) 0 x
1
2
1 cos
2
((1 x))
1
2
< x 1
dado que cos( x) = cos(x), se tiene que 1 cos
2
((1 x)) = 1 cos
2
(x).
En consecuencia
39
(h T
2
)(x) =
_

_
1 cos
2
(x)) 0 x
1
2
1 cos
2
(x))
1
2
< x 1
= 1 cos
2
(x)) (3.9)
de (3.8) y (3.9), se obtiene F
4
h = h T
2
. Y as h es una conjugacion topologica
entre F
4
y T
2
.
Figura 11. Mapa tienda T
2
(x)
Una vez demostrada la existencia de una conjugacion topologica entre T
2
y
F
4
, surgen preguntas como: cual es la dinamica de estas aplicaciones? Bien, se
empieza diciendo que cuando = 4; los puntos jos de F

son repulsores. Ademas,

la imagen de [0, 1] bajo F

es [0, 1], as la graca esta totalmente contenida en el

cuadrado unitario. Por otro lado, resolviendo la ecuacion T
2
(x) = x, se obtienen los
puntos jos 0 y
2
3
.
Lema 3.1. Para todo k N y para todo j 1, , 2
k
se tiene que la imagen bajo
T
k
del intervalo [
j1
2
k
,
j
2
k
] es igual al intervalo I, i.e, T
k
([
j1
2
k
,
j
2
k
]) = [0, 1].
Demostracion. Debe probarse que T
k
: [
j1
2
k
,
j
2
k
] [0, 1] es un homeomorsmo.
Para ello se estudian las siguientes iteraciones de T
2
.
40
T
2
2
=
_

_
4x 0 x <
1
4
2(1 2x)
1
4
x
1
2
2(2x 1)
1
2
< x
3
4
4(1 x)
3
4
< x 1.
Procediendo inductivamente, puede observarse que T
k
2
tiene la forma
T
k
2
(x) =
_

_
2
k
x 0 x
1
2
k
.
.
.
2
k
(1 x)
2
k
1
2
k
x 1.
Notese que si x [
j1
2
k
,
j
2
k
] entonces T
k
(x) = px + q donde [p[ = 2
k
y q Z
(como T es lineal, la composici on de T k veces tambien es lineal). Dado que T
k
es una
funci on lineal, entonces T
k
es un homeomorsmo; en particular T
k
es sobreyectiva;
i.e., T
k
([
j1
2
k
,
j
2
k
]) = [0, 1].
Proposicion 3.2. El mapa T
2
tiene 2
n
puntos periodicos de periodo n. Mas a un,
los puntos periodicos son densos en [0, 1].
Demostracion. Debe probarse que T
2
tiene 2
n
intervalos de monotona. Clara-
mente, T
2
tiene 2
1
intervalos de monotona de longitud
1
2
cada uno. Del lema ante-
rior, T
2
2
tiene 2
2
intervalos de monotona de longitud
1
2
2
y T
k
2
tiene 2
k
intervalos de
monotona de longitud
1
2
k
. Dado que T
k+1
2
(x) resulta de la composicion de T
k
2
con
T
2
y la composicion no es conmutativa; las ramas que conforman T
k+1
se compo-
nen de (2)2
k
maneras, obteniendose 2
k+1
intervalos, cada uno de longitud
1
2
k+1
. Por
tanto, T
n
2
tiene 2
n
intervalos de longitud
1
2
n
. Considerese cada rama de T
n
2
como una
funcion continua f
j
: [
j1
2
n
,
j
2
n
] [0, 1] con j = 1, 2, , 2
n
, luego por el lema 3.1, f
j
intersecta la diagonal en un unico punto p para cada j = 1, 2, , 2
n
. As, T
n
2
tiene 2
n
puntos jos, o equivalentemente, T
2
tiene 2
n
puntos periodicos de periodo
n.
41
Como en cada intervalo de la forma [
j1
2
k
,
j
2
k
] existe p [
j1
2
k
,
j
2
k
] tal que
T
k
2
(p) = p, donde [
j
2
k

j1
2
k
[ =
1
2
k
, entonces dado > 0 se escoge k tal que 2
k
< y
se obtiene que para cada x [
j1
2
k
,
j
2
k
] existe p [
j1
2
k
,
j
2
k
] tal que [x p[
1
2
k
< .
Dado que [0, 1] =

2
k
j=1
[
j1
2
k
,
j
2
k
] se sigue que los puntos periodicos de T
2
son densos
en [0, 1].
Proposicion 3.3. Sea T
2
: I I, entonces dado un intervalo abierto no vaco
(a, b) I, existe k
1
N tal que T
k
1
((a, b)) = [0, 1]. En particular, T
2
es topologica-
mente transitiva.
Demostracion. Sea (a, b) un intervalo abierto, sea k el primer entero para el cual
[
j1
2
k
,
j
2
k
] (a, b), j = 1, , 2
k
. Por la continuidad de T
2
,
T
k
2
[
j 1
2
k
,
j
2
k
] T
k
2
(a, b) [0, 1]
pero, como T
k
2
[
j1
2
k
,
j
2
k
] = [0, 1], se concluye que T
k
2
(a, b) = [0, 1]. Para ver que
T
2
es topologicamente transitiva es suciente demostrar que para cualesquiera dos
intervalos abiertos, (a, b) y (c, d) en I, existen x (a, b) y k 0 tales que T
k
(x)
(c, d) como existe k N tal que T
k
((a, b)) = I. Entonces, se obtiene de forma
inmediata el punto x y la iteracion k que se necesitan.
Proposicion 3.4. Los mapas T
2
y F
4
son caoticos en [0, 1].
Demostracion. Sea p un punto periodico de T
2
con periodo primo k; como p es
denso se tiene que para cualquier x [0, 1], [x T
k
2
(p)[ < . Luego, por la parte (ii)
de la proposicion 1.1 y la continuidad de h = 1 cos
2
(

2
x)
[h(x) F
k
4
(h(p))[ = [h(x) h(p)[ < siempre que [x T
k
2
(p)[ = [x p[ < .
Por tanto, los puntos periodicos de F
4
son densos en [0, 1].
Por otro lado, si U y V son abiertos en [0, 1]; se pueden elegir abiertos

U y

V
que se transforman en U y V mediante h. Como existe k > 0 tal que T
k
2
(

U)(

V ) ,= ,
42
se tiene que
h(T
k
2
(

U) (

V )) = h(T
k
2
(

U)) h(

V )
= F
k
4
(h(

U)) h(

V )
= F
k
4
(U) V ,= .
Ya se demostro que si T
2
es topologicamente transitiva y sus puntos periodicos
son densos , entonces F
4
tambien es topologicamente transitiva y el conjunto Per(F
4
)
es denso. Finalmente, por el teorema 3.1 se tiene que tanto T
2
como F
4
exhiben
dependencia sensitiva a las condiciones iniciales, luego T
2
y F
4
son caoticas.
El analisis graco muestra el comportamiento caotico de las orbitas del mapa
tienda y F
4
.
Figura 12. Evidencia de caos en el mapa tienda y en el mapa logstico
CAP

ITULO 4
HIPERBOLICIDAD
En el captulo 1 se estudio la nocion de hiperbolicidad en puntos jos y
orbitas periodicas. Ahora se estudia la hiperbolicidad en un contexto mas gene-
ral, demostrando ciertos resultados de estabilidad local para conjuntos hiperbolicos
y puntos jos hiperbolicos e introduciendo el concepto de propiedades genericas.
4.1 CONSTRUCCI

ON DIN

AMICA DE UN CONJUNTO DE CAN-

TOR
Cuando > 4, el maximo

4
de F

es mayor que uno. Por tanto, ciertos

puntos abandonan el intervalo unitario en la primera iteracion de F

. Se denota el
conjunto de esos puntos por U
0
. Claramente, U
0
es un conjunto abierto centrado
en
1
2
y tiene la propiedad de que si x U
0
, entonces F

(x) > 1, as F
2

(x) < 0 y
F
n

(x) (proposicion 3.1). De esta forma, U

0
es el conjunto de puntos que
escapan inmediatamente de I. En la siguiente gura se muestra que existen dos
intervalos cerrados I
0
e I
1
que permanecen en I. Sea
1
= I
0
I
1
, es facil ver que

c
1
= U
0
, es decir,
1
es el complemento de U
0
en [0, 1].
Figura 13. Mapa logstico > 4
44
Sea U
1
= x I : F

(x) U
0
. Si x U
1
, entonces F

2
(x) > 1, F
3

(x) < 0,
y as, F
n

(x) . U
1
esta formado por dos intervalos abiertos centrados en I
0
e
I
1
respectivamente; por tanto existen cuatro intervalos cerrados que permanecen en
[0, 1] en la segunda iterada de F

, dos en I
0
y dos en I
1
. Sea
2
= I
00
I
01
I
10
I
11
,
ese conjunto de puntos.
Inductivamente, sea U
n1
= x I : F
n1

(x) U
0
, es decir, U
n1
consiste de
todos los puntos que escapan de I en la n- esima iteracion. En la siguiente proposicion
se demuestra que
n
esta formado por 2
n
intervalos cerrados. En consecuencia,
existen 2
n
intervalos que permanecen en [0, 1] en la n- esima iterada de F

.
Proposicion 4.1. Cuando > 4, el conjunto
n
consta de 2
n
intervalos cerrados
disjuntos para todo n N
Demostracion. Aplicando el principio de induccion, claramente
1
esta formado
por dos intervalos cerrados disjuntos I
0
e I
1
. Suponga que
k
consiste de 2
k
intervalos
cerrados disjuntos. Ahora considere
k+1
. Notese que
k+1

k
; asuma que [a, b]
es uno de los intervalos en
k
y (F
k

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

k

es
estrictamente creciente en [a, b], F
k

es continua y F
k

([a, b]) = [0, 1], el teorema del

valor intermedio implica que existen puntos x
2
y x
3
tales que:
(1) a < x
2
< x
3
< b.
(2) F
k

([a, x
2
]) = [0,
1
2

2
4
2
] = I
0
.
(3) F
k

((x
2
, x
3
)) = (
1
2

2
4
2
,
1
2
+

2
4
2
) = U
0
.
(4) F
k

([x
3
, b)) = [
1
2
+

2
4
2
, 1] = I
1
.
La primera condicion implica que los intervalos [a, x
2
] y [x
3
, b] son disjuntos.
Las tres condiciones siguientes implican que F
k+1

([a, x
2
]) = [0, 1], F
k+1

(x) > 1 para

todo x (x
2
, x
3
), y F
k+1

([x
3
, b]) = [0, 1]. As, el conjunto de puntos en [a, b] que
pertenecen a
k+1
consiste de dos intervalos cerrados disjuntos [a, x
2
] y [x
3
, b]. Si x
[a, x
2
], entonces F
k

(x) [0,
1
2

2
4
2
] y F

(F
k

(x)) > 0. Por hipotesis inductiva,

(F
k

(x) > 0, as para todo x [a, x

2
], (F
k+1

(x) = F

(F
k

(x))(F
k

(x) > 0.
Un argumento similar demuestra que (F
k+1

(x) < 0 para todo x [x

3
, b].
45
Comenzando con el argumento del parrafo anterior, por hipotesis inductiva
(F
k

(x) < 0 para todo x [a, b], entonces usando un razonamiento analogo, se
muestra que los puntos de
k+1
que pertenecen a [a, b] estan contenidos en dos
intervalos disjuntos [a, x
2
] y [x
3
, b], F
k+1

([a, x
2
]) = [0, 1] , F
k+1

([x
3
, b]) = [0, 1] y
(F
k+1

es estrictamente positiva o estrictamente negativa en los intervalos [a, x

2
] y
[x
3
, b], respectivamente. Como [a, b] es un intervalo arbitrario en
k
se sigue que

k+1
contiene 2(2
k
) = 2
k+1
intervalos cerrados disjuntos.
Denicion 4.1. Un conjunto R es un conjunto repulsor hiperbolico (o simple-
mente hiperbolico) para un mapa f, si es invariante y existen constantes c > 0 y
> 1 tal que
[(f
n
)

(x)[ > c
n
para todo x y todo n N.
A continuacion, se siguen las ideas de la prueba dada en [11] para demostrar
que es un conjunto hiperbolico para > 4.
Lema 4.1. Sea f : R R un mapa de clase C
1
, y sea R un compacto f
invariante. Entonces es hiperbolico con respecto a f, si y solo si para cada x
existe un k N (que depende de x) tal que [(f
k
)

(x)[ > 1.
Demostracion. Claramente, la hiperbolicidad de implica que para cada x
existe un k N tal que [(f
k
)

(x)[ > 1.
Recprocamente, suponga que para cada x existe un k(x) N tal que
[(f
k(x)
)

(x)[ > 1. Entonces, si min

x
[f

(x)[ > 1, el conjunto es hiperbolico con

c = 1 y = min
x
[f

(x)[. En el otro caso, si min

x
[f

(x)[ 1, se escoge para

cada x un n umero real c(x) (1, [(f
k(x)
)

(x)[) y se dene el conjunto U(x) =

y : [(f
k(x)
)

(y)[ > c(x).

Como [(f
k(x)
)

(.)[ : R es continuo, los conjuntos U(x), x , son abiertos

en y se puede escoger un cubrimiento nito U(x
1
), , U(x
m
) de . Luego se
46
dene k = max
i=1, ,m
k(x
i
), = (min
i=1, ,m
c(x
i
))
1
k
y c =
k
(min
x
[f

(x)[)
k
.
Entonces, > 1 y c < 1, ya que min
x
[f

(x)[ 1.
Para vericar la condicion de hiperbolicidad, escogase cualquier x y
n N. Haciendo y
1
= x se escoge recursivamente para cualquier j N un i(j)
1, , m tal que y
j
U(x
i(j)
) y se dene y
j+1
= f
k
(x
i(j)
)(y
j
). Entonces, existe
r Z
+
que es maximal con respecto a la estimacion

r
j=1
k(x
i(j)
) n. Haciendo
s =

r
j=1
k(x
i(j)
) (donde

0
j=1
= 0 y

0
j=1
= 1) se obtiene ns < k, kr > nk
y y
r+1
= f
s
(x). As nalmente se obtiene la estimacion
[(f
n
)

(x)[ = [(f
ns
)

(f
s
(x))[[(f
s
)

(x)[
=
ns

i=1
[(f

(f
i1
)(y
r+1
))[
r

j=1
[(f
k(x
i(j)
)

(y
j
)[
>
_
min
y
[f

(y)[
_
ns
_
min
i=1, ,m
c(x
i
)
_
r
>
_
min
y
[f

(y)[
_
k
_
min
y
[f

(y)[
_
r
c
k

kr
> c
n
.
Y esto completa la prueba del lema.
Teorema 4.1. Para cada > 4 el conjunto es hiperbolico con respecto a F

.
Demostracion. Primero se introducen los dos n umeros reales:
x

:=
1
2

1
2
_
1

4
los cuales estan determinados unicamente por la relacion F
1
([0, 1]) = [0, x

]
[x
+
, 1] = I
0
I
1
. Posteriormente notese que haciendo uso del lema 4.1 el teorema
se prueba si se muestra que para cualquier x existe k N tal que:
[(F
k
)

(x)[ > 1. (4.1)

En este sentido, se especica que ocurre cuando > 2+

5. El rol fundamen-
tal de este parametro radica en que F

(x

) = 1 si y solo si > 2+

5. En este caso, la
47
condicion ( 4.1) se satisface cuando k = 1, ya que [F

(x)[ F

(x

) =
_

2
4 > 1
para todo x . Para efectos de la prueba suponga que 4 < 2 +

5. Primera-
mente se introducen los dos puntos y

y y
+
donde F tiene derivada 1 y -1 respecti-
vamente y seguidamente se introduce la F preimagen z

de y

;
y

=
1
2

1
2
; y

>
3
8
(4.2)
z

=
1
2

_

2
2 + 2
2
, F

(z

) =
_

2
2 + 2.
Figura 14. F

(x) = x(1 x), = 4.1

A n de vericar la ecuacion (4.1), (la cual completa la prueba), para cada
x se considera el caso cuando x pertenece al intervalo [y

, y
+
] y cuando no
pertenece.
Si x / [y

, y
+
], entonces x [0, y

) (y
+
, 1]. En este caso la monotona de
F

inmediatamente implica que [F

(x)[ > F

(y

) = 1 y la ecuacion ( 4.1) se satisface

con k = 1.
48
Si x [y

, y
+
], entonces x [y

, x

] [x
+
, y
+
] y [F

(x)[ 1. En este caso

la situacion es un poco mas delicada, ya que la ecuacion (4.1) no se satisface con
k = 1.
Con el proposito de encontrar un k 2, la expresion
(F
k
)

(x) = F

(x) F

(F(x)) F

(F
k1
(x))
sugiere obtener calculos aproximados convenientes para
[F

(x)[, [F

(F(x))[, , [F

(F
k1
)(x)[.
Esto se hace, utilizando las identidades F

(x) = 2x y F(x) = x(1 x) para

obtener
x =
1
2

F

(x)
2
y F(x) =

4

F

(x)
2
4
. (4.3)
Notando que 0 < F

(x)
2
1 y 1

4
< 0, esas relaciones conllevan a
F
2
(x) = F(F(x)) = F
_

4

F

(x)
2
4
_
=
_

2
4

F

(x)
2
4
__
1

4
+
F

(x)
2
4
_
<

2
4
F

(x)
2
4
=
F

(x)
2
16

2 +

5
16
<
5
16
<
3
8
< y

.
Resumiendo, para el x [y

, y
+
] dado se tiene la estimacion
F
2
(x) < F

(x) < y

, donde F

(x) :=
F

(x)
2
16
. (4.4)
Como la sucesion
n

nN
es estrictamente creciente, existe un unico entero m 2
tal que
F

(x) <
2
F

(x) < <

m1
F

(x) y

<
m
F

(x). (4.5)
Usando los terminos explcitos para y

y F

(x) (ver ecuaciones (4.2) y (4.4)) y la

ecuacion (4.3) se deduce el estimado 8( 1) <
m+1
f

(x)
2
del cual se obtiene
[F

(x)[ >
_
24

m+1
. (4.6)
49
Ademas, de la relacion
F

(F(x)) = 2f(x) =

2
2
+
F

(x)
2
2
=
2
_
1

1
2
+
F

(x)
2
2
2
_
<
2
_
1
4

1
2
+
1
32
_
=
7
2
32
<

2
5
se obtiene
[F

(F(x))[ >

2
5
. (4.7)
Ahora se utiliza la F invarianza de y la desigualdad [F

[ en para
obtener F
n
(x) = F(F
n1
(x)) F
n1
(x) para todo n 2, aplicando induccion
matematica y haciendo uso de la ecuacion (4.4)
F
n
(x) <
n1
F

(x) para todo n 2. (4.8)

Usando la escogencia particular de m descrita en la ecuacion (4.5) se obtiene
F
n
(x) <
n1
F

para n = 2, 3, , m. (4.9)
Para vericar nalmente la ecuacion (4.1) (y as completar la prueba) se
distinguen los casos m = 2 y m 3.
Si m = 2, la ecuacion (4.1) se satisface con k = 2, ya que haciendo uso de
las ecuaciones (4.6) y (4.7) se obtiene
[(F
2
)

(x)[ = [F

(x)[[F

(F(x))[ >
_
24

4
25
=
_
24
25
>
_
96
25
> 1. (4.10)
Si m 3, observe que el estimado

m2
F

(x) z

(4.11)
es verdadero, porque de no ser as, i.e., si
m2
F

(x) > z

, se tendra
y

= F(z

) = z

(1 z

) < z

<
m1
F

,
50
pero el estimado y

<
m1
F

obtenido contradice la ecuacion (4.9). Ahora,

aplicando las ecuaciones (4.9) y (4.11), se obtiene el estimado F
n
(x) z

para
n = 2, , m 1 y usando el hecho, que F

es estrictamente creciente, para n =

2, , m1 se tiene
[F

(F
n
(x))[ F

(z

) =
_

2
2 + 2 =
_
( 2) + 2 >

10. (4.12)
Finalmente, usando la ecuacion (4.12) y la aproximacion [F

(x)[[F

(F(x))[ > 1 (ver

ecuacion (4.10)) , se obtiene
[(F
m
)

(x)[ =
m1

n=0
[F

(F
n
(x))[ > (

10)
m2

10 > 1.
As, en caso de que m 3 la condicion (4.1) se satisface con k = m y se completa
la prueba del teorema.
La hiperbolicidad de garantiza en gran parte la estabilidad de F

como se
muestra mas adelante.
Denicion 4.2. Sea I = [0, 1] el intervalo unitario.Un conjunto I es un con-
junto de Cantor si es cerrado, totalmente disconexo y perfecto.Un conjunto es total-
mente disconexo si no contiene intervalos; un conjunto es perfecto si cada punto es
un punto de acumulacion o punto lmite de otros puntos en el conjunto.
Sea =

n=0

n
= I (

n=0
U
n
) , entonces as denido es un conjunto de
Cantor.
Proposicion 4.2. El conjunto es un conjunto de Cantor.
Demostracion. Debe mostrarse que:
(a) es cerrado.
(b) no contiene intervalos.
(c) Cada punto en es un punto de acumulacion.
(a) Como es la interseccion arbitraria de conjuntos cerrados, entonces es
cerrado.
51
(b) Para mostrar que no contiene intervalos, se utiliza la hiperbolicidad de .
Es decir, para > 4, existe > 1 tal que [F

(x)[ > para todo x . Por la

regla de la cadena, se sigue que [(F
n

(x)[ >
n
. Ahora, suponga que contiene
un intervalo [, ], entonces [(F
n

()[ >
n
para todo [, ]. Escoja n tal que

n
[ [ > 1. Por el teorema del valor medio
[F
n

() F
n

()[ = [(F
n

()[[ [
n
[ [ > 1
lo cual implica que F
n

() o F
n

() esta fuera de I. Con esta contradiccion se concluye

que es totalmente disconexo.
(c) Primeramente, notese que cualquier extremo de un U
k
pertenece a . En
efecto, tales puntos son eventualmente iterados al punto jo 0, y en consecuencia
permanecen en I bajo iteracion. Ahora, si p por (b), p es aislado; as cada punto
cercano debe abandonar I bajo iteracion de F

. Tales puntos pertenecen a alg un

U
k
. Luego, existe una sucesion de extremos de los U
k
que convergen a p o todos los
puntos en una vecindad de p son iterados fuera de I. En el primer caso, los extremos
de los U
k
son iterados a 0 y por tanto estan en . En el otro caso, debe asumirse
que F
n

enva el punto p a 0 y todos los otros puntos en una vecindad de p al eje

negativo de las abscisas. Pero entonces F
n

tiene un maximo en p y as (F
n

(p) = 0.
Por la regla de la cadena (F
n

(p) = F

(F
i

(p)) = 0 para alg un i < n.

Por tanto, F
i

(p) =
1
2
, lo cual implica que F
i+1

(p) , I y as F
n

(p)
contradiciendo el hecho que F
n

(p) = 0.
4.2 DIN

AMICA SIMB

OLICA
En esta parte se utilizan sucesiones innitas de ceros y unos para etiquetar los
puntos del conjunto de Cantor , lo cual ayudara a comprender el comportamiento
caotico presente en la dinamica de .
Denicion 4.3. Sea
2
el conjunto de todas las sucesiones innitas de ceros y unos.
Este conjunto es llamado el espacio sucesion de 0s y 1s o el espacio smbolo de 0s
52
y 1s. Mas precisamente,
2
= s = (s
0
s
1
s
2
) : s
j
= 0 o 1.
Denicion 4.4. Sea s = (s
0
s
1
s
2
s
3
) y t = (t
0
t
1
t
2
t
3
) puntos en
2
. Se denota
la distancia entre s y t como d[s, t] y esta denida por:
d[s, t] =

i=0
[s
i
t
i
[
2
i
Como [s
i
t
i
[ es 0 o 1, 0 d[s, t]

i=0
1
2
i
= 2. Por tanto, d[s, t] es un
n umero entre 0 y 2 y ademas dene una metrica en
2
.
Proposicion 4.3. Sean s, t
2
y suponga que s
i
= t
i
para todo i = 0, 1, , n.
Entonces d[s, t]
1
2
n
. Recprocamente, si d[s, t] <
1
2
n
, entonces s
i
= t
i
para todo
i n.
Demostracion. Sean s = s
0
s
1
s
2
y t = t
0
t
1
t
2
sucesiones en
2
. Si s
i
= t
i
para todo i n, entonces
d[s, t] =

i=0
[s
i
t
i
[
2
i
=
n

i=0
0
2
i
+

i=n+1
[s
i
t
i
[
2
i
=
1
2
n+1

i=0
[s
i+n+1
t
i+n+1
[
2
i

1
2
n+1

i=0
1
2
i
=
1
2
n
.
En el otro caso, si existe j < n tal que s
j
,= t
j
, entonces
d[s, t] =

i=0
[s
i
t
i
[
2
i
>
1
2
j

1
2
n

Denicion 4.5. El mapa shift :

2

2
esta denido por:
(s
0
s
1
s
2
) = s
1
s
2
s
3

53
El mapa shift simplemente olvida el primer dgito de la sucesion y los otros
dgitos son desplazados un lugar hacia la izquierda.
Proposicion 4.4. El mapa shift es continuo.
Demostracion. Sea > 0 y s = s
0
s
1
s
2
. Escoja n tal que 2
n
< . Sea =
1
2
n+1
;
si t = t
0
t
1
t
2
satisface d[s, t] < , por la proposicion anterior se tiene que s
i
= t
i
para i n+1. Por tanto las i- esimas entradas de (s) y (t) coinciden para i n.
En consecuencia d[(s), (t)]
1
2
n
< .
Ahora, se demuestra que y F

son topologicamente conjugados. Primera-

mente, como I
0
I
1
, todos los puntos en la orbita de x, x estan en y por
ende en uno de esos intervalos; de tal manera que puede establecerse una correspon-
dencia biunvoca entre el itinerario de x y una sucesion de 0s y 1s como se muestra
en la siguiente denicion.
Denicion 4.6. El itinerario de x es una sucesion S(x) = s
0
s
1
s
2
donde s
j
= 0
si F
j

(x) I
0
y s
j
= 1 si F
j

(x) I
1
.
Lema 4.2. Sea I
s
0
s
1
s
n1
un intervalo de
n
, si > 4 existe > 1 y c > 0 tal que
[I
s
0
s
1
s
n1
[ c
n
.
Demostracion. En la prueba del teorema 4.1, se encontro una constante m = k 1
tal que [(F
m

(x)[ > 1, para todo x I

0
I
1
, y en el lema 4.1 se demostro que
esa condicion es equivalente a decir que existen constantes c
0
0 y > 1, tales
que [(F
n

(x)[ c
0

n
, para todo x I
0
I
1
y n N . Sea = > 1, y sea
I
s
0
s
1
s
n1
= [, ], entonces haciendo c
0
= 1
[F
n

() F
n

()[ = [(F
n

()[[ [

n
[I
s
0
s
1
s
n1
[.
Como
[F
n

() F
n

()[ = [F
n

(I
s
0
s
1
s
n1
)[ = [I
s
0
[
54
entonces
[I
s
0
[
n
[I
s
0
s
1
s
n1
[
por tanto si c = m axI
0
, I
1
se tiene que [I
s
0
s
1
s
n1
[ c
n
.
Lema 4.3. I
s
0
s
1
s
n1
,= , m as a un

n=0
I
s
0
s
1
s
n
,= y representa un unico punto
en .
En la demostracion de este lema se hace uso de la siguiente propiedad:
Principio de encaje de Cantor. Sea K
n
una familia decreciente (encajada)
de compactos no vacos, i.e., K
n+1
K
n
para todo n > 0, entonces la interseccion

n
K
n
es no vaca.
Demostracion del Lema 4.3
I
s
0
s
1
s
n
= x I : F
k
(x) I, k n. Realizando la prueba por induccion;
claramente para n = 1 es cierto ya que I
s
0
es I
0
o I
1
y ambos intervalos son no vacos
por denicion. Si se cumple para n = k, entonces
I
s
0
s
1
s
k
= I
s
0
F
1
(I
s
1
) F
k
(I
s
k
) ,=
luego
I
s
0
s
1
s
k+1
= I
s
0
F
k
(I
s
k
) F
k+1
(I
s
k+1
)
= I
s
0
F
1
(I
s
1
F
1
(I
s
2
) F
k
(I
s
k+1
)
= I
s
0
F
1
(I
s
1
s
2
s
k+1
)
por hipotesis inductiva, se tiene que I
s
1
s
2
s
k+1
,= . Y por otro lado, como la pre-
imagen de I
s
1
s
2
s
k+1
dara origen a dos intervalos cerrados uno en I
0
y otro en I
1
,
entonces:
I
s
0
F
1
(I
s
1
s
2
s
k+1
) ,= .
En consecuencia, I
s
0
s
1
s
n1
,= para todo n N. Para probar que

n=0
I
s
0
s
1
s
n
,= y representa un unico punto en , notese que
I
s
0
s
1
s
n
= I
s
0
s
1
s
n1
F
n
(I
s
n
) I
s
0
s
1
s
n1
55
as, estos intervalos son encajados. Como la interseccion de un conjunto encajado de
intervalos cerrados es no vaco (Principio de encaje de Cantor) entonces:

n=0
I
s
0
s
1
s
n
,= .
Ahora, suponga que

n=0
I
s
0
s
1
s
n
= x, y tiene dos puntos y sea I
s
0
s
1
s
n
= [, ]
entonces [x y[ [ [ ya que x, y [, ]. Por otro lado el lema anterior,
garantiza que [x y[ [ [ c
n
entonces si n [ [ c
n
0, por
tanto x y = 0 x = y.
Teorema 4.2. Si > 4,entonces S :
2
es una conjugacion topologica entre
F

y donde S(x) = s
0
s
1
s
2
es la sucesion de ceros y unos que dene el itinerario
de un punto x .
Demostracion.
S es uno a uno:
Como la preimagen de una sucesion s
2
, representa un unico punto en , se sigue
inmediatamente del lema 4.3 que S es inyectiva.
S es sobre:
Debe probarse que s
2
x : S(x) = s. En efecto, como x es tal
que x =

n=0
I
s
0
s
1
s
n
, entonces x I
s
0
, F(x) I
s
1
, , F
n
(x) I
s
n
, y esto
describe el itinerario de x, as se ha encontrado un x tal que S(x) = s
0
s
1
s
2
.
S es continua:
Sea > 0 y x . Escogiendo n tal que 2
n
< es suciente probar que existe
> 0 tal que las sucesiones S(x) y S(y) coinciden en los n primeros dgitos siempre
que [x y[ < (proposicion 4.3). En otras palabras, si S(x) = s
0
s
1
entonces
x I
s
0
s
1
s
n
, luego debe probarse que y I
s
0
s
1
s
n
siempre que y y [x y[ < .
Sean [a
1
, b
1
], [a
2
, b
2
], , [a
2
n+1, b
2
n+1] los 2
n+1
intervalos cerrados en
n+1
indexados
tal que b
i1
< a
i
para todo i entonces haciendo =
1
2
min[a
i
b
i1
[ funciona. De
hecho, como el n umero de intervalos es nito y son disjuntos, es positivo. Ademas
56
si x, y
n+1
y [xy[ < , entonces se sigue que x e y estan en el mismo intervalo de

n+1
. Como I
s
0
s
1
s
n
es un intervalo en
n+1
y x I
s
0
s
1
s
n
se tiene que y debe estar
en I
s
0
s
1
s
n
. Por la proposicion 4.3 d(S(x), S(y)) < 2
n
< siempre que [xy[ < .
Y en consecuencia S es continua.
S
1
es continua:
Se debe probar que dado > 0 existe > 0 tal que [S
1
(s) S
1
(t)[ < siempre
que d(s, t) < con s, t
2
. Como S(x) = s y S(y) = t y por el lema 4.3 S
1
(s)
y S
1
(t) representan un unico punto en ; debe probarse que: [x y[ < siempre
que d(S(x), S(y) < ). En efecto si n es el primer entero positivo tal que c
n
< y
= 2
n
se verica la continuidad de S
1
.
Luego S :
2
es un homeomorsmo. Ahora, se prueba que SF

= S.
Sea I
s
0
s
1
s
n
= I
s
0
F
1
(I
s
1
) F
n
(I
s
n
), ya se demostro que esa interseccion es
no vaca. Si se aplica F a ambos lados de la igualdad se obtiene:
F(I
s
0
s
1
s
n
) = F(I
0
) F
_
F
1
(I
s
1
) F
n
(I
s
n
)
_
= F(I
0
) I
s
1
F
1
(I
s
2
) F
n+1
(I
s
n
),
donde F(I
0
) = I, luego:
F(I
s
0
s
1
s
n
) = I
s
1
F
1
(I
s
2
) F
n+1
(I
s
n
)
= I
s
1
s
2
s
n
.
Ya que todo punto x puede escribirse de la forma

n=0
I
s
0
s
1
s
n
entonces,
S F

(x) = S F

n=0
I
s
0
s
1
s
n
) = S(

n=1
I
s
1
s
2
s
n
) = s
1
s
2
= S(x).
Y la prueba esta completa.
4.3 ESPACIO DE LOS ENDOMORFISMOS C
r
DIFERENCIABLES
Denicion 4.7. Un espacio de Banach es un espacio vectorial normado que es un
espacio metrico completo respecto a la metrica derivada de su norma.
57
Sea C
r
[a, b], r 1, el espacio de todos los endomorsmos f : [a, b] [a, b] C
r
diferenciables en [a, b], se dene la metrica de Whitney en C
r
[a, b] por:
d
r
(f, g) = sup
x[a,b]
[f(x) g(x)[, [f

(x) g

(x)[, , [f
(r)
(x) g
(r)
(x)[
Esta metrica genera una C
r
topologa en el espacio C
r
[a, b].
Observacion 4.1.
En lo que sigue, dos funciones f, g C
r
[a, b] estan C
r
proximas si existe un
> 0 tal que d
r
(f, g) < .
Ejemplo 4.1.
C
r
[a, b], r 1 es un espacio de Banach con la norma inducida por la metrica de
Whitney.
Para mostrar lo anterior, se hace uso del siguiente lema:
Lema 4.4. Sea f
n
una sucesion de funciones reales integrables en [a, b] y suponga
que f
n
f uniformemente, con f integrable en [a, b]. Entonces:
lim
n
_
b
a
f
n
(x)dx =
_
b
a
lim
n
f
n
(x)dx =
_
b
a
f(x)dx
Demostracion. Suponga que f
n
f uniformemente, se demuestra que
lim
n
_
b
a
f
n
(x)dx =
_
b
a
f(x)dx. Sea > 0, entonces:
[
_
b
a
f
n
(x)dx
_
b
a
f(x)dx[ = [
_
b
a
(f
n
(x) f(x))dx[
_
b
a
[f
n
(x) f(x)[dx.
Como f
n
f uniformemente en [a, b], entonces para

ba
> 0 existe n
0
N tal que:
[f
n
(x) f(x)[ <

b a
x [a, b]
siempre que n n
0
. Por tanto para n n
0
se tiene que:
_
b
a
[f
n
(x) f(x)[dx <
_
b
a

b a
dx.
58
Es decir:
_
b
a
[f
n
(x) f(x)[dx <

b a
_
b
a
dx =

b a
(b a) =
siempre que n n
0
y la prueba esta completa.
Para probar que C
r
[a, b] es Banach, se considera una sucesion f
n
uniforme-
mente convergente en C
1
[a, b] con la metrica de Whitney, tal que f
n
f, f

n
g y
se demuestra que f, g C
1
[a, b]. Por el lema anterior y dado que f

n
g uniforme-
mente, se tiene para x N
_
x
a
g(s)ds =
_
x
a
lim
n
f

n
(s)ds = lim
n
_
x
a
f

n
(s)ds
= lim
n
f
n
(x) f
n
(a)
(por el 2do teorema fundamental de calculo)
= f(x) f(a)
(por la convergencia uniforme).
Es decir; para x N, f(x) = f(a)+
_
x
a
g(s)ds. Como el lmite de una sucesion
que converge uniformemente es continua (ver apendice) se deduce que g es continua,
y del primer teorema fundamental del calculo se tiene
d
dx
f(x) =
d
dx
f(a) +
_
x
a
g(s)ds = g(x).
Es decir, g(x) = f

(x), x N. Luego f es diferenciable y por tanto f, g

C
1
[a, b]. As C
1
[a, b] es un espacio de Banach con la norma de Whitney.
Suponiendo que C
r1
[a, b] es un espacio de Banach; es decir lim
n
f
r1
n
(x) =
f
r1
(x), x N, r > 1. Entonces:
lim
n
f
r
n
(x) = lim
n
f
r1
n
[f

n
(x)] = f
r1
(f

(x)) = f
r
(x)
(por la convergencia uniforme) r > 1, x N. Por tanto C
r
[a, b] es un espacio de
Banach.
59
Denicion 4.8. Sean U y V espacios de Banach. Se dice que una funcion
f : U V es diferenciable en p U si existe una transformacion lineal A : U V
tal que
lim
h0
|f(p +h) f(p) Ah|
|h|
= 0.
Equivalentemente, llamando h = x p, f es derivable en p si
lim
xp
|f(x) f(p) A(x p)|
|x p|
= 0.
Ahora se dene un espacio que contiene a los espacios metricos completos,
este espacio se denomina: espacio de Baire.
Denicion 4.9. Se dice que un conjunto X es un espacio de Baire si, dada cualquier
familia numerable U
n
de conjuntos abiertos en X, cada uno de los cuales es denso
en X, su interseccion

U
n
es tambien un conjunto denso en X.
Ejemplo 4.2.
C
r
[a, b], r 0 es un espacio de Baire.
En efecto, dado que todo espacio de Banach es un espacio de Baire (ver
apendice), del ejemplo 4.1 se concluye que C
r
[a, b] es un espacio de Baire.
Observacion 4.2.
Los teoremas de analisis real utilizados en la demostracion anterior se encuen-
tran ubicados en el apendice.
4.4 PROPIEDADES GEN

ERICAS
En esta seccion se introduce una nocion central en la teora de sistemas
dinamicos: el concepto de propiedades genericas. Esta idea la formaliza Steven
Smale en 1.967, considerando ciertas clases de equivalencias en el espacio de los
difeomorsmos Diff(M), donde M es compacto, y mostrando que, asociada a cada
relaci on de equivalencia existe una nocion de estabilidad [9]. Aqu se muestra que el
60
conjunto cuyas orbitas periodicas son hiperbolicas es una propiedad generica en el
espacio de los endomorsmos C
1
[a, b].
Denicion 4.10. Se dice que un conjunto X es residual si la interseccion

U
n
de
la denicion anterior es densa y no vaca.
Denicion 4.11. Se dice que una propiedad P es generica si ocurre en un conjunto
residual.
Denicion 4.12. Sea T C
1
[a, b]. Se dice que T(p) = p es un punto jo simple si
T

(p) ,= 1.
Teorema 4.3. Sea T C
1
[a, b], entonces existe un mapa g C
1
[a, b] arbitraria-
mente cercano a T en la C
1
topologa, tal que todas las orbitas de g son hiperbolicas.
Para demostrar este teorema se hara uso del siguiente resultado.
Teorema 4.4 (Teorema de la funcion implcita). Sean A y B espacios de Ba-
nach y sea G : A B A una funcion de clase C
1
, si:
(i) G(x
0
, y
0
) = 0
(ii)
G(x
0
,y
0
)
y
,= 0
entonces existe un intervalo abierto I que contiene a x
0
, un intervalo J que contiene
a y
0
y una funcion w : I J la cual satisface:
(i) w(x
0
) = y
0
(ii) G(x, w(x)) = 0, x I.
Demostracion. Ver apendice.
Demostracion del Teorema 4.3. Denotese el conjunto de los puntos jos de T
por Fix(T). Sea
F = T C
1
[a, b] : p Fix(T), T

(p) ,= 1,
el conjunto de las transformaciones cuyos puntos jos son simples, se demostrara
que F es un subconjunto abierto y denso de C
1
[a, b]. Notese primeramente que si
61
los puntos jos son simples entonces son aislados; es decir, existe un abierto U = U
p
tal que U
p
Fix(T) = p con p Fix(T). Para ello, observe que el teorema de la
funci on implcita garantiza que la solucion a la ecuacion diferencial:
T(x) x = 0,
es unica en un entorno de p. Mas a un; sea p un punto jo simple de T. Sea
: C
1
[a, b] R R, una funcion de clase C
1
tal que (T, x) = T(x) x, entonces
(T, p) = 0 y
(T, p)
x
= T

(p) 1 ,= 0.
Por el teorema de la funcion implcita, existen vecindades abiertas | = |
T
y 1 = 1
p
,
y una funcion C
1
,
: |
T
1
p
(g) = p
g
,
tal que (g, p
g
) = 0. Lo cual demuestra que si se toma un punto jo simple de T,
existe una vecindad |
T
tal que todas las transformaciones en esa vecindad tienen un
unico punto jo simple en 1
p
. En consecuencia, F es un conjunto abierto.
Ahora se prueba que F es denso en [a, b]; para ello, sea f : R [0, 1] una
funcion C

denida por
f(x) =
_

_
0 si x 0
exp(
1
x
) si x > 0
y cuya graca es
62
Figura 15. Funcion C

1
entonces f

(x) > 0 para x > 0 y f es creciente. Modique la funcion f a una funcion

C

: R [0, 1] de la siguiente forma:

(x) =
_

_
f(1x)
f(1x)+f(x
1
2
)
si 0 x 1
0 si x > 1
Figura 16. Funcion C

2
63
dado que 0 (x) 1 entonces

es acotada; es decir, [

(x)[ A, A > 0. Sea

p Fix(T) y suponga que T

(p) = 1, dado > 0 tome la perturbacion local

T

(x) = T(x) + (x p)(x)

donde : R [0, 1] es una funcion C

construida de la siguiente forma:

(x) =
_

_
1 si [x p[

2
0 si [x p[
y ademas (x) = (
|xp|

), para > 0.
Notese que T

(p) = p y T

(p) = 1+ ,= 1 se convierte en un punto jo simple.

Ahora, suponga que existe un intervalo M innito no numerable de puntos jos no
simples. Como Fix(T) es compacto (por ser cerrado y acotado), cada entorno U
p
donde p es un punto jo no simple tiene un subcubrimiento nito U
1
, , U
n
tal que

n
i=1
U
i
Fix(T). En este caso se toma la perturbacion:
S(x) = T(x) +
n

i=1

i
(x p
i
)
i
(x)
para cada
i
> 0, donde

i
(x) =
_

_
1 si [x p
i
[

i
2
0 si [x p
i
[
i
y
i
(x) = (
|xp
i
|

i
). Ahora, se prueba que efectivamente S esta C
1
proxima a T.
d
0
(T, S) = [T(x) T(x)
n

i=1

i
(x p
i
)
i
(x)[
<

sup(
n

i=1
[(x
i
p
i
)
i
(x)[)
<

c
1

= max
1
,
2
, ,
n
.
64
Por otro lado,
[

i
(x)[ = [

_
[x p
i
[

i
_
[
1

i
[x p
i
[[

i
(x)[ =
[x p
i
[

i
[

_
[x p
i
[

i
_
[ A
por ser
|xp
i
|

i
1, luego
d
1
(T, S) = [S

(x) T

(x)[

i=1
([
i
(x)[ +[x p
i
[[

i
(x)[)

i=1
(1 + A)

c
2
.
En consecuencia,
d
1
(T, S)

c, donde c = maxc
1
, c
2

d
1
(T, S) < con

=

c
.
Por tanto, S es una perturbacion C
1
proxima a T. As se concluye que F es
un conjunto denso.
Ahora, sea P
n
el conjunto de todas las transformaciones que tienen orbitas
periodicas simples, es decir,
P
n
= T C
1
[a, b] : T
n
(p) = p y T
n
(p) ,= 1, p Per
n
(T)
dado que Per
n
(T) = Fix(T
n
) entonces
P
k
=
n
k=1
T : Fix(T
k
) son simples,
y para cada k jo ese conjunto es abierto y denso. Luego, se concluye que P
n
es
un subconjunto abierto y denso de C
1
[a, b] para cada n. Para probar la densidad y
abertura de los puntos periodicos hiperbolicos, considere
H = T : Fix(T) son hiperbolicos.
65
Ya que todo punto jo hiperb olico es simple, entonces por el teorema de la funcion
implcita existen vecindades | = |
p
y |
0
= |
T
tal que
|
p
Fix(T) = p
y tal que todos los mapas en |
T
tienen un unico punto jo simple en |
p
. La hiper-
bolicidad y la continuidad de T

implica que existen vecindades |

1
|
T
y 1
1
|
p
tales que
[S

(q)[ ,= 1 S |
1
, q 1
1
,
de modo que H es un conjunto abierto. Utilizando el hecho de que todo punto
hiperbolico es simple y el conjunto de los puntos simples es denso en C
1
[a, b] entonces
H es hiperbolico. Y por ultimo; defnase
H
n
= T C
1
[a, b] : T
n
(p) = p y [(T
n
)

(p)[ ,= 1, p Per(T)
entonces H
k
denido de forma similar a P
k
es abierto y denso; luego se concluye que
el conjunto de orbitas periodicas hiperbolicas de periodo n es abierto y denso.
Como H
n
es una coleccion de subconjuntos abiertos y densos de un espacio
de Baire, se deduce que

n
i=1
H
i
es denso y eso completa la prueba.
Una consecuencia inmediata del teorema anterior se muestra en el siguiente
corolario.
Corolario 4.1. El conjunto de todas las orbitas periodicas hiperbolicas de periodo
n es residual. Por tanto, la propiedad T
n
(p) = p y [(T
n
)

(p)[ ,= 1 es generica.
Demostracion. Sea T H
n
, se arma que si T(p) = p, para alg un p [a, b]
entonces T
n
(p) = p. En efecto, procediendo inductivamente:
T
2
(p) = T(T(p)) = T(p) = p
T
3
(p) = T(T
2
(p)) = T(p) = p
T
4
(p) = T(T
3
)(p) = T(p) = p
.
.
.
66
T
n1
(p) = T(T
n2
(p)) = T(p) = p
T
n
(p) = T(T
n1
(p)) = T(p) = p.
Luego p H
i
, 1 i n y as p

n
i=1
H
i
, lo cual prueba que

n
i=1
H
i
,=
y por consiguiente H
n
es residual. Como la propiedad T
n
(p) = p y [(T
n
)

(p)[ ,= 1
ocurre en un conjunto residual es generica.
4.5 TEOREMA DE HARTMAN
El teorema de Hartman prueba la existencia de una conjugacion local, denida
en un entorno de un punto jo hiperbolico entre un mapa y su parte lineal. Aqu, se
prueba el teorema de Hartman en el caso de endomorsmos de la recta.
Denicion 4.13. Sean f : A A y g : B B dos mapas. Se dice que f y g son
localmente topologicamente conjugados en torno a puntos jos f(p) = p y g(q) = q
si existen vecindades de p y q respectivamente, | = |
p
A y 1 = 1
q
B y un
homeomorsmo h : | 1 tal que h f[
U
= g[
V
h.
Teorema 4.5 (Hartman). Sea p un punto jo hiperbolico de un endomorsmo f
de clase C
1
. Entonces existen vecindades | de p y 1 de 0 R y un homeomorsmo
h : | R el cual conjuga f en | con el mapa lineal L(x) = x en 1.
El teorema de Hartman arma que es posible deformar de manera continua
todas las trayectorias del sistema no lineal f, alrededor del punto jo hiperbolico,
en las trayectorias del sistema linealizado L(x), va el homeomorsmo h. Es decir,
el comportamiento cualitativo de un sistema no lineal alrededor del punto jo es
similar al del sistema linealizado.
Corolario 4.2. Sea p un punto jo hiperbolico de un endomorsmo f de clase C
1
.
Entonces existe un entorno abierto de clausura compacta | = |
p
de p y una vecindad
1 = 1
f
de f en el espacio de los endomorsmos C
1
(|, R) con la C
1
-topologa de
Whitney tales que:
67
(i) existe una funcion de clase C
1
, q : 1
f
|
p
tal que g(q) = q para toda g 1
f
y
ademas q = q(g) es un punto jo hiperbolico para g;
(ii) para toda g 1
f
existe una conjugacion local h : |
p
1
q
entre f [ |
p
y g [ 1
q
.
Demostracion. En el teorema 4.3 se demostro que el espacio de los mapas cuyos
puntos periodicos de periodo menor o igual a n son todos hiperbolicos es un sub-
conjunto abierto y denso de C
1
[a, b]. En particular, haciendo uso del teorema de la
funcion implcita se probo la existencia de la funcion q descrita en (i).
Para probar (ii), sean |
0
, 1
0
vecindades de 0, |
p
vecindad de un punto jo
p de f y 1
q
vecindad de un punto jo q de g; sean h
1
: |
0
|
p
, h
2
: 1
0
1
q
y
h
3
: |
0
1
0
las conjugaciones de f con L, g con L

y L con L

respectivamente,
donde L = x y L

x, con ,

,= 1. Entonces,
f h
1
= h
1
L
g h
2
= h
2
L

h
3
= h
3
L.
Haciendo uso de las igualdades anteriores,
h
2
L

= h
2
(h
3
L h
1
3
) = g h
2
h
2
(h
3
h
1
1
f h
1
h
1
3
) = g h
2
(h
2
h
3
h
1
1
) f = g (h
2
h
3
h
1
1
)
h f = g h,
donde h = h
2
h
3
h
1
1
: |
p
1
q
, es la conjugacion requerida.
Demostracion del Teorema 4.5.
Sea | una vecindad cerrada de p y 1 una vecindad cerrada de 0 y denotese
por Homeo(|, 1) al espacio de los homeomorsmos de | en 1. Homeo(|, 1) es
un espacio de Banach con la norma del supremo |f|
0
= sup
xU
[f(x)[. Para ver
68
esto, considerese una sucesion de funciones f
n
en Homeo(|, 1) que convergen uni-
formemente a una funcion f; debe probarse que f Homeo(|, 1). Primeramente,
como el lmite de toda sucesion de funciones continuas uniformemente convergentes
es continuo (ver apendice), entonces f es continua. Falta probar que f es uno-a-uno
y sobre. Sean x
0
, x
1
|, entonces para cada n N se tiene que
f
n
(x
0
) = f
n
(x
1
) x
0
= x
1
,
haciendo n tender a
lim
n
f
n
(x
0
) = lim
n
f
n
(x
1
) lim
n
x
0
= lim
n
x
1
f(x
0
) = f(x
1
) x
0
= x
1
y as f es uno-a-uno. Sea f
n
Homeo(|, 1), como f
n
es sobre para todo n,
entonces para todo y 1 existe x | tal que f
n
(x) = y. Haciendo n tender a ;
se obtiene
lim
n
f
n
(x) = lim
n
y
f(x) = y.
Y por tanto f es sobre.
Para probar que f
1
es continua, debe probarse que la sucesion f
1
n
es
uniformemente convergente. Para ello se utiliza el hecho de que a cualquier bola
B(f(x), ) de centro f(x) y radio le corresponde una banda de ancho , B

G(g) : g B(f, ) R
2
, (donde G(g) denota la graca de una funcion g); que
contiene la graca de f en R
2
, dicha banda es isometrica con respecto a la diagonal,
es decir, la graca de f
1
tambien estara contenida en una banda de ancho .
Dado que f
n
es una sucesion uniformemente convergente; entonces f
n
es
de Cauchy, luego para todo > 0 existe N > 0 tal que
|f
n
(x) f
m
(x)| < siempre que n, m > N
69
por la isometra, si G(f
n
), G(f
m
) B

, entonces G(f
1
n
), G(f
1
m
) B

. En otras
palabras, existe N
0
> 0 tal que
|f
1
n
(x) f
1
m
(x)| < siempre que n, m > N
0
de tal manera que f
1
n
es una sucesion de Cauchy que converge uniformemente
a una funcion h la cual es continua por ser el lmite de una sucesion de funciones
continuas. Finalmente, se tiene que
f
1
n
f
n
h f
id h f,
donde id es la identidad en Homeo(|, 1). De manera que h f se aproxima a la
funcion identidad, por lo cual h = f
1
.
Ahora, dado que f

(p) = ,= 1, se consideran los casos > 1 y < 1. Si

> 1 se considera el operador Lh Homeo(|, 1) denido por Lh = L
1
h f,
donde h = L
1
h f es un punto jo de Lh. Entonces,
|L(h
1
) L(h
2
)|
0
= sup
xU
[L(h
1
)(x) L(h
2
)(x)[
= sup
xU
[
1
[[h
1
(f(x)) h
2
(f(x))[
[
1
[|h
1
h
2
|
0
|h
1
h
2
|
0
.
Luego, por el principio de contraccion de Banach, (ver apendice) se prueba la
existencia y unicidad del punto jo h. Si < 1, se dene el operador Lh = Lhf
1
donde f
1
denota la unica preimagen denida en el compacto |. Lh as denido
es tambien una contraccion obteniendose igualmente la existencia del punto jo h =
L h f
1
que es la conjugacion que se requiere en este caso.
4.6 ESTABILIDAD LOCAL DE REPULSORES HIPERB

OLICOS
La razon principal por la cual se introdujo la nocion de conjuntos hiperbolicos
en la seccion 4.1 es que ellos son persistentes bajo peque nas perturbaciones.
70
Teorema 4.6. [Estabilidad local de conjuntos hiperbolicos] Suponga que K es un
conjunto invariante hiperbolico compacto para alg un mapa f C
r
[a, b], r = 1, 2.
Entonces existe una vecindad A de f tal que para cada g A existe un conjunto
invariante hiperbolico compacto K(g) para g y un homeomorsmo h
g
: K K(g)
que conjuga a f y g.
Demostracion. Cambiando la metrica en R puede asumirse que la constante c de la
denicion 4.1 de hiperbolicidad es igual a uno. Denotese por d a esa nueva metrica.
El hecho de que c = 1 garantiza que dada una sucesion x
n
; si x
i+1

B(f(x
i
, )), 1 i n entonces B(f(x
i
, )) f(B(x
i
, )); es decir, f cubre comple-
tamente B(f(x
i
, )) en su primer iterado.
Asumiendo que c = 1 y por la compacidad de K; se obtiene una vecindad V de K;
una vecindad A de f y una constante > 1 tal que:
[g

(x)[ > , x V, g A. (4.13)

Suponga que > 0 es tan peque no que V contiene una vecindad 2 de K, i.e.
B(x, 2) V K para alg un x K.
De (4.13) se deduce que el conjunto K(g) de todos los puntos y tales que
g
n
(y) V , n 0 es hiperbolico; es decir:
K(g) = y : g
n
(y) V
es hiperbolico.
Ahora se concluye para (4.13), si g A entonces B(f(x), t) g(B(x,
t

))
para cada t (0, ] y cada x K. (Es decir g es una funcion expansora).
Sea
I
n
(x) = y B(x, ) : g
i
B(f
i
, ), 0 i n
Por la finvarianza de K; B(f
i
(x), ) K, luego, sea y I
n
y K
I
n
K I
n
,= y tiene longitud menor que (
1

)
n
. En efecto,
y B(x, ) d(f
k
(x), g
k
(y)) k = 0, , n.
71
Por otro lado
d(f(x), g(y)) d(x, y)
.
.
.
d(f
k
(x), g
k
(y))
k
d(x, y)
d(x, y)
_
1

_
k
k = 0, , n.
diam(I
n
(x))
n
<
n
0 < < 1,
donde diam(I
n
(x)), representa el diametro o la longitud de I
n
(x). De aqu se obtiene
la existencia de un unico punto z = h(x) tal que g
n
(h(x)) B(f
n
(x), ) para cada
entero n positivo. Por la denicion se sigue inmediatamente que g
n
(h(x)) = h(f
n
(x))
o lo que es igual g(h(x)) = h(f(x)).
Tambien h(K) K(g) porque la orbita positiva de g por el punto h(x) esta
contenida en una vecindad de K y por tanto en V . En efecto:
h(x) = y h(K) g
n
B(f
n
, )
como V contiene una vecindad 2 de K entonces B(f
n
(x), ) V g
n
(h(x))
V h(x) = y K(g).
Se arma que h es uno a uno. En efecto, si h(x) = h(y) y suponiendo x ,= y
entonces: h(x) = h(y) f
n
(y) B(f
n
(x, 2)) para cada entero positivo n. Por
la escogencia de y ya que f
n
(x) K para todo n N, el f iterado del intervalo
acotado por x e y permanecen en V . Esto no es posible porque f es expansora en
V ; luego x = y y h es uno a uno.
As, simplemente se toma K(g) = h(K) y h es una conjugacion entre f y g en
K. Notese que la sobreyectividad de h : K h(K) se sigue inmediatamente, ya que
para todo y h(K) existe y
1
= f
i
(x) K, 1 i n tal que y = h(y
1
) = h(f
i
(x)) ,
i = 1, 2, n.
Y ademas h(K) es ginvariante, ya que si y h(K) entonces existe x K tal
que y = h(x), como K es finvariante, f(x) K lo cual implica que h(f(x)) =
g(h(x)) h(K)
CAP

ITULO 5
F

ES ESTRUCTURALMENTE ESTABLE PARA > 4

En este captulo se utiliza el ejemplo particular de la familia logistica F

(x) =
x(1 x), > 4, para visualizar la dinamica de transformaciones estructuralmente
estables, permitiendo as establecer condiciones necesarias y sucientes para la esta-
bilidad estructural de transformaciones de la recta y el intervalo.
Denicion 5.1. Sea D un intervalo de la recta o una union numerable de intervalos,
se dice que D es un dominio fundamental para un homeomorsmo f : R R si la
orbita O(x) de un punto x tiene un punto y a lo sumo dos puntos en D (la situacion
anterior ocurre si y solo si la orbita cae en la frontera de D); i.e., n > 0 : f
n
(x) D
o f
n
(x) D.
Denicion 5.2. Sea f : J J. Se dice que f es C
r
- estructuralmente estable en J,
si existe > 0 tal que si d
r
(f, g) < para g : J J, entonces f es topologicamente
conjugada a g.
Ejemplo 5.1.
(a) L(x) =
1
2
x es C
1
- estructuralmente estable en R.
Para mostrarlo, se escoge > 0 tal que si
d
1
(L, g) = sup
xR
[
1
2
x g(x)[, [
1
2
g

(x)[ < ,
entonces L y g son topologicamente conjugados. Se arma que cualquier <
1
2
funciona, ya que si d
1
(L, g) < <
1
2
entonces 0 < g

(x) < 1, y g es una funcion

estrictamente creciente. Adem as, g tiene un unico punto jo atractor p en R y todos
los puntos en R tienden a p bajo iteracion. El hecho de que g tiene un unico punto
jo se sigue del principio de contraccion de Banach (ver apendice), y como g es una
contraccion global; [g

(p)[ < 1 y as p es atractor.

Se mostrara que L y g tienen la misma dinamica, es decir, debe exhibirse una con-
jugacion topologica entre L y g. Sea D = [10, 5) (5, 10]; entonces la L orbita
73
de cualquier punto en R (con la excepcion de 0) entra en este conjunto exactamente
una vez; as D es un dominio fundamental para L. Debe encontrarse un dominio
fundamental similar para g, en efecto, sea D
g
= [10, g(10)) (g(10), 10], entonces
D
g
es el dominio fundamental requerido.
Ahora, defnase h : [5, 10] [g(10), 10] y h : [10, 5] [10, g(10)] una
funcion lineal. Se requiere que h sea creciente, as que h(10) = 10 (cualquier otro
homeomorsmo creciente funciona). Se completa la denicion de h como sigue: si
x ,= 0 existe un n Z tal que L
n
(x) pertenece al dominio fundamental de L. Por
tanto h L
n
(x) esta bien denida. Ahora, sea h(x) = g
n
h L
n
(x) entonces, h(x)
esta bien denida, puesto que g es un homeomorsmo (g es creciente y tiene inversa).
Claramente, se tiene que g
n
h(x) = h L
n
(x) y de la proposicion 1.1 se
concluye que g h = h L. Finalmente, se dene h(0) = p (punto jo de g) y h as
denida es un homeomorsmo.
(b) T(x) = sen(x) no es estructuralmente estable.
El punto x = 0 es un punto jo no hiperbolico de T(x), es decir, T

(0) = 1. Luego,
realizando el desarollo en serie de Taylor del seno se tiene
sen(x) = T(0) +
T

(0)(x 0)
1!
+
T

(0)(x 0)
2
2!
+
T

(0)(x 0)
3
3!
+
= x
x
3!
+
x
5
5!

x
7
7!
+
x
9
9!

Por tanto T(x) puede escribirse como T(x) = x + R(x); donde R(x) es el
resto del desarollo en serie de Taylor alrededor del origen. Notese que R(0) = 0 y
R

(0) = 0.
Ahora, dado > 0 se puede escoger > 0 tal que [R(x)[ < y [R

(x)[ < para

[x[ < . Sea f
r
(x) = rx + R(x) con [r 1[ < , las funciones f
r
son perturbaciones
C
1
proximas al seno cerca del origen. Luego si r < 1, el cero es un punto jo
atractor para f
r
y si r > 1 el cero es un punto jo repulsor para f
r
. Por tanto, no
puede encontrarse una funcion de clase C
1
que tenga la misma dinamica que T. En
consecuencia, T(x) = sen(x) no es estructuralmente estable.
74
Teorema 5.1. El mapa cuadratico F

(x) = x(1x) es C
2
estructuralmente estable
cuando > 4
A continuacion se demuestran ciertos lemas que seran utiles para demostrar
la estabilidad estructural de F

. De ahora en adelante, por cuestiones de comodidad

se denota F

= F.
Lema 5.1. Si g es C
2

1
cercana a F, entonces g es una graca concava hacia
abajo con un unico elemento maximal o punto crtico c

.
Demostracion. Como g es C
2

1
cercana a F, entonces
sup
xR
[F(x) g(x)[, [F

(x) g

(x)[, [F

(x) g

(x)[ <
1
de donde
g

(x) < F

(x) +
1
x R
< 2 +
1
x R.
Basta escoger
1
< 2 para que g

(x) < 0, es decir, la graca de g es concava

hacia abajo en todos sus puntos. Para mostrar que g tiene un unico punto crtico, se
utiliza el hecho de que la derivada de g es monotona decreciente y no acotada. En
efecto, dado que F es no acotada
[g

(x)[ > [F

(x)[
1
> M
1
M > 0
> C C > 0 tal que M >
1
Luego, como g

es no acotada, decreciente y diferenciable en todos los reales

se deduce que g

intersecta al eje x en un punto, es decir, existe c

R tal que
g

(c

) = 0.
Para mostrar que c

es unico, suponga que g tiene dos puntos crticos c

y c

.
Como g

es diferenciable en (c

, c

) y g

(c

) = g

(c

) = 0, el teorema de Rolle (ver

apendice) garantiza que existe x
0
(c

, c

) tal que g

(x
0
) = 0, lo cual contradice el
hecho de que g

(x) < 0, x R.
75
Lema 5.2. Si g es C
1

2
cercana a F

con
2
<
1
entonces g tiene dos puntos
jos y que satisfacen:
(1) <
(2) g

() > 1
(3) g

() < 1
Demostracion.
Armacion 1: Si g es una graca concava hacia abajo con un unico punto crtico c

,
entonces g tiene a lo sumo dos puntos jos.
En efecto, si g tiene p
1
, p
2
, , p
n
puntos jos con n > 2, entonces g intersecta la
diagonal n veces, de tal manera que la graca de g cambia de concavidad en cada
intervalo (p
i
, p
i+1
), i n 1 o la graca de g es concava hacia abajo con mas de un
elemento maximal. En consecuencia, g tiene a lo sumo dos puntos jos.
Armacion 2: Si g es C
0

2
proxima a F entonces g tiene al menos dos puntos jos.
Considere las funciones:
H(x) = F(x) x
W(x) = g(x) x,
sea > 0 tal que H()H() < 0; debe encontrarse
0
> 0 que dependa de
2
tal
que: W()W() < H()H() +
0
< 0. Dado que [W(x) H(x)[ <
2
, x R,
entonces [W() H()[ <
2
y [W() H()[ <
2
. Sea I

= (, ); luego
[W()W() H()H()[ = [W()W() H()W() +
H()W() H()H()[
[W() H()[[W()[ +[H()[[W() H()[
<
2
sup
xI

[W(x)[ +
2
sup
xI

[H(x)[

2
(
2
+ sup
xI

[H(x)[) + sup
xI

[H(x)[
=
2
(
2
+ 2 sup
xI

[H(x)[)
3
2
=
0
ya que sup
xI

[H(x)[ 1. Ahora, como H(0) = 0; H(x) cambia de signo en el

76
intervalo (, ), de modo que W()W() < H()H() +
0
< 0. Aplicando el
T.V.I., existe (, ) R tal que W() = g() = 0, de donde g() =
es punto jo de g. Analogamente, como H(p

) = p

, W(x) cambia de signo en

el intervalo ( p

, + p

), y por el T.V.I. existe ( p

, + p

) tal que
W() = g() = 0 de donde se concluye que es punto jo de g. De este hecho
se desprende que g tiene al menos dos puntos jos. Luego, de las armaciones 1 y 2
se concluye que g tiene dos puntos jos y .
Ahora, se demuestra (1), (2) y (3).
(1) Escogiendo , tal que los intervalos (, ) y ( p

, + p

) sean disjuntos se
tiene inmediatamente que < .
(2) Dado que F

(0) > 1, por la continuidad de F

se tiene que
F

(x) > 1 x (, ),
adem as existe > 1 tal que F

(x) > > 1. Sea

2
> 0 tal que
2
> 1 entonces
de la C
1

2
cercana de F y g
g

(x) > F

(x)
2
>
2
> 1 x (, ).
En particular,
g

() > 1.
(3) Analogamente a lo realizado en (2), como F

(p

) < 1, la continuidad de F

garantiza que
F

(x) < 1 x ( p

, +p

).
Ademas, existe

< 1 tal que

F

(x) <

< 1.
Escogiendo,
2
, tal que
2
+

< 1; por la C
1

2
proximidad de F y g se tiene
g

(x) <
2
+F

(x)
<
2
+

< 1 x ( p

, +p

).
77
En particular,
g

() < 1.

Ademas de lo ya expuesto puede notarse que existen puntos

tales que
g(

) = , g(

) = , donde y

juegan el mismo papel de 0 y 1 en F.

Lema 5.3. Si g es C
2
cercana a F entonces existe un cantor repulsor para g,
g
tal que si x ,
g
entonces [g
n
(x)[ . En otras palabras, R = W
s
()
g
.
Demostracion. Sea U
0,g
, el conjunto de puntos que escapan del intervalo [,

] en
la primera iteracion de g, se dene el conjunto
g
= [,

](

n=0
U
n,g
) =

n=0

n,g
,
donde U
n,g
= x [,

] : g
n
(x) U
0,g
, es decir, U
n,g
consiste de todos los puntos
que escapan de [,

] en la n+1 esima iteracion de g y

n,g
= (U
n,g
)
c
. Dado que la
imagen de un punto bajo g que sale del intervalo [,

], cae en el eje positivo de las

abscisas y la segunda iterada en el eje negativo, se utilizan los mismos argumentos
como en la proposicion 3.1 para probar que si x ,
g
entonces [g
n
(x)[ . Ahora,
se demuestra que
g
as denido es un conjunto de Cantor.

g
es cerrado: Sean I
0,g
= [, b
0
], I
1,g
= [b
1
,

]; estos dos intervalos permanecen en

[,

] en la primera iteracion de g. As
1,g
= I
0,g
I
1,g
es cerrado. Inductivamente,

n,g
tiene 2
n
intervalos cerrados disjuntos; esto se prueba haciendo una construccion
similar a la hecha en la proposicion 4.2. Como
g
esta formado por la interseccion
arbitraria de cerrados es cerrado.

g
es totalmente disconexo: Para probar que
g
no contiene intervalos, se utiliza el
hecho de que si g es C
2
cercana a F, entonces [g

(x)[ > 1 para todo x

g
y se
usan los mismos argumentos utilizados en la proposicion 3.1.

g
es perfecto: Aqu, se utiliza el hecho de que si I
g
i
1
i
n
es uno de los intervalos en

n,g
entonces existen constantes
g
> 1 y c > 0 tales que
[I
g
i
1
i
n
[ < c
n
g
.
78
Sea x
g
y sea N

(x) = (x , x + ) una vecindad de x. Debe mostrarse

que existe un punto en
g
distinto de x que esta contenido en N

(x). Dado que

g

n,g
; x esta contenido en uno de los intervalos de
n,g
. Escogiendo n tal que
c
n
g
< , entonces I
g
i
1
i
n
N

(x) ya que la longitud de cada intervalo en

n,g
es
menor que c
n
g
. Como ambos extremos del intervalo I
g
i
1
i
n
estan en N

(x) y al
menos uno de ellos no es x la prueba esta completa.
Denicion 5.3. Sea c el punto crtico de una funcion F; se dene la gran orbita de
c como la union de todos los puntos de la forma F
n
(F
m
(c)) con n, m N.
Ahora, sea c =
1
2
el punto crtico de F

. Cuando > 4 el primer iterado

de c cae fuera del intervalo [0, 1], es decir, c
1
= F(c) > 1, el siguiente iterado
c
2
= F
2
(c) < 0 cae en el eje negativo y c
3
= F
3
(c) < c
2
< 0. Si se toma como
dominio fundamental el intervalo abierto D
f
= (c
3
, c
2
) se obtiene un conjunto abierto
y denso de la recta

U
f

formado por la union de intervalos cuyos extremos son

puntos que pertenecen a la gran orbita de c o puntos en .
Notacion 5.1.
De ahora en adelante , salvo se diga lo contrario:
- F
1
= F
1
+
, F
1

, donde F
1
+
denota la rama positiva de F
1
y F
1

denota la
rama negativa de F
1
.
- c
n
denota la orbita delantera de c. i.e. c
n
= F
n
(c), n > 0.
- c
+
n
denota la rama inversa positiva bajo F de cada c
n
, i.e. c
+
n
= F
1
+
c
n
.
- F
n
(c) denota las preimagenes de c, alternando ramas de la inversa F
1
.
-
f
= es el conjunto de Cantor construido anteriormente para F.
Observacion 5.1.
La razon por la cual se ha utilizado en las notaciones anteriores ramas de
la inversa, se debe a que la graca de F no es uno a uno; es decir, la preimagen
de un punto tiene dos elementos, por lo que F
n
tiene 2
n
elementos. Por lo tanto
79
se denen las pre- orbitas de F en un punto x como PreO(x) = F
1
i
0
, F
1
i
1
, con
i
0
, i
1
, + y as :
F
n
= F
1
i
n
F
1
i
n1
F
1
i
1
: i
k
+,
De tal manera que el itinerario de cada c
+
n
y cada F
n
(c) este bien denido.
Proposicion 5.1. Sea el mapa cuadratico F

= x(1 x), cuando > 4 existe un

conjunto abierto y denso de la recta

U
f

y mapas f

: U
f

D
f
tal que cada f

es un difeomorsmo, donde = c
n
c
+
n

n>0
F
n
(c)
Demostracion. Notese primeramente que el conjunto

U
f

es la union de inter-
valos abiertos y disjuntos cuyos extremos son puntos en o en
f
, es decir:
_

U
f

= U
n1
c
n
U
n2
c
+
n
F(Uc
1
) U[(a
i
1
i
n
, c
i
1
i
n
) (c
i
1
i
n
, b
i
1
i
n1
j
n
)],
j
n
=
_

_
1 si i
n
= 0
0 si i
n
= 1
donde a
i
1
i
n
=

+
m=0
I
i
1
i
m
; i
k
= 0 : k > n y b
i
1
i
n1
j
n
=

+
m=0
I
i
1
i
m
, i
k
= 1 :
k > n son puntos en
f
y Uc
n
= (c
n+1
, c
n
), Uc
+
n
= (c
+
n
, c
+
n+1
), F(Uc
1
) = (c
2
, 0).
Para mostrar

U
f

es un conjunto denso, notese que (

U
f

)
c
=
f
es un
conjunto no denso, ya que es un conjunto discreto de puntos que pertenecen
a la gran orbita de c y
f
por ser un conjunto de Cantor es totalmente disconexo,
es decir, no contiene intervalos. Como el complemento de un conjunto no denso es
denso, se tiene que

U
f

es denso en R. Ahora se dene f

: U
f

D
f
, como:
f

=
_

_
F
n

[U
f

si
n0
F
n
(c) (c
2
, 0)
F
n

[U
f

si c
n
c
+
n

donde cada F
n

es una rama de la inversa de F. Notese que f

vara dependiendo a
que conjunto de puntos de la gran orbita pertenece y seg un sea el itinerario de un
punto x arbitrario. Por tanto, debe denirse la funcion f

para cada caso y probar

80
que f

as denida es un difeomorsmo.
Caso 1 : Si c
+
n

n1
entonces U
f

= U
n1
c
n
y el itinerario de un punto x U
f

presenta los siguientes casos:

(a) Si x Uc
1
F(x) F(Uc
1
) = (c
2
, 0) F
2
(x) D
f
. Aqu f

(x) = F
2
(x).
Figura 17. Diagrama de fase 4
(b) Si x Uc
2
F(x) D
f
; aqu f

(x) = F(x).
Figura 18. Diagrama de fase 5
(c) Si x U
n>3
c
n
F
1

(x) Uc
n1
, F
2

(x) Uc
n2
, , F
n

(x) D
f
. Aqu
f

(x) = F
n

(x).
Figura 19. Diagrama de fase 6
Caso 2 : Si c
+
n

n2
entonces U
f

= U
n2
c
+
n
, el itinerario de un punto x U
f

viene dado por:

x Uc
+
n
F(x) Uc
n
, F
1

(x) Uc
n1
, , F
n

(x) D
f
. Aqu f

(x) =
(F
n

(x) F)(x) con F

n

= F
1

F
1

. .
n veces
.
81
Figura 20. Diagrama de fase 7
Caso 3 : Si
n0
F
n
(c) entonces U
f

= U[(a
i
1
i
n
, c
i
1
i
n
) (c
i
1
i
n
, b
i
1
i
n1
j
n
)].
Para garantizar la inyectividad; f

estara denida como sigue:

f

: U(a
i
1
i
n
, c
i
1
i
n
) (a
0
, c) D
f
y
f

: U(c
i
1
i
n
, b
i
1
i
n1
j
n
) (c, a
1
) D
f
.
De esta forma f

manda la mitad de una componente conexa del Cantor sobre la

mitad de la laguna central U
0
, de tal manera que el itinerario de un punto x U
f

estara dado por:

x (a
i
1
i
n
, c
i
1
i
n
) para alg un intervalo F(x) (a
s
1
s
n
, c
i
1
i
n1
), , F
N
(x)
(a
0
, c), F
N+1
(x) (1, c
1
), F
N+2
(x) (c
2
, 0), F
N+3
(x) D
f
, N > 0.
Si x (c
i
1
i
n
, b
i
1
i
n1
j
n
), entonces el itinerario sera de manera similar. Aqu
f

(x) = F
n
(x); n > 0.
Figura 21. Diagrama de fase 8
f

esta bien denida: En efecto, para cada x U

f

existe una unica orbita tal que

f

(x) = y D
f
; por la construccion de cada f

.
f

es uno a uno: Se sigue de la serie de restricciones que se le han hecho a cada f

para garantizar la inyectividad.

f

es sobre: Como F(U

f

) = U
f

donde

representa los extremos del intervalo

siguiente a U
f

entonces cada intervalo es mandado completamente al intervalo si-

guiente (o al intervalo anterior en caso de tratarse de una rama de la inversa). Por
esta razon F(Uc
1
) = D
f
e igualmente F
1

(Uc
3
) = D
f
, por tanto f

es sobreyectiva
para cada .
82
f

es continua: Dado que f

esta formada por composiciones de funciones continuas,

entonces es continua.
f
1

es continua: Se utiliza el mismo argumento anterior.

Mas a un f

es diferenciable en todos sus puntos por ser la composicion de

funciones diferenciables; es decir, f

es un difeomorsmo para todo .

Observacion 5.2.
Como g es C
2
cercana a F y haciendo uso de los lemas 6.3 y 6.4 se puede
construir un dominio fundamental para g tal que D
g
= (c

3
, c

2
), donde c

2
= g
2
(c

) y
c

3
= g
3
(c

) con c

punto crtico de g. Y analogamente existe un conjunto abierto y

denso de la recta

U
g

denido por:
_

U
g

= U
n1
c

n
U
n2
c

+
n
g(Uc

1
) U[(a

i
1
i
n
, c

i
1
i
n
) (c

i
1
i
n
, b

i
1
i
n1
j
n
)]
j
n
=
_

_
1 si i
n
= 0
0 si i
n
= 1
con a

i
1
i
n
, b

i
1
i
n1
j
n

g
y g(Uc

1
) = (c

2
, ). = c

n1

+
n

n0
g
n
(c

),
con c

n
= g
n
(c

) n > 0, c

+
n
= g
1
+
(g
n
(c

)) donde g
1
+
denota la rama positiva de
g
1
y g
1
(c

) = c

i
1
i
n
: i
k
0, 1.
Desde ahora se establece una correspondencia biyectiva entre el conjunto
y el conjunto de la siguiente forma:
h : c
n
c

h : c
+
n
c

+
n

h : c
i
1
i
n
c

i
1
i
n
.
Es decir, h transforma un punto de la gran orbita de c en el punto corres-
pondiente en la gran orbita de c

. Por tanto, para facilitar la notacion, se denota

el conjunto

U
g

por

U
g

y a la funcion g

por g

. Cabe destacar que g

esta
83
denida de igual forma que f

. Es decir
g

=
_

_
g
n

[U
g

si
n0
g
n
(c

) (c

2
, )
g
n

[U
g

si c

n
c

+
n

Proposicion 5.2. Cuando > 4 existe un difeomorsmo h =

donde h

:
U
f

U
g

tal que g h = h F.
Demostracion. Primeramente defnase h
0
: D
f
D
g
lineal, es decir h
0
(x) = ax+b
con x D
f
y a, b constantes determinadas unvocamente; notese que h
0
debe ser un
homemorsmo creciente de la recta. Sea h

= g
1

h
0
F

; o equivalentemente
h

=
_

_
g
n

h
0
F
n

si
n0
F
n
(c)
g
n

h
0
F
n

si c
n
c
+
n

Figura 22. Ilustracion del itinerario de un punto x en h

Luego h

as denida es un difeomorsmo (por ser composiciones de difeo-

morsmos) de un abierto denso en un abierto denso. Armacion: Se arma que las
siguientes identidades son verdaderas:
(a) f

= f

(F
1
[U

)
84
(b) g
1

= g g
1

(c) h

= g
1
[U

F.
(a) Se sigue inmediatamente de la proposicion 6.1.
(b) Como f

= f

(F
1
[U

) entonces g

= g

(g
1
[U

), luego:
(g
1

) = (g

(g
1
[U

))
1
= (g
1
[U

)
1
g
1

= g g
1

(c)
g
1
[U

F = g
1
[U

(g
1

h
0
f

) F
= g
1
[U

(g g
1

h
0
f

(F
1
[U

)) F
= (g
1
[U

g) (g
1

h
0
f

) (F
1
[U

F)
= i

(g
1

h
0
f

) i

= g
1

h
0
f

= h

.
Luego, el siguiente diagrama es conmutativo
Figura 23. Diagrama conmutativo 2
Por tanto
g h

= g (g
1
[U

F)
= (g g
1
[U

) h

F
= i

F = h

F.
85
Luego gh

= h

F, , en consecuencia gh = hF; es decir h es una conjugacion

entre F y g de un abierto denso en un abierto denso.
Proposicion 5.3. h se extiende a un homeomorsmo de R tal que h :
f

g
es
una conjugacion. Mas a un h = h
g
h
1
f
, donde h
f
:
2

f
; h
g
:
2

g
son
conjugaciones dadas por la dinamica simbolica.
Demostracion. Sea

h = h
g
h
1
f
y sea x
(n)
una sucesion de puntos en la laguna
U
i
1
i
n
que converge a un punto x
f
, donde = c
i
1
i
n
; se debe probar que

h(x) = lim
n
h
(n)
(x
(n)
), (5.1)
existe y no depende de x
(n)
. Es decir, cada punto en el Cantor puede verse como
lmite de puntos en las lagunas. De la construccion del Cantor, existen constantes
c > 0 y > 1 tales que
[U
i
1
i
n
[ < [I
i
1
i
n1
[ < c
n
. (5.2)
Sean x, b
i
1
i
n

f
, donde b
i
1
i
n
representa el extremo de una laguna, entonces de
(5.2)
[x b
i
1
i
n
[ < c
1

n
(5.3)
[x
(n)
b
i
1
i
n
[ < c
2

n
, (5.4)
de (5.3) y (5.4)
[x x
(n)
[ < [x b
i
1
i
n
[ +[b
i
1
i
n
x
(n)
[ < c
1

n
+c
2

n
= c
n
.
Dado que las longitudes de los intervalos I
g
i
1
i
n1
correspondientes a g tambien tien-
den a 0 cuando n tiende a ; existe una constante c

> 0 tal que

[h
(n)
(x
(n)
)

h(x)[ < c

n

h(x) = y
g
, (5.5)
Sea > 0 debe encontrarse > 0 tal que
[x x
(n)
[ < siempre que [h
(n)
(x
(n)
)

h(x)[ < . (5.6)

86
Sea n el primer entero tal que c

n
< , entonces = c
n
funciona y en
consecuencia la igualdad 5.1 se satisface. Dicho lmite no depende de la escogencia
de x
(n)
ya que si z
(n)
es otra sucesion en la misma laguna U
i
1
i
n
que converge
a x, entonces como las constantes c > 0 y > 1 no dependen de la escogencia de las
sucesiones en las lagunas nuevamente 5.1 se satisface para la sucesion z
(n)
. De
aqu se concluye que h =

h.
Demostracion del Teorema 5.1 En los lemas 5.1, 5.2, 5.3; se demuestra que si
g es C
2
proxima a F, entonces g tiene todas las propiedades geometricas de F.
Seguidamente, en las proposiciones 5.1, 5.2 y 5.3 se demuestra la existencia de la
conjugacion h que conjuga a F y g en R.
CAP

ITULO 6
AXIOMA A EN ENDOMORFISMOS DE CLASE C
1
Y C
2
En este captulo se muestran las condiciones que debe seguir un endomorsmo
de clase C
1
y C
2
para que sea estructuralmente estable.
6.1 CONDICIONES NECESARIAS PARA LA ESTABILIDAD
En el captulo 4 se mostro que la propiedad todas las orbitas de periodo
n son hiperbolicas es una propiedad generica. Aqu se muestra que ademas esa
propiedad constituye una condicion necesaria para la estabilidad estructural. Igual-
mente, se demuestra que la propiedad todos los puntos crticos son no degenerados
es generica y se concluye que tambien es una condicion necesaria.
Teorema 6.1. Si f C
2
[a, b], existe un mapa g C
2
[a, b] arbitrariamente cercano
a f en la topologa C
2
, tal que todos los puntos crticos de g son no degenerados.
Demostracion. La prueba se hace utilizando los mismos argumentos de la prueba
del teorema 4.3 Sea c un punto crtico no degenerado de una transformacion T
C
2
[a, b], i.e., T

(c) = 0 y T

(c) ,= 0, sea
: C
2
[a, b] R R
(f, x) = f(x),
donde

x
= f

(x), f C
2
[a, b] entonces:
(T

, c) = T

(c) = 0
(T

, c)
x
= T

(c) ,= 0.
Por el teorema de la funcion implcita existen vecindades abiertas | = |
T
y
88
1 = 1
c
y una funcion de clase C
2
: |
T
1
c
(g) = c
g
tal que (g

, c
g
) = 0, g |
T
, c
g
1
c
. De tal manera que si se toma un punto crtico
no degenerado existe una vecindad abierta |
T
de T tal que todas las transformaciones
C
2
- proximas a T en esa vecindad tienen un punto crtico no degenerado en 1
c
. En
consecuencia
C = T C
2
[a, b] : c Crit(T), T

(c) ,= 0
es un conjunto abierto, donde Crit(T) denota el conjunto de los puntos crticos de
T.
Para mostrar la densidad de C, sea c un punto crtico degenerado de T, i.e.,
T

(c) = 0 y T

(c) = 0. Tomando la perturbacion local

T

(x) = T(x) + (x c)
2
(x)
donde
(x) =
_

_
1 si [x c[

2
0 si [x c[
> 0 y (x) = (
|xc|

), se rompe la degeneracion del punto crtico. En efecto,

T

(c) = 0
T

(c) = 2(c) = 2 ,= 0.
Ahora, suponga que Crit(T) es un conjunto innito no numerable. Dado que
Crit(T) = c : T

(c) = 0 = (T

)
1
(0),
es la imagen inversa de un cerrado, entonces es cerrado, como todo subconjunto
cerrado de un compacto es compacto entonces Crit(T) [a, b] es compacto; por
89
tanto cada vecindad 1
c
de c posee un subcubrimiento nito U
1
, U
2
, , U
n
tal que

n
i=1
U
i
Crit(T). Analogamente al caso de puntos jos no simples se toma la
perturbacion
S(x) = T(x) +
n

i=1

i
(x c
i
)
2

i
(x)
donde
(x) =
_

_
1 si [x c
i
[

i
2
0 si [x c
i
[
i
y
i
(x) = (
|xc
i
|

i
). Ahora se demuestra que S esta C
2
proxima a T.
[S

(x) T

(x)[ = [4
i
n

i=1
(x c
i
)

i
(x) + 2
i
n

i=1

i
(x) +
i
n

i=1
(x c
i
)
2

i
(x)[
4[
n

i=1
(x c
i
)

i
(x)[ + 2[
n

i=1

i
(x)[ +[
n

i=1
(x c
i
)
2

i
(x)[
donde = max
1
, ,
n
. Dado que la

es acotada entonces [

(x)[ < M,
M > 0. Luego
[(x c
i
)
2

i
(x)[ =
[x c
i
[
2

2
i
_

_
[x c
i
[

i
__
=
_
[x c
i
[

i
_
2
< (1)
2
M = M.
Por consiguiente,
[S(x) T(x)[ 4M + 2(1) + M
5M + 2
5M + 5
= 5(M + 1)
5C.
As se concluye que C es un conjunto denso. Y la prueba esta completa.
90
Teorema 6.2. Asuma que f C
1
[a, b], es estructuralmente estable entonces cada
orbita de f es hiperbolica y en particular f tiene un n umero nito de puntos periodicos
de cada periodo.
Demostracion. Sea A una vecindad de f tal que cualquier mapa en A es conjugado
a f. Por el teorema 4.3, existe un mapa g A tal que todos los puntos periodicos
de g son hiperbolicos y del teorema 6.1, g tiene un n umero nito de puntos crticos
no degenerados, por tanto, el n umero de puntos periodicos de g de cualquier periodo
dado es nito. Como los puntos crticos y los puntos periodicos son preservados
por las conjugaciones, todos los mapas en A tienen el mismo n umero de puntos
crticos y el mismo n umero de puntos periodicos de periodo n para cada entero n.
En particular, el n umero de puntos periodicos de un periodo dado y el n umero de
puntos crticos de f es nito.
Suponga, por contradiccion, que f tiene un punto periodico p de periodo n
tal que [(f
n
)

(p)[ = 1. Sea V una vecindad de p tal que f no tiene puntos periodicos

de periodo 2n en V y, mas a un, no tiene puntos periodicos de periodo n en V p,
(es decir p es un punto periodico aislado). Se mostrara que [(f
n
)

(p)[ = 1 implica
que existe g A tal que el n umero de puntos periodicos de periodo 2n de f y g es
diferente. Suponga que (f
n
)

(p) = 1 y que p es atractor (respectivamente repulsor)

por ambos lados, tome la perturbacion
g(x) = f(x) + (x p)(x)
donde es la funcion C

de la prueba del teorema 4.3 y > 0. Entonces puede

elegirse
g
n
(x) = f
n
(x) + (x)(x p) =
n
(g), (6.1)
donde
: C
1
[a, b] C
1
[a, b] C
1
[a, b]
(g, g) g g
91
es continua. En efecto; se arma que toda funcion
C
1
[a, b] C
1
[a, b] C
1
[a, b]
(f, h) f h
es continua en la C
1
topologa. Pruebese primeramente para la topologa C
0
. Sean
f
1
, f
2
, h
1
, h
2
C
0
[a, b] tales que
[f
1
(x) f
2
(x)[ <

2
[h
1
(x) h
2
(x)[ <

2
, x [a, b]
entonces
[f
1
(h
1
(x)) f
2
(h
2
(x))[ [f
1
(g
1
(x)) f
2
(g
1
(x))[ +
[f
2
(g
1
(x)) f
2
(g
2
(x))[
<

2
+

2
=

.
Analogamente, en la C
1
topologa, si dado

> 0 tal que

[f

1
(x) h

1
(x)[ <

2
[f

2
(x) h

2
(x)[ <

2
x [a, b]
entonces
[(f
1
h
1
)

(x) (f
2
h
2
)

(x)[ = [f

1
(h
1
(x))h

1
(x) f

2
(g
2
(x))g

2
(x)[
< [f

1
(g
1
(x))g

1
(x) f

2
(g
1
(x))g

1
(x)[ +
[f

2
(g
1
(x))g

1
(x) f

2
(g
2
(x))g

2
(x)[
<

2
+

2
=

.
En consecuencia, la funcion denida anteriormente es continua en la topologa
C
1
. Inductivamente;
n
(g) = g g
. .
n veces
es continua. Y por consiguiente la funcion
descrita en (7.1) es continua y es una perturbacion local de f. Luego, g
n
(p) = p y
(g
n
)

(p) > 1 o (g
n
)

(p) < 1 dependiendo del signo de . Por tanto, se puede encontrar

g A tal que g
n
tiene al menos tres puntos jos en V , (ver gura 24). De aqu se
sigue que f y g tienen un n umero diferente de puntos periodicos de periodo n, lo
92
cual es una contradiccion. Ahora suponga que (f
n
)

(p) = 1 y p es atractor de un
lado y tome la perturbacion
g(x) = f(x) + (x).
Entonces (g
n
)

(p) = 1 y g
n
(p) > p o g
n
(p) < p dependiendo del signo de . Por
tanto se puede encontrar g A tal que g
n
tiene al menos dos puntos jos en V , (ver
gura 21). Nuevamente esto es una contradiccion. Similarmente, si (f
n
)

(p) = 1
entonces (f
2n
)

(p) = 1 y p es atractor o repulsor para ambos lados. As se perturba

f a g(x) = f(x) + (x)(x p) como en el caso anterior. Nuevamente, el n umero
de puntos periodicos de g y f de periodo 2n es diferente para una apropiada
escogencia de .
Figura 24. Los puntos periodicos de f y g son diferentes
Teorema 6.3. Si f C
1
[a, b] es estructuralmente estable entonces f no tiene puntos
crticos. Si f C
2
[a, b] es estructuralmente estable entonces todos los puntos crticos
de f son no degenerados.
Demostracion. Sea A una vecindad de f tal que cada mapa en A es conjugado a
f. Por el teorema 6.1; existe un mapa g
1
A tal que g
1
tiene un n umero nito de
puntos crticos. Como los puntos crticos son preservados por conjugaciones, todos
93
los mapas en A tienen un n umero nito de puntos crticos. Si f tiene un punto
crtico, entonces f se puede aproximar en la C
1
topologa a un mapa g
2
con un
n unero innito de puntos crticos. (Aqu es importante usar la C
1
topologa).
En efecto, considere la perturbacion
g

(x) = f(x) + x
3
sen
_
1
x
_
(x),
donde es la funcion C

construida anteriormente. Notese que g

tiene una dis-

continuidad evitable en x = 0, de manera que si se dene g

(0) = 0, entonces
g

es continua en x = 0. Para ver esto, sea h(x) = x

3
sen
_
1
x
_
, entonces h

(x) =
3x
2
sen
_
1
x
) xcos(
1
x
) y lim
x0
h

(x) = 0. Luego, deniendo f

(0) = 0, se tiene que

lim
x0
g

(x) = 0 y en consecuencia g

es una funcion de clase C

1
. La perturbacion
g

(x) tiene innitos puntos crticos a medida que se acerca al origen. Ahora se prueba
que g

es una perturbacion de clase C

1
de f.
Para ello, se recuerda que (x) = (
|x|

), donde es la funcion denida como

en la gura 16. Como es acotada; [

(x)[ < M, M > 0. De manera que

[

(x)[ = [

_
[x[

_
[
[x[[

(x)[ =
[x[

_
[x[

_
[ M

> 0
por ser
|x|

1. Luego
d
0
(f, g

) =

x
3
sen
_
1
x
_
(x)

< [x
3
[(x) < [x
3
[ <
3
= C
1
, C
1
> 0
Ahora la distacia C
1
de f y g

viene dada por

d
1
(f, g

) =

3x
2
sen
_
1
x
_

(x) xcos
_
1
x
_
(x) + x
3
sen
_
1
x
_

(x)

< (3x
2
(x) [x[(x) +[x
3
[

(x))
< (3
2
+
3
M

) = C
2
C
2
> 0
Mas a un, si f tiene un punto crtico degenerado c entonces arbitrariamente
C
2
cercano a f puede encontrarse un mapa g el cual tiene un n umero mayor de
94
puntos crticos que f. En este caso se toma la perturbacion
f

(x) = f(x) + x
5
sen
_
1
x
_
(x)
la cual es de clase C
2
, en efecto si se dene f

(0) = 0, f

(0) = 0 y se dene
h(x) = x
5
sen
_
1
x
_
, entonces
lim
x0
h

(x) = lim
x0
5x
4
sen
_
1
x
_
x
3
cos
_
1
x
_
= 0
lim
x0
h

(x) = lim
x0
20x
3
sen
_
1
x
_
8x
2
cos
_
1
x
_
xcos
_
1
x
_
= 0.
Y as, f

es una funcion de clase C

2
. Ahora debe probarse que f

es una perturbacion
de clase C
2
para f.
d
0
(f, f

) =

x
5
sen
_
1
x
_
(x)

< [x
5
[[(x)[ <
5
= C
3
C
3
> 0
d
1
(f, f

) = [5x
4
sen
_
1
x
_
(x) x
3
cos
_
1
x
_
(x) + x
5
sen
_
1
x
_

(x)[
< (5x
4
[(x)[ [x
3
[[(x)[ +[x
5
[[

(x)[)
< (5
4

3
+
5
M

) = C
4
C
4
> 0
d
2
(f, f

) = [20x
3
sen
_
1
x
_
(x) 5x
2
cos
_
1
x
_
(x) + 10x
4
sen
_
1
x
_

(x)
3x
2
cos
_
1
x
_
(x) xsen
_
1
x
_
(x) 2x
3
cos
_
1
x
_

(x) +
x
5
sen
_
1
x
_

(x)[
< (20
3
5
2
+ 10
4
M

3
2
2
3
M

+
3
M

)
= (
3
(20 2M

+M

) 8
2
+ 10
4
M

) = C
5
C
5
> 0
ya que
[x
2

(x)[ =
_
x

_
2

_
[x[

_
< M

.
Y la prueba esta completa.
95
6.2 CONDICIONES SUFICIENTES PARA LA ESTABILIDAD
Denicion 6.1. Se dice que un mapa f C
r
[a, b], r = 1, 2, satisface las condiciones
del Axioma A si:
(1) f tiene un n umero nito de atractores periodicos hiperbolicos.
(2)
f
= [a, b] B(f) es un conjunto hiperbolico, donde B(f) es la union de las
cuencas de los atractores hiperbolicos de f.
Denicion 6.2. Se dice que dos mapas l modales (con l puntos crticos) f, g : I I
con puntos crticos c
1
< < c
l
respectivamente c
1
< c
l
son combinatoriamente
equivalentes si existe una biyeccion que preserva el orden h tal que el siguiente dia-
grama
conmuta y h(c
i
) = c
i
para i = 1, , l. El mapa h es llamado la equivalencia
combinatoria entre f y g.
Teorema 6.4. Suponga que f, g : I I son dos mapas lmodales con puntos
crticos c
1
< < c
l
respectivamente c
1
, , c
l
. As umase que el mapa
h :
l
_
i=1

i0
f
n
(c
i
)
l
_
i=1

i0
g
n
( c
i
) (6.2)
denido por h(f
n
(c
i
)) = g
n
(( c)
i
) es una biyeccion que preserva el orden. Entonces
las siguientes propiedades se satisfacen:
1 Los mapas f y g son combinatoriamente equivalentes.
2 Si Crit(f) denota el conjunto de puntos crticos de f, entonces la conjugacion
h transforma

l
i=1

i0
f
n
(c
i
)

(B
0
(f) Crit(f)) sobre el conjunto correspon-
diente para g.
96
3 As umase que (i) f y g tienen intervalos no errantes, (ii) no existen invervalos
que tengan puntos periodicos de periodo constante, (iii) cada punto periodico
crtico es atractor y (iv) la restriccion del mapa h para (6.2) a B
0
(f); i.e.,
h :
l
_
i=1

i0
f
n
(c
i
)

B
0
(f)
l
_
i=1

i0
g
n
( c
i
)

B
0
(g)
se extiende a una conjugacion de B
0
(f) a B
0
(g). Entonces h puede extenderse a una
conjugacion en I.
Demostracion. Ver [5] captulo 2.
Ahora, se prueba que el conjunto correspondiente a un mapa que satisface
las condiciones del axioma A es estable bajo peque nas perturbaciones.
Denicion 6.3. Sea O(p) una orbita periodica; la cuenca B(p) de O(p) se dene
como,
B(p) = x : f
k
(x) O(p) cuando k .
La cuenca inmediata B
0
(p) de O(p) es la union de las componentes de B(p)
que contienen puntos de O(p).
Se denota por B(f) a la union de las cuencas de orbitas atractoras periodicas
y por B
0
(f) a la union de las cuencas inmediatas de los atractores periodicos.
Teorema 6.5. Para cada f C
r
[a, b], r = 1, 2; que satisface el axioma A existe una
vecindad A de f tal que cada g A satisface el axioma A y existe un homeomorsmo
h
g
: (g) (f) que conjuga f y g. Mas a un, h
g
depende continuamente de g en
la C
0
topologa.
Demostracion. Si (f) no es totalmente disconexo, entonces existe un intervalo J
tal que J (f). Sea J = [u
0
, u
1
], por el teorema del valor medio existe v J tal
que
[f(J)[ = [f(u
1
) f(u
0
)[ = [f

(c)[[u
1
u
0
[
c[u
1
u
0
[ c > 0, > 1
> c[u
1
u
0
[.
97
De tal manera que para n sucientemente grande (f) f
n
(J) [u
0
, u
1
] y
f es un mapa expandido del crculo, i.e., (f) = S
1
. As que debe asumirse que f
tiene alg un punto periodico atractor. Cambiando la metrica como en el teorema 4.6
puede asumirse que la constante c de la denicion de hiperbolicidad de (f) es igual
a uno. Usando esto y la compacidad de (f); se obtiene una vecindad abierta W
de (f), una vecindad A
1
de f y una constante > 1 tal que [g

(x)[ > para todo

x W y todo g A
1
.
Sea p
i
; i = 1, , k el conjunto de puntos periodicos atractores hiperbo-
licos de f y sea n
i
el periodo de p
i
. Como [Df
n
i
(p
i
)[ < 1, existe un intervalo abierto
U
i
que contiene a p
i
tal que su clausura U
i
esta contenida en la cuenca inmediata
de p
i
, y f
n
i
(U
i
) U
i
. Por el teorema de la funcion implcita existe una vecindad
A
2
A
1
de f y funciones continuas p
i
: A
2
U
i
tal que p
i
(f) = p
i
y p
i
(g) es un
atractor periodico hiperbolico de g de periodo n
i
si g A
2
. Encogiendo A
2
si es
necesario puede asumirse que U
i
esta en la cuenca inmediata del atractor periodico
p
i
(g) y g
n
i
(U
i
) U
i
.
Sea U =

U
i
. De la construccion se sigue que si g A
2
y g
n
(x) U entonces
x pertenece a la cuenca de uno de los atractores periodicos p
i
(g).
Sea V una vecindad de (f) tal que V W. Sea > 0 tal que para cada
x V , la bola de centro x y radio 2 en [a, b] esta contenida en W. Para cada x en
el conjunto compacto [a, b] V , existe una vecindad U
x
de x, una vecindad A
x
A
2
de f y un entero n
x
tal que g
n
x
(U
x
) U si g A
x
.
Tomando un cubrimiento nito del conjunto compacto [a, b] V e inter-
sectando las correspondientes vecindades de f se obtiene una vecindad A
3
A
2
de f y un entero n
0
tal que para cada x [a, b] V y g A
3
, g
n
0
(x) U. Por tanto
el complemento de la union B(g) de las cuencas de los atractores hiperbolicos p
i
(g)
esta contenido en V y como [g

(x)[ > > 1 para x W, (g) = [a, b] B(g) W

es hiperbolico. Esto prueba la primera parte del teorema. Notese que (g) es igual
al conjunto de puntos en V cuyas orbitas positivas permanecen en V .
98
Exactamente como en la prueba del teorema 4.6 existe > 0 y una vecin-
dad A A
3
de f tal que para g
1
, g
2
A existe un unico punto h
g
1
(x) tal que
g
n
2
(h
g
1
(x)) B(g
n
1
(x), ) para cada entero positivo n. Mas a un, h
g
1
es uno a uno,
h
g
1
(g
1
(x)) = g
2
(h(g
1
(x))) y h
g
1
((g
1
)) (g
2
).
Finalmente, h
g
1
es un homeomorsmo de (g
1
) en (g
2
) ya que h
g
2
(h
g
1
(x)) =
x para cada x (g
1
).
Denicion 6.4. Un intervalo J es errante si todos los iterados J, f(J), f
2
(J),
son disjuntos y si (f
n
(J))
n0
no tiende a una orbita periodica.
Teorema 6.6. Sea f C
r
[a, b], r = 1, 2 el cual satisface el axioma A junto con las
siguientes propiedades:
(i) los puntos crticos de f son no degenerados.
(ii) si c
1
, c
2
son puntos crticos y f
n
(c
1
) = f
m
(c
2
) entonces n = m y c
1
= c
2
.
Entonces f es estructuralmente estable.
Demostracion. Si f no tiene puntos crticos y satisface el axioma A entonces el con-
junto de los atractores hiperb olicos es vaco; en consecuencia (f) no es totalmente
disconexo y f es un mapa expandido del crculo.
Suponga que f tiene un punto crtico. Como
f
= [a, b] B(f) es hiperbolico
esto implica que cada punto crtico debe estar contenido en B(f); en particular, el
conjunto de orbitas periodicas atractoras de f es no vaco. Escojase un punto p
i
;
i = 1, , k en cada orbita periodica atractora de f; y sea n
i
el periodo de p
i
. Sea
c
1
, , c
d
los punto crticos de f. Escojanse intervalos compactos V
i
en la cuenca
de p
i
tal que f
ni
(V
i
) int(V
i
); f
ni
es monotona en V
i
y tal que la frontera de V
i
no contiene puntos en la orbita de un punto crtico de f. El conjunto compacto
D
i
= V
i
int(f
ni
(V
i
)) es la union de dos intervalos y es un dominio fundamental
para la cuenca de p
i
en el sentido de que cada orbita en la cuenca de p
i
tiene al
menos y a lo sumo dos puntos en D
i
(la situacion anterior ocurre si y solo si la orbita
cae en la frontera de D
i
). En particular, para cada punto crtico c
j
, existen enteros
99
positivos m
j
, ij, con j = 1, , k tales que f
m
j
(c
j
) D
i(j)
. Sea A una vecindad de
f tal que existen funciones continuas p
i
: A [a, b], i = 1, , k y c
j
: A [a, b],
j = 1, , d tal que para cada g A:
1 c
j
(g) es un punto crtico de g y c
j
(f) = c
j
para j = 1, , d;
2 p
i
(g) es el unico punto periodico atractor de periodo n
i
para g en V
i
y p
i
(f) = p
i
;
3 g
ni
(V
i
) int(V
i
), g
n
i
es monotona en V
i
y g
m
j
(c
j
) pertenece al interior de
D
i
(
j)
(g) = V
i
(j) int(g
ni
(V
i
(
j)
));
4 Los puntos c
j
(g), , g
m
j
(c
j
(g)); j = 1, , d son todos distintos y
5 g satisface el axioma A y cada conjunto invariante positivo en
[a, b]

k
i

n0
g
n
(V
i
) es hiperbolico y repulsor (teorema 7.5).
De las propiedades 4 y 5 se sigue que el itinerario de cada punto crtico de
g A es igual al itinerario del punto crtico correspondiente a f. De las propiedades
2,3 y 5 se sigue que f y g tienen el mismo n umero de atractores periodicos. Por las
propiedades 3 y 4 existe una orientacion que preserva el homeomorsmo
h :
_
l
_
j=1

i0
f
i
(c
j
)
_
_
B
0
(f)
_
l
_
j=1

i0
g
i
(c
j
(g))
_
B
0
(g)
tal que h(c
i
) = c
i
(g) y g h = h f. Por tanto; ya que f y g son axioma A; esos
mapas no tienen intervalos errantes y del teorema 6.4 que f y g son topologicamente
conjugados.
CONCLUSIONES
La estabilidad estructural en endomorsmos de la recta y el intervalo ayuda
a comprender con mayor facilidad la estructura del espacio de orbitas de un sistema
dado y ademas es la herramienta fundamental a la hora de denir y caracterizar
ciertas clases genericas, ya que las propiedades genericas estudiadas en este trabajo
resultaron ser condiciones necesarias para que un mapa sea estructuralmente estable.
Recientemente se demostro que la condicion axioma A es completamente
equivalente a la condicion de estabilidad estructural en un mapa unidimensional.
De modo que para mostrar la estabilidad estructural de un sistema basta vericar
que cumpla las condiciones del axioma A, constituyendo as una condicion suciente.
El analisis de la familia logstica fue un gran aporte didactico a la hora de
mostrar el comportamiento de los mapas hiperbolicos y de visualizar el caso parti-
cular de un endomorsmo C
2
estructuralmente estable. Ademas, gracias a la cons-
truccion del conjunto de Cantor, se pudo demostrar el teorema de estabilidad local
para repulsores hiperbolicos mas generales.
RECOMENDACIONES
Se recomienda hacer un estudio similar en el caso de dimensiones mayores,
pues hay mucho trabajo por hacer; como por ejemplo construir una equivalencia
topologica entre dos esferas o entre planos y visualizar la dinamica en cada caso. As
como tambien mostrar las condiciones bajo las cuales esas variedades son estables
tanto local como globalmente, y estudiar las cuencas de atraccion del sistema, (en
el caso de la familia logstica la cuenca de atraccion era ). De tal manera de
contribuir con mas aportes en esta area.
BIBLIOGRAF

IA
[1] Dahan Dalmedico, A.; Chabert, L. y Chemla, K. 1992.
Chaos et determinisme. Edicion Du Seuil, Pars.
[2] Ma ne, R. 1988. A proof of the C
1
stability conjecture.
Publication Math. I.H.E.S. 66: 161-210.
[3] Anosov, D. 1967. Geodesic ows on closed riemannian manifolds of negative
curvature. Proc. Steklov Math. Inst., 90: 1-235.
[4] Katok, A. y Hasselblat, B.1995. Introduction to the modern theory of
dynamical systems. Cambridge University Press.
[5] De Melo, W. y Van Strien. 1993. One dimensional dynamics.
Springer - Verlag.
[6] Kozlovski, O. 2003. Axioma A maps are dense in the space of unimodal maps
in the C
k
topology. Annals of Math., 157: 1-43.
[7] Kozlovski, O.; Shen, W. y van Strien, S. 2004. Density of hiperbolicity in
dimensions one. Annals of Math., 64: 121-172.
[8] Devaney, R. 1989. An introduction to chaotic dynamical systems.
Addison Wesley.
[9] Smale, S. 1967. Dierentiable dynamical systems. Bulletin of the AMS., 73:
747-817.
[10] Banks, J.; Brooks, J.; Cairns, G.; Davis, G. y Stacey, P. 1992. On Devaneys
denition of chaos. Amer. Math. Monthly, 99: 332-334.
[11] Aulbach, B. y Kieninger, B. 2004. An elementary proof for hyperbolicity and
chaos of the logistic maps. J. Di. Equ. Appl., 10: 1243-1250.
[12] Singer, D. 1978. Stable orbits and bifurcation of mapas of the interval.
Annals of Math., 2: 260-267.
[13] Misiurewicz, M. 1981. Absolutely continuous measures for certain maps of
an interval. ibid., 17-51.
[14] Holmgren, R. 1994. A rst course in discrete dynamical systems. Springer -
verlag.
[15] Graczyk, J. y Swiatek, G. 1997. Generic hyperbolicity in the logistic family.
Annals of Math., 146: 1-52.
[16] Lyubich, M. 2002. Almost every real quadratic map is either regular or
stochastic. Annals of Math., 156: 1-78.
AP

ENDICE
El objeto de este apendice es utilizar ciertos resultados del calculo avanzado,
analisis funcional y topologa diferencial a n de esclarecer las propiedades de gene-
ricidad estudiadas en los captulos antecedentes. Aqu se asumen sin denicion los
conceptos de espacio topologico y espacio metrico completo, as como tambien las
propiedades de metricas y normas.
A.1 RESULTADOS DEL AN

ALISIS REAL
Teorema (Primer teorema fundamental del calculo). Sea f una funcion con-
tinua en el intervalo cerrado [a,b]. Si F es la funcion denida por F(x) =
_
x
a
f(t)dt
entonces:
F

(x) = f(x)
d
dx
_
x
a
f(t)dt = f(x).
Teorema (Segundo teorema fundamental del calculo). Sea f una funcion
continua en el intervalo cerrado [a, b] y sea g una funcion tal que g

(x) = f(x) para

todo x [a, b]. Entonces
_
b
a
f(t)dt = g(b) g(a).
Teorema (Teorema de Rolle). Sea f una funcion continua denida en un in-
tervalo [a, b], si f es derivable en (a, b) y f(a) = f(b), entonces existe un n umero
c (a, b) tal que f

(c) = 0
Teorema. Sea f
n
una sucesion de funciones continuas que converge uniforme-
mente a f, entonces f es continua.
A.2 TEOREMA DE BAIRE
Denicion. Un subconjunto de un espacio topologico X es llamado esparcido en X,
si el interior de su clausura es vaco. Es de primera categora en X si es la union
de un n umero numerable de subconjuntos esparcidos y es de segunda categora en X
cuando no es de primera categora.
A continuacion se da una denicion de espacio de Baire en terminos de cate-
gora.
Denicion. Un espacio topologico X es llamado un espacio de Baire si todo conjunto
abierto no vaco es de segunda categora en X.
Denicion. Un espacio topologico X se denomina espacio de Hausdor, si para
cada par x
1
, x
2
de puntos distintos de X, existen entornos U
1
y U
2
de x
1
y x
2
respec-
tivamente que son disjuntos.
Denicion. Un espacio topologico X es regular si dado un punto x y un conjunto
cerrado F; con x / F existen abiertos U y V con x U y F V tal que U V = .
Denicion. Sea M un espacio metrico. Se dice que una familia T
i

i=1,2,
de
subconjuntos de X tiene la propiedad de interseccion nita (P.I.F.) si cualquier sub-
familia nita de T
i

i=1,2,
tiene interseccion no vaca.
Lema. Sea C
1
C
2
una sucesion encajada de conjuntos cerrados no vacos
en un espacio metrico completo X. Si di amC
n
0 entonces

C
n
,= .
Demostracion. Para cada n escojase un punto x
n
en C
n
. Como x
n
, x
m
C
N
, para
n, m N, y el diametro di amC
N
puede hacerse menor que cualquier dado eligiendo
N sucientemente grande, la sucesion (x
n
) es una sucesion de Cauchy. Suponga
que converge a un punto x. Entonces dado k, la subsucesion x
k
, x
k+1
, tambien
converge a x. Por tanto, necesariamente se cumple que x pertenece a C
k
= C
k
y en
consecuencia, x

C
k
, como se quera.
Teorema (Teorema de la categora de Baire). Si X es un espacio de Hausdor
compacto o un espacio metrico completo entonces X es un espacio de Baire.
Demostracion. Dada una familia numerable A
n
de conjuntos cerrados de X con
interiores vacos, debe probarse que la union

A
n
tiene tambien interior vaco en
X. As, dado un conjunto abierto no vaco U
0
de X, debe encontrarse un punto x
de U
0
que no pertenezca a ninguno de los conjuntos A
n
.
Considere el primer conjunto A
1
. Por hipotesis, A
1
no contiene a U
0
. Por tanto,
puede elegirse un punto y de U
0
que no pertenece a A
1
. La regularidad de X, junto
con el hecho de que A
1
es cerrado, permite escoger un entorno U
1
de y tal que
U
1
A
1
= ,
U
1
U
0
.
Si X es un espacio metrico, se escoge U
1
tal que su diametro sea menor que 1.
En general, dado un conjunto abierto no vaco U
n1
, se escoge un punto de U
n1
que no pertenece al conjunto cerrado A
n
y entonces se elige un entorno U
n
de dicho
punto vericando
U
n
A
n
= ,
U
n
U
n1
,
di amU
n
<
1
n
en el caso metrico.
Se arma que la interseccion

U
n
es no vaca, de lo que se concluye el teorema.
En efecto, si se considera un punto x de

U
n
, entonces x pertenece a U
0
ya que
U
1
U
0
. Ademas, para cada n el punto x no pertenece a A
n
, ya que U
n
y A
n
son
conjuntos disjuntos.
La prueba de que la interseccion

U
n
es no vaca se realiza en dos partes,
dependiendo de que X sea un espacio de Hausdor compacto o un espacio metrico
completo. Si X es un espacio de Hausdor compacto, se considera la sucesion en-
cajada U
1
U
2
de subconjuntos no vacos de X. La familia U
n
tiene la
propiedad de la interseccion nita; como X es compacto, la interseccion

U
n
debe
ser no vaca.
Si X es un espacio metrico completo, entonces se aplica el lema anterior.
A.3 TEOREMA DE LA FUNCI

ON IMPL

ICITA
El primer resultado que se expone a continuacion es el bien conocido principio
de la aplicacion contractiva o teorema de punto jo de Banach.
Teorema (Banach-Cacciopoli). Sea (X, d) un espacio metrico completo y
f : X X una aplicacion contractiva, es decir,
d(f(x), f(y)) Cd(x, y) x, y X
para alguna constante 0 C < 1. Entonces f admite un unico punto jo x X,
i.e., f(x) = x.
Demostracion. Sea x
0
cualquier punto de X que no sea un punto jo. Es decir,
f(x
0
) ,= x
0
.
Defnase x
1
por
x
1
= f(x
0
),
y en general defnase x
j
por
x
j
= f(x
j1
), j = 1, 2, . (A.5)
Para la sucesion x
j
, as denida, por aplicacion iterada de la desigualdad
triangular se tiene la siguiente propiedad
d(x
n
, x
m
)
n

j=m+1
d(x
j
, x
j1
). (A.6)
Luego, haciendo uso de la expresion (A.5) se tiene
d(x
j
, x
j1
) = d(f(x
j1
), f(x
j2
))
Cd(x
j1
, x
j2
),
donde C es la constante de contractividad. Aplicando iteradamente esta relacion se
tiene que
d(x
j
, x
j1
) C
j1
d(x
1
, x
0
).
Sustituyendo esta expresion en la formula (A.6)
d(x
n
, x
m
) d(x
1
, x
0
)
n

j=m+1
C
j1
.
Donde la suma que aparece en la parte derecha es la diferencia entre la m
esima y la nesima suma parcial de una serie geometrica convergente, pues 0 C <
1. De esto se deduce que la sucesion x
n
es una sucesion de Cauchy, y como X es un
espacio metrico completo, se concluye que tiene que ser convergente a alg un x X.
Por otra parte, como f es continua se tiene que la sucesion f(x
n
) es convergente
al valor f(x). De la relacion dada por A.5 se concluye que f(x) = x. Para mostrar
la unicidad supongase que existen dos puntos jos f(x) = x y f( x) = x, luego
d(f(x), f( x)) Cd(x, x)
d(x, x) Cd(x, x)
(1 C)d(x, x) 0.
Como (1 C) > 0, entonces d(x, x) = 0 y por consiguiente x = x.
Para la prueba del teorema de la funcion inversa se dara como cierta la si-
guiente proposicion, la cual es consecuencia de la desigualdad del teorema del valor
medio en derivacion de espacios normados.
Proposicion. Sean E, F espacios normados, X E un subconjunto abierto y f :
X F diferenciable en X. Si [x, y] X entonces para todo T L(E, F) se tiene
|f(y) f(x) T(y x)| sup
z[x,y]
|Df(z) T||y x|,
donde L(E, F) denota el conjunto de ls aplicaciones lineales y continuas de E en F.
Teorema (Teorema de la funcion inversa). Sean A, B espacios de Banach y
X A un subconjunto abierto. Sea f : X B diferenciable en X. Supongase que
Df es continua en x
0
X y Df(x
0
) es inversible. Entonces existe un entorno I de
x
0
, I X, y un entorno J de y
0
= f(x
0
) tales que f : I J es un difeomorsmo.
Demostracion. Observese primero que Df(x
0
) es un isomorsmo. En efecto,
Df(x
0
) es continua (por ser f diferenciable) y biyectiva (por ser inversible); ademas,
en virtud del teorema de la aplicacion abierta, se obtiene que Df(x
0
) es abierta.
Luego es un homeomorsmo lineal. Sea k = |Df(x
0
)
1
| > 0. Por la continuidad de
Df en x
0
se puede encontrar una bola B(x
0
, r) X tal que para todo x B(x
0
, r)
|Df(x) Df(x
0
)| <
1
2k
(A.7)
Como toda bola es convexa; de (A.7), para cualquier x, B(x
0
, r) se tiene
que
sup
z[x,]
|Df(z) Df(x
0
)|
1
2k
.
Por hipotesis f es diferenciable en X, entonces f es diferenciable en B(x
0
, r)
X. Aplicando la proposicion anterior y considerando la ultima desigualdad se obtiene
|f(x) f() Df(x
0
)(x )|
1
2k
|x | (A.8)
para todo x, B(x
0
, r). Luego, de (A.8),
1
k
|x | =
1
k
|Df(x
0
)
1
[Df(x
0
)(x )]|
|Df(x
0
)(x )| |f(x) f()| +
1
2k
|x | (A.9)
para todo x, B(x
0
, r). Entonces, de (A.9), f : B(x
0
, r) B es inyectiva.
Defnase ahora J = B(y
0
,
r
2k
) e I = B(x
0
, r) f
1
(J) . Claramente J es entorno de
y
0
e I es entorno de x
0
(pues por la continuidad de f en X, f
1
(J) es entorno de x
0
).
Ademas f(I) J y f : I J es continua e inyectiva en U. Ahora se muestra que f
tambien es sobreyectiva, para ello considere un punto y J. Entonces |y y
0
| <
r
2k
y si se toma 2k|y y
0
| < < r se tiene que |y y
0
| <

2k
, B(x
0
, ) B(x
0
, r). Sea
g : B(x
0
, ) B denida por g(x) = y f(x) +Df(x
0
)x. De (A.8) se obtiene para
todo x, B(x
0
, ),
|g(x) g()|
1
2k
|x |. (A.10)
Luego (Df(x
0
)
1
g) : B(x
0
, ) B(x
0
, ), pues si x B(x
0
, ) se aplica
(A.10) y
|(Df(x
0
)
1
g)(x) x
0
| = |Df(x
0
)
1
[g(x) Df(x
0
)x
0
]| k|g(x) Df(x
0
)x
0
|
k|g(x) g(x
0
)| +k|g(x
0
) Df(x
0
)x
0
|

1
2
|x x
0
| +k|y y
0
| <

2
+k

2k
= .
Por otra parte, B(x
0
, ) es un espacio de Banach, por ser un conjunto cerrado en
el espacio de Banach A. Ademas Df(x
0
)
1
g es una contraccion, pues aplicando
(A.10) de nuevo, para x, B(x
0
, ) cualesquiera
|(Df(x
0
)
1
g)(x) (Df(x
0
)
1
g)()| = |Df(x
0
)
1
[g(x) g()]|
k|g(x) g()|
1
2
|x |.
Por el teorema de punto jo de Banach, existe un x B(x
0
, ) B(x
0
, r) tal que
(Df(x
0
)
1
g)(x) = x, esto es, g(x) = Df(x
0
)x. Entonces por la denicion de g
se tiene que f(x) = y y as f es sobreyectiva. Luego, f : I J es una biyeccion
continua en I. Sean y, J cualesquiera, entonces f
1
(y), f
1
() I B(x
0
, r) y
aplicando (A.9) se obtiene que |f
1
(y) f
1
()| 2k|y | de donde se concluye
que f
1
: I J es continua. Luego, f : I J es un homeomorsmo diferenciable
en I. Falta probar que Df
1
(y
0
) = [Df(x
0
)]
1
, para ello observe lo siguiente
Df
1
(y
0
) = lim
h0
+
|f
1
(y
0
+h) f
1
(y
0
)|
|h|
.
Haciendo y
0
+h = f(x
0
+k) para alguna constante k R, entonces f(x
0
)+h =
f(x
0
+k), con y
0
= f(x
0
). Luego
f
1
(f(x
0
) + h) = f
1
(f(x
0
+k))
f
1
(y
0
+h) = x
0
+k
notese que cuando |h| 0
+
, |k| 0
+
, luego
lim
h0
+
|f
1
(y
0
+h) f
1
(y
0
)|
|h|
= lim
k0
+
|x
0
+k x
0
|
|f(x
0
+k) f(x
0
)|
= lim
k0
+
|k|
|f(x
0
+k) f(x
0
)|
= lim
k0
+
1
|f(x
0
+k) f(x
0
)|
|k|
=
1
lim
k0
+
|f(x
0
+k) f(x
0
)|
|k|
=
1
Df(x
0
)
= [Df(x
0
)]
1

Teorema. (Teorema de la funcion implcita) Sean A y B espacios de Banach, X

A B un subconjunto abierto y sea G : X A una funcion de clase C
1
. Sea
(x
0
, y
0
) X tal que:
(i) G(x
0
, y
0
) = 0
(ii)
G(x
0
,y
0
)
y
,= 0
entonces existe un intervalo abierto I en x
0
y J en y
0
y una funcion w : I J la
cual satisface:
(i) w(x
0
) = y
0
(ii) G(x, w(x)) = 0, x I.
Demostracion. Reemplazando G por (x, y)
_
G(x
0
,y
0
)
y
1
G(x, y)
_
si es necesario;
as umase sin perdida de generalidad que
G(x
0
,y
0
)
y
= Id
G
. Dena H : X AB por
H(x, y) = (x, G(x, y)), para todo x, y X. Notese que
DH(x, y) =
_
_
I
G(x,y)
x
0
G(x,y)
y
_
_
la cual es invertible si y solo si
G(x,y)
y
es invertible; y si
G(x,y)
y
es invertible entonces
DH(x, y)
1
=
_
_
I
G(x,y)
x
G(x,y)
y
1
0
G(x,y)
y
1
_
_
Como
G(x,y)
y
= Id es invertible, el teorema de la funcion inversa garantiza
que existe una vecindad I
0
de x
0
y J de y
0
tal que I
0
J X, H(I
0
J) es
abierta en AB, H[
I
0
J
tiene una inversa H
1
. Sea
2
(x, y) = y para todo (x, y)
A B y dena una funcion diferenciable w
0
en I
0
por w
0
(x) =
2
H
1
(x, 0). Ya
que H
1
(x, 0) = ( x, w
0
(x)) si y solo si (x, 0) = H( x, w
0
(x)) = ( x, G( x, w
0
(x))) se
sigue que x = x y G( x, w
0
(x)) = 0. As, (x, w
0
(x)) = H
1
(x, 0) I
0
J X y
G( x, w
0
(x)) = 0, para todo x I
0
. De tal manera que si I I
0
es un conjunto
conexo que contiene a x
0
, se dene w = w
0
[
I
y se demuestra la existencia de la
funci on w descrita en el enunciado del teorema. Ahora falta probar la unicidad de
dicha funcion.
Suponga que w
1
: I J es otra funcion continua tal que w
1
(x
0
) = y
0
,
(x, w
1
(x)) X y G(x, w
1
(x)) = 0 para todo x I. Sea
O = x I[w(x) = w
1
(x) = x I[w
0
(x) = w
1
(x).
Claramente O es un subconjunto cerrado de I el cual es no vaco ya que
x
0
O. Como O es conexo si se muestra que I tambien es un conjunto abierto
entonces O = I o equivalentemente w
1
= w
0
en I. Para ello suponga que x O, i.e.
w
0
(x) = w
1
(x). Para x cercano a x I,
0 = 0 0 = G( x, w
0
( x)) G( x, w
1
( x)) = R( x)(w
1
( x) w
0
( x)) (A.11)
donde
R( x) =
_
1
0
G( x, w
0
( x) + t(w
1
( x) w
0
( x))
y
dt (A.12)
de la ecuacion (A.12) y de la continuidad de w
0
y w
1
, lim
xx
R( x) =
G(x,w
0
(x))
y
la
cual es invertible (notese que DH(x, w
0
(x)) es invertible para todo x I
0
porque
H[
I
0
J
tiene inversa). As R( x) es invertible para todo x sucientemente cercano a
x. Usando la ecuacion (A.11), este ultimo comentario implica que w
1
( x) = w
0
( x)
para todo x sucientemente cercano a x. Como x O es arbitrario, se acaba de
mostrar que O es abierto.