Em PDF

Espacos Metricos
Leandro F. Aurichi
30 de novembro de 2010
Instituto de Ciencias Matem

aticas e de Computacao - Universidade de Sao Paulo, Sao Carlos, SP
Sum
ario
1 Conceitos b
asicos
1.1 Metricas . . . . . . . . . .
Exerccios de 1.1 . . . . .
1.2 Bolas, conjuntos limitados
1.3 Func
oes contnuas . . . .
1.4 Exerccios do Captulo 1 .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
8
8
9
10
11
12
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
13
15
15
17
18
19
20
21
22
3 Conexidade
3.1 Conjuntos separados e conjuntos conexos . .
Exerccios de 3.1 . . . . . . . . . . . . . . . .
3.2 Func
oes contnuas e conexidade por caminhos
Exerccios de 3.2 . . . . . . . . . . . . . . . .
3.3 Aplicac
oes . . . . . . . . . . . . . . . . . . . .
Exerccios de 3.3 . . . . . . . . . . . . . . . .
3.4 Exerccios do Captulo 3 . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
24
25
26
27
28
28
.
.
.
.
.
.
.
29
29
30
31
33
33
36
36
.
.
e
.
.
.
.
. . . . . .
. . . . . .
distancias
. . . . . .
. . . . . .
. . . . . .
. . . . . .
2 A topologia nos espa

cos m
etricos
2.1 Abertos e fechados . . . . . . . .
Exerccios de 2.1 . . . . . . . . .
2.2 Aderencia, acumulac
ao e fecho .
Exerccios de 2.2 . . . . . . . . .
2.3 Sequencias . . . . . . . . . . . . .
Exerccios de 2.3 . . . . . . . . .
2.4 Metricas equivalentes . . . . . . .
Exerccios de 2.4 . . . . . . . . .
2.5 Exerccios do Captulo 2 . . . . .
4 M
etricas completas
4.1 Sequencias de Cauchy . . .
Exerccios de 4.1 . . . . . .
4.2 Completude . . . . . . . . .
Exerccios de 4.2 . . . . . .
4.3 Completamento de espacos
Exerccios de 4.3 . . . . . .
4.4 Exerccios do Captulo 4 . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

SUMARIO
4
5 Compactos
5.1 Definic
ao e exemplos . .
Exercicios . . . . . . . .
5.2 Algumas equivalencias .
Exerccios de 5.2 . . . .
5.3 Algumas aplicac
oes . . .
5.4 Algumas generalizac
oes
5.5 Exerccios do Captulo 5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
40
40
42
43
44
44
46
46
6 Subespa
cos densos
6.1 Conceitos b
asicos . . . .
6.2 Espacos de Baire . . . .
6.3 Exerccios do Captulo 6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
47
48
49
50
51
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
grafico fechado
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
54
55
58
58
59
59
61
62
7 Algumas aplica
c
oes
7.1 Espacos completamente metrizaveis . . . .
Exerccios de 7.1 . . . . . . . . . . . . . .
7.2 Espacos de func
oes . . . . . . . . . . . . .
Exerccios de 7.2 . . . . . . . . . . . . . .
7.3 Teoremas de ponto fixo . . . . . . . . . .
Exerccios de 7.3 . . . . . . . . . . . . . .
7.4 Espacos normados . . . . . . . . . . . . .
Exerccios de 7.4 . . . . . . . . . . . . . .
7.5 Teorema da aplicac
ao aberta e teorema do
Indices
65
Notacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Indice Remissivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Captulo 1
Conceitos b
asicos
1.1
M
etricas
Defini
c
ao 1.1.1. Dado X um conjunto nao vazio, chamamos de uma m
etrica sobre X uma func
ao
d : X X R satisfazendo, para todo x, y, z X:
(a) d(x, y) > 0 se x 6= y;
(b) d(x, x) = 0;
(c) d(x, y) = d(y, x);
(d) d(x, z) d(x, y) + d(y, z);
Tal funcao chamamos de dist
ancia ou m
etrica. A um conjunto X munido de uma metrica d
damos o nome de um espa
co m
etrico e denotamos por (X, d).
Exemplo 1.1.2. A reta real com a funcao d(x, y) = |x y| e um espaco metrico. A metrica d e
dita a metrica usual de R. Para exemplificar, vamos mostrar a condicao (d) de metrica, deixando
as outras como exerccio. Sejam x, y, z R. Temos
d(x, z) =
=
=
=
|x z|
|x z + y y|
|x y| + |y z|
|x y| + |z y|
d(x, y) + d(y, z)
Exemplo
1.1.3. O conjunto Rn da n-uplas de n
umeros reais admite uma metrica dada por d(x, y) =
Pn
c
ao (c)
i=1 |xi yi | onde x = (x1 , ..., xn ) e y = (y1 , ..., yn ). Como exemplo, vamos mostrar a condi
de metrica, deixando as outras como exerccio. Sejam x = (x1 , ..., xn ) e y = (y1 , ..., yn ). Temos
P
d(x, y) = Pni=1 |xi yi |
n
=
i=1 |yi xi |
= d(y, x)
5

CAPITULO 1. CONCEITOS BASICOS
Exemplo 1.1.4. Considere o conjunto das sequencias (an )nN onde cada an [0, 1]. Tal conjunto
admite uma metrica d(a, b) = sup{|an bn | : n N} onde a = (an )nN e b = (bn )nN . Como
exemplo, vamos mostrar a condic
ao (a) de metrica, deixando as outras como exerccio. Sejam
a = (an )nN e b = (bn )nN como acima. Suponha a 6= b. Isto e, existe k N tal que ak 6= bk .
Temos:
d(a, b) = sup{|an bn | : n N}
|ak bk |
> 0
Exemplo 1.1.5. Dado um espaco vetorial V sobre R, dizemos que uma funcao kk : V R e
uma norma sobre V se, dados u, v V e R:
(a) kvk > 0 se v 6= 0;
(b) kvk = ||kvk;
(c) ku + vk kuk + kvk.
Nestas condic
oes, V admite a metrica dada por d(u, v) = ku vk (chamamos esta metrica de
m
etrica induzida pela norma kk). Como exemplo, vamos mostrar que d satifaz a condic
ao (b)
de metrica. Seja u V . Temos
d(u, u) = ku uk
= k0k
= k0 0k
= 0k0k
= 0
claro que sobre um mesmo conjunto podemos ter metricas diferentes:
E
Exemplo 1.1.6. Se X e um conjunto nao vazio, uma metrica sobre X e a funcao

1 se x 6= y
d(x, y) =
0 se x = y
Esta e chamada a m
etrica discreta sobre X.
Defini
c
ao 1.1.7. Seja (X, d) um espaco metrico. Dizemos que Y e um subespa
co de X se Y X
e adotarmos em Y a metrica d restrita a Y .
Observa
c
ao 1.1.8. Note que, de fato, se Y e um subespaco do espaco metrico (X, d), entao (Y, d0 )
tambem e um espaco metrico, onde d0 e a restricao de d a Y .
Exemplo 1.1.9. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos. Definimos sobre X1 X2 a seguinte
metrica, que chamamos de m
etrica produto:
d((x1 , x2 ), (y1 , y2 )) = d1 (x1 , y1 ) + d2 (x2 , y2 )
onde (x1 , x2 ), (y1 , y2 ) X1 X2 .

1.1. METRICAS
Vamos terminar esta sec

ao mostrando a nocao de distancia euclidiana que temos sobre o Rn de
fato nos da uma metrica. Vamos mostrar tal fato usando alguns resultados mais gerais:
Defini
c
ao 1.1.10. Seja V um espaco vetorial sobre R. Chamos uma funcao h, i : V V R de
um produto interno se s
ao satisfeitas as seguintes condicoes, para quaisquer a, b, c V e R:
(a) ha + b, ci = ha, ci + hb, ci;
(b) ha, bi = ha, bi;
(c) ha, bi = hb, ai;
(d) ha, ai > 0 se a 6= 0
Proposi
c
ao 1.1.11 (desigualdade de Cauchy-Schwartz). Seja V um espaco vetorial sobre R
com um produto interno h, i. Ent
ao, para quaisquer a, b V , vale a sequinte desigualdade:
ha, bi2 ha, aihb, bi
Demonstrac
ao. Se a = 0, a desigualdade vale trivialmente (pois h0, bi = 0). Vamos supor a 6= 0.
ha,bi
Defina = ha,ai
e c = b a. Note que
ha, ci =
=
=
=
=
ha, b ai
ha, bi ha, ai
ha,bi
ha, bi ha,ai
ha, ai
ha, bi ha, bi
0
Logo:
hb, bi =
=
=
=
hc + a, c + ai
hc, c + ai + ha, c + ai
hc, ci + hc, ai + ha, ci + 2 ha, ai
hc, ci + 2 ha, ai
Assim, temos que hb, bi = hc, ci + 2 ha, ai 2 ha, ai =

ha, bi2 , como queramos.
ha,bi2
ha, ai
ha,ai2
ha,bi2
ha,ai .
Assim, ha, aihb, bi
Proposi
c
ao 1.1.12. Seja V um espa
co vetorial sobre R com um produto interno h, i. Ent
ao a
p
func
ao kk : V R dada por kak = ha, ai para a V e uma norma. Chamamos esta norma de
a norma induzida pelo produto interno h, i.
Demonstrac
ao. Vamos apenas verificar que, dados a, b V , temos que ka + bk kak+kbk, deixando
as outras condic
oes como exerccio. Temos:
ka + bk2
=
=
=
=
1.1.11
=
=
ha + b, a + bi
ha, a + bi + hb, a + bi
ha, ai + ha, bi + hb, ai + hb, bi
ha, ai + 2ha, bi + hb, bi
p
ha, ai + 2 ha, aihb, bi + hb, bi
kak2 + 2kakkbk + kbk2
(kak + kbk)2

Exemplo 1.1.13. O conjunto Rn e um espaco metrico com a funcao

v
u n
uX
d(x, y) = t (xi yi )2
i=1
onde x = (x1 , ..., xn ) e y = (y1 , ..., yn ). Esta e conhecida

etrica euclidiana do Rn . Para
Pn como m
o
verificar este exemplo, basta mostrar que hx, yi = i=1 xi yi e um produto interno. Depois, e s
mostrar que tal produto interno induz uma norma que induz a metrica definida acima.
Exerccios de 1.1
1. Mostre que as func
oes definidas nos exemplos acima sao de fato metricas.
2. No exemplo 1.1.4, teramos algum problema se em vez de tomarmos cada an [0, 1], tomassemos
cada an R?
3. Se (X, d) e um espaco metrico, mostre que (X, d0 ) tambem e um espaco metrico onde d0 (x, y) =
min{d(x, y), 1}.
4. Mostre que uma definic
ao equivalente a que apresentamos de uma metrica e a de que d : X
X R satisfaz, para a, b, c X:
(a) d(a, b) = 0 se, e somente se, a = b;
(b) d(a, c) d(a, b) + d(c, b).
Dica: Mostre que d(a, b) d(b, a).
1.2
Bolas, conjuntos limitados e dist

