Facultad de Ciencias Fsicas y Matem

aticas

Universidad de Chile

MA3801 - An
alisis. Semestre Oto
no 2013
Profesor: Carlos Conca
Auxiliares: Francisco Arana, Matas Godoy, Ignacio Vergara

Pauta Pregunta 2 Control 2

P2. En este problema veremos una forma de completar un espacio metrico. Sea (X, d) un espacio metrico y defina :
:= {s = (xn )n | (xn )n es sucesion de Cauchy en X}
X
por s = (xn ) t = (yn ) d(xn , yn ) 0. Denotaremos [s] la clase de
Defina, adem
as, una relaci
on en X,

equivalencia de s X.
se define D : Y Y R por
En el espacio cuociente Y = X/
D([s], [t]) = lm d(xn , yn )
n

a) Demuestre que dadas (xn )n e (yn )n sucesiones de Cauchy en X, el lmite lmn d(xn , yn ) siempre existe.
Indicaci
on : Utilice desigualdad triangular dos veces.
Soluci
on: Sean (xn )n e (yn )n sucesiones de Cauchy en X. Para probar que el lmite pedido existe, basta
probar que la sucesi
on (en R) (zn )n dada por zn = d(xn , yn ) es de Cauchy cuando dotamos a R de la
metrica usual, en efecto:
Por desigualdad triangular se tienen las siguientes:
d(xn , yn ) d(xn , xm ) + d(xm , ym ) + d(ym , yn )
d(xm , ym ) d(xm , xn ) + d(xn , yn ) + d(yn , ym )
Notemos que estas desigualdades implican que:
|d(xn , yn ) d(xm , ym )| = |zn zm | d(xn , xm ) + d(yn , ym )
As, dado > 0, como tanto (xn )n como (yn )n son de Cauchy en (X, d), entonces existe n00 y n000 tales
que:
d(xn , xm ) /2, n, m n00
d(xn , xm ) /2, n, m n000
as, escogiendo n0 = m
ax{n00 , n000 } se tienen ambas desigualdades, luego:
|zn zm | d(xn , xm ) + d(yn , ym ) /2 + /2 = , n, m n0
(0.7 ptos.)
y por lo tanto resulta que (zn )n es de Cauchy en R con la metrica usual, por lo tanto z R tal que
(zn ) z, o equivalentemente:
lm zn = lm d(xn , yn ) existe
n

que era lo deseado.

(0.3 ptos.)

b) Muestre que es una relaci

on de equivalencia, que D esta bien definida y que es metrica.
Soluci
on: Veamos primero que es relacion de equivalencia, es decir, que es refleja, simetrica y transitiva:
veamos que (xn )n (xn )n :
es refleja: Sea (xn )n X
(xn )n (xn )n d(xn , xn ) 0
esto es evidentemente cierto, pues d(xn , xn ) = 0 n. Luego es refleja.
basta ver que:
es sim
etrica: Sean (xn )n , (yn )n X,
(xn )n (yn )n d(xn , yn ) 0 d(yn , xn ) 0 (yn )n (xn )n
1

Facultad de Ciencias Fsicas y Matem

aticas

Universidad de Chile

donde hemos usado la simetra de d que se tiene al ser metrica. As, se concluye que es simetrica.
tales que:
es transitiva: Sean (xn )n , (yn )n , (zn )n X
((xn )n (yn )n ) ((yn )n (zn )n )
veamos que (xn )n (zn )n :
Como (xn )n (yn )n entonces d(xn , yn ) 0, y como (yn )n (zn )n entonces d(yn , zn ) 0, luego,
notando que:
d(xn , zn ) d(xn , yn ) + d(yn , zn )
entonces se concluye que d(xn , zn ) 0. As, se concluye la transitividad de .
Con todo esto conclumos que es relacion de equivalencia.

(0.3 ptos.)

