EMétrico

Espacos Metricos
Leandro F. Aurichi
1
30 de novembro de 2010
1
Instituto de Ciencias Matematicas e de Computacao - Universidade de Sao Paulo, Sao Carlos, SP
2
Sumario
1 Conceitos basicos 5
1.1 Metricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Exerccios de 1.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Bolas, conjuntos limitados e distancias . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Exerccios de 1.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Fun coes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Exerccios de 1.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Exerccios do Captulo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 A topologia nos espacos metricos 13
2.1 Abertos e fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Exerccios de 2.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Aderencia, acumula cao e fecho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Exerccios de 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3 Sequencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Exerccios de 2.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4 Metricas equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Exerccios de 2.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3 Conexidade 23
3.1 Conjuntos separados e conjuntos conexos . . . . . . . . . . . . . . . . . . . . . . . . 23
Exerccios de 3.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2 Fun coes contnuas e conexidade por caminhos . . . . . . . . . . . . . . . . . . . . . . 25
Exerccios de 3.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3 Aplicacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Exerccios de 3.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4 Metricas completas 29
4.1 Sequencias de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Exerccios de 4.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.2 Completude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Exerccios de 4.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3 Completamento de espacos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Exerccios de 4.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3
4 SUM
ARIO
5 Compactos 39
5.1 Denicao e exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Exercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.2 Algumas equivalencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Exerccios de 5.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.3 Algumas aplicacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Exerccios de 5.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.4 Algumas generaliza coes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Exerccios de 5.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
6 Subespacos densos 47
6.1 Conceitos basicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Exerccios de 6.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
6.2 Espacos de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Exerccios de 6.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
7 Algumas aplica coes 53
7.1 Espacos completamente metrizaveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Exerccios de 7.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7.2 Espacos de funcoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Exerccios de 7.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
7.3 Teoremas de ponto xo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Exerccios de 7.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
7.4 Espacos normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Exerccios de 7.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
7.5 Teorema da aplica cao aberta e teorema do graco fechado . . . . . . . . . . . . . . . 62
Indices 65
Notacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Indice Remissivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Captulo 1
Conceitos basicos
1.1 Metricas
Denicao 1.1.1. Dado X um conjunto nao vazio, chamamos de uma metrica sobre X uma fun cao
d : X X R satisfazendo, para todo x, y, z X:
(a) d(x, y) > 0 se x ,= 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 distancia ou metrica. A um conjunto X munido de uma metrica d
damos o nome de um espaco metrico e denotamos por (X, d).
Exemplo 1.1.2. A reta real com a fun cao d(x, y) = [x y[ e um espaco metrico. A metrica d e
dita a metrica usual de R. Para exemplicar, vamos mostrar a condi cao (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 R
n
da n-uplas de n umeros reais admite uma metrica dada por d(x, y) =
n
i=1
[x
i
y
i
[ onde x = (x
1
, ..., x
n
) e y = (y
1
, ..., y
n
). Como exemplo, vamos mostrar a condi cao (c)
de metrica, deixando as outras como exerccio. Sejam x = (x
1
, ..., x
n
) e y = (y
1
, ..., y
n
). Temos
d(x, y) =
n
i=1
[x
i
y
i
[
=
n
i=1
[y
i
x
i
[
= d(y, x)
5
6 CAP
ITULO 1. CONCEITOS B
ASICOS
Exemplo 1.1.4. Considere o conjunto das sequencias (a
n
)
nN
onde cada a
n
[0, 1]. Tal conjunto
admite uma metrica d(a, b) = sup[a
n
b
n
[ : n N onde a = (a
n
)
nN
e b = (b
n
)
nN
. Como
exemplo, vamos mostrar a condicao (a) de metrica, deixando as outras como exerccio. Sejam
a = (a
n
)
nN
e b = (b
n
)
nN
como acima. Suponha a ,= b. Isto e, existe k N tal que a
k
,= b
k
.
Temos:
d(a, b) = sup[a
n
b
n
[ : n N
[a
k
b
k
[
> 0
Exemplo 1.1.5. Dado um espaco vetorial V sobre R, dizemos que uma fun cao || : V R e
uma norma sobre V se, dados u, v V e R:
(a) |v| > 0 se v ,= 0;
(b) |v| = [[|v|;
(c) |u +v| |u| +|v|.
Nestas condicoes, V admite a metrica dada por d(u, v) = |u v| (chamamos esta metrica de
metrica induzida pela norma ||). Como exemplo, vamos mostrar que d satifaz a condicao (b)
de metrica. Seja u V . Temos
d(u, u) = |u u|
= |0|
= |0 0|
= 0|0|
= 0
E claro que sobre um mesmo conjunto podemos ter metricas diferentes:

Exemplo 1.1.6. Se X e um conjunto nao vazio, uma metrica sobre X e a funcao
d(x, y) =
_
1 se x ,= y
0 se x = y
Esta e chamada a metrica discreta sobre X.
Denicao 1.1.7. Seja (X, d) um espaco metrico. Dizemos que Y e um subespaco de X se Y X
e adotarmos em Y a metrica d restrita a Y .
Observacao 1.1.8. Note que, de fato, se Y e um subespaco do espa co metrico (X, d), entao (Y, d
)
tambem e um espaco metrico, onde d
e a restricao de d a Y .
Exemplo 1.1.9. Sejam (X
1
, d
1
) e (X
2
, d
2
) espacos metricos. Denimos sobre X
1
X
2
a seguinte
metrica, que chamamos de metrica produto:
d((x
1
, x
2
), (y
1
, y
2
)) = d
1
(x
1
, y
1
) +d
2
(x
2
, y
2
)
onde (x
1
, x
2
), (y
1
, y
2
) X
1
X
2
.
1.1. M
ETRICAS 7
Vamos terminar esta se cao mostrando a nocao de distancia euclidiana que temos sobre o R
n
de
fato nos da uma metrica. Vamos mostrar tal fato usando alguns resultados mais gerais:
Denicao 1.1.10. Seja V um espaco vetorial sobre R. Chamos uma fun cao , : V V R de
um produto interno se sao satisfeitas as seguintes condicoes, para quaisquer a, b, c V e R:
(a) a +b, c = a, c +b, c;
(b) a, b = a, b;
(c) a, b = b, a;
(d) a, a > 0 se a ,= 0
Proposicao 1.1.11 (desigualdade de Cauchy-Schwartz). Seja V um espaco vetorial sobre R
com um produto interno , . Entao, para quaisquer a, b V , vale a sequinte desigualdade:
a, b
2
a, ab, b
Demonstracao. Se a = 0, a desigualdade vale trivialmente (pois 0, b = 0). Vamos supor a ,= 0.
Dena =
a,b
a,a
e c = b a. Note que
a, c = a, b a
= a, b a, a
= a, b
a,b
a,a
a, a
= a, b a, b
= 0
Logo:
b, b = c +a, c +a
= c, c +a +a, c +a
= c, c +c, a +a, c +
2
a, a
= c, c +
2
a, a
Assim, temos que b, b = c, c +
2
a, a
2
a, a =
a,b
2
a,a
2
a, a =
a,b
2
a,a
. Assim, a, ab, b
a, b
2
, como queramos.
Proposicao 1.1.12. Seja V um espaco vetorial sobre R com um produto interno , . Entao a
funcao || : V R dada por |a| =
_
a, a para a V e uma norma. Chamamos esta norma de
a norma induzida pelo produto interno , .
Demonstracao. Vamos apenas vericar que, dados a, b V , temos que |a +b| |a|+|b|, deixando
as outras condi coes como exerccio. Temos:
|a +b|
2
= a +b, a +b
= a, a +b +b, a +b
= a, a +a, b +b, a +b, b
= a, a + 2a, b +b, b
1.1.11
a, a + 2
_
a, ab, b +b, b
= |a|
2
+ 2|a||b| +|b|
2
= (|a| +|b|)
2
8 CAP
ASICOS
Exemplo 1.1.13. O conjunto R
n
e um espa co metrico com a funcao
d(x, y) =
_
n
i=1
(x
i
y
i
)
2
onde x = (x
1
, ..., x
n
) e y = (y
1
, ..., y
n
). Esta e conhecida como metrica euclidiana do R
n
. Para
vericar este exemplo, basta mostrar que x, y =
n
i=1
x
i
y
i
e um produto interno. Depois, e so
mostrar que tal produto interno induz uma norma que induz a metrica denida acima.
Exerccios de 1.1
1. Mostre que as fun coes denidas nos exemplos acima sao de fato metricas.
2. No exemplo 1.1.4, teramos algum problema se em vez de tomarmos cada a
n
[0, 1], tomassemos
cada a
n
R?
3. Se (X, d) e um espaco metrico, mostre que (X, d
) tambem e um espaco metrico onde d
(x, y) =
mind(x, y), 1.
4. Mostre que uma denicao 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 distancias
Denicao 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
B
X
r
(x) = y X : d(x, y) < r.
e chamamos de bola fechada de centro x e raio r em X o conjunto
B
X
r
[x] = y X : d(x, y) r.
Se o X em questao estiver claro no contexto, denotaremos respectivamente por B
r
(x) e B
r
[x].
Denicao 1.2.2. Sejam (X, d) um espa co metrico e Y X. Dizemos que Y e limitado se existem
x X e r > 0 tais que Y B
r
(x).
Exemplo 1.2.3. O subconjunto [0, 1[ e limitado em R com a metrica usual.
1.2. BOLAS, CONJUNTOS LIMITADOS E DIST
ANCIAS 9
Proposicao 1.2.4. Seja (X, d) um espaco metrico. Dado A X, sao equivalentes:
(a) A e limitado;
(b) existem x
1
, ..., x
n
X e r
1
, ..., r
n
R positivos tais que A
n
i=1
B
r
i
(x
i
);
Demonstracao. Suponha A limitado. Entao existe r > 0 e x X tal que A B
r
(x) e, portanto,
temos (b).
Agora suponha que existam x
1
, ..., x
n
X e r
1
, ..., r
n
R positivos tais que A
n
i=1
B
r
i
(x
i
).
Sejam j
1
= maxr
1
, . . . r
n
e j
2
= maxd(x
1
, x
i
) : i = 2, ..., n. Vamos mostrar que A B
r
(x
1
),
onde r = j
1
+j
2
+ 1. Seja a A. Entao existe i tal que a B
r
i
(x
i
). Temos:
d(a, x
1
) d(a, x
i
) +d(x
i
, x
1
)
r
i
+j
2
j
1
+j
2
< r
Logo, A B
r
(x
1
).
Corolario 1.2.5. Sejam (X, d) um espaco metrico e A
1
, ..., A
n
X conjuntos limitados. Entao
n
i=1
A
i
e um conjunto limitado.
Demonstracao. Para cada A
i
existem x
i
e r
i
> 0 tais que A
i
B
r
i
(x
i
). Portanto,
n
i=1
A
i

n
i=1
B
r
i
(x
i
) e um conjunto limitado pela proposicao anterior.
Denicao 1.2.6. Sejam (X, d) um espa co metrico de A e B subconjuntos nao vazios de X. Den-
imos a distancia entre A e B por d(A, B) = infd(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 espa co metrico, x X e r > 0. Mostre que, se s > 0 e s < r, entao
B
s
(x) B
r
(x).
2. Mostre que se trocarmos B
r
(x) na deni cao de conjunto limitado por B
r
[x] obtemos uma deni cao
equivalente. Isto e, um conjunto satisfaz a denicao 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 espa co metrico X e x, y X onde B
[x] B
[y] ,= .
(c) Exiba um espa co metrico X e x, y X onde B
[x] B
[y] = .
4. Mostre que sao equivalentes para um subconjunto A de um espa co metrico:
(a) A e limitado;
(b) existe k > 0 tal que d(x, y) k para todo x, y A.
10 CAP
ASICOS
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)
nN
B 1
n+1
(x) = x;
(b)
nN
B
n+1
(x) = X.
7. Mostre que a interseccao de uma famlia de conjuntos limitados e um conjunto limitado.
8. Considere R com a metrica usual. Calcule d(0,
1
n+1
: n N).
9. Considere R
2
com a metrica euclidiana. Calcule d(A, B) onde A e o eixo x e B e o graco da
fun cao
1
x
para x ]0, +[.
10. Seja (X, d) um espa co metrico. Suponha que para algum x X e algum r > 0, A = B
r
[x]
B
r
(x) ,= . Calcule d(x, A).
1.3 Funcoes contnuas
Denicao 1.3.1. Sejam (X
1
, d
1
) e (X
2
, d
2
) espa cos metricos. Dizemos que uma fun cao f : X
1

X
2
e uma funcao contnua no ponto x X
1
se, para todo > 0, existe > 0 tal que, para
todo y X
1
tal que d
1
(x, y) < , temos d
2
(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 homeomorsmo.
Proposicao 1.3.2. Seja (X, d) um espaco metrico. Entao a funcao f : X X dada por f(x) = x
e contnua.
Demonstracao. Sejam x X e > 0. Dena = . Temos, para y X tal que d(x, y) < , que
d(f(x), f(y)) = d(x, y) < .
Exemplo 1.3.3. Sejam (X
1
, d
1
) e (X
2
, d
2
) dois espacos metricos, sendo que d
1
e a metrica discreta.
Entao toda f : X
1
X
2
e contnua. De fato, dado x X
1
e > 0, basta tomarmos =
1
2
. Assim,
se d
1
(x, y) < , entao d
2
(f(x), f(y)) = 0, ja que para d
1
(x, y) < , temos que x = y.
Proposicao 1.3.4. Seja (X, d) um espaco metrico. Sejam f : X X e g : X X funcoes
contnuas. Entao f g : X X dada por (f g)(x) = f(g(x)) para x X e uma funcao contnua
1
.
1
Note que com a demonstra c ao 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 CONT
INUAS 11
Demonstracao. 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
, entao
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 (X
1
, d
1
) e (X
2
, d
2
) espa cos metricos e f : X
1
X
2
uma fun cao. Dado x X, mostre
que sao equivalentes:
(a) f e contnua em x;
(b) para todo > 0 existe > 0 tal que f[B
X
1
(x)] B
X
2
(f(x)).
2. Mostre que a no cao de continuidade apresentada aqui com relacao a R com a metrica usual e
equivalente com relacao à no cao normalmente apresentada em cursos de calculo.
3. Analogamente ao exerccio anterior, mas com relacao a espa cos vetoriais e restrito a fun coes
lineares.
4. Mostre o resultado analogo à Proposi cao 1.3.4 para o caso em que f : X
2
X
3
, g : X
1
X
2
e (X
1
, d
1
), (X
2
, d
2
) e (X
3
, d
3
) sao espa cos metricos.
5. Sejam (X
1
, d
1
) e (X
2
, d
2
) espacos metricos. Seja f : X
1
X
2
sobrejetora tal que d
2
(f(x), f(y)) =
d
1
(x, y). Uma funcao como essa e dita uma isometria entre X
1
e X
2
e, neste caso, (X
1
, d
1
) e
(X
2
, d
2
) sao ditos espacos isometricos. 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, d
) espacos metricos. Dizemos que f : X Y e uma funcao uniforme-

mente contnua se, para qualquer > 0 existe > 0 tal que, dados a, b X, se d(a, b) <
entao d
(f(a), f(b)) < . Mostre que:

(a) toda fun cao uniformemente contnua e contnua;
(b) a composta de fun coes uniformemente contnuas tambem e uniformemente contnua.
12 CAP
ASICOS
1.4 Exerccios do Captulo 1
1. Sejam (X, d) um espa co metrico e Y subespa co de X.
(a) Se y Y e r > 0, entao B
Y
y
(r) = B
X
y
(r) Y .
(b) Se x X e r > 0, entao, para qualquer y Y B
X
r
(x) existe s > 0 tal que y B
Y
s
(y)
Y B
X
r
(x).
2. Seja (X, d
) um espaco metrico dado como no Exerccio 3 de 1.1. Mostre que X e um conjunto

limitado.
3. Sejam (X, d
1
) e (Z, d
2
) espacos metricos e Y um subespaco de X.
(a) Mostre que, dada f : X Z contnua, a restri cao de f a Y tambem e uma fun cao contnua.
(b) Mostre um contraexemplo para a armacao Dada g : Y Z contnua, existe f : X Z
contnua tal que g e a restri cao de f a Y .
4. Sejam (X
1
, d
1
) e (X
2
, d
2
) espa cos metricos, onde X
2
e limitado. Mostre que o conjunto T(X
1
, X
2
)
de todas as funcoes f : X
1
X
2
admite uma metrica d dada por d(f, g) = sup
xX
1
d(f(x), g(x)).
Obs.: Denimos ((X
1
, X
2
) como o subespaco de (T(X, Y ), d) formado pelas funcoes contnuas
de X
1
em X
2
.
Captulo 2
A topologia nos espacos metricos
2.1 Abertos e fechados
Denicao 2.1.1. Seja (X, d) um espa co metrico. Dizemos que A X e aberto se, para todo
x A existe r > 0 tal que B
r
(x) A. Dizemos que F X e fechado se X F e aberto.
Exemplo 2.1.2. Seja (X, d) um espa co metrico. Sao exemplos de abertos em X:
;
X;
B
r
(x) para quaisquer x X e r > 0.
Exemplo 2.1.3. Seja (X, d) um espa co metrico. Sao exemplos de fechados em X:
;
X;
Proposicao 2.1.4. Seja (X, d) um espaco metrico. Dado r > 0 e x X, temos que B
r
[x] e
fechado.
Demonstracao. Seja a / B
r
[x]. Vamos mostrar que existe s > 0 tal que B
s
(a) X B
r
[x]. Como
a / B
r
[x], temos que d(x, a) > r. Considere s = d(x, a) r. Note que s > 0. Vamos mostrar que
B
s
(a) X B
r
[x], isto e, que B
s
(a) B
r
[x] = . Suponha que exista b B
s
(a) B
r
[x]. Entao
d(x, a) d(x, b) +d(b, a)
< r +s
= d(x, a)
contradicao.
13
14 CAP
ITULO 2. A TOPOLOGIA NOS ESPAC OS M
ETRICOS
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.
Proposicao 2.1.6. Seja (X, d) um espaco metrico. Seja (A
i
)
iI
uma famlia nao vazia de abertos
de X. Entao
iI
A
i
e aberto.
Demonstracao. Seja x
iI
A
i
. Seja i I tal que x A
i
. Como A
i
e aberto, existe r > 0 tal que
B
r
(x) A
i
. Entao B
r
(x)
iI
A
i
.
Proposicao 2.1.7. Seja (X, d) um espaco metrico. Sejam A e B abertos em X. Ent ao A B
tambem e aberto.
Demonstracao. Seja x A B. Como A e aberto, existe r > 0 tal que B
r
(x) A. Como B e
aberto, existe s > 0 tal que B
s
(x) B. Seja t = minr, s. Vamos motrar que que B
t
(x) A B.
Seja y B
t
(x). Como t r, B
t
(x) B
r
(x) A. Como t s, B
t
(x) B
s
(x) B. Logo,
B
t
(x) A B.
Denicao 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, B
r
(x) A ,= e B
r
(x) (X A) ,= .
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 = .
Proposicao 2.1.11. Sejam (X, d) um espaco metrico e A X. Ent ao A e aberto se, e somente
se, A A = .
Demonstracao. Seja A X aberto. Seja x A. Entao existe r > 0 tal que B
r
(x) A. Logo,
B
r
(x) (X 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
B
r
(x) A. Como x / A, existe r > 0 tal que B
r
(x) A = ou B
r
(x) (X A) = . Como
x B
r
(x) A, temos que B
r
(x) (X A) = . Isto e, B
r
(x) A.
Proposicao 2.1.12. Sejam (X, d) um espaco metrico e A X. Entao A e um conjunto fechado.
Demonstracao. Temos que mostrar que, para qualquer x X A, existe r > 0 tal que B
r
(x)
(X A). Seja x X A. Entao existe r > 0 tal que B
r
(x) A = ou B
r
(x) (X A) = .
Suponha que B
r
(x) A = (o outro caso e analogo). Seja y B
r
(x), vamos mostrar que y / A.
Note que existe s > 0 tal que s s tal que B
s
(y) B
r
(x). Note tambem que B
s
(y) A = . Logo,
y X A e, portanto, B
r
(x) X A.
2.2. ADER
ENCIA, ACUMULAC

AO E FECHO 15
Proposicao 2.1.13. Sejam (X, d), (Y, d
) espacos metricos e f : X Y uma funcao. Sao

equivalentes:
(a) f e contnua;
(b) f
1
[A] e aberto para qualquer A Y aberto.
Demonstracao. 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 B
Y
r
(f(x)) A. Como f e contnua, existe > 0
tal que f[B
X
(x)] B
Y
r
(f(x)). Ou seja, B
X
(x) f
1
[A].
Agora suponha que vale (b). Sejam x X e > 0. Como B
Y
(f(x)) e aberto, f
1
[B
Y
(f(x)] e
aberto. Logo, existe > 0 tal que B
X
(x) f
1
[B
Y
(f(x))], isto e, f[B

X
(x)] B
Y
(f(x)).
Exerccios de 2.1
1. Mostre que os conjuntos acima sao de fato abertos ou fechados dependendo de cada caso.
2. Dados (X, d) um espa co metrico e x X, mostre que x e fechado. Mostre que todo subconjunto
F X nito e fechado.
3. Mostre que se A
1
, ..., A
n
sao abertos num espaco metrico, entao A
1
A
n
tambem e aberto.
4. Mostre que se (F
i
)
iI
e uma famlia nao vazia de fechados de um espaco metrico, entao
iI
F
i
tambem e fechado.
5. Mostre que se F
1
, ..., F
n
sao fechados num espaco metrico, entao F
1
F
n
tambem e fechado.
6. Mostre, por contraexemplos, que nao valem as seguintes arma coes num espa co metrico qualquer:
(a) uniao qualquer de fechados e um fechado;
(b) interseccao qualquer de abertos e um aberto;
(c) B
r
[x] B
r
(x) = B
r
(x).
7. Sejam (X, d) um espa co metrico, x X e r > 0.
(a) Encontre (F
n
)
nN
fechados tais que B
r
(x) =
nN
F
n
;
(b) Encontre (A
n
)
nN
abertos tais que B
r
[x] =
nN
A
n
.
2.2 Aderencia, acumulacao e fecho
Denicao 2.2.1. Sejam (X, d) um espa co metrico, A X e x X. Dizemos que x e um ponto
aderente a A se, para qualquer r > 0, B
r
(x)A ,= . Dizemos que X e um ponto de acumula cao
de A se x e um ponto aderente a Ax.
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 CAP
ETRICOS
Exemplo 2.2.3. Considere X nao vazio com a metrica discreta. Entao, dado x X, x e ponto
aderente a X mas nao e de acumula cao 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.
Proposicao 2.2.5. Sejam (X, d) um espaco metrico, x X e F X um fechado. Entao x F
se, e somente se, x e aderente a F.
Demonstracao. Seja x F. Note que x e aderente a F. Agora, seja x aderente a F. Suponha
x / F. Como F e fechado, X F e aberto. Logo, existe r > 0 tal que B
r
(x) X F. Isto e,
B
r
(x) F = . Portanto, x nao e aderente a F, contradicao.
Denicao 2.2.6. Sejam (X, d) um espaco metrico e A X. Chamamos de fecho de A em X o
conjunto A
X
= 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 nao vazio com a metrica discreta. Dado A X, A = A.
Proposicao 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.
Demonstracao. (a) Dado a A, temos que a B
r
(a) A para qualquer r > 0.
(b) Seja x / A. Entao existe r > 0 tal que B
r
(x) A = . Note que para todo y B
r
(x), existe
s > 0 tal que B
s
(y) B
r
(x) e, portanto, y / A. Assim, B
r
(x) X A.
(c) Se A = A, temos que A e fechado pelo item anterior. Agora suponha A fechado. Seja x XA.
Como A e fechado, existe r > 0 tal que B
r
(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.
2.2. ADER
ENCIA, ACUMULAC

AO E FECHO 17
Proposicao 2.2.10. Sejam (X, d) um espaco metrico, A X e x X. Entao x A se, e somente
se, d(x, A) = 0.
Demonstracao. Suponha x A. Entao, para qualquer n N, existe a
n
A tal que d(x, a
n
) <
1
n+1
.
Logo, d(x, A)
1
n+1
para todo n N e, portanto, d(x, A) = 0.
Suponha d(x, A) = 0. Entao para todo n N, existe a
n
A tal que d(x, a
n
) <
1
n+1
. Assim,
para todo > 0, B
(x) A ,= ja que existe n tal que

1
n+1
< .
Proposicao 2.2.11. Sejam (X, d) um espaco metrico e A X. Entao A = A A.
Demonstracao. Seja a A. Suponha que a / A. Vamos mostrar que a A. Seja r > 0. Entao,
como a A, temos que B
r
(a) A ,= . Como a / A, temos tambem que B
r
(a) (X A) ,= .
Assim, a A.
Seja a AA. Se a A, entao a A (Proposi cao 2.2.9). Se a / A, temos que a A. Dado
r > 0, temos que B
r
(a) A ,= e, portanto, a A.
Exerccios de 2.2
1. Seja (X, d) um espa co metrico. Sejam A, B X. Mostre que:
(a) se A B, entao A B;
(b) A B = A B;
(c) A B A B;
(d) Mostre que, em geral, nao 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 espa co metrico. Mostre que sao equivalentes para um x X e A X:
(a) x e ponto de acumula cao de A;
(b) para qualquer r > 0, B
r
(x) A e innito.
4. Mostre um exemplo de espaco metrico onde B
r
(x) = B
r
[x]. Mostre outro exemplo onde isso nao
ocorre.
5. Mostre que, se x e ponto de acumula cao de A e B A, entao x e ponto de acumulacao de B.
18 CAP
ETRICOS
2.3 Sequencias
Denicao 2.3.1. Seja (X, d) um espaco metrico. Damos a uma famlia (x
n
)
nN
de pontos de X
o nome de sequencia. Dizemos que (x
n
)
nN
e uma sequencia convergente se existe x X tal
que, para todo r > 0, existe n
0
N tal que, se n > n
0
, entao x
n
B
r
(x). Neste caso, chamamos x
de limite da sequencia e denotamos por x = lim
n
x
n
ou x
n
x.
Exemplo 2.3.2. Sejam (X, d) um espaco metrico e x X. Entao a sequencia (x
n
)
nN
onde cada
x
n
= x e convergente.
Proposicao 2.3.3. Seja (X, d) um espaco metrico. Sejam x X e (x
n
)
nN
uma sequencia de
pontos de X. Entao x
n
x se, e somente se, d(x
n
, x) 0 (considerando-se a metrica usual em
R).
Demonstracao. Suponha que x
n
x. Seja > 0. Temos que existe n
0
N tal que, se n > n
0
,
d(x
n
, x) < . Isto e, se n > n
0
, [d(x
n
, x) 0[ < . Logo, a sequencia (d(x
n
, x))
nN
converge para 0.
Agora suponha que d(x
n
, x) 0. Seja > 0. Temos que existe n
0
N tal que, se n > n
0
,
[d(x
n
, x) 0[ < . Logo, d(x
n
, x) < e, portanto, (x
n
)
nN
converge para x.
Exemplo 2.3.4. Considere R com a metrica usual. Entao a sequencia (x
n
)
nN
onde x
n
=
1
n+1
e uma sequencia convergente para 0. Considere Y = R 0 com a metrica de subespa co de R.
Entao, em Y , (x
n
)
nN
nao e convergente.
Proposicao 2.3.5. Seja (Xd) um espaco metrico. Seja (x
n
)
nN
uma sequencia convergente para
x X. Se y X e tal que y = lim
nN
x
n
, entao y = x.
Demonstracao. Suponha d(x, y) > 0. Seja =
d(x,y)
2
. Note que B
(x) B
e
(y) = . Como (x
n
)
nN
converge para x, existe n
x
tal que, para todo n > n
x
, x
n
B
(x). Como (x
n
)
nN
converge para
y, existe n
y
y
, x
n
B
(y). Seja n > n

x
, n
y
. Entao x
n
B
(x) B
(y),
contradicao.
Proposicao 2.3.6. Sejam (X, d) um espaco metrico e (x
n
)
nN
uma sequencia convergente para
x X. Seja F X fechado. Se cada x
n
F, entao x F.
Demonstracao. Suponha x / F. Como X F e aberto, existe r > 0 tal que B
r
(x) X F. Isto
e, B
r
(x) F = e, portanto, x
n
/ B
r
(x) para todo n N. Contradi cao com o fato de que (x
n
)
nN
converge para x.
Proposicao 2.3.7. Sejam (X, d) um espaco metrico e A X. Entao o conjunto B = x X :
existe (x
n
)
nN
sequencia em A convergente para x e igual a A.
2.3. SEQU
ENCIAS 19
Demonstracao. Seja x B. Seja (x
n
)
nN
uma sequencia de pontos de A que converge para x. Note
que, para qualquer r > 0, B
r
(x) A ,= pois contem pontos de (x
n
)
nN
. Assim, x A.
Seja x A. Para cada n N, seja x
n
B 1
n+1
(x) A. Vamos mostrar que (x
n
)
nN
denida
assim converge para x. Seja r > 0. Seja n
0
tal que
1
n
0
+1
< r. Note que todo x
n
com n > n
0
e tal
que d(x, x
n
) <
1
n+1
< r.
Corolario 2.3.8. Sejam (X, d) um espaco metrico, A X e x X. Se x A, existe uma
sequencia (x
n
)
nN
de pontos de A que converge para x.
) espacos metricos e f : X Y uma funcao. S ao equiva-

lentes:
(a) f e contnua;
(b) para qualquer (x
n
)
nN
sequencia em X convergente para x X, (f(x
n
))
nN
e uma sequencia
convergente em Y para f(x).
Demonstracao. Suponha f contnua. Seja (x
n
)
nN
sequencia convergente para x X. Como f e
contnua, existe > 0 tal que f[B
X
(x)] B
Y
(f(x)). Como x = lim

n
x
n
, existe n
0
tal que,
para todo n > n
0
, x
n
B
(x). Logo, para todo n > n

0
, f(x
n
) B
Y
(f(x)), isto e, (f(x

n
))
nN
converge para f(x).
Suponha que vale (b) e que f nao e contnua em x. Entao existe > 0 tal que, para todo > 0,
existe y B
X
(x) tal que f(y) / B

Y
(f(x)). Para cada n N, dena x

n
tal que x
n
B
X
1
n+1
(x) e
f(x
n
) / B
Y
(f(x)). Note que x = lim

n
x
n
(exerccio) e que (f(x
n
))
nN
nao e convergente para
f(x) (exerccio), contradi cao com (b).
Denicao 2.3.10. Sejam (X, d) um espaco metrico e (x
n
)
nN
uma sequencia de pontos de X.
Chamamos (x
n
k
)
kN
de subsequencia de (x
n
)
nN
se (n
k
)
kN
e uma sequencia crescente de n umeros
naturais.
Exerccios de 2.3
1. Seja (X, d) um espa co metrico. Seja (x
n
)
nN
e (y
n
)
nN
duas sequencias em X, ambas convergindo
para x X. Mostre que a sequencia (z
n
)
nN
dada por z
2n
= x
n
e z
2n+1
= y
n
para todo n N
tambem e uma sequencia convergente para x.
2. Sejam (X, d) um espaco metrico e (x
n
)
nN
uma sequencia em X. Dizemos que (x
n
)
nN
e quase
constante se existe x e n N tal que x
k
= x se k > n. Mostre que, nesse caso, (x
n
)
nN
converge
para x.
3. Seja X com a metrica discreta. Mostre que as unicas sequencias convergentes em X sao as quase
constantes.
4. Mostre que se (x
n
)
nN
e uma sequencia convergente num espa co metrico, entao toda subsequencia
sua tambem e convergente (e para o mesmo limite).
20 CAP
ETRICOS
5. Mostre que se uma sequencia (x
n
)
nN
num espaco metrico admite duas subsequencias conver-
gentes para pontos distintos, entao (x
n
)
nN
nao e convergente.
6. Seja (X, d) um espa co metrico. Se (x
n
)
nN
e (y
n
)
nN
sao sequencias convergentes para limites
distintos, entao existem n
0
N e r > 0 tais que d(x
n
, y
n
) > r para todo n > n
0
.
2.4 Metricas equivalentes
Denicao 2.4.1. Seja X um conjunto nao vazio. Dizemos que as metricas d
1
e d
2
sobre X sao
equivalentes se, para quaisquer x X e r > 0:
(a) existe s > 0 tal que y X : d
1
(x, y) < s y X : d
2
(x, y) < r;
(b) existe t > 0 tal que y X : d
2
(x, y) < t y X : d
1
(x, y) < r;
Exemplo 2.4.2. Sao metricas equivalentes sobre R
2
:
(a) d
1
(x, y) =
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
;
(b) d
2
(x, y) = [x
1
y
1
[ +[x
2
y
2
[;
(c) d
3
(x, y) = max[x
1
y
1
[, [x
2
y
2
[;
onde x = (x
1
, x
2
) e y = (y
1
, y
2
). De fato, as equivalencias podem ser facimente demonstradas a
partir das seguintes desigualdades:
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
_
2 max(x
1
y
1
)
2
, (x
2
y
2
)
2
2 max[x
1
y
1
[, [x
2
y
2
[
[x
1
y
1
[ +[x
2
y
2
[ 2 max[x
1
y
1
[, [x
2
y
2
[
max[x
1
y
1
[, [x
2
y
2
[ [x
1
y
1
[ +[x
2
y
2
[
max[x
1
y
1
[, [x
2
y
2
[ =
_
max[x
1
y
1
[, [x
2
y
2
[
2
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
Proposicao 2.4.3. Seja X um conjunto nao vazio e d
1
e d
2
duas metricas sobre X. Sao equiva-
lentes:
(a) d
1
e d
2
sao metricas equivalentes;
(b) (X, d
1
) e (X, d
2
) tem os mesmos abertos.
2.4. M
ETRICAS EQUIVALENTES 21
Demonstracao. Suponha que d
1
e d
2
sao equivalentes. Vamos mostrar que todo aberto de (X, d
1
) e
um aberto de (X, d
2
). Que todo aberto de (X, d
2
) e aberto de (X, d
1
) e analogo. Seja A um aberto de
(X, d
1
). Seja x A. Como A e aberto em (X, d
1
), existe > 0 tal que y X : d
1
(x, y) < A.
Como d
1
e equivalente a d
2
, existe s > 0 tal que y X : d
2
(x, y) < s y X : d
1
(x, y) < .
Assim, y X : d
2
(x, y) < t A e, portanto, A e aberto em (X, d
2
).
Agora suponha (b). Seja x X e r > 0. Como y X : d
1
(x, y) < r e um aberto de (X, d
1
)
e, portanto, de (X, d
2
), existe s > 0 tal que y X : d
2
(x, y) < s y X : d
1
(x, y) < r.
Analogamente, mostramos que, para qualquer r > 0, existe s > 0 tal que y X : d
1
(x, y) < s
y X : d
2
(x, y) < r.
Proposicao 2.4.4. Seja (X, d) espaco metrico. Se X e nito, entao d e equivalente à metrica
discreta.
Demonstracao. Pela Proposicao 2.4.3, basta provarmos que (X, d) e (X, d
) tem os mesmos abertos,

onde d
e a metrica discreta. Ja vimos que todo subconjunto de (X, d
) 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 nito, temos o resultado
pelo exerccio 2 de 2.1.
Exerccios de 2.4
1. Seja X um conjunto nao vazio. Mostre que ser equivalente a e uma rela cao de equivalencia
sobre as metricas sobre X. Isto e, mostre que, dadas d
1
, d
2
, d
3
metricas sobre X, d
1
e equivalente
a d
1
; que, se d
1
e equivalente a d
2
, entao d
2
e equivalente a d
1
; que, se d
1
e equivalente a d
2
e d
2
e equivalente a d
3
, entao d
1
e equivalente a d
3
.
2. Sejam X um conjunto nao vazio e d
1
e d
2
metricas sobre X. Sao equivalentes:
(a) d
1
e d
2
sao equivalentes;
(b) a fun cao f : X X dada por f(x) = x e contnua se considerada de (X, d
1
) em (X, d
2
) e
se considerada de (X, d
2
) em (X, d
1
).
3. Sejam X um conjunto nao vazio e d
1
e d
2
metricas sobre X. Sao equivalentes:
(a) d
1
e d
2
sao equivalentes;
(b) (X, d
1
) e (Xd
2
) tem as mesmas sequencias convergentes.
4. Sejam (X
1
, d
1
) e (X
2
, d
2
) espa cos metricos. Mostre que as seguintes metricas sao equivalentes
em X
1
X
2
:
(a) d, onde d e a metrica produto;
(b) d
dada por d
((x
1
, y
1
), (x
2
, y
2
)) = maxd
1
(x
1
, y
1
), d
2
(x
2
, y
2
);
(c) d
dada por d
((x
1
, y
1
), (x
2
, y
2
)) =
_
d
1
(x
1
, y
1
)
2
+d
2
(x
2
, y
2
)
2
.
22 CAP
ETRICOS
1. Sejam (X, d) um espa co 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 Proposicao a 1.3.4 usando a caracterizacao apresentada na Proposi cao 2.1.13.
3. Considere C =
1
n+1
: n N 0 com a metrica usual induzida por R. Seja (X, d) um
espaco metrico. Mostre que um sequencia (x
n
)
nN
em X e convergente para um ponto x X
se, e somente se, a funcao f : C X denida por f(
1
n+1
) = x
n
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.
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 espa co metrico (X, d) admite uma metrica d
equivalente a d que torna X

limitado.
7. Considere (X
1
, d
1
) e (X
2
, Y
2
) espa cos metricos e f : X
1
X
2
fun cao contnua. Mostre que
o graco de f (isto e, o conjunto (x, f(x)) : x X
1
e fechado em X
1
X
2
com a metrica
produto (ou em qualquer outra equivalente a esta).
8. Seja uma sequencia (x
n
)
nN
tal que, se n ,= m entao x
n
,= x
m
e tal que x
n
x. Mostre que
x e ponto de acumula cao de x
n
: n N. Qual o problema se tirarmos a hipotese de que
dados n ,= m, x
n
,= x
m
?
9. Seja (X, d) um espaco metrico. Sejam (x
n
)
nN
e (y
n
)
nN
sequencias em X convergentes para
x e y respectivamente. Mostre que:
(a) lim
n
d(x
n
, y) = d(x, y)
(b) lim
n
d(x
n
, y
n
) = d(x, y)
Captulo 3
Conexidade
3.1 Conjuntos separados e conjuntos conexos
Denicao 3.1.1. Seja (X, d) um espaco metrico. Sejam A, B X. Dizemos que A e B sao
separados se A B = e A B = .
Exemplo 3.1.2. Os conjuntos ] , 0[ e ]0, +[ sao separados em R com a metrica usual.
Proposicao 3.1.3. Sejam (X, d) um espaco metrico e A, B X dois subconjuntos nao vazios. Se
d(A, B) > 0, entao A e B sao separados.
Demonstracao. 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 B
r
(b) A = . Logo, b / A.
Denicao 3.1.4. Sejam (X, d) um espaco metrico e A X. Dizemos que A e desconexo se
existem B e C nao vazios e separados tais que A = BC. Dizemos que A e conexo caso contrario.
Denicao 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.
Proposicao 3.1.6. Considere R com a metrica usual. Temos que A R e conexo se, e somente
se, A e um intervalo.
Demonstracao. 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 A
1
= x A : x < b e A
2
= x A : x > b.
Note que A
1
, A
2
sao nao vazios e que A = A
1
A
2
. Note que, como ]b, +[ e ] , b[ sao abertos,
A
1
A
2
e A
1
A
2
sao vazios, o que contraria o fato de A ser conexo.
Suponha que A seja um intervalo e que nao seja conexo. Entao existem A
1
, A
2
A nao vazios
e separados tais que A = A
1
A
2
. Seja x A
1
. Vamos mostrar que todo y A tal que y > x e
tal que x A
1
. O caso em que y < x e analogo. Note que isso e suciente ja que isso implica que
A
2
= . Seja y A tal que y > x. Suponha que y A
2
. Seja a = supz [x, y] : z A
1
. Note
que, se a A
1
, entao A
2
A
1
,= . E se a A
2
, entao A
1
A
2
,= . Em ambos os casos, A
1
e A
2
nao sao separados.
23
24 CAP
ITULO 3. CONEXIDADE
Proposicao 3.1.7. Seja (X, d) espaco metrico. Seja ( uma famlia de subconjuntos conexos de X
tal que existe x
(. Entao
( e conexo.
Demonstracao. Sejam A, B separados tais que A B =
(. Sem perda de generalidade, suponha

que x A. Seja C (. Note que C A B. Como x C, C A ,= . Como C e conexo,
C B = . Assim, para todo C (, C B = . Logo, B
( = e, portanto
( e conexo.
Denicao 3.1.8. 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.
Proposicao 3.1.9. Sejam (X, d) espaco metrico e x X. A componente conexa de x e um conjunto
conexo que contem x.
Demonstracao. 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 Proposi cao 3.1.7.
Proposicao 3.1.10. Sejam (X, d) um espaco metrico e x, y X. Se existe um conexo A X tal
que x, y A, entao as componentes conexas de x e de y sao iguais.
Demonstracao. Sejam C
x
e C
y
as componentes conexas de x e y respectivamente. Note que A
C
x
, C
y
. Logo, x, y C
x
C
y
. Assim, C
x
C
y
e conexo (Proposicao 3.1.7). Como C
x
C
y
e um
conexo que contem x, temos que C
x
C
y
C
x
. Isto e, C
y
C
x
. Analogamente, C
x
C
y
. Assim,
C
x
= C
y
.
Proposicao 3.1.11. Seja (X, d) espaco metrico. Entao o a famlia ( = C X : existe x X tal
que C e a componente conexa de x forma uma particao de X.
Demonstracao.

E claro que
( = X (pois cada ponto pertence a sua componente conexa (Proposicao

3.1.9). Vejamos que tal famlia e disjunta. Sejam A, B ( tais que A B ,= . 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 compo-
nente conexa de x e igual a A (Proposi cao 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 nao vazios, disjuntos e tais que X = U V .
2. Mostre que um espaco metrico (X, d) e conexo se, e somente se, os unicos conjuntos que sao
abertos e fechados em X sao o proprio X e o conjunto vazio.
3. Seja (X, d) um espaco metrico. Sejam A, B X nao vazios e separados. Seja C AB tal que
A C e B C sao nao vazios. Mostre que A C e B C sao separados (isto e, que C nao e
conexo). Mostre por um contraexemplo que as hipoteses de que AC e B C sejam nao vazios
e essencial.
3.2. FUNC

OES CONT
INUAS E CONEXIDADE POR CAMINHOS 25

4. De um exemplo de um espaco metrico (X, d) tal que B
r
(x) nao seja conexa, para algum r > 0 e
x X.
5. De um exemplo de um espaco metrico (X, d) tal que B
r
(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 ,= ).
7. De um exemplo de A, B conexos tais que A B nao seja conexo. Dica: Procure por exemplos
em R
2
.
8. Mostre que num espaco metrico com a metrica discreta, os unicos conexos nao vazios sao os
conjuntos unitarios.
9. Generalize a Proposicao 3.1.7 da seguinte forma: Seja ( uma famlia de conexos de X. Se existe
A ( tal que, para todo C (, A C ,= , entao
( e conexo. Dica: Considere a famlia

T = C A : 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 Funcoes contnuas e conexidade por caminhos
Proposicao 3.2.1. Sejam (X
1
, d
1
) e (X
2
, d
2
) espacos metricos. Seja f : X
1
X
2
uma funcao
contnua. Se X
1
e conexo, entao f[X
1
] tambem e.
Demonstracao. Suponha que f[X
1
] nao e conexo. Sejam A, B conjuntos nao vazios, separados
e tais que f[X
1
] = A B. Note que f
1
[A] e f
1
[B] sao dois conjuntos nao vazios tais que
X
1
= 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 (x
n
)
nN
de pontos de f
1
[B] que converge para x. Como f e contnua, (f(x
n
))
nN
converge para f(x). Mas isso e contradi cao com o fato que f(x) A e que cada f(x
n
) B.
Denicao 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.
Proposicao 3.2.3. Sejam (X, d) um espaco metrico e A X. Se A e conexo por caminhos, entao
A e conexo.
Demonstracao. Suponha que A nao 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 (Proposicao
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 nao e conexo, contradicao.
26 CAP
ITULO 3. CONEXIDADE
Proposicao 3.2.4. Sejam (X, d) e (Y, d
) espacos metricos. Se X e conexo por caminhos e f :

X Y e uma funcao contnua, entao f[X] e conexo por caminhos.
Demonstracao. 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 fun cao 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.
Considere em R
2
com a metrica euclidiana os seguintes subespacos A = (
1
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)). Dena S = AB (note que (0, 0) / S). Vamos mostrar que S e conexo.
Como A e B sao conexos, basta mostrarmos que A e B nao sao separados (ver Exerccio 6 de 3.1).
Note que A B, logo A nao 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 = supx [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
() B
r
(f()).
Seja [0, 1] tal que < < + . Entao f() A B
r
(f(). Entao f() e da forma
(
1
n+1
, y) para algum y > 0 e n N. Note que A
= (x, y) : x >
1
n+1
B
r
(f()) A e
B
= (x, y) : x <
1
n+1
B
r
(f()) B sao dois conjuntos nao vazios e separados tais que
A
= S B
r
(f()). Contradi cao, pois S B
r
(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
() B
r
(f()). Contradi cao com o fato que existe B
() tal que f() B.

Exerccios de 3.2
1. Seja V um espa co 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 R
n
com a metrica euclidiana:
(a) Mostre que R
n
e conexo;
(b) Mostre que B
r
(x) e conexo, para qualquer r > 0, x R
n
.
3. Mostre o analogo ao exerccio anterior, mas para um espaco normado qualquer.
4. Mostre que se ( e uma famlia de conjuntos conexos por caminhos tal que existe x
(, entao
( e conexo por caminhos. Generalize como no Exerccio 9 de 3.1.

3.3. APLICAC

OES 27
3.3 Aplicacoes
Proposicao 3.3.1. Sejam (X, d) um espaco metrico conexo e f : X R uma funcao contnua
considerando R com a metrica usual. Entao a imagem de f e um intervalo.
Demonstracao. Como f[X] precisa ser conexo, basta aplicarmos a Proposicao 3.1.6.
Corolario 3.3.2 (Teorema do valor intermediario). Seja f uma funcao contnua de R em R
(R considerado com a metrica usual). Entao, 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.
Proposicao 3.3.3. R nao e homeomorfo a R
2
(ambos considerados com a metrica euclidiana).
Demonstracao. Suponha que exista f : R
2
R homeomorsmo. Escolha x R
2
e considere
g : R
2
x Rf(x) dada por g(a) = f(a) para todo a ,= x. Note que g e um homeomorsmo.
Mas isso e uma contradi cao com o fato que R
2
x ser conexo e R f(x) nao.
) 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 A, ent ao existe x X
tal que f(x) A.
Demonstracao. Suponha que nao. Ent ao f[X] A = . Considere U = f[X] A e V = f[X] A.
Entao f[X] = U V . Vejamos que U e V sao separados. Suponha que exista u U V (o outro
caso e analogo). Entao u A e u f[X] A. Logo, u A. Como u V , u F[X], contradicao.
Assim, temos que U e V sao separados. Como f[X] e conexo, temos que U ou V e vazio. Mas isso
e uma contradi cao 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 fun cao t : T R, onde t(x) e a temperatura no local x, seja contnua.
Entao existem dois pontos antpodas
1
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 funcao contnua (a fun cao que leva x no seu antpoda e contnua). Seja x
0
um ponto
qualquer em T e seja y
0
seu antpoda. Seja f : [0, 1] T uma funcao contnua tal que f(0) = x
0
e f(1) = y
0
. 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.
1
Isto e, simetricos em rela cao ao centro da Terra.
28 CAP
ITULO 3. CONEXIDADE
Exemplo 3.3.6 (Funcao base 13 de Conway). Considere os seguintes algarismos numa base
13:
0 1 2 3 4 5 6 7 8 9 + ,
Para cada x R, considere sua expansao na base acima. Dena a seguinte fun cao f : R R:
f(x) =
_
_
+a
1
a
2
a
n
, b
1
b
2
b
n
se a expansao de x na base acima xada
termina com +a
1
a
2
a
n
, b
1
b
2
b
n

a
1
a
2
a
n
, b
1
b
2
b
n
se a expansao de x na base acima xada
termina com a
1
a
2
a
n
, b
1
b
2
b
n

0 caso contrario
Onde os a
n
s e b
n
s sao algarismos entre
2
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 arma cao que se uma fun cao de R em R
leva conexos em conexos, entao ela e contnua.
Exerccios de 3.3
1 Em R, mostre que [0, 1] nao e homeomorfo a [0, 1[.
2 Mostre que S
1
= (x, y) R
2
: x
2
+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.
1. Dizemos que um espaco metrico X e totalmente desconexo se os unicos conexos nao vazios
de X sao os unitarios.
(a) Mostre que todo espa co com a metrica discreta e totalmente desconexo;
(b) Mostre que Q e totalmente desconexo
2. Seja f : R Q uma funcao. 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.
2
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 xada que terminem em , , , , , , , , .... Mas isso pode ser feito facilmente.
Captulo 4
Metricas completas
4.1 Sequencias de Cauchy
Denicao 4.1.1. Sejam (X, d) um espaco metrico e (x
n
)
nN
uma sequencia de pontos de X.
Dizemos que (x
n
)
nN
e uma sequencia de Cauchy se, para todo > 0, existe n
0
N tal que, se
n, m > n
0
, entao d(x
n
, x
m
) < .
Proposicao 4.1.2. Seja (X, d) um espaco metrico. Entao toda sequencia convergente em X e de
Cauchy.
Demonstracao. Sejam (x
n
)
nN
e x X tais que lim
n
x
n
= x. Seja > 0. Como (x
n
)
nN
converge para x, existe n
0
tal que para todo n > n
0
, d(x, x
n
) <

2
. Sejam n, m > n
0
. Temos
d(x
n
, x
m
) d(x
n
, x) +d(x
m
, x)
<

2
+

2
=
Exemplo 4.1.3. Considere R 0 com a metrica usual. Entao a sequencia (x
n
)
nN
onde cada
x
n
=
1
n+1
e uma sequencia de Cauchy que nao e convergente.
Proposicao 4.1.4. Seja (X, d) um espaco metrico e Y X um subespaco. Se (x
n
)
nN
e uma
sequencia de pontos de Y , entao (x
n
)
nN
e uma sequencia de Cauchy em X se, e somente se, e
uma sequencia de Cauchy em Y .
Demonstracao. Suponha (x
n
)
nN
de Cauchy em X (em Y ), entao para todo > 0, existe n
0
tal
que, se n, m > n
0
, entao d(x
n
, x
m
) < . Logo, (x
n
)
nN
e de Cauchy em Y (em X).
Corolario 4.1.5. Sejam (X, d) um espaco metrico e (x
n
)
nN
uma sequencia convergente. Se Y e
um subespaco de X tal que todo x
n
Y , entao (x
n
)
nN
e uma sequencia de Cauchy em Y .
29
30 CAP
ITULO 4. M
ETRICAS COMPLETAS
Exemplo 4.1.6. Considere Q com a metrica usual. Como Q = R, para qualquer x RQ, existe
(x
n
)
nN
sequencia de n umeros racionais tal que x
n
x. Note que (x
n
)
nN
e uma sequencia de
Cauchy em Q, mas que nao e convergente em Q.
Proposicao 4.1.7. Sejam (X, d) espaco metrico e (x
n
)
nN
uma sequencia de Cauchy. Se (x
n
k
)
kN
e uma subsequencia de (x
n
)
nN
, entao (x
n
k
)
kN
tambem e uma sequencia de Cauchy.
Demonstracao. Seja > 0. Como (x
n
)
nN
e de Cauchy, existe n
0
tal que, para todo m, n > n
0
,
d(x
m
, x
n
) < . Seja k
0
tal que n
k
0
> n
0
. Note que, se p, q > k
0
, entao d(x
np
, x
nq
) < .
Proposicao 4.1.8. Seja (X, d) um espaco metrico e (x
n
)
nN
uma sequencia de Cauchy. Entao
x
n
: n N e um conjunto limitado.
Demonstracao. Seja > 0. Entao existe n
0
tal que se m, n > n
0
, entao d(x
m
, x
n
) < . Note
que, assim, o conjunto x
n
: n > n
0
esta contido na bola B
(x
n
0
+1
). Logo, e limitado. Note que
x
n
: n N = x
n
: n n
0
x
n
: n > n
0
. Como x
n
: n n
0
e nito, temos que e ele e
limitado. Assim, x
n
: n N e limitado pois e uniao de dois limitados.
Proposicao 4.1.9. Sejam (X, d) espaco metrico e (x
n
)
nN
uma sequencia de Cauchy. Se existe
(x
n
k
)
kN
subsequencia de (x
n
)
nN
que converge para x X, entao (x
n
)
nN
converge para x.
Demonstracao. Seja > 0. Como (x
n
)
nN
1
1
,
d(x
n
, x
m
) <

2
. Como (x
n
k
)
kN
e convergente, existe k
0
tal que, se k > k
0
, entao d(x
n
k
, x) <

2
.
Sejam n
0
> n
1
, n
k
0
e n
k
> n
0
. Dado n > n
0
, temos:
d(x
n
, x) d(x
n
, x
n
k
) +d(x
n
k
, x)

2
+

2
=
Exerccios de 4.1
1. Seja (X, d) um espa co metrico e sejam (x
n
)
nN
e (y
n
)
nN
duas sequencias tais que d(x
n
, y
n
) <
1
n+1
para todo n N. Mostre que:
(a) (x
n
)
nN
e de Cauchy se, e somente se, (y
n
)
nN
e de Cauchy;
(b) lim
n
x
n
= x se, e somente se, lim
n
y
n
= 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 (x
n
)
nN
e uma sequencia de Cauchy em
X, entao (f(x
n
))
nN
e uma sequencia de Cauchy em Y . De um contraexemplo mostrando que
se supormos f contnua, o resultado nao vale.
4.2. COMPLETUDE 31
4.2 Completude
Denicao 4.2.1. Seja (X, d) um espaco metrico. Dizemos que (X, d) e um espaco metrico
completo se toda sequencia de Cauchy em X converge para um ponto de X.
Exemplo 4.2.2. R
n
com a metrica euclidiana e completo.
Proposicao 4.2.3. Seja (X, d) um espaco metrico completo. Entao um subsespaco A X e
completo se, e somente se, A e fechado em X.
Demonstracao. Suponha que (A, d) e completo. Seja (a
n
)
nN
uma sequencia de pontos de A que
converge para x X. Como (a
n
)
nN
e convergente, (a
n
)
nN
e de Cauchy. Logo, como A e completo,
o limite de (a
n
)
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 (x
n
)
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 Proposi cao
2.3.7 e, portanto, A e completo.
Proposicao 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, entao X e completo.
Demonstracao. Seja (x
n
)
nN
uma sequencia de Cauchy em X. Para cada x
p
, seja (a
p
n
)
nN
sequencia
de pontos de A tal que lim
n
a
p
n
= x
p
(tal sequencia existe pela proposicao 2.3.8). Para cada
p N, seja b
p
ponto de (a
p
n
)
nN
tal que d(x
p
, b
p
) <
1
p+1
. Vamos mostrar que (b
n
)
nN
e uma sequencia
de Cauchy. Seja > 0. Seja n
0
tal que
1
n
0
+1
<

3
;
dados m, n > n
0
, d(x
m
, x
n
) <

3
;
Temos, dados m, n > n
0
:
d(b
m
, b
n
) d(b
m
, x
m
) +d(x
m
, b
n
)
d(b
m
, x
m
) +d(x
m
, x
n
) +d(x
n
, b
n
)
<
Assim, (b
n
)
nN
e uma sequencia de Cauchy de pontos de A. Logo, existe x X tal que x =
lim
n
b
n
. Vamos mostrar que x = lim
n
x
n
. Seja > 0. Seja n
0
tal que, se n > n
0
,
d(b
n
, x) <

2
e que
1
n
0
+1
<

2
. Temos, dado n > n
0
:
d(x
n
, x) d(x
n
, b
n
) +d(b
n
, x)
<
1
n+1
+

2
<
32 CAP
ITULO 4. M
ETRICAS COMPLETAS
1
, d
1
) e (X
2
, d
2
) espacos metricos, sendo X
2
limitado. Se X
2
e com-
pleto, entao T(X
1
, X
2
) e completo (com a metrica usual).
Demonstracao. Seja (f
n
)
nN
uma sequencia de Cauchy em T(X
1
, X
2
). Entao, dado > 0, existe
n
0
tal que, se m, n > n
0
, entao d(f
m
, f
n
) = supd
2
(f
m
(x), f
n
(x)) : x X
1
<

4
. Note que para
cada x X
1
, d
2
(f
m
(x), f
n
(x)) d(f
m
, f
n
). Logo, para cada x X
1
, (f
n
(x))
nN
e uma sequencia de
Cauchy em X
2
. Como X
2
e completo, para cada x X
1
, existe f(x) X
1
tal que f
n
(x) f(x).
Note que f T(X
1
, X
2
). Vamos mostrar que f
n
f. Dado o xado acima, note que, para cada
x X
1
, existe n
x
tal que, para todo m > n
x
, d
2
(f(x), f
m
(x)) <

4
. Logo, para qualquer x X,
temos d
2
(f(x), f
n
(x)) d
2
(f(x), f
m
(x)) + d
2
(f
m
(x), f
n
(x)) <

2
se n > n
0
e m > n
0
, n
x
. Assim,
para n > n
0
temos d(f, f
n
) = supd
2
(f(x), f
n
(x)) : x X
1
< . Ou seja, f
n
f.
1
, d
1
) e (X
2
, d
2
) espacos metricos, sendo X
2
limitado. Se X
2
e com-
pleto, entao ((X
1
, X
2
) e completo (com a metrica usual).
Demonstracao. Pelas proposi coes 4.2.5 e 4.2.3, basta mostrarmos que ((X
1
, X
2
) e fechado em
T(X
1
, X
2
). Seja f T(X
1
, X
2
) nao contnua. Entao existe x X
1
e > 0 tais que, para
qualquer > 0, existe y X
1
tal que d
1
(x, y) < e d
2
(f(x), f(y)) e. Vamos mostrar que
B
2
(f) ((X
1
, X
2
) = . Seja g B
3
(f) ((X
1
, X
2
). Entao supd
2
(f(x), g(x)) : x X
1
<

3
.
Seja > 0 tal que, para todo y X
1
tal que d
1
(x, y) < , d
2
(g(x), g(y)) <

3
. Seja y X
1
tal que
d
1
(x, y) < e d
2
(f(x), f(y)) . Temos
d
2
(f(x), f(y)) d
2
(f(x), g(x)) +d
2
(g(x), f(y))
d
2
(f(x), g(x)) +d
2
(g(x), g(y)) +d
2
(g(y), f(y))
<

3
+

3
+

3
=
Contradicao com o fato que d
2
(f(x), f(y)) .
Denicao 4.2.7. Sejam (X, d) um espa co metrico e A X. Chamamos de diametro de A e
denotamos por diam(A) o supd(a, b) : a, b A.
Proposicao 4.2.8. Seja (X, d) espaco metrico. Entao (X, d) e completo se, e somente se, para
toda famlia (F
n
)
nN
tal que
(a) cada F
n
X e fechado;
(b) diam(F
n
) 0;
(c) F
n
F
m
se n > m.
temos que que
nN
F
n
,= .
Demonstracao. Suponha (X, d) completo. Seja (F
n
)
nN
como acima. Para cada n N, seja x
n

F
n
. Vamos mostrar que (x
n
)
nN
e de Cauchy. Seja > 0. Entao existe n
0
tal que diam(F
n
) < se
n > n
0
. Assim, dados m, n > n
0
temos d(x
m
, x
n
) dim(F
k
) < , onde k = minm, n e, portanto,
x
m
, x
n
F
k
. Assim, como (X, d) e completo, existe x X tal que x
n
x. Vamos mostrar que
4.3. COMPLETAMENTO DE ESPAC OS 33
x
nN
F
n
. Seja n N. Note que (x
k
)
k>n
e uma subsequencia de (x
k
)
kN
e, portanto, (x
k
)
k>n
converge para x. Como x
k
: k > n F
n
e F
n
e fechado, temos que x F
n
. Logo, x
nN
F
n
.
Agora suponha que para todo (F
n
)
nN
como acima,
nN
F
n
,= . Vamos mostrar que (X, d)
e completo. Seja (x
n
)
nN
sequencia de Cauchy. Para cada n N, considere F
n
= x
k
: k n.
Vamos mostrar que diam(F
n
) 0. Seja > 0. Entao existe n
0
tal que, para todo p, q > n
0
,
d(x
p
, x
q
) <

4
. Logo, se n > n
0
, x
k
: k > n B
4
(x
n+1
) e, portanto, x
k
: k > n B
4
[x
n+1
].
Assim, diam(F
n
)

2
< . Assim, existe x

nN
F
n
. Vamos mostrar que x
n
x. Seja
> 0. Seja n
0
tal que diam(F
n
0
) < . Entao, como x
n
F
n
0
se n > n
0
e x F
n
0
, temos que
x
n
B
(x).
Exerccios de 4.2
1. Mostre que qualquer X nao vazio com a metrica discreta e completo.
2. Mostre que os espacos Q e R Q sao nao completos com as metricas usuais.
3. Mostre que se X e Y sao subespacos completos de um mesmo espaco metrico Z (nao necessari-
amente completo), entao X Y e completo.
4. Considere (
1
n+1
: n N, d) onde d e a metrica induzida pela usual de R.
(a) Mostre que (
1
n+1
: n N, d) nao e completo;
(b) De um exemplo de uma metrica d
sobre
1
n+1
: n N que seja equivalente a d mas tal que
(
1
n+1
: n N, d
) seja completo.
4.3 Completamento de espacos
Denicao 4.3.1. Seja (X, d) um espaco metrico. Dizemos que (Y, d
) e um completamento de
(X, d) se (X, d) e um subsespaco de (Y, d
), (Y, d
) e completo e X = Y .
Proposicao 4.3.2. Seja (X, d) um espaco metrico. Sejam (Y, d
) e (Z, d
) dois completamentos de
(X, d). Entao (Y, d
) e (Z, d
) sao isometricos.
Demonstracao. Para cada y Y , existe (x
y
n
)
nN
sequencia em X tal que lim
n
x
y
n
= y (pois
X = Y e pela Proposicao 2.3.8). Dena f : Y Z por, para cada y Y , f(y) = lim
n
x
y
n
.
Note que a fun cao esta bem denida ja que (x
y
n
)
nN
e uma sequencia de Cauchy em (Z, d
) e,
portanto, tem limite. Vamos mostrar que f e uma isometria.
injetora: Sejama, b Y distintos. Como a ,= b, existemn
0
e r > 0 tais que d
(x
a
n
, x
b
n
) > r para todo
n > n
0
(Exercicio 6 de 2.3). Note que, para todo n N, d
(x
a
n
, x
b
n
) = d(x
a
n
, x
b
n
) = d
(x
a
n
, x
b
n
)
ja que cada x
a
n
, x
b
n
X. Logo, lim
n
x
a
n
,= lim
n
x
b
n
e, portanto, f(a) ,= f(b).
34 CAP
ITULO 4. M
ETRICAS COMPLETAS
sobrejetora: Seja z Z. Pela Proposi cao 2.3.8, existe (x
n
)
nN
sequencia de pontos de X tal
que lim
n
x
n
= z. Seja y Y tal que y = lim
n
x
n
em (Y, d
). Vamos mostrar que

f(y) = z. Para isso, basta mostrarmos que lim
n
x
y
n
= lim
n
x
n
em (Z, d
). Note
que, em (Y, d
), a sequencia (a
n
)
nN
dada por a
2n
= x
n
e a
2n+1
= x
y
n
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, d
) e, portanto, convergente. Como

(a
2n
)
nN
e uma subsequencia sua convergindo para z, (a
2n+1
)
nN
tambem e uma sequencia
convergente para z.
isometria: Sejam a, b Y . Temos:
d
(f(a), f(b)) = d
(lim
n
x
a
n
, lim
n
x
b
n
)
()
= lim
n
d
(x
a
n
, x
b
n
)
= lim
n
d
(x
a
n
, x
b
n
)
()
= d
(lim
n
x
a
n
, lim
n
x
b
n
)
= d
(a, b)
onde () vale pelo Exerccio 9 de 2.5.
Denicao 4.3.3. Seja X um conjunto nao vazio. Dizemos que d : X X e uma pseudometrica
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 nao vazio e d uma pseudometrica sobre X. Entao, dados x, y, z
X, se d(x, y) = 0, entao d(x, z) = d(y, z).
Demonstracao. 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 rela cao
sobre X dada por x y se d(x, y) = 0 e uma rela cao de equivalencia.
Proposicao 4.3.6. Seja X um conjunto nao vazio e d
uma pseudometrica sobre X. Ent ao (X/

, d) onde d([x], [y]) = d
(x, y) e e a relacao de equivalencia denida no Exerccio 4.3.5 e um

espaco metrico. Neste caso, chamamos d de metrica induzida pela pseudometrica d
.
4.3. COMPLETAMENTO DE ESPAC OS 35
Demonstracao. Primeiramente, vamos mostrar que d esta bem denida. Isto e, que se x y e
z w, entao d([x], [z]) = d([y], [w]). Temos
d([x], [z]) = d
(x, z)
4.3.4
= d
(y, z)
4.3.4
= d
(y, w)
= d([y], [w])
Sejam x, y, z X. Temos que
(a) se x , y, entao d([x], [y]) = d
(x, y) > 0;
(b) d([x], [x]) = d
(x, x) = 0;
(c) d([x], [y]) = d
(x, y) = d
(y, x) = d([y], [x]);

(d) d([x], [y]) = d
(x, y) d
(x, z) +d
(y, w) = d([x], [z]) +d([y], [z]).

Denicao 4.3.7. Seja (X, d) um espaco metrico. Seja S(X) = (x
n
)
nN
: tal que (x
n
)
nN
e uma
sequencia de Cauchy de pontos de X.
Proposicao 4.3.8. Seja (X, d) um espaco metrico. Entao a funcao d
: S(X) S(X) dada por

d
((x
n
)
nN
, (y
n
)
n
) = lim
n
d(x
n
, y
n
), para (x
n
)
nN
, (y
n
)
nN
S(X) e uma pseudometrica
sobre S(X).
Demonstracao. Primeiramente, vamos mostrar que d
esta bem denida, isto e, que dados (x

n
)
nN
, (y
n
)
nN

S(X), d
((x
n
)
nN
, (y
n
)
nN
) e um valor real. Para isso, basta mostrarmos que (d(x
n
, y
n
))
nN
e uma
sequencia de Cauchy em R. Seja > 0. Seja n
1
tal que, para todos n, m > n
1
, d(x
n
, x
m
) <

2
. Seja
n
2
tal que, para todos n, m > n
2
, d(y
n
, y
m
) <

2
. Dena n
0
= maxn
1
, n
2
. Se n, m > n
0
, temos
(supondo d(x
n
, y
n
) > d(x
m
, y
m
), o caso d(x
n
, y
n
) < d(x
m
, y
m
) e analogo):
[d(x
n
, y
n
) d(x
m
, y
m
)[ = d(x
n
, y
n
) d(x
m
, y
m
)
d(x
n
, x
m
) +d(x
m
, y
n
) d(x
m
, y
m
)
d(x
n
, x
m
) +d(x
m
, y
m
) +d(y
m
, y
n
) d(x
m
, y
m
)
= d(x
n
, x
m
) +d(y
m
, y
n
)
<
Agora so resta mostrar as condi coes para d ser uma pseudometrica. Sejam (x
n
)
nN
, (y
n
)
nN
,
(z
n
)
nN
S(X):
(a) d
((x
n
)
nN
, (x
n
)
nN
) = lim
n
d(x
n
, x
n
) = 0
(b) d
((x
n
)
nN
, (y
n
)
nN
) = lim
n
d(x
n
, y
n
) = lim
n
d(y
n
, x
n
) = d
((y
n
)
nN
,
(x
n
)
nN
);
(c) d
((x
n
)
nN
, (y
n
)
nN
) = lim
n
d(x
n
, y
n
) 0;
(d) d
((x
n
)
nN
, (y
n
)
nN
) = lim
n
d(x
n
, y
n
) lim
n
(d(x
n
, z
n
) +d(z
n
, y
n
))
= d
((x
n
)
nN
, (z
n
)
nN
) +d
((z
n
)
nN
, (y
n
)
nN
).
36 CAP
ITULO 4. M
ETRICAS COMPLETAS
Proposicao 4.3.9. Considere (X, d) um espaco metrico e (S(X)/ , d
) onde d
e a metrica in-
duzida pela pseudometrica denida na Proposicao 4.3.8. Entao (X, d) e (Y, d
) sao isometricos,
onde Y = [(x
n
)
nN
] : cada x
n
= x, x X. Alem disso, Y = S(X)/ .
Demonstracao. Seja f : X Y dada por f(x) = [(x
n
)
nN
] onde cada x
n
= x. Note que f
e uma isometria (exerccio). Vamos mostrar que Y = S(X)/ . Seja (x
n
)
nN
S(X). Seja
> 0. Vamos mostrar que B
([(x
n
)
nN
]) Y ,= . Como (x
n
)
nN
0
tal que,
para todo m, n > n
0
, d(x
n
, x
m
) <

2
. Entao a sequencia (y
k
)
kN
onde todo y
k
= x
n
0
+1
e tal que
d
((x
n
)
nN
, (y
n
)
nN
) < ja que d(x
m
, y
m
) = d(x
m
, x
n
0
+1
) <

2
para todo m > n
0
.
Proposicao 4.3.10. Dado (X, d) um espaco metrico, (S(X)/ , d
) e um espaco metrico completo

onde d
e a metrica induzida pela pseudometrica denida na Proposicao 4.3.8.

Demonstracao. Primeiramente, vamos mostrar que se ([s
n
])
nN
e uma sequencia de Cauchy em
S(X)/ onde cada s
n
e uma sequencia constantemente igual a um elemento x
n
X, entao
([s
n
])
nN
e uma sequencia convergente. De fato, considere a sequencia (x
n
)
nN
. Tal sequencia e
de Cauchy em X (exerccio). Vamos mostrar que lim
n
[s
n
] = ([x
k
])
kN
. Seja > 0. Como
([s
n
])
nN
0
tal que, se m, n > n
0
, d
([s
m
], [s
n
]) < . Assim, se k > n
0
,
d
([x
n
], [s
k
]) = lim
p
d(x
n
, x
k
) = d
(s
m
, s
k
) < .
Como, na notacao de 4.3.9, Y = S(X)/ , conclumos que S(X)/ e completo pela proposicao
4.2.4.
Exerccios de 4.3
1. Mostre que se X e completo entao 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) R
2
: x ,= 1.
1. Sejam (X
1
, d
1
) e (X
2
, d
2
) espacos metricos e (x
n
)
nN
e (y
n
)
nN
sequencias em X
1
e X
2
respec-
tivamente. Mostre que ((x
n
, y
n
))
nN
e uma sequencia de Cauchy em (X
1
X
2
, d) (onde d e a
metrica produto) se, e somente se, (x
n
)
nN
e (y
n
)
nN
sao sequencias de Cauchy.
2. Mostre que o produto de dois espa cos completos e completo.
4.4. EXERC
ICIOS DO CAP
ITULO 4 37
3. De um exemplo de dois espa cos metricos X e Y nao homeomorfos mas que o completamento de
X e o completamento de Y sao homeomorfos.
4. Mostre que um espa co 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 (x
n
)
nN
uma sequencia de Cauchy. Mostre que se x e ponto de acumulacao de x
n
: n N,
entao x
n
x. De um contraexemplo para mostrar que a hipotese de que (x
n
)
nN
e de Cauchy
e necessaria.
38 CAP
ITULO 4. M
ETRICAS COMPLETAS
Captulo 5
Compactos
5.1 Denicao e exemplos
Denicao 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 (x
n
)
nN
sequencia de pontos de [0, 1]. Para cada n N, seja A
n
= x
m
: m > n. Dena a
n
= inf A
n
para
cada n N. Note que a
n
[0, 1]. Seja x = supa
n
: n N. Note que x [0, 1]. Vamos mostrar
que existe uma subsequencia de (x
n
)
nN
convergente para x. Tome n
0
= 0 e vamos determinar x
n
k
para cada k > 0. Seja a
k
tal que d(a
k
, x) <
1
2k
. Seja x
n
k
com n
k
> n
k1
tal que d(a
n
, x
n
k
) <
1
2k
.
Assim, d(x
n
k
, x) <
1
n
para todo n > 1 e, portanto, x
n
k
x.
Exemplo 5.1.3. O conjunto R com a metrica usual nao e compacto ja que (x
n
)
nN
onde x
n
= n
para todo n N nao admite subsequencia convergente.
Exemplo 5.1.4. Todo espa co metrico nito e compacto.
Proposicao 5.1.5. Seja (X, d) espaco metrico compacto. Se Y X e fechado, entao Y e compacto.
Demonstracao. Seja (y
n
)
nN
sequencia de pontos de Y . Como X e compacto, existe (y
n
k
)
kN
subsequencia convergente para x X. Como Y e fechado, x Y e, portanto, (y
n
)
nN
admite
subsequencia convergente para um ponto de Y .
Proposicao 5.1.6. Seja (X, d) espaco metrico. Se Y X e compacto, entao Y e fechado.
Demonstracao. Suponha Y nao fechado. Entao existe (y
n
)
nN
sequencia de pontos de Y convergente
para x XY . Como Y e compacto, existe (y
n
k
)
kN
subsequencia convergente para y X. Logo,
x = y e, portanto, x Y , contradicao.
39
40 CAP
ITULO 5. COMPACTOS
Proposicao 5.1.7. Seja (X, d) um espaco compacto. Entao (X, d) e completo.
Demonstracao. Seja (x
n
)
nN
sequencia de Cauchy em X. Entao existe subsequencia convergente
de (x
n
)
nN
que e convergente para um ponto x X. Logo (x
n
)
nN
tambem converge para x (pela
proposi cao 4.1.9).
Exercicios
1. Seja X um espaco com a metrica discreta. Mostre que X e compacto se, e somente se, X e nito.
2. Seja X compacto. Mostre que Y X e compacto se, e somente se, Y e fechado.
3. De um exemplo de um espa co 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 sao compactos, entao X Y e compacto.
6. Seja X um espaco compacto. Dados A, B X fechados, mostre que, se d(A, B) = 0, entao
A B ,= . De um exemplo que mostra que a hipotese de que X e compacto e necessaria.
5.2 Algumas equivalencias
Proposicao 5.2.1. Seja (X, d) um espaco metrico. Entao A X e compacto se, e somente se,
todo subconjunto innito de A admite um ponto de acumulacao em A.
Demonstracao. Suponha A compacto. Seja B A um subconjunto innito. Para cada n N, seja
x
n
B tal que, se n ,= m, x
n
,= x
m
. Como A e compacto, existe (x
n
k
)
kN
subsequencia tal que
x
n
k
x, onde x A. Note que x e ponto de acumula cao de x
n
k
: k N (Exerccio 8 de 2.5) e,
portanto, x e ponto de acumulacao de B (Exerccio 5 de 2.2).
Agora suponha que todo subconjunto innito de A admite um ponto de acumula cao em A. Seja
(x
n
)
nN
um sequencia de pontos de A. Podemos supor que x
n
: n N e innito (caso contrario,
existiria x A tal que x = x
n
para innitos ns e seria imediato construir uma subsequencia
convergindo para x). Como x
n
: n N e innito, existe x A tal que x e ponto de acumula cao
de x
n
: n N. Seja n
0
= 0. Suponha denidos n
k
para k < t. Vamos denir x
nt
. Seja
r = min(
1
t+1
d(x, x
n
k
) : k < t). Note que x
n
: n N B
r
(x) e innito (Exerccio 3 de
2.2). Assim, podemos tomar n
t
tal que n
t
> n
k
para todo k < t e tal que x
nt
B
r
(x). Note que a
subsequencia (x
n
k
)
kN
converge para x ja que d(x, x
n
k
) 0 (Proposicao 2.3.3).
Denicao 5.2.2. Seja (X, d) um espaco metrico. Dizemos que A X e totalmente limitado se,
para todo > 0, existe F A nito tal que
_
xF
B
(x) A
5.2. ALGUMAS EQUIVAL
ENCIAS 41
Lema 5.2.3. Seja (X, d) espaco metrico totalmente limitado. Se Y X, entao Y e totalmente
limitado.
Demonstracao. Seja > 0. Como X e totalmente limitado, existe F X nito tal que X =
xF
B
2
(x). Para cada x F, se B
2
(x) Y ,= , dena y
x
B
2
(x) Y . Considere F
= y
x
: x
F. Note que F
Y e nito. Vamos mostrar que Y
yF
B
(y). Seja a Y . Como Y X,

existe x F tal que a B
2
(x) Y . Assim, existe y
x
B
2
(x) Y . Note que a B
(y
x
).
Proposicao 5.2.4. Seja (X, d) espaco metrico. Entao (X, d) e compacto se, e somente se, (X, d)
e completo e totalmente limitado.
Demonstracao. Suponha (X, d) compacto. Ja temos que (X, d) e completo. Vamos mostrar que e
totalmente limitado. Suponha que nao. Seja > 0 para o qual a denicao de totalmente limitado
falha. Seja x
0
X. Para cada n N, com n > 0, seja x
n
X B
(x
0
) B
(x
n1
). Note que
sempre podemos tomar tal x
n
pela escolha do . Como X e compacto, existe (x
n
k
)
kN
convergente
para algum x X. Absurdo pois d(x
n
k
, x
nq
) para qualquer k, q N distintos e, portanto tal
sequencia nao e de Cauchy.
Agora suponha (X, d) completo e totalmente limitado. Seja (x
n
)
nN
uma sequencia de pontos
de X. Se x
n
: n N e nito, existe (x
n
k
)
kN
subsequencia convergente. Vamos supor entao
que x
n
: n N e innito. Como X e totalmente limitado, x
n
: n N tambem e. Considere
0
= 1 e F
0
x
n
: n N tal que x
n
: n N
xF
0
B
0
(x). Note que, para algum x
n
0
F
0
,
B
0
(x
0
) x
n
: n N e innito. Continuamos este processo fazendo, para cada k + 1, tomando
k+1
=
1
k+2
, escolhendo F
k+1
forma que x
n
: n > n
k

xF
k+1
B
k+1
(x). Da escolhemos
x
n
k
+1
F
k+1
de forma que B
k+1
(x
n
k+1
) x
n
: n > n
k
seja innito. Note que a sequencia
(x
n
k
)
kN
e uma sequencia de Cauchy e, portanto, convergente.
Corolario 5.2.5. Seja (X, d) espaco metrico completo. Entao A X e compacto se, e somente se
A e fechado e totalmente limitado.
Proposicao 5.2.6. Se (X, d) e um espaco metrico compacto, entao X e limitado.
Demonstracao. Suponha que nao. Seja x X. Note que ( = B
n
(x) : n N e um recobrimento
aberto para X. Como X nao e limitado, nao existe (
( nito que seja recobrimento aberto para

X (para isso, basta notar que B
n
1
(x) B
n
k
= B
n
(x) onde n = maxn
1
, ..., n
k
).
Denicao 5.2.7. Seja (X, d) um espaco metrico. Dizemos que uma famlia ( de abertos de (X, d)
e um recobrimento aberto de X se
( = X.
Exemplo 5.2.8. Temos que ( = ] 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 ( recobrimento aberto para X. Entao
existe > 0 tal que, para qualquer x X, existe C
x
( tal que B
(x) C
x
.
42 CAP
ITULO 5. COMPACTOS
Demonstracao. Suponha que nao. Entao, para cada n N, seja x
n
tal que B 1
n+1
, C para todo
C (. Como (X, d) e compacto, existe (x
n
k
)
kN
subsequencia de (x
n
)
nN
convergente para x X.
Seja C
x
( tal que x C
x
. Como C
x
e aberto, existe r > 0, tal que x B
r
(x) C
x
. Como
x
n
k
x, existe k
0
tal que k > k
0
e
1
n
k
0
<
r
2
implica que d(x, x
n
k
) <
r
2
. Assim,
B 1
n
k
+1
(x
n
k
) B
r
(x) C
x
contrariando a escolha dos x
n
s.
Proposicao 5.2.10. Seja (X, d) espaco metrico. Entao (X, d) e compacto se, e somente se para
todo ( recobrimento aberto de X, existe (
( nito tal que (
e recobrimento aberto de X.
Demonstracao. Suponha (X, d) compacto. Seja ( recobrimento aberto para X. Pelo lema 5.2.9,
existe > 0 tal que, para cada x X, existe C
x
tal que B
(x) C
x
. Como (X, d) e totalmente
limitado (por ser compacto), existe F nito tal que X =
xF
B
(x). Como cada B
(x) C
x
,
temos que
xF
C
x
= X.
Agora suponha que para todo ( recobrimento aberto de X, existe (
( nito tal que (
e
recobrimento aberto de X. Para mostrarmos que (X, d) e compacto, basta mostrarmos que todo
subconjunto A X innito admite ponto de acumulacao em X. Suponha que nao. Isto e, existe
A X innito tal que A nao admite ponto de acumulacao em X. Para cada a A, seja V
a
aberto
tal que a V
a
e V
a
A seja nito (ver exerccio 3 de 2.2). Note que ( = X A V
a
: a A
e um recobrimento aberto para X. Assim, existe (
( nito que e recobrimento aberto para X.

Em particular, A A
. Como cada C (
e tal que C A e nito, temos que A e nito.

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 innito
de A, existe um ponto de acumula c ao em X.
4. Seja (X, d) um espaco metrico. Dizemos que uma famlia T de subconjunto de X tem a pro-
priedade da interseccao nita (p.i.f.) se, para todo F
1
, ..., F
n
T, temos que F
1
T
n
,= .
Mostre que sao equivalentes:
(a) X e compacto;
(b) Para toda famlia T de fechados de X com p.i.f., temos que
T ,= .
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 espa co metrico completo. Mostre que se Ae totalmente limitado, entao Ae compacto.
5.3. ALGUMAS APLICAC

OES 43
5.3 Algumas aplicac oes
) espacos metricos e f : X Y uma funcao contnua.

Se X e compacto entao a imagem de f tambem e compacta.
Demonstracao. Vamos usar a proposicao 5.2.10. Seja ( um recobrimento aberto para f[X]. Con-
sidere (
= f
1
[C] : C (. Note que (
e um recobrimento aberto para X (pois f e contnua e pela

proposi cao 2.1.13). Assim, como X e compacto, existe (
nito que e recobrimento aberto para

X. Considere, para cada C
, C
C
( tal que f
1
[C
C
] = C
. Note que C
C
: C
(
e nito e e um recobrimento aberto para Y .
Proposicao 5.3.2. Seja (X, d) um espaco metrico. Entao todo compacto K X e fechado e
limitado.
Demonstracao. Basta aplicar as proposicoes 5.2.6 e 5.1.6.
Proposicao 5.3.3. Em R com a metrica usual, K R e compacto se, e somente se, e fechado e
limitado.
Demonstracao. 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.
Proposicao 5.3.4. Em R
n
com a metrica usual, K R
n
e compacto se, e somente se, K e fechado
e limitado.
Demonstracao. Segue imediatamente dos dois resultados anteriores e do exerccio 5 de 5.2.
Proposicao 5.3.5. Seja f : K R contnua, onde K e um espaco metrico compacto e R com
a metrica usual. Entao f atinge seu maximo e mnimo (isto e, existem a, b K tais que, para
qualquer x K, f(a) f(x) f(b).
Demonstracao. Como K e compacto, temos que f[K] e compacto. Logo, e fechado e limitado e,
portanto, podemos tomar seu maximo e seu mnimo.
) espacos metricos, sendo Y compacto. Se f : X Y e

uma funcao contnua, entao f e uniformemente contnua.
Demonstracao. Seja > 0. Para cada x X, existe
x
> 0 tal que f[B
x
(x)] B
2
(f(x)). Note
que B
x
(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 x
a
X tal que a B
(a) B
xa
(x
a
). Logo, dados a, b X
tais que d(a, b) < , d(a, x
a
), d(x
a
, b) <
xa
e, portanto, d
(f(a), f(x)), d
(f(x), f(b)) <

2
. Assim,
dados a, b X tais que d(a, b) < , temos
d
(f(a), f(b)) d
(f(a), f(x
a
)) +d
(f(x
a
), f(b
a
))
<

2
+

2
= .
44 CAP
ITULO 5. COMPACTOS
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 hipotese de que K e compacto e necessaria.
2. Dizemos que f : X Y e uma funcao fechada se, para todo F X fechado, temos que
f[F] e fechado em Y . Analogamente, dizemos que f : X Y e uma funcao 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 hipotese 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 homeomor-
smo.
3. Seja (K, d
) um espaco metrico compacto. Considere o conjunto ((K) de todas as fun coes

contnuas de K em R, considerando R com a metrica usual. Mostre que d : ((K) ((K) R
dada por d(f, g) = sup[f(x) g(x)[ : x K e uma metrica sobre ((K). Esta e a metrica usual
sobre ((K). Dica: Atencao na hora de mostrar que d(f, g) R.
4. Mostre que ((K) com a metrica usual nao e limitado.
5.4 Algumas generalizac oes
Denicao 5.4.1. Seja (X, d) um espa co metrico. Dizemos que X e localmente compacto se,
para todo x X, existe r > 0 tal que B
r
[x] e compacto.
Exemplo 5.4.2. R com a metrica usual e localmente compacto (e nao e compacto).
Proposicao 5.4.3. Todo espaco metrico compacto e localmente compacto.
Demonstracao. Basta notar que, para qualquer x X e r > 0, B
r
[x] e fechado e, portanto,
compacto.
Proposicao 5.4.4. Seja (X, d) um espaco metrico. Sao equivalentes:
(a) X e localmente compacto;
(b) para todo x X existe r > 0 tal que, para todo q > 0 tal que q < r, B
q
[x] e compacto;
Demonstracao. (a b) Seja x X. Como X e localmente compacto, existe r > 0 tal que B
r
[x]
e compacto. Note que, se q < r, B
q
[x] B
r
[x]. Como B
q
[x] e fechado, temos que B
q
[x] e
fechado.
5.4. ALGUMAS GENERALIZAC

OES 45
(b a) Imediato.
Proposicao 5.4.5. Seja (X, d) um espaco metrico. Sao equivalentes:
(a) (X, d) e localmente compacto;
(b) para todo x X, existe A aberto tal que x A e A e compacto.
Demonstracao. (a b) Sejam x X e r > 0 tal que B
r
[x] e compacto. Note que x B
r
(x)
B
r
(x) B
r
[x] e que B
r
(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 B
2r
(x) A.
Note que B
r
[x] A A e, portanto, B
r
[x] e compacto.
Exemplo 5.4.6.
1
n+1
: n N com a metrica usual induzida por R e localmente compacto mas
nao e completo.
Denicao 5.4.7. Dizemos que um espaco metrico (X, d) e um espaco de Lindelof se, para todo
recobrimento aberto (, existe (
( enumeravel
1
que seja recobrimento aberto para X.
Proposicao 5.4.8. Todo espaco compacto e de Lindel of.
Demonstracao. Imediato a partir da proposi cao 5.2.10.
Proposicao 5.4.9. Seja (X, d) espaco de Lindelof. Se F X e fechado, entao F e de Lindelof
2
.
Demonstracao. Seja ( recobrimento aberto para F. Para cada C (, existe A
C
aberto em X tal
que A
C
F = C. Seja / = A
C
: C ( X F. Note que / e um recobrimento aberto para
X. Como (X, d) e de Lindelof, existe /
/ recobrimento aberto enumeravel para X. Note que

(
= C ( : A
C
/
e um recobrimento aberto enumeravel para F.

Proposicao 5.4.10. Seja (X, d) um espaco metrico. Entao (X, d) e de Lindelof se, e somente se,
existe uma famlia enumeravel 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 nito ou existe uma bijec ao entre ele e o conjunto N.
2
Vamos ver mais adiante que qualquer subespaco de um espa co metrico de Lindel of e de Lindel of. Essa demon-
stra c ao ca aqui como exemplo de como se mostrar o resultado an alogo para compactos via recobrimentos abertos.
46 CAP
ITULO 5. COMPACTOS
Demonstracao. Seja B uma famlia como no enunciado. Seja ( um recobrimento aberto para X.
Para cada x X, sejam B
x
B e C
x
( tais que x B
x
C
x
. Note que
xX
B
x
= X. Note
tambem que B
= B
x
: x X e enumeravel ja que e subconjunto de B. Para cada B B
, seja
C
B
( tal que B C
B
. Seja (
= C
B
: B
. Note que (
e enumeravel e que
= X.
Agora suponha (X, d) de Lindelof. Para cada n N, seja B
n
= B 1
n+1
(x) : x X. Note que
B
n
e um recobrimento aberto para X. Como (X, d) e de Lindelof, existe B
n
B
n
enumeravel que
e recobrimento aberto para X. Seja B =
nN
B
n
. Vamos mostrar que B satisfaz o enunciado.
Primeiramente, note que B e enumeravel (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 B
r
(x) A. Seja n N tal que
2
n+1
< r. Como B
n
e recobrimento para X, existe B 1
n+1
(y) B
n
tal que x B 1
n+1
(y). Note que
B 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 B
r
[x] A.
(b) Mostre que, se (X, d) e localmente compacto, entao A e localmente compacto.
4. Sejam (X, d) e (Y, d
) espacos metricos. Seja f : X Y uma fun cao contnua. Mostre que se

X e de Lindelof, entao f[X] e de Lindelof.
1. Mostre que (X, d) e totalmente limitado se, e somente se, seu completamento e compacto.
2. De um contraexemplo para a armacao: 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 homeomorsmo, entao X e localmente compacto se, e somente
se, Y e localmente compacto.
Captulo 6
Subespacos densos
6.1 Conceitos basicos
Denicao 6.1.1. Seja (X, d) um espa co 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).
Proposicao 6.1.3. Seja (X, d) espaco metrico. Entao X e denso em algum espaco metrico com-
pleto.
Demonstracao. Basta tomar o completamento de X.
) espacos metricos e f : X Y , g : X Y funcoes

contnuas. Seja S X denso em X. Se, para todo s S, f(s) = g(s), entao f(x) = g(x) para todo
x X.
Demonstracao. Seja x X. Temos que, como x S, existe (s
n
)
nN
sequencia de pontos de S
tal que s
n
x (Corolario 2.3.8). Como f e g sao contnuas, temos, pela proposicao 2.3.9, que
f(s
n
) f(x) e g(s
n
) g(x). Como cada f(s
n
) = g(s
n
) temos, pela unicidade dos limites, que
f(x) = g(x).
Proposicao 6.1.5. Sejam (X, d) espaco metrico e S X denso em X. Se D S e denso em S,
entao D e denso em X.
Demonstracao. Seja x X. Vamos mostrar que, para todo r > 0, existe d D tal que d B
r
(x)
(note que isso mostra que D = X). Seja r > 0. Como S e denso em X, existe s S tal que s
B
r
2
(x). Como D e denso em S, existe d D tal que d B
r
2
(s). Assim, d(x, d) d(x, s)+d(s, d) < r.
Logo, d B
r
(x) como queramos.
47
48 CAP
ITULO 6. SUBESPAC OS DENSOS

Proposicao 6.1.6. Sejam (X, d) espaco metrico e A, B X abertos densos em X. Entao A B
e um aberto denso em X.
Demonstracao.

E claro que A B e aberto. Vamos mostrar que e denso. Sejam x X e r > 0.
Precisamos mostrar que B
r
(x)AB ,= . Como A e denso, existe a AB
r
(x). Como A e B
r
(x)
sao abertos (e, portanto, AB
r
(x) tambem), existe s > 0 tal que B
s
(a) AB
r
(x). Como a B
(pois B e denso), existe b B
s
(a) B. Note que b B
r
(x) A B (pois B
s
(a) A B
r
(x)).
Exemplo 6.1.7. R F, onde F e um conjunto nito, e um aberto denso em R.
Denicao 6.1.8. Dizemos que um espaco metrico (X, d) e separavel se existe um subconjunto
enumeravel denso em X.
Exemplo 6.1.9. R e um espa co separavel ja que Q e um denso enumeravel em R.
Proposicao 6.1.10. Seja (X, d) um espaco metrico separavel. Entao existe um conjunto B enu-
meravel de abertos de X tal que, se A X e aberto e x A, entao existe B B tal que x B A.
Demonstracao. Seja D denso enumeravel em X. Para cada d D, seja B
d
= B
q
(d) : q Q, q > 0.
Note que cada B
d
e enumeravel e, portanto, B =
dD
B
d
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
B
r
(x) A. Como x D, existe d B
r
2
(x) D. Seja q Q tal que d(d, x) < q <
r
2
. Note que
B
q
(d) B
d
, x B
q
(d) e B
q
(d) B
r
(x) A.
Proposicao 6.1.11. Seja (X, d) um espaco metrico separavel. Entao (X, d) e de Lindelof.
Demonstracao. Imediato a partir da proposi cao anterior e da proposi cao 5.4.10.
Exerccios de 6.1
1. Seja X com a metrica discreta. Mostre que o unico denso em X e o proprio X.
2. De um contraexemplo para a arma cao interseccao de dois densos e denso.
3. Sejam (X, d) um espa co metrico e Y X. Mostre que sao equivalentes:
(a) Y e denso;
(b) para todo x X e r > 0, B
r
(x) Y ,= .
(a) Y e denso;
(b) para todo A X aberto nao vazio, A Y ,= .
6.2. ESPAC OS DE BAIRE 49
(a) Y e denso;
(b) para todo x X d(x, Y ) = 0.
6. Mostre que X 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 subespa co de um espaco separavel e separavel. Dica: use a proposi cao 6.1.10.
9. Mostre que todo espa co compacto e separavel.
6.2 Espacos de Baire
Denicao 6.2.1. Dizemos que um espa co metrico (X, d) e um espaco de Baire se, para qualquer
famlia (D
n
)
nN
de abertos densos,
nN
D
n
e denso.
Lema 6.2.2. Seja (X, d) um espaco metrico. Se A e aberto e x A entao existe r > 0, tal que
B
r
(x) A.
Demonstracao. Como A e aberto, existe r > 0 tal que B
2r
(x) A. Note que B
r
(x) B
r
[x]
B
2r
(x) A.
Lema 6.2.3. Seja (X, d) um espaco metrico. Sejam (x
n
)
nN
sequencia de pontos de X e (r
n
)
nN
sequencia de n umeros reais positivos tais que:
(a) B
r
n+1
(x
n+1
) B
rn
(x
n
) para todo n N;
(b) r
n
0.
Entao (x
n
)
nN
e uma sequencia de Cauchy.
Demonstracao. Seja > 0. Existe n
0
tal que, para todo n
0
, r
n
0
<

2
. Note que, para todo n > n
0
,
x
n
B
r
0
(x
n
0
). Assim, dados n, m > n
0
, temos
d(x
m
, x
n
) d(x
m
, x
n
0
) +d(x
n
, x
n
0
)
<

2
+

2
=
Teorema 6.2.4 (de Baire para espacos completos). Se (X, d) e um espaco metrico completo,
entao (X, d) e um espaco de Baire.
50 CAP

Demonstracao. Seja (D
n
)
n
famlia de abertos densos. Seja A aberto nao vazio. Pelo exerccio 4
de 6.1, basta mostrarmos que A
nN
D
n
,= . Vamos denir (x
n
)
nN
sequencia de pontos de X
e (r
n
)
nN
sequencia de reais positivos de forma que, para todo n N:
(a) B
rn
(x
n
) D
n
;
(b) B
r
n+1
(x
n+1
) B
rn
(x
n
);
(c) r
n
<
1
n+1
;
(d) B
r
0
(x
0
) A.
Como AD
0
e aberto nao vazio, pelo lema 6.2.2 existem x
0
A e r
0
R tais que 0 < r < 1 tais
que B
r
0
(x
0
) A D
0
. Suponha denidos x
0
, ..., x
n
e r
0
, ..., r
n
. Vamos denir x
n+1
e r
n+1
. Como
B
rn
(x
n
) D
n+1
e aberto nao vazio, existem x
n+1
e r
n+1
tais que 0 < r
n+1
<
1
n+2
e B
r
n+1
(x
n+1
)
B
rn
(x
n
) D
n+1
. Note que (x
n
)
nN
e (r
n
)
nN
assim denidas satisfazem as condicoes desejadas.
Note que, pelo lema 6.2.3, (x
n
)
nN
e uma sequencia de Cauchy. Como X e completo, existe x X
tal que x
n
x. Vamos mostrar que x A
nN
D
n
. Note que isso termina a demonstracao.
Por (a) e (d), basta mostrarmos que x B
rn
(x
n
) para todo n N. Como x x
k
: x > n, temos
o resultado.
Teorema 6.2.5 (de Baire para espacos compactos). Se (X, d) e um espaco metrico compacto,
entao (X, d) e um espaco de Baire.
Demonstracao. Seja (D
n
)
n
famlia de abertos densos e seja A aberto nao vazio. Vamos mostrar
que A
n
D
n
,= . Por indu cao sobre n N, vamos construir uma famlia (x
n
)
nN
de pontos
de X e uma famlia (r
n
)
nN
de reais positivos de forma que, para todo n N:
(a) B
r
0
(x
0
) A;
(b) B
r
n+1
(x
n+1
) B
r
(x
n
);
(c) B
rn
(x
n
) D
n
.
Como AD
0
e aberto nao vazio, pelo lema existem x
0
X e r
0
> 0 tais que B
r
0
(x
0
) AD
0
.
Agora suponha que r
n
e x
n
estao denidos. Como B
rn
(x
n
) D
n+1
e um aberto nao vazio (pois
D
n+1
e aberto denso), pelo lema existem x
n+1
e r
n+1
> 0 tais que B
r
n+1
(x
n+1
) B
rn
(x
n
) D
n+1
.
Note que estao satisfeitas as condi coes sobre a famlia.
Note que (B
rn
(x
n
))
nN
e uma famlia de fechados. Vamos mostrar que ela satisfaz a p.i.f..
Para isso, temos que mostrar que
k
i=1
B
rn
i
(x
n
i
) ,= para qualquer n
1
, ...., n
k
N. Sem perda
de generalidade, suponha que n
k
n
1
, ..., n
k
. Note que B
rn
k
(x
n
k
) B
rn
i
(x
n
i
) para qualquer
i = 1, ..., k (pela propriedade (b)). Logo, x
n
k

k
i=1
B
rn
i
(x
n
i
). Como X e compacto, pelo exerccio
4 de 5.2, existe x
nN
B
rn
(x
n
). Note que x A
nN
D
n
.
Exerccios de 6.2
1. Mostre que Q com a metrica usual nao e um espaco de Baire.
2. Mostre que todo espa co localmente compacto e um espaco de Baire.
6.3. EXERC
ICIOS DO CAP
ITULO 6 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) espa co metrico nao separavel. Mostre que X nao e subespa co 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
B
r
(x) Y . Dizemos que Z X e um conjunto magro se existe uma famlia (Y
n
)
nN
de
conjuntos raros em X tais que Z =
nN
Y
n
. 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 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 espa co enumeravel de segunda categoria. Como sao os conjuntos raros
neste exemplo?
52 CAP

Captulo 7
Algumas aplicac oes
7.1 Espacos completamente metrizaveis
Denicao 7.1.1. Dizemos que um espaco metrico (X, d) e completamente metrizavel se existe
d
metrica sobre X tal que d e d
sao equivalentes e (X, d
) e completo.
Exemplo 7.1.2. Todo espa co metrico completo e completamente metrizavel.
Exerccio 7.1.3. Mostre que se (X, d) e homeomorfo a (Y, d
) e (Y, d
) e completo, entao (X, d) e

completamente metrizavel.
Exemplo 7.1.4. Considere o conjunto
1
n+1
: n N com a metrica induzida pela usual de R. Note
que tal espa co nao 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 nao completo que admite uma metrica completa equivalente.
Proposicao 7.1.5. Seja (X, d) um espaco metrico completo. Seja A X aberto. Entao A com a
metrica de subespaco e completamente metrizavel.
Demonstracao. Para cada x X, considere g(x) = d(x, X 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
f(a) =
1
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) XR : yg(x) = 1 que
e fechado ja que g e contnua (exerccio). Assim, G com metrica produto e completo (Proposicao
4.2.3). Como h : A G dada por h(x) = (x, f(x) e um homeomorsmo, temos que A admite
uma metrica completa (exerccio). A saber, a metrica e d
(a, b) = d(a, b) + [f(a) f(b)[ (que e a

metrica induzida pela produto X R).
53
54 CAP
ITULO 7. ALGUMAS APLICAC

OES
Exerccio 7.1.6. Sejam (X, d) espa co metrico completo e k R, k > 0. Mostre que existe d
metrica completa e equivalente a d tal que, para todo a, b X, d
(a, b) k.
Exerccio 7.1.7. Seja ((X
n
, d
n
))
nN
uma famlia de espacos metricos tal que, se a
n
, b
n
X
n
, entao
d
n
(a
n
, b
n
)
1
2
n
. Mostre que d :
nN
X
n

iN
X
n
R dada por d(a, b) =
i=1
d
n
(a
n
, b
n
),
onde a = (a
0
, ..., a
n
, ...), b = (b
0
, ..., b
n
, ...)
nN
X
n
, e uma metrica sobre
nN
X
n
.
Exerccio 7.1.8. Seja ((X
n
, d
n
))
nN
uma famlia de espacos metricos tal que, se a
n
, b
n
X
n
, entao
d
n
(a
n
, b
n
)
1
2
n
. Considere d a metrica sobre
n=0
X
n
denida no exerccio 7.1.7. Se cada d
n
e
uma metrica completa, entao (
n=0
X
n
, d) e completo.
Proposicao 7.1.9. Seja (X, d) espaco metrico completo. Para cada n N, seja A
n
X aberto.
Entao
nN
A
n
e completamente metrizavel.
Demonstracao. Pela Proposi cao 7.1.5, para cada n N, existe d
n
metrica equivalente à induzida
por d que torna A
n
completo. Pelo exercicio 7.1.6, podemos supor cada d
n
limitada por
1
2
n
. Assim,
sendo d
a metrica denida no exerccio 7.1.7, temos que (
nN
A
n
, d
) e completo (Exerccio 7.1.8).

Considere = (a, ..., a, ...)
nN
: a
nN
A
n
. Note que e fechado (exerccio) e, portanto,
completo. Note que f :
nN
A
n
dada por f(a) = (a, ..., a, ...) e um homeomorsmo. Logo,
nN
A
n
admite uma metrica completa equivalente a induzida por d.
Proposicao 7.1.10. Considerando R com a metrica usual, R Q e um espaco de Baire.
Demonstracao. Note que ser um espa co de Baire pode ser denido em termos de abertos, logo,
se (X, d) e (X, d
) sao tais que d e d
sao equivalentes, entao (X, d) e de Baire se, e somente se,

(X, d
) e de Baire (exerccio). Assim, so precisamos mostrar que existe uma metrica d sobre RQ
equivalente a usual de forma que (RQ, d) seja completo. Pela Proposicao 7.1.9, basta mostrarmos
que existe (A
n
)
nN
abertos em R tais que
nN
A
n
= R Q. De fato, escreva Q = x
n
: n N.
Para cada n N, seja A
n
= R x
n
. Note que R Q =
nN
A
n
.
Exerccios de 7.1
1. Mostre que R E onde E e um conjunto enumeravel qualquer e um espaco completamente
metrizavel.
2. Mostre que nao existe uma metrica completa sobre os racionais que seja equivalente a usual.
3. Mostre que nao existe (A
n
)
nN
famlia de abertos em R tal que Q =
nN
A
n
.
7.2. ESPAC OS DE FUNC

OES 55
7.2 Espacos de func oes
Denicao 7.2.1. Sejam (X, d) e (Y, d
) espacos metricos. Seja (f

n
)
nN
sequencia de fun coes de X
em Y . Seja f : X Y . Dizemos que (f
n
)
nN
converge uniformemente para f se, para todo
> 0, existe n
0
0
e x X, d
(f
n
(x), f(x)) < .
) espacos metricos. Seja (f

n
)
nN
sequencia de funcoes que
converge uniformemente para f : X Y . Se cada f
n
e contnua, entao f e contnua.
Demonstracao. Vamos mostrar que f e contnua em x X. Seja > 0. Como (f
n
)
nN
converge
uniformemente para f, existe n
0
0
, d
(f(y), f
n
(y)) <

3
para todo y X.
Fixe n > n
0
. Como f
n
e contnua, existe > 0 tal que, para todo y X tal que d(x, y) < , temos
d
(f
n
(x), f
n
(y)) <

3
. Assim, dado y X tal que d(x, y) < , temos:
d
(f(y), f(x)) d
(f(y), f
n
(y)) +d
(f
n
(y), f(x))
d
(f(y), f
n
(y)) +d
(f
n
(y), f
n
(x)) +d
(f
n
(x), f(x))
<

3
+

3
+

3
=
Proposicao 7.2.3. Seja (K, d) um espaco metrico compacto. Entao ((K) e um espaco completo.
Demonstracao. Seja (f
n
)
nN
sequencia de Cauchy de funcoes de ((K). Isto e, para todo > 0, existe
n
0
0
, sup[f
n
(x) f
m
(x)[ : x K < . Note que, para cada x K, a
sequencia (f
n
(x))
nN
e uma sequencia de Cauchy em R. Portanto, para cada x K, existe f(x) tal
que f
n
(x) f(x). Vamos mostrar que (f
n
)
nN
converge uniformemente para f. Seja > 0. Como
(f
n
)
nN
e uma sequencia de Cauchy, existe n
0
0
, sup[f
n
(x)f
m
(x)[ : x
K <

4
. Fixe x K. Como f
n
(x) f(x), existe n
x
> n
0
tal que, se m > n
x
, [f(x) f
m
(x)[ <

4
.
Note que, dado n > n
0
temos que [f
n
(x) f(x)[ [f
n
(x) f
m
(x)[ + [f
m
(x) f(x)[ <

2
(o m
considerado e tal que m > n
x
). Logo, para n > n
0
, temos
sup[f
n
(x) f(x)[ : x K

2
<
Assim, (f
n
)
nN
converge para f uniformemente. Logo, f e contnua (Proposi cao 7.2.2), isto e,
f C(K). Note tambem que d(f, f
n
) = sup[f
n
(x) f(x)[ : x K, logo f
n
f em C(K).
Denicao 7.2.4. Seja (X, d) um espa co metrico. Dizemos que / C(X) e uma algebra se, para
cada f, g /, e R temos que:
(a) fg / (/ e fechado pelo produto de funcoes);
(b) f, f +g / (/ e um espa co vetorial sobre R).
Dados f, g /, denimos, para cada x X:
(f g)(x) = minf(x), g(x)
(f g)(x) = maxf(x), g(x)
56 CAP

OES
Denicao 7.2.5. Seja (X, d) um espa co metrico. Dizemos que T C(X) separa pontos se,
dados x, y X distintos existe f T tal que f(x) ,= f(y).
Lema 7.2.6. Seja (K, d) um espaco metrico compacto. Seja / C(K) uma algebra que separa
pontos. Entao, dados , R e x, y K distintos, existe f / tal que f(x) = e f(y) = .
Demonstracao. Como / separa pontos, existe g / tal que g(x) ,= g(y). Note que f : K R
dada por
f(z) =

g(x) g(y)
g(z) +
g(x) g(y)
g(x) g(y)
para z K e tal que f / e f(x) = e f(y) = .
pontos, que contem as funcoes constantes e tal que se f, g /, f g, f g /. Sejam R,
F K fechado p K F. Entao existe f / tal que f(x) para todo x K, f(p) = e
f(x) > se x F .
Demonstracao. Para cada x F, pelo lema 7.2.6, existe f
x
/ tal que f
x
(p) = e f
x
(x) = + 1.
Seja U
x
= y K : f
x
(y) > . Note que cada U
x
e aberto (exerccio) e que ( = U
x
: x F
e um recobrimento aberto para F. Como F e compacto (Proposi cao 5.1.5), temos que existem
x
1
, ..., x
n
F tais que
n
i=1
U
x
i
F. Considere g C(k) dada por g = f
x
1
f
xn
. Note que
g(x) > para todo x F e que g(p) = . Considere h / constante igual a . Note que f = g h
satisfaz o enunciado.
Lema 7.2.8. Seja (K, d) um espaco metrico compacto. Seja T C(K) uma famlia de funcoes
tais que se f, g T, f g, f g T. Suponha que a funcao h : K R dada por
h(x) = inf
fF
f(x)
seja contnua. Ent ao, dado > 0, existe g T tal que 0 g(x) h(x) < para todo x K.
Demonstracao. Para cada x K, existe uma fun cao f
x
/ tal que f
x
(x) < h(x) +

3
. Como f
x
e
h sao contnuas, existe um aberto U
x
que contem x tal que
[f
x
(y) f
x
(x)[ <

3
e [h(y) h(x)[ <

3
para todo y U
x
. Assim, dado y U
x
, temos
f
x
(y) h(y) = [f
x
(y) h(y)[
[f
x
(y) f
x
(x)[ +[f
x
(x) h(x)[ +[h(x) h(y)[
<
Note que ( = U
x
: x K e um recobrimento aberto para K, que e compacto. Logo, existem
x
1
, ..., x
n
K tais que
n
i=1
U
x
i
= K. Seja g = f
x
1
f
xn
. Note que g /. Seja y K. Vamos
mostrar que g(y) h(y) < . De fato, seja x
i
tal que y U
x
i
. Temos
g(y) h(y) f
x
i
(y) h(y) < .
7.2. ESPAC OS DE FUNC

OES 57
pontos, que contenha as fun coes constantes e tal que se f, g /, f g, f g /. Entao, para
qualquer g C(K) e para qualquer > 0 existe f / tal que, para todo x K, 0 f(x)g(x) < .
Demonstracao. Seja g C(K). Considere T = f / : f(x) g(x) para todo x K. Vamos
mostrar que g(p) = inf
fF
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 / 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 F, g(x) f(x) para todo x K. Assim, f T e
f(p) g(p) +. Como e arbitrario, g(p) = inff(p) : f T.
Assim, podemos aplicar o Lema 7.2.8 e obtemos o resultado.
Lema 7.2.10. Dado > 0, existe um polinomio 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 /
C(K) uma algebra que separa pontos e que contenha as funcoes constantes. Sejam f C(K) e
> 0. Entao existe g / tal que, para todo x K, [g(x) f(x)[ < .
Demonstracao. Note que / e uma algebra em C(K). Assim, se mostrarmos que, dados f, g /,
f g, f g /, teremos o resultado pelo lema 7.2.9. Seja f / tal que sup[f(x)[ : x K 1.
Assim, dado > 0, se p(x) e o polinomio dado pelo lema 7.2.10, temos que [[f(x)[ p(f(x))[ < .
Como / e uma algebra que contem as funcoes constantes, temos que p f /. Assim, como / e
fechado, temos que a funcao dada por [f(x)[ para x K e um elemento de /.
Note que se f /, a funcao g(x) =
(
f
(x))sup [f(y)[ : y K e tal que sup [g(x)[ : x K 1.
Assim, a fun cao dada por [g(x)[ para x K e um elemento de / e, portanto, a fun cao dada por
[f(x)[ para x K tambem. Ou seja, f /, entao a funcao dada por [f(x)[ para x K tambem e
um elemento de /.
Finalmente, dadas f, g /. Note que, dado x K, temos
(f g)(x) =
1
2
(f(x) +g(x)) +
1
2
[f(x) g(x)[
(f g)(x) =
1
2
(f(x) +g(x))
1
2
[f(x) g(x)[
Assim, pelo fato de / ser uma algebra, temos que fveeg, f g /.
Corolario 7.2.12 (Teorema de Weierstrass). Toda funcao contnua denida num subespaco
fechado e limitado de R
n
e limite uniforme de uma sequencia de polinomios.
Demonstracao. Basta notar que o conjunto dos polinomios satisfaz as hipoteses para / no teorema
anterior.
58 CAP

OES
Exerccios de 7.2
1. Considere F R com a metrica usual e tal que F seja fechado e limitado.
(a) Seja p(x) = a
0
+ a
1
x + + a
n
x
n
um polinomio. Para cada a
i
, seja (q
i
k
)
kN
sequencia de
racionais tal que q
i
k
a
i
. Mostre que p
k
p em C(F), onde p
k
(x) = q
0
k
+q
1
k
x+ +q
n
k
x
n
.
(b) Use o item anterior e fato que a
0
+ a
1
x + + a
n
x
n
: a
0
, ..., a
n
Q e enumeravel para
concluir que C(F) e separavel.
(c) Mostre que o conjunto T das funcoes contnuas e nao diferenciaveis em todos os pontos e de
Lindelof.
7.3 Teoremas de ponto xo
Denicao 7.3.1. Seja X um conjunto nao vazio. Seja f : X X uma funcao. Dizemos que
x X e um ponto xo de f se f(x) = x.
Proposicao 7.3.2. Considere [0, 1] com a metrica usual. Entao toda f : [0, 1] [0, 1] contnua
admite um ponto xo.
Demonstracao. Considere g : [0, 1] R dada por g(x) = f(x) x. Note que g(0) = f(0) 0. Se
g(0) = 0, terminamos (ja que f(0) = 0). Note tambem que g(1) 0 e que, se g(1) = 0, terminamos
ja que f(1) = 1. Assim, so 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.
Denicao 7.3.3. Sejam (X, d) e (Y, d
) espa cos metricos. Dizemos que uma fun cao f : X Y e

uma contracao se existe k R tal que 0 k < 1 e, para quaisquer x, y X, temos d
(f(x), f(y))
kd(x, y).
Teorema 7.3.4 (do ponto xo de Banach). Sejam (X, d) um espaco metrico completo e f :
X X uma contra cao. Entao existe x X ponto xo de X. Alem disso, tal x e o unico ponto
xo de f e, dado x
0
X qualquer, a sequencia (x
n
)
nN
dada por x
n+1
= f(x
n
) para todo n > 0 e
convergente para x.
Demonstracao. Vejamos primeiramente a unicidade. Suponha que x, y X sejam pontos xos.
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 (x
n
)
nN
como no enunciado e uma sequencia de Cauchy.
Comecemos mostrando que, para qualquer n N, d(x
n
, x
n+1
) k
n
d(x
0
, x
1
). 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(x
n+1
, x
n+2
) = d(f(x
n
), f(x
n+1
)
kd(x
n
, x
n+1
)
k
n+1
d(x
0
, x
1
)
7.4. ESPAC OS NORMADOS 59
Sejam n, p N. Vamos estimar a distancia entre x
n
e x
n+p
. Temos:
d(x
n
, d
n+p
) d(x
n
, x
n+1
) + +d(x
n+p1
, x
n+p
)
k
n
d(x
0
, x
1
) + +k
n+p1
d(x
0
, x
1
)
= k(1 + +k
p1
)d(x
0
, x
1
)
k
n
1k
d(x
0
, x
1
)
Assim, como k
n
0, temos que d(x
n
, x
m
) 0 se tomarmos n, m > n
0
e fazendo n
0
.
Logo, (x
n
)
nN
e uma sequencia de Cauchy. Como X e completo, seja x o limite de (x
n
)
nN
. Pelo
exerccio 1 desta secao, temos que f e contnua. Assim
f(x) = f( lim
n
x
n
) = lim
n
f(x
n
) = lim
n
x
n+1
= x
Exerccios de 7.3
1. Mostre que toda contra cao e uma funcao contnua.
2. Mostre que nao podemos supor 0 k 1 no Teorema do ponto xo de Banach (7.3.4).
7.4 Espacos normados
Proposicao 7.4.1. Sejam (E, ||
1
) e (F, ||
2
) espacos normados e T : E F uma transformacao
linear. Sao equivalentes:
(a) T e contnua;
(b) T e contnua em 0;
(c) existe k R tal que, para todo a E tal que |a|
1
1, |T(a)|
2
< k.
Demonstracao. a b) Imediato.
b c) Como T e contnua em 0, existe > 0 tal que, para a E, temos
|a|
1
= d
1
(a, 0) < d
2
(T(a), T(0)) = |T(a)|
2
< 1
onde d
1
e d
1
sao as metricas induzidas pelas normas ||
1
e ||
2
respectivamente. Seja k =
2
.
Temos, para a E tal que |a|
1
1:
|T(a)|
2
= k
_
_
_
_
T(
1
k
a)
_
_
_
_
2
()
< k1 = k
onde () vale ja que
_
_
1
k
a
_
_
1
=

2
|a|
1
< .
60 CAP

OES
c a) Seja a E. Seja k como em (c). Seja > 0. Considere =

k
. Temos, para b E tal que
|a b|
1
< e b ,= a:
|T(a b)|
2
= |a b|
1
_
_
_T(
1
ab
1
(a b))
_
_
_
2
(c)
< |a b|
1
k
<
Proposicao 7.4.2. Seja (E, | |) um espaco vetorial normado de dimens ao nita n 1. Temos:
(a) existe T : R
n
E transforma cao linear que e tambem um homeomorsmo;
(b) (E, ||) e localmente compacto.
Demonstracao. (a) Seja b
1
, ..., b
n
base para E. Considere T : R
n
E tal que T(x
1
, ..., x
n
) =
x
1
b
1
+ x
n
b
n
.

E claro que T e uma transformacao linear bijetora. Vejamos que T e contnua.
Para isso, vamos considerar em R
n
a norma |(x
1
, ..., x
n
)|
1
= [x
1
[ + +[x
n
[, que e equivalente
a norma usual (exerccio). Seja k = max|T(e
i
)| : i = 1, ..., n, onde e
1
, ..., e
n
e a base
canonica do R
n
. Vamos mostrar que se |(x
1
, ..., x
n
)| 1, entao |T(x
1
, ..., x
n
)| < k. Temos
|T(x
1
, ..., x
n
)| [x
1
[|T(e
1
)| +[x
n
[|T(e
n
)| [x
1
[k + +[x
n
[k = |(x
1
, ..., x
n
)|
1
k k
Agora vejamos que T
1
tambem e contnua. Seja S = (x
1
, ..., x
n
) R
n
: |(x
1
, ..., x
n
)|
1
= 1.
Note que, como T e injetora, |T(x
1
, ..., x
n
)| > 0 para todo (x
1
, ..., x
n
) S. Como S e compacto,
existe M > 0 tal que |T(x
1
, ..., x
n
)| M para todo (x
1
, ..., x
n
) S. Assim, temos, para a E
tal que |a| 1:
_
_
_
_
1
|T
1
(a)|
a
_
_
_
_
= 1
Assim
1
|T
1
(a)|

1
|T
1
(a)|
|a| =
_
_
_
_
T(
1
|T
1
(a)|
a)
_
_
_
_
M
Logo
_
_
T
1
(a)
_
_
M
(b) Segue imediatamente de (a) e pelo fato de R
n
ser localmente compacto.
Lema 7.4.3. Sejam (E, ||) espaco vetorial normado e F E um subespaco vetorial fechado. Se
F ,= E, dado > 0 existe a E tal que |a| = 1 e d(a, F) 1 .
Demonstracao. Seja > 0. Seja x E F. Note que, como x / F e F e fechado, temos que
d(x, F) > 0. Seja > 0 tal que
d(x,F)
d(x,F)+
> 1 . Seja y F tal que d(x, y) < d(x, F) + . Seja
a =
1
xy
(x y). Note que |a| = 1. Assim, dado b F, temos
|a b| =
_
_
_
1
xy
(x y)
xy
xy
b
_
_
_
=
1
xy
|(x y) |x y|b|
d(x,F)
d(x,F)+
onde a ultima inequa cao vale ja que y |x y|b F.
7.4. ESPAC OS NORMADOS 61
Proposicao 7.4.4. Seja (E, ||) espaco vetorial normado. Sao equivalentes:
(a) E tem dimensao nita;
(b) a E : |a| 1 e compacto.
Demonstracao. a b) Seja T : E R
n
um homeomorsmo linear, temos que T[a E : |a|
1] e fechado e limitado em R
n
e, portanto, compacto (o limitado segue pela caracteriza cao de
continuidade da Proposicao 7.4.1). Assim, trabalhando com T
1
, temos que a E : |a| 1
e compacto.
b a) Suponha E com dimensao innita. Seja a
0
S = a E : |a| 1. Seja F
0
o subespaco
gerado por a
0
. Note que F
0
e fechado (exerccio). Agora suponha denidos a
0
, ..., a
n
S e
F
0
, ..., F
n
E, onde F
k
e o subespaco gerado por a
0
, ..., a
k
(que e fechado (exerccio)). Seja
a
n+1
E F
n
. Como E nao tem dimensao nita, E F ,= . Assim, pelo lema anterior,
existe a
n+1
S F
n
tal que d(a
n+1
, F
n
) >
1
2
. Note que, por (b), S e compacto (fechado
num compacto). Mas (a
n
)
nN
e uma sequencia de pontos num compacto sem subsequencia
de Cauchy, contradi cao.
Exerccios de 7.4
1. Sejam E um espaco vetorial e | |
1
e | |
2
duas normas sobre E. Dizemos que | |
1
e | |
2
sao
duas normas equivalentes se as metricas induzidas por elas forem equivalentes. Mostre que
(a) ||
1
e ||
2
sao equivalente se, e somente se, I : E E e contnua tanto considerada de
(E, ||
1
) em (E, ||
2
) como de (E, ||
2
) em (E, ||
1
);
(b) ||
1
e ||
2
sao equivalentes se, e somente se, existem , R tais que , > 0 e, para todo
a E, temos |a|
1
|a|
2
|a|
1
.
(c) Mostre que se E e de dimensao nita, entao ||
1
e ||
2
sao equivalentes.
2. Mostre que se E e de dimensao nita e T : E F e linear, entao T e contnua.
3. Considere T o conjunto dos polinomios sobre R. Note que T e um espa co vetorial sobre R.
(a) Mostre que || : T R dada por |p| = supp(x) : x [0, 1] e uma norma sobre T;
(b) Mostre que T : T R dada por T(p) = p(2) e linear.
(c) Mostre que T nao e contnua.
4. Seja (E, ||) espaco vetorial normado. Mostre que E tem dimensao nita se, e somente se,
(E, ||) e localmente compacto.
62 CAP

OES
7.5 Teorema da aplicacao aberta e teorema do graco fechado
Denicao 7.5.1. Seja (E, ||) um espaco vetorial normado. Dizesmo que E e um espaco de
Banach se E e completo (com respeito à metrica induzida pela norma).
Proposicao 7.5.2. Seja (E, ||) um espaco de Banach. Seja (a
n
)
nN
sequencia em E tal que
n=0
|a
n
| < . Entao existe a E tal que
k
n=0
a
n
a (Denotamos isso por
n=0
a
n
= a).
Demonstracao. Para cada k N, seja s
k
=
k
n=0
a
n
. Vamos mostrar que (s
k
)
kN
e uma sequencia
de Cauchy e, portanto, convergente. Seja > 0. Como
n=0
|a
n
| < , para qualquer > 0,
existe n
0
tal que
n=n
0
|a
n
| < . Sejam p > q > n
0
. Temos:
|s
q
s
p
| =
_
_
_
_
_
p1
n=q
a
n
_
_
_
_
_
p1
n=q
|a
n
|
n=n
0
|a
n
| <
Notacao 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 AB o conjunto
a b : A e b B.
Lema 7.5.4. Sejam (E, ||
1
) e (F, ||
2
) espacos de Banach e T : E F uma transformacao
linear contnua sobrejetora. Entao existe r > 0 tal que
b F : |b|
2
r T[a E : |a|
1
1]
Demonstracao. Para cada n N, seja S
n
= a E : |a|
1
<
1
2
n
. Note que
E =
_
kN
kS
1
Assim, como T e sobrejetora, temos que
F =
_
kN
kT(S
1
)
Como Y e completo, Y e de segunda categoria. Assim, existe k N tal que kT(S
1
) tambem e de
segunda categoria e, portanto T(S
1
) tambem. Isto e, existe b F e r > 0 tal que B
r
(b) T(S
1
).
Logo,
B
r
(0) T(S
1
) b
Note que
T(S
1
) p T(S
1
) T(S
1
) 2T(S
1
) = T(S
0
)
Ou seja, temos que B
r
(0) T(S
0
). Assim, pela linearidade de T, temos que
B
r
2
n
(0) T(S
n
)
7.5. TEOREMA DA APLICAC

AO ABERTA E TEOREMA DO GR
AFICO FECHADO 63
Vamos mostrar que B
r
2
(0) T(S
0
). Seja b F tal que |b|
2
<
r
2
. Como b T(S
1
), existe
a
1
S
1
tal que
|b T(a
1
)|
2
<
r
4
Note que, para n N, n > 1, podemos escolher a
n
S
n
de forma que
|b T(a
1
) T(a
n
)| <
r
2
n+1
pois b T(a
1
) T(a
n1
) T(S
n
). Note que |a
n
|
1
<
1
2
n
. Assim, existe a E tal que
n=0
a
n
= a (pelo Lema 7.5.2). Alem disso, a S
0
e
T(a) = T(
n=0
a
n
) =
n=0
T(a
n
) = b
Ou seja, b T(S
0
).
Teorema 7.5.5 (da aplicacao aberta). Sejam (E, ||
1
) e (F, ||
2
) espacos de Banach e T :
E F uma transforma cao linear contnua sobrejetora. Entao T e uma funcao aberta. Assim, se
alem disso, T for injetora, T e um homeomorsmo.
Demonstracao. 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 B
r
(a) A. Assim, pelo Lema 7.5.4, existe s > 0 tal que B
s
(0) T[B
r
(0)].
Assim,
B
s
(a) T[B
r
(b)] T[A]
e, portanto, T[A] e aberto.
Corolario 7.5.6. Sejam E um espaco vetorial e ||
1
e ||
2
duas normas completas sobre E. Seja
k R, k > 0 tal que, para todo a E temos que
|a|
1
k|a|
2
entao ||
1
e ||
2
sao equivalentes (isto e, existe r > 0 tal que, para todo a E, |a|
2
r|a|
1
).
Demonstracao. Note que I : (E, ||
2
) (E, ||
1
) dada por I(a) = a para todo a E e uma
transformacao linear contnua e bijetora. Assim, I e um homeomorsmo pelo Teorema da aplicacao
aberta. Logo I
1
e contnua (e linear) e, portanto, as normas sao equivalentes.
Teorema 7.5.7 (do graco fechado). Sejam (E, ||
1
) e (F, ||
2
) espacos de Banach e T : E
F uma transforma c ao linear. Se o gr aco de T e fechado em E F, entao T e contnua.
Demonstracao. Dena a seguinte norma sobre E: dado a E,
|a| = |a|
1
+|T(a)|
2
Vejamos que esta norma e completa. Seja (a
n
)
nN
sequencia de Cauchy em (E, ||). Note, assim,
(a
n
)
nN
e de Cauchy em (E, ||
1
) e (T(a
n
))
nN
e de Cauchy em (F, ||
2
). Logo, existem a A e
64 CAP

OES
b F tais que a
n
1
a e T(a
n
)

2
b. E, como o graco de T e fechado, T(a
n
) T(a). Logo,
a
n
a.
Assim, como
|a|
1
|a|
1
+|T(a)|
2
= |a|
para todo a E, temos, pelo Corolario 7.5.6 que existe k > 0 tal que
|a| k|a|
1
Logo, |T(a)|
2
k|a|
1
e, portanto, |T(a)|
2
k para a tal que |a|
1
1. Ou seja, T e contnua.
Exemplo 7.5.8. Note que f : R R (R considerado com a metrica usual) dada por
f(x) =
_
0 se x = 0
1
x
caso contrario
e uma funcao com o graco fechado mas que nao e contnua.
Notacao
A+v, 62
AB, 62
B
X
r
(x), 8
B
X
r
[x], 8
A, 62
A
X
, 16
A, 14
lim
n
x
n
, 18
d(A, B), 9
x
n
x, 18
((K), 44
((X
1
, X
2
), 12
T(X
1
, X
2
), 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 espa cos compactos
Teorema de, 50
Baire para espa cos 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
fun cao, 10
contracao, 58
converge
uniformemente, 55
convergente
sequencia, 18
convexo, 26
Conway
Fun cao 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
xo
ponto, 58
fronteira, 14
fun cao
aberta, 44
contnua, 10
fechada, 44
uniformemente contnua, 11
Fun cao base 13 de
Conway, 28
graco fechado
Teorema do, 63
homeomorsmo, 10
induzida pela norma
metrica, 6
interno
produto, 7
interseccao nita
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
xo, 58
ponto xo 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 nita, 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
subespa co, 6
subsequencia, 19
Teorema
aplicacao aberta, da, 63
Baire em termos de Categoria, de, 51
Baire para espa cos compactos, de, 50
Baire para espa cos completos, de, 49
graco fechado, do, 63
ponto xo de Banach, do, 58
Stone-Weierstrass, de, 57
valor intermediario, do, 27
Weierstrass, de, 57
totalmente
desconexo, 28
limitado, 40
uniformemente
converge, 55
uniformemente contnua
fun cao, 11
valor intermediario
Teorema do, 27
Weierstrass
Teorema de, 57

EMétrico

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

EMétrico

Transféré par

Droits d'auteur :

Formats disponibles

Espacos Metricos

E claro que sobre um mesmo conjunto podemos ter metricas diferentes:

) tambem e um espaco metrico onde d

) espacos metricos. Dizemos que f : X Y e uma funcao uniforme-

(f(a), f(b)) < . Mostre que:

) um espaco metrico dado como no Exerccio 3 de 1.1. Mostre que X e um conjunto

ITULO 2. A TOPOLOGIA NOS ESPAC OS M

) espacos metricos e f : X Y uma funcao. Sao

(f(x))], isto e, f[B

ITULO 2. A TOPOLOGIA NOS ESPAC OS M

(x) A ,= ja que existe n tal que

ITULO 2. A TOPOLOGIA NOS ESPAC OS M

(y). Seja n > n

) espacos metricos e f : X Y uma funcao. S ao equiva-

(f(x)). Como x = lim

(x). Logo, para todo n > n

(f(x)), isto e, (f(x

(x) tal que f(y) / B

(f(x)). Para cada n N, dena x

(f(x)). Note que x = lim

ITULO 2. A TOPOLOGIA NOS ESPAC OS M

) tem os mesmos abertos,

e a metrica discreta. Ja vimos que todo subconjunto de (X, d

) e aberto (Exemplo 2.1.5).

ITULO 2. A TOPOLOGIA NOS ESPAC OS M

equivalente a d que torna X

(. Sem perda de generalidade, suponha

( = X (pois cada ponto pertence a sua componente conexa (Proposicao

INUAS E CONEXIDADE POR CAMINHOS 25

( e conexo. Dica: Considere a famlia

) espacos metricos. Se X e conexo por caminhos e f :

() tal que f() B.

( e conexo por caminhos. Generalize como no Exerccio 9 de 3.1.

) espacos metricos e f : X Y contnua. Suponha X

). Vamos mostrar que

) e, portanto, convergente. Como

uma pseudometrica sobre X. Ent ao (X/

(x, y) e e a relacao de equivalencia denida no Exerccio 4.3.5 e um

(y, x) = d([y], [x]);

(y, w) = d([x], [z]) +d([y], [z]).

: S(X) S(X) dada por

esta bem denida, isto e, que dados (x

) e um espaco metrico completo

e a metrica induzida pela pseudometrica denida na Proposicao 4.3.8.

Y e nito. Vamos mostrar que Y

(y). Seja a Y . Como Y X,

( nito que seja recobrimento aberto para

( nito tal que (

(x). Como cada B

( nito tal que (

( nito que e recobrimento aberto para X.

e tal que C A e nito, temos que A e nito.

) espacos metricos e f : X Y uma funcao contnua.

e um recobrimento aberto para X (pois f e contnua e pela

nito que e recobrimento aberto para

) espacos metricos, sendo Y compacto. Se f : X Y e

(f(x), f(b)) <

) um espaco metrico compacto. Considere o conjunto ((K) de todas as fun coes

/ recobrimento aberto enumeravel para X. Note que

e um recobrimento aberto enumeravel para F.

) espacos metricos. Seja f : X Y uma fun cao contnua. Mostre que se

) espacos metricos e f : X Y , g : X Y funcoes

ITULO 6. SUBESPAC OS DENSOS

ITULO 6. SUBESPAC OS DENSOS