Analise Real III-2017/2018 Carlos Menezes, Departamento de Matematica, F.C.U.P.

17

1.4 Espacos metricos completos

Definicao 1.4.1. Seja (X, d) um espaco metrico. Diz-se que (xn )nN e sucessao de Cauchy se

 > 0 p() N n N n, m p() = d(xn , xm ) < .

Proposicao 1.4.2. Seja (X, d) um espaco metrico.

(a) Toda a sucessao convergente e de Cauchy.
(b) Toda a sucessao de Cauchy e limitada.
(c) Se uma sucessao de Cauchy admite uma subsucessao convergente entao ela e convergente.
Demonstracao. Seja (xn )nN uma sucessao em (X, d).
(a) Suponha-se que (xn )nN converge para x. Seja  > 0. Existe p() N tal que para todo o numero
inteiro n maior ou igual que p(), d(xn , x) < /2. Sejam agora m e n numeros inteiros moriores ou
iguais que p(). Entao d(xn , xm ) d(xn , x) + d(x, xm ) < /2 + /2 = . Ficou provado que (xn )nN e
uma sucessao de Cauchy.
(b) Suponha-se que (xn )nN e uma sucessao de Cauchy. Existe p N tal que

n N, n p, m, n p = d(xn , xm ) 1.

Fixemos x0 X, e seja r = max(d(x1 , x0 ), . . . , d(xp , , x0 )). Entao

n N, d(xn , x0 ) d(xn , xp ) + d(xp , x0 ) 1 + r.

Ficou demonstrado que o conjunto {xn : n N} esta contido na bola fechada E(x0 , 1+r), logo (xn )nN
e uma sucessao limitada.
"

(c) Suponha-se que (xn )nN e uma sucessao de Cauchy e que x(j) jN e uma suma subsucessao conver-
gente para um elemento x de (X, d). Seja  > 0. Existe p N tal que

m, n N, m, n p = d(xn , xm ) < /2.

Existe k N tal que

j N, j k = d(x(j) , x) < /2.
Seja q = max(p, (k)). Entao, para todo o inteiro n maior ou igual que q,
"
"

