0.1.

PUNTO FIJO UNIVALUADO 1

0.1. Punto Fijo Univaluado

Definición 0.1.1. Sean (E, d) un espacio métrico y T : E → E una función. Se dice

que T satisface la condición orbital de Banach (COB), si existe λ ∈ [0, 1) tal que,
d(T x, T 2 x) ≤ λd(x, T x).

Teorema 0.1.1. Sean (E, d) un espacio métrico completo y T : E → E una función

continua que satisface la COB. Entonces, existe x0 ∈ E tal que x0 = T x0 .

Demostración. Sea ϕ : X → R tal que ϕ(x) = d(x, T x)/(1 − k). Luego, ϕ es continua.
Además, para todo x ∈ E,

d(x, T x) − d(T x, T 2 x) ≥ (1 − k)d(x, T x),

con lo cual se tiene d(x, T x) ≤ ϕ(x) − ϕ(T x). Sigue entonces del teorema de Caristi
que existe x0 ∈ E tal que x0 = T x0 , lo cual completa la demostración.

Existe una amplia gama de funciones que satisfacen la condición orbital de Banach,
en la siguiente proposición se verán algunos ejemplos.

Proposición 0.1.1. Sean (E, d) un espacio métrico completo y T : E → E una

función. Entonces, para todo x, y ∈ E las siguientes contracciones satisfacen la COB:

1. Banach:
d(T x, T y) ≤ kd(x, y) con k ∈ (0, 1).

2. Kannan:

d(T x, T y) ≤ α[d(x, T x) + d(y, T y)] con α ∈ (0, 1/2).

3. Chatterjea:

d(T x, T y) ≤ α[d(x, T y) + d(y, T x)] con α ∈ (0, 1/2).

4. Reich:

d(T x, T y) ≤ αd(x, y) + βd(x, T x) + γd(y, T y) con α + β + γ ∈ (0, 1).

2

5. Berinde:

d(T x, T y) ≤ δd(x, y) + Ld(y, T x) con δ ∈ (0,1) y L ≥ 0.

6. Ćirić:

d(T x, T y) ≤ α máx{d(x, y), d(x, T x), d(y, T y), d(x, T y), d(y, T x)},

con α ∈ (0, 1/2).

Demostración. Sea x ∈ E. Entonces,

1.
d(T x, T 2 x) ≤ α[d(x, T x) + d(T x, T 2 x)]
α
≤ 1−α
d(x, T x).
Como 0 < α < 1/2 entonces α/(1 − α) < 1, con lo cual se tiene que T satisface
la COB.

2.
d(T x, T 2 x) ≤ α[d(x, T 2 x) + d(T x, T x)]
= αd(x, T 2 x).
Por otro lado,
d(x, T 2 x) ≤ d(x, T x) + d(T x, T 2 x)
≤ d(x, T x) + αd(x, T 2 x)
≤ d(x, T x)/(1 − α).
Por lo tanto,
α
d(T x, T 2 x) ≤
d(x, T x).
1−α
Como 0 < α < 1/2 entonces α/(1 − α) < 1, con lo cual se tiene que T satisface
la COB.

3.
d(T x, T 2 x) ≤ αd(x, y) + βd(x, T x) + γd(T x, T 2 x)
α+β
≤ 1−γ
d(x, T x).
Como α + β + γ < 1 entonces (α + β)/(1 − γ) < 1, con lo cual se tiene que T
satisface la COB.
0.1. PUNTO FIJO UNIVALUADO 3

4.
d(T x, T 2 x) ≤ αd(x, T x) + Ld(T x, T x)
≤ δd(x, T x).
Como 0 < δ < 1, T cumple con la COB.

