Topologia Lisboa

DOS EXERCICIOS DE TOPOLOGIA PARA 23/2
RESOLUC
AO
Munkres 13.3: Vejamos que Tc = {U X : X \ U e contavel ou todo o X} verifica os axiomas para uma topologia em X:
(1) Tc porque X \ e todo o X; X Tc porque X \ X = e contavel.
(2) Seja {U } uma famlia nao vazia de elementos de Tc . Se todos os U
sao vazios, entao a sua uniao tambem e e portanto pertence a Tc . Caso
contrario, seja tal que U e nao vazio de forma a que X \ U e contavel.
Temos
X \ U = (X \ U ) X \ U
logo X\ U , sendo um subconjunto de um conjunto contavel, e contavel.
Conclumos que, em qualquer caso, U Tc .
(3) Seja {U1 , . . . , Un } uma famlia finita e nao vazia de elementos de Tc . Se
algum dos Ui e vazio entao ni=1 Ui = pelo que pertence a Tc . Caso
contrario temos que X \ Ui e contavel para cada i e entao X \ ni=1 Ui =
ni=1 X \ Ui e contavel pois e uma uniao finita de conjuntos contaveis. Em
qualquer caso obtemos que ni=1 Ui Tc .
A coleccao T = {U | X \ U e infinito ou vazio ou todo o X} nao e em
geral uma topologia. Por exemplo, tomando X = R, temos ], 0[, ]0, +[
T (tem complementar infinito) mas ] , 0[]0, +[6 T uma vez que o
seu complementar {0} nao e infinito nem vazio nem todo o X.
Munkres 13.4: (a) Seja {T } uma famlia (nao vazia) de topologias em X e seja T = T .
Vejamos que T satisfaz os axiomas de uma topologia em X.
(1) Como , X T para todo o temos que , X T .
(2) Seja {U } uma famlia nao vazia de elementos de T . Dado , temos
T T e logo U T para todo o . Sendo T uma topologia
temos U T . Como isto acontece para todo o conclui-se que
U T .
(3) Seja {U1 , . . . , Un } uma famlia finita e nao vazia de elementos de T .
Dado , temos que Ui T para todo o i logo ni=1 Ui T . Como
isto acontece para todo o conclui-se que ni=1 Ui T .
A uniao de topologias nao e em geral uma topologia. Por exemplo a uniao
das topologias T1 e T2 da alnea c) abaixo nao e uma topologia uma vez
que {a, b}, {b, c} T1 T2 mas {a, b} {b, c} = {b} 6 T1 T2 .
(b) Seja {T } uma famlia de topologias em X. Pela alnea anterior, T e
uma topologia em X e claramente esta contida em todos os T . Por outro
lado, se T 0 e uma topologia em X que esta contida em todos os T entao
T 0 T e portanto T 0 e menos fina que T . Conclui-se que T
e a mais fina das topologias que esta contida em todos os T .
O conjunto S das topologias em X que contem cada uma das topologias
T e nao vazio uma vez que a topologia discreta pertence a S. Seja T a
interseccao de todas as topologias em S (que e uma topologia pela alnea
(a)). Como todas os elementos de S contem T , temos que T T .
Por outro lado, se T 0 e uma topologia em X tal que T T 0 entao
T 0 S e portanto T T 0 pelo que T e a menos fina de todas as
topologias que contem T .
1

RESOLUC
AO
Notas: Alternativamente podemos ver que a menor, ou menos fina, das