n N, n p = d(xn , x) < d xn , x(k) + d (x(k) , x < /2 + /2 = .

2
Definicao 1.4.3. Seja A um subconjunto de um espaco metrico (X, d). Diz-se que A e um subespaco
completo de X se toda a sucessao de Cauchy em A converge para um ponto de A. Se toda a sucessao de
Cauchy em A converge (para um ponto de X) diz-se que X e um espaco metrico completo.
Exemplo 1.4.4. Q nao e um subespaco completo de R.
Relembramos aqui o importante teorema demonstrado num curso anterior.
Teorema 1.4.5. R com a metrica euclideana e um espaco metrico completo.
Definicao 1.4.6. Um espaco normado diz-se um espaco de Banach ou um espaco normado completo se o
espaco metrico subjacente for completo.
Analise Real III-2017/2018 Carlos Menezes, Departamento de Matematica, F.C.U.P. 18

Proposicao 1.4.7. Seja (X, d) um espaco metrico.

(a) Se X e completo, todo o fechado e um subespaco completo.
(b) Se A e um subespaco completo de X, entao A e fechado.
Demonstracao. Se X e completo, A X e um fechado e (xn )nN e uma sucessao de Cauchy em A, (xn )nN
tem um limite em X. Pela proposicao (1.2.26) x A = A.
Se A X e completo e x A, pela proposicao (1.2.26) existe uma sucessao (xn )nN em A que converge para
x. Como a sucessao (xn )nN e de Cauchy e A e completo, o seu limite, x, e um elemento de A. Portanto
A = A. 2
Proposicao 1.4.8. Sejam d1 e d2 duas metricas equivalentes num conjunto nao vazio X. Entao
(a) Se (xn )nN e uma sucessao convergente em (X, d1 ) para x, (xn )nN converge em (X, d2 ) para x.
(b) Se (xn )nN e uma sucessao de Cauchy em (X, d1 ) entao e de Cauchy em (X, d2 ).
(c) Se (X, d1 ) e um espaco metrico completo entao (X, d2 ) e um espaco metrico completo.
Demonstracao. Sejam e numeros reais positivos tais que d1 d2 e d2 d1 . Seja (xn )nN uma
sucessao e, (X, d1 ).
Suponha-se que (xn )nN converge para x em (X, d1 ). Dado  > 0 existe p N tal que para todo o numero
inteiro n maior ou igual que p, d1 (xn , x) < . Entao para n p, d2 (xn , x) d1 (xn , x) < . Logo, (xn )nN
converge para x em (X, d2 ).
Suponha-se que (xn )nN e uma sucessao de Cauchy em (X, d1 ). Dado  > 0 existe p N tal que para todo
os numeros inteiros m, n maiores ou iguais que p, d1 (xm , xn ) < . Entao

m, n N, m, n p = d2 (xm , xn ) d1 (xm , xn ) < .

Ficou provado que (xn )nN e uma sucessao de Cauchy em (X, d2 ).

De (a) e (b) e da definicao de espaco metrico completo resulta imediatamente (c). 2
Corolario 1.4.9. Sejam (X1 , d1 ), . . . , (Xn , dn ) espacos metricos. Em X = X1 Xn considere-se
as metricas 1 , 2 , introduzidas em (1.2.20). Se para algum j {1, 2, }, (X, j ) e um espaco metrico
completo entao (X, k ) e um espaco metrico completo qualquer que seja k {1, 2, }
Corolario 1.4.10. Sejam (E1 , | |1 ), . . . , (En , | |n ) espacos de Banach sobre K. Entao, com qualquer das
seguintes normas E1 En e um espaco de Banach.
Pn
(i) || ||1 : E1 En R, (x1 , . . . , xn ) 7 ||x||0 := j=1 |xj |j
(ii) || || : E1 En R, (x1 , . . . , xn ) 7 ||x|| := max |xj |j
1jn

P 1/2
n
(iii) || ||2 : E1 En R, (x1 , . . . , xn ) 7 ||x|| := j=1 |xj |2j

Exemplos 1.4.11. 1. Seja (Xn , dn )nN uma famlia numeravel de espacos pseudo-metricos.
A funcao Q Q
d: Xk kN Xk
kN R
P 1 dk (x(k),y(k))
((x(k))kN , (y(k))kN )
7 k=1 2k 1+dk (x(k),y(k))
Q
esta bem definida e e uma pseudo-metrica em X = kN Xk .
Demonstracao. A funcao esta bem definida, i.e. a serie que a define converge, porque 0
dk (x(k),y(k))
1+dk (x(k),y(k)) 1. A positividade e a simetria da aplicacao d sao evidentes. Quanto a desi-
t
gualdade triangular e consequencia imediata do facto que a funcao f : [0, , +[ R, t 7 1+t e
Analise Real III-2017/2018 Carlos Menezes, Departamento de Matematica, F.C.U.P. 19

1
(estritamente) crescente. De facto assim e porque a sua derivada e f 0 (t) = (1+t) 2 . Sendo assim

temos, para x, y, z X, a desigualdade triangular dk (x(k), z(k)) dk (x(k), y(k)) + dk (y(k), z(k))
implica que
dk (x(k), z(k)) dk (x(k), y(k)) + dk (y(k), z(k)) dk (x(k), y(k)) dk (y(k), z(k))
+ .
1 + dk (x(k), z(k)) 1 + dk (x(k), y(k)) + dk (y(k), z(k)) 1 + dk (x(k), y(k)) 1 + dk (y(k), z(k))
Essa funcao e uma metrica sse cada uma das pseudo-metricas dk for uma metrica.
Uma sucessao (xn )nN em X e de Cauchy sse para cada k N a sucessao (xn (k))nN e de Cauchy
em (Xk , dk ).
Demonstracao. Se a sucessao e de de Cauchy em (X, d), dado  > 0 existe p() N tal que
d(xn , xm )  se n, m p, e portanto, para cada k N
dk (xn (k), xm (k))
n, m N n m p() = 2k 
1 + dk (xn (k), xm (k))
1
Para  < 2k+1
temos

n, m N n m p() = dk (xn (k), xm (k)) 2k+1 

Portanto a sucessao (xn (k))nN e de Cauchy em (Xk , dk ).
Suponhamos que para cada k N aP sucessao (xn (k))nN e de Cauchy em (Xk , dk ). Fixemos  > 0.

Escolhamos q = q() de modo que k=q+1 21k < 2 . Entao para n, m N,
q
X 1 dk (xn (k), xm (k)) X 1 dk (xn (k), xm (k))
d(xn , xm ) = +
2k 1 + dk (xn (k), xm (k)) 2k 1 + dk (xn (k), xm (k))
k=1 k=q+1
q
X 1 dk (xn (k), xm (k)) 
< k
+
2 1 + dk (xn (k), xm (k)) 2
k=1

Podemos escolher agora p() N de modo que


n m p() = dk (xn (k), xm (k)) < k {1, . . . q()}.
2
Logo
n m p() = d(xn , xm ) < .
Uma sucessao (xn )nN em X converge para x X sse para cada k N a sucessao (xn (k))nN
converge para x(k) em (Xk , dk ).
Demonstracao. Suponhamos que (xn )nN converge para x. Entao dado  > 0 existe p() N tal
que
n p() = d(xn , x) < 
Procedendo como anteriormente, concluimos que para cada k N
n p() = dk (xn (k), x(k)) < 2k+1 
1
se  < 2k+1
. Portanto lim xn (k) = x(k).
n
Suponha-se que para cada k N existe x(k) Xk tal que lim xn (k) = x(k). Fixemos  > 0.
P n
Escolhamos q = q() de modo que k=q+1 21k < 2 . Escolhamos p() N tal que

n p() = dk (xn (k), x(k)) < k {1, . . . q()}.
2
Entao
n m p() = d(xn , x) < .
Analise Real III-2017/2018 Carlos Menezes, Departamento de Matematica, F.C.U.P. 20

Portanto (X, d) e completo sse cada (Xk , dk ) e completo.

A metrica d e chamada a metrica de Frechet associada a famlia numeravel de metricas (dk )kN .
2. Seja (K) := KN0 o K-espaco vectorial das sucessoes x : N0 C, k 7 x(k). Entao

X 1 |x(k) y(k)|
d : (K) (K) R, (x, y) 7
2k 1 + |x(k) y(k)|
k=1

e uma metrica que faz de (K) um espaco metrico completo.

Exemplo 1.4.12.
Seja l0 (N) = {(x(k))kN : x(k) C e {k N : x(k) 6= 0} e finito} o espaco vectorial complexo das sucessoes
que sao nulas a partir de uma certa ordem. Considere-se em l0 (N) a funcao

|| || : l0 (N) R, x 7 max |x(k)|

kN

Esta funcao esta bem definida porque para cada x l0 (N) so ha um numero finito de ndices k N para os
quais x(k) 6= 0. Esta funcao e uma norma. A sucessao (xn )nN l0 (N) definida por

1
xn (k) = 1 n se k n
0 se k > n
e de Cauchy, pois ||xn xm || n1 se n m 1, mas nao converge em l0 (N). De facto se convergisse
para algum x l0 (N), da desigualdade |xn (k) x(k)| ||xn x|| , viria que lim xn (k) = x(k) e portanto
n
x(k) = 1 para todo o k N. Mas esta sucessao x = (1, 1, 1, . . . ) nao e um elemento de l0 (N).
Teorema 1.4.13. (do ponto fixo de Banach) Seja (X, d) um espaco metrico completo e seja : X X
uma aplicacao com a seguinte propriedade: existe K [0, 1[ tal que

d((x), (y)) Kd(x, y) x, y X

Entao existe um unico ponto x X tal que (x) = x.

Demonstracao. Tome-se um ponto x0 X arbitrario e, por recorrencia construa-se a sucessao

x0 , x1 = (x0 ), . . . , xn = n (x0 ) = (xn1 ), . . . .

Entao
d(xn+1 , xn ) = d((xn ), (xn1 )) Kd(xn , xn1 ) n 1
Por inducao sobre n vem que
d(xn+1 , xn ) K n d(x1 , x0 ) n 0.
Se 0 n < m temos entao
n n
X X Km
d(xn , xm ) d(xj , xj1 ) K j1 d(x1 , x0 ) d(x1 , x0 ).
j=m+1 j=m+1
1K
m
K
Como lim 1K d(x1 , x0 ) = 0, a sucessao (xn )nN0 e de Cauchy em (X, d). Como por hipotese em (X, d)
m
toda a sucessao de Cauchy converge, existe um ponto x X tal que lim xn = x. Como e contnua
n

(x) = ( lim xn ) = lim (xn ) = lim xn+1 = x.

n n n

Se existisse outro ponto y de X tal que (y) = y teramos a situacao contraditoria d(x, y) = d((x), (y))
Kd(x, y) < d(x, y). 2.
Analise Real III-2017/2018 Carlos Menezes, Departamento de Matematica, F.C.U.P. 21

O seguinte exemplo mostra que a imagem de uma sucessao de Cauchy por uma funcao contnua nao e
necessariamente de Cauchy.
Exemplo 1.4.14. Seja f : R+ R, x 7 1/x. A imagem da sucessao de Cauchy n1 nN e a sucessao
"

(n)nN que nao e de Cauchy em R.

Temos contudo a seguinte proposicao:

Proposicao 1.4.15. Sejam X e Y espacos metricos e f : X Y uma aplicacao uniformemente contnua

Se (xn )nN e uma sucessao de Cauchy em X entao (f (xn ))nN e uma sucessao de Cauchy em Y .
Demonstracao. Seja  > 0. Como f e uniformemente contnua existe R+ tal que

(x, y) X X, d(x, y) < = d(f (x), f (y)) < .

Como (xn )nN e de Cauchy em X, existe p N tal que

m, n N, m, n p = d(xm , xn ) < .

Logo, para m, n p, d(f (xm ), f (xn )) < . Fica provado que (f (xn ))nN e de Cauchy em Y . 2

Definicao 1.4.16. Um sub-espaco A de um espaco metrico (X, d) e denso em X se A = X.

Teorema 1.4.17. Seja A um subespaco denso de um espaco metrico X e seja entre espacos metricos. Seja
Y e um espaco metrico completo, e seja f : A Y uma aplicacao uniformemente contnua.
Existe uma unica aplicacao contnua F : X Y que prolonga f . Esta aplicacao e uniformemente contnua.

Demonstracao. Seja  > 0. Como f e uniformemente contnua, existe > 0 tal que para todo o (u, v) X X
d(u, v) < = d(f (u), f (v)) < .
Seja x X. Como A = X, existe em A uma sucessao (xn )nN que converge para x. Por (1.4.15) a sucessao
(f (xn ))nN e de Cauchy em Y . Como Y e completo, existe um unico y Y tal que lim f (xn ) = y.
n+
Vejamos agoara que esse ponto y nao depende da escolha da sucessao (xn )nN que converge para x.
Seja (wn )nN outra sucessao em A que converge para x e seja z = lim f (wn ). Como lim xn = x e
n+ n+
lim wn = x, existe p N tal que para todo o numero inteiro n maior ou igual que p, d(xn , x) < /2 e
n+
d(wn , x) < /2. Assim, para todo o n p, d(xn , wn ) < , e d(f (xn ), f (wn )) < . Como lim f (xn ) = y
nN
e lim f (wn ) = z conclui-se que z = y. Podemos agora definir F num ponto x X pela formula F (x) =
nN
lim f (xn ) onde (xn )nN e uma sucessao em A que converge para X. Pelo criterio de continuidade de
n+
Heine esta a a unica aplicacao contnua que prolonga f .
Vejamos agora que F e uniformemente contnua. Sejam a, b X tais que d(a, b) < /3. Como X =
A, existem sucessoes (an )nN e (bn )nN em A tais que a = lim an e b = lim bn . Como tambem
n+ n+
lim f (an ) = F (a) e lim f (bn ) = F (b), existe p N tal que
n+ n+

n N, n p = (d(an , a) < /3, d(bn , b) < /3, d(f (an ), F (a)) < , d(f (bn ), F (b)) < .) .

Resulta que para todo o n p, d(an , bn ) d(an , a) + d(a, b) + d(b, bn ) < e, portanto, d(f (an ), f (bn ))) < ,
pela continuidade uniforme de f . Conclui-se que

d(a, b)) < /3 = d(F (a), F (b))) d(F (a), f (ap )) + d(f (ap ), f (bp )) + d(f (bp ), F (b)) 3.

ou seja, F e uniformemente contnua. 2