Está en la página 1de 13

Captulo 7

Espacios mtricos
completos
7.1. Sucesiones de Cauchy
Denicin 68 (sucesin de Cauchy). Una sucesin (x
n
), en un espacio m-
trico M, se dice que es una sucesin de Cauchy
1
, si para todo > 0 existe
un n
0
N tal que n, m n
0
d(x
n
, x
m
) < .
Toda subsucesin de una sucesin de Cauchy, es una sucesin de Cauchy.
Intuitivamente, los trminos de una sucesin de Cauchy se van acercando
unos a otros a medida que el ndice crece. Compare esto con la nocin
de convergencia en la cual los trminos se acercan a un punto jo. Por
supuesto, es claro que si los trminos de una sucesin se acercan a un punto
jo, se acercan entre ellos tambin; esto es lo que se arma en la siguiente
proposicin:
Proposicin 7.1. Toda sucesin convergente es de Cauchy.
Prueba: Sea lmx
n
= a, dado > 0, existe n
0
N tal que n n
0

d(x
n
, a) < /2, luego
n, m n
0
d(x
n
, x
m
) d(x
n
, a) +d(a, x
m
) <

2
+

2
= .
as, (x
n
) es de Cauchy.
El recproco no es cierto, veamos el siguiente ejemplo:
Ejemplo 89. No toda sucesin de Cauchy es convergente. Para ver esto, to-
memos una sucesin de nmeros racionales x
n
convergiendo a un nmero
1
Augustin Louis Cauchy (1789-1857) fue un matemtico francs. Cauchy fue pionero en el
anlisis matemtico y la teora de grupos de permutaciones, contribuyendo de manera medu-
lar a su desarrollo. Tambin investig la convergencia y la divergencia de las series innitas,
ecuaciones diferenciales, determinantes, probabilidad y fsica matemtica.
99
100 CAPTULO 7. ESPACIOS MTRICOS COMPLETOS
irracional a (por ejemplo, x
1
= 1, x
2
= 1, 4, x
3
= 1, 41, x
4
= 1, 414, . . . , conver-
giendo a

2). Siendo convergente en R, es de Cauchy en el espacio Q por la
proposicin 7.1. Pero evidentemente, esta sucesin no converge en Q.
Proposicin 7.2. Toda sucesin de Cauchy es acotada.
Prueba: Sea (x
n
) una sucesin de Cauchy en el espacio mtrico M.
Dado = 1, existe n
0
N tal que n, m n
0
d(x
n
, x
m
) < 1. Luego, el
conjunto {x
n
0
, x
n
0
+1
, . . . } es acotado pues tiene dimetro menor que 1, por
tanto, el conjunto:
{x
1
, x
2
, . . . , x
n
, . . . } = {x
1
, . . . , x
n
0
1
} {x
n
0
, x
n
0
+1
, x
n
0
+2
, . . . }
es acotado.
Ejemplo 90. Que una sucesin sea acotada es una condicin necesaria pero
no suciente para que sea de Cauchy. Un ejemplo sencillo es la sucesin
(1, 0, 1, 0, 1, . . . ) en R, es acotada pero d(x
n
, x
n+1
) = 1 para todo n N. Por
otro lado, la sucesin: x
n
=

n
1
(1/k) no es acotada y por tanto, no es Cauchy.

Proposicin 7.3. Una sucesin de Cauchy que posea una subsucesin con-
vergente, es convergente (y converge al mismo lmite de la sucesin).
Prueba: Sea (x
n
) una sucesin de Cauchy en el espacio mtrico M y
(x
n
k
) una subsucesin que converge a a M. Veamos que lm
n
x
n
= a.
Dado > 0 existe k
0
N tal que si k k
0
d(x
n
k
, a) < /2. Por otro
lado, existe n
0
N tal que n, m n
0
d(x
n
, x
m
) < /2. Por la denicin de
sucesin, existe k k
0
sucientemente grande, tal que n
k
> n
0
. As, tenemos
que
d(x
n
, a) d(x
n
, x
n
k
) +d(x
n
k
, a) <

2
+