5.
d(T x, T 2 x) ≤ α máx{d(x, T x), d(x, T 2 x), d(T x, T 2 x)}
= α máx{d(T x, T 2 x), máx{d(x, T x), d(x, T 2 x)}
≤ α[d(x, T x) + d(T x, T 2 x)]
α
≤ 1−α
d(x, T x).

Como 0 < α < 1/2, se cumple la COB.

Corolario 0.1.1. Si T : E → E es una función continua que satisface alguna de las

contracciones de la proposición precedente, entonces T posee un punto fijo.

Demostración. Por Proposición 0.1.1 cada una de las contracciones mencionadas cum-
ple con la COB, luego, como T es continua, por Teorema 0.1.1 existe punto fijo.

Corolario 0.1.2. (Banach) Sean (X, d) un espacio métrico completo y T : E → E

una función tal que d(T x, T y) ≤ kd(x, y), donde k ∈ (0, 1). Entonces, existe x0 ∈ E
tal que x0 = T x0 .

Demostración. Puesto que T es Lipschitzeana, T es continua y, por Proposición 0.1.1,

satisface la COB. Luego, este corolario se desprende del teorema de Caristi.

Algunas de estas contracciones son continuas, por ejemplo la de Banach. Pero

no todas lo son y, aún ası́, existe punto fijo. Esto significa que, si bien el Teorema
0.1.1 asegura la existencia de punto fijo en varios casos, en otros esta existencia debe
demostrarse mediante un método alternativo. Este es el caso de los Teoremas 0.1.2,
0.1.3 y 0.1.4 enunciados y demostrados a continuación.

Teorema 0.1.2. (Berinde) Sean (E, d) un espacio métrico completo y T : E → E

una función tal que d(T x, T y) ≤ δd(x, y) + Ld(y, T x), donde δ ∈ (0, 1) y L ≥ 0.
Entonces existe x0 ∈ E tal que x0 = T x0 .
4

Demostración. Sean x0 ∈ E y xn+1 = T xn , entonces

d(T xn−1 , T xn ) ≤ δd(xn−1 , xn )

luego
d(xn , xn+1 ) ≤ δd(xn−1 , xn )

inductivamente obtenemos

d(xn , xn+1 ) ≤ δ n d(x0 , x1 ), con n = 0, 1, 2, ...

entonces
d(xn , xn+p ) ≤ δ n (1 + δ + · · · + δ p−1 )d(x0 , x1 )
δn
= 1−δ
(1 − δ p )d(x0 , x1 ), n, p ∈ N, n 6= 0
Como δ ∈ (0, 1), entonces (xn : n ∈ N) es una sucesión de Cauchy y por lo tanto
convergente. Denotemos
x∗ = lı́m xn
n→∞

entonces

d(x∗ , T x∗ ) ≤ d(x∗ , xn+1 ) + d(xn+1 , T x∗ ) = d(xn+1 , x∗ ) + d(T xn , T x∗ )

Por hipótesis, tenemos que

d(T xn , T x∗ ) ≤ δd(xn , x∗ ) + Ld(x∗ , T xn )

y por lo tanto
d(x∗ , T x∗ ) ≤ (1 + L)d(x∗ , xn+1 ) + δd(xn , x∗ ).

Tomando n → ∞ obtenemos que d(x∗ , T x∗ ) = 0, es decir, x∗ es un punto fijo de T .

Ejemplo 0.1.1. Sea T : [0, 1] → [0, 1] definida por

(
2/3 si 0 ≤ x < 1;
Tx =
0 si x = 1.

Notamos que T no es continua en x = 1, sin embargo, es una contracción de Berinde

con 2/3 ≤ δ < 1 y L ≥ δ. Luego, T posee punto fijo.
0.1. PUNTO FIJO UNIVALUADO 5

Teorema 0.1.3. (Kannan) Sean (E, d) un espacio métrico completo y T : E → E

una función tal que d(T x, T y) ≤ α[d(x, T x) + d(y, T y)] donde α ∈ (0,1/2). Entonces
existe x0 ∈ E tal que x0 = T x0 .

Demostración. Tenemos que

d(T x, T y) ≤ α[d(x, T x) + d(y, T y)]

≤ α[d(x, y) + d(y, T x) + d(y, T x) + d(T x, T y)].

Luego,
(1 − α)d(T x, T y) ≤ αd(x, y) + 2αd(y, T x).

Esto implica que

α 2α
d(T x, T y) ≤ d(x, y) + d(y, T x).
1−α 1−α
Como α ∈ (0, 1/2), tomamos δ = α/(1 − α) y L = 2α/(1 − α). Luego T es contracción
de Berinde, por lo tanto existe x0 ∈ E tal que x0 = T x0 .

Ejemplo 0.1.2. Sea T : R → R definida por

(
0 si x ≤ 2;
Tx =
1/2 si x > 2.

Evidentemente T no es continua en x = 2, sin embargo es una contracción de Kannan

con α = 1/5. Por lo tanto, posee punto fijo.

Teorema 0.1.4. (Chatterjea) Sean (E, d) un espacio métrico completo y T : E → E

una función tal que d(T x, T y) ≤ α[d(x, T y) + d(y, T x)] donde α ∈ (0,1/2). Entonces
existe x0 ∈ E tal que x0 = T x0 .

Demostración. Usando el hecho que d(x, T y) ≤ d(x, y) + d(y, T x) + d(T x, T y), obte-
nemos
d(T x, T y) ≤ α[d(x, T x) + d(y, T y)]
≤ α[d(x, y) + d(y, T x) + d(y, T x) + d(T x, T y)]
luego
(1 − α)d(T x, T y) ≤ αd(x, y) + 2αd(y, T x)
6

esto implica que

α 2α
d(T x, T y) ≤ d(x, y) + d(y, T x)
1−α 1−α
Como α ∈ (0, 1/2), tomamos δ = α/(1 − α) y L = 2α/(1 − α). Luego T es contracción
de Berinde, por lo tanto existe x0 ∈ E tal que x0 = T x0 .

Ejemplo 0.1.3. Sea T : [0, 1] → [0, 1] definida por

(
x/4 si 0 ≤ x < 1/2;
Tx =
x/5 si 1/2 ≤ x ≤ 1.

Es claro que T no es continua en x = 1/2, sin embargo es una contracción de Chat-

terjea con α = 4/9. Por lo tanto, posee punto fijo.

Teorema 0.1.5. (Reich) Sean (E, d) un espacio métrico completo y T : E → E una

función tal que d(T x, T y) ≤ αd(x, y) + βd(x, T x) + γd(y, T y) donde α + β + γ ∈ (0, 1).
Entonces existe x0 ∈ E tal que x0 = T x0 .

Demostración.

Antes de enunciar el teorema de punto fijo de Ćirić, son necesarios la siguiente

definición y lemas 0.1.1 y 0.1.2.

Definición 0.1.2. Sean (E, d) un espacio métrico y T : E → E una función. Para

A ⊆ E, denotamos su diametro por ρ(A) = sup{d(a, b) : a, b ∈ A} y para todo x ∈ E
definimos los siguientes conjuntos

O(x, n) = {x, T x, ..., T n x}, n = 1, 2, ...,

O(x, ∞) = {x, T x, ...}.

Diremos que E es T -orbitalmente completo si y solo si toda sucesión de Cauchy en

O(x, ∞) para algún x ∈ E, converge en E.

Lema 0.1.1. Sean (E, d) un espacio métrico, T : E → E una contracción de Ćirić y

n ∈ N. Entonces para todo x ∈ E y todo i, j ∈ {1, 2, ..., n} tenemos que d(T i x, T j x) ≤
αρ(O(x, n)), con α ∈ (0, 1).
0.1. PUNTO FIJO UNIVALUADO 7

Demostración. Sea x ∈ E, entonces T i−1 x, T i x, T j−1 x, T j x ∈ O(x, n). Como T es

contracción de Ćirić, tenemos que

d(T i x, T j x) ≤ α máx{d(T i−1 x, T j−1 x), d(T i−1 x, T i x), d(T j−1 x, T j x),
d(T i−1 x, T j x), d(T i x, T j−1 x)}
≤ αρ[O(x, n)]

Observación 0.1.1. De este lemma se deduce que si T es una contracción de Ćirić

y x ∈ E, entonces para todo n ∈ N existe k ≤ n tal que d(x, T k x) = ρ[O(x, n)].

Lema 0.1.2. Sean (E, d) un espacio métrico y T : E → E una contracción de Ćirić.

Entonces para todo x ∈ E se tiene que
1
ρ[O(x, ∞)] ≤ d(x, T x).
1−α

Demostración. Sea x ∈ E. Ya que ρ[O(x, q)] ≤ ρ[O(x, 2)] ≤ · · · , tenemos que

ρ[O(x, ∞)] = sup{ρ[O(x, n)] : n ∈ N}. Por la Observación 0.1.1, existe T k x ∈ O(x, n)
con 1 ≤ k ≤ n tal que d(x, T k x) = ρ[O(x, n)]. Luego, del Lema 0.1.1 obtenemos

d(x, T k x) ≤ d(x, T x) + d(T x, T k x)

≤ d(x, T x) + αρ[O(x, n)]
= d(x, T x) + αd(x, T k x).

Por lo tanto,
ρ[O(x, n)] = d(x, T k x)
1
≤ 1−α
d(x, T x).
Como n es arbitrario, queda demostrado el resultado.

Teorema 0.1.6. (Ćirić) Sean (E, d) un espacio métrico, T : E → E una función tal
que d(Tx,Ty)≤ α máx{d(x, y), d(x, T x), d(y, T y), d(x, T y), d(y, T x)} con α ∈ (0, 1).
Además, si E es T −orbitalmente completo, entonces existe x0 ∈ E tal que x0 = T x0 .

Demostración. Sean x ∈ E y n, m ∈ N tal que n < m. Entonces,

d(T n x, T m x) ≤ αρ[O(T n−1x , m − n + 1)].

8

Por Observación 0.1.1, existe k ∈ N con 1 ≤ k ≤ m − n + 1 tal que

ρ[O(T n−1 x, m − n + 1)] = d(T n−1 x, T k T n−1 x).

Nuevamente, por Lema 0.1.1 tenemos que

d(T n−1 x, T k T n−1 x) ≤ αρ[O(T n−2 x, k + 1)]

≤ αρ[O(T n−2 x, m − n + 2)].

Por lo tanto,
d(T n x, T m x) ≤ αρ[O(T n−1 x, m − n + 1)]
≤ α2 ρ[O(T n−2 x, m − n + 2)]
Procediendo de esta manera, obtenemos

d(T n x, T m x) ≤ αρ[O(T n−1 x, m − n + 1)] ≤ · · · ≤ αn ρ[O(x, m)].

Entonces, se sigue del Lema 0.1.2 que

αn
d(T n x, T m x) ≤ d(x, T x). (1)
1−α
Ya que lı́m αn = 0, entonces (T n x : n ∈ N) es sucesión de Cauchy y por lo tanto
n→∞
convergente. Como E es T -orbitalmente completo, denotamos por

x∗ = lı́m T n x
n→∞

Para probar que T x∗ = x∗ consideremos las siguientes desigualdades

d(x∗ , T x∗ ) ≤ d(x∗ , T n+1 x) + d(T n+1 x, T x∗ )

≤ d(x∗ , T n+1 x) + α máx{d(T n x, x∗ ), d(T n x, T n+1 x),
d(x∗ , T x∗ ), d(T n x, T x∗ ), d(T n+1 x, x∗ )}
≤ d(x∗ , T n+1 x) + α[d(T n x, T n+1 x) + d(T n x, x∗ ) + d(x∗ , T x∗ )
+d(T n+1 x, x∗ )].

Por lo tanto,
1
d(x∗ , T x∗ ) ≤ [(1 + α)d(x∗ , T n+1 x) + αd(x∗ , T n x) + αd(T n x, T n+1 x)].
1−α
Como lı́m T n x = x∗ , entonces d(x∗ , T x∗ ) = 0, es decir, x∗ es un punto fijo.
n→∞