2.4. TROREMA DEI. PUNTO FIIO DE RANACH a
2.4. ‘Teorema del punto fijo de Banach
Definicin 2.33. Sea (Xp) un espacio métrico y 2 : X + X. Decimos que 2 es una con-
traccién si existe una constante 0 < k <1 tal que
A(Na), Q(x2}) < kpler,x2)
Teorema 2.34 (Punto fijo de Banach). Sea (X,p) wn espacio métrico completo y 2: X =
X una contraccién, Luego, eriste wn tinico x € X tal que Xx) =x.
DeMostRactOn. Sea x9 € X y definamos la sucesién {2} en X como sigue
2 = Ue), 22 = e1), «+. en = AUFn-1).
O sea, 27m = 2%(9) donde 2 es componer n. veces la funcién 2. Nuestra intencién es probar
que esta sucesién es de Cauchy, cuyo limite es precisamente el punto que es invariante bajo la
accién de $2 (también es conocido como el punto fijo de 2). Para ello notemos que
Ans En+1) = OQ n—1),UTn))