ancias
Defini
c
ao 1.2.1. Sejam (X, d) um espaco metrico, x X e r > 0. Chamamos de bola aberta de
centro x e raio r em X o conjunto
BrX (x) = {y X : d(x, y) < r}.
e chamamos de bola fechada de centro x e raio r em X o conjunto
BrX [x] = {y X : d(x, y) r}.
Se o X em quest
ao estiver claro no contexto, denotaremos respectivamente por Br (x) e Br [x].
Defini
c
ao 1.2.2. Sejam (X, d) um espaco metrico e Y X. Dizemos que Y e limitado se existem
x X e r > 0 tais que Y Br (x).
Exemplo 1.2.3. O subconjunto [0, 1[ e limitado em R com a metrica usual.

1.2. BOLAS, CONJUNTOS LIMITADOS E DISTANCIAS
Proposi
c
ao 1.2.4. Seja (X, d) um espaco metrico. Dado A X, s
ao equivalentes:
(a) A e limitado;
(b) existem x1 , ..., xn X e r1 , ..., rn R positivos tais que A
Sn
i=1 Bri (xi );
Demonstrac
ao. Suponha A limitado. Entao existe r > 0 e x X tal que A Br (x) e, portanto,
temos (b).
S
Agora suponha que existam x1 , ..., xn X e r1 , ..., rn R positivos tais que A ni=1 Bri (xi ).
Sejam j1 = max{r1 , . . . rn } e j2 = max{d(x1 , xi ) : i = 2, ..., n}. Vamos mostrar que A Br (x1 ),
onde r = j1 + j2 + 1. Seja a A. Ent
ao existe i tal que a Bri (xi ). Temos:
d(a, x1 )
<
d(a, xi ) + d(xi , x1 )
ri + j2
j1 + j2
r
Logo, A Br (x1 ).
Corol
ario 1.2.5. Sejam (X, d) um espaco metrico e A1 , ..., An X conjuntos limitados. Ent
ao
S
n
A
e
um
conjunto
limitado.
i=1 i
S
Demonstra
c
ao. Para cada Ai existem xi e ri > 0 tais que Ai Bri (xi ). Portanto, ni=1 Ai
Sn
e um conjunto limitado pela proposicao anterior.
i=1 Bri (xi )
Defini
c
ao 1.2.6. Sejam (X, d) um espaco metrico de A e B subconjuntos nao vazios de X. Definimos a dist
ancia entre A e B por d(A, B) = inf{d(a, b) : a A, b B}. No caso em que A = {a}
ou B = {b} denotamos por d(a, B) e d(A, b) no lugar de d({a}, B) e d(A, {b}) respectivamente.
Exerccios de 1.2
1. Sejam (X, d) um espaco metrico, x X e r > 0. Mostre que, se s > 0 e s < r, ent
ao
Bs (x) Br (x).
2. Mostre que se trocarmos Br (x) na definicao de conjunto limitado por Br [x] obtemos uma definic
ao
equivalente. Isto e, um conjunto satisfaz a definicao velha se, e somente se, satisfaz a nova.
3. Sejam x, y pontos distintos num espaco metrico e =
d(x,y)
2 .
Mostre que:
(a) B (x) B (y) = ;

(b) Exiba um espaco metrico X e x, y X onde B [x] B [y] 6= .
(c) Exiba um espaco metrico X e x, y X onde B [x] B [y] = .
4. Mostre que s
ao equivalentes para um subconjunto A de um espaco metrico:
(a) A e limitado;
(b) existe k > 0 tal que d(x, y) k para todo x, y A.

10
5. Mostre que se Y e limitado e Z Y , entao Z e limitado.

6. Mostre que se (X, d) e um espaco metrico e x X, entao:
(a)
= {x};
(b)
= X.
1 (x)
nN B n+1
nN Bn+1 (x)
7. Mostre que a intersecc

ao de uma famlia de conjuntos limitados e um conjunto limitado.
1
8. Considere R com a metrica usual. Calcule d(0, { n+1
: n N}).
9. Considere R2 com a metrica euclidiana. Calcule d(A, B) onde A e o eixo x e B e o grafico da

funcao x1 para x ]0, +[.
10. Seja (X, d) um espaco metrico. Suponha que para algum x X e algum r > 0, A = Br [x] r
Br (x) 6= . Calcule d(x, A).
1.3
Fun
c
oes contnuas
Defini
c
ao 1.3.1. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos. Dizemos que uma funcao f : X1
X2 e uma fun
c
ao contnua no ponto x X1 se, para todo > 0, existe > 0 tal que, para
todo y X1 tal que d1 (x, y) < , temos d2 (f (x), f (y)) < . Se f e contnua em todo ponto
x X, dizemos simplesmente que f e uma funcao contnua. Se f e bijetora e sua inversa tambem
e contnua, dizemos que f e um homeomorfismo.
Proposi
c
ao 1.3.2. Seja (X, d) um espaco metrico. Ent
ao a func
ao f : X X dada por f (x) = x
e contnua.
Demonstrac
ao. Sejam x X e > 0. Defina = . Temos, para y X tal que d(x, y) < , que
d(f (x), f (y)) = d(x, y) < .
Exemplo 1.3.3. Sejam (X1 , d1 ) e (X2 , d2 ) dois espacos metricos, sendo que d1 e a metrica discreta.
Entao toda f : X1 X2 e contnua. De fato, dado x X1 e > 0, basta tomarmos = 12 . Assim,
se d1 (x, y) < , ent
ao d2 (f (x), f (y)) = 0, ja que para d1 (x, y) < , temos que x = y.
Proposi
c
ao 1.3.4. Seja (X, d) um espaco metrico. Sejam f : X X e g : X X func
oes
contnuas. Ent
ao f g : X X dada por (f g)(x) = f (g(x)) para x X e uma func
ao contnua1 .
1
Note que com a demonstraca

o apresentada aqui, podemos mostrar que f g e contnua em x se f e contnua em
g(x) e g e contnua em x.

1.3. FUNC
OES
CONTINUAS
11
Demonstrac
ao. Sejam x X e > 0. Como f e contnua, existe 1 > 0 tal que, para todo y X
tal que, se d(g(x), y) < 1 , ent
ao
d(f (g(x)), f (y)) < .
Como g e contnua, existe > 0 tal que, para todo z X, se d(x, z) < , entao
d(g(x), g(z)) < 1 .
Assim, dado y X tal que d(x, y) < , temos que d(g(x), g(y)) < 1 e, portanto, d(f (g(x)), f (g(y))) <
.
Exerccios de 1.3
1. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos e f : X1 X2 uma funcao. Dado x X, mostre
que sao equivalentes:
(a) f e contnua em x;
(b) para todo > 0 existe > 0 tal que f [BX1 (x)] BX2 (f (x)).
2. Mostre que a noc
ao de continuidade apresentada aqui com relacao a R com a metrica usual e
equivalente com relac
ao `
a noc
ao normalmente apresentada em cursos de calculo.
3. Analogamente ao exerccio anterior, mas com relacao a espacos vetoriais e restrito a func
oes
lineares.
4. Mostre o resultado an
alogo `
a Proposicao 1.3.4 para o caso em que f : X2 X3 , g : X1 X2
e (X1 , d1 ), (X2 , d2 ) e (X3 , d3 ) s
ao espacos metricos.
5. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos. Seja f : X1 X2 sobrejetora tal que d2 (f (x), f (y)) =
d1 (x, y). Uma func
ao como essa e dita uma isometria entre X1 e X2 e, neste caso, (X1 , d1 ) e
(X2 , d2 ) s
ao ditos espa
cos isom
etricos. Mostre que:
(a) f e injetora;
(b) a inversa de f tambem e uma isometria;
(c) f e contnua.
6. Sejam (X, d) e (Y, d0 ) espacos metricos. Dizemos que f : X Y e uma fun
c
ao uniformemente contnua se, para qualquer > 0 existe > 0 tal que, dados a, b X, se d(a, b) <
entao d0 (f (a), f (b)) < . Mostre que:
(a) toda func
ao uniformemente contnua e contnua;
(b) a composta de func
oes uniformemente contnuas tambem e uniformemente contnua.

12
1.4
Exerccios do Captulo 1
1. Sejam (X, d) um espaco metrico e Y subespaco de X.

(a) Se y Y e r > 0, ent
ao ByY (r) = ByX (r) Y .
(b) Se x X e r > 0, ent
ao, para qualquer y Y BrX (x) existe s > 0 tal que y BsY (y)
Y BrX (x).
2. Seja (X, d0 ) um espaco metrico dado como no Exerccio 3 de 1.1. Mostre que X e um conjunto
limitado.
3. Sejam (X, d1 ) e (Z, d2 ) espacos metricos e Y um subespaco de X.
(a) Mostre que, dada f : X Z contnua, a restricao de f a Y tambem e uma funcao contnua.
(b) Mostre um contraexemplo para a afirmacao Dada g : Y Z contnua, existe f : X Z
contnua tal que g e a restric
ao de f a Y .
4. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos, onde X2 e limitado. Mostre que o conjunto F(X1 , X2 )
de todas as func
oes f : X1 X2 admite uma metrica d dada por d(f, g) = supxX1 d(f (x), g(x)).
Obs.: Definimos C(X1 , X2 ) como o subespaco de (F(X, Y ), d) formado pelas funcoes contnuas
de X1 em X2 .
Captulo 2
A topologia nos espa

cos m
etricos
2.1
Abertos e fechados
Defini
c
ao 2.1.1. Seja (X, d) um espaco metrico. Dizemos que A X e aberto se, para todo
x A existe r > 0 tal que Br (x) A. Dizemos que F X e fechado se X r F e aberto.
Exemplo 2.1.2. Seja (X, d) um espaco metrico. Sao exemplos de abertos em X:

;
X;
Br (x) para quaisquer x X e r > 0.
Exemplo 2.1.3. Seja (X, d) um espaco metrico. Sao exemplos de fechados em X:

;
X;
Proposi
c
ao 2.1.4. Seja (X, d) um espaco metrico. Dado r > 0 e x X, temos que Br [x] e
fechado.
Demonstrac
ao. Seja a
/ Br [x]. Vamos mostrar que existe s > 0 tal que Bs (a) X r Br [x]. Como
a
/ Br [x], temos que d(x, a) > r. Considere s = d(x, a) r. Note que s > 0. Vamos mostrar que
Bs (a) X r Br [x], isto e, que Bs (a) Br [x] = . Suponha que exista b Bs (a) Br [x]. Ent
ao
d(x, a) d(x, b) + d(b, a)
< r+s
= d(x, a)
contradicao.
13
14
CAPITULO 2. A TOPOLOGIA NOS ESPAC

OS METRICOS
Exemplo 2.1.5. Seja (X, d) onde d e a metrica discreta sobre X. Entao, dado A X, A e aberto
e e fechado.
Proposi
c
ao 2.1.6.
Seja (X, d) um espaco metrico. Seja (Ai )iI uma famlia n
ao vazia de abertos
S
de X. Ent
ao iI Ai e aberto.
S
Demonstrac
ao. Seja x iISAi . Seja i I tal que x Ai . Como Ai e aberto, existe r > 0 tal que
Br (x) Ai . Ent
ao Br (x) iI Ai .
Proposi
c
ao 2.1.7. Seja (X, d) um espaco metrico. Sejam A e B abertos em X. Ent
ao A B
tambem e aberto.
Demonstrac
ao. Seja x A B. Como A e aberto, existe r > 0 tal que Br (x) A. Como B e
aberto, existe s > 0 tal que Bs (x) B. Seja t = min{r, s}. Vamos motrar que que Bt (x) A B.
Seja y Bt (x). Como t r, Bt (x) Br (x) A. Como t s, Bt (x) Bs (x) B. Logo,
Bt (x) A B.
Defini
c
ao 2.1.8. Sejam (X, d) um espaco metrico e A X. Chamamos de fronteira de A o
conjunto A = {x X : para qualquer r > 0, Br (x) A 6= e Br (x) (X r A) 6= }.
Exemplo 2.1.9. Considere R com a metrica usual. Entao [0, 1[= {0, 1}.
Exemplo 2.1.10. Considere X com a metrica discreta. Entao todo A X e tal que A = .
Proposi
c
ao 2.1.11. Sejam (X, d) um espaco metrico e A X. Ent
ao A e aberto se, e somente
se, A A = .
Demonstrac
ao. Seja A X aberto. Seja x A. Entao existe r > 0 tal que Br (x) A. Logo,
Br (x) (X r A) = e, portanto, x
/ A. Assim, A A = .
Seja A X tal que A A = . Seja x A. Temos que mostrar que existe r > 0 tal que
Br (x) A. Como x
/ A, existe r > 0 tal que Br (x) A = ou Br (x) (X r A) = . Como
x Br (x) A, temos que Br (x) (X r A) = . Isto e, Br (x) A.
Proposi
c
ao A e um conjunto fechado.
Demonstrac
ao. Temos que mostrar que, para qualquer x X r A, existe r > 0 tal que Br (x)
(X r A). Seja x X r A. Ent
ao existe r > 0 tal que Br (x) A = ou Br (x) (X r A) = .
Suponha que Br (x) A = (o outro caso e analogo). Seja y Br (x), vamos mostrar que y
/ A.
Note que existe s > 0 tal que s s tal que Bs (y) Br (x). Note tambem que Bs (y) A = . Logo,
y X r A e, portanto, Br (x) X r A.

E FECHO
2.2. ADERENCIA,
ACUMULAC
AO
15
Proposi
c
ao 2.1.13. Sejam (X, d), (Y, d0 ) espacos metricos e f : X Y uma func
ao. S
ao
equivalentes:
(a) f e contnua;
(b) f 1 [A] e aberto para qualquer A Y aberto.
Demonstrac
ao. Suponha f contnua. Seja A aberto em Y nao vazio (o caso vazio e trivial). Seja
x f 1 [A]. Como A e aberto, existe r > 0 tal que BrY (f (x)) A. Como f e contnua, existe > 0
tal que f [BX (x)] BrY (f (x)). Ou seja, BX (x) f 1 [A].
Agora suponha que vale (b). Sejam x X e > 0. Como BY (f (x)) e aberto, f 1 [BY (f (x)] e
aberto. Logo, existe > 0 tal que BX (x) f 1 [BY (f (x))], isto e, f [BX (x)] BY (f (x)).
Exerccios de 2.1
1. Mostre que os conjuntos acima s
ao de fato abertos ou fechados dependendo de cada caso.
2. Dados (X, d) um espaco metrico e x X, mostre que {x} e fechado. Mostre que todo subconjunto
F X finito e fechado.
3. Mostre que se A1 , ..., An s
ao abertos num espaco metrico, entao A1 An tambem e aberto.
T
4. Mostre que se (Fi )iI e uma famlia nao vazia de fechados de um espaco metrico, entao iI Fi
tambem e fechado.
5. Mostre que se F1 , ..., Fn s
ao fechados num espaco metrico, entao F1 Fn tambem e fechado.
6. Mostre, por contraexemplos, que n
ao valem as seguintes afirmacoes num espaco metrico qualquer:
(a) uniao qualquer de fechados e um fechado;
(b) intersecc
ao qualquer de abertos e um aberto;
(c) Br [x] r Br (x) = Br (x).
7. Sejam (X, d) um espaco metrico, x X e r > 0.
S
(a) Encontre (Fn )nN fechados tais que Br (x) = nN Fn ;
T
(b) Encontre (An )nN abertos tais que Br [x] = nN An .
2.2
Ader
encia, acumula
c
ao e fecho
Defini
c
ao 2.2.1. Sejam (X, d) um espaco metrico, A X e x X. Dizemos que x e um ponto
aderente a A se, para qualquer r > 0, Br (x)A 6= . Dizemos que X e um ponto de acumula
c
ao
de A se x e um ponto aderente a A r {x}.
Exemplo 2.2.2. Considere R com a metrica usual. Entao qualquer ponto x R e ponto de
acumulacao de R. Temos tambem que 0 e ponto de acumulacao de ]0, 1].
16

OS METRICOS
Exemplo 2.2.3. Considere X n

ao vazio com a metrica discreta. Entao, dado x X, x e ponto
aderente a X mas n
ao e de acumulac
ao de X.
Exemplo 2.2.4. Sejam (X, d) um espaco metrico e A X. Entao qualquer ponto a A e ponto
aderente de A.
Proposi
c
ao 2.2.5. Sejam (X, d) um espaco metrico, x X e F X um fechado. Ent
ao x F
se, e somente se, x e aderente a F .
Demonstrac
ao. Seja x F . Note que x e aderente a F . Agora, seja x aderente a F . Suponha
x
/ F . Como F e fechado, X r F e aberto. Logo, existe r > 0 tal que Br (x) X r F . Isto e,
Br (x) F = . Portanto, x n
ao e aderente a F , contradicao.
Defini
c
ao 2.2.6. Sejam (X, d) um espaco metrico e A X. Chamamos de fecho de A em X o
X
conjunto A = {x X : x e ponto aderente de A}. Quando estiver claro no contexto, omitiremos
o X.
Exemplo 2.2.7. Considere R com a metrica usual. Entao ]0, 1[ = [0, 1].
Exemplo 2.2.8. Considere X n

ao vazio com a metrica discreta. Dado A X, A = A.
Proposi
c
ao 2.2.9. Sejam (X, d) um espaco metrico e A X. Temos:
(a) A A
(b) A e fechado;
(c) A = A se, e somente se, A e fechado;
(d) A = A.
Demonstrac
ao. (a) Dado a A, temos que a Br (a) A para qualquer r > 0.
ao existe r > 0 tal que Br (x) A = . Note que para todo y Br (x), existe
(b) Seja x
/ A. Ent
s > 0 tal que Bs (y) Br (x) e, portanto, y
/ A. Assim, Br (x) X r A.
(c) Se A = A, temos que A e fechado pelo item anterior. Agora suponha A fechado. Seja x X rA.
Como A e fechado, existe r > 0 tal que Br (x) A = . Logo, x
/ A. Assim, A A. Como
A A, temos A = A.
(d) Como A e fechado, o resultado segue do item anterior.

E FECHO
2.2. ADERENCIA,
ACUMULAC
AO
17
Proposi
c
ao 2.2.10. Sejam (X, d) um espaco metrico, A X e x X. Ent
ao x A se, e somente
se, d(x, A) = 0.
Demonstrac
ao. Suponha x A. Ent
ao, para qualquer n N, existe an A tal que d(x, an ) <
1
Logo, d(x, A) n+1 para todo n N e, portanto, d(x, A) = 0.
Suponha d(x, A) = 0. Ent
ao para todo n N, existe an A tal que d(x, an ) <
1
para todo > 0, B (x) A 6= j
a que existe n tal que n+1
< .
1
n+1 .
1
n+1 .
Assim,
Proposi
c
ao A = A A.
Demonstrac
ao. Seja a A. Suponha que a
/ A. Vamos mostrar que a A. Seja r > 0. Ent
ao,
como a A, temos que Br (a) A 6= . Como a
/ A, temos tambem que Br (a) (X r A) 6= .
Assim, a A.
/ A, temos que a A. Dado
Seja a A A. Se a A, ent
ao a A (Proposicao 2.2.9). Se a
r > 0, temos que Br (a) A 6= e, portanto, a A.
Exerccios de 2.2
1. Seja (X, d) um espaco metrico. Sejam A, B X. Mostre que:
(a) se A B, ent
ao A B;
(b) A B = A B;
(c) A B A B;
(d) Mostre que, em geral, n
ao vale a igualdade no item anterior.
2. Considere R com a metrica usual. Mostre que o conjunto Q dos n
umeros racionais e tal que
Q = R. Use que entre dois reais distintos sempre existe um racional.
3. Seja (X, d) um espaco metrico. Mostre que sao equivalentes para um x X e A X:
(a) x e ponto de acumulac
ao de A;
(b) para qualquer r > 0, Br (x) A e infinito.
4. Mostre um exemplo de espaco metrico onde Br (x) = Br [x]. Mostre outro exemplo onde isso n
ao
ocorre.
5. Mostre que, se x e ponto de acumulacao de A e B A, entao x e ponto de acumulacao de B.

OS METRICOS
18
2.3
Sequ
encias
Defini
c
ao 2.3.1. Seja (X, d) um espaco metrico. Damos a uma famlia (xn )nN de pontos de X
o nome de sequ
encia. Dizemos que (xn )nN e uma sequ
encia convergente se existe x X tal
que, para todo r > 0, existe n0 N tal que, se n > n0 , entao xn Br (x). Neste caso, chamamos x
de limite da sequencia e denotamos por x = limn xn ou xn x.
Exemplo 2.3.2. Sejam (X, d) um espaco metrico e x X. Entao a sequencia (xn )nN onde cada
xn = x e convergente.
Proposi
c
ao 2.3.3. Seja (X, d) um espaco metrico. Sejam x X e (xn )nN uma sequencia de
pontos de X. Ent
ao xn x se, e somente se, d(xn , x) 0 (considerando-se a metrica usual em
R).
Demonstrac
ao. Suponha que xn x. Seja > 0. Temos que existe n0 N tal que, se n > n0 ,
d(xn , x) < . Isto e, se n > n0 , |d(xn , x) 0| < . Logo, a sequencia (d(xn , x))nN converge para 0.
Agora suponha que d(xn , x) 0. Seja > 0. Temos que existe n0 N tal que, se n > n0 ,
|d(xn , x) 0| < . Logo, d(xn , x) < e, portanto, (xn )nN converge para x.
1
Exemplo 2.3.4. Considere R com a metrica usual. Entao a sequencia (xn )nN onde xn = n+1
e uma sequencia convergente para 0. Considere Y = R r {0} com a metrica de subespaco de R.
Entao, em Y , (xn )nN n
ao e convergente.
Proposi
c
ao 2.3.5. Seja (Xd) um espaco metrico. Seja (xn )nN uma sequencia convergente para
x X. Se y X e tal que y = limnN xn , ent
ao y = x.
Demonstrac
ao. Suponha d(x, y) > 0. Seja = d(x,y)
2 . Note que B (x) Be (y) = . Como (xn )nN
converge para x, existe nx tal que, para todo n > nx , xn B (x). Como (xn )nN converge para
y, existe ny tal que, para todo n > ny , xn B (y). Seja n > nx , ny . Entao xn B (x) B (y),
contradicao.
Proposi
c
ao 2.3.6. Sejam (X, d) um espaco metrico e (xn )nN uma sequencia convergente para
x X. Seja F X fechado. Se cada xn F , ent
ao x F .
Demonstrac
ao. Suponha x
/ F . Como X r F e aberto, existe r > 0 tal que Br (x) X r F . Isto
e, Br (x) F = e, portanto, xn
/ Br (x) para todo n N. Contradicao com o fato de que (xn )nN
converge para x.
Proposi
c
ao o conjunto B = {x X :
existe (xn )nN sequencia em A convergente para x} e igual a A.

2.3. SEQUENCIAS
19
Demonstrac
ao. Seja x B. Seja (xn )nN uma sequencia de pontos de A que converge para x. Note
que, para qualquer r > 0, Br (x) A 6= pois contem pontos de (xn )nN . Assim, x A.
Seja x A. Para cada n N, seja xn B
1
n+1
assim converge para x. Seja r > 0. Seja n0 tal que

1
que d(x, xn ) < n+1
< r.
(x) A. Vamos mostrar que (xn )nN definida

1
n0 +1
< r. Note que todo xn com n > n0 e tal
Corol
ario 2.3.8. Sejam (X, d) um espaco metrico, A X e x X. Se x A, existe uma
sequencia (xn )nN de pontos de A que converge para x.
Proposi
c
ao 2.3.9. Sejam (X, d), (Y, d0 ) espacos metricos e f : X Y uma func
ao. S
ao equivalentes:
(a) f e contnua;
(b) para qualquer (xn )nN sequencia em X convergente para x X, (f (xn ))nN e uma sequencia
convergente em Y para f (x).
Demonstrac
ao. Suponha f contnua. Seja (xn )nN sequencia convergente para x X. Como f e
contnua, existe > 0 tal que f [BX (x)] BY (f (x)). Como x = limn xn , existe n0 tal que,
para todo n > n0 , xn B (x). Logo, para todo n > n0 , f (xn ) BY (f (x)), isto e, (f (xn ))nN
converge para f (x).
Suponha que vale (b) e que f n
ao e contnua em x. Entao existe > 0 tal que, para todo > 0,
/ BY (f (x)). Para cada n N, defina xn tal que xn B X1 (x) e
existe y BX (x) tal que f (y)
n+1
f (xn )
/ BY (f (x)). Note que x = limn xn (exerccio) e que (f (xn ))nN nao e convergente para
f (x) (exerccio), contradic
ao com (b).
Defini
c
ao 2.3.10. Sejam (X, d) um espaco metrico e (xn )nN uma sequencia de pontos de X.
Chamamos (xnk )kN de subsequ
encia de (xn )nN se (nk )kN e uma sequencia crescente de n
umeros
naturais.
Exerccios de 2.3
1. Seja (X, d) um espaco metrico. Seja (xn )nN e (yn )nN duas sequencias em X, ambas convergindo
para x X. Mostre que a sequencia (zn )nN dada por z2n = xn e z2n+1 = yn para todo n N
tambem e uma sequencia convergente para x.
2. Sejam (X, d) um espaco metrico e (xn )nN uma sequencia em X. Dizemos que (xn )nN e quase
constante se existe x e n N tal que xk = x se k > n. Mostre que, nesse caso, (xn )nN converge
para x.
3. Seja X com a metrica discreta. Mostre que as u
nicas sequencias convergentes em X sao as quase
constantes.
4. Mostre que se (xn )nN e uma sequencia convergente num espaco metrico, entao toda subsequencia
sua tambem e convergente (e para o mesmo limite).

OS METRICOS
20
5. Mostre que se uma sequencia (xn )nN num espaco metrico admite duas subsequencias convergentes para pontos distintos, ent
ao (xn )nN nao e convergente.
6. Seja (X, d) um espaco metrico. Se (xn )nN e (yn )nN sao sequencias convergentes para limites
distintos, ent
ao existem n0 N e r > 0 tais que d(xn , yn ) > r para todo n > n0 .
2.4
M
etricas equivalentes
Defini
c
ao 2.4.1. Seja X um conjunto nao vazio. Dizemos que as metricas d1 e d2 sobre X s
ao
equivalentes se, para quaisquer x X e r > 0:
(a) existe s > 0 tal que {y X : d1 (x, y) < s} {y X : d2 (x, y) < r};
(b) existe t > 0 tal que {y X : d2 (x, y) < t} {y X : d1 (x, y) < r};
Exemplo 2.4.2. S
ao metricas equivalentes sobre R2 :
p
(a) d1 (x, y) = (x1 y1 )2 + (x2 y2 )2 ;
(b) d2 (x, y) = |x1 y1 | + |x2 y2 |;
(c) d3 (x, y) = max{|x1 y1 |, |x2 y2 |};
onde x = (x1 , x2 ) e y = (y1 , y2 ). De fato, as equivalencias podem ser facimente demonstradas a
partir das seguintes desigualdades:
p
p
(x1 y1 )2 + (x2 y2 )2 2 max{(x1 y1 )2 , (x2 y2 )2 }
=
2 max{|x1 y1 |, |x2 y2 |}
|x1 y1 | + |x2 y2 | 2 max{|x1 y1 |, |x2 y2 |}
max{|x1 y1 |, |x2 y2 |} |x1 y1 | + |x2 y2 |
p
max{|x1 y1 |, |x2 y2 |} = pmax{|x1 y1 |, |x2 y2 |}2
(x1 y1 )2 + (x2 y2 )2
Proposi
c
ao 2.4.3. Seja X um conjunto n
ao vazio e d1 e d2 duas metricas sobre X. S
ao equivalentes:
(a) d1 e d2 s
ao metricas equivalentes;
(b) (X, d1 ) e (X, d2 ) tem os mesmos abertos.

2.4. METRICAS
EQUIVALENTES
21
Demonstrac
ao. Suponha que d1 e d2 s
ao equivalentes. Vamos mostrar que todo aberto de (X, d1 ) e
um aberto de (X, d2 ). Que todo aberto de (X, d2 ) e aberto de (X, d1 ) e analogo. Seja A um aberto de
(X, d1 ). Seja x A. Como A e aberto em (X, d1 ), existe > 0 tal que {y X : d1 (x, y) < } A.
Como d1 e equivalente a d2 , existe s > 0 tal que {y X : d2 (x, y) < s} {y X : d1 (x, y) < }.
Assim, {y X : d2 (x, y) < t} A e, portanto, A e aberto em (X, d2 ).
Agora suponha (b). Seja x X e r > 0. Como {y X : d1 (x, y) < r} e um aberto de (X, d1 )
e, portanto, de (X, d2 ), existe s > 0 tal que {y X : d2 (x, y) < s} {y X : d1 (x, y) < r}.
Analogamente, mostramos que, para qualquer r > 0, existe s > 0 tal que {y X : d1 (x, y) < s}
{y X : d2 (x, y) < r}.
Proposi
c
ao 2.4.4. Seja (X, d) espaco metrico. Se X e finito, ent
ao d e equivalente `
a metrica
discreta.
Demonstrac
ao. Pela Proposic
ao 2.4.3, basta provarmos que (X, d) e (X, d0 ) tem os mesmos abertos,
onde d0 e a metrica discreta. J
a vimos que todo subconjunto de (X, d0 ) e aberto (Exemplo 2.1.5).
Entao so precisamos mostrar que todo subconjunto de (X, d) e aberto. Para isso, basta mostrarmos
que todo subconjunto de (X, d) e fechado. Como todo subconjunto de X e finito, temos o resultado
pelo exerccio 2 de 2.1.
Exerccios de 2.4
1. Seja X um conjunto n
ao vazio. Mostre que ser equivalente a e uma relacao de equivalencia
sobre as metricas sobre X. Isto e, mostre que, dadas d1 , d2 , d3 metricas sobre X, d1 e equivalente
a d1 ; que, se d1 e equivalente a d2 , entao d2 e equivalente a d1 ; que, se d1 e equivalente a d2 e d2
e equivalente a d3 , ent
ao d1 e equivalente a d3 .
2. Sejam X um conjunto n
ao vazio e d1 e d2 metricas sobre X. Sao equivalentes:
(a) d1 e d2 s
ao equivalentes;
(b) a func
ao f : X X dada por f (x) = x e contnua se considerada de (X, d1 ) em (X, d2 ) e
se considerada de (X, d2 ) em (X, d1 ).
3. Sejam X um conjunto n
ao vazio e d1 e d2 metricas sobre X. Sao equivalentes:
(a) d1 e d2 s
ao equivalentes;
(b) (X, d1 ) e (Xd2 ) tem as mesmas sequencias convergentes.
4. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos. Mostre que as seguintes metricas sao equivalentes
em X1 X2 :
(a) d, onde d e a metrica produto;
(b) d0 dada por d0 ((x1 , y1 ), (x2 , y2 )) = max{d1 (x1 , y1 ), d2 (x2 , y2 )};
p
(c) d00 dada por d00 ((x1 , y1 ), (x2 , y2 )) = d1 (x1 , y1 )2 + d2 (x2 , y2 )2 .

OS METRICOS
22
2.5
1. Sejam (X, d) um espaco metrico e Y X. Mostre que

{A Y : A e aberto em Y } = {B Y : B e aberto em X}
{F Y : F e fechado em Y } = {G Y : G e fechado em X}
2. Refaca a Proposic
ao a 1.3.4 usando a caracterizacao apresentada na Proposicao 2.1.13.
1
3. Considere C = { n+1
: n N} {0} com a metrica usual induzida por R. Seja (X, d) um
espaco metrico. Mostre que um sequencia (xn )nN em X e convergente para um ponto x X
1
se, e somente se, a func
ao f : C X definida por f ( n+1
) = xn e f (0) = x e contnua.
4. Mostre que um subconjunto A de um espaco metrico e fechado se, e somente se, toda sequencia
convergente de pontos de A converge para um ponto de A.
T
5. Sejam (X, d) um espaco metrico e A X. Mostre que A = {F X : F e fechado e A F }.
6. Mostre que todo espaco metrico (X, d) admite uma metrica d0 equivalente a d que torna X
limitado.
7. Considere (X1 , d1 ) e (X2 , Y2 ) espacos metricos e f : X1 X2 funcao contnua. Mostre que
o grafico de f (isto e, o conjunto {(x, f (x)) : x X1 } e fechado em X1 X2 com a metrica
produto (ou em qualquer outra equivalente a esta).
8. Seja uma sequencia (xn )nN tal que, se n 6= m entao xn 6= xm e tal que xn x. Mostre que
x e ponto de acumulac
ao de {xn : n N}. Qual o problema se tirarmos a hipotese de que
dados n 6= m, xn 6= xm ?
9. Seja (X, d) um espaco metrico. Sejam (xn )nN e (yn )nN sequencias em X convergentes para
x e y respectivamente. Mostre que:
(a) limn d(xn , y) = d(x, y)
(b) limn d(xn , yn ) = d(x, y)
Captulo 3
Conexidade
3.1
Conjuntos separados e conjuntos conexos
Defini
c
ao 3.1.1. Seja (X, d) um espaco metrico. Sejam A, B X. Dizemos que A e B s
ao
separados se A B = e A B = .
Exemplo 3.1.2. Os conjuntos ] , 0[ e ]0, +[ sao separados em R com a metrica usual.
Proposi
c
ao 3.1.3. Sejam (X, d) um espaco metrico e A, B X dois subconjuntos n
ao vazios. Se
d(A, B) > 0, ent
ao A e B s
ao separados.
Demonstrac
ao. Vamos mostrar que A B = . Mostrar que A B = e analogo. Seja b B.
Como d(A, B) > 0, d(b, A) > 0. Assim, existe r > 0 tal que Br (b) A = . Logo, b
/ A.
Defini
c
ao 3.1.4. Sejam (X, d) um espaco metrico e A X. Dizemos que A e desconexo se
existem B e C n
ao vazios e separados tais que A = B C. Dizemos que A e conexo caso contr
ario.
Defini
c
ao 3.1.5. Dizemos que I R e um intervalo se para quaisquer a, b I tais que a < b,
temos {x R : a < x < b} I.
Proposi
c
ao 3.1.6. Considere R com a metrica usual. Temos que A R e conexo se, e somente
se, A e um intervalo.
Demonstrac
ao. Suponha A conexo e que nao seja um intervalo. Entao existem a < b < c tais que
a, c A e b
/ A. Considere os seguintes conjuntos A1 = {x A : x < b} e A2 = {x A : x > b}.
Note que A1 , A2 s
ao n
ao vazios e que A = A1 A2 . Note que, como ]b, +[ e ] , b[ sao abertos,
A1 A2 e A1 A2 s
ao vazios, o que contraria o fato de A ser conexo.
Suponha que A seja um intervalo e que nao seja conexo. Entao existem A1 , A2 A nao vazios
e separados tais que A = A1 A2 . Seja x A1 . Vamos mostrar que todo y A tal que y > x e
tal que x A1 . O caso em que y < x e analogo. Note que isso e suficiente ja que isso implica que
A2 = . Seja y A tal que y > x. Suponha que y A2 . Seja a = sup{z [x, y] : z A1 }. Note
que, se a A1 , ent
ao A2 A1 6= . E se a A2 , entao A1 A2 6= . Em ambos os casos, A1 e A2
nao sao separados.
23
24
CAPITULO 3. CONEXIDADE
Proposi
c
ao 3.1.7.
T Seja (X, d)
S espaco metrico. Seja C uma famlia de subconjuntos conexos de X
tal que existe x C. Ent
ao C e conexo.
S
Demonstrac
ao. Sejam A, B separados tais que A B = C. Sem perda de generalidade, suponha
que x A. Seja C C. Note que C A B. Como x S
C, C A 6= . Como
C e conexo,
S
C B = . Assim, para todo C C, C B = . Logo, B C = e, portanto C e conexo.
Defini
c
ao 3.1.8.
S Sejam (X, d) um espaco metrico e x X. Chamamos de componente conexa
de x o conjunto {C X : C e conexo e x C}.
Proposi
c
ao 3.1.9. Sejam (X, d) espaco metrico e x X. A componente conexa de x e um conjunto
conexo que contem x.
Demonstrac
ao. Que a componente conexa contem x e claro ja que {x} e conexo. Que a componente
conexa e de fato um conjunto conexo segue da Proposicao 3.1.7.
Proposi
c
ao 3.1.10. Sejam (X, d) um espaco metrico e x, y X. Se existe um conexo A X tal
que x, y A, ent
ao as componentes conexas de x e de y s
ao iguais.
Demonstrac
ao. Sejam Cx e Cy as componentes conexas de x e y respectivamente. Note que A
Cx , Cy . Logo, x, y Cx Cy . Assim, Cx Cy e conexo (Proposicao 3.1.7). Como Cx Cy e um
conexo que contem x, temos que Cx Cy Cx . Isto e, Cy Cx . Analogamente, Cx Cy . Assim,
Cx = Cy .
Proposi
c
ao 3.1.11. Seja (X, d) espaco metrico. Ent
ao o a famlia C = {C X : existe x X tal
que C e a componente conexa de x} forma uma partic
ao de X.
claro que S C = X (pois cada ponto pertence a sua componente conexa (Proposic
Demonstrac
ao. E
ao
3.1.9). Vejamos que tal famlia e disjunta. Sejam A, B C tais que A B 6= . Seja a tal que A
e a componente conexa de a. Seja x A B. Como A e conexo e x A, temos que a componente conexa de x e igual a A (Proposicao 3.1.10). Por outro lado, como B e conexo e x B, a
componente conexa de x e igual a B. Logo, A = B.
Exerccios de 3.1
1. Sejam (X, d) um espaco metrico. Mostre que X e conexo se, e somente se, nao existirem dois
abertos U, V n
ao vazios, disjuntos e tais que X = U V .
2. Mostre que um espaco metrico (X, d) e conexo se, e somente se, os u
nicos conjuntos que s
ao
abertos e fechados em X s
ao o pr
oprio X e o conjunto vazio.
3. Seja (X, d) um espaco metrico. Sejam A, B X nao vazios e separados. Seja C A B tal que
A C e B C s
ao n
ao vazios. Mostre que A C e B C sao separados (isto e, que C n
ao e
conexo). Mostre por um contraexemplo que as hipoteses de que A C e B C sejam nao vazios
e essencial.

3.2. FUNC
OES
CONTINUAS E CONEXIDADE POR CAMINHOS
25
4. De um exemplo de um espaco metrico (X, d) tal que Br (x) nao seja conexa, para algum r > 0 e
x X.
5. De um exemplo de um espaco metrico (X, d) tal que Br (x) nao seja conexo para todos os r > 0
e x X.
6. Seja (X, d) um espaco metrico. Sejam A, B X nao separados. Se A e conexo e B e conexo,
mostre que A B e conexo (note que isso inclui o caso em que A B 6= ).
7. De um exemplo de A, B conexos tais que A B nao seja conexo. Dica: Procure por exemplos
em R2 .
8. Mostre que num espaco metrico com a metrica discreta, os u
nicos conexos nao vazios s
ao os
conjuntos unit
arios.
9. Generalize a Proposic
ao 3.1.7 da seguinte forma: Seja S
C uma famlia de conexos de X. Se existe
A C tal que, para todo C C, A C 6= , entao C e conexo. Dica: Considere a famlia
D = {C A : C C}.
10. Mostre que o produto cartesiano de dois conexos e conexo. Dica: Considere os conjuntos C(x,y) =
{(a, y) : a X} {(x, b) : b Y }.
3.2
Fun
c
oes contnuas e conexidade por caminhos
Proposi
c
ao 3.2.1. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos. Seja f : X1 X2 uma func
ao
contnua. Se X1 e conexo, ent
ao f [X1 ] tambem e.
Demonstrac
ao. Suponha que f [X1 ] n
ao e conexo. Sejam A, B conjuntos nao vazios, separados
e tais que f [X1 ] = A B. Note que f 1 [A] e f 1 [B] sao dois conjuntos nao vazios tais que
X1 = f 1 [A] f 1 [B]. Vamos mostrar que f 1 [A] e f 1 [B] sao separados. Suponha que exista
x f 1 [A] f 1 [B]. O caso em que existe x f 1 [A] f 1 [B] e analogo. Como x f 1 [A] existe
uma sequencia (xn )nN de pontos de f 1 [B] que converge para x. Como f e contnua, (f (xn ))nN
converge para f (x). Mas isso e contradicao com o fato que f (x) A e que cada f (xn ) B.
Defini
c
ao 3.2.2. Sejam (X, d) um espaco metrico e A X. Dizemos que A e conexo por
caminhos se, para quaisquer a, b A, existe f : [0, 1] A contnua (considerando-se [0, 1] com a
metrica usual) tal que f (0) = a e f (1) = b.
Proposi
c
ao 3.2.3. Sejam (X, d) um espaco metrico e A X. Se A e conexo por caminhos, ent
ao
A e conexo.
Demonstrac
ao. Suponha que A n
ao seja conexo. Entao existem B, C separados e nao vazios tais
que A = B C. Sejam b B e c C. Como A e conexo por caminhos, existe f : [0, 1] A
contnua tal que f (0) = b e f (1) = c. Seja I a imagem de f . Note que I e conexo (Proposic
ao
3.2.1). Por outro lado, I = (I B) (I C). Note que (I B) e (I C) sao nao vazios e separados
(Exerccio 3 de 3.1). Portanto, I n
ao e conexo, contradicao.
26
Proposi
c
ao 3.2.4. Sejam (X, d) e (Y, d0 ) espacos metricos. Se X e conexo por caminhos e f :
X Y e uma func
ao contnua, ent
ao f [X] e conexo por caminhos.
Demonstrac
ao. Sejam x, y f [X]. Sejam a, b X tais que f (a) = x e f (b) = y. Como X e
conexo por caminhos, existe g : [0, 1] X contnua tal que g(0) = a e g(1) = b. Note que
f g : [0, 1] f [X] e uma func
ao contnua tal que (f g)(0) = x e (f g)(1) = y.
Exemplo 3.2.5. Este e um exemplo de que conexidade nao implica conexidade por caminhos.
1
Considere em R2 com a metrica euclidiana os seguintes subespacos A = {( n+1
, y) : n N e y
0} {((x, 0) : x > 0} e B = {(0, y) : y > 0}. Note que A e B sao conexos (na verdade, sao conexos
por caminhos (exerccio)). Defina S = A B (note que (0, 0)
/ S). Vamos mostrar que S e conexo.
Como A e B s
ao conexos, basta mostrarmos que A e B nao sao separados (ver Exerccio 6 de 3.1).
Note que A B, logo A n
ao e separado de B. Vamos agora mostrar que S nao e conexo por
caminhos. Considere os pontos (0, 1), (1, 1) S. Suponha que exista f : [0, 1] S contnua tal
que f (0) = (0, 1) e f (1) = (1, 1). Seja = sup{x [0, 1] : f (x) B}. Temos dois casos:
f () B: Seja r = d(f (), (0, 0)). Como f e contnua, existe > 0 tal que B () Br (f ()).
Seja [0, 1] tal que < < + . Entao f () A Br (f (). Entao f () e da forma
1
1
( n+1
, y) para algum y > 0 e n N. Note que A0 = {(x, y) : x > n+1
} Br (f ()) A e
1
0
B = {(x, y) : x < n+1 } Br (f ()) B sao dois conjuntos nao vazios e separados tais que
A0 B 0 = S Br (f ()). Contradicao, pois S Br (f ()) e a imagem de f restrita a B () e,
portanto, e conexo.
f () A: Seja r = d(f (), B). Note que r > 0. Como f e contnua, existe > 0 tal que
B () Br (f ()). Contradic
ao com o fato que existe B () tal que f () B.
Exerccios de 3.2
1. Seja V um espaco normado e com a metrica induzida pela norma. Dizemos que A V e convexo
se, para todo a, b A, {a + (1 )b : [0, 1]} A. Mostre que todo conjunto convexo e
conexo por caminhos. De um exemplo em que nao vale a volta.
2. Considere Rn com a metrica euclidiana:
(a) Mostre que Rn e conexo;
(b) Mostre que Br (x) e conexo, para qualquer r > 0, x Rn .
3. Mostre o an
alogo ao exerccio anterior, mas para um espaco normado qualquer.
4. S
Mostre que se C e uma famlia de conjuntos conexos por caminhos tal que existe x
C e conexo por caminhos. Generalize como no Exerccio 9 de 3.1.
C, ent
ao

3.3. APLICAC
OES
3.3
27
Aplica
c
oes
Proposi
c
ao 3.3.1. Sejam (X, d) um espaco metrico conexo e f : X R uma func
ao contnua
considerando R com a metrica usual. Ent
ao a imagem de f e um intervalo.
Demonstrac
ao. Como f [X] precisa ser conexo, basta aplicarmos a Proposicao 3.1.6.
Corol
ario 3.3.2 (Teorema do valor intermedi
ario). Seja f uma func
ao contnua de R em R
(R considerado com a metrica usual). Ent
ao, dados x, y R tais que f (x) < f (y), para qualquer
c [f (x), f (y)] existe z R entre x e y tal que f (z) = c.
Proposi
c
ao 3.3.3. R n
ao e homeomorfo a R2 (ambos considerados com a metrica euclidiana).
Demonstrac
ao. Suponha que exista f : R2 R homeomorfismo. Escolha x R2 e considere
2
g : R r{x} Rr{f (x)} dada por g(a) = f (a) para todo a 6= x. Note que g e um homeomorfismo.
Mas isso e uma contradic
ao com o fato que R2 r {x} ser conexo e R r f (x) nao.
Proposi
c
ao 3.3.4. Sejam (X, d) e (Y, d0 ) espacos metricos e f : X Y contnua. Suponha X
conexo e seja A Y . Se existem a, b X tais que f (a) A e f (b) Y r A, ent
ao existe x X
tal que f (x) A.
Demonstrac
ao. Suponha que n
ao. Ent
ao f [X] A = . Considere U = f [X] A e V = f [X] r A.
Entao f [X] = U V . Vejamos que U e V sao separados. Suponha que exista u U V (o outro
caso e analogo). Ent
ao u A e u f [X] r A. Logo, u A. Como u V , u F [X], contradic
ao.
Assim, temos que U e V s
ao separados. Como f [X] e conexo, temos que U ou V e vazio. Mas isso
e uma contradic
ao com o fato que f (a) U e f (b) V .
Exemplo 3.3.5 (no mundo real, literalmente). Considere a superfcie da Terra T com a metrica
usual. Vamos supor que a func
ao t : T R, onde t(x) e a temperatura no local x, seja contnua.
Entao existem dois pontos antpodas1 na Terra que possuem a mesma temperatura. De fato,
considere F : T R dada por F (x) = t(x) t(y) onde y e o ponto antpoda de x. Temos que
F e uma func
ao contnua (a func
ao que leva x no seu antpoda e contnua). Seja x0 um ponto
qualquer em T e seja y0 seu antpoda. Seja f : [0, 1] T uma funcao contnua tal que f (0) = x0
e f (1) = y0 . Note que F (f (0)) = F (f (1)). Assim, pelo Teorema do valor intermediario 3.3.2,
temos que existe r [0, 1] tal que F (f (r)) = 0. Isto e, f (r) e um ponto em que sua temperatura e
a mesma que a do seu antpoda.
Isto e, simetricos em relac

ao ao centro da Terra.
28
Exemplo 3.3.6 (Fun

c
ao base 13 de Conway). Considere os seguintes algarismos numa base
13:
0123456789 + ,
Para cada x R, considere sua expans
ao na base acima. Defina a seguinte funcao f : R R:
+a1 a2 an , b1 b2 bn se a expansao de x na base acima fixada
termina com +a1 a2 an , b1 b2 bn
a1 a2 an , b1 b2 bn se a expansao de x na base acima fixada

f (x) =
termina com a1 a2 an , b1 b2 bn
0
caso contrario
Onde os an s e bn s s
ao algarismos entre2 0 e 9. Note que f e sobrejetora. Mais que isso, dado
qualquer intervalo da forma [a, b] com a < b, f [[a, b]] = R. Note tambem que f e nao contnua em
todo ponto x R. Esta f serve de contraexemplo para a afirmacao que se uma funcao de R em R
leva conexos em conexos, ent
ao ela e contnua.
Exerccios de 3.3
1 Em R, mostre que [0, 1] n
ao e homeomorfo a [0, 1[.
2 Mostre que S 1 = {(x, y) R2 : x2 + y 2 = 1} nao e homeomorfo a subespaco algum de R.
3 Mostre que dados X um espaco metrico conexo e f : X R uma funcao contnua, se existem
f (x) < f (y) para algum x, y X, entao para todo r ]f (x), f (y)[ existe z X tal que f (z) = r.
3.4
1. Dizemos que um espaco metrico X e totalmente desconexo se os u

nicos conexos nao vazios
de X sao os unit
arios.
(a) Mostre que todo espaco com a metrica discreta e totalmente desconexo;
(b) Mostre que Q e totalmente desconexo
2. Seja f : R Q uma func
ao. Mostre que f e contnua se, e somente se, f e constante.
3. Se A e conexo, mostre que A e conexo. Mostre que nao vale a recproca.
ao formalizar-se tal exemplo, deve-se tomar cuidado com as expans

oes decimais que terminem em 9999999... e
com as expans
oes na base 13 fixada que terminem em , , , , , , , , .... Mas isso pode ser feito facilmente.
Captulo 4
M
etricas completas
4.1
Sequ
encias de Cauchy
Defini
c
ao 4.1.1. Sejam (X, d) um espaco metrico e (xn )nN uma sequencia de pontos de X.
Dizemos que (xn )nN e uma sequ
encia de Cauchy se, para todo > 0, existe n0 N tal que, se
n, m > n0 , ent
ao d(xn , xm ) < .
Proposi
c
ao toda sequencia convergente em X e de
Cauchy.
Demonstrac
ao. Sejam (xn )nN e x X tais que limn xn = x. Seja > 0. Como (xn )nN
converge para x, existe n0 tal que para todo n > n0 , d(x, xn ) < 2 . Sejam n, m > n0 . Temos
d(xn , xm ) d(xn , x) + d(xm , x)
< 2 + 2
=
Exemplo 4.1.3. Considere R r {0} com a metrica usual. Entao a sequencia (xn )nN onde cada
1
xn = n+1
e uma sequencia de Cauchy que nao e convergente.
Proposi
c
ao 4.1.4. Seja (X, d) um espaco metrico e Y X um subespaco. Se (xn )nN e uma
sequencia de pontos de Y , ent
ao (xn )nN e uma sequencia de Cauchy em X se, e somente se, e
uma sequencia de Cauchy em Y .
Demonstrac
ao. Suponha (xn )nN de Cauchy em X (em Y ), entao para todo > 0, existe n0 tal
que, se n, m > n0 , ent
ao d(xn , xm ) < . Logo, (xn )nN e de Cauchy em Y (em X).
Corol
ario 4.1.5. Sejam (X, d) um espaco metrico e (xn )nN uma sequencia convergente. Se Y e
um subespaco de X tal que todo xn Y , ent
ao (xn )nN e uma sequencia de Cauchy em Y .
29

CAPITULO 4. METRICAS
COMPLETAS
30
Exemplo 4.1.6. Considere Q com a metrica usual. Como Q = R, para qualquer x R r Q, existe
(xn )nN sequencia de n
umeros racionais tal que xn x. Note que (xn )nN e uma sequencia de
Cauchy em Q, mas que n
ao e convergente em Q.
Proposi
c
ao 4.1.7. Sejam (X, d) espaco metrico e (xn )nN uma sequencia de Cauchy. Se (xnk )kN
e uma subsequencia de (xn )nN , ent
ao (xnk )kN tambem e uma sequencia de Cauchy.
Demonstrac
ao. Seja > 0. Como (xn )nN e de Cauchy, existe n0 tal que, para todo m, n > n0 ,
d(xm , xn ) < . Seja k0 tal que nk0 > n0 . Note que, se p, q > k0 , entao d(xnp , xnq ) < .
Proposi
c
ao 4.1.8. Seja (X, d) um espaco metrico e (xn )nN uma sequencia de Cauchy. Ent
ao
{xn : n N} e um conjunto limitado.
Demonstrac
ao. Seja > 0. Ent
ao existe n0 tal que se m, n > n0 , entao d(xm , xn ) < . Note
que, assim, o conjunto {xn : n > n0 } esta contido na bola B (xn0 +1 ). Logo, e limitado. Note que
{xn : n N} = {xn : n n0 } {xn : n > n0 }. Como {xn : n n0 } e finito, temos que e ele e
limitado. Assim, {xn : n N} e limitado pois e uniao de dois limitados.
Proposi
c
ao 4.1.9. Sejam (X, d) espaco metrico e (xn )nN uma sequencia de Cauchy. Se existe
(xnk )kN subsequencia de (xn )nN que converge para x X, ent
ao (xn )nN converge para x.
Demonstrac
ao. Seja > 0. Como (xn )nN e de Cauchy, existe n1 tal que, para todo m, n > n1 ,
d(xn , xm ) < 2 . Como (xnk )kN e convergente, existe k0 tal que, se k > k0 , entao d(xnk , x) < 2 .
Sejam n0 > n1 , nk0 e nk > n0 . Dado n > n0 , temos:
d(xn , x) d(xn , xnk ) + d(xnk , x)
2 + 2
=
Exerccios de 4.1
1. Seja (X, d) um espaco metrico e sejam (xn )nN e (yn )nN duas sequencias tais que d(xn , yn ) <
para todo n N. Mostre que:
1
n+1
(a) (xn )nN e de Cauchy se, e somente se, (yn )nN e de Cauchy;
(b) limn xn = x se, e somente se, limn yn = x, para algum x X.
2. De um exemplo de uma sequencia limitada que nao seja de Cauchy.
3. Mostre que se f : X Y e uniformemente contnua e (xn )nN e uma sequencia de Cauchy em
X, entao (f (xn ))nN e uma sequencia de Cauchy em Y . De um contraexemplo mostrando que
se supormos f contnua, o resultado nao vale.
4.2. COMPLETUDE
4.2
31
Completude
Defini
c
ao 4.2.1. Seja (X, d) um espaco metrico. Dizemos que (X, d) e um espa
co m
etrico
completo se toda sequencia de Cauchy em X converge para um ponto de X.
Exemplo 4.2.2. Rn com a metrica euclidiana e completo.
Proposi
c
ao 4.2.3. Seja (X, d) um espaco metrico completo. Ent
ao um subsespaco A X e
completo se, e somente se, A e fechado em X.
Demonstrac
ao. Suponha que (A, d) e completo. Seja (an )nN uma sequencia de pontos de A que
converge para x X. Como (an )nN e convergente, (an )nN e de Cauchy. Logo, como A e completo,
o limite de (an )nN pertence a A. Logo, x A. Portanto, pela Proposicao 2.3.7, temos que A e
fechado.
Agora suponha que A e fechado. Seja (xn )nN uma sequencia de Cauchy de pontos de A. Note
que tal sequencia tem um limite em X, ja que X e completo. Tal limite pertence a A pela Proposic
ao
2.3.7 e, portanto, A e completo.
Proposi
c
ao 4.2.4. Sejam (X, d) um espaco metrico e A X tal que A = X. Se toda sequencia
de Cauchy de A tem limite em X, ent
ao X e completo.
Demonstrac
ao. Seja (xn )nN uma sequencia de Cauchy em X. Para cada xp , seja (apn )nN sequencia
de pontos de A tal que limn apn = xp (tal sequencia existe pela proposicao 2.3.8). Para cada
1
p N, seja bp ponto de (apn )nN tal que d(xp , bp ) < p+1
. Vamos mostrar que (bn )nN e uma sequencia
de Cauchy. Seja > 0. Seja n0 tal que
1
n0 +1
< 3 ;
dados m, n > n0 , d(xm , xn ) < 3 ;

Temos, dados m, n > n0 :
d(bm , bn ) d(bm , xm ) + d(xm , bn )
d(bm , xm ) + d(xm , xn ) + d(xn , bn )
<
Assim, (bn )nN e uma sequencia de Cauchy de pontos de A. Logo, existe x X tal que x =
limn bn . Vamos mostrar que x = limn xn . Seja > 0. Seja n0 tal que, se n > n0 ,
d(bn , x) < 2 e que n01+1 < 2 . Temos, dado n > n0 :
d(xn , x) d(xn , bn ) + d(bn , x)
1
< n+1
+ 2
<

COMPLETAS
32
Proposi
c
ao 4.2.5. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos, sendo X2 limitado. Se X2 e completo, ent
ao F(X1 , X2 ) e completo (com a metrica usual).
Demonstrac
ao. Seja (fn )nN uma sequencia de Cauchy em F(X1 , X2 ). Entao, dado > 0, existe
n0 tal que, se m, n > n0 , ent
ao d(fm , fn ) = sup{d2 (fm (x), fn (x)) : x X1 } < 4 . Note que para
cada x X1 , d2 (fm (x), fn (x)) d(fm , fn ). Logo, para cada x X1 , (fn (x))nN e uma sequencia de
Cauchy em X2 . Como X2 e completo, para cada x X1 , existe f (x) X1 tal que fn (x) f (x).
Note que f F(X1 , X2 ). Vamos mostrar que fn f . Dado o fixado acima, note que, para cada
x X1 , existe nx tal que, para todo m > nx , d2 (f (x), fm (x)) < 4 . Logo, para qualquer x X,
temos d2 (f (x), fn (x)) d2 (f (x), fm (x)) + d2 (fm (x), fn (x)) < 2 se n > n0 e m > n0 , nx . Assim,
para n > n0 temos d(f, fn ) = sup{d2 (f (x), fn (x)) : x X1 } < . Ou seja, fn f .
Proposi
c
ao 4.2.6. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos, sendo X2 limitado. Se X2 e completo, ent
ao C(X1 , X2 ) e completo (com a metrica usual).
Demonstrac
ao. Pelas proposic
oes 4.2.5 e 4.2.3, basta mostrarmos que C(X1 , X2 ) e fechado em
F(X1 , X2 ). Seja f F(X1 , X2 ) n
ao contnua. Entao existe x X1 e > 0 tais que, para
qualquer > 0, existe y X1 tal que d1 (x, y) < e d2 (f (x), f (y)) e. Vamos mostrar que
B 2 (f ) C(X1 , X2 ) = . Seja g B 3 (f ) C(X1 , X2 ). Entao sup{d2 (f (x), g(x)) : x X1 } < 3 .
Seja > 0 tal que, para todo y X1 tal que d1 (x, y) < , d2 (g(x), g(y)) < 3 . Seja y X1 tal que
d1 (x, y) < e d2 (f (x), f (y)) . Temos
d2 (f (x), f (y)) d2 (f (x), g(x)) + d2 (g(x), f (y))
d2 (f (x), g(x)) + d2 (g(x), g(y)) + d2 (g(y), f (y))
< 3 + 3 + 3
=
Contradicao com o fato que d2 (f (x), f (y)) .
Defini
c
ao 4.2.7. Sejam (X, d) um espaco metrico e A X. Chamamos de di
ametro de A e
denotamos por diam(A) o sup{d(a, b) : a, b A}.
Proposi
c
ao (X, d) e completo se, e somente se, para
toda famlia (Fn )nN tal que
(a) cada Fn X e fechado;
(b) diam(Fn ) 0;
(c) Fn Fm se n > m.
T
temos que que nN Fn 6= .
Demonstrac
ao. Suponha (X, d) completo. Seja (Fn )nN como acima. Para cada n N, seja xn
Fn . Vamos mostrar que (xn )nN e de Cauchy. Seja > 0. Entao existe n0 tal que diam(Fn ) < se
n > n0 . Assim, dados m, n > n0 temos d(xm , xn ) dim(Fk ) < , onde k = min{m, n} e, portanto,
xm , xn Fk . Assim, como (X, d) e completo, existe x X tal que xn x. Vamos mostrar que
4.3. COMPLETAMENTO DE ESPAC

OS
33
T
x nN Fn . Seja n N. Note que (xk )k>n e uma subsequencia de (xk )kN e, portanto,
T (xk )k>n
converge para x. Como {xk : k > n} Fn e Fn e fechado, temos que x Fn . Logo, x nN Fn .
T
Agora suponha que para todo (Fn )nN como acima, nN Fn 6= . Vamos mostrar que (X, d)
e completo. Seja (xn )nN sequencia de Cauchy. Para cada n N, considere Fn = {xk : k n}.
Vamos mostrar que diam(Fn ) 0. Seja > 0. Entao existe n0 tal que, para todo p, q > n0 ,
d(xp , xq ) < 4 . Logo, se n > n0 , {xk : k > n} B

T4 (xn+1 ) e, portanto, {xk : k > n} B 4 [xn+1 ].
Assim, diam(Fn ) 2 < . Assim, existe x nN Fn . Vamos mostrar que xn x. Seja

> 0. Seja n0 tal que diam(Fn0 ) < . Entao, como xn Fn0 se n > n0 e x Fn0 , temos que
xn B (x).
Exerccios de 4.2
1. Mostre que qualquer X n
ao vazio com a metrica discreta e completo.
2. Mostre que os espacos Q e R r Q s
ao nao completos com as metricas usuais.
3. Mostre que se X e Y s
ao subespacos completos de um mesmo espaco metrico Z (nao necessariamente completo), ent
ao X Y e completo.
1
4. Considere ({ n+1
: n N}, d) onde d e a metrica induzida pela usual de R.
1
(a) Mostre que ({ n+1
: n N}, d) nao e completo;
1
(b) De um exemplo de uma metrica d0 sobre { n+1
: n N} que seja equivalente a d mas tal que
1
0
({ n+1 : n N}, d ) seja completo.
4.3
Completamento de espacos
Defini
c
ao 4.3.1. Seja (X, d) um espaco metrico. Dizemos que (Y, d0 ) e um completamento de
(X, d) se (X, d) e um subsespaco de (Y, d0 ), (Y, d0 ) e completo e X = Y .
Proposi
c
ao 4.3.2. Seja (X, d) um espaco metrico. Sejam (Y, d0 ) e (Z, d00 ) dois completamentos de
(X, d). Ent
ao (Y, d0 ) e (Z, d00 ) s
ao isometricos.
Demonstrac
ao. Para cada y Y , existe (xyn )nN sequencia em X tal que limn xyn = y (pois
X = Y e pela Proposic
ao 2.3.8). Defina f : Y Z por, para cada y Y , f (y) = limn xyn .
Note que a func
ao est
a bem definida ja que (xyn )nN e uma sequencia de Cauchy em (Z, d00 ) e,
portanto, tem limite. Vamos mostrar que f e uma isometria.
injetora: Sejam a, b Y distintos. Como a 6= b, existem n0 e r > 0 tais que d0 (xan , xbn ) > r para todo
n > n0 (Exercicio 6 de 2.3). Note que, para todo n N, d0 (xan , xbn ) = d(xan , xbn ) = d00 (xan , xbn )
ja que cada xan , xbn X. Logo, limn xan 6= limn xbn e, portanto, f (a) 6= f (b).

COMPLETAS
34
sobrejetora: Seja z Z. Pela Proposicao 2.3.8, existe (xn )nN sequencia de pontos de X tal
que limn xn = z. Seja y Y tal que y = limn xn em (Y, d0 ). Vamos mostrar que
f (y) = z. Para isso, basta mostrarmos que limn xyn = limn xn em (Z, d00 ). Note
que, em (Y, d0 ), a sequencia (an )nN dada por a2n = xn e a2n+1 = xyn para cada n N e
uma sequencia convergente para y (Exerccio 1 de 2.3). Logo, e uma sequencia de Cauchy
em (X, d). Portanto, e uma sequencia de Cauchy em (Z, d00 ) e, portanto, convergente. Como
(a2n )nN e uma subsequencia sua convergindo para z, (a2n+1 )nN tambem e uma sequencia
convergente para z.
isometria: Sejam a, b Y . Temos:
d00 (f (a), f (b))
d00 (limn xan , limn xbn )
()
=
=
limn d00 (xan , xbn )

limn d0 (xan , xbn )
()
d0 (limn xan , limn xbn )

d0 (a, b)
=
=
onde () vale pelo Exerccio 9 de 2.5.
Defini
c
ao 4.3.3. Seja X um conjunto nao vazio. Dizemos que d : X X e uma pseudom
etrica
se, dados x, y, z X, temos:
(a) d(x, x) = 0;
(b) d(x, y) = d(y, x);
(c) d(x, y) 0;
(d) d(x, y) d(x, z) + d(z, y).
Lema 4.3.4. Seja X um conjunto n

ao vazio e d uma pseudometrica sobre X. Ent
ao, dados x, y, z
X, se d(x, y) = 0, ent
ao d(x, z) = d(y, z).
Demonstrac
ao. Temos que d(x, z) d(x, y) + d(y, z) = d(y, z). Por outro lado, temos que d(y, z)
d(y, x) + d(x, z) = d(x, z). Assim, d(x, z) = d(y, z).
Exerccio 4.3.5. Seja X um conjunto nao vazio e d uma pseudometrica sobre X. Entao a relac
ao
sobre X dada por x y se d(x, y) = 0 e uma relacao de equivalencia.
Proposi
c
ao 4.3.6. Seja X um conjunto n
ao vazio e d0 uma pseudometrica sobre X. Ent
ao (X/
0
, d) onde d([x], [y]) = d (x, y) e e a relac
ao de equivalencia definida no Exerccio 4.3.5 e um
espaco metrico. Neste caso, chamamos d de m
etrica induzida pela pseudom
etrica d0 .
4.3. COMPLETAMENTO DE ESPAC

OS
35
Demonstrac
ao. Primeiramente, vamos mostrar que d esta bem definida. Isto e, que se x y e
z w, entao d([x], [z]) = d([y], [w]). Temos
d([x], [z])
d0 (x, z)
4.3.4
d0 (y, z)
4.3.4
d0 (y, w)
d([y], [w])
=
=
Sejam x, y, z X. Temos que

(a) se x 6 y, ent
ao d([x], [y]) = d0 (x, y) > 0;
(b) d([x], [x]) = d0 (x, x) = 0;
(c) d([x], [y]) = d0 (x, y) = d0 (y, x) = d([y], [x]);
(d) d([x], [y]) = d0 (x, y) d0 (x, z) + d0 (y, w) = d([x], [z]) + d([y], [z]).
Defini
c
ao 4.3.7. Seja (X, d) um espaco metrico. Seja S(X) = {(xn )nN : tal que (xn )nN e uma
sequencia de Cauchy de pontos de X}.
Proposi
c
ao a func
ao d0 : S(X) S(X) dada por
d0 ((xn )nN , (yn )n ) = limn d(xn , yn ), para (xn )nN , (yn )nN S(X) e uma pseudometrica
sobre S(X).
Demonstrac
ao. Primeiramente, vamos mostrar que d0 esta bem definida, isto e, que dados (xn )nN , (yn )nN
S(X), d0 ((xn )nN , (yn )nN ) e um valor real. Para isso, basta mostrarmos que (d(xn , yn ))nN e uma
sequencia de Cauchy em R. Seja > 0. Seja n1 tal que, para todos n, m > n1 , d(xn , xm ) < 2 . Seja
n2 tal que, para todos n, m > n2 , d(yn , ym ) < 2 . Defina n0 = max{n1 , n2 }. Se n, m > n0 , temos
(supondo d(xn , yn ) > d(xm , ym ), o caso d(xn , yn ) < d(xm , ym ) e analogo):
|d(xn , yn ) d(xm , ym )| =
=
<
d(xn , yn ) d(xm , ym )
d(xn , xm ) + d(xm , yn ) d(xm , ym )
d(xn , xm ) + d(xm , ym ) + d(ym , yn ) d(xm , ym )
d(xn , xm ) + d(ym , yn )
Agora so resta mostrar as condic

oes para d ser uma pseudometrica. Sejam (xn )nN , (yn )nN ,
(zn )nN S(X):
(a) d0 ((xn )nN , (xn )nN ) = limn d(xn , xn ) = 0
(b) d0 ((xn )nN , (yn )nN ) = limn d(xn , yn ) = limn d(yn , xn ) = d0 ((yn )nN ,
(xn )nN );
(c) d0 ((xn )nN , (yn )nN ) = limn d(xn , yn ) 0;
(d) d0 ((xn )nN , (yn )nN ) = limn d(xn , yn ) limn (d(xn , zn ) + d(zn , yn ))
= d0 ((xn )nN , (zn )nN ) + d0 ((zn )nN , (yn )nN ).

COMPLETAS
36
Proposi
c
ao 4.3.9. Considere (X, d) um espaco metrico e (S(X)/ , d0 ) onde d0 e a metrica induzida pela pseudometrica definida na Proposic
ao 4.3.8. Ent
ao (X, d) e (Y, d0 ) s
ao isometricos,
onde Y = {[(xn )nN ] : cada xn = x, x X}. Alem disso, Y = S(X)/ .
Demonstrac
ao. Seja f : X Y dada por f (x) = [(xn )nN ] onde cada xn = x. Note que f
e uma isometria (exerccio). Vamos mostrar que Y = S(X)/ . Seja (xn )nN S(X). Seja
> 0. Vamos mostrar que B ([(xn )nN ]) Y 6= . Como (xn )nN e de Cauchy, existe n0 tal que,
para todo m, n > n0 , d(xn , xm ) < 2 . Entao a sequencia (yk )kN onde todo yk = xn0 +1 e tal que
d0 ((xn )nN , (yn )nN ) < j
a que d(xm , ym ) = d(xm , xn0 +1 ) < 2 para todo m > n0 .
Proposi
c
ao 4.3.10. Dado (X, d) um espaco metrico, (S(X)/ , d0 ) e um espaco metrico completo
0
onde d e a metrica induzida pela pseudometrica definida na Proposic
ao 4.3.8.
Demonstrac
ao. Primeiramente, vamos mostrar que se ([sn ])nN e uma sequencia de Cauchy em
S(X)/ onde cada sn e uma sequencia constantemente igual a um elemento xn X, ent
ao
([sn ])nN e uma sequencia convergente. De fato, considere a sequencia (xn )nN . Tal sequencia e
de Cauchy em X (exerccio). Vamos mostrar que limn [sn ] = ([xk ])kN . Seja > 0. Como
([sn ])nN e de Cauchy, existe n0 tal que, se m, n > n0 , d0 ([sm ], [sn ]) < . Assim, se k > n0 ,
d0 ([xn ], [sk ]) = limp d(xn , xk ) = d0 (sm , sk ) < .
Como, na notac
ao de 4.3.9, Y = S(X)/ , conclumos que S(X)/ e completo pela proposic
ao
4.2.4.
Exerccios de 4.3
1. Mostre que se X e completo ent
ao X e isometrico ao seu completamento.
2. Determine um completamento para os seguintes espacos (com suas respectivas metricas usuais):
(a) [0, 1[;
(b) [0, 1];
(c) Q;
(d) {(x, y) R2 : x 6= 1}.
4.4
1. Sejam (X1 , d1 ) e (X2 , d2 ) espacos metricos e (xn )nN e (yn )nN sequencias em X1 e X2 respectivamente. Mostre que ((xn , yn ))nN e uma sequencia de Cauchy em (X1 X2 , d) (onde d e a
metrica produto) se, e somente se, (xn )nN e (yn )nN sao sequencias de Cauchy.
2. Mostre que o produto de dois espacos completos e completo.
4.4. EXERCICIOS DO CAPITULO 4
37
3. De um exemplo de dois espacos metricos X e Y nao homeomorfos mas que o completamento de

X e o completamento de Y s
ao homeomorfos.
4. Mostre que um espaco metrico X e completo se, e somente se, para todo espaco metrico Y tal
que X e subespaco de Y , X e fechado em Y .
5. Seja (xn )nN uma sequencia de Cauchy. Mostre que se x e ponto de acumulacao de {xn : n N},
entao xn x. De um contraexemplo para mostrar que a hipotese de que (xn )nN e de Cauchy
e necessaria.
38
COMPLETAS
Captulo 5
Compactos
5.1
Defini
c
ao e exemplos
Defini
c
ao 5.1.1. Seja (X, d) um espaco metrico. Dizemos que K X e compacto se toda
sequencia de pontos de K admite uma subsequencia convergente para um ponto de K.
Exemplo 5.1.2. O conjunto [0, 1] e um compacto de R com metrica usual. De fato, seja (xn )nN
sequencia de pontos de [0, 1]. Para cada n N, seja An = {xm : m > n}. Defina an = inf An para
cada n N. Note que an [0, 1]. Seja x = sup{an : n N}. Note que x [0, 1]. Vamos mostrar
que existe uma subsequencia de (xn )nN convergente para x. Tome n0 = 0 e vamos determinar xnk
1
1
. Seja xnk com nk > nk1 tal que d(an , xnk ) < 2k
.
para cada k > 0. Seja ak tal que d(ak , x) < 2k
1
Assim, d(xnk , x) < n para todo n > 1 e, portanto, xnk x.
Exemplo 5.1.3. O conjunto R com a metrica usual nao e compacto ja que (xn )nN onde xn = n
para todo n N n
ao admite subsequencia convergente.
Exemplo 5.1.4. Todo espaco metrico finito e compacto.
Proposi
c
ao 5.1.5. Seja (X, d) espaco metrico compacto. Se Y X e fechado, ent
ao Y e compacto.
Demonstrac
ao. Seja (yn )nN sequencia de pontos de Y . Como X e compacto, existe (ynk )kN
subsequencia convergente para x X. Como Y e fechado, x Y e, portanto, (yn )nN admite
subsequencia convergente para um ponto de Y .
Proposi
c
ao 5.1.6. Seja (X, d) espaco metrico. Se Y X e compacto, ent
ao Y e fechado.
Demonstrac
ao. Suponha Y n
ao fechado. Entao existe (yn )nN sequencia de pontos de Y convergente
para x X r Y . Como Y e compacto, existe (ynk )kN subsequencia convergente para y X. Logo,
x = y e, portanto, x Y , contradic
ao.
39
CAPITULO 5. COMPACTOS
40
Proposi
c
ao 5.1.7. Seja (X, d) um espaco compacto. Ent
ao (X, d) e completo.
Demonstrac
ao. Seja (xn )nN sequencia de Cauchy em X. Entao existe subsequencia convergente
de (xn )nN que e convergente para um ponto x X. Logo (xn )nN tambem converge para x (pela
proposicao 4.1.9).
Exercicios
1. Seja X um espaco com a metrica discreta. Mostre que X e compacto se, e somente se, X e finito.
2. Seja X compacto. Mostre que Y X e compacto se, e somente se, Y e fechado.
3. De um exemplo de um espaco completo que nao seja compacto.
4. Sejam X espaco metrico e A, B X compactos. Mostre que A B e compacto.
5. Mostre que se X e Y s
ao compactos, entao X Y e compacto.
6. Seja X um espaco compacto. Dados A, B X fechados, mostre que, se d(A, B) = 0, ent
ao
A B 6= . De um exemplo que mostra que a hipotese de que X e compacto e necessaria.
5.2
Algumas equival
encias
Proposi
c
ao A X e compacto se, e somente se,
todo subconjunto infinito de A admite um ponto de acumulac
ao em A.
Demonstrac
ao. Suponha A compacto. Seja B A um subconjunto infinito. Para cada n N, seja
xn B tal que, se n 6= m, xn 6= xm . Como A e compacto, existe (xnk )kN subsequencia tal que
xnk x, onde x A. Note que x e ponto de acumulacao de {xnk : k N} (Exerccio 8 de 2.5) e,
portanto, x e ponto de acumulac
ao de B (Exerccio 5 de 2.2).
Agora suponha que todo subconjunto infinito de A admite um ponto de acumulacao em A. Seja
(xn )nN um sequencia de pontos de A. Podemos supor que {xn : n N} e infinito (caso contr
ario,
existiria x A tal que x = xn para infinitos ns e seria imediato construir uma subsequencia
convergindo para x). Como {xn : n N} e infinito, existe x A tal que x e ponto de acumulac
ao
de {xn : n N}. Seja n0 = 0. Suponha definidos nk para k < t. Vamos definir xnt . Seja
1
} {d(x, xnk ) : k < t}). Note que {xn : n N} Br (x) e infinito (Exerccio 3 de
r = min({ t+1
2.2). Assim, podemos tomar nt tal que nt > nk para todo k < t e tal que xnt Br (x). Note que a
subsequencia (xnk )kN converge para x ja que d(x, xnk ) 0 (Proposicao 2.3.3).
Defini
c
ao 5.2.2. Seja (X, d) um espaco metrico. Dizemos que A X e totalmente limitado se,
para todo > 0, existe F A finito tal que
[
B (x) A
xF

5.2. ALGUMAS EQUIVALENCIAS
41
Lema 5.2.3. Seja (X, d) espaco metrico totalmente limitado. Se Y X, ent

ao Y e totalmente
limitado.
Demonstra
c
ao. Seja > 0. Como X e totalmente limitado, existe F X finito tal que X =
S
(x). Para cada x F , se B (x) Y 6= , defina yx B (x) Y . Considere F 0 = {yx : x
B
xF
2
2
2
S
F }. Note que F 0 Y e finito. Vamos mostrar que Y yF 0 B (y). Seja a Y . Como Y X,
existe x F tal que a B 2 (x) Y . Assim, existe yx B 2 (x) Y . Note que a B (yx ).
Proposi
c
ao (X, d) e compacto se, e somente se, (X, d)
e completo e totalmente limitado.
Demonstrac
ao. Suponha (X, d) compacto. Ja temos que (X, d) e completo. Vamos mostrar que e
totalmente limitado. Suponha que n
ao. Seja > 0 para o qual a definicao de totalmente limitado
falha. Seja x0 X. Para cada n N, com n > 0, seja xn X r B (x0 ) B (xn1 ). Note que
sempre podemos tomar tal xn pela escolha do . Como X e compacto, existe (xnk )kN convergente
para algum x X. Absurdo pois d(xnk , xnq ) para qualquer k, q N distintos e, portanto tal
sequencia nao e de Cauchy.
Agora suponha (X, d) completo e totalmente limitado. Seja (xn )nN uma sequencia de pontos
de X. Se {xn : n N} e finito, existe (xnk )kN subsequencia convergente. Vamos supor ent
ao
que {xn : n N} e infinito. Como X e totalmenteSlimitado, {xn : n N} tambem e. Considere
0 = 1 e F0 {xn : n N} tal que {xn : n N} xF0 B0 (x). Note que, para algum xn0 F0 ,
B0 (x0 ) {xn : n N} e infinito. Continuamos este processo fazendo,
para cada k + 1, tomando
S
1
k+1 = k+2
, escolhendo Fk+1 forma que {xn : n > nk } xFk+1 Bk+1 (x). Da escolhemos
xnk +1 Fk+1 de forma que Bk+1 (xnk+1 ) {xn : n > nk } seja infinito. Note que a sequencia
(xnk )kN e uma sequencia de Cauchy e, portanto, convergente.
Corol
ario 5.2.5. Seja (X, d) espaco metrico completo. Ent
ao A X e compacto se, e somente se
A e fechado e totalmente limitado.
Proposi
c
ao 5.2.6. Se (X, d) e um espaco metrico compacto, ent
ao X e limitado.
Demonstrac
ao. Suponha que n
ao. Seja x X. Note que C = {Bn (x) : n N} e um recobrimento
aberto para X. Como X n
ao e limitado, nao existe C 0 C finito que seja recobrimento aberto para
X (para isso, basta notar que Bn1 (x) Bnk = Bn (x) onde n = max{n1 , ..., nk }).
Defini
c
ao 5.2.7. Seja (X, d) um espacSo metrico. Dizemos que uma famlia C de abertos de (X, d)
e um recobrimento aberto de X se C = X.
Exemplo 5.2.8. Temos que C = {] n, n[: n N} e um recobrimento aberto para R com a metrica
usual.
Lema 5.2.9. Seja (X, d) espaco metrico compacto. Seja C recobrimento aberto para X. Ent
ao
existe > 0 tal que, para qualquer x X, existe Cx C tal que B (x) Cx .
42
Demonstrac
ao. Suponha que n
ao. Entao, para cada n N, seja xn tal que B
1
n+1
6 C para todo
C C. Como (X, d) e compacto, existe (xnk )kN subsequencia de (xn )nN convergente para x X.
Seja Cx C tal que x Cx . Como Cx e aberto, existe r > 0, tal que x Br (x) Cx . Como
xnk x, existe k0 tal que k > k0 e n1k < 2r implica que d(x, xnk ) < 2r . Assim,
0
1
nk +1
(xnk ) Br (x) Cx
contrariando a escolha dos xn s.
Proposi
c
ao (X, d) e compacto se, e somente se para
todo C recobrimento aberto de X, existe C 0 C finito tal que C 0 e recobrimento aberto de X.
Demonstrac
ao. Suponha (X, d) compacto. Seja C recobrimento aberto para X. Pelo lema 5.2.9,
existe > 0 tal que, para cada x X, existe Cx tal que BS
e totalmente
(x) Cx . Como (X, d)
limitado (por
ser
compacto),
existe
F
finito
tal
que
X
=
B
(x).
Como
cada
B
(x) Cx ,
xF
S
temos que xF Cx = X.
Agora suponha que para todo C recobrimento aberto de X, existe C 0 C finito tal que C 0 e
recobrimento aberto de X. Para mostrarmos que (X, d) e compacto, basta mostrarmos que todo
subconjunto A X infinito admite ponto de acumulacao em X. Suponha que nao. Isto e, existe
A X infinito tal que A n
ao admite ponto de acumulacao em X. Para cada a A, seja Va aberto
tal que a Va e Va A seja finito (ver exerccio 3 de 2.2). Note que C = {X r A} {Va : a A}
e um recobrimento abertoSpara X. Assim, existe C 0 C finito que e recobrimento aberto para X.
Em particular, A A C 0 . Como cada C C 0 e tal que C A e finito, temos que A e finito.
Contradicao.
Exerccios de 5.2
1. De um exemplo de um conjunto limitado mas que nao seja totalmente limitado.
2. De um exemplo de um conjunto limitado mas que nao seja compacto.
3. Mostre que para A X e tal que A e compacto se, e somente se, para todo subconjunto infinito
de A, existe um ponto de acumulacao em X.
4. Seja (X, d) um espaco metrico. Dizemos que uma famlia F de subconjunto de X tem a propriedade da intersec
c
ao finita (p.i.f.) se, para todo F1 , ..., Fn F, temos que F1 Fn 6= .
Mostre que s
ao equivalentes:
(a) X e compacto;
(b) Para toda famlia F de fechados de X com p.i.f., temos que
F 6= .
Dica: Use a equivalencia para compactos por recobrimentos abertos.

5. Mostre que [0, 1] e compacto usando a equivalencia por recobrimentos abertos.
6. Seja X um espaco metrico completo. Mostre que se A e totalmente limitado, entao A e compacto.

5.3. ALGUMAS APLICAC
OES
5.3
43
Algumas aplica
co
es
Proposi
c
ao 5.3.1. Sejam (X, d) e (Y, d0 ) espacos metricos e f : X Y uma func
ao contnua.
Se X e compacto ent
ao a imagem de f tambem e compacta.
Demonstrac
ao. Vamos usar a proposicao 5.2.10. Seja C um recobrimento aberto para f [X]. Con0
sidere C = {f 1 [C] : C C}. Note que C 0 e um recobrimento aberto para X (pois f e contnua e pela
proposicao 2.1.13). Assim, como X e compacto, existe C 00 C 0 finito que e recobrimento aberto para
X. Considere, para cada C 00 C 00 , CC 00 C tal que f 1 [CC 0 ] = C 00 . Note que {CC 00 : C 00 C 00 } C
e finito e e um recobrimento aberto para Y .
Proposi
c
ao todo compacto K X e fechado e
limitado.
Demonstrac
ao. Basta aplicar as proposicoes 5.2.6 e 5.1.6.
Proposi
c
ao 5.3.3. Em R com a metrica usual, K R e compacto se, e somente se, e fechado e
limitado.
Demonstrac
ao. Se K e compacto, temos que e fechado e limitado pelo resultado anterior. Agora
suponha K fechado e limitado. Como K e fechado, existem a < b R tais que K [a, b]. Note
que [a, b] e compacto (pois e imagem contnua de [0, 1]). Como K e fechado num compacto, temos
que K e compacto.
Proposi
c
ao 5.3.4. Em Rn com a metrica usual, K Rn e compacto se, e somente se, K e fechado
e limitado.
Demonstrac
ao. Segue imediatamente dos dois resultados anteriores e do exerccio 5 de 5.2.
Proposi
c
ao 5.3.5. Seja f : K R contnua, onde K e um espaco metrico compacto e R com
a metrica usual. Ent
ao f atinge seu m
aximo e mnimo (isto e, existem a, b K tais que, para
qualquer x K, f (a) f (x) f (b).
Demonstrac
ao. Como K e compacto, temos que f [K] e compacto. Logo, e fechado e limitado e,
portanto, podemos tomar seu m
aximo e seu mnimo.
Proposi
c
ao 5.3.6. Sejam (X, d) e (Y, d0 ) espacos metricos, sendo Y compacto. Se f : X Y e
uma func
ao contnua, ent
ao f e uniformemente contnua.
Demonstrac
ao. Seja > 0. Para cada x X, existe x > 0 tal que f [Bx (x)] B 2 (f (x)). Note
que {Bx (x) : x X} e um recobrimento aberto para X. Logo, pelo lema 5.2.9, temos que existe
> 0 tal que, para todo a X, existe xa X tal que a B (a) Bxa (xa ). Logo, dados a, b X
tais que d(a, b) < , d(a, xa ), d(xa , b) < xa e, portanto, d0 (f (a), f (x)), d0 (f (x), f (b)) < 2 . Assim,
dados a, b X tais que d(a, b) < , temos
d0 (f (a), f (b)) d0 (f (a), f (xa )) + d0 (f (xa ), f (ba ))
< 2 + 2
= .
44
Exerccios de 5.3
1. Seja K espaco compacto e f : K R contnua (R com a metrica usual). Se f (x) > 0 para todo
x K, mostre que existe c > 0 tal que f (x) c para todo x K. De um exemplo mostrando
que a hip
otese de que K e compacto e necessaria.
2. Dizemos que f : X Y e uma fun
c
ao fechada se, para todo F X fechado, temos que
f [F ] e fechado em Y . Analogamente, dizemos que f : X Y e uma fun
c
ao aberta se f [A] e
aberto para todo A X aberto.
(a) Mostre que se X e compacto e f : X Y e contnua, entao f e fechada. De um exemplo
que mostre que a hip
otese de que X e compacto e necessaria.
(b) Mostre que se f : X Y e fechada e bijetora, entao f e aberta.
(c) Mostre que se X e compacto e f : X Y e contnua e bijetora, entao f e um homeomorfismo.
3. Seja (K, d0 ) um espaco metrico compacto. Considere o conjunto C(K) de todas as func
oes
contnuas de K em R, considerando R com a metrica usual. Mostre que d : C(K) C(K) R
dada por d(f, g) = sup{|f (x) g(x)| : x K} e uma metrica sobre C(K). Esta e a metrica usual
sobre C(K). Dica: Atenc
ao na hora de mostrar que d(f, g) R.
4. Mostre que C(K) com a metrica usual nao e limitado.
5.4
Algumas generaliza
co
es
Defini
c
ao 5.4.1. Seja (X, d) um espaco metrico. Dizemos que X e localmente compacto se,
para todo x X, existe r > 0 tal que Br [x] e compacto.
Exemplo 5.4.2. R com a metrica usual e localmente compacto (e nao e compacto).
Proposi
c
ao 5.4.3. Todo espaco metrico compacto e localmente compacto.
Demonstrac
ao. Basta notar que, para qualquer x X e r > 0, Br [x] e fechado e, portanto,
compacto.
Proposi
c
ao 5.4.4. Seja (X, d) um espaco metrico. S
ao equivalentes:
(a) X e localmente compacto;
(b) para todo x X existe r > 0 tal que, para todo q > 0 tal que q < r, Bq [x] e compacto;
Demonstrac
ao. (a b) Seja x X. Como X e localmente compacto, existe r > 0 tal que Br [x]
e compacto. Note que, se q < r, Bq [x] Br [x]. Como Bq [x] e fechado, temos que Bq [x] e
fechado.

5.4. ALGUMAS GENERALIZAC
OES
45
(b a) Imediato.
Proposi
c
ao 5.4.5. Seja (X, d) um espaco metrico. S
ao equivalentes:
(a) (X, d) e localmente compacto;
(b) para todo x X, existe A aberto tal que x A e A e compacto.
Demonstrac
ao. (a b) Sejam x X e r > 0 tal que Br [x] e compacto. Note que x Br (x)
Br (x) Br [x] e que Br (x) e compacto (pois e fechado num compacto).
(b a) Sejam x X e A aberto tal que x A e A e compacto. Seja r > 0 tal que B2r (x) A.
Note que Br [x] A A e, portanto, Br [x] e compacto.
1
Exemplo 5.4.6. { n+1
: n N} com a metrica usual induzida por R e localmente compacto mas
nao e completo.
Defini
c
ao 5.4.7. Dizemos que um espaco metrico (X, d) e um espa
co de Lindel
of se, para todo
recobrimento aberto C, existe C 0 C enumeravel1 que seja recobrimento aberto para X.
Proposi
c
ao 5.4.8. Todo espaco compacto e de Lindel
of.
Demonstrac
ao. Imediato a partir da proposicao 5.2.10.
Proposi
c
ao 5.4.9. Seja (X, d) espaco de Lindel
of. Se F X e fechado, ent
ao F e de Lindel
of2 .
Demonstrac
ao. Seja C recobrimento aberto para F . Para cada C C, existe AC aberto em X tal
que AC F = C. Seja A = {AC : C C} {X r F }. Note que A e um recobrimento aberto para
X. Como (X, d) e de Lindel
of, existe A0 A recobrimento aberto enumeravel para X. Note que
0
0
C = {C C : AC A } e um recobrimento aberto enumeravel para F .
Proposi
c
ao (X, d) e de Lindel
of se, e somente se,
existe uma famlia enumer
avel B de abertos de (X, d) tal que, para qualquer x X e A aberto tal
que x A, existe B B tal que x B A.
1
Dizemos que um conjunto A e enumer

avel se ele e finito ou existe uma bijeca
o entre ele e o conjunto N.
Vamos ver mais adiante que qualquer subespaco de um espaco metrico de Lindel
of e de Lindel
of. Essa demonstraca
o fica aqui como exemplo de como se mostrar o resultado an
alogo para compactos via recobrimentos abertos.
2
46
Demonstrac
ao. Seja B uma famlia como no enunciado. Seja C um recobrimento
aberto para X.
S
Para cada x X, sejam Bx B e Cx C tais que x Bx Cx . Note que xX Bx = X. Note
tambem que B 0 = {Bx : x X} e enumeravel ja que e subconjunto de B. ParaScada B B 0 , seja
CB C tal que B CB . Seja C 0 = {CB : B 0 }. Note que C 0 e enumeravel e que C 0 = X.
Agora suponha (X, d) de Lindel
of. Para cada n N, seja Bn = {B
1
n+1
(x) : x X}. Note que
0
Bn e um recobrimento aberto para X. Como
S (X, d)0 e de Lindelof, existe Bn Bn enumeravel que
e recobrimento aberto para X. Seja B = nN Bn . Vamos mostrar que B satisfaz o enunciado.
Primeiramente, note que B e enumer
avel (pois e uniao enumeravel de enumeraveis). Sejam x X
e A aberto tais que x X. Como A e aberto, existe r > 0 tal que Br (x) A. Seja n N tal que
2
0
0 e recobrimento para X, existe B
1 (y) Bn tal que x B 1 (y). Note que
n+1 < r. Como Bn
n+1
1
n+1
n+1
(y) A.
Exemplo 5.4.11. R com a metrica usal e um espaco de Lindelof nao compacto. Para isso, basta
notar que B = {]a, b[: a < b Q} satisfaz a proposicao 5.4.10.
Exerccios de 5.4
1. De um exemplo de um espaco localmente compacto X e Y X que nao seja localmente compacto.
2. Mostre que se X e localmente compacto e Y X e fechado, entao Y e localmente compacto.
3. Seja (X, d) espaco metrico. Seja A X aberto nao vazio.
(a) Mostre que, para todo a A, existe r > 0 tal que Br [x] A.
(b) Mostre que, se (X, d) e localmente compacto, entao A e localmente compacto.
4. Sejam (X, d) e (Y, d0 ) espacos metricos. Seja f : X Y uma funcao contnua. Mostre que se
X e de Lindel
of, ent
ao f [X] e de Lindelof.
5.5
1. Mostre que (X, d) e totalmente limitado se, e somente se, seu completamento e compacto.
2. De um contraexemplo para a afirmacao: Se f : X Y e contnua e X e localmente compacto,
entao f [X] e localmente compacto.
3. Mostre que se f : X Y e um homeomorfismo, entao X e localmente compacto se, e somente
se, Y e localmente compacto.
Captulo 6
Subespa
cos densos
6.1
Conceitos b
asicos
Defini
c
ao 6.1.1. Seja (X, d) um espaco metrico. Dizemo que Y X e denso em X se Y = X.
Exemplo 6.1.2. Q e denso em R (com a metrica usual).
Proposi
c
ao X e denso em algum espaco metrico completo.
Demonstrac
ao. Basta tomar o completamento de X.
Proposi
c
ao 6.1.4. Sejam (X, d), (Y, d0 ) espacos metricos e f : X Y , g : X Y func
oes
contnuas. Seja S X denso em X. Se, para todo s S, f (s) = g(s), ent
ao f (x) = g(x) para todo
x X.
Demonstrac
ao. Seja x X. Temos que, como x S, existe (sn )nN sequencia de pontos de S
tal que sn x (Corol
ario 2.3.8). Como f e g sao contnuas, temos, pela proposicao 2.3.9, que
f (sn ) f (x) e g(sn ) g(x). Como cada f (sn ) = g(sn ) temos, pela unicidade dos limites, que
f (x) = g(x).
Proposi
c
ao 6.1.5. Sejam (X, d) espaco metrico e S X denso em X. Se D S e denso em S,
ent
ao D e denso em X.
Demonstrac
ao. Seja x X. Vamos mostrar que, para todo r > 0, existe d D tal que d Br (x)
(note que isso mostra que D = X). Seja r > 0. Como S e denso em X, existe s S tal que s
B r2 (x). Como D e denso em S, existe d D tal que d B r2 (s). Assim, d(x, d) d(x, s)+d(s, d) < r.
Logo, d Br (x) como queramos.
47
CAPITULO 6. SUBESPAC
OS DENSOS
48
Proposi
c
ao 6.1.6. Sejam (X, d) espaco metrico e A, B X abertos densos em X. Ent
ao A B
e um aberto denso em X.
claro que A B e aberto. Vamos mostrar que e denso. Sejam x X e r > 0.
Demonstrac
ao. E
Precisamos mostrar que Br (x) A B 6= . Como A e denso, existe a A Br (x). Como A e Br (x)
sao abertos (e, portanto, A Br (x) tambem), existe s > 0 tal que Bs (a) A Br (x). Como a B
(pois B e denso), existe b Bs (a) B. Note que b Br (x) A B (pois Bs (a) A Br (x)).
Exemplo 6.1.7. R r F , onde F e um conjunto finito, e um aberto denso em R.
Defini
c
ao 6.1.8. Dizemos que um espaco metrico (X, d) e separ
avel se existe um subconjunto
enumeravel denso em X.
Exemplo 6.1.9. R e um espaco separ

avel ja que Q e um denso enumeravel em R.
Proposi
c
ao 6.1.10. Seja (X, d) um espaco metrico separ
avel. Ent
ao existe um conjunto B enumer
avel de abertos de X tal que, se A X e aberto e x A, ent
ao existe B B tal que x B A.
Demonstrac
ao. Seja D denso enumer
avel em X. Para
S cada d D, seja Bd = {Bq (d) : q Q, q > 0}.
Note que cada Bd e enumer
avel e, portanto, B = dD Bd e enumeravel. Vamos mostrar que B
satisfaz o enunciado. Sejam A X aberto e x A. Como A e aberto, existe r > 0 tal que
Br (x) A. Como x D, existe d B r2 (x) D. Seja q Q tal que d(d, x) < q < 2r . Note que
Bq (d) Bd , x Bq (d) e Bq (d) Br (x) A.
Proposi
c
ao 6.1.11. Seja (X, d) um espaco metrico separ
avel. Ent
ao (X, d) e de Lindel
of.
Demonstrac
ao. Imediato a partir da proposicao anterior e da proposicao 5.4.10.
Exerccios de 6.1
1. Seja X com a metrica discreta. Mostre que o u
nico denso em X e o proprio X.
2. De um contraexemplo para a afirmacao interseccao de dois densos e denso.
3. Sejam (X, d) um espaco metrico e Y X. Mostre que sao equivalentes:
(a) Y e denso;
(b) para todo x X e r > 0, Br (x) Y 6= .
(a) Y e denso;
(b) para todo A X aberto n
ao vazio, A Y 6= .
6.2. ESPAC
OS DE BAIRE
49

(a) Y e denso;
(b) para todo x X d(x, Y ) = 0.
6. Mostre que X r {x} e denso em X se, e somente se, {x} nao e aberto.
7. Mostre que vale a volta da proposicao 6.1.10 e, portanto, a de 6.1.11 tambem.
8. Mostre que todo subespaco de um espaco separavel e separavel. Dica: use a proposicao 6.1.10.
9. Mostre que todo espaco compacto e separavel.
6.2
Espa
cos de Baire
Defini
c
ao 6.2.1. Dizemos que um espa
co de Baire se, para qualquer
T co metrico (X, d) e um espa
famlia (Dn )nN de abertos densos, nN Dn e denso.
Lema 6.2.2. Seja (X, d) um espaco metrico. Se A e aberto e x A ent

ao existe r > 0, tal que
Br (x) A.
Demonstrac
ao. Como A e aberto, existe r > 0 tal que B2r (x) A. Note que Br (x) Br [x]
B2r (x) A.
Lema 6.2.3. Seja (X, d) um espaco metrico. Sejam (xn )nN sequencia de pontos de X e (rn )nN
sequencia de n
umeros reais positivos tais que:
(a) Brn+1 (xn+1 ) Brn (xn ) para todo n N;
(b) rn 0.
Ent
ao (xn )nN e uma sequencia de Cauchy.
Demonstrac
ao. Seja > 0. Existe n0 tal que, para todo n0 , rn0 < 2 . Note que, para todo n > n0 ,
xn Br0 (xn0 ). Assim, dados n, m > n0 , temos
d(xm , xn ) d(xm , xn0 ) + d(xn , xn0 )
< 2 + 2
=
Teorema 6.2.4 (de Baire para espa

cos completos). Se (X, d) e um espaco metrico completo,
ent
ao (X, d) e um espaco de Baire.
OS DENSOS
50
Demonstrac
ao. Seja (Dn )n famlia
T de abertos densos. Seja A aberto nao vazio. Pelo exerccio 4
de 6.1, basta mostrarmos que A nN Dn 6= . Vamos definir (xn )nN sequencia de pontos de X
e (rn )nN sequencia de reais positivos de forma que, para todo n N:
(a) Brn (xn ) Dn ;
(b) Brn+1 (xn+1 ) Brn (xn );
(c) rn <
1
n+1 ;
(d) Br0 (x0 ) A.

Como A D0 e aberto n
ao vazio, pelo lema 6.2.2 existem x0 A e r0 R tais que 0 < r < 1 tais
que Br0 (x0 ) A D0 . Suponha definidos x0 , ..., xn e r0 , ..., rn . Vamos definir xn+1 e rn+1 . Como
1
ao vazio, existem xn+1 e rn+1 tais que 0 < rn+1 < n+2
Brn (xn ) Dn+1 e aberto n
e Brn+1 (xn+1 )
Brn (xn ) Dn+1 . Note que (xn )nN e (rn )nN assim definidas satisfazem as condicoes desejadas.
Note que, pelo lema 6.2.3, (xn )nN e uma sequ
encia de Cauchy. Como X e completo, existe x X
T
tal que xn x. Vamos mostrar que x A nN Dn . Note que isso termina a demonstrac
ao.
Por (a) e (d), basta mostrarmos que x Brn (xn ) para todo n N. Como x {xk : x > n}, temos
o resultado.
Teorema 6.2.5 (de Baire para espa
cos compactos). Se (X, d) e um espaco metrico compacto,
ent
ao (X, d) e um espaco de Baire.
Demonstra
ao. Seja (Dn )n famlia de abertos densos e seja A aberto nao vazio. Vamos mostrar
T c
que A n Dn 6= . Por induc
ao sobre n N, vamos construir uma famlia (xn )nN de pontos
de X e uma famlia (rn )nN de reais positivos de forma que, para todo n N:
(a) Br0 (x0 ) A;
(b) Brn+1 (xn+1 ) Br (xn );
(c) Brn (xn ) Dn .
Como A D0 e aberto n
ao vazio, pelo lema existem x0 X e r0 > 0 tais que Br0 (x0 ) A D0 .
Agora suponha que rn e xn est
ao definidos. Como Brn (xn ) Dn+1 e um aberto nao vazio (pois
Dn+1 e aberto denso), pelo lema existem xn+1 e rn+1 > 0 tais que Brn+1 (xn+1 ) Brn (xn ) Dn+1 .
Note que est
ao satisfeitas as condic
oes sobre a famlia.
Note que (Brn (xn ))nN e uma T
famlia de fechados. Vamos mostrar que ela satisfaz a p.i.f..
Para isso, temos que mostrar que ki=1 Brni (xni ) 6= para qualquer n1 , ...., nk N. Sem perda
de generalidade, suponha que nk n1 , ..., nk . Note que Brnk (xnk ) Brni (xni ) para qualquer
T
i = 1, ..., k (pela propriedade (b)). Logo, xnk ki=1 Brni (xni ). Como X e compacto, pelo exerccio
T
T
4 de 5.2, existe x nN Brn (xn ). Note que x A nN Dn .
Exerccios de 6.2
1. Mostre que Q com a metrica usual nao e um espaco de Baire.
2. Mostre que todo espaco localmente compacto e um espaco de Baire.
6.3. EXERCICIOS DO CAPITULO 6
6.3
51
1. Mostre que todo subespaco de um espaco de Lindelof e de Lindelof.

2. Mostre que todo subespaco de um compacto e separavel.
3. Seja (X, d) espaco metrico n
ao separavel. Mostre que X nao e subespaco de nenhum Y metrico
compacto.
4. Dizemos que Y X e um conjunto raro se, para todo x Y , nao existe r > 0 tal que
Br (x) Y . Dizemos que Z X e um
S conjunto magro se existe uma famlia (Yn )nN de
conjuntos raros em X tais que Z = nN Yn . Alternativamente, dizemos que um conjunto
magro e um conjunto de primeira categoria e todo conjunto nao magro e dito um conjunto
de segunda categoria.
(a) Mostre que Y X e raro em X se, e somente se, X r Y e denso em X.
(b) (Teorema de Baire em termos de Categoria) Mostre que todo espaco de Baire e de
segunda categoria.
5. De um exemplo de um espaco enumeravel de segunda categoria. Como sao os conjuntos raros
neste exemplo?
52
OS DENSOS
Captulo 7
Algumas aplica
co
es
7.1
Espa
cos completamente metriz
aveis
Defini
c
ao 7.1.1. Dizemos que um espaco metrico (X, d) e completamente metriz
avel se existe
d0 metrica sobre X tal que d e d0 s
ao equivalentes e (X, d0 ) e completo.
Exemplo 7.1.2. Todo espaco metrico completo e completamente metrizavel.
Exerccio 7.1.3. Mostre que se (X, d) e homeomorfo a (Y, d0 ) e (Y, d0 ) e completo, entao (X, d) e
completamente metriz
avel.
1
Exemplo 7.1.4. Considere o conjunto { n+1
: n N} com a metrica induzida pela usual de R. Note
que tal espaco n
ao e completo. Mas, se considerarmos tal espaco com a metrica discreta, temos que
ele e completo. Note que ambas as metricas sao equivalentes (pois tem os mesmos abertos). Assim,
este e um exemplo de um espaco n
ao completo que admite uma metrica completa equivalente.
Proposi
c
ao 7.1.5. Seja (X, d) um espaco metrico completo. Seja A X aberto. Ent
ao A com a
metrica de subespaco e completamente metriz
avel.
Demonstrac
ao. Para cada x X, considere g(x) = d(x, X r A). Note que g e contnua (exerccio).
Note tambem que, para qualquer a A, g(a) > 0 (Proposicao 2.2.10). Assim, f : A R dada por
1
f (a) = g(a)
e contnua. Considere G = {(x, f (x)) : x A} X R. Temos que X R e completo
(Exerccio 2 de 4.4). Vamos mostrar que G e fechado. De fato, G = {(x, y) X R : yg(x) = 1} que
e fechado ja que g e contnua (exerccio). Assim, G com metrica produto e completo (Proposic
ao
4.2.3). Como h : A G dada por h(x) = (x, f (x) e um homeomorfismo, temos que A admite
uma metrica completa (exerccio). A saber, a metrica e d0 (a, b) = d(a, b) + |f (a) f (b)| (que e a
metrica induzida pela produto X R).
53
54
CAPITULO 7. ALGUMAS APLICAC

OES
Exerccio 7.1.6. Sejam (X, d) espaco metrico completo e k R, k > 0. Mostre que existe d0
metrica completa e equivalente a d tal que, para todo a, b X, d0 (a, b) k.
Exerccio 7.1.7. Seja ((Xn , dn ))nN

lia de espacos metricos tal que, se anP
, bn Xn , ent
ao
Q uma famQ
R
dada
por
d(a,
b)
=
d
(a
,
b
),
dn (an , bn ) 21n . Mostre que d : nN Xn
n
n
n
n
i=1
Q iN
Q
onde a = (a0 , ..., an , ...), b = (b0 , ..., bn , ...) nN Xn , e uma metrica sobre nN Xn .
Exerccio 7.1.8. Seja ((Xn , dn ))nN uma famlia

ao
Q de espacos metricos tal que, se an , bn Xn , ent
dn (an , bn ) 21n . Considere d aQmetrica sobre
X
definida
no
exerc
cio
7.1.7.
Se
cada
d
e
n
n
n=0
X
,
d)
e
completo.
uma metrica completa, ent
ao (
n=0 n
Proposi
ao 7.1.9. Seja (X, d) espaco metrico completo. Para cada n N, seja An X aberto.
T c
avel.
Ent
ao nN An e completamente metriz
Demonstrac
ao. Pela Proposic
ao 7.1.5, para cada n N, existe dn metrica equivalente `a induzida
por d que torna An completo. Pelo exercicio 7.1.6, podemos
dn limitada por 21n . Assim,
Q supor cada
0
0
sendo d a metrica definida no exerc
T temos que ( nN An , d ) e completo (Exerccio 7.1.8).
Q cio 7.1.7,
e fechado (exerccio) e, portanto,
:
a
Considere = {(a, ..., a,T...)

nN An }. Note que
nN
completo.
Note que f : nN An dada por f (a) = (a, ..., a, ...) e um homeomorfismo. Logo,
T
A
admite
uma metrica completa equivalente a induzida por d.
nN n
Proposi
c
ao 7.1.10. Considerando R com a metrica usual, R r Q e um espaco de Baire.
Demonstrac
ao. Note que ser um espaco de Baire pode ser definido em termos de abertos, logo,
se (X, d) e (X, d0 ) s
ao tais que d e d0 sao equivalentes, entao (X, d) e de Baire se, e somente se,
0
(X, d ) e de Baire (exerccio). Assim, s
o precisamos mostrar que existe uma metrica d sobre R r Q
equivalente a usual de forma que (R r Q, d) T
seja completo. Pela Proposicao 7.1.9, basta mostrarmos
que existe (An )nN abertos em R tais que nN An = R rTQ. De fato, escreva Q = {xn : n N}.
Para cada n N, seja An = R r {xn }. Note que R r Q = nN An .
Exerccios de 7.1
1. Mostre que R r E onde E e um conjunto enumeravel qualquer e um espaco completamente
metrizavel.
2. Mostre que n
ao existe uma metrica completa sobre os racionais que seja equivalente a usual.
3. Mostre que n
ao existe (An )nN famlia de abertos em R tal que Q =
nN An .

7.2. ESPAC
OS DE FUNC
OES
7.2
55
Espa
cos de fun
co
es
Defini
c
ao 7.2.1. Sejam (X, d) e (Y, d0 ) espacos metricos. Seja (fn )nN sequencia de funcoes de X
em Y . Seja f : X Y . Dizemos que (fn )nN converge uniformemente para f se, para todo
> 0, existe n0 tal que, para todo n > n0 e x X, d0 (fn (x), f (x)) < .
Proposi
c
ao 7.2.2. Sejam (X, d) e (Y, d0 ) espacos metricos. Seja (fn )nN sequencia de func
oes que
converge uniformemente para f : X Y . Se cada fn e contnua, ent
ao f e contnua.
Demonstrac
ao. Vamos mostrar que f e contnua em x X. Seja > 0. Como (fn )nN converge
uniformemente para f , existe n0 tal que, para todo n > n0 , d0 (f (y), fn (y)) < 3 para todo y X.
Fixe n > n0 . Como fn e contnua, existe > 0 tal que, para todo y X tal que d(x, y) < , temos
d0 (fn (x), fn (y)) < 3 . Assim, dado y X tal que d(x, y) < , temos:
d0 (f (y), f (x)) d0 (f (y), fn (y)) + d0 (fn (y), f (x))
d0 (f (y), fn (y)) + d0 (fn (y), fn (x)) + d0 (fn (x), f (x))
< 3 + 3 + 3
=
Proposi
c
ao 7.2.3. Seja (K, d) um espaco metrico compacto. Ent
ao C(K) e um espaco completo.
Demonstrac
ao. Seja (fn )nN sequencia de Cauchy de funcoes de C(K). Isto e, para todo > 0, existe
n0 tal que, para todo m, n > n0 , sup{|fn (x) fm (x)| : x K} < . Note que, para cada x K, a
sequencia (fn (x))nN e uma sequencia de Cauchy em R. Portanto, para cada x K, existe f (x) tal
que fn (x) f (x). Vamos mostrar que (fn )nN converge uniformemente para f . Seja > 0. Como
(fn )nN e uma sequencia de Cauchy, existe n0 tal que, para todo m, n > n0 , sup{|fn (x)fm (x)| : x
K} < 4 . Fixe x K. Como fn (x) f (x), existe nx > n0 tal que, se m > nx , |f (x) fm (x)| < 4 .
Note que, dado n > n0 temos que |fn (x) f (x)| |fn (x) fm (x)| + |fm (x) f (x)| < 2 (o m
considerado e tal que m > nx ). Logo, para n > n0 , temos
sup{|fn (x) f (x)| : x K}
<
2
Assim, (fn )nN converge para f uniformemente. Logo, f e contnua (Proposicao 7.2.2), isto e,
f C(K). Note tambem que d(f, fn ) = sup{|fn (x) f (x)| : x K}, logo fn f em C(K).
Defini
c
ao 7.2.4. Seja (X, d) um espaco metrico. Dizemos que A C(X) e uma
algebra se, para
cada f, g A, e R temos que:
(a) f g A (A e fechado pelo produto de funcoes);
(b) f, f + g A (A e um espaco vetorial sobre R).
Dados f, g A, definimos, para cada x X:
(f g)(x) = min{f (x), g(x)}
(f g)(x) = max{f (x), g(x)}

OES
56
Defini
c
ao 7.2.5. Seja (X, d) um espaco metrico. Dizemos que F C(X) separa pontos se,
dados x, y X distintos existe f F tal que f (x) 6= f (y).
Lema 7.2.6. Seja (K, d) um espaco metrico compacto. Seja A C(K) uma
algebra que separa
pontos. Ent
ao, dados , R e x, y K distintos, existe f A tal que f (x) = e f (y) = .
Demonstrac
ao. Como A separa pontos, existe g A tal que g(x) 6= g(y). Note que f : K R
dada por
g(x) g(y)
f (z) =
g(z) +
g(x) g(y)
g(x) g(y)
para z K e tal que f A e f (x) = e f (y) = .
algebra que separa
pontos, que contem as func
oes constantes e tal que se f, g A, f g, f g A. Sejam R,
F K fechado p K r F . Ent
ao existe f A tal que f (x) para todo x K, f (p) = e
f (x) > se x F .
Demonstrac
ao. Para cada x F , pelo lema 7.2.6, existe fx A tal que fx (p) = e fx (x) = + 1.
Seja Ux = {y K : fx (y) > }. Note que cada Ux e aberto (exerccio) e que C = {Ux : x F }
e um recobrimento aberto
S para F . Como F e compacto (Proposicao 5.1.5), temos que existem
x1 , ..., xn F tais que ni=1 Uxi F . Considere g C(k) dada por g = fx1 fxn . Note que
g(x) > para todo x F e que g(p) = . Considere h A constante igual a . Note que f = g h
satisfaz o enunciado.
Lema 7.2.8. Seja (K, d) um espaco metrico compacto. Seja F C(K) uma famlia de func
oes
tais que se f, g F, f g, f g F. Suponha que a func
ao h : K R dada por
h(x) = inf f (x)
f F
seja contnua. Ent

ao, dado > 0, existe g F tal que 0 g(x) h(x) < para todo x K.
Demonstrac
ao. Para cada x K, existe uma funcao fx A tal que fx (x) < h(x) + 3 . Como fx e
h sao contnuas, existe um aberto Ux que contem x tal que
|fx (y) fx (x)| <
e |h(y) h(x)| <

3
3
para todo y Ux . Assim, dado y Ux , temos

fx (y) h(y) = |fx (y) h(y)|
|fx (y) fx (x)| + |fx (x) h(x)| + |h(x) h(y)|
<
Note que C = {Ux : x S
K} e um recobrimento aberto para K, que e compacto. Logo, existem
x1 , ..., xn K tais que ni=1 Uxi = K. Seja g = fx1 fxn . Note que g A. Seja y K. Vamos
mostrar que g(y) h(y) < . De fato, seja xi tal que y Uxi . Temos
g(y) h(y) fxi (y) h(y) < .

7.2. ESPAC
OS DE FUNC
OES
57
algebra que separa
pontos, que contenha as func
oes constantes e tal que se f, g A, f g, f g A. Ent
ao, para
qualquer g C(K) e para qualquer > 0 existe f A tal que, para todo x K, 0 f (x)g(x) < .
Demonstrac
ao. Seja g C(K). Considere F = {f A : f (x) g(x) para todo x K}. Vamos
mostrar que g(p) = inf f F f (p) para cada p K. Seja > 0. Como g e contnua, o conjunto
F = {x K : g(x) g(p) + }
e fechado. Como K e compacto, g e limitada em K. Seja M tal que g(x) < M para todo x K.
Pelo Lema 7.2.7, existe f A tal que
f (p) = g(p) + ;
f (x) g(p) + para todo x K;
f (x) > M para todo x F .
Como g(x) < g(p) + para todo x K r F , g(x) f (x) para todo x K. Assim, f F e
f (p) g(p) + . Como e arbitr
ario, g(p) = inf{f (p) : f F}.
Assim, podemos aplicar o Lema 7.2.8 e obtemos o resultado.
Lema 7.2.10. Dado > 0, existe um polin
omio p : R R tal que, para qualquer x [1, 1],
|p(x) |x|| < .
Teorema 7.2.11 (de Stone-Weierstrass). Seja (K, d) um espaco metrico compacto. Seja A
C(K) uma
algebra que separa pontos e que contenha as func
oes constantes. Sejam f C(K) e
> 0. Ent
ao existe g A tal que, para todo x K, |g(x) f (x)| < .
Demonstrac
ao. Note que A e uma
algebra em C(K). Assim, se mostrarmos que, dados f, g A,
f g, f g A, teremos o resultado pelo lema 7.2.9. Seja f A tal que sup{|f (x)| : x K} 1.
Assim, dado > 0, se p(x) e o polin
omio dado pelo lema 7.2.10, temos que ||f (x)| p(f (x))| < .
Como A e uma
algebra que contem as funcoes constantes, temos que p f A. Assim, como A e
fechado, temos que a func
ao dada por |f (x)| para x K e um elemento de A.
Note que se f A, a func
ao g(x) = f( (x))sup |f (y)| : y K e tal que sup |g(x)| : x K 1.
Assim, a func
ao dada por |g(x)| para x K e um elemento de A e, portanto, a funcao dada por
|f (x)| para x K tambem. Ou seja, f A, entao a funcao dada por |f (x)| para x K tambem e
um elemento de A.
Finalmente, dadas f, g A. Note que, dado x K, temos
1
1
(f g)(x) = (f (x) + g(x)) + |f (x) g(x)|
2
2
1
1
(f g)(x) = (f (x) + g(x)) |f (x) g(x)|
2
2
Assim, pelo fato de A ser uma
algebra, temos que f veeg, f g A.
Corol
ario 7.2.12 (Teorema de Weierstrass). Toda func
ao contnua definida num subespaco
n
fechado e limitado de R e limite uniforme de uma sequencia de polin
omios.
Demonstrac
ao. Basta notar que o conjunto dos polinomios satisfaz as hipoteses para A no teorema
anterior.

OES
58
Exerccios de 7.2
1. Considere F R com a metrica usual e tal que F seja fechado e limitado.
(a) Seja p(x) = a0 + a1 x + + an xn um polinomio. Para cada ai , seja (qki )kN sequencia de
racionais tal que qki ai . Mostre que pk p em C(F ), onde pk (x) = qk0 +qk1 x+ +qkn xn .
(b) Use o item anterior e fato que {a0 + a1 x + + an xn : a0 , ..., an Q} e enumeravel para
concluir que C(F ) e separ
avel.
(c) Mostre que o conjunto F das funcoes contnuas e nao diferenciaveis em todos os pontos e de
Lindel
of.
7.3
Teoremas de ponto fixo
Defini
c
ao 7.3.1. Seja X um conjunto nao vazio. Seja f : X X uma funcao. Dizemos que
x X e um ponto fixo de f se f (x) = x.
Proposi
c
ao 7.3.2. Considere [0, 1] com a metrica usual. Ent
ao toda f : [0, 1] [0, 1] contnua
admite um ponto fixo.
Demonstrac
ao. Considere g : [0, 1] R dada por g(x) = f (x) x. Note que g(0) = f (0) 0. Se
g(0) = 0, terminamos (j
a que f (0) = 0). Note tambem que g(1) 0 e que, se g(1) = 0, terminamos
ja que f (1) = 1. Assim, s
o nos resta o caso em que g(0) > 0 e g(1) < 0. Como g e contnua,
temos, pelo Teorema do valor intermediario (3.3.2), que existe x [0, 1] tal que g(x) = 0. Note que
f (x) = x.
Defini
c
ao 7.3.3. Sejam (X, d) e (Y, d0 ) espacos metricos. Dizemos que uma funcao f : X Y e
uma contra
c
ao se existe k R tal que 0 k < 1 e, para quaisquer x, y X, temos d0 (f (x), f (y))
kd(x, y).
Teorema 7.3.4 (do ponto fixo de Banach). Sejam (X, d) um espaco metrico completo e f :
X X uma contrac
ao. Ent
ao existe x X ponto fixo de X. Alem disso, tal x e o u
nico ponto
fixo de f e, dado x0 X qualquer, a sequencia (xn )nN dada por xn+1 = f (xn ) para todo n > 0 e
convergente para x.
Demonstrac
ao. Vejamos primeiramente a unicidade. Suponha que x, y X sejam pontos fixos.
Temos que d(x, y) = d(f (x), f (y)) kd(x, y). Como k < 1, temos que d(x, y) = 0. Ou seja, x = y.
Vamos mostrar que uma sequencia (xn )nN como no enunciado e uma sequencia de Cauchy.
Comecemos mostrando que, para qualquer n N, d(xn , xn+1 ) k n d(x0 , x1 ). Vamos mostrar isso
por inducao sobre n. Caso n = 0, e imediato. Agora suponha o resultado para n. Vamos mostrar
para n + 1. Temos
d(xn+1 , xn+2 ) = d(f (xn ), f (xn+1 )
kd(xn , xn+1 )
k n+1 d(x0 , x1 )
7.4. ESPAC
OS NORMADOS
59
Sejam n, p N. Vamos estimar a distancia entre xn e xn+p . Temos:

d(xn , dn+p ) d(xn , xn+1 ) + + d(xn+p1 , xn+p )
k n d(x0 , x1 ) + + k n+p1 d(x0 , x1 )
= k(1 + + k p1 )d(x0 , x1 )
kn
1k
d(x0 , x1 )
Assim, como k n 0, temos que d(xn , xm ) 0 se tomarmos n, m > n0 e fazendo n0 .
Logo, (xn )nN e uma sequencia de Cauchy. Como X e completo, seja x o limite de (xn )nN . Pelo
exerccio 1 desta sec
ao, temos que f e contnua. Assim
f (x) = f ( lim xn ) = lim f (xn ) = lim xn+1 = x
n
Exerccios de 7.3
1. Mostre que toda contrac
ao e uma funcao contnua.
2. Mostre que n
ao podemos supor 0 k 1 no Teorema do ponto fixo de Banach (7.3.4).
7.4
Espa
cos normados
Proposi
c
ao 7.4.1. Sejam (E, kk1 ) e (F, kk2 ) espacos normados e T : E F uma transformac
ao
linear. S
ao equivalentes:
(a) T e contnua;
(b) T e contnua em 0;
(c) existe k R tal que, para todo a E tal que kak1 1, kT (a)k2 < k.
Demonstrac
ao. a b) Imediato.
b c) Como T e contnua em 0, existe > 0 tal que, para a E, temos
kak1 = d1 (a, 0) < d2 (T (a), T (0)) = kT (a)k2 < 1
onde d1 e d1 s
ao as metricas induzidas pelas normas kk1 e kk2 respectivamente. Seja k = 2 .
Temos, para a E tal que kak1 1:

1 ()

kT (a)k2 = k
T ( k a) < k1 = k
2

onde () vale j
a que k1 a 1 = 2 kak1 < .

OES
60
c a) Seja a E. Seja k como em (c). Seja > 0. Considere = k . Temos, para b E tal que
ka bk1 < e b 6= a:

1
kT (a b)k2 = ka bk1 T ( kabk
(a b))
1
(c)
< ka bk1 k
<
Proposi
c
ao 7.4.2. Seja (E, k k) um espaco vetorial normado de dimens
ao finita n 1. Temos:
(a) existe T : Rn E transformac
ao linear que e tambem um homeomorfismo;
(b) (E, kk) e localmente compacto.
Demonstrac
ao. (a) Seja {b1 , ..., bn } base para E. Considere T : Rn E tal que T (x1 , ..., xn ) =
claro que T e uma transformacao linear bijetora. Vejamos que T e contnua.
x1 b1 + xn bn . E
Para isso, vamos considerar em Rn a norma k(x1 , ..., xn )k1 = |x1 | + + |xn |, que e equivalente
a norma usual (exerccio). Seja k = max{kT (ei )k : i = 1, ..., n}, onde {e1 , ..., en } e a base
canonica do Rn . Vamos mostrar que se k(x1 , ..., xn )k 1, entao kT (x1 , ..., xn )k < k. Temos
kT (x1 , ..., xn )k |x1 |kT (e1 )k + |xn |kT (en )k |x1 |k + + |xn |k = k(x1 , ..., xn )k1 k k
Agora vejamos que T 1 tambem e contnua. Seja S = {(x1 , ..., xn ) Rn : k(x1 , ..., xn )k1 = 1}.
Note que, como T e injetora, kT (x1 , ..., xn )k > 0 para todo (x1 , ..., xn ) S. Como S e compacto,
existe M > 0 tal que kT (x1 , ..., xn )k M para todo (x1 , ..., xn ) S. Assim, temos, para a E
tal que kak 1:

1

kT 1 (a)k a = 1
Assim

1
1
1
kak =
a)
T ( 1
M

1
1
kT (a)k
kT (a)k
kT (a)k
Logo
1
T (a) M
(b) Segue imediatamente de (a) e pelo fato de Rn ser localmente compacto.
Lema 7.4.3. Sejam (E, kk) espaco vetorial normado e F E um subespaco vetorial fechado. Se
F 6= E, dado > 0 existe a E tal que kak = 1 e d(a, F ) 1 .
Demonstrac
ao. Seja > 0. Seja x E r F . Note que, como x
/ F e F e fechado, temos que
d(x,F )
>
1
.
Seja
y
F
tal
que
d(x, y) < d(x, F ) + . Seja
d(x, F ) > 0. Seja > 0 tal que d(x,F
)+
1
a = kxyk (x y). Note que kak = 1. Assim, dado b F , temos

1

ka bk = kxyk
(x y) kxyk
b
kxyk
=
1
kxyk k(x
d(x,F )
d(x,F )+
y) kx ykbk
onde a u
ltima inequac
ao vale j
a que y kx ykb F .
7.4. ESPAC
OS NORMADOS
61
Proposi
c
ao 7.4.4. Seja (E, kk) espaco vetorial normado. S
ao equivalentes:
(a) E tem dimens
ao finita;
(b) {a E : kak 1} e compacto.
Demonstrac
ao. a b) Seja T : E Rn um homeomorfismo linear, temos que T [{a E : kak
1}] e fechado e limitado em Rn e, portanto, compacto (o limitado segue pela caracterizac
ao de
continuidade da Proposic
ao 7.4.1). Assim, trabalhando com T 1 , temos que {a E : kak 1}
e compacto.
b a) Suponha E com dimens
ao infinita. Seja a0 S = {a E : kak 1}. Seja F0 o subespaco
gerado por a0 . Note que F0 e fechado (exerccio). Agora suponha definidos a0 , ..., an S e
F0 , ..., Fn E, onde Fk e o subespaco gerado por a0 , ..., ak (que e fechado (exerccio)). Seja
an+1 E r Fn . Como E n
ao tem dimensao finita, E r F 6= . Assim, pelo lema anterior,
existe an+1 S r Fn tal que d(an+1 , Fn ) > 21 . Note que, por (b), S e compacto (fechado
num compacto). Mas (an )nN e uma sequencia de pontos num compacto sem subsequencia
de Cauchy, contradic
ao.
Exerccios de 7.4
1. Sejam E um espaco vetorial e k k1 e k k2 duas normas sobre E. Dizemos que k k1 e k k2 s
ao
duas normas equivalentes se as metricas induzidas por elas forem equivalentes. Mostre que
(a) kk1 e kk2 s
ao equivalente se, e somente se, I : E E e contnua tanto considerada de
(E, kk1 ) em (E, kk2 ) como de (E, kk2 ) em (E, kk1 );
(b) kk1 e kk2 s
ao equivalentes se, e somente se, existem , R tais que , > 0 e, para todo
a E, temos kak1 kak2 kak1 .
(c) Mostre que se E e de dimens
ao finita, entao kk1 e kk2 sao equivalentes.
2. Mostre que se E e de dimens
ao finita e T : E F e linear, entao T e contnua.
3. Considere P o conjunto dos polin
omios sobre R. Note que P e um espaco vetorial sobre R.
(a) Mostre que kk : P R dada por kpk = sup{p(x) : x [0, 1]} e uma norma sobre P;
(b) Mostre que T : P R dada por T (p) = p(2) e linear.
(c) Mostre que T n
ao e contnua.
4. Seja (E, kk) espaco vetorial normado. Mostre que E tem dimensao finita se, e somente se,
(E, kk) e localmente compacto.