2
= .
Luego, lmx
n
= a.
Observemos que por la proposicin 7.3, una sucesin que posea subsuce-
siones convergiendo a lmites distintos no puede ser de Cauchy.
Ejemplo 91. La imagen continua de una sucesin de Cauchy puede no ser
de Cauchy. Por ejemplo, la funcin f(x) = 1/x es continua y la imagen de la
sucesin de Cauchy x
n
= 1/n, es la sucesin (f(x
n
)) = (1, 2, 3, . . . ) que no es
de Cauchy.
Por otro lado, si f : M N es una funcin lipschitziana, f transforma
una sucesin de Cauchy en M en una sucesin de Cauchy en N. En efecto, si
K es una constante de Lipschitz para f y si (x
n
) es una sucesin de Cauchy
en M, dado > 0 existe n
0
N tal que n, m n
0
d(x
n
, x
m
) < /K. En
consecuencia, tenemos que
n, m n
0
d(f(x
n
), f(x
m
)) Kd(x
n
, x
m
) < K (/K) = .
Por tanto, (f(x
n
)) es de Cauchy.
7.2. ESPACIOS MTRICOS COMPLETOS 101
7.2. Espacios mtricos completos
Denicin 69. Se dice que un espacio mtrico M es completo cuando toda
sucesin de Cauchy en M es convergente.
Como se vio en el ejemplo89, el espacio Q no es completo. Cualquier
espacio con la mtrica cero-uno es completo pues una sucesin de Cauchy
all tiene que ser eventualmente constante y por tanto convergente. Pero no
todo espacio discreto es completo, por ejemplo el espacio P = {1,
1
2
,
1
3
, . . . } es
discreto, la sucesin x
n
=
1
n
es de Cauchy pero no es convergente (en P).
Se dice que un espacio mtrico M es uniformemente discreto si existe
> 0 tal que para x, y M, se tiene que d(x, y) < x = y. . Todo
espacio uniformemente discreto es completo, en efecto, si x
n
es una sucesin
de Cauchy, existe n
0
N tal que d(x
n
, x
m
) < x
n
= x
m
; as a partir de
un ndice la sucesin es constante y por lo tanto, convergente.
Proposicin 7.4. R es un espacio mtrico completo.
Prueba: Sea (x
n
) una sucesin de Cauchy en R. Para cada n N se
dene X
n
= {x
k
: k n}, entonces X
1
X
2
X
3
X
n
y ya que
X
1
es acotado, todos estos conjuntos son acotados. Sea
n
= nf X
n
, entonces
la sucesin (
n
)
nN
es creciente y acotada superiormente por
1
= sup X
n
.
Por la proposicin 6.10, existe un nmero = lm
n
, ms precisamente, =
sup
n

n
. Veamos que es el lmite de la sucesin;para esto, se mostrar que
es lmite de alguna subsucesin de (x
n
) (esto tambin se expresa diciendo
que es un lmite subsecuencial). Dado > 0, existe n N tal que <
n

; de esta forma, para todo k n, <
n
< x
k
pero no puede ocurrir
que para todo ndice k n x
k
+ ya que de ser as,
n
,
n+1
, . . . seran
todos mayores que , lo que contradice su condicin de supremo. As, existen
ndices k n tales que x
k
+ . En conclusin, el intervalo abierto (
, +) contiene trminos de la sucesin para ndices arbitrariamente grande.
Esto permite armar que es el lmite de una subsucesin de trminos de
(x
n
). Por la proposicin 7.3, la sucesin (x
n
) es convergente.
Proposicin 7.5. Un Subespacio cerrado de un espacio mtrico completo es
completo. Recprocamente, un subespacio completo de cualquier espacio m-
trico, es cerrado.
Prueba: Sea M un espacio mtrico completo y C M un subespacio
cerrado de M. Dada una sucesin de Cauchy (x
n
) en C, sta tambin es
de Cauchy en M y por tanto, existe a = lmx
n
. Ahora, como C es cerrado,
a C, as, C es completo.
Por otro lado, si M es un espacio mtrico completo y N es otro espacio
mtrico tal que M N, dada una sucesin (x
n
) en M que es convergente
en N, es decir, lmx
n
= a N; entonces (x
n
) es de Cauchy y como M
es completo, existe b M tal que lmx
n
= b. Por la unicidad del lmite,
concluimos que a = b M. Lo que implica que M es cerrado en N.
102 CAPTULO 7. ESPACIOS MTRICOS COMPLETOS
Proposicin 7.6. El producto cartesiano M N es completo si, y slo si, M
y N son completos.
Prueba: Supongamos que M y N son completos. Dada una sucesin
de Cauchy (z
n
) en M N, sea z
n
= (x
n
, y
n
) para cada n N. Cada una
de las proyecciones
1
: M N M y
2
: M N N son contracciones
dbiles (ver ejemplo 30, pgina 36), as tanto (x
n
) como (y
n
) son sucesiones
de Cauchy en M y N respectivamente. Luego, existen lmx
n
= a M y
lmy
n
= b N. Haciendo c = (a, b) M N, tenemos que lmz
n
= c. De
donde, MN es completo.
Recprocamente, si M N es completo, jando b N, es fcil ver que
la aplicacin x (x, b) es una isometra de M en el subespacio cerrado
M {b} M N. Se sigue, va la proposicin 7.5, que M es completo. Del
mismo modo se prueba que N es completo.
Corolario 7.7. El espacio producto M
1
M
n
es completo si, y slo si,
M
1
, . . . , M
n
son completos.
Corolario 7.8. El espacio euclidiano R
n
es completo.
Sean X un conjunto, M un espacio mtrico y : X M una funcin. Re-
cordemos que B