Veamos ahora que D : Y Y R esta bien definida, es decir, veamos que no depende del representante escogido en cada clase de equivalencia:
Para ello, sean (xn )n (x0n )n y (yn )n (yn0 )n , veamos que:
D([(xn )n ], [(yn )n ]) = lm d(xn , yn ) = lm d(x0n , yn0 )
n

Como sabemos por la parte anterior que ambos lmites existen, basta probar que:
lm d(xn , yn ) d(x0n , yn0 ) = 0
n

Para ello basta aplicar dos desigualdades triangulares de forma similar a lo hecho anteriormente:
d(xn , yn ) d(xn , x0n ) + d(x0n , yn0 ) + d(yn0 , yn )
d(x0n , yn0 ) d(x0n , xn ) + d(xn , yn ) + d(yn , yn0 )
y con esto se tiene:
|d(xn , yn ) d(x0n , yn0 )| d(xn , x0n ) + d(yn , yn0 )
de donde se concluye gracias a que d(xn , x0n ) 0 y d(xn , yn0 ) 0. Por lo tanto D esta bien definida. (0.4
ptos.)
Veamos finalmente que D es metrica:
Verifiquemos primero que [(xn )n ], [(yn )n ] Y se tiene: D([(xn )n ], [(yn )n ]) = 0 [(xn )n ] = [(yn )n ]:
D([(xn )n ], [(yn )n ]) = 0 lm d(xn , yn ) = 0 (xn )n (yn )n [(xn )n ] = [(yn )n ]
n

donde la u
ltima equivalencia es una propiedad conocida de las clases de equivalencia.
Verifiquemos ahora que [(xn )n ], [(yn )n ] Y se tiene: D([(xn )n ], [(yn )n ]) = D([(yn )n ], [(xn )n ]):
D([(xn )n ], [(yn )n ]) = lm d(xn , yn ) = lm d(yn , xn ) D([(yn )n ], [(xn )n ])
n

donde hemos usado que d es simetrica pues es metrica.

Finalmente verifiquemos que [(xn )n ], [(yn )n ], [(zn )n ] Y se tiene:
D([(xn )n ], [(yn )n ]) D([(xn )n ], [(zn )n ]) + D([(zn )n ], [(yn )n ])
En efecto, notemos que n, gracias a que d satisface la desigualdad triangular en X al ser metrica en este
espacio, se tiene:
d(xn , yn ) d(xn , zn ) + d(zn , yn )

Facultad de Ciencias Fsicas y Matem

aticas

Universidad de Chile

y por lo tanto:
lm d(xn , yn ) lm d(xn , zn ) + lm d(zn , yn )
n

o equivalentemente
D([(xn )n ], [(yn )n ]) D([(xn )n ], [(zn )n ]) + D([(zn )n ], [(yn )n ])
que es lo deseado.
Con todo esto se concluye que D es una metrica en Y

(0.3 ptos.)

c) Sea h : X Y , definida por h(x) = [(x, x, . . .)]. Muestre que h preserva distancias.
Soluci
on: Basta notar que, dados x, y X:
D(h(x), h(y)) = D([(x, x, . . .)], [(y, y, . . .)]) = lm d(x, y) = d(x, y)
n

donde la segunda igualdad es debido a que estamos tomando sucesiones constantes.

As, se tiene que h preserva distancias.

(1.0 pto.)

d ) Muestre que h(X) es denso en Y .

Indicaci
on : Recuerde que en un espacio topologico (X , ) un conjunto D es denso O se
tiene O D 6= .
Soluci
on: Como estamos en un espacio metrico basta ver que dada una bola B([(xn )n ], r) con [(xn )n ] Y
arbitrario y r > 0 arbitrario, se tiene h(X) B([(xn )n ], r) 6= .
En efecto: Dado [(xn )n ] Y y r > 0, notemos por un lado que, como (xn )n es de Cauchy, entonces:
> 0, N N, tal que n, m N : d(xn , xm )
r
y escojamos el N asociado a esta eleccion para . Afirmamos que tomando x = xN se
2
tiene que h(x) B([(xn )n ], r):
Escojamos =

