Completacion

Definicion 9.1 Un espacio metrico X es una completaci

on de un espacio metrico X si X es completo y X es

isometrico a un subconjunto denso de X .
Ejemplo 9.2 El conjunto R de los n umeros reales, es una completaci
on del conjunto Q de los n
umeros racionales,
porque R es completo y Q es un subconjunto denso de R.
Observaci on 9.3 Haremos una construcci on particular de una completaci
on de un espacio metrico arbitrario X.
Para tal cometido, hallaremos clases de equivalencia de sucesiones de Cauchy.
Definicion 9.4 Sea C[X] la colecci on de todas las sucesiones de Cauchy de X, dadas dos sucesiones de Caucchy
han i y hbn i definimos una relaci
on entre ellas, de la siguiente manera:
han i hbn i sii lim d (an , bn ) = 0
n

on es una relaci
Lema 9.5 La relaci on de equivalencia en C[X].
Dem. Comprobaremos que reflexiva, simetrica y transitiva.
(i) han i han i. Ya que lim d (an , an ) = 0.
n

(ii) han i hbn i hbn i han i. En efecto, dado que lim d (an , bn ) = lim d (bn , an ), por tanto, si uno de los lmites
n n
es cero, tambien lo ser
a el otro.
(iii) han i hbn i hbn i hcn i han i hcn i. Por desigualdad triangular, tenemos, 0 d (an , cn ) d (an , bn ) +
d (bn , cn ), hallando lmites en ambos miembros, obtenemos, 0 lim d (an , cn ) lim d (an , bn )+ lim d (bn , cn ) =
n n n
0. Por tanto lim d (an , cn ) = 0 y, consecuentemente han i hcn i.
n

(i), (ii) y (iii) es una relaci

on de equivalencia. 2

Proposicion 9.6 Dadas dos sucesiones han i y hbn i en un espacio metrico X, entonces, han i hbn i sii ambas son
subsucesiones de alguna sucesi
on de Cauchy.

O
Dem.
Supongamos que han i hbn i, es decir, lim d (an , bn ) = 0. Definimos hcn i de la siguiente manera:
n

a n2 si n es par
cn =
b n+1 si n es impar
2

As, pues, hcn i = hb1 , a1 , b2 , a2 , . . . i. Afirmamos que hcn i es una sucesion de Cauchy. En efecto, sea  > 0; entonces
n1 N tal que m, n > n1 d (am , an ) < 21 

n2 N tal que m, n > n2 d (bm , bn ) < 12 

n3 N tal que n > n3 d (an , bn ) < 12 

Sea n0 = max (n1 , n2 , n3 ). Se puede sostener que
m, n > 2n0 d (cm , cn ) < 
1 1
otese que m > 2n0
n m > n1 , n3 ; (m + 1) > n2, n3
2 2
As se nos presentan tres casos:
m y n pares cm = a m2 , cn = a n2 d (cm , cn ) < 12  < 

m y n impares cm = b m+1 , cn = b n+1 d (cm , cn ) < 21  < 

2 2

 
m par y n impar cm = a m2 , cn = b n+1 d (cm , cn ) d a m2 , b m2 + d b m2 , b n+1 21  + 12  = 


2 2

1
 O
y, en consecuencia, hcn i es una sucesi
on de Cauchy.
Si existe una sucesi on de Cauchy hcn i tal que han i = hcjn i y hbn i = hckn i, entonces

lim d (an , bn ) = lim d (cjn , ckn ) = 0

n n

Porque hcn i es de Cauchy y n jn , kn . . 2



Definici on 9.7 Establecemos a X como el conjunto cociente C[X]/ , que consiste en las clases de equivalencia
[han i] de las sucesiones de Cauchy han i C[X].

Lema 9.8 Si han i , hbn i C[X], entonces, r R tal que r = lim d (an , bn ).
n
Dem.

d (an , bn ) d (an , am ) + d (am , bm ) + d (bm , bn ) (9.1)

d (an , bn ) d (am , bm ) d (an , am ) + d (bm , bn ) (9.2)

Luego, por simetra, se tiene

|d (an , bn ) d (am , bm )| d (an , am ) + d (bm , bn ) (9.3)

Como el segundo miembro de 9.3 tiende a cero cuando n, m , se tiene  > 0

|d (an , bn ) d (am , bm )|  (9.4)

Por tanto, para dos sucesiones dadas, han i y hbn i de C[X], la sucesion dn = d (an , bn ) es de Cauchy en R y, por tanto
convergente. 2


Definici on e : X X R, como:
on 9.9 Establecemos la funci

e ([han i] , [hbn i]) = lim d (an , bn )

n

Lmite que sabemos existe, en virtud del lema 9.8.

Lema 9.10 La funci

on e est
a bien definida, es decir:

han i han i y hbn i hbn i lim d (an , bn ) = lim d (an , bn )

n n

Dem. Sea r = lim d (an , bn ) y r = lim d (an , bn ). Notemos que

n n

d (an , bn ) d (an , an ) + d (an , bn ) + d (bn , bn )

