Professional Documents
Culture Documents
Demostración. Sea ϕ : X → R tal que ϕ(x) = d(x, T x)/(1 − k). Luego, ϕ es continua.
Además, para todo x ∈ E,
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.
1. Banach:
d(T x, T y) ≤ kd(x, y) con k ∈ (0, 1).
2. Kannan:
3. Chatterjea:
4. Reich:
5. Berinde:
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)},
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).
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.
luego
d(xn , xn+1 ) ≤ δd(xn−1 , xn )
inductivamente obtenemos
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
y por lo tanto
d(x∗ , T x∗ ) ≤ (1 + L)d(x∗ , xn+1 ) + δd(xn , x∗ ).
Luego,
(1 − α)d(T x, T y) ≤ αd(x, y) + 2αd(y, T x).
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
Demostración.
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)]
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 .
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
x∗ = lı́m T n x
n→∞
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→∞