Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teorema 8.3.2 (Baire). Sea (X, d) un espacio métrico completo y sea {An }∞
n=1 una sucesión de
abiertos de X tales que An es denso en X para cada n ∈ N. Entonces se cumple que ∩∞ n=1 An es
denso en X.
Ası́, por inducción se puede construir una sucesión de bolas {B(xn , rn )}∞
n=1 tales que para cada
n ∈ N, rn < n , y B(xn, rn) ⊂ A ∩ A1 ∩ ∩ An.
1
Si consideramos las bolas cerradas, la familia {B(xn , rn )}∞ n=1 cumple la hipótesis del Teorema
de encaje de Cantor, y por tanto su intersección es un único punto:
∩∞
n=1 B(xn , rn ) = {x}, x ∈ X
Definición 8.4.1 (Espacio completado). Diremos que un espacio métrico (X, d¯) es el completado
de un espacio métrico (X, d) si (X, d¯) es completo y X es isométrico a un subconjunto denso de
X.
Ejemplo 8.4.2.
Teorema 8.4.3. Sea X un conjunto cualquiera. Entonces el espacio métrico (B(X, R), d∞ ) con
B(X, R) = {f : X −→ R : f acotada} y d∞(f, g) = sup{| f (x) − g(x) |: x ∈ X}, es un
espacio métrico completo.
Veamos que (fn )n converge a f . Como la sucesión es de Cauchy, tendremos que para todo ε > 0,
existe no tal que si m, n > no, entonces d∞(fn, fm) = sup{|fn(x) − fm(x)| : x ∈ X} < ε. En
particular, si tomamos n > no fijo y p ∈ N, tendremos que
lo que implica que |fn (x) − f (x)| < ε y por tanto la conclusión es que si n > no entonces
Esto también implica que f ∈ B(X, R), es decir, está acotada, pues como (fn )n es de Cauchy, por
la proposición 8.1.6, está acotada, luego existe M > 0 tal que (fn )n ⊂ B(0, M ), con 0 la función
8.5. EJERCICIOS 77
idénticamente nula, es decir d∞ (0, fn ) < M para todo n ∈ N. Entonces, dado 1 > 0, como (fn )n
converge a f , existe un n1 tal que si n > n1, entonces d∞(fn, f ) < 1. Por tanto podemos poner
Si ahora consideramos la adherencia ψ(X) en B(X, R), con la distancia inducida, tenemos que
por la proposición 8.2.7, ψ(X) es completo por ser cerrado en B(X, R) que es completo. Ya
hemos encontrado un completado de X.
8.2 Ejercicios
3. En el teorema de punto fijo del ejercicio anterior, las hipótesis son necesarias:
a) Completitud. Demuestre que la aplicación f : (0, 1 ) −→ (0, 1 ) dada por f (x) = x2
3 3
es una contractiva y que no tiene punto fijo.
b) Contractiva. Demuestre que la aplicación f : [1, ∞) −→ [1, ∞) dada por f (x) =
x + 1xno cumple | f (x) − f (y) |<| x − y | y no tiene punto fijo.
4. El Teorema de Encaje de Cantor necesita de todas las hipótesis:
78 CAPI´TULO 8. ESPACIOS COMPLETOS
6. Sea (xn )n una sucesión en un espacio métrico (X, d) y sea la sucesión de conjuntos
Pruebe que (xn )n es una sucesión de Cauchy si, y sólo si la sucesión de los
diámetros
(δ(An))n, converge a 0. [Lipschutz], pag. 199
REFERENCIAS