y, por tanto:
n1 N tal que n > n1 d (an , an ) < 31 

n2 N tal que n > n2 d (bn , bn ) < 13 

n3 N tal que n > n3 |d (an , bn ) r | < 31 

En consecuencia, si n > max (n1 , n2 , n3 ), entonces

d (an , bn ) < r +  y, por tanto, lim d (an , bn ) = r r + 

n

Ahora bien, esta desigualdad se verifica para todo  > 0, luego, r r . Del mismo modo se puede demostrar que
r r; con lo que r = r . 2


on e es una metrica de X .
Lema 9.11 la funci
Dem. Si x = [hxn i] , y = [hyn i] y z = [hzn i], son elementos cualesquiera de X , se tiene

2
 e(x, y) = lim d (x , y ) 0.
n
n n

e(x, x) = lim d (x , x ) = 0.
n
n n

e(x, y) = 0 lim d (x , y ) = 0 x y.
n
n n

e(x, y) = lim d (x , y ) = lim d (y , x ) = e(y, x).

n
n n
n
n n

d (x , z ) d (x , y ) + d (y , z ), por tanto, lim d (x , z ) lim d (x , y ) + lim d (y , z ) y, consecuente-

n n n n n n
n
n n
n
n n
n
n n

mente, e(x, z) e(x, y) + e(y, z).

Por tanto, e cumple los axiomas de distancia, estableciendo una metrica para X . 2


on 9.12 Para cada p X, definimos

Definici
b = {b
pb = [hp, p, p, . . .i] y X p : p X}

Observaci
on 9.13 Se comprueba de inmediato que la sucesi b X .
on hp, p, . . . i C[X] y, por tanto X

Proposici on 9.14 Si han i es una sucecion de Cauchy en X. Entonces, = [han i] X es el lmite de la sucesi
on
hb
a1 , ab2 , . . . i en X
b
Dem. Puesto que han i es una sucesi on de Cauchy en X,
 
lim e (b
am , ) = lim lim d (am , an ) = m
lim d (am , an ) = 0
m m n
n

En consecuencia, hb
an i . 2


Lema 9.15 X es isometrico a X, b es denso en X .

b yX
Dem. Para todo p, q X.
e (b
p, qb) = lim d (p, q) = d (p, q)
n

y, por consiguiente, X es isometrico a X.

b Demostraremos que X b es denso en X . Para ello probaremos que todo
b Sea = [ha1 , a2 , . . .i] un punto arbitrario de X . Entonces, han i es una
punto de X es el lmite de una sucesi
on en X.
sucesi un la proposicion 9.14, es el lmite de la sucesion hb
on de Cauchy en X y, por consiguiente, seg a2 , . . . i en X.
a1 , b b

As, pues X es denso en X . 2
b 

Lema 9.16 Toda sucesi on de Cauchy en (X , e) es convergente y, por consiguiente, (X , e) es una completaci
on de
X.
on de Cauchy en X . Puesto que X
Dem. Sea h1 , 2 , . . . i una sucesi b es denso en X , para todo n N,

1
b
an X an , n )
b tal que e (b
n
Entonces, hb
a1 , b on de Cauchy y, por el lema 9.15, hb
a2 , . . . i tambien es una sucesi a2 , . . . i converge a = [ha1 , a2 , . . .i]
a1 , b

X . Luego, hn i tambien converge a y, en consecuencia, (X , e) es completo. 2



Lema 9.17 Si Y es una completaci on de X, entonces Y es isometrico a X .

Dem Se puede suponer que X es un subespacio de Y . Luego, para todo p Y , existe una sucesion ha1 , a2 , . . . i en X
que converge a p y, en particular,han i es una sucesion de Cauchy. Sea f : Y X definida por

f (p) = [ha1 , a2 , . . .i]

Ahora bien, si ha1 , a2 , . . . i X tambien converge a p, entonces

lim d (an , an ) = 0 y, por tanto, [han i] = [han i]

n
Observar que d (b am ) d (b
an , b am , m ) + d (m , n ) + d (n , b
an ).
Observar que lim d (n , ) lim d (n , b an ) + lim d (ban , ).
n n n

3
En otras palabras f esta bien definida.
Adem as, f es sobreyectiva porque, si [hb1 , b2 , . . .i] X , entonces, hb1 , b2 , . . . i es una sucesion de Cauchy en X Y
y, puesto que Y es completo, hbn i converge, por ejemplo, a q Y . En consecuencia, f (q) = [hbn i].
Sean ahora, p, q Y tales que existan en X sucesiones han i y hbn i que convergen, respectivamente, a p y q. Entonces
 
e(f (p), f (q)) = e ([han i] , [hbn i]) = lim d (an , bn ) = d lim an , lim bn = d (p, q)
n n n

En consecuencia, f es una isometra entre Y y X . 2



Los resultados anteriores, dejan como corolario, el siguiente teorema:

Teorema 9.18 Todo espacio metrico X tiene una completacion y todas las completaciones de X son isometricas.

En otras palabras, en cuanto a la isometra, existe una completacion u

nica de cualquier espacio metrico.