(X; M), denota el espacio de todas las funciones f : X M


que estn a distancia nita de , es decir, tales que d(f, ) = sup
xX
d(f(x), (x)) < ,
con la mtrica de la convergencia uniforme o tambin llamada mtrica del
supremo.
Proposicin 7.9. Si el espacio mtrico M es completo, entonces B

(X; M) es
completo, sean cuales fuesen el conjunto X y la funcin : X M.
Prueba: Sea (f
n
) una sucesin de Cauchy en B

(X; M). Entonces esta


sucesin es acotada. Luego, existe una constante c > 0 tal que d(f
n
(x), (x))
d(f
n
, ) c para todo n N y todo x X. Para cada x M jo, la sucesin
(f
n
(x)) en M, es de Cauchy. Como M es completo, el lmite de esta sucesin
existe y dene una funcin f : X M por f(x) := lm
n
f
n
(x), que a su vez es
el lmite puntual de (f
n
). Ya que para todo n N y todo x X se tiene que
d(f
n
(x), (x)) c, haciendo n + concluimos que d(f(x), (x)) c para
todo x X y por tanto tambin d(f, ) c. Luego, f B

(X; M). En vista de


la proposicin 6.20, slo falta probar que f
n
f uniformemente en X. Pues
bien, dado > 0, existe n
0
N tal que m, n n
0
d(f
n
(x), f
m
(x)) <
para todo x X. Haciendo m y utilizando el hecho de que la mtrica es
continua, concluimos que n n
0
d(f
n
(x), f(x)) < para todo x X. Esto
es, f
n
f uniformemente en X como se quera demostrar.
Corolario 7.10 (Criterio de Cauchy para la convergencia uniforme). Sea M
un espacio mtrico completo. Para que una sucesin de funciones f
n
: X M
converja uniformemente en X, es necesario y suciente que, para todo > 0
dado, exista n
0
N tal que
m, n n
0
d(f
n
(x), f
m
(x)) < para todo x X.
7.3. COMPLETACIN DE UN ESPACIO MTRICO 103
Prueba: Si f
n
f uniformemente en X entonces f
n
B
f
(X; M) para
todo n sucientemente grande y lmf
n
= f en ese espacio. Luego, (f
n
) es una
sucesin de Cauchy en B
f
(X; M) y de esta forma la condicin es necesaria.
Recprocamente, suponiendo la condicin satisfecha, tomamos = 1 y para
ste existe un n
0
N como en el enunciado tal que para = f
n
0
, vale
d(f
n
, ) 1, as f
n
B

(X; M) para todo n n


0
. Adems, la condicin
implica que la sucesin (f
n
)
nn
0
es una sucesin de Cauchy en el espacio
mtrico completo B

(X; M) (ver proposicin 7.9). Se sigue que (f


n
) converge
uniformemente en X.
Corolario 7.11. Sean M y N espacios mtricos, donde N es completo. Si una
sucesin de funciones continuas f
n
: M N converge uniformemente en un
subconjunto X de M, entonces (f
n
), converge uniformemente en X.
Prueba: Notemos primero que si una funcin continua : MR es
tal que (x) < para todo x X, entonces (x) para todo x (x); en
efecto, el conjunto {x M : (x) } =
1
((, ]), es cerrado en M y
contiene a X, por tanto, contiene a X.
Probemos el corolario: por hiptesis, dado > 0, existe n
0
N tal
que m, n n
0
(x X), d(f
m
(x), f
n
(x)) < 0, 99 . Como la aplica-
cin x d(f
n
(x), f
m
(x)) es continua, tenemos que m, n n
0
(x
X), d(f
m
(x), f
n
(x)) 0, 99 < . Se sigue del corolario 7.10 que (f
n
) conver-
ge uniformemente en X.
7.3. Completacin de un espacio mtrico
En esta seccin se mostrar que cualquier espacio mtrico puede ser ex-
tendido aadindole nuevos puntos, de tal manera que el nuevo espacio