D(h(x), [(xn )n ]) = D([(xN , xN , . . .)], [(xn )n ]) = lm d(xN , xn )

n

como n N se tiene
d(xN , xn )

r
2

entonces
D(h(x), [(xn )n ]) = lm d(xN , xn )
n

r
<r
2

se concluye que h(x) = h(xN ) B([(xn )n ], r), y por lo tanto

h(X) B([(xn )n ], r) 6=
por lo tanto h(X) es denso en Y .

(1.0 pto.)

e) Sea (Z, ) un espacio metrico, sea A Z tal que A es denso en Z y tal que para cada sucesion de Cauchy
(xn )n en A, existe un elemento x Z tal que xn x. Demuestre que el espacio (Z, ) es completo.
Indicaci
on : Utilice un argumento diagonal para construir una sucesion en A apropiada.
Soluci
on: Sea (xn )n una sucesi
on de Cauchy en Z, por densidad de A en Z, para cada n podemos
(n)
(n)
considerar una sucesi
on de Cauchy (ym )m en A tal que ym xn cuando m . Notemos que de
estas convergencias se puede asegurar que:
(1)
N1 tal que m N1 : (ym
, x1 ) 1
1
(2)
N2 N1 tal que m N2 : (ym
, x2 )
2
...
1
(j)
Nj Nj1 tal que m Nj : (ym , xj )
j

Facultad de Ciencias Fsicas y Matem

aticas

Universidad de Chile

En virtud de esto, consideremos la sucesion (zj )j dada por:

(j)

zj = yNj

(0.5 ptos.)
Probemos que esta sucesi
on (definida en A) es de Cauchy, y que su lmite sera el lmite de la sucesi
on
(xn )n :
(zj )j es de Cauchy: Dado > 0, sabemos que existe N 0 tal que n, m N 0 : (xn , xm ) /3. Por otro

1
lado, si escojemos N 00 tal que si n N 00 entonces < , entonces, tomando N = max{N 0 , N 00 } se tiene
n
3
que, n, m N :
(zn , zm ) (zn , xn ) + (xn , xm ) + (xm , zm )

1
1
+ +
<
n 3 m

(j)

(j)

Por lo tanto (zj )j = (yNj )j es de Cauchy en A, por lo tanto y Z tal que yNj y.
1

(xn )n converge a y: En efecto, dado > 0 tomemos N 0 tal que si n N 0 entonces

y N 00
n
2

tal que si n N 00 entonces (zn , y) , luego considerando N = max{N 0 , N 00 } entonces:

2
(xn , y) (xn , zn ) + (zn , y)

+ =
2 2

y por lo tanto (xn )n y, de donde se concluye que (Z, ) es completo.

(0.5 ptos.)

f ) Concluya que (Y, D) es completo.

Indicaci
on : Puede usar e) sin demostracion.
Soluci
on: Por la parte e) y la parte d) basta mostrar que las sucesiones de Cauchy en h(X) tienen
lmite en Y . Por simplicidad notacional llamemos
z = h(z) = [(z, z, . . .)]
As, sea (
zk )k una sucesi
on de Cauchy en h(X), donde cada zk se representa por la sucesion de Cauchy
(en X) (zk , zk , . . .). Como h preserva distancias se tiene:
d(zn , zm ) = D(h(zn ), h(zm )) = D(
zn , zm ), n, m
lo cual implica que la sucesi
on (z1 , z2 , . . .) es de Cauchy en X.
Esto u
ltimo motiva a definir
z = [(z1 , z2 , . . .)] Y
(0.5 ptos.)
Veamos que zk z en Y :
Dado > 0, N N tal que:

, n, m N
2
donde esto u
ltimo se tiene pues (
zn )n es de Cauchy en Y y h preserva distancias. Luego, para cada k N
se tiene:

D(
zk , z ) = lm d(zk , zn ) <
n
2
con lo que se tiene la convergencia buscada, y mas aun, se concluye que (Y, D) es completo. (0.5 ptos.)
d(zn , zm ) <