1

Seccion 0.1
Nociones b
asicas sobre sistemas din
amicos discretos

Sea X un espacio metrico y f : X X una funcion continua. Al par (X, f ) se le

denomina un sistema dinamico discreto. Para cada punto x X, la sucesion de puntos
{x, f (x), f 2 (x), . . .} es conocida como la orbita de x bajo f , y se denota por O(x, f ).

Observaci on 0.1 Con f n se representa la composicion de f consigo misma n-veces. A

la funcion f n : X X se le llama la nenesima iteracion de f : X X. En el caso
n = 0, f 0 : X X denota la funcion identidad en X.

A manera de interpretacion de un sistema dinamico discreto, cuando t = 0 el objeto

esta en una posicion x, en t = 1 esta en f (x), en t = 2 su posicion es f 2 (x), y as
sucecivamente.

Definici on 0.1 Sea f : X X una funcion continua. Un punto x0 X se dice que es

punto fijo de f si f (x0 ) = x0 . En este caso, la orbita de x0 bajo f es una sucesion sencilla
O(x0 , f ) = {x0 , x0 , . . .}. Ademas se tiene que para cada n, f n (x0 ) = x0 entonces O(x0 , f )
tiende a x0 , es decir que lm f n (x0 ) = x0 .
n

Ejemplo 0.1
(i) Sea f (x) = x + 1, entonces: O(0, f ) = {0, 1, 2, 3, . . .}.
(ii) Sea f (x) = x, entonces para a X, a 6= 0, la orbita de a en f es O(a, f ) = {a, a}.

Proposici on 0.1 Sea f : X X una funcion continua y sean x0 y y0 dos puntos en X

tales que la orbita de x0 converge a y0 , es decir lm f n (x0 ) = y0 , entonces y0 es punto
n
fijo de f .
Dmst: Debemos probar que f (y0 ) = y0 , por la continuidad de f tenemos:

f (y0 ) = f ( lm f n (x0 )) = lm f n+1 (x0 ) = y0 .

n n

ltima igualdad se debe al hecho que {f n+1 (x0 )}

La u on de {f n (x0 )}
n=1 es una subsucesi n=1 .

Se pueden encontrar puntos fijos de funciones de manera trivial, sin embargo no lo es

cuando se trata de una funcion que tiene como dominio y contradominio un intervalo de
R. A partir de momento en el documento, consideremos a X como subconjunto de R a
menos que se diga lo contrario.
Para encontrar puntos fijos de una funcion definida en intervalos, tengamos presente el
siguiente teorema.
Teorema 0.1 (Teorema Del Valor Intermedio) Sea A un intervalo de R y f : A A
una funcion continua en A. Sean a y b dos puntos de A tales que a < b y sea M R.
Entonces si alguna de las siguientes condiciones se cumple:
f (a) < M < f (b)

f (a) > M > f (b)

Anderson J. Mercado
2

Entonces existe c con a < c < b tal que f (c) = M .

Proposici on 0.2 Sea A un intervalo de R y f : A A una funcion continua en A. Sea

[a, b] un intervalo contenido en A.
(i) Si f ([a, b]) [a, b] entonces f tiene un punto fijo en [a, b]
(ii) Si [a, b] f ([a, b]) entonces f tiene un punto fijo en [a, b]
Dmst: Observemos que f ([a, b]) = {y R : y = f (x), x [a, b]}.
(i) Como f ([a, b]) [a, b] entonces a f (a) . . . f (b) b. Sea h : [a, b] R
dada por h(x) = f (x) x continua en [a, b], ademas h(a) = f (a) a 0 y h(b) =
f (b)b 0, entonces h(b) 0 h(a). Por el Teorema Del Valor Intermedio, existe
c [a, b] tal que h(c) = 0 y esto es f (c) c = 0, por lo tanto f (c) = c.
(ii) Como [a, b] f ([a, b]) entonces existen , [a, b] tal que a = f () y b = f ()
con f () . . . f (). De manera similar como en (i), consideramos la
funcion h : [a, b] R definida h(x) = f (x) x, entonces h() = f () 0 y
h() = f () 0. Luego por el Teorema Del Valor Intermedio existe d [, ]
o d [, ] tal que h(d) = 0, esto es f (d) d = 0, por lo tanto f (d) = d.

0.1.1. Puntos fijos atractores y repulsores

Sea A un intervalo de R y f : A A una funcion continua en A.

Definici on 0.2 Sea x0 un punto fijo de f en A, entonces x0 es un punto fijo atractor si

existe un abierto (a, b) con x0 (a, b), tal que f ((a, b) A) (a, b) A, donde para todo
x (a, b) A se tiene que lm f n (x0 ) = x0 .
n

Definici on 0.3 Sea x0 un punto fijo de f en A, entonces x0 es punto fijo repulsor si

existe (a, b), x0 (a, b) tal que para cada x (a, b) A, x 6= x0 , existe n N que depende
de x, tal que f n (x)
/ (a, b) A.

on 0.3 Sea x0 A tal que f (x0 ) = x0 . Supongamos que f es derivable en x0 .

Proposici
(i) Si |f 0 (x0 )| < 1 entonces x0 es un punto fijo atractor.
(ii) Si |f 0 (x0 )| > 1 entonces x0 es un punto fijo repulsor.
Dmst:
(i) Supongamos que |f 0 (x0 )| < 1, entonces tenemos:
   

 lm f (x) f (x 0 )  
 < 1 =  lm f (x) x 0 
xx0 x x0  < 1.

xx0 x x0 
Esto es porque f (x0 ) = x0 .
Como la funcion valor absoluto es continua y f es derivable en x0 , entonces:
 
 f (x) x0 
lm   < 1.
xx0  x x0 

Anderson J. Mercado Ph.D: Tovias Castro

 3

Sea c un n
umero real fijo tal que:
 
 f (x) x0 
lm  <c<1 (0.1.1)
xx0  x x0 

Existe > 0 tal que si x (x0 , x0 + ) A, entonces:

 
 f (x) x0 
 x x0  < c = |f (x) x0 | < c |x x0 |
 

Anderson J. Mercado