M
sea completo y que llamaremos completacin de M. Dado que un espacio
cerrado de un espacio completo es completo, la clausura de M en

M es com-
pleto y contiene a M. Por este hecho, basta considerar nicamente los puntos
de

M adherentes a M. En la prctica, en lugar de obtener que M

M, halla-
remos una inmersin isomtrica : MN, donde N es completo y se toma
(M) como completacin de M. Como M y (M) son isomtricos es como
si en verdad fuese M

M.
Denicin 70 (completacin). Una completacin de un espacio mtrico M
es un par (

M, ) donde

M es completo y : M

M es una inmersin
isomtrica cuya imagen (M) es densa en

M.
Frecuentemente diremos sencillamente que

M es una completacin de
M quedando sobreentendida la existencia de la inmersin isomtrica que
satisface la denicin. As mismo, en ocasiones consideraremos que M

M
identicando M con su imagen isomtrica (M).
Proposicin 7.12 (Existencia de la completacin). Todo espacio mtrico po-
see una completacin.
104 CAPTULO 7. ESPACIOS MTRICOS COMPLETOS
Prueba: Dado un espacio mtrico M, como se vio en el ejemplo 25
de la pgina 32, un espacio mtrico M puede ser inmerso isomtricamente
mediante una , en el espacio mtrico B(M; R) de las funciones acotadas
de M en R; (este espacio es adems un espacio vectorial normado). Por la
proposicin 7.9, y sabiendo que R es completo, tenemos que B(M; R) es un
espacio completo. Luego, basta tomar como completacin el espacio (M) en
B(M; R), que es un cerrado contenido en un completo.
Proposicin 7.13. Sean (

M, ) y (

M, ) dos completaciones de un espacio


mtrico M. Entonces existe una nica isometra :

M tal que = .
Prueba: Por la denicin de una completacin, : M (M) y
: M :(M) son isometras, estas denen la siguiente isometra:
1
:
(M) (M).
Figura 7.1: Dos completaciones cualesquiera son isomtricas.
Como (M) es denso en

M, para cada x

M existe una sucesin (x


n
) en
(M) tal que lmx
n
= x; siendo convergente esta sucesin, es de Cauchy y
la sucesin de imgenes mediante la isometra
1
tambin lo es. Como
(M)

M y

M es completo, existe lm
n
(
1
)(x
n
). A partir de esto,
denimos :