topologias que contem todas os T e a topologia que tem T por subbase.
A razao porque se insiste na unicidade da menor (respectivamente maior)
topologia no enunciado deste problema e que a relacao de inclusao entre
as topologias e apenas uma relacao de ordem parcial. Dada uma famlia S
de subconjuntos de X, poderia haver varias topologias distintas (nao comparaveis) T contendo S e com a propriedade de nao haverem topologias
T 0 tais que S T 0 T . A demonstracao acima mostra que nao e esse o
caso uma vez que a menor topologia descrita e comparavel com todas as
topologias contendo S = T .
(c) A maior topologia contida em T1 e T2 e como vimos T1 T2 = {, X, {a}}.
A menor topologia que contem T1 T2 e T = {, X, {a}, {b}, {a, b}, {b, c}}.
De facto, e imediato verificar que T satisfaz os axiomas de uma topologia
calculando todas as interseccoes e unioes possveis de elementos de T e
claramente T1 T2 T . Por outro lado, se T 0 e uma topologia contendo
T1 e T2 , {b} = {a, b} {b, c} tera de pertencer a T 0 pelo que T T 0 .
Munkres 13.6: Para ver que a topologia de R` nao esta contida em RK vamos mostrar que
[0, 1[ nao e um aberto em RK . Se tal acontecesse, teria de haver um elemento
B da base de RK com 0 B [0, 1[. Mas os elementos da base de RK sao
da forma ]a, b[ ou ]a, b[\K. Em qualquer dos dois casos x B a < 0 e
entao a2 B mas a2 6 [0, 1[ pelo que nenhum elemento da base contendo 0 esta
contido em [0, 1[. Conclui-se que [0, 1[ nao e um aberto de RK . Vejamos agora
que a topologia de RK tambem nao esta contida na topologia de R` . Basta
ver que ] 1, 1[\K nao e aberto em R` . Se fosse, teria de haver um elemento
[a, b[ da base de Rl com 0 [a, b[]1, 1[\K. Mas 0 [a, b[ a 0 e b > 0.
Seja N um natural tal que N1 < b. Entao N1 [a, b[ mas N1 6] 1, 1[\K.
Conclumos que as topologias de R` e RK nao sao comparaveis.
Munkres 13.7: As relac
oes de inclusao entre as topologias sao determinadas pela propriedade
transitiva e pelas seguintes afirmacoes:
(i) T1 T2 T4
(ii) T3 , T5 T1
(iii) T3 e T5 nao sao comparaveis.
Para ver (i) note-se que, uma vez que a base para T2 contem a base para T1
temos que T1 T2 . Para ver que T2 T4 basta ver que os abertos da base de
1
T2 sao abertos de T4 . Ora ]a, b[=
n=1 ]a, b n ]. Quanto aos elementos da base
da forma ]a, b[\K, temos dois casos a considerar. Claramente podemos assumir
que K intersecta ]a, b[ e portanto b > 0. Se a < 0 entao ]a, b[\K =]a, 0] V
onde V e uma uniao (disjunta, contavel) de intervalos abertos de R. Tendo
em conta que ]a, 0] T4 e que ja vimos que os intervalos abertos pertencem
a T4 conclumos que ]a, b[\K T4 neste caso. Por outro lado, se a 0 entao
]a, b[\K e uma uniao (disjunta, contavel) de intervalos abertos de R e portanto
pertence a T4 .
Uma vez que os conjuntos finitos e R sao fechados de R, conclui-se que
T3 T1 . Uma vez que os elementos da base de T5 sao abertos de R, temos
tambem que T5 T1 . Isto prova (ii).
Finalmente R \ {0} T3 \ T5 (nao existe nenhum aberto B da base de T5
com 1 B R \ {0}) e ] , 0[ T5 \ T3 pois R\] , 0[ nao e finito nem
igual a R. Isto mostra (iii).

RESOLUC
AO
Munkres 13.8: (a) Vamos ver que a coleccao B satisfaz a hipotese do Lema 13.2. Os elementos de B sao abertos de R. Se U R e aberto e x U , entao existe
um aberto ]c, d[ da base da topologia usual em R tal que x ]c, d[ U .
Sejam a, b racionais tais que c < a < x e x < b < d. Entao ]a, b[ B e
x ]a, b[]c, d[ U . O Lema 13.2 garante entao que B e uma base para
a topologia usual em R.
(b) Comecamos por ver que C e uma base de topologia em R:
(1) Para todo o x R existem a, b racionais com a x < b e entao
x [a, b[ com [a, b[ C.
(2) Sejam [a1 , b1 [, [a2 , b2 [ C e x [a1 , b1 [[a2 , b2 [. Entao max{a1 , a2 }
e min{b1 , b2 } sao racionais e temos x [max{a1 , a2 }, min{b1 , b2 }[
[a1 , b1 [[a2 , b2 [.
C esta contido na base da topologia de R` pelo que a topologia T gerada
por C e menos fina que a topologia deR` . Para ver que e estritamente
menos fina vamos mostrar que U = [ 2, 2[ n
ao e um aberto
de T . Se
U fosse aberto teria de haver [a, b[ C com 2 [a, b[
[
2, 2[. Mas
a+ 2
como a Q, 2 [a, b[ a < 2 e entao teramos 2 [a, b[ mas
a+ 2
6 [ 2, 2[ contradizendo a inclusao [a, b[ [ 2, 2[. Conclumos que
2
T e estritamente menos fina que a topologia de R` .

RESOLUC
AO
Munkres 16.4: Um aberto U da topologia produto em X Y pode escrever-se como uma uniao
de elementos da base. Existem portanto famlias {U } de abertos de X e {V }
de abertos de Y , que podemos supor nao vazios, tais que U = U V .
Temos entao que
1 (U ) = 1 ( U V ) = 1 (U V ) = U
e uma uniao de abertos de X e e portanto aberto em X. Da mesma forma
vemos que 2 (U ) = V e um aberto de Y . Conclumos que 1 e 2 sao
aplicac
oes abertas.
Munkres 16.8: Uma base da topologia de R` R e dada pelos conjuntos da forma [a, b[]c, d[
com a, b, c, d R e a < b, c < d. A linha L e descrita por uma equacao
parametrica
t 7 (x0 , y0 ) + t(v1 , v2 ), t R
facil verificar que
(onde (v1 , v2 ) 6= (0, 0)). E
L [a, b[]c, d[= {(x0 , y0 ) + t(v1 , v2 ) : t I}
onde I e um intervalo de R. Consideramos dois casos:
facil verificar que, neste caso, ou
v1 = 0 (isto e, a linha L e vertical): E
I = , ou I e da forma ]t0 , t1 [ com t0 < t1 . Por outro lado, qualquer
intervalo da forma ]t0 , t1 [ com t0 < t1 pode ser obtido desta forma. Daqui
conclumos que a topologia induzida em L se identifica naturalmente com
a topologia usual.
v1 6= 0: Neste caso, ou I = , ou I =]t0 , t1 [, ou I = [t0 , t1 [ com t0 < t1 .
Novamente, e facil verificar que podemos obter qualquer intervalo da
forma [t0 , t1 [, escolhendo adequadamente o elemento da base de R` R.
Logo, neste caso, a topologia em L pode identificar-se com a topologia
R` .
Munkres 17.6: (a) Como A B B, temos que B e um fechado de X contendo A e
portanto A B.
(b) Uma uniao finita de fechados e fechada. Logo A B e um fechado, e uma
vez que contem A B, temos que A B A B.
Por outro lado, pela alnea a), como A A B temos A A B e da
mesma forma B A B, pelo que A B A B.
Conclui-se que A B = A B como pretendido.
(c) Uma vez que para todo o temos A A , pela alnea a) conclumos
que para todo o temos A A o que e equivalente a A
A .
Para ver que a inclusao pode ser estrita, tome-se X = R (com a topologia
usual) e An = { n1 } com n N. Entao n An = n An = { n1 : n N},
mas n An = { n1 : n N} = { n1 : n N} {0}.
Munkres 17.13: Comecamos por notar que se U X e V X, entao
(U V ) = {(x, x) X X : x U V }.
Suponhamos primeiro que X e Hausdorff e vejamos que X X \ e um
aberto de X X: Dado (x1 , x2 ) 6 , temos x1 6= x2 e portanto existem
1

RESOLUC
AO
abertos U1 e U2 de X com xi Ui para i = 1, 2, tais que U1 U2 = .

Portanto U1 U2 e um aberto da topologia produto, (x1 , x2 ) U1 U2 e
(U1 U2 ) = {(x, x) X X : x } = ,
isto e, U1 U2 (X X \ ). Conclumos que X X \ e aberto, ou seja
que e fechado.
Reciprocamente, suponhamos que X X e fechado, e sejam x1 e
x2 pontos distintos de X. Entao (x1 , x2 ) 6 , ou seja (x1 , x2 ) pertence ao
aberto X X \ . Seja U1 U2 um aberto da base da topologia produto tal
que (x1 , x2 ) U1 U2 X X \ . Entao,
= (U1 U2 ) = {(x, x) X X : x U1 U2 }
logo U1 U2 = . Conclui-se que U1 e U2 sao abertos disjuntos de X contendo
x1 e x2 respectivamente, logo X e um espaco de Hausdorff.
Munkres 17.16: (a) O fecho de K na topologia usual em R e K {0}. De facto K {0} e um
fechado (o complementar e uma uniao de intervalos abertos) contendo K,
logo K K K {0}. Toda a vizinhanca de 0 em R intersecta K logo
0 K e conclumos portanto que K = K {0}.
R \ K = nN (] n, n[\K) e aberto em RK , logo K e fechado e portanto
coincide com o seu fecho em RK .
Na topologia dos complementos finitos T3 , os fechados sao os conjuntos
finitos e R. Como K e infinito, o u
nico fechado que contem K e R pelo
que K = R em T3 .
Vimos no Exerccio 13.7 que a topologia T4 e mais fina que a topologia de
RK . Isto significa que K tambem e fechado em T4 pelo que K = K em
T4 .
Em T5 , temos K = [0, +[. De facto, [0, +[ e um fechado contendo K
(e o complementar de um aberto da base) logo K [0, +[. Por outro
lado, se x 0, qualquer vizinhanca de x em T4 contem um aberto da
base ] , a[ com a > x 0. Escolhendo n tal que n1 < a vemos que
] , a[K 6= , donde x K. Logo [0, +[ K.
(b) A topologia usual em R e Hausdorff e portanto tambem T1 . Uma vez
que as topologias T2 e T4 sao mais finas que a topologia usual em R
tambem sao Hausdorff (e portanto T1 ). A topologia dos complementos
finitos T3 e T1 (os conjuntos finitos de pontos sao fechados por definicao)
mas nao e Hausdorff visto que a interseccao de dois abertos nao vazios
tem complementar finito e portanto e nao vazia. Finalmente a topologia
T5 nao e T1 e portanto nao e Hausdorff: por exemplo, o conjunto {0} nao
e fechado (ve-se como na alnea anterior que {0} = [0, +[).

RESOLUC
AO
Munkres 18.2: Nao. Seja, por exemplo X = Y = R (com a topologia usual), A =]0, +[ e
f : X Y a funcao constante igual a 1. Entao f e contnua, 0 e um ponto
de acumulacao de A (se U e uma vizinhanca de 0 em R entao existe > 0 tal
que ] , [ U , e portanto U \ {0} A ]0, [ e nao vazio), mas f (0) = 1
nao e um ponto de acumulacao de f (A) = {1} uma vez que {1}0 = .
Munkres 18.4: A funcao f (x) = (x, y0 ) e contnua pelo Teorema 18.4, uma vez que as suas
func
oes coordenadas sao a funcao identidade id : X X e a funcao de X
para Y constante igual a y0 que sao ambas contnuas pelo Teorema 18.2. A
aplicacao de projeccao 1 : X Y X e contnua, logo a sua restricao à
imagem de f , 1| im f , e contnua (novamente pelo Teorema 18.2).
Como (f 1| im f )(x, y0 ) = f (x) = (x, y0 ) e (1| im f f )(x) = 1 (x, y0 ) =
x, as func
oes 1| im F e f sao homeomorfismos inversos. Conclui-se que f e
um mergulho.
A demonstracao que g e um mergulho e inteiramente analoga.
Munkres 18.8: (a) Vamos ver que o conjunto U = {x X : f (x) > g(x)} e um aberto de
X. Seja x0 um ponto de U , de forma que f (x0 ) > g(x0 ). Basta mostrar
que existe uma vizinhanca V de x0 tal que V U . Consideramos dois
casos:
]g(x0 ), f (x0 )[= : tomamos entao
V = f 1 (]g(x0 ), +[) g 1 (] , f (x0 )[).
Como f e g sao contnuas, V e aberto, e claramente x0 V . Por
outro lado, se x V , entao f (x) > f (x0 ) f (x) f (x0 ) e
g(x) < g(x0 ) g(x) g(x0 ) pelo que f (x) > g(x). Conclumos
que x U e portanto que V U .
]g(x0 ), f (x0 )[6= : Neste caso, tome-se y0 Y tal que g(x0 ) <
y0 < f (x0 ) e
V = f 1 (]y0 , +[) g 1 (] , y0 [).
Tal como no caso anterior temos que V e uma vizinhanca de x0
contida em U .
(b) Sejam A = {x X : f (x) g(x)} e B = {x X : g(x) f (x)}. Pela
alnea anterior, A e B sao fechados de X. Por definicao de mnimo temos
(
f (x) se x A,
h(x) =
g(x) se x B.
Como f e g sao contnuas, as suas restricoes a A e B respectivamente
sao contnuas. Se x A B entao f (x) g(x) e g(x) f (x) logo
f (x) = g(x). Do lema da colagem (Teorema 18.3) resulta entao que h e
contnua.
Munkres 18.13: Suponhamos que g1 , g2 : A Y sao extensoes contnuas de f . Temos a
mostrar que g1 = g2 . Suponhamos por absurdo que tal nao acontece. Entao
existe x A tal que g1 (x) 6= g2 (x). Como Y e Hausdorff, podemos escolher
vizinhancas disjuntas V1 de g1 (x) e V2 de g2 (x). O conjunto g11 (V1 )g21 (V2 )
e um aberto de A contendo x logo e da forma U A para alguma vizinhanca
U de x em X. Como x A, temos que U A 6= . Tomando x0 U A
temos entao
1

RESOLUC
AO
g1 (x0 ) = f (x0 ) = g2 (x0 ), uma vez que x0 A;

g1 (x0 ) 6= g2 (x0 ), porque x0 U A = g11 (V1 ) g21 (V2 ) e portanto
g1 (x0 ) V1 , g2 (x0 ) V2 mas V1 V2 = .
Isto e uma contradicao logo conclumosQque g1 = g2 conforme pretendido.
Munkres 19.6: Suponhamos primeiro que xk x em X . Dado ,Qseja V uma vizinhanca
de (x). Entao 1 (V ) e uma vizinhanca de x em X e portanto existe
N N tal que p > N xp 1 (V ). Mas xp 1 (V ) (xp ) V
pelo que conclumos que (xn ) (x).
Reciprocamente, suponhamos agora que
Qpara todo o temos
Q que (xn )
(x), eQ
seja U uma vizinhanca de x em X . Seja V = V um aberto da
base de X tal que x V U . Existe entao um conjunto finito de ndices
J = {1 , . . . , k } tal que V = X para todo o 6 J, enquanto que Vi
sao vizinhancas de i (x) em Xi para i = 1, . . . k. Por hipotese, podemos
escolher para cada i = 1, . . . k um natural Ni N de forma a que
p > Ni i (xp ) Vi .
Tome-se N = max{N1 , . . . , Nk }. Entao para p > N temos Q
(xp ) V para
todo o e portanto xp V . Conclui-se que xn x em
X conforme
pretendido.
Este resultado nao permanece valido na topologia das caixas (embora continue a ser verdade que convergencia na topologia das caixas implica convergencia em cada coordenada uma vez que a topologia das caixas e mais
fina que a topologia produto). Por exemplo, no espaco das sucessoes R , a
sucessao xn = ( n1 )mN (cujo n-esimo termo e a sucessao constante igual a n1 )
e tal que m (xn ) = n1 0 para todo o m N, mas xn nao converge para a
sucess
ao nula uma vez que nenhum termo da sucessao pertence à vizinhanca
Q
1 1
1 1
ao nula ( pois m (xm ) 6] m
, m [).
mN ] m , m [ da sucess

RESOLUC
AO
Munkres 19.8: A funcao inversa de h obtem-se resolvendo o sistema:

yi = ai xi + bi xi =
1
ai yi
bi
ai .
Logo
h1 ((y1 , y2 , . . .)) = ( a11 y1
b1 1
a1 , a2 y2
b2
a2 , . . .)
e portanto h1 e uma funcao da mesma forma que h (temos a1i > 0). Para
ver que todas estas funcoes sao homeomorfismos para alguma topologia em
R basta entao verificar que todas sao contnuas.
A demonstracao da continuidade de h e identica para a topologia das caixas
e para a topologia uniforme: Se g : R R e uma funcao afim definida por
db
g(x) = ax + b com a > 0, entao g 1 (]c, d[) =] cb
e contnua.
a , a [ pelo que g
Temos ainda que g 1 (R) = R.
Sejam agora hn : RQ
R as funcoes afins definidas por hn (x) = an x + bn
com n N. Se V = nN Vn e um aberto da base de R com a topologia
produto ou com a topologia das caixas temos que
Y
h1 (V ) =
h1
n (Vn )
nN
e um aberto da mesma topologia (pois h1

e um aberto de R para todo
n (Vn )
o n, e se apenas um n
umero finito de factores V sao diferentes de R o mesmo
sucede para h1 (V )).
Munkres 20.2: Considere-se a funcao
d : R2 R2 R
definida por
(
d((x1 , y1 ), (x2 , y2 )) =
1
d(y1 , y2 )
se x1 6= x2 ,
se x1 = x2
onde d denota a metrica limitada standard em R. Verifiquemos que d e uma

metrica em R2 :
(1) Como d 0, temos que d 0. Por outro lado, d((x1 , y1 ), (x2 , y2 )) =
0 x1 = x2 e d(y1 , y2 ) = 0. Como d e uma metrica temos entao y1 = y2
e portanto (x1 , y1 ) = (x2 , y2 ).
(2) Como d e simetrica, temos que d((x1 , y1 ), (x2 , y2 )) = d((x2 , y2 ), (x1 , y1 )).
(3) Dados (xi , yi ) R2 com i = 1, 2, 3, temos a verificar que
d((x1 , y1 ), (x3 , y3 )) d((x1 , y1 ), (x2 , y2 )) + d((x2 , y2 ), (x3 , y3 )).
Como d 1, a desigualdade e imediata se x1 6= x2 ou x2 6= x3 . No caso
restante, em que x1 = x2 = x3 , temos
d((x1 , y1 ), (x3 , y3 ))
= d(y1 , y3 ) d(y1 , y2 ) + d(y2 , y3 )

= d((x1 , y1 ), (x2 , y2 )) + d((x2 , y2 ), (x3 , y3 ))
onde usamos a desigualdade triangular para d. Conclui-se que d verifica a

desigualdade triangular e portanto e uma metrica em R2 .
1

RESOLUC
AO
Uma vez que

(
Bd ((x1 , x2 ), ) =
](x1 , x2 ), (x1 , x2 + )[

R2
se 1
se > 1
as bolas da metrica d sao abertos na topologia da ordem lexicografica e

portanto a topologia da metrica e menos fina que a topologia da ordem
lexicografica em R2 .
Por outro lado, sendo U =](a, b), (c, d)[ um aberto da ordem lexicografica
em R2 e (x, y) U podemos escolher tal que Bd ((x, y), ) U : tomese, por exemplo,
1
se a < x < c,
min{1, |b y|}
se a = x < c,
=
min{1, |d y|}
se a < x = c,
min{1, |d y|, |b y|} se a = x = c.

Conclui-se que a topologia da metrica e mais fina que a topologia da
ordem lexicografica, donde as topologias coincidem e portanto a topologia
da ordem lexicografica e metrizavel.
Munkres 20.4: (a) A funcao f e contnua na topologia produto em R porque as suas funcoes
coordenadas sao contnuas. f nao e contnua na topologia uniforme uma
vez que f 1 (B (0, 1)) = {0} (para que f (t) B (0, 1) devemos ter
|nt| < 1 para todo o n N, o que so acontece para t = 0) que nao e
um aberto de R. Uma vez que a topologia das caixas e mais fina que
a topologia uniforme, f tambem nao e contnua quando damos a R a
topologia das caixas.
A funcao g e contnua para a topologia uniforme (e logo para a topologia
produto): Dado t0 R e > 0 temos que g(]t0 , t0 + [) B (g(t0 ), )
logo f e contnua em t0 para todo o t0 R. g nao e contnua para a
topologia das caixas porque
!
Y
1
1 1
g
] n , n [ = nN ] n1 , n1 [= {0}
nN
nao e aberto em R.
O caso da funcao h e inteiramente analogo ao caso da funcao g. A funcao h
e contnua para a topologia uniforme (e portanto para a topologia produto)
(novamente a bola de raio centrada em t0 e enviada na bola de raio
centrada em h(t0 ) para a metrica ), e nao e contnua para a topologia
das caixas uma vez que
!
Y
1
1
1
h
] n2 , n2 [ = nN ] n1 , n1 [= {0}
nN
nao e aberto em R
(b) Pelo Exerccio 19.6, wn converge para a sucessao constante 0 na topologia
produto uma vez que k (wn ) 0 para cada k (a sucessao real k (wn )
e eventualmente constante igual a 0). Como R e Hausdorff na topologia
produto, o limite e u
nico. Como a topologia uniforme e mais fina que a
topologia produto, se wn tiver limite na topologia uniforme, o limite tera
que ser 0. Mas (wn , 0) = n nao converge para 0 em R e portanto wn
nao converge na topologia uniforme. Como a topologia das caixas e mais
fina que a uniforme, wn tambem nao converge na topologia das caixas.

RESOLUC
AO
Como (xn , 0) = n1 0, vemos que xn 0 na topologia uniforme

(e portanto na topologia produto). O limite e u
nico uma vez que um
espaco metrico e Hausdorff. Se xn convergisse na topologia das caixas, o
limite teria Q
portanto que ser 0, mas nenhum termo da sucessao pertence à
vizinhanca nN ] n1 , n1 [ de 0 (porque n (xn ) = n1 6] n1 , n1 [). Conclui-se
que (xn ) nao converge na topologia das caixas.
Temos que (yn , 0) = n1 0 logo yn 0 na topologia uniforme e
portanto na topologia produto. yn nao converge na topologia
Q das caixas
porque nenhum termo da sucessao pertence à vizinhanca nN ] n1 , n1 [
de 0.
zn 0 na topologia das caixas (e portanto tambem na topologia uniforme
e na topologia produto) e o limite e u
nico. O limite tem de ser 0 uma
vez que
este
e
o
limite
na
topologia
produto
(pelo Exerccio 19.6). Sendo
Q
V = nN Vn um aberto da base da topologia das caixas contendo 0,
V1 V2 e um aberto de R que contem 0 logo existe N N tal que
n > N n1 V1 V2 e entao para n > N temos zn V (uma vez que
se k 3 entao k (zn ) = 0 Vk para todo o n N).
Munkres 20.6: (a) A sucessao y R definida por
yn = xn + (1 n1 )
esta claramente em U (x, ). No entanto (x, y) = sup{(1 n1 ) : n
N} = pelo que y 6 B (x, ).
(b) Sendo y U (x, ) a sucessao da alnea anterior, basta ver que nao existe
> 0 tal que B (y, ) U (x, ). Dado > 0 seja z R definida por
zn = yn + 2 .
Temos entao (y, z) = 2 < , logo z B (y, ). Mas escolhendo n de
forma a que n < 2 vemos que
zn = yn +
= xn +

n
> xn +
logo z 6 U (x, ).

(c) Se y U (x, ), entao (x, y) e portanto, para < , temos que
U (x, ) B (x, ) donde
< U (x, ) B (x, ).
Por outro lado, dado y B (x, ) podemos escolher tal que (x, y) <
< e entao y U (x, ) o que mostra a inclusao recproca.
Munkres 20.7: A aplicacao h e contnua sse a sucessao (ai )iN e majorada (nao ha qualquer
condicao sobre (bi )).
De facto, suponhamos que ai M para todo o i e vejamos que entao h e
contnua em x R : Claramente podemos tomar M 1. Dado 0 < < 1,

se (x, y) < M
(< 1) tem-se
(h(x), h(y))
sup{an |xn yn | : n N}
M sup{|xn yn | : n N}
= M (x, y) <

M ))
portanto h(B (x,

B (h(x), ). Conclui-se que h e contnua.
Suponhamos agora que (ai ) nao e majorada e vejamos que entao h nao
e contnua em 0. Como (ai ) nao e majorada, existe, para cada n N, um
natural in N tal que ain > n. Para cada n N, seja yn R definida por
(
0
se k 6= in ,
(yn )k = 1
se k = in .
n

RESOLUC
AO
Entao (0, yn ) =
1
n
mas
(h(yn ), h(0)) = sup{d(ak (yn )k + bk , bk ) : k N} = 1

uma vez que
(
d(ak (yn )k + bk , bk ) =
0
min{1, ain n1 } = 1
se k 6= in ,
se k = in .
Isto mostra que nao existe > 0 tal que h(B (0, )) B (h(0), 1), logo h
nao e contnua em 0 e portanto h nao e contnua.
Tendo em conta a f
ormula para a inversa de h obtida no Exerccio 19.8,
vemos que h1 e contnua sse ( a1 i ) e majorada portanto h e um homeomorfismo
sse existem reais positivos m e M tais que m < ai < M para todo o i N.

RESOLUC
AO
Munkres 21.3: (a) Comecamos por ver que e uma metrica

(1) (x, y) 0 porque di 0 para i = 1, . . . , n. Se (x, y) = 0, entao
di (xi , yi ) = 0 para i = 1, . . . , n e portanto xi = yi para i = 1, . . . , n,
ou seja, x = y.
(2) Uma vez que di (xi , yi ) = di (yi , xi ) temos que (x, y) = (y, x).
(3) Finalmente, dados x, y, z X1 Xn temos
(x, z)
max{d1 (x1 , z1 ), . . . , d(xn , zn )}
max{d1 (x1 , y1 ) + d(y1 , z1 ), . . . , dn (xn , yn ) + dn (yn , zn )}

max{d1 (x1 , y1 ), . . . , d(xn , yn )} + . . . + max{d1 (y1 , z1 ), . . . , d(yn , zn )}
= (x, y) + (y, z)
onde usamos a desigualdade triangular para as distancias di .
Conclui-se que e uma metrica em X1 Xn .
Claramente, (x, y) < di (xi , yi ) < para i = 1, . . . , n logo
B (x, ) = Bd1 (x1 , ) Bdn (xn , ),
isto e, as bolas da metrica sao abertos da base da topologia produto
determinada pelas metricas di . Conclui-se que a topologia da metrica e
menos fina que a topologia produto.
Por outro lado, seja x = (x1 , . . . , xn ) X1 Xn e U = U1 Un
um aberto da base da topologia produto. Para cada i existe i > 0 tal
que Bdi (xi , i ) Ui , e entao, tomando = min{1 , . . . , n } temos que
B (x, ) U logo a topologia da metrica e mais fina que a topologia
produto, e portanto coincide com esta.
(b) A verificacao que D e uma metrica e inteiramente analoga à da alnea
anterior e e por isso omitida. Dado > 0, seja N N tal que N > 1.
Uma vez que di 1 para todo o i, temos que
d(x, y)
< para i N,
i
e, uma vez que
d(x,y)
i
0, quando i temos ate
sup{d(x, y)/i : i N } < .

Portanto
D(x, y) < d(xi , yi ) < i para i = 1, . . . , N 1,
e
BD (x, ) = Bd1 (x1 , ) BdN 1 (xN 1 , (N 1)) XN XN +1
que e um aberto da topologia produto. Isto mostra que a topologia da
metrica D e menos fina Q
que a topologia
Q produto.
Por outro lado, seja x Xi e U = Ui um aberto da base da topologia
produto contendo x. Entao existe N N tal que Ui = Xi para i > N .
Como os Ui s sao abertos, para cada i N podemos escolher i > 0 tal
que Bdi (xi , i ) Ui . Tome-se
= min{ ii : i = 1, . . . , N }.
1

RESOLUC
AO
Entao D(x, y) < di (xi , yi ) < i i para i = 1, . . . , N e portanto

BD (x, ) U . Isto mostra que a topologia da metrica D e mais fina que
a topologia produto e portanto as duas topologias coincidem.
Munkres 21.4: Uma base contavel para as vizinhancas de x R em R` e dada por {[x, x +
1
e uma vizinhanca de x em R` , existe um aberto
n [ : n N}. De facto, se U
da base [a, b[ com x [a, b[ U . Entao a x e b > x. Escolhendo n de
forma a que n1 < b x temos que [x, x + n1 [ [a, b[ conforme pretendido.
Uma base contavel para as vizinhancas de (x, y) na topologia da ordem
lexicografica em [0, 1] [0, 1] e dada por
{[(0, 0), (0, n1 )[ : n N}
{](x, q), (x, r)[ : q, r Q, 0 q < y < r 1}
se 0 < y < 1,
1
n )[ :
r Q, 0 r < x, n N}
se x > 0, y = 0,
1
n ), (r, 0)[ :
r Q, x < r 1, n N}
se x < 1, y = 1,
{](r, 0), (x,

{]((x, 1
se (x, y) = (0, 0),
{](1, 1
1
n ), (1, 1)] :
n N}
se (x, y) = (1, 1).
Vamos apenas verificar que estes conjuntos sao uma base das vizinhancas para
os pontos (x, 0), sendo os outros casos inteiramente analogos.
Como (0, 0) e o mnimo de [0, 1] [0, 1], se U e uma vizinhanca de (0, 0),
existe um intervalo [(0, 0), (a, b)[ tal que [(0, 0), (a, b)[ U . Se a > 0, temos
entao (0, 1) < (a, b) e portanto [(0, 0), (0, 1)[ U . Se a = 0, entao b >
0 e, escolhendo n tal que n1 < b temos entao (0, n1 ) < (a, b) e portanto
[(0, 0), (0, n1 )[ U .
Se U e uma vizinhanca de (x, 0) com x > 0 entao existe um intervalo (que
podemos assumir aberto uma vez que (x, 0) nao e o mnimo nem o maximo de
[0, 1] [0, 1]) tal que (x, 0) ](a, b), (c, d)[ U . Como (a, b) < (x, 0) temos
necessariamente a < x. Seja r Q tal que a < r < x. Como (x, 0) < (c, d),
ou c > x e entao tomamos n = 1, ou c = x e entao d e necessariamente
positivo e escolhemos n de forma que n1 < d. Em qualquer caso temos entao
(a, b) < (r, 0) < (x, 0) < (x, n1 ) < (c, d) e portanto ](r, 0), (x, n1 )[ U .
Munkres 21.9: (a) Se x = 0 temos
lim fn (x) = lim
1
1
= lim
= 0.
n3 n12 + 1 n n + 1
Para x 6= 0, temos (x n1 )2 x2 6= 0. Logo n3 (x n1 )2 + 1 e

portanto fn (x) 0.
(b) Uma vez que fn ( n1 ) = 1, temos d(fn ( n1 ), 0) = 1 e portanto, para < 1,
nao existe n tal que a d(fn (x), 0) < para todo o x R.
Munkres 22.4: Escrevemos [x] para a classe de equivalencia em X que contem o elemento
x X, e p : X X para a aplicacao canonica definida por p(x) = [x].
(a) Seja g : X R a funcao definida por g(x, y) = x+y 2 . Entao g e constante
nas classes de equivalencia da relacao , e portanto, pelo Teorema 22.2, g
determina uma aplicacao contnua f : X R definida por f ([(x, y)]) =
g(x + y 2 ).
Seja h : R X a aplicacao definida por h(t) = [(t, 0)]. Uma vez que
h = p (idR 0), a funcao h e contnua. Vamos verificar que f e h sao
homeomorfismos inversos, provando assim que X
= R: Claramente
f (h(t)) = f ([(t, 0)]) = t + 02 = t.

RESOLUC
AO
Por outro lado,

h(f ([(x, y)])) = h(x + y 2 ) = [(x + y 2 , 0)],
e como x+y 2 = (x+y 2 )+02 , temos (x, y) (x+y 2 , 0), ou seja, [(x, y)] =
[(x + y 2 , 0)]. Portanto h f = idX , o que conclui a demonstracao.
(b) Seja agora g : X [0, +[ R a aplicacao definida por g(x, y) = x2 +y 2 .
Novamente, o Teorema 22.2 garante que a funcao f : X [0, +[
definida pela expressao f ([(x, y)]) =x2 +y 2 e contnua. Seja h : [0, +[
X a funcao definida por h(t) = [( t, 0)] (que e contnua por ser a composicao de func
oes contnuas). Entao
f (h(t)) = f ([( t, 0)]) = |t| + 02 = t

e
p
h(f ([(x, y)]) = h(x2 + y 2 ) = [( x2 + y 2 , 0)] = [(x, y)].
Conclui-se que X
= [0, +[.
Munkres 22.6: Continuamos a escrever [y] para a classe de equivalencia de y.
(a) Para ver que Y e T1 precisamos de verificar que os conjuntos singulares
{[y]} Y sao fechados. Por definicao da topologia quociente, isto acontece sse as classes de equivalencia p1 ({[y]}) = [y] sao subconjuntos fechados em RK . Estas classes de equivalencia sao os conjuntos singulares {y}
com y 6 K (que sao fechados porque a topologia de RK e mais fina que
a de R) ou o conjunto K. Como K e fechado em RK , conclui-se que RK
e T1 .
Para provar que Y nao e Hausdorff vamos provar que os elementos distintos
[0] = {0} e [1] = K de Y nao tem vizinhancas disjuntas. Sejam U e V
vizinhancas de [0] e [1] respectivamente. Entao p1 (U ) e p1 (V ) sao
abertos de RK que contem {0} e K respectivamente. Como p1 (U
V ) = p1 (U ) p1 (V ) basta agora observar que tais abertos tem sempre
interseccao nao nula: tome-se > 0 tal que ] , [\K U e n N tal
que n1 < . Entao existe > 0 tal que ] n1 , n1 + [ p1 (V ) p1 (U ).
(b) Uma vez que Y nao e Hausdorff, pelo Exerccio 17.13, a diagonal
Y Y nao e um conjunto fechado. Basta agora verificar que p1 ()
RK RK e um conjunto fechado. Isto e verdade porque a diagonal RK
em RK RK e um conjunto fechado (pois RK e Hausdorff), K K
e um fechado de RK RK (porque K RK e fechado) e p1 () =
RK K K.

RESOLUC
AO
Munkres 23.5: Seja X um espaco com a topologia discreta e A X. A topologia induzida

em A e a topologia discreta pelo que basta ver que um espaco com a topologia
discreta com pelo menos dois pontos e desconexo. Seja entao X um espaco
discreto com pelo menos dois pontos e x X. Tomemos U = {x} e V =
X \{x}. Entao U e V sao abertos disjuntos nao vazios e claramente U V = X
logo U e V formam uma separacao de X e X e desconexo.
Um exemplo de um espaco totalmente desconexo nao discreto e Q R.
De facto, se A Q e um conjunto e a, b A sao dois pontos distintos com
a < b (o que podemos assumir sem perda de generalidade) entao sendo x um
irracional com a < x < b temos que
U =] , x[A
V =]x, +[A
sao abertos de A, obviamente disjuntos, nao vazios (porque a U e b V )

cuja uniao e A (uma vez que U V = (R \ {x}) A = A). Conclui-se que A
e desconexo.
Munkres 23.8: Seja U = {x R : x e limitada } e V = R \ U o subconjunto das sucessoes
ilimitadas. Claramente U e V sao conjuntos nao vazios e disjuntos cuja uniao
e R . Para ver que R e desconexo, resta-nos mostrar que U e V sao abertos
para a topologia uniforme.
Vamos ver que x U B (x, 1) U : Se x e limitada, existe M > 0 tal
que |xi | < M para todo o i N. Entao (x, y) < 1 |yi xi | < 1 para todo
o i N, o que implica que |yi | < M + 1 para todo o i N. Logo y e limitada
e portanto pertence a U . Isto mostra que U e aberto na topologia uniforme.
Suponhamos agora que x V . Entao para cada n N, existe in N tal
que xin > n. Suponhamos que (x, y) < 1. Entao |yin | > |xin | 1 > n 1
e portanto y nao e limitada. Isto mostra que B (x, 1) V e portanto V e
aberto na topologia uniforme.
Munkres 23.11: Suponhamos por absurdo que X e desconexo e seja U, V uma separacao de X.
Dado x U , o conjunto p1 ({p(x)}) e, por hipotese, conexo e portanto, pelo
Lema 23.2, esta contido em U (nao pode estar contido em V uma vez que
x p1 ({p(x)}) pertence a U ). Isto significa que U e um conjunto saturado
com respeito a p. Da mesma forma vemos que V e um conjunto saturado
com respeito a p. Como p e uma aplicacao quociente, conclumos que p(U ) e
p(V ) sao abertos de Y . Como p e sobrejectiva, p(U ) p(V ) = p(U V ) =
p(X) = Y . Como U e V sao nao vazios, o mesmo acontece com p(U ) e p(V ).
Finalmente p(U ) p(V ) = , pois dado y Y , temos, ou p1 ({y}) U e
entao y 6 p(V ), ou p1 ({y}) V e entao y 6 p(U ). Conclui-se entao que
p(U ) e p(V ) formam uma separacao de Y , o que contradiz a hipotese de Y
ser conexo.
Munkres 24.1: (a) Suponhamos que : (0, 1] (0, 1) e um homeomorfismo. Entao
|(0,1) : (0, 1) (0, 1) \ {(1)}
e tambem um homeomorfismo (o homeomorfimo inverso e 1
|(0,1)\{(1)} ).
Mas (0, (1)) e ((1), 1) e uma separacao de (0, 1) \ (1). A sua imagem
1

RESOLUC
AO
pelo homeomorfismo 1
cao de (0, 1), o
|(0,1)\{(1)} teria de ser uma separa
que e impossvel porque (0, 1) e conexo. Conclui-se que (0, 1]
6 (0, 1).
=
Analogamente, nao pode haver um homeomorfismo : [0, 1] (0, 1)
porque (0, 1] e conexo mas (0, 1) \ {(0)} nao e conexo, e tambem nao
pode haver um homeomorfismo : [0, 1] (0, 1] porque (0, 1) e conexo,
mas, (0, 1] \ {(0), (1)} nao pode ser conexo.
(b) Sejam X = (0, 1), Y = [0, 1), f : X Y a inclusao e g : Y X definida
por g(y) = 21 + y2 . Pela alnea anterior X e Y nao sao homeomorfos.
f e claramente um mergulho (o homeomorfismo inverso f (Y ) X e a
identidade!) e g tem imagem [ 21 , 1). Claramente h : 12 , 1) (0, 1) definida
por h(x) = 2x 1 e contnua e e a inversa de g : Y g(Y ) logo g e um
mergulho
(c) Um homeomorfismo : R Rn determinaria um homeomorfismo entre
R \ {0} e Rn \ {(0)} o que e impossvel porque R \ {0} e desconexo mas
Rn \ {(0)} e conexo (e conexo por arcos).
Munkres 24.8: (a) Sim.
Q Seja {X } uma famlia de espacos conexos por arcos, e (x ), (y )
otese uma funcao contnua f : [0, 1]
X . Para cada existe por hip
X com f (0) = x e f (1) = y (reparametrizando podemos assumir que todos
Q os caminhos tem por domnio o intervalo [0, 1]). Entao
f : [0, 1] X definido por f (t) = (f (t)) e um caminho unindo (x )
a (y ).
(b) Nao. Tomando X = R2 e A a curva de seno dos topologos temos que
A e conexo por arcos (a restricao de x 7 (x, sen x1 ) a um intervalo da um
caminho unindo dois pontos de A) mas vimos que A nao e conexo por
arcos.
(c) Sim. Sejam y0 , y1 pontos em f (X). Tomem-se x0 , x1 X com f (x0 ) =
y0 e f (x1 ) = y1 e seja g : [a, b] X um caminho com g(a) = x0 e
g(b) = x1 . Entao h = f g : [a, b] f (X) e um caminho com h(a) =
f (g(a)) = y0 e h(b) = f (g(b)) = y1 . Conclui-se que f (X) e conexo por
arcos.
(d) Sim. Sejam x, y A . Entao existem e tais que x A e
y A . Seja z A . Como A e conexo por arcos, existe um caminho
g : [a, b] A com g(a) = x e g(b) = z. Como A e conexo por arcos,
existe h : [b, c] A com h(b) = z e h(c) = y (por reparametrizacao
podemos tomar qualquer intervalo para domnio do caminho h que une y
a z e, por uma questao de conveniencia, escolhemos o intervalo de forma
a que o seu ponto extremo inferior seja o extremo superior do caminho g).
Defina-se agora j : [a, c] A por
(
g(x) se x b,
j(x) =
h(x) se x b.
Entao j e contnuo (pelo lema da colagem) e j(a) = g(a) = x, j(c) =
h(c) = y. Conclui-se que A e conexo por arcos.

RESOLUC
AO
Munkres 25.3: Seja X = [0, 1] [0, 1] com a topologia da ordem lexicografica. Comecamos
por ver que X e localmente conexo. Seja x X e V uma vizinhanca de x.
Por definicao da topologia da ordem existe um intervalo I com x I V com
I aberto em X. Uma vez que X e um contnuo linear (Exemplo 1, p.155), I
e conexo. Conclui-se que X e localmente conexo.
Vamos ver que X nao e localmente conexo por arcos nos pontos (x, 1) com
0 x < 1. Analogamente se ve que nao e localmente conexo por arcos nos
pontos da forma (x, 0) com 0 < x 1.
Uma vizinhanca de (x, 1) contem necessariamente um intervalo da forma
[(x, 1), (x + , 1)] para algum > 0. Suponhamos que : [a, b] X e um
caminho com (a) = (x, 1) e (b) = (x + , 1). Entao, pelo Teorema do Valor
Intermedio, a imagem de contem todo o intervalo [(x, 1), (x + , 1)]. Temos
entao uma famlia nao contavel de abertos disjuntos de [a, b]:
{ 1 (](x + , 0), (x + , 1)[)}0<< .
Isto e impossvel, porque escolhendo r 1 (](x + , 0), (x + , 1)[) Q
obter-se-ia uma funcao injectiva
7 r
de ]0, [ para Q. Conclui-se que X nao e localmente conexo por arcos.
Munkres 26.5: Comecamos por ver que se X e Hausdorff, A e compacto e x 6 A, existem
abertos U, V com A U , x V e U V = . Como X e Hausdorff,
para cada a A, existem Ua vizinhanca de a e Va vizinhanca de x tais que
Ua Va = . Os conjuntos {Ua }aA formam uma cobertura aberta de A.
Como A e compacto existe uma subcobertura finita {Ua1 , . . . , Uan }. Sejam
entao
U = ni=1 Uai , e V = ni=1 Vai .
Temos entao A U , x V , U e V sao abertos e
U V = ni=1 (Uai ni=1 Vai ) ni=1 Uai Vai = .
Sejam agora A e B compactos disjuntos. Pelo paragrafo anterior, podemos
escolher, para cada b B, abertos Ub , Vb com A Ub , b Vb e Ub Vb =
. Uma vez que B e compacto, a cobertura aberta {Vb }bB admite uma
m
subcobertura finita {Vb1 , . . . , Vbm }. Sejam U = m
i=1 Ubi e V = i=1 Vbi .
Entao, como antes, U, V sao abertos disjuntos com A U e B V .
Munkres 26.8: Suponhamos primeiro que Gf X Y e um conjunto fechado. Seja x0 X
e V Y uma vizinhanca de f (x0 ). Entao X (Y \ V ) e fechado em X Y
e portanto Gf (X (Y \ V )) e fechado.
Assumindo por momentos o resultado do Exerccio 26.7 conclumos que,
como Y e compacto, o conjunto
F = 1 (Gf (X (Y \ V ))) = {x X : f (x) 6 V }
e fechado em X. Isso significa que W = X \ F = {x X : f (x) V } =
f 1 (V ) e aberto. Conclui-se que f e contnua em x0 .
Demonstremos agora o resultado do Exerccio 26.7. Seja F X Y um
fechado e x 6 1 (F ). Entao 11 ({x}) F = . Portanto (X Y ) \ F e
1

RESOLUC
AO
um aberto contendo 11 ({x}), e pelo lema do tubo, existe uma vizinhanca

V de x tal que 11 (V ) ((X Y ) \ F ) 11 (V ) F = . Mas entao
V 1 (F ) = , donde se conclui que F e fechado.
Resta-nos ver que se Y e compacto e Hausdorff e f : X Y e contnua,
entao Gf e fechado. Seja (x, y) 6 Gf , isto e tal que y 6= f (x). Uma vez
que Y e Hausdorff, existem V vizinhanca de f (x) e W vizinhanca de y tais
que V W = . Como f e contnua, existe uma vizinhanca U de x tal que
f (U ) V . Entao (x0 , y 0 ) U W f (x0 ) V f (x0 ) 6= y 0 . Conclui-se
que U W e uma vizinhanca de (x, y) que nao intersecta Gf , logo Gf e
fechado.
Munkres 27.5: Comecamos por notar que, dado um aberto U X e x U , existe uma
vizinhanca V de x com V U . De facto, X \ U e fechado e portanto
compacto. Pelo Exerccio 26.5, existem entao abertos disjuntos V e W com
x V e (X \ U ) W W c U . O conjunto W c e entao um fechado que
contem V , logo V W c U .
Regressando agora ao problema em questao, para ver que n An tem interior
nao vazio, precisamos de mostrar que todo o aberto U X e tal que U \n An
e nao vazio.
Seja entao U X um aberto. Uma vez que A1 tem interior vazio, U \ A1
e um aberto nao vazio. Seja x1 U \ A1 e U1 uma vizinhanca de x1 com
U1 U \ A1 . Como A2 tem interior nao vazio, podemos escolher x2 U1 \ A2
e U2 vizinhanca de x2 tal que U2 U1 \ A2 . Note-se que temos
U2 ((U \ A1 ) \ A2 ) = U \ (A1 A2 ).
Suponhamos indutivamente que encontramos abertos Uk U para k =
1, . . . n tais que
(i) Uk U \ (A1 . . . Ak ),
(ii) Uk Uk1 (onde convencionamos que U0 = U ).
Como An+1 tem interior vazio, podemos entao escolher xn+1 Un \ An+1 e
Un+1 uma vizinhanca de xn+1 com Un+1 Un \An+1 U \(A1 . . .An+1 ),
e por definicao temos Un+1 Un .
Definimos assim por inducao uma sucessao de abertos Un com as propriedades (i) e (ii) acima. Pela propriedade (ii) temos U1 U2 . . . e esta
sucessao de fechados tem claramente a propriedade da interseccao finita (como
qualquer cadeia de conjuntos nao vazios). Como X e compacto, conclui-se que
J =
n=1 Un 6= .
Pela propriedade (i) temos Un (ni=1 Ai ) = e portanto, como J Un ,
conclui-se que J (ni=1 Ai ) = para todo o n N. Ou seja,
J (
i=1 Ai ) = .
Uma vez que J U1 U , temos 6= J U \ (
i=1 Ai ) o que conclui a
demonstracao.
Munkres 28.6: Dado > 0, temos d(x, y) < d(f (x), f (y)) < logo f e contnua (e
ate uniformemente contnua). Se f (x) = f (y) entao d(f (x), f (y)) = 0
d(x, y) = 0 e portanto x = y. Conclui-se que f e injectiva. Como X e
compacto e Hausdorff, resta-nos ver que f e uma aplicacao sobrejectiva (uma
vez que pelo Teorema 26.6 uma bijeccao contnua entre espacos compactos e
Hausdorff e um homeomorfismo).
Suponhamos por absurdo que f nao e sobrejectiva. Tome-se x1 X \ f (X)
e seja > 0 tal que Bd (x1 , ) f (X) = . Entao definindo recursivamente

RESOLUC
AO
uma sucessao pela expressao

xn+1 = f (xn ),
n1
vemos que xn = f
(x1 ) e, mais geralmente, xk+l = f k (xl ). Sendo n, m
naturais com n < m temos entao
d(xn , xm ) = d(f n1 (x1 ), f n1 (xmn+1 )) = d(x1 , xmn+1 )
uma vez que xmn+1 = f mn (x1 ) f (X). A desigualdade acima mostra
que a sucessao (xn ) nao tem subsucessoes convergentes, o que contradiz o
Teorema 28.2 (que afirma que X e sequencialmente compacto).

RESOLUC
AO
Munkres 25.2: (a) R e conexo por arcos uma vez que e um produto de espacos conexos
por arcos (ver o Exerccio 24.8). Portanto R tem uma u
nica componente
conexa por arcos, que e todo o R e, logo, tambem uma u
nica componente
conexa que e igual a R .
(b) Para cada y R , a aplicacao Ty : R R definida por Ty (x) = x + y
e claramente um homeomorfismo: a funcao inversa e Ty logo basta ver
que Ty e contnua para todo o y. Mas (Ty (x), Ty (x0 )) = (x, x0 ), logo
dado > 0, temos (x, x0 ) < (Ty (x), Ty (x0 )) < .
Assim, se C e a componente conexa de 0, entao Ty (C) e a componente
conexa de y: De facto, se D e a componente conexa de y entao Ty (C)
D porque Ty (C) e um conexo que contem y. Mas entao C = Ty Ty (C)
Ty (D) e o argumento anterior mostra que Ty (D) C logo Ty (D) =
C Ty (C) = D.
Para provar o resultado enunciado basta-nos portanto ver que a componente conexa de 0 em R e o conjunto L R das sucessoes limitadas.
Se x R e uma sucessao limitada, seja M R tal que |xn | M para
todo o n N e seja g : [0, 1] L a funcao definida por g(t) = tx (note-se
que se x e limitada entao tx = (tx1 , . . . , txn , . . .) e tambem limitada).
Entao
(g(t), g(s))
sup{d(txn , sxn ) : n N}
sup{|txn sxn | : n N} |t s|M

e portanto g e um caminho (dado > 0, temos |ts| < M
(g(t), g(s)) <
). Conclui-se que L e conexo por arcos e portanto conexo.
Por outro lado, vimos no Exerccio 23.8 que L e R \ L formam uma
separacao de R pelo que a componente conexa por arcos de 0 esta contida
em L e portanto coincide com L.
(c) As aplicac
oes Ty : R R definidas na alnea anterior sao homeomorfismos quando dotamos R da topologia das caixas (por exemplo, pelo
Exerccio 19.8). Como na alnea anterior basta portanto verificar que a
componente conexa de 0 e o conjunto Z R das sucessoes eventualmente constantes iguais a 0.
O conjunto Z e conexo porque e conexo
Q por arcos: Dado x Z, seja
g(t) = tx com t [0, 1]. Sendo U = nN ]an , bn [ um aberto da base da
topologia das caixas contendo g(t0 ), e N N tal que xn = 0 para n > N
temos que
g 1 (U ) = N
i=1 {t [0, 1] : ai < txi < bi }
e um aberto de [0, 1] contendo t0 . Logo g e um caminho unindo 0 a x em
Z (e claro que se x Z entao tx Z) o que mostra que Z e conexo por
arcos, e portanto esta contido na componente conexa de 0.
Suponhamos que y 6 Z. Entao podemos escolher uma sucessao i1 <
i2 < . . . de naturais tais que yik 6= 0. Pelo Exerccio 19.8, a aplicacao
1

RESOLUC
AO
h : R R definida por1
(
zj
h(z)j =
k
|yi | zik
k
se j 6 {i1 , i2 , . . .}
se j = ik
e um homeomorfismo e temos
(
yj
se j 6 {i1 , i2 , . . .}
h(y)j =
k se j = ik
logo h(y) nao e uma sucessao limitada. Recorde-se da alnea anterior que
L e R \ L e uma separacao de R para a topologia uniforme e portanto
tambem para a topologia das caixas.
Claramente h(0) = 0 L e portanto h envia a componente conexa de
0 na topologia das caixas em L. Como h(y) 6 L segue-se que y nao
pertence à componente conexa de 0 na topologia das caixas. Conclui-se
que a componente conexa de 0 na topologia das caixas e Z, o que conclui
a demonstracao.
Munkres 26.6: Seja F X um fechado. Como X e compacto, F e compacto. As aplicacoes
contnuas transformam compactos em compactos logo f (F ) Y e compacto. Nos espacos Hausdorff, os compactos sao fechados logo f (F ) e fechado.
Conclui-se que f e uma aplicacao fechada.
Munkres 27.2: (a) Se x A, entao para cada > 0, existe a A Bd (x, ), o que mostra
que d(x, A) < . Como e arbitrario, conclui-se que d(x, A) = 0.
Reciprocamente, suponhamos que d(x, A) = 0. Entao para todo o > 0
existe a A com d(x, a) < e portanto Bd (x, ) A 6= . Isto implica
que x A.
(b) A funcao distancia e contnua logo a funcao f : A [0, +[ definida
por f (a) = d(x, a) e contnua. Como A e compacto, f tem um mnimo
em A. O ponto de mnimo e, por definicao, um elemento a A tal que
d(x, A) = d(x, a).
(c) Se a A e d(y, a) < entao d(y, A) < logo y U (A, ). Conclui-se
portanto que Bd (a, ) U (A, ) e portanto
aA Bd (a, ) U (A, ).
Por outro lado, se x U (A, ), entao d(x, A) = inf{d(x, a) : a A} <
e portanto existe a A tal que d(x, a) < , ou seja, tal que x Bd (a, ).
Isto mostra que
U (A, ) aA Bd (a, ).
(d) Seja F = X \ U . A funcao f : A [0, +[ definida por f (a) = d(a, F ) e
contnua (uma vez que, pela desigualdade triangular d(x, F ) d(y, F ) +
d(x, y) e d(y, F ) d(x, F ) + d(x, y) donde |d(x, F ) d(y, F )| d(x, y)).
Os pontos de A nao pertencem a F = F , logo pela alnea a), f (a) > 0
para todo o a A. Seja = min{f (a) : a A} (que existe porque f
e contnua e A e compacto). Entao d(a, y) < d(a, y) < f (a) =
d(a, F ) y 6 F . Da alnea c) conclui-se agora que U (A, ) F = e
portanto U (A, ) U .
1Usamos |y | e n
ao yik na definic
ao de h para poder invocar o Exerccio 19.8 onde os coeficientes
ik
ai s
ao positivos, mas
e claro que este pormenor
e irrelevante no argumento.

RESOLUC
AO
(e) Sejam X = R2 , A = R {0} e U = {(x, y) R2 : |y| < ex }. Entao A

e fechado e U e um aberto contendo A. Dado > 0 podemos escolher x
tal que ex < e entao (x, ex ) U (A, ) (pois d((x, ex ), (x, 0)) < ) mas
(x, ex ) 6 U , o que mostra que U (A, ) 6 U .
Munkres 27.4: Seja X um espaco metrico conexo com mais de um ponto. Seja x X e
considere-se a funcao contnua f : X [0, +[ definida por f (y) = d(x, y).
Seja x0 X um ponto distinto de x. Entao f (x0 ) = d(x, x0 ) > 0. Como
f (x) = 0 e X e conexo, pelo teorema do valor intermedio, f (X) contem o
intervalo [0, f (x0 )]. Conclui-se que f (X) nao e contavel, pelo que X tambem
nao e.
Munkres 28.7: Claramente um shrinking map (e portanto uma contraccao) e uma aplicacao
contnua (dado > 0, temos d(x, y) < d(f (x), f (y)) < ).
(a) Comecamos por ver que um shrinking map (em particular, uma contraccao)
tem no maximo um ponto fixo: se x, y fossem pontos fixos distintos
teramos d(x, y) = d(f (x), f (y)) < d(x, y) o que e impossvel.
Resta ver que uma contraccao num espaco metrico compacto e Hausdorff tem um ponto fixo. Seja An = f n (X) e A =
n=1 An . Como
An+1 = f n (A1 ) f n (X) = An , a famlia {An } tem a propriedade da
interseccao finita. Como X e compacto e f e contnua, os conjuntos An
sao compactos, logo fechados, e sendo X compacto, conclui-se que A 6= .
Uma vez que d(f (x), f (y)) d(x, y) temos que diam(f (B)) diam(B)
para todo o B X e portanto diam(An ) n diam(X). Como < 1 e
diam(X) < (X e compacto logo limitado), temos limn diam(An ) =
0 e portanto, como A An diam(A) diam(An ) e A 6= , conclui-se
que diam(A) = 0. Vemos assim que A e um conjunto singular.
Mas
f (A) = f (
n=1 An ) n=1 f (An ) = n=1 An+1 = A,
logo o u
nico elemento de A e um ponto fixo de f , o que conclui a demonstracao.
(b) Ja vimos que se existir um ponto fixo de f , ele e u
nico. O argumento da
alnea anterior mostra que os conjuntos An = f n (X) tem interseccao nao
vazia e que, tomando A =
n=1 An , se tem f (A) A. Resta-nos ver que
diam A = 0.
Dado x A An+1 = f n+1 (X), podemos escolher xn X tal que
x = f n+1 (xn ). Como X e compacto, X e sequencialmente compacto
e portanto a sucessao yn = f n (xn ) tem uma subsucessao convergente
(ynk ). Seja a = limk ynk .
Uma vez que ynk Anm para k m, temos a Anm para todo o m,
logo a
m=1 Anm = A. Finalmente sendo

f (a) = f lim ynk = lim f (ynk )
k
lim f
nk +1
(xnk ) = lim x = x,
k
vemos que f (A) A e portanto f (A) = A.

Suponhamos por absurdo que diam(A) = D > 0. Sejam an , bn A
tais que d(an , bn ) > D n1 . Como A e compacto, podemos extrair
subsucess
oes de an e bn que convergem para limites a e b em A, e passando
ao limite na desigualdade d(an , bn ) > D n1 obtemos que d(a, b) D
d(a, b) = D.

RESOLUC
AO
Como f (A) = A, podemos escolher a0 , b0 A tais que f (a0 ) = a e

f (b0 ) = b. Entao
D = d(a, b) = d(f (a0 ), f (b0 )) < d(a0 , b0 )
o que contradiz o facto de D ser o diametro de A.
diam(A) = 0, o que conclui a demonstracao.
(c) Tem-se

x2
y 2

|f (x) f (y)| = x
y+
2
2

x
+
y

= |x y| 1
2
Conclui-se que

< 1.
Se 0 x < y 1 temos 0 < x + y < 2 e portanto 0 < 1 x+y
2
Isto mostra que f e um shrinking map. Por outro lado tomando x = 0 e
y = n1 temos
|f (x) f (y)| = |x y|(1
1
2n )
o que mostra que nao existe < 1 com |f (x) f (y)| |x y|. Logo
f nao e uma contraccao.
(d) Um n
umero real x R e um ponto fixo se satisfaz
p
x + x2 + 1
= x x2 + 1 = x x2 + 1 = x2 ,
2
portanto f nao tem pontos fixos.
Uma vez que

p
p
1

|f (x) f (y)| =
x y + x2 + 1 y 2 + 1
2

x2 + 1 (y 2 + 1)
1
p
=
x y +

2
x2 + 1 + y 2 + 1

(x y)(x + y)
1
p
=
x y +

2
x2 + 1 + y 2 + 1

1
(x + y)

p
=
|x y| 1 +

2
2

2
x + 1 + y + 1
1
<
|x y|(1 + 1) = |x y|
2
(onde
na
u
ltima
passagem
us
a
mos
|x
+
y|
|x|
+
|y|
e
|x|
=
x2 <
2
x + 1), vemos que f e um shrinking map.
Finalmente tomando x = n, y = n + 1 temos
!
2n + 1
1
p
|f (x) f (y)| =
1+
|x y|
2
n2 + 1 + (n + 1)2 + 1

2n+1
e como limn 1 + 2
= 2 vemos que f nao e uma
2
n +1+
contraccao.
(n+1) +1

RESOLUC
AO
Munkres 30.5: Seja X um espaco metrizavel e d uma metrica em X induzindo a topologia.

(a) Seja D = {xn } um subconjunto contavel denso. Vamos verificar que o
conjunto
B = {Bd (xn , q) : xn D, q Q}
e uma base para a topologia que, sendo uma uniao contavel de conjuntos
contaveis, e contavel. Claramente os elementos de B sao abertos de X.
Pela desigualdade triangular, e suficiente ver que dada uma bola Bd (x, r)
com x X, r > 0, existe um elemento B B com x B Bd (x, r).
Uma vez que D e denso, podemos escolher xn D Bd (x, 2r ). Seja q Q
tal que d(xn , x) < q < 2r . Entao
d(y, xn ) < q d(y, x) d(y, xn ) + d(xn , x) < q +
r
2
<r
logo x Bd (xn , q) Bd (x, r), o que conclui a demonstracao.

(b) Para todo o n N, a famlia {Bd (x, n1 ) : x X} e uma cobertura aberta
de X. Como X e Lindelof, esta famla tem uma subcobertura contavel
Bn = {Bd (xn,m , n1 )}. Pela alnea anterior basta-nos agora mostrar que
o conjunto D = {xn,m } (que e contavel por ser uma contavel de conjuntos contaveis) e denso em X. Dado x X e > 0, seja n tal que
1
e uma cobertura de X, existe xn,m D tal que
n < . Como Bn
x Bd (xn,m , n1 ). Entao d(x, xn,m ) < n1 < e portanto D Bd (x, ) 6= ,
o que mostra que D e denso em X.
Munkres 30.9: Seja X um espaco Lindel
of e A X um subconjunto fechado. Seja {U } uma
cobertura aberta de A. Por definicao da topologia induzida, podemos escrever
U = V A com V X abertos. Claramente
B = {V } {X \ A}
e entao uma cobertura aberta de X. Como X e Lindelof, B tem uma subcobertura contavel. Sendo {Vn } a famlia contavel dos abertos V que pertencem
a esta subcobertura, temos A n Vn , logo A n Un e portanto {Un }
e uma subcobertura contavel de {U }. Conclui-se que A e Lindelof.
Seja agora X = R2` o plano de Sorgenfrey e A = {(x, x) : x R} X.
Claramente Q2 R2 e um subconjunto contavel denso de R2` (uma vez que
intersecta todos os elementos [a, b[[c, d[ da base de R2` ), logo R2` e separavel.
No Exemplo 4, p.193, mostra-se que a topologia induzida em A e a topologia
discreta, logo A nao e separavel (o fecho de qualquer subconjunto B A e
igual a B e se B e contavel B 6= A porque A nao e contavel).
Munkres 31.3: Seja X um conjunto ordenado com a topologia da ordem, F X um fechado
e x X \ F . Vamos assumir que x nao e o maximo nem o mnimo de X (estes
casos sao inteiramente analogos ao caso tratado abaixo (mas mais simples)).
Como X \ F e aberto e x nao e o maximo nem o mnimo, existe um aberto
]a, b[ da base da topologia da ordem tal que x ]a, b[ (X \ F ). Note-se que
isto significa que x F x a ou x b. Vamos achar U e V abertos
disjuntos tais que x U e F V . Temos varios casos a considerar:
]a, b[= {x} : Tomamos U = {x} e V = X \ {x}.
1

RESOLUC
AO
]a, b[= [x, b[, e ]x, b[6= : Seja entao s ]x, b[ e tome-se U =]a, s[=
[x, s[, V =] , x[]s, +[.
]a, b[=]a, x], e ]a, x[6= : Seja r ]a, x[ e tome-se U =]r, b[=]r, x] e
V =] , r[]x, +[.
]a, x[6= e ]x, b[6= : Tome-se r ]a, x[ e s ]x, b[ e defina-se U =]r, s[,
V =] , r[]s, +[.
Munkres 31.6: Como p e sobrejectiva, para cada y Y existe x X com p(x) = y. Como
X e normal, {x} X e fechado; como p e fechada, {y} = p({x}) e fechado.
Portanto Y e T1 .
Sejam F Y um conjunto e U X um aberto contendo p1 (F ). Entao,
1
p (F ) (X \ U ) = , pelo que F p(X \ U ) = . Como p e uma aplicacao
fechada, p(X \ U ) e fechado. Tome-se W = X \ p(X \ U ). Entao W e aberto,
F W e
p1 (W ) = p1 (p(X \ U )c ) = (p1 (p(X \ U )))c (X \ U )c = U.
Sejam agora F e G fechados disjuntos de Y . Entao p1 (F ) e p1 (G) sao
fechados disjuntos de X. Como X e normal, existem abertos disjuntos U, V de
X com p1 (F ) U e p1 (G) V . Pelo paragrafo anterior existem abertos
W1 F e W2 G de Y tais que F W1 , G W2 , p1 (W1 ) U e
p1 (W2 ) V . Entao
p1 (W1 W2 ) = p1 (W1 ) p1 (W2 ) U V =
e, sendo p sobrejectiva, isto implica que W1 W2 = . Logo W1 e W2 sao
abertos disjuntos que separam os fechados F e G, o que conclui a demonstracao
que Y e normal.
Munkres 32.4: Uma vez que X e regular, X e T1 . Sejam A e B fechados disjuntos de X.
Como X e regular, para cada a A podemos escolher Ua uma vizinhanca de
a com Ua B = , e analogamente, para cada b B, uma vizinhanca Vb de
b com Vb A = (pelo Lema 31.1.a)) .
Uma vez que subespacos fechados de espacos Lindelof sao Lindelof (pelo
Exerccio 30.9), podemos extrair subcoberturas contaveis {Ua1 , Ua2 , . . .} para
A e {Vb1 , Vb2 , . . .} para B. Para simplificar a notacao escrevemos a partir de
agora Ui = Uai e Vj = Ubj .
Definimos novas famlias de abertos de X pelas formulas:

Un0 = Un \ V1 . . . Vn ,

Vn0 = Vn \ U1 . . . Un .
Entao
0
U =
i=1 Ui = (i=1 Ui ) \ j=1 Vj
e

0
V =
i=1 Vi = (i=1 Vi ) \ j=1 Uj

cao dos Vi ) e A
sao abertos e, uma vez que A
i=1 Vi = (por defini
U
,
temos
A
U
.
De
forma
inteiramente
an
a
logamente
vemos que
i
i=1
B V . Finalmente, dados m, n N e assumindo sem perda de generalidade
que m n, temos

0
0
Um
Vn0 = Um
Vn \ U1 . . . Um . . . Un
Um \ Um = .
0
Conclui-se que U V = m,n Um
Vn0 = pelo que U, V sao abertos disjuntos
de X que separam A e B, o que mostra que X e normal.

RESOLUC
AO
Munkres 33.4: Suponhamos primeiro que existe f : X [0, 1] contnua tal que f (x) = 0
x A. Entao A = f 1 ({0}) e fechado (porque {0} e fechado em [0, 1] e f e
contnua). Como
1
1
1
({0}) = A
([0, n1 [) = f 1 (
n=1 [0, n [) = f
n=1 f
e f 1 ([0, n1 [) sao abertos, vemos que A e um G fechado.

Reciprocamente, suponhamos que A e um G fechado e sejam Un , com
n N, abertos de X tais que A =
n=1 Un . Pelo Lema de Urysohn, para cada
n existe uma funcao contnua fn : X [0, 1] com fn (A) = {0} e fn (X \Un ) =
1. Seja f : X [0, 1] a funcao definida pela expressao
f (x) =
X
1
fn (x).
2n
n=1
Uma vez que 0 fn (x) 1, temos que

0
X
X
1
1
f
(x)
=1
n
n
2
2n
n=1
n=1
logo f esta bem definida. P

n
1
cao contnua em X
A expressao gn (x) =
k=1 2k fk (x) define uma fun
(uma vez que uma combinacao linear de funcoes contnuas com valores em R
e contnua). Como
|f (x) gn (x)| =
X
k=n+1
X
1
1
1
f
(x)
= n para todo o x X,
k
2k
2k
2
k=n+1
a sucessao gn converge uniformemente para f em X e portanto f e uma funcao

contnua.
Finalmente, se x A, entao fn (x) = 0 para todo o n e portanto f (x) = 0,
e, se x 6 A, entao, como A =
n=1 Un , existe n tal que x 6 Un e portanto
f (x) =
X
1
1
1
fk (x) n fn (x) = n > 0.
k
2
2
2
k=1
Conclui-se que f e uma funcao contnua que se anula exactamente em A.

Munkres 34.3: Seja X um espaco compacto e Hausdorff. Entao X e regular (pois e normal).
Se X tem uma base contavel e portanto metrizavel pelo Teorema de metrizacao
de Urysohn.
Reciprocamente, se X e compacto, entao em particular e Lindelof. Se alem
disso X e metrizavel, entao tem uma base contavel pelo Exerccio 30.5 b).
Munkres 35.4: (a) Se r : Z Y e uma retraccao, e i : Y Z denota a inclusao, entao
Y = {z Z : r(z) = z} = ((i r) idZ )1 ()
onde Z Z e a diagonal. Como Z e Hausdorff, e um fechado
(Exerccio 17.13) e sendo (ir)idZ contnua conclumos que Y e fechado.
(b) Se A = r(R2 ) com r contnua, A e conexo (uma vez que R2 e conexo).
Um conjunto formado por dois pontos distintos de R2 nao e conexo.
1

RESOLUC
AO
(c) Uma retraccao r : R2 \ {0} S 1 e dada por

r(x, y) =
x
p
x2 + y 2
,p
x2 + y 2
S 1 nao e um retrato de R2 .
Munkres 43.2: Comecamos por notar que uma funcao uniformemente contnua f : X Y
entre espacos metricos leva sucessoes de Cauchy em sucessoes de Cauchy: seja
(xn ) uma sucessao de Cauchy em X e > 0. Como f e uniformemente
contnua, existe > 0 tal que dX (x, x0 ) < dY (f (x), f (x0 )) < . Uma
vez que (xn ) e uma sucessao de Cauchy, existe n N tal que p, q > n
dX (xp , xq ) < . Entao dY (f (xp ), f (xq )) < para p, q > n, o que mostra que
(f (xn )) e uma sucessao de Cauchy em Y .
Dado x A seja (an ) uma sucessao de termos em A com lim an = x. Entao
(an ) e uma sucessao de Cauchy em X (porque e convergente) e portanto,
pelo paragrafo anterior, f (an ) e uma sucessao de Cauchy em Y . Como Y e
completo, f (an ) converge. Definimos
(1)
g(x) = lim f (an ).

Note-se que, se existir um prolongamento contnuo g : A Y , a formula
anterior tem de ser verificada (uma vez que as funcoes contnuas preservam
limites de sucess
oes), logo se o prolongamento contnuog existir, ele e u
nico
(algo que ja se tinha visto tambem no Exerccio 18.13).
necessario verificar que (1) e independente da escolha de an (isto e que
E
g esta bem definida). Suponhamos que (an ) e (a0n ) sao duas sucessoes de
termos em A convergentes para X. Entao a sucessao1
(
an/2
se n e par,
bn =
0
a(n+1)/2 se e mpar.
tambem converge para x. Como f (bn ) converge, conclumos que as suas duas
subsucess
oes f (ak ) e f (a0k ) tem o mesmo limite.
Em particular, se x A, podemos tomar a sucessao constante xn = a e
entao g(a) = lim f (a) = f (a), pelo que g prolonga f . Resta provar que g e
uniformemente contnua.
Dado > 0, tome-se > 0 tal que para todos os a, a0 A se tem
dX (a, a0 ) < 3 dY (f (a), f (a0 )) < 3 ( isto e possvel porque f e uniformemente contnua em A).
Dados x, x0 A com dX (x, x0 ) < , podemos escolher a, a0 A tais
que dX (a, x) < e dX (a0 , x0 ) < . Se (an ) e uma sucessao de termos em A
convergindo para x entao, para n suficientemente grande, temos dX (a, an ) <
e portanto dY (f (a), f (an )) < 3 . Tomando o limite quando n vemos
que

dY (f (a), g(x))
3
e, analogamente, temos dY (f (a0 ), g(x0 )) 3 . Por outro lado
dX (a, a0 ) dX (a, x) + dX (x, x0 ) + dX (x0 , a0 ) < 3
pelo que dY (f (a), f (a0 )) < 3 . Conclui-se entao que
dY (g(x), g(x0 ))
<
dY (g(x), f (a)) + dY (f (a), f (a0 )) + dY (f (a0 ), g(x0 ))

+ + = .
3 3 3
1Esta ideia
e do Pedro Vieira.

RESOLUC
AO
o que mostra que g e uniformemente contnua.

Munkres 48.2: Os subconjuntos Q, R \ Q de R tem interior vazio (nao contem nenhum intervalo) e R = Q (R \ Q).

RESOLUC
AO
Munkres 51.3: (a) Seja X = [0, 1] ou R. Em qualquer dos casos, a aplicacao H : X [0, 1]
X definida por H(x, t) = tx e uma homotopia entre a aplicacao constante
igual a zero e iX .
(b) Seja H : X [0, 1] X uma homotopia entre a identidade iX e uma
aplicacao constante c, e seja x0 = c(x). Dado x X, a aplicacao
f : [0, 1] X definida por f (t) = H(x, t) e um caminho que une H(x, 0) =
iX (x) = x e H(x, 1) = c(x) = x0 . Portanto x0 e x pertencem à mesma
componente conexa por arcos. Conclui-se que X e conexo por arcos.
(c) Seja H : Y [0, 1] Y uma homotopia entre a identidade iY e uma
aplicacao constante c : Y Y com c(y) = y0 . Dada uma funcao contnua
f : X Y , a aplicacao
K : X [0, 1] Y
definida por K(x, t) = H(f (x), t) e uma homotopia entre x 7 H(f (x), 0) =
iY (f (x)) = f (x) e a aplicacao constante c f logo [X, Y ] contem apenas
a classe de homotopia da aplicacao c f : X Y constante igual a y0 .
(d) Seja H : X[0, 1] X uma homotopia entre a identidade iX e a aplicacao
constante c : X X definida por c(x) = x0 . Dada uma aplicacao
contnua f : X Y , a aplicacao K : X [0, 1] Y definida por
K(x, t) = f (H(x, t))
e uma homotopia entre a aplicacao f iX = f e f c que e a aplicacao
constante igual a f (x0 ).
Seja y0 Y e d : Y Y a aplicacao constante igual a y0 . Como Y e
conexo por arcos, existe um caminho g : [0, 1] Y com g(0) = f (x0 ) e
g(1) = y0 . Entao a aplicacao L : X [0, 1] Y definida por L = g 1 ,
isto e, por
L(x, t) = g(t)
define uma homotopia entre as aplicacoes constantes iguais a f (x0 ) e y0 .
Como a relacao de homotopia e transitiva, conclui-se que a aplicacao f
e homot
opica à aplicacao d e portanto [X, Y ] e um conjunto singular
formado pela classe de homotopia de d.
Munkres 52.3: Suponhamos que 1 (X, x0 ) e abeliano, e sejam , : [0, 1] X caminhos de
x0 a x1 . Entao e um laco em x0 . Sendo um laco qualquer baseado
em x0 temos
([])
[] [] []
[] [] [] [] []
[] [ ] [] []
[] [] [ ] []
[] [] [] [] []
[] [] []
([]).
( porque 1 (X, x0 ) e abeliano ),
Reciprocamente, suponhamos que, para todos os caminhos , : [0, 1] X

Seja : [0, 1] X um caminho fixado unindo x0
entre x0 e x1 temos
= .
1

RESOLUC
AO
e x1 , e sejam e lacos quaisquer em x0 . Entao e outro caminho de x0

a x1 e temos a seguinte sequencia de implicacoes:
[
([]) = ([])
[ ] [] [ ] = [] [] []
[] [] [] [] [] = [] [] []
(porque = )
(multiplicando dos dois lados à esquerda por [] e à direita por []) )

[] [] = [] [] (multiplicando por []) à esquerda).
[] [] [] = []
Conclui-se que 1 (X, x0 ) e abeliano.

Munkres 52.4: Seja i : A X a inclusao, de maneira que r i = idA . Temos entao (pelo
Teorema 52.4) o seguinte diagrama comutativo
/ 1 (X, a0 )
1 (A, a0 )
MMM
MMM
r
M
idA =id MMM
&
1 (A, a0 ).
i
Sendo [] 1 (A, a0 ), tem-se entao

r (i ([])) = []
o que mostra que r e sobrejectivo.
Munkres 52.6: Seja um laco em x0 . Temos entao
x ) ([])) = [] ((hx ) ([])) []
((h
0
0
= [] [h ] []
= [h ] [h ] [h ]
= [(h ) (h ) (h )]
= [h ( )]
= (hx1 ) [ ]
= (hx1 ) (
([])).
portanto (hx0 ) = (hx1 )
.
Munkres 53.3: Vamos ver que o conjunto K = {b B : #p1 ({b}) = k} e aberto, fechado e
nao vazio. Uma vez que B e conexo isto implica que K = B que e a afirmacao
que pretendemos demonstrar.
O conjunto K e nao vazio porque b0 K. Seja b K e U uma vizinhanca
trivializante de b para o revestimento p. Entao
p1 (U ) = V
com V abertos disjuntos de E tais que p|V e um homeomorfismo. Em particular p|V e uma bijeccao e portanto cada V contem exactamente um elemento
de p1 ({b0 }) para cada b0 U . Portanto todos os conjuntos p1 ({b0 }) com
b0 U tem exactamente o mesmo n
umero de elementos e, como #p1 ({b}) =
k, este n
umero e k. Conclui-se que U K e portanto K e aberto.
O argumento do paragrafo anterior mostra que se b e b0 pertencem à mesma
vizinhanca trivializante para p, entao ha uma bijeccao entre p1 ({b}) e p1 (b0 ).
Logo se #p1 ({b}) 6= k, ha uma vizinhanca de b formada por pontos em que o

RESOLUC
AO
mesmo acontece. Isto significa que B \ K e aberto, ou seja, que K e fechado.

Isto conclui a demonstracao.

RESOLUC
AO
Munkres 54.6: Seja p : R S 1 o revestimento definido por p(t) = e2it .

f : [0, 1] S 1 definido por
O caminho
f (t) = e2it
determina um gerador do grupo cclico infinito 1 (S 1 , 1), uma vez que o isomorfismo do Teorema 54.5 envia [f ] em 1 Z (como o caminho t 7 t em
R tem incio em 0 e p(t) = e2it = f (t), o levantamento de f e f(t) = t, logo
([f ]) = f(1) = 1).
Temos
g ([f ]) = [g f ] = [h]
onde h : [0, 1] S 1 e a aplicacao definida por h(t) = e2int . A aplicacao
definida por h(t)

= nt e o levantamento de h com h(0)
= 0 (pois p h(t)
=
2int
2i h(t)
=e
= h(t)) logo ([h]) = h(1) = n. Portanto (g ([f ]) = n =
e
n ([f ]). Como e um isomorfismo de grupos, conclumos (usando notacao
multiplicativa) que
g ([f ]) = [f ]n
e portanto o homomorfismo g e dado por
g ([f ]k ]) = [f ]nk
(k Z).
Como h se obtem de g substituindo n por n, temos que h e o homomorfismo definido por

h ([f ]k ) = [f ]nk .
Munkres 55.2: Como h e nul-homot
opica, pelo Lema 55.3, podemos prolongar h a uma
aplicacao k : D2 S 1 definida no disco unitario. Sendo j : S 1 D2 a
inclusao, temos que j k : D2 D2 e contnua, e portanto, pelo Teorema
do ponto fixo de Brouwer, existe x D2 tal que j(k(x)) = x k(x) = x.
Conclui-se que o ponto fixo x pertence a k(D2 ) = S 1 , portanto k(x) = h(x)
e x e um ponto fixo de h.
Sendo A : S 1 S 1 a aplicacao definida por A(x) = x, a composta A h
e nul-homot
opica (se H : S 1 [0, 1] S 1 e um homotopia entre h e uma
aplicacao constante, A H e uma homotopia entre A h e uma aplicacao
constante). Pelo paragrafo anterior temos que A h tem um ponto fixo, isto
e, existe x S 1 tal que A(h(x)) = x h(x) = x h(x) = x.
Munkres 57.3: A aplicacao q : S 1 S 1 definida por q(z) = z 2 e uma aplicacao de revestimento. De facto, U = {ei : a < < b} S 1 e uma vizinhanca trivializante
desde que b a < 2, pois
q 1 (U ) = V1 V2
com
V1 = {ei :
a
2
< < 2b },
V2 = {ei :
a
2
+ < <
ba
2
b
2
+ }
que sao abertos disjuntos porque b a < 2

< , e cada q|Vi : Vi U
e um homeomorfismo
(a
fun
c
a
o
inversa
e
dada
por
um dos ramos da raz
quadrada z 7 z).
1

RESOLUC
AO
Sendo h : S 1 S 1 uma aplicacao satisfazendo h(z) = h(z), tem-se

que q h(z) = h(z)2 = (h(z))2 = h(z)2 = q h(z). Note-se que
q e uma aplicacao quociente (as aplicacoes de revestimento sao aplicacoes
quociente porque sao abertas), cujas fibras q 1 ({w}) consistem em pares de
pontos antpodas. Como q h e constante nas fibras, existe uma aplicacao
contnua k : S 1 S 1 tal que k q = q h (pelo Teorema 22.2), isto e tal que
o seguinte diagrama comuta.
(1)
S1
/ S1
q

S1

/ S1
Temos entao o seguinte diagrama comutativo de grupos e homomorfismos

(note-se que por hip
otese h(1) = 1, logo k(1) = 1):
(2)
1 (S 1 , 1)

1 (S 1 , 1)
/ 1 (S 1 , 1)

/ 1 (S 1 , 1)
Como 1 (S 1 , 1) e um grupo cclico infinito, os homomorfismo do diagrama sao

determinados pela imagem do gerador [f ] (onde f : [0, 1] S 1 e o caminho
t 7 f (t) = e2it ). Pelo Exerccio 54.6, temos q ([f ]) = [f ]2 . Sejam H, K Z
tais que h ([f ]) = [f ]H e k ([f ]) = [f ]K . Entao pela comutatividade de (2)
temos
k (q ([f ]) = k ([f ]2 ) = [f ]2K ,
q (h ([f ]) = q ([f ]H ) = [f ]2H
pelo que H = K.
O nosso objectivo e mostrar que H e mpar, e portanto basta-nos mostrar
que K e mpar. Sendo f o caminho descrito acima e f(t) = eit o seu levantamento a q com f(0) = 1, o diagrama (1) mostra que h f e o levantamento de
k f a q com ponto inicial 1 S 1 , pois o levantamento e u
nico e as igualdades
q h f = k q f = k f,
h f(0) = h(1) = 1
mostram que h f e um levantamento com incio em 1. Uma vez que h(z) =
h(z) isto significa que
k]
f (1) = h(f(1)) = h(ei ) = h(1) = 1.
Por definicao de K e k temos [kf ] = [f ]K , logo para concluir a demonstracao
basta provar que, sendo l : [0, 1] S 1 um laco com ponto inicial e final 1 tal
que o seu levantamento l a q com l(0) = 1 termina em 1, entao [l] e um
m
ultiplo mpar do gerador [f ].
Sendo r : R S 1 a aplicacao definida por r(t) = eit , temos (por unicidade
dos levantamentos de caminhos) um diagrama comutativo
R
E

r

1
l
z= S

z

z
q
zzz
zz l

/ S1
[0, 1]
l

RESOLUC
AO
onde l e o levantamento de l ao revestimento p = q r com incio em 0 R

(p(t) = e2it e o revestimento que foi utilizado para calcular 1 (S 1 , 1)).
Como l(1) = 1, temos
eil(1) = 1 l(1) = (2j + 1) l(1) = 2j + 1 para algum j Z.
Sendo : 1 (S 1 , 1) p1 ({1}) = Z o isomorfismo do Teorema 54.5 (dado

pelo levantamento a p) isto significa que ([l]) = 2j + 1 = ([f ]2j+1 ) e
portanto [l] = [f ]2j+1 . Conclui-se que K = 2j + 1 e mpar, o que termina a
demonstracao.
Munkres 58.2: (a) A expressao ((x, ei ), t) 7 (1 t)x, ei ) define uma retraccao por deformacao de B 2 S 1 em {0} S 1 pelo que o grupo fundamental e um
grupo cclico infinito. Alternativamente, podemos usar 1 (B 2 S 1 )
=
1 (B 2 ) 1 (S 1 ) juntamente com o facto que 1 (B 2 ))
= {0} uma vez
que B 2 e contractil.
(b) Vendo T como um quociente de [0, 1] [0, 1] da maneira habitual, uma
retraccao por deformacao do quadrado perfurado [0, 1][0, 1]\{( 12 , 21 )} na
fronteira de [0, 1] [0, 1] induz uma retraccao por deformacao de T \ {p}
no 8 (que e o espaco que se obtem tomando o quociente da fronteira do
quadrado).
(c) A expressao ((ei , x), t) 7 (ei , (1 t)x) define uma retraccao por deformacao em S 1 {0} pelo que o grupo fundamental e isomorfo a Z.
(d) A expressao da alnea anterior da tambem uma retraccao por deformacao
em S 1 {0} pelo que o grupo fundamental e uma vez mais isomorfo a Z.
x
(e) (x, t) 7 (1 t)x + t kxk
e uma retraccao por deformacao de R3 excepto
os eixos nao negativos em S 2 \ {(1, 0, 0), (0, 1, 0), (0, 0, 1)}. Este u
ltimo
espaco e homeomorfo a R2 excepto dois pontos, e finalmente, este u
ltimo
retrai-se por deformacao num 8. Assim, o grupo fundamental e isomorfo
ao de um 8.
x
) e uma retraccao por deformacao na circun(f) (x, t) 7 ((1 t)x + 2t kxk
ferencia de raio 2 que e homeomorfa a S 1 logo o grupo fundamental e
isomorfo a Z.
(g) A resposta e exactamente igual à da alnea anterior.
(h) O conjunto e convexo, logo contractil, logo o grupo fundamental e trivial.
(i) A aplicacao definida por
(
x
se x S 1 ,
(x, t) 7
x
(1 t)x + t kxk se x R+ 0,
e uma retraccao por deformacao em S 1 logo o grupo fundamental e isomorfo a Z.
(j) A resposta obtem-se da da alnea anterior substituindo R+ 0 por R+ R.
(k) A expressao
(
x
se kxk 1,
(x, t) 7
x
(1 t)x + t kxk
se kxk 1,
e uma retraccao por deformacao no espaco que e homotopicamente
equivalente a um 8 pelo que o grupo fundamental isomorfo ao de um 8.
(l) A expressao (x, t) 7 (1 t)x + t(1, 0) define uma retraccao por deformacao no subespaco {(1, 0)} logo o grupo fundamental e trivial.

RESOLUC
AO
Munkres 58.5: Seja H : X [0, 1] X uma homotopia entre a identidade de X e uma

aplicacao constante igual a x0 X. Sendo c : X {x0 } a aplicacao constante
e i : {x0 } X a inclusao temos entao que H e uma homotopia entre idX
e i c. Por outro lado c i = id{x0 } logo i, c sao inversos de homotopia e
portanto X tem o tipo de homotopia de um ponto.
Reciprocamente, suponhamos que Y = {y0 } e um espaco com um u
nico
ponto e que f : X Y e g : Y X sao inversos de homotopia. Entao existe
por definicao uma homotopia H : X [0, 1] X entre idX e g f . Mas a
aplicacao g f e a aplicacao constante igual a g(y0 ) X. Logo X e contractil.

RESOLUC
AO
Munkres 59.3: (a) Se : R Rn for um homeomorfismo, entao |R\{0} : R \ {0} Rn \

{(0)} seria um homeomorfismo. Mas R\{0} e desconexo, enquanto que,
para n > 1, Rn \ {(0)} e conexo (e conexo por arcos).
(b) Se : R2 Rn for um homeomorfismo, entao |R2 \{0} : R2 \ {0}
Rn \ {(0)} seria um homeomorfismo. Mas 1 (R2 \ {0})
= Z, enquanto
que, para n > 2, 1 (Rn \ {(0)}) = {0} uma vez que Rn \ {(0} S n1
e n 1 2.
Munkres 60.4: A aplicacao q : S 1 S 1 definida por q(z) = z 2 satisfaz q(z) = q(z) e
portanto induz uma aplicacao contnua h : RP 1 S 1 , que e claramente uma
bijeccao. Uma vez que q e uma aplicacao quociente (e fechada porque S 1 e
compacto e Hausdorff), a aplicacao h e um homeomorfismo (pelo Corolario
22.3 (a)). Temos portanto um diagrama comutativo
S1
z AAA
z
AAq
z
z
AA
zz
z
A
|z
h
/ S1
RP 1
que identifica a aplicacao quociente S 1 RP 1 com q.
Munkres 68.2: Escrevemos [w] para o elemento de G1 G2 representado pela palavra w.
(a) Sejam g G1 \ {1} e h G2 \ {1}. Entao gh e hg sao palavras reduzidas
distintas e portanto representam elementos distintos de G. Conclui-se que
[g][h] = [gh] 6= [hg] = [h][g] em G e portanto G nao e abeliano.
(b) Seja x = [w] com w = g1 g2n uma palavra reduzida de comprimento
2n 2 (com gi G1 ou G2 para cada i). Como caracteres consecutivos
nao pertencem ao mesmo grupo Gi , vemos que g1 e g2n nao pertencem
ao mesmo grupo e portanto wk e uma palavra reduzida para cada k N.
Logo xk = [wk ] 6= 1 para todo o k N, isto e, x nao tem ordem finita.
Se x = [w] com w = g1 g2n+1 uma palavra reduzida de comprimento
mpar > 1, entao g1 e g2n+1 pertencem ao mesmo grupo Gi com i = 1
ou 2 logo
1
] = [(g2n+1 g1 )g2 g2n ]
[g2n+1 ]x[g2n+1 ]1 = [g2n+1 g1 g2n+1 g2n+1
e portanto o conjugado [g2n+1 ]x[g2n+1 ]1 e representado por uma palavra

reduzida de comprimento 2n.
(c) Se x Gi e tal que xk = 1 em Gi , entao [x]k = [xk ] = [1] logo [x] tem
ordem finita em G. Em qualquer grupo G, a conjugacao por um elemento
c G, definida por g 7 cgc1 e um automorfismo de G (isto e, um
isomorfismo de G consigo pr
oprio) logo cgc1 tem a mesma ordem que g.
Em particular, um conjugado em G = G1 G2 de um elemento de G1 ou
G2 com ordem finita tem ordem finita.
Reciprocamente, vamos provar por inducao no comprimento que se g G
e um elemento de ordem finita, entao g e conjugado a um elemento de G1
ou G2 (que pelo paragrafo anterior tem necessariamente ordem finita).
A afirmacao e tautologica se o comprimento e 1. Suponhamos que esta
demonstrada para elementos de comprimento n (com n 1), e seja
1

RESOLUC
AO
g G um elemento de comprimento n + 1. Se n + 1 e par, entao g

nao tem ordem finita logo nao ha nada a demonstrar. Se n + 1 e mpar
(necessariamente 3), pela alnea anterior, existe c G tal que cgc1
tem comprimento menor. Uma vez que cgc1 tem ainda ordem finita, por
hip
otese de inducao, existe c G tal que c (cgc1 )c1 = (c c)g(c c)1
Gi para i = 1 ou 2. Isto conclui a demonstracao.
Munkres 74.1: A superfcie X = RP 2 #T pode obter-se como quociente de um hexagono
mediante a identificacao dos lados indicada na figura seguinte:
c
b
b
V
b
U V
b
b
a
Sejam i1 : U V U e i2 : U V V as inclusoes entre os abertos indicados na figura anterior. Aplicando o Teorema de Van Kampen à decomposicao
de X = U V , obtem-se
1 (X)
= (1 (U ) 1 (V ))/N
onde N e o subgrupo normal de 1 (U ) 1 (V ) gerado pelo elemento
i1 ()i2 ()1
em que e o gerador de 1 (U V )
= hi indicado na figura (uma vez que
U V S 1 , o grupo fundamental de U V e o grupo cclico infinito gerado
por ).
Claramente U e contractil, enquanto que V se retrata por deformacao na
fronteira do hexagono com as identificacoes indicadas, que e um espaco homeomorfo a S 1 S 1 S 1 . Portanto
1 (U ) 1 (V )
= ha, b, ci
= 1 (V )
e isomorfo ao grupo livre com tres geradores a, b, c. O subgrupo N e enviado
por este isomorfismo no subgrupo normal gerado pela palavra aac1 bcb1 , que

RESOLUC
AO
e a imagem de i2 ()i1 ()1 = i2 () pela retraccao de V em S 1 S 1 S 1

mediante a qual 1 (V ) e identificado com ha, b, ci. Conclui-se portanto que
ha, b, c | a2 c1 bcb1 i
e uma apresentacao para 1 (X).
Munkres 74.3: A garrafa de Klein K e obtida como espaco quociente de [0, 1] [0, 1] fazendo
o quociente pela relacao de equivalencia gerada por (0, y) (1, 1 y) e
(x, 0) (x, 1). Escrevemos com e habitual [(x, y)] K para a classe de
equivalencia que contem (x, y).
(a) Procedendo de forma inteiramente analoga ao Exerccio 74.1 obtemos
1 (K)
= ha, b | ba1 bai.
Note-se que a e a classe de homotopia do laco
fa : [0, 1] K,
definido por fa (t) = [(t, 0)],
e b e a classe de homotopia do laco definido por

fb : [0, 1] K,
definido por fb (t) = [(0, t)].
(b) T e (homeomorfo a)o quociente [0, 1] [0, 1] pela relacao de equivalencia

gerada por (x, 0) (x, 1) e (0, y) (1, y). Escrevemos tambem [(x, y)]
para a classe de equivalencia de (x, y) T . Podemos tomar para p : T
K a aplicacao induzida no quociente por f : [0, 1] [0, 1] K definida
por
(
[(2x, y)]
se 0 x 21 ,
f (x, y) =
[(2x 1, 1 y) se 12 x 1.
A aplicacao f esta bem definida porque para x = 21 temos [(2x, y)] =
[(1, y)] = [(0, 1 y)] = [(2x 1, 1 y)]. f e contnua pelo lema da
colagem, e como
f (0, y) = [(0, y)] = [(1, 1 y)] = f (1, y)) para 0 y 1,
f (x, 0) = [(2x, 0)] = [(2x, 1)] = f (x, 1) para 0 x 21 ,
f (x, 1) = [(2x 1, 0)] = [(2x 1, 1)] = f (x, 0) para
1
2
x 1,
f e constante nas classes de equivalencia e portanto induz uma aplicacao

contnua p : T K que e dada pela expressao
(
[(2x, y)]
se 0 x 12 ,
p([(x, y)]) =
[(2x 1, 1 y) se 21 x 1.
Os abertos
U = {[(x, y)] K : x 6= 21 },
V = {[x, y] K : x 6 {0, 1}}
sao uma cobertura de K por vizinhancas trivializantes para p. Por exemplo,

p1 (V ) = V1 V2 com
V1 = {[x, y] T : 0 < x < 12 },
V2 = {[x, y] T : 12 < x < 1}
abertos disjuntos em T e p|Vi : Vi V sao homeomorfismos com inversos
si : V Vi definidos por
s1 ([x, y]) = [ x2 , y],
s2 ([x, y]) = [( x+1

2 , 1 y)],
e analogamente p1 (U ) = U1 U2 com
U1 = {[(x, y)] T :
1
4
< x < 43 },

RESOLUC
AO
U2 = {[(x, y)] T : x < 14 ou x > 34 }

abertos disjuntos com p|Ui : Ui U homeomorfismos. Conclui-se que p e
um revestimento duplo de K por T .
Para calcular o homomorfismo induzido por p,
p : 1 (T, [(0, 0)]) 1 (K, [(0, 0)])
basta calcular a imagem por p dos geradores c, d 1 (T, [(0, 0)]) que sao
dados por
fc : [0, 1] T, definido por fc (t) = [(t, 0)], e
fd : [0, 1] T, definido por fd (t) = [(0, t)]
(trata-se de geradores porque 1 (T )
= 1 (S 1 )1 (S 1 ) com o isomorfismo
induzido pelas projeccoes em cada factor e fc e fd sao enviados por cada
projeccao no gerador do factor correspondente). Temos entao
p (c) = [p fc ],
p (d) = [p fd ].
Uma vez que

p(fc )(t) =
[(2t, 0)]
[(2t 1, 1)] = [(2t 1, 0)]
se 0 t 21 ,
se 12 t 1,
e
p(fd (t)) = [(0, t)],
conclui-se que p fc = fa fa e p fd = fb , logo p (c) = a2 , p (d) = b.
1 (T, [(0, 0)]) = {ck dl : k, l Z} e o produto de dois grupos cclicos
infinitos gerados por c e d respectivamente, portanto p e o homomorfismo
definido pela expressao
p (ck dl ) = a2k bl .
DE EXERCICIOS SOBRE A MATERIA
RESOLUC
AO
DAS ULTIMAS
AULAS
Munkres 79.2: (a) Seja f : RP 2 S 1 uma aplicacao contnua. Entao

f : 1 (RP 2 , x0 ) 1 (S 1 , f (x0 ))
e necessariamente o homomorfismo nulo porque se 1 (RP 2 , x0 )
=
Z/2Z e o elemento nao trivial, entao
[ef (x0 ) ] = f ([ex0 ]) = f (2 ) = 2f () f () = [ef (x0 ) ]
(uma vez que 1 (S 1 , f (x0 ))
= Z).
Sendo p : R S 1 o revestimento definido por p(x) = e2ix (o revestimento universal de S 1 ) e y0 p1 ({f (x0 )}) temos portanto
f (1 (RP 2 , x0 )) p (1 (R, y0 )) = {[ef (x0 ) ]}.
Pelo Lema 79.1, conclui-se que existe f: RP 2 R com f(x0 ) = y0 e
p f = f . Uma vez que f e nul-homotopica (porque R e contractil)
conclui-se que f e nul-homotopica.
(b) Se f : S 1 S 1 S 1 e nul-homotopica, entao f e o homomorfismo nulo
(pelo Lema 58.4). A projeccao 1 : T = S 1 S 1 S 1 nao e portanto nulhomot
opica uma vez que o homomorfismo 1 : 1 (T ) 1 (S 1 ) nao e o
homomorfismo nulo (1 e sobrejectivo uma vez que a aplicacao i : S 1
S 1 S 1 definida por i(x) = (x, 1) e tal que 1 i = idS 1 e portanto
1 i = id1 (S 1 ,1) ).
Munkres 79.3: Suponhamos que p (1 (E, e0 )) e um subgrupo normal de 1 (B, b0 ). Seja
e1 p1 ({b0 }) e sejam um caminho em E de e0 a e1 (que existe porque E
se sup
oe conexo por arcos), e = p (que e uma laco em b0 ). Entao
1 (E, e1 ) =
(1 (E, e0 ))
e portanto, uma vez que p (1 (E, e0 )) e invariante por conjugacao,
p (1 (E, e1 )) = []1 p (1 (E, e0 ))[] = p (1 (E, e0 )).
Do Teorema 79.2 conclumos entao que existe uma equivalencia h : E E
com h(e0 ) = e1 . Se h2 for uma equivalencia com h2 (e0 ) = e2 , temos que
h2 h1 e uma equivalencia de E que envia e1 em e2 , conforme requerido.
Reciprocamente suponhamos que para todos os e1 , e2 p1 ({b0 }) existe
uma equivalencia h : E E com h(e1 ) = e2 , e seja um laco em b0 . Seja
o levantamento de com (0) = e0 e tomemos e1 = (1). Temos entao um
isomorfismo
: 1 (E, e0 ) 1 (E, e1 ) o que mostra que
p (1 (E, e1 )) = p (
(1 (E, e0 ))) = []1 p (1 (E, e0 ))[]
Por outro lado, tomando h : E E uma equivalencia com h(e0 ) = e1 , temos
p (1 (E, e1 )) = p (h (1 (E, e0 ))) = (p h) (1 (E, e0 )) = p (1 (E, e0 )).
Conclui-se que
p (1 (E, e0 )) = []1 p (1 (E, e0 ))[]
para todo o [] 1 (B, b0 ), o que significa que p (1 (E, e0 )) e um subgrupo
normal de 1 (B, b0 ).
1
DE EXERCICIOS SOBRE A MATERIA
RESOLUC
AO
DAS ULTIMAS
AULAS
Munkres 79.4: (a) A aplicacao p : (S 1 R) T = S 1 S 1 definida por

p(z, x) = (z m , e2i x )
e um revestimento (e um produto de dois revestimentos). Temos 1 (S 1
R)
= 1 (S 1 ) 1 (R)
= Z {0} e o caminho : [0, 1] S 1 R definido
2i t
por t 7 (e
, 0) representa um gerador de 1 (S 1 R, (1, 0)). Como
p((t)) = (e2imt , 1)
vemos que p ([]) e enviado no elemento de 1 (T, (1, 1)) correspondente
a (m, 0) e portanto p (1 (S 1 R, (1, 0))) e o subgrupo gerado por (m, 0)
conforme pretendido.
(b) A aplicacao p : R2 S 1 S 1 definida por p(x, y) = (e2ix , e2iy ) e um
revestimento (produto de revestimentos) e uma vez que R2 e contractil,
temos p (1 (R2 , (0, 0))) = {0} Z Z (p e o revestimento universal).
(c) A aplicacao p : S 1 S 1 S 1 S 1 definida por
p(z, w) = (z m , wn )
e um revestimento (novamente e um produto de revestimentos), e o argumento da alnea a) mostra que p (1 (S 1 S 1 , (1, 1))) e o subgrupo
gerado por (m, 0) e (0, n) conforme pretendido.

Topologia Lisboa

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Topologia Lisboa

Diunggah oleh

Hak Cipta:

Format Tersedia

DOS EXERCICIOS DE TOPOLOGIA PARA 23/2

DOS EXERCICIOS DE TOPOLOGIA PARA 23/2

Notas: Alternativamente podemos ver que a menor, ou menos fina, das

DOS EXERCICIOS DE TOPOLOGIA PARA 23/2

DOS EXERCICIOS DE TOPOLOGIA PARA 2/3

DOS EXERCICIOS DE TOPOLOGIA PARA 2/3

abertos U1 e U2 de X com xi Ui para i = 1, 2, tais que U1 U2 = .

DOS EXERCICIOS DE TOPOLOGIA PARA 9/3

DOS EXERCICIOS DE TOPOLOGIA PARA 9/3

g1 (x0 ) = f (x0 ) = g2 (x0 ), uma vez que x0 A;

DOS EXERCICIOS DE TOPOLOGIA PARA 16/3

Munkres 19.8: A funcao inversa de h obtem-se resolvendo o sistema:

e um aberto da mesma topologia (pois h1

onde d denota a metrica limitada standard em R. Verifiquemos que d e uma

= d(y1 , y3 ) d(y1 , y2 ) + d(y2 , y3 )

onde usamos a desigualdade triangular para d. Conclui-se que d verifica a

DOS EXERCICIOS DE TOPOLOGIA PARA 16/3

Uma vez que

](x1 , x2 ), (x1 , x2 + )[

as bolas da metrica d sao abertos na topologia da ordem lexicografica e

min{1, |d y|, |b y|} se a = x = c.

DOS EXERCICIOS DE TOPOLOGIA PARA 16/3

Como (xn , 0) = n1 0, vemos que xn 0 na topologia uniforme

logo z 6 U (x, ).

portanto h(B (x,

DOS EXERCICIOS DE TOPOLOGIA PARA 16/3

(h(yn ), h(0)) = sup{d(ak (yn )k + bk , bk ) : k N} = 1

DOS EXERCICIOS DE TOPOLOGIA PARA 23/3

Munkres 21.3: (a) Comecamos por ver que e uma metrica

max{d1 (x1 , z1 ), . . . , d(xn , zn )}

max{d1 (x1 , y1 ) + d(y1 , z1 ), . . . , dn (xn , yn ) + dn (yn , zn )}

0, quando i temos ate

sup{d(x, y)/i : i N } < .

DOS EXERCICIOS DE TOPOLOGIA PARA 23/3

Entao D(x, y) <  di (xi , yi ) < i i para i = 1, . . . , N e portanto

{](r, 0), (x,

se (x, y) = (0, 0),

se (x, y) = (1, 1).

Para x 6= 0, temos (x n1 )2 x2 6= 0. Logo n3 (x n1 )2 + 1 e

DOS EXERCICIOS DE TOPOLOGIA PARA 23/3

Por outro lado,

f (h(t)) = f ([( t, 0)]) = |t| + 02 = t

DOS EXERCICIOS DE TOPOLOGIA PARA 30/3

Munkres 23.5: Seja X um espaco com a topologia discreta e A X. A topologia induzida

sao abertos de A, obviamente disjuntos, nao vazios (porque a U e b V )

DOS EXERCICIOS DE TOPOLOGIA PARA 30/3

DOS EXERCICIOS DE TOPOLOGIA PARA 6/4

DOS EXERCICIOS DE TOPOLOGIA PARA 6/4

um aberto contendo 11 ({x}), e pelo lema do tubo, existe uma vizinhanca

DOS EXERCICIOS DE TOPOLOGIA PARA 6/4

uma sucessao pela expressao

DOS EXERCICIOS DE TOPOLOGIA PARA 13/4

sup{|txn sxn | : n N} |t s|M

DOS EXERCICIOS DE TOPOLOGIA PARA 13/4

DOS EXERCICIOS DE TOPOLOGIA PARA 13/4

(e) Sejam X = R2 , A = R {0} e U = {(x, y) R2 : |y| < ex }. Entao A

vemos que f (A) A e portanto f (A) = A.

DOS EXERCICIOS DE TOPOLOGIA PARA 13/4

Como f (A) = A, podemos escolher a0 , b0 A tais que f (a0 ) = a e

DOS EXERCICIOS DE TOPOLOGIA PARA 20/4

Munkres 30.5: Seja X um espaco metrizavel e d uma metrica em X induzindo a topologia.

logo x Bd (xn , q) Bd (x, r), o que conclui a demonstracao.

DOS EXERCICIOS DE TOPOLOGIA PARA 20/4

DOS EXERCICIOS DE TOPOLOGIA PARA 4/5

](x1 , x2 ), (x1 , x2 + )[

logo z 6 U (x, ).

sup{d(x, y)/i : i N } < .

Entao D(x, y) < di (xi , yi ) < i i para i = 1, . . . , N e portanto