OES
62
7.5
Teorema da aplica
c
ao aberta e teorema do gr
afico fechado
Defini
c
ao 7.5.1. Seja (E, kk) um espaco vetorial normado. Dizesmo que E e um espa
co de
Banach se E e completo (com respeito `a metrica induzida pela norma).
Proposi
c
ao 7.5.2. Seja (E, kk) um espacoPde Banach. Seja (an )nN sequencia
E tal que
Pem
P
k
a
a
a
(Denotamos
isso
por
ka
k
<
.
Ent
a
o
existe
a
E
tal
que
n
n=0 n = a).
n=0 n
n=0
P
Demonstrac
ao. Para cada k N, seja sk = kn=0 an . Vamos
mostrar que (sk )kN e uma sequencia
P
de Cauchy e, portanto,
convergente. Seja > 0. Como n=0 kan k < , para qualquer > 0,
P
ka
existe n0 tal que
n k < . Sejam p > q > n0 . Temos:
n=n0
p1 p1
X X
X

an
kan k
ksq sp k =
kan k <
n=q n=q
n=n
0
Nota
c
ao 7.5.3. Seja V um espaco vetorial. Sejam A, B V , v V e R. Denotamos por
A o conjunto {a : a A}, por A + v o conjunto {a + v : a A} e por A B o conjunto
{a b : A e b B}.
Lema 7.5.4. Sejam (E, kk1 ) e (F, kk2 ) espacos de Banach e T : E F uma transformac
ao
linear contnua sobrejetora. Ent
ao existe r > 0 tal que
{b F : kbk2 r} T [{a E : kak1 1}]
Demonstrac
ao. Para cada n N, seja Sn = {a E : kak1 <
E=
1
2n }.
Note que
kS1
kN
Assim, como T e sobrejetora, temos que

F =
kT (S1 )
kN
Como Y e completo, Y e de segunda categoria. Assim, existe k N tal que kT (S1 ) tambem e de
segunda categoria e, portanto T (S1 ) tambem. Isto e, existe b F e r > 0 tal que Br (b) T (S1 ).
Logo,
Br (0) T (S1 ) b
Note que
T (S1 ) p T (S1 ) T (S1 ) 2T (S1 ) = T (S0 )
Ou seja, temos que Br (0) T (S0 ). Assim, pela linearidade de T , temos que
B 2rn (0) T (Sn )
ABERTA E TEOREMA DO GRAFICO
7.5. TEOREMA DA APLICAC

AO
FECHADO
63
Vamos mostrar que B r2 (0) T (S0 ). Seja b F tal que kbk2 < 2r . Como b T (S1 ), existe
a1 S1 tal que
r
kb T (a1 )k2 <
4
Note que, para n N, n > 1, podemos escolher an Sn de forma que
kb T (a1 ) T (an )k <
r
2n+1
pois b T (a1 ) T (an1 ) T (Sn ). Note que kan k1 <

P
em disso, a S0 e
n=0 an = a (pelo Lema 7.5.2). Al
T (a) = T (
X
n=0
an ) =
1
2n .
Assim, existe a E tal que
T (an ) = b
n=0
Ou seja, b T (S0 ).
Teorema 7.5.5 (da aplica

c
ao aberta). Sejam (E, kk1 ) e (F, kk2 ) espacos de Banach e T :
E F uma transformac
ao linear contnua sobrejetora. Ent
ao T e uma func
ao aberta. Assim, se
alem disso, T for injetora, T e um homeomorfismo.
Demonstrac
ao. Sejam A um aberto de E e b T [A]. Seja a A tal que T (a) = b. Como A e aberto,
existe r > 0 tal que Br (a) A. Assim, pelo Lema 7.5.4, existe s > 0 tal que Bs (0) T [Br (0)].
Assim,
Bs (a) T [Br (b)] T [A]
e, portanto, T [A] e aberto.
Corol
ario 7.5.6. Sejam E um espaco vetorial e kk1 e kk2 duas normas completas sobre E. Seja
k R, k > 0 tal que, para todo a E temos que
kak1 kkak2
ent
ao kk1 e kk2 s
ao equivalentes (isto e, existe r > 0 tal que, para todo a E, kak2 rkak1 ).
Demonstrac
ao. Note que I : (E, kk2 ) (E, kk1 ) dada por I(a) = a para todo a E e uma
transformacao linear contnua e bijetora. Assim, I e um homeomorfismo pelo Teorema da aplicac
ao
aberta. Logo I 1 e contnua (e linear) e, portanto, as normas sao equivalentes.
Teorema 7.5.7 (do gr

afico fechado). Sejam (E, kk1 ) e (F, kk2 ) espacos de Banach e T : E
F uma transformaca
o linear. Se o gr
afico de T e fechado em E F , ent
ao T e contnua.
Demonstrac
ao. Defina a seguinte norma sobre E: dado a E,
kak = kak1 + kT (a)k2
Vejamos que esta norma e completa. Seja (an )nN sequencia de Cauchy em (E, kk). Note, assim,
(an )nN e de Cauchy em (E, kk1 ) e (T (an ))nN e de Cauchy em (F, kk2 ). Logo, existem a A e

OES
64
kk
kk
b F tais que an 1 a e T (an ) 2 b. E, como o grafico de T e fechado, T (an ) T (a). Logo,

kk
an a.
Assim, como
kak1 kak1 + kT (a)k2 = kak
para todo a E, temos, pelo Corolario 7.5.6 que existe k > 0 tal que
kak kkak1
Logo, kT (a)k2 kkak1 e, portanto, kT (a)k2 k para a tal que kak1 1. Ou seja, T e contnua.
Exemplo 7.5.8. Note que f : R R (R considerado com a metrica usual) dada por

0 se x = 0
f (x) =
1
caso contrario
x
e uma funcao com o gr
afico fechado mas que nao e contnua.
Nota
c
ao
A + v, 62
A B, 62
BrX (x), 8
BrX [x], 8
A, 62
X
A , 16
A, 14
limn xn , 18
d(A, B), 9
xn x, 18
C(K), 44
C(X1 , X2 ), 12
F(X1 , X2 ), 12
Indice Remissivo
algebra, 55
aberta
bola, 8
funcao, 44
aberto, 13
aberto
recobrimento, 41
acumulacao
ponto de, 15
aderente
ponto, 15
aplicacao aberta
Teorema da, 63
Baire
espaco de, 49
Baire em termos de Categoria
Teorema de, 51
Baire para espacos compactos
Teorema de, 50
Baire para espacos completos
Teorema de, 49
Banach
espaco de, 62
bola
aberta, 8
fechada, 8
caminhos
conexo por, 25
Cauchy
sequencia de, 29
Cauchy-Schwartz
desigualdade de, 7
compacto, 39
compacto
localmente, 44
completamente
metrizavel, 53
completamento, 33
completo
espaco metrico, 31
componente
conexa, 24
conexa
componente, 24
conexo, 23
conexo
caminhos, por, 25
conjunto
magro, 51
primeira categoria, de, 51
raro, 51
segunda categoria, de, 51
constante
quase, 19
contnua
funcao, 10
contracao, 58
converge
uniformemente, 55
convergente
sequencia, 18
convexo, 26
Conway
Funcao base 13 de, 28
denso, 47
desconexo, 23
desconexo
totalmente, 28
desigualdade
Cauchy-Schwartz, de, 7
diametro, 32
discreta
metrica, 6
distancia, 5, 9
equivalentes
normas, 61
espaco
Baire, de, 49
Banach, de, 62
Lindelof, de, 45
metrico, 5
espaco metrico
completo, 31
espacos
isometricos, 11
euclidiana
metrica, 8
fechada
bola, 8
funcao, 44
fechado, 13
fecho, 16
fixo
ponto, 58
fronteira, 14
funcao
aberta, 44
contnua, 10
fechada, 44
uniformemente contnua, 11
Funcao base 13 de
Conway, 28
grafico fechado
Teorema do, 63
homeomorfismo, 10
induzida pela norma
metrica, 6
interno
produto, 7
interseccao finita
propriedade da, 42
intervalo, 23
isometricos
espacos, 11
isometria, 11
limitado, 8
limitado
totalmente, 40
limite, 18
Lindelof
espaco de, 45
localmente
compacto, 44
metrica, 5
metrica
discreta, 6
euclidiana, 8
induzida pela norma, 6
produto, 6
metrica induzida
pseudometrica, pela, 34
metrico
espaco, 5
magro
conjunto, 51
metrizavel
completamente, 53
norma, 6
norma induzida
produto interno, pelo, 7
normas
equivalentes, 61
p.i.f., 42
ponto
acumulacao, de, 15
aderente, 15
fixo, 58
ponto fixo de Banach
Teorema do, 58
pontos
separa, 56
primeira categoria
conjunto de, 51
produto
interno, 7
metrica, 6
produto interno
norma induzida pelo, 7
propriedade
interseccao finita, da, 42
pseudometrica, 34
pseudometrica
metrica induzida pela, 34
quase
constante, 19
raro
conjunto, 51
recobrimento
aberto, 41
segunda categoria
conjunto de, 51
separavel, 48
separa
pontos, 56
separados, 23
sequencia, 18
sequencia
Cauchy, de, 29
convergente, 18
Stone-Weierstrass
Teorema de, 57
subespaco, 6
subsequencia, 19
Teorema
aplicacao aberta, da, 63
Baire em termos de Categoria, de, 51
Baire para espacos compactos, de, 50
Baire para espacos completos, de, 49
grafico fechado, do, 63
ponto fixo de Banach, do, 58
Stone-Weierstrass, de, 57
valor intermedi
ario, do, 27
Weierstrass, de, 57
totalmente
desconexo, 28
limitado, 40
uniformemente
converge, 55
uniformemente contnua
funcao, 11
valor intermedi
ario
Teorema do, 27
Weierstrass
Teorema de, 57

Em PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Em PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Espacos Metricos

Instituto de Ciencias Matem

2 A topologia nos espa

Vamos terminar esta sec

Assim, temos que hb, bi = hc, ci + 2 ha, ai 2 ha, ai =

Assim, ha, aihb, bi

Exemplo 1.1.13. O conjunto Rn e um espaco metrico com a funcao

onde x = (x1 , ..., xn ) e y = (y1 , ..., yn ). Esta e conhecida

Bolas, conjuntos limitados e dist

Exemplo 1.2.3. O subconjunto [0, 1[ e limitado em R com a metrica usual.

i=1 Bri (xi );

(a) B (x) B (y) = ;

5. Mostre que se Y e limitado e Z Y , entao Z e limitado.

7. Mostre que a intersecc

9. Considere R2 com a metrica euclidiana. Calcule d(A, B) onde A e o eixo x e B e o grafico da

Note que com a demonstraca

1. Sejam (X, d) um espaco metrico e Y subespaco de X.

A topologia nos espa

Exemplo 2.1.2. Seja (X, d) um espaco metrico. Sao exemplos de abertos em X:

Exemplo 2.1.3. Seja (X, d) um espaco metrico. Sao exemplos de fechados em X:

CAPITULO 2. A TOPOLOGIA NOS ESPAC

CAPITULO 2. A TOPOLOGIA NOS ESPAC

Exemplo 2.2.3. Considere X n

Exemplo 2.2.8. Considere X n

assim converge para x. Seja r > 0. Seja n0 tal que

(x) A. Vamos mostrar que (xn )nN definida

< r. Note que todo xn com n > n0 e tal

1. Sejam (X, d) um espaco metrico e Y X. Mostre que

Conjuntos separados e conjuntos conexos

Isto e, simetricos em relac

Exemplo 3.3.6 (Fun

+a1 a2 an , b1 b2 bn se a expansao de x na base acima fixada

termina com +a1 a2 an , b1 b2 bn

a1 a2 an , b1 b2 bn se a expansao de x na base acima fixada

1. Dizemos que um espaco metrico X e totalmente desconexo se os u

ao formalizar-se tal exemplo, deve-se tomar cuidado com as expans

Exemplo 4.2.2. Rn com a metrica euclidiana e completo.

dados m, n > n0 , d(xm , xn ) < 3 ;

4.3. COMPLETAMENTO DE ESPAC

d(xp , xq ) < 4 . Logo, se n > n0 , {xk : k > n} B

Assim, diam(Fn ) 2 < . Assim, existe x nN Fn . Vamos mostrar que xn x. Seja

d00 (limn xan , limn xbn )

limn d00 (xan , xbn )

d0 (limn xan , limn xbn )

onde () vale pelo Exerccio 9 de 2.5.

Lema 4.3.4. Seja X um conjunto n

4.3. COMPLETAMENTO DE ESPAC

Sejam x, y, z X. Temos que

Agora so resta mostrar as condic

4.4. EXERCICIOS DO CAPITULO 4

3. De um exemplo de dois espacos metricos X e Y nao homeomorfos mas que o completamento de

Exemplo 5.1.4. Todo espaco metrico finito e compacto.

Lema 5.2.3. Seja (X, d) espaco metrico totalmente limitado. Se Y X, ent

contrariando a escolha dos xn s.

Dica: Use a equivalencia para compactos por recobrimentos abertos.

Exemplo 5.4.2. R com a metrica usual e localmente compacto (e nao e compacto).

Dizemos que um conjunto A e enumer

(x) : x X}. Note que

Exemplo 6.1.2. Q e denso em R (com a metrica usual).

Exemplo 6.1.7. R r F , onde F e um conjunto finito, e um aberto denso em R.

Exemplo 6.1.9. R e um espaco separ

5. Sejam (X, d) um espaco metrico e Y X. Mostre que sao equivalentes:

Lema 6.2.2. Seja (X, d) um espaco metrico. Se A e aberto e x A ent