M por
(x) = lm
n
(
1
)(x
n
) donde lmx
n
= x.
Si x
n
x y a
n
x y = lm
n
(
1
)(x
n
) y = lm
n
(
1
)(a
n
)
entonces,
d(, ) = d(lm
n
(
1
)(x
n
), lm
n
(
1
)(a
n
))
= lm
n
d((
1
)(x
n
), (
1
)(a
n
))
= lm
n
d(x
n
, a
n
)
= d(lm
n
x
n
, lm
n
a
n
)
= d(x, x) = 0
esto prueba la buena denicin de .
7.4. EL TEOREMA DE BAIRE 105
Adems, es una isometra. En efecto, si (x
n
) y (y
n
) son sucesiones que
convergen a x y y respectivamente, entonces
d((x), (y)) = d(lm
n
(
1
)(x
n
), lm
n
(
1
)(y
n
)
= lm
n
d((
1
)(x
n
), (
1
)(y
n
))
= lm
n
d(x
n
, y
n
)
= d(lm
n
x
n
, lm
n
y
n
)
= d(x, y)
esto concluye la prueba.
Ejemplo 92. Dos espacios homeomorfos pueden no tener completaciones
homeomorfas. Por ejemplo, el intervalo (0, 2), cuya completacin es [0, 2],
es homeomorfo a S
1
\ {(0, 1)} (S
1
es la circunferencia unitaria en R
2
), mas la
completacin de S
1
\{(0, 1)} es S
1
. El intervalo [0, 2] no puede ser homeomorfo
a S
1
porque si existiese un homeomorsmo h entre ellos, la restriccin de este
homeomorsmo a [0, 2] \ {p} donde p es un punto interior del intervalo y
S
1
\ {h(p)}, sera tambin un homeomorsmo; pero el primer conjunto tiene
dos componentes conexas mientras que el segundo solo una.
Ejemplo 93. Dados M y N espacios mtricos, la completacin del producto
cartesiano M N es el producto de sus respectivas completaciones:

M

N,
ya que si asumimos que M

M y N

N, como el producto de subespacios
densos es denso y el producto de espacios completos es completo, concluimos
que MN es denso en el espacio completo

M

N.
7.4. El teorema de Baire
Comenzaremos la seccin considerando una clase de conjuntos pequeos
o insignicantes desde el punto de vista topolgico. Es una nocin anloga
a lo que es un conjunto de medida nula en Teora de la Medida. Una caracte-
rstica necesaria de este tipo de conjuntos es que tengan interior vaco, pero
adems deben cumplir que la unin numerable de conjuntos insignicantes
lo sea tambin; a continuacin denimos formalmente tales conjuntos:
Denicin 71 (conjunto magro). Un subconjunto X de un espacio mtrico M
se dice que es un conjunto magro en M si se puede expresar como una unin
numerable de conjuntos que tienen el interior de su clausura vaca; es decir, X
es magro en M si X =

n=1
X
n
donde para todo n N, int X
n
= .
Equivalentemente, X es magro en M si, y slo si, X est contenido en
una unin numerable de cerrados con interior vaco. X

i=1
C
n
donde
C
1
, . . . , C
n
, . . . son cerrados con int C
n
= , para todo n N.
106 CAPTULO 7. ESPACIOS MTRICOS COMPLETOS
No siempre es cierto, sin embargo, que todo conjunto magro X de M tenga
interior vaco en M. Por ejemplo, cualquier subconjunto X Q es magro, ya
que es la unin numerable de sus subconjuntos unitarios, los cuales tienen
interior vaco en Q pero X puede no tener interior vaco en Q. Esto tiene
lugar porque Q no es completo, como se ver ms abajo en el Teorema de
Baire. De esta forma en los espacios completos, los conjuntos , magros poseen
las caractersticas de un conjunto insignicante.
Ejemplo 94. Un conjunto unitario en un espacio mtrico tiene interior vaco
si, y slo si, su nico punto no es aislado. En consecuencia, un subconjunto
numerable de M es magro si, y slo si, ninguno de sus puntos es aislado.
Una recta en R
2
es un conjunto magro; mas an, cualquier unin numerable
de rectas es magro en R
2
. Ms adelante veremos que R no es magro.
Como sabemos, un conjunto tiene interior vaco en un espacio mtrico
si y slo si, su complemento es denso en M. De esta forma, un conjunto es
cerrado con interior vaco si, y slo si, su complemento es abierto y denso en
M. Por lo tanto, int X es vaco si, y slo si, X est contenido en un conjunto
cerrado con interior vaco de all se desprende que su complemento contiene
un conjunto abierto y denso, esto ultimo ocurre si, y slo si, int(M \ X) es
denso.
En ciertos textos de topologa y anlisis un conjunto magro es llamado
conjunto de primera categora o de Categora I y un conjunto que no es magro
es llamado conjunto de segunda categora o de Categora II. .
Ejemplo 95. La frontera de un conjunto abierto A M es un ejemplo
de un conjunto cerrado con interior vaco. En efecto, si x A entonces
toda bola de centro en x posee puntos de A y, como A A = , ningn
punto de A puede estar en la frontera de A; por lo tanto, ninguna bola de
centro en x puede estar contenida en A. As, A tiene interior vaco. Como
A = (M \ A), se concluye tambin, que la frontera de cualquier conjunto
cerrado tiene interior vaco. Si un conjunto no es ni abierto ni cerrado, su
frontera puede no tener interior vaco. Por ejemplo, Q = R.
Ejemplo 96 (El conjunto de Cantor
2
). El conjunto de Cantor C es un subcon-
junto cerrado del intervalo [0, 1], obtenido mediante una sucesiva extraccin
de subintervalos abiertos de [0, 1], del siguiente modo: en la etapa cero tene-
mos el intervalo [0, 1]; en la etapa uno se extrae el tercio central del intervalo
de la etapa cero, (
1
3
,
2
3
), resultando dos intervalos cerrados [0,
1
3
] y [
2
3
, 1]; en
la etapa dos se extraen cada uno de los tercios centrales de los intervalos
resultantes de la etapa uno, resultando los cuatro intervalos:
_
0,
1
9
_

_
2
9
,
1
3
_

_
2
3
,
7
9
_

_
8
9
, 1
_
2
Georg Ferdinand Ludwig Philipp Cantor (1845 - 1918) fue un matemtico alemn, inventor
con Dedekind y Frege de la teora de conjuntos, que es la base de las matemticas modernas.
Gracias a sus atrevidas investigaciones sobre los conjuntos innitos fue el primero capaz de
formalizar la nocin de innito bajo la forma de los nmeros transnitos (cardinales y ordinales).
7.4. EL TEOREMA DE BAIRE 107
En la siguiente etapa se extraen los tercios centrales de cada uno de los
cuatro intervalos resultantes de la etapa dos. Este procedimiento se repite
ad-innitum y el conjunto de puntos que no fueron extrados en el proceso,
es el conjunto de Cantor C. Si denotamos por I
1
, I
2
, I
3
, . . . , I
n
, . . . la sucesin
Figura 7.2: Algunas etapas de la construccin del conjunto de Cantor
de intervalos extrados en el proceso de construccin del conjunto de Cantor,
tendremos que
C = [0, 1] \

_
n=1
I
n
.
Luego C es cerrado en [0, 1] y por tanto, cerrado en R. Ntese que los pun-
tos extremos de los intervalos extrados, como 1/3, 2/3, 1/9, 2/9, 7/9, 8/9, etc,
pertenecen al conjunto de Cantor pues stos son extremos de los intervalos
resultantes en cierta etapa y en las sucesivas etapas se extraen tercios cen-
trales de esos intervalos, es decir, los puntos extremos quedan en el conjunto
luego de todas las extracciones.
El conjunto de extremos de todos los intervalos es un subconjunto de
[0, 1] Q y por tanto, forman un conjunto numerable. Veremos ms adelante
sin embargo, que C no es numerable. Por lo pronto, notemos solamente que
C no contiene ningn intervalo abierto y por tanto int C = . En efecto, en
la etapa n-sima de la construccin de C resulta una coleccin nita (2
n
)
de intervalos cerrados cada uno de longitud
1
3
n
. Por tanto, si J es cualquier
intervalo abierto contenido en [0, 1] de longitud > 0, y consideramos un
n N tal que 1/3
n
< , al menos a partir de la etapa n, se extraen partes de
J y de esta forma, J no est contenido en C. Luego, el conjunto de Cantor en
un cerrado con interior vaco y por lo tanto es un conjunto magro en R.
Proposicin 7.14. Un espacio mtrico M es completo si, y slo si, para toda
sucesin decreciente C
1
C
2
C
n
de subconjuntos cerrados no
vacos C
n
M, con diamC
n
0, existe un punto a M tal que

n=1
C
n
= {a}.
108 CAPTULO 7. ESPACIOS MTRICOS COMPLETOS
Prueba:
(slo si) Supongamos que M es completo y (C
n
) una sucesin de conjuntos
como la del enunciado. Para cada n N, escojamos un punto x
n
C
n
. Esto
dene una sucesin en M tal que m, n n
0
x
n
, x
m
C
n
0
. Por hiptesis,
dado > 0 existe n
0
N a partir del cual diam(C
n
) < , entonces dado
> 0, existe n
0
N tal que n, m n
0
d(x
m
, x
n
) < , y por tanto, (x
n
)
es una sucesin de Cauchy en M, como M es completo, sea lmx
n
= a M.
Para cualquier p N la subsucesin (x
n
)
np
es una sucesin en C
n
que, por
ser cerrado, contiene a a; de esta forma se concluye que a C
n
. No puede
haber otro punto b distinto de a en dicha interseccin, pues esto implicara
que 0 < d(a, b) diam(C
n
) que contradice la condicin de los dimetros.
(si) Sea M un espacio para el cual la interseccin de toda sucesin decreciente
de conjuntos cerrados no vacos, cuyos dimetros tiendan a cero, es un punto.
Veamos que tal M es completo. Consideremos cualquier sucesin de Cauchy
(x
n
) en M. Para cada n N, hagamos X
n
= {x
n
, x
n+1
, . . . }. Entonces, X
1

X
2
X
n
y por lo tanto, (X
n
) es una sucesin decreciente de
cerrados no vacos. Adems de eso, como consecuencia de ser (x
n
) de Cauchy,
diam(X
n
) = diam(X
n
) 0. Luego, existe a M tal que X
n
= {a}. Como
a es punto adherente de X
n
para todo n N, toda bola abierta de centro
a contiene trminos x
n
con ndices arbitrariamente grandes, o sea, a es el
lmite de una subsucesin de (x
n
). Como (x
n
) es una sucesin de Cauchy,
a = lmx
n
(ver proposicin 7.3, pgina 100). Luego, M es completo.
Ejemplo 97. En la proposicin anterior, es imprescindible que diam(C
n
)
0, ya que por ejemplo, si C
n
= [n, +) tenemos C
1
C
2
pero C
n
= .

El resultado principal de esta seccin y uno de los ms fuertes en teora


de conjuntos, es el siguiente:
Proposicin 7.15 (Teorema de Baire
3
). Sea M un espacio mtrico comple-
to. Todo conjunto magro en M tiene interior vaco
4
. Equivalentemente, si
C =

_
n=1
C
n
, donde cada C
n
es cerrado en M con interior vaco, entonces
int C = . O en otras palabras: toda interseccin numerable de abiertos densos
es un subconjunto denso en M.
Prueba: Se probar la tercera forma de expresar el teorema. Considere-
mos una sucesin A
1
, A
2
, . . . , A
n
, . . . de subconjuntos abiertos y densos en el
espacio mtrico completo M. Se quiere mostrar que

n=1
A
n
es denso en M,
esto es, toda bola abierta B
1
en M contiene algn punto de A. Ahora bien,
3
Ren-Louis Baire (1874-1932), fue un matemtico francs notable por sus trabajos sobre
continuidad de funciones, los nmeros irracionales y el concepto de lmite.
4
Tambin se puede expresar de la siguiente forma: Un espacio mtrico completo es de Categora
II o no es magro en s mismo.
7.4. EL TEOREMA DE BAIRE 109
como A
1
es abierto y denso, B
1
A
1
es abierto y no vaco, luego contiene
una bola abierta B
2
, cuyo radio podemos tomarlo menor o igual que 1/2 y
adecuado de tal forma que su clausura est contenida en B
1
A
1
. As mismo,
siendo A
2
abierto y denso, A
2
B
2
es abierto y no vaco. Luego existe una
bola abierta B
3
con radio menor o igual a 1/3 y escogido adecuadamente
tal que B
3
A
2
B
2
. Prosiguiendo en esta forma, obtenemos una sucesin
B
1
B
2
B
n
, con B
n+1
B
n
A
n
y tales que diam(B
n
) 0.
Por la proposicin 7.14 anterior, existe a M tal que {a} = B
n
. La relacin
B
n+1
B
n
A
n
demuestra que a pertenece a todos los A
n
y tambin a B
1
.
Es decir, a A B
1
, como se quera demostrar.
Ejemplo 98. Como dos espacios homeomorfos pueden ser uno completo y
el otro no, cabe preguntarse si dado un espacio mtrico (M, d) bajo qu
condiciones existe otra mtrica d
1
equivalente a la d, segn la cual el espacio
M sea completo. Por ejemplo en R el intervalo (1, 1) no es completo porque
no es cerrado en R, pero h : (1, 1) R denida por h(x) = 1/(1 + |x| es un
homeomorsmo sobre un espacio completo. Si d
1
es la mtrica inducida por
h: d
1
(x, y) := |h(x) h(y)|, sta es equivalente a d y torna a M completo.
Un espacio que sea homeomorfo a un espacio mtrico completo, se dice
que es topolgicamente completo
Proposicin 7.16. Todo subconjunto abierto de un espacio mtrico completo
es homeomorfo a un espacio mtrico completo.
Prueba: Sea A M un conjunto abierto en el espacio mtrico M.
Entonces, M \ A es cerrado. La funcin : M R denida por (x) =
d(x, M\ A) es continua (ver proposicin 2.3, pgina 30) y es tal que (x) >
0 x A. Se sigue que si f : A R se dene por f(x) = 1/(x), entonces f
es continua. Sea G el grco de f, entonces G = graf(f) A R M R.
Ahora bien,
G = {(x, t) R
2
: x At = 1/(x)} = {(x, t) R
2
: t (x) = 1}
el cual es cerrado puesto que t es continua. Como M R es completo,
concluimos que G es completo y como se vio en el ejemplo 64 en la pgina 74,
el dominio de una funcin continua es homeomorfo a su grco, lo que
demuestra el teorema.
Observe que la mtrica que hace que el conjunto A sea completo, en la
demostracin anterior, es la inducida a partir de MR mediante la funcin
(I, f), donde I es la identidad en A; esto es: dados x, y A,
d
1
(x, y) = d((I, f)(x), (I, f)(y)) = d[(x, f(x)), (y, f(y))] = d(x, y) + |f(x) f(y)| .
Por otra parte, si M es un espacio topolgicamente completo, es decir,
homeomorfo a un espacio completo, se puede aplicar el teorema de Baire, ya
que si M = C
n
donde cada C
n
es cerrado, va el homeomorsmo entre M
110 CAPTULO 7. ESPACIOS MTRICOS COMPLETOS
y un espacio completo, la imagen de cada C
n
es cerrado en dicho espacio,
aplicando Baire a ese espacio completo, se concluye que la imagen de algn
C
n
tiene tiene interior no vaco; y as, va el homeomorsmo nuevamente,
algn C
n
tiene interior no vaco.
Proposicin 7.17. Sea M un espacio mtrico completo. Si M =

_
n=1
C
n
, donde
cada C
n
es un subconjunto cerrado de M, entonces A =

_
n=1
int C
n
es un abierto
y denso en M.
Prueba: Sea U un abierto no vaco de M. Para probar que A es denso,
basta probar que UA =/ , es decir que existe n N tal que Uint C
n
=/ .
Ahora bien, U =

_
n=1
(U C
n
), donde cada (UC
n
) es cerrado en U. Como se
observ arriba, se puede aplicar el teorema de Baire a U y entonces existe n
N tal que int(UC
n
) =/ (en este caso, como U es abierto, el interior respecto
a U coincide con el interior respecto a M); pero int(UC
n
) (UC
n
) y as
(U C
n
) =/ como se quera demostrar.
Ejemplo 99. Si M es un espacio mtrico completo numerable, entonces
M =

aM
{a} es una unin numerable de conjuntos cerrados en M. Por
la proposicin 7.17 anterior,

aM
int{a} es denso (y adems abierto). Los
conjuntos unitarios que no tienen interior vaco son los correspondientes a
puntos aislados. As, podemos concluir que
En un espacio completo y numerable, el conjunto de puntos aislados
es abierto y denso.
En particular, todo conjunto cerrado innito numerable del espacio R
n
con-
tiene una innidad de puntos aislados. Esto es una demostracin de que R
no es numerable, ya que no tiene puntos aislados.
Ejemplo 100. El Teorema de Baire se puede utilizar para probar que el
conjunto de Cantor calC, no es numerable.. Como ya hemos visto, C es
cerrado en R, por el ejemplo 99 anterior, basta probar que en C ninguno de sus
puntos es aislado. En efecto, supongamos primero que x C sea un extremo
de algn intervalo extrado o suprimido de [0, 1] durante la construccin del
conjunto de Cantor. Digamos que (x, b) es el intervalo extrado, entonces en
esa etapa uno de los intervalos resultantes sera de la forma [a, x]. En las
etapas subsiguientes de la construccin, al retirar tercios centrales, siempre
resulta un intervalo de la forma [a
n
, x] donde para todo n N a
n
. Como
la longitud de los intervalos resultantes en cada etapa es una sucesin que
tiende a cero, concluimos que a
n
x y por tanto, x no es un punto aislado.
Supongamos ahora que x no es un punto extremo de ningn intervalo
extrado durante la construccin de calC. Dado > 0 no es posible que
7.4. EL TEOREMA DE BAIRE 111
(x, x + ) C = ya que en tal caso, el intervalo (x, x + ) sera suprimido
en el proceso. En el momento en que una parte del intervalo (x, x + ) sea
suprimida, no restara nada ms del intervalo porque los extremos de los
intervalos suprimidos, permanece en las siguiente etapas. Como x permaneci,
se sigue de (x, x+) C = que el intervalo suprimido fue de la forma:(x, b),
pero x no es extremo de ningn intervalo retirado. Luego, (x, x + ) C =/
para todo > 0, por lo tanto, x no es aislado en C. Se sigue que C no es
numerable.