Escolar Documentos
Profissional Documentos
Cultura Documentos
Mauricio A. Vilches
Departamento de An alise - IME
UERJ
2
Copyright by Mauricio A. Vilches
Todos os direitos reservados
Proibida a reproduc ao parcial ou total
3
PREF
ACIO
Provavelmente a Topologia e a mais novas das linhas da Ma-
tem atica cl assica, pois a Topologia aparece no s eculo XV II
com o nome de Analyse Situs, isto e an alise da posic ao. Mui-
tos autores concordam que o primeiro a tentar estudar pro-
priedades topol ogicas foi Leibniz, em 1679. Posteriormente,
Euler em 1736 publica a soluc ao do problema das pontes
da cidade de K oenigsberg, institulado Solutio problema-
tis ad geometriam situs pertinentis. As bases da Topolo-
gia moderna foram estabelicidas no Congresso Internacio-
nal de Matem atica de 1909, em Roma, onde Riesz prop oe
um carater axiom atico da Topologia, baseado na teoria dos
conjuntos, sem o conceito de dist ancia subjacente. Em 1914,
Hausdorff dene os conjuntos abertos atrav es de axiomas,
sem considerac oes m etricas. Existem outras vertentes onde
a topologia encontrou novos impulsos para seu desenvolvi-
mento, por exemplo, na An alise Funcional e nas Equac oes
Diferenciais Ordin arias, atrav es de Banach e Poincar e, res-
pectivamente.
ATopologia utiliza os mesmos objetos que a Geometria, com
a seguinte diferenca: n ao interessa a dist ancia, os angulos
nem a congurac ao dos pontos. Na Topologia, objetos que
possamtransformar-se emoutros, atrav es de func oes contnuas
reversveis, s ao equivalentes e indistinguiveis. Por exemplo,
crculos e elipses, esferas e paralelelppedos.
A Topologia e pr e-requisito b asico em quase todas as areas
4
da Matem atica moderna, da Geometria Diferencial ` a
Algebra
e e fonte atual de efervescente pesquisa.
Mauricio A. Vilches
Rio de Janeiro
Conte udo
1 ESPAC OS TOPOL
OGICOS 7
1.1 Topologias e Conjuntos Abertos . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Sub-bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Topologia Relativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.7 Pontos e Conjuntos Not aveis . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.8 Topologia M etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8.1 Espacos M etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8.2 Conjuntos Abertos e Fechados em Espacos M etricos . . . . . . . . 24
1.8.3 Espacos Vetoriais Normados . . . . . . . . . . . . . . . . . . . . . 25
1.8.4 Espacos Vetoriais com Produto Interno . . . . . . . . . . . . . . . 26
1.9 Topologia de Zariski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.9.1 Topologia de Zariski em An eis . . . . . . . . . . . . . . . . . . . . 27
1.10 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2 FUNC
OES EM ESPAC OS TOPOL
OGICOS 33
2.1 Func oes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2 Continuidade em Espacos M etricos . . . . . . . . . . . . . . . . . . . . . . 37
2.3 Topologia Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3.1 Topologia Produto . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.4 Func oes Abertas e Fechadas . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3 HOMEOMORFISMOS 45
3.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Exemplos de Homeomorsmos . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2.1 Grupos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.3 Homeomorsmos Locais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4 TOPOLOGIA QUOCIENTE 61
4.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.2 Espacos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.2.1 O Crculo como Espaco Quociente . . . . . . . . . . . . . . . . . . 64
4.2.2 O Cilindro como Espaco Quociente . . . . . . . . . . . . . . . . . 65
5
6 CONTE
UDO
4.2.3 A Faixa de M oebius como Espaco Quociente . . . . . . . . . . . . 65
4.2.4 A Esfera como Espaco Quociente . . . . . . . . . . . . . . . . . . . 66
4.2.5 O Toro como Espaco Quociente . . . . . . . . . . . . . . . . . . . . 67
4.2.6 A Garrafa de Klein como Espaco Quociente . . . . . . . . . . . . . 68
4.2.7 O Cone e Suspens ao de um Conjunto . . . . . . . . . . . . . . . . 69
4.3 Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.4 Ac oes de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.4.1 G-espacos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.4.2 O Crculo como Z-espaco . . . . . . . . . . . . . . . . . . . . . . . 78
4.4.3 O Toro como Z Z -espaco . . . . . . . . . . . . . . . . . . . . . . 79
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5 COMPACIDADE 83
5.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.2 Compacidade em Espacos M etricos . . . . . . . . . . . . . . . . . . . . . . 86
5.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
6 AXIOMAS DE SEPARAC
AO 91
6.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
6.2 Espacos de Fr echet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
6.3 Espacos de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.4 Topologia Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.5 Homeomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
6.5.1 O Crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
6.5.2 O Toro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
6.5.3 Espacos Projetivos Reais . . . . . . . . . . . . . . . . . . . . . . . . 100
6.5.4 Espacos Projetivos Complexos . . . . . . . . . . . . . . . . . . . . 101
6.5.5 Grupos Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
6.5.6 A Faixa de Moebius . . . . . . . . . . . . . . . . . . . . . . . . . . 102
6.6 Variedades Topol ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
6.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
7 CONEXIDADE 105
7.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
7.2 Aplicac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
7.3 Conexidade por Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
7.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Bibliograa 116
Captulo 1
ESPAC OS TOPOL
OGICOS
A seguir apresentaremos a denic ao de Topologia que e, essencialmente, a generaliza-
c ao de algumas das propriedades intrnsecas dos intervalos abertos emR.
1.1 Topologias e Conjuntos Abertos
Seja X um conjunto n ao vazio. Denotemos por P(X) a famlia de todos os subconjun-
tos de X e por A
c
= X A o complementar de A em X.
Deni c ao 1.1. Uma topologia sobre X e uma famlia T P(X) tal que:
1. X, T.
2. Dada uma famlia arbitr aria {A
T/ }, ent ao:
_
T.
3. Dados B
1
, B
2
, . . . , B
n
T, ent ao:
n
i=1
B
i
T.
Em outras palavras, uma topologia e uma famlia de subconjuntos de X tais que o
conjunto vazio e o conjunto X devem pertencer ` a topologia; a reuni ao arbitr aria de
elementos da topologia deve pertencer ` a topologia e a intersec ao nita de elementos
da topologia deve pertencer ` a topologia.
Os elementos de T s ao ditos conjuntos abertos de X ou simplesmente abertos de X.
O par
_
X, T
_
e chamado espa co topol ogico.
7
8 CAP
T/ }, ent ao:
_
T.
De fato, seja x
_
, ent ao existe
0
tal que x A
0
T; logo, existe (a, b) e:
x (a, b) A
0
_
.
1.2. EXEMPLOS 9
3. Sejam B
1
, B
2
T; ent ao, dado x B
1
B
2
temos que x B
1
T e x B
2
T, logo
existem (a
1
, b
1
) e (a
2
, b
2
) tais que x (a
1
, b
1
) B
1
e x (a
2
, b
2
) B
2
. Se denotamos
por a = max{a
1
, a
2
} e b = min{b
1
, b
2
}, temos:
x (a, b) B
1
B
2
.
Por induc ao: Se B
1
, B
2
, . . . , B
n
T, ent ao
n
i=1
B
i
T.
Esta topologia e chamada euclidiana ou usual e ser a denotada por T
us
.
[5] Seja X = R
2
e denamos a seguinte topologia:
T = {, A R
2
},
onde A Tse, e somente se para todo (x, y) Aexiste umret angulo aberto (a, b)(c, d)
tal que:
(x, y) (a, b) (c, d) A.
De forma an aloga ao exemplo anterior, T e uma topologia e e tamb em chamada eucli-
diana ou usual e ser a denotada por T
us
. N ao e difcil ver que esta topologia pode ser
estendida a R
n
.
[6] Seja R
2
e consideremos a famlia:
T
k
= {, R
2
, G
k
/ k R},
onde:
G
k
= {(x, y) R
2
/ x > y +k}.
Ent ao
_
R
2
, T
k
_
, e um espaco topol ogico.
1. , R
2
T
k
, por denic ao.
2. Seja G
k
T
k
tal que k M R:
Se M e limitado inferiormente, seja m = inf M, ent ao:
_
kM
G
k
= G
m
T
k
.
De fato, seja (x, y)
_
kM
G
k
; ent ao, existe k M tal que (x, y) G
k
, isto e xy > k m;
logo, (x, y) G
m
e
_
kM
G
k
G
m
.
Seja (x, y) G
m
; ent ao, x y > m; logo, existe k M tal que x y > k, caso contr ario
x y seria uma cota inferior de M maior que m; ent ao:
G
m
_
kM
G
k
.
10 CAP
T/ }; ent ao:
_
T.
De fato:
_
_
_
c
=
A
c
,
como A
c
i=1
B
i
_
c
=
n
_
i=1
B
c
i
,
a uni ao e nita ou todo X, pois cada conjunto e nito ou todo X.
Esta topologia e chamada de conita e denotada T
cof
. Se X e nito, ent ao T
cof
= T
dis
.
Seja X = Rcom a topologia T
cof
. O conjunto (, 1) n ao e aberto nesta topologia, pois
seu complementar e [1, +) e n ao e nito nem igual a R. Mas, o conjunto (, 1)
(1, +) e aberto. Nesta topologia os abertos s ao da forma:
A = R
n
_
i=1
{x
i
/ x
i
R}.
Seja X = Rcom a topologia T
us
. Se A R e nito, ent ao An ao e aberto. Analogamente
emR
n
.
1.3. CONJUNTOS FECHADOS 11
1.3 Conjuntos Fechados
Os conjuntos fechados s ao os duais dos conjuntos abertos, num espaco topol ogico. Ve-
remos que a topologia num espaco topol ogico, tamb em pode ser caracterizada atraves
dos conjuntos fechados.
Deni c ao 1.2. Seja F X. F e dito fechado em X se F
c
T.
Isto e, um conjunto e fechado se, e somente se seu complementar e um conjunto aberto.
Exemplo 1.1.
[1] X e s ao fechados em X.
[2] Seja
_
X, T
sier
_
; ent ao os fechados de X s ao , X e {b}.
[3] Considere X = {a, b, c} com a T
3
do exemplo [??]. Determinemos os conjuntos
fechados de X.
Primeiramente X e s ao fechados em X. Os conjuntos {a} e {b} n ao s ao fechados; de
fato:
{a}
c
= {b, c} / T
3
{b}
c
= {a, c} / T
3
.
Por outro lado {c}, {a, c} e {b, c} s ao fechados em X:
{c}
c
= {a, b} T
3
{a, c}
c
= {b} T
3
{b, c}
c
= {a} T
3
.
Teorema 1.1. Seja
_
X, T
_
espa co topol ogico e F a famlia de conjuntos fechados; ent ao:
1. X, F.
2. Sejam F
1
, F
2
, . . . , F
n
conjuntos fechados em X; ent ao:
n
_
i=1
F
i
e fechado em X.
3. Sejam F
F.
A prova e imediata. De fato:
_
n
_
i=1
F
i
_
c
=
n
i=1
F
c
i
T
_
_
c
=
_
F
c
T.
12 CAP
,
onde B
A.
O seguinte teorema e um otimo crit erio para vericar se uma famlia de subconjuntos
e uma base.
Teorema 1.2. Seja B T. A famlia B e uma base de T se, e somente se
1. X =
_
BB
B.
2. Para todo B
1
B
2
B, se x B
1
B
2
, ent ao, existe B Btal que:
x B B
1
B
2
.
Prova : Se B e uma base de alguma topologia T, ent ao X e aberto; logo se escreve como
uni ao de abertos b asicos.
Se B
1
, B
2
B, ent ao B
1
, B
2
s ao abertos e B
1
B
2
e aberto; logo se x B
1
B
2
, existe
um aberto B Btal que x B B
1
B
2
.
Reciprocamente, se B satisfaz 1 e 2 e se exitir uma topologia que tem B como base,
todo aberto nesta topologia pode ser escrito como uni ao arbitr aria de elementos de B.
Denamos:
T = {U X / U e uni ao arbitr aria de elementos de B}.
14 CAP
=
_
B
,
, onde B
,
B; ent ao:
A =
_
_
_
B
,
_
=
_
,
B
,
T.
Agora consideremos A
1
e A
2
T, ent ao A
1
=
_
e A
2
=
_
, ent ao:
A
1
A
2
=
_
_
_
_
_
=
_
,
_
B
_
.
Se x A
1
A
2
, existe pelo menos um par de ndices (, ) tal que x B
; por 2
existe B Btal que:
x B B
A
1
A
2
;
logo, A
1
A
2
e aberto. O caso geral segue por induc ao.
Deni c ao 1.5. Os conjuntos B Btal que x B s ao chamados vizinhan cas do ponto x.
Exemplo 1.5.
[1] Uma topologia e base de si pr opria.
[2] Para T
ind
, a base e B = {X}.
[3] Para T
dis
, a base e B = {{x} / x X}.
[4] Logo, bases diferentes podem gerar a mesma topologia.
[5] (Fundamental) Seja X = R e a, b R tal que a < b, ent ao:
B = {(a, b)}
gera a topologia usual ou euclidiana de R.
De fato:
1. R =
_
a<b
(a, b).
2. Para todo x R, (x 1, x + 1) B.
3. Para todo x R tal que x (a
1
, b
1
) (a
2
, b
2
), temos:
x (a, b) (a
1
, b
1
) (a
2
, b
2
),
onde a = max{a
1
, a
2
} e b = min{b
1
, b
2
}.
[6] SejamR, Ba base da topologia euclidiana e B
e
uma base. (Veja os exerccios). Ent ao estas bases geram topologias diferentes.
Seja (a, b) B; para todo x (a, b), existe [x, b) B
, B =
_
,
onde A
, B
B. Logo:
A B =
_
_
_
_
_
=
_
,
_
A
_
.
Por outro lado A
e B
e uma
intersec ao nita de elementos de Se, A B T.
2. Claramente S T.
3. Se T
; logo, T
deve
conter as uni oes arbitr arias de elementos B, isto e T T
i=1
x
2
i
= 1}
com a topologia induzida, e chamado esfera unit aria.
18 CAP
A ou Int(A).
2. x X e um ponto exterior a A se e interior a A
c
.
O conjunto de todos os pontos exteriores a A e denotado por: Ext A.
3. x X e um ponto aderente a A se para toda vizinhan ca U de x temos:
A U = .
O conjunto de todos os pontos aderentes a A e denotado por: A. O conjunto A e dito
fecho de A.
4. x X e um ponto de acumula c ao de A se para toda vizinhan ca U de x temos:
_
A{x}
_
U = .
O conjunto de todos os pontos de acumula c ao a A e denotado por: A
.
5. x X e um ponto da fronteira de A se e aderente a A e a A
c
.
O conjunto de todos os pontos da fronteira de A e denotado por: A.
6. x X e um ponto isolado de A se {x} e vizinhan ca de x
7. Um conjunto onde todos os pontos s ao isolados e dito discreto.
8. A X e dito denso em X se:
A = X.
Se A X, ent ao X =
_
A
c
_
.
Logo,
_
A
_
c
=
_
A
c
_
= Ext A e como X =
A A,
1.7. PONTOS E CONJUNTOS NOT
AVEIS 19
sendo a uni ao disjunta.
O conjunto A e fechado. De fato,
_
A
_
c
=
_
A
c
_
que e aberto.
Para todo A X, temos A A. De fato, se x / A, ent ao existe U vizinhanca de x tal
que U A = , isto e x U A
c
; logo x / A.
Para todo A, B X, temos: se A B, ent ao A B. De fato, se x / B, ent ao existe U
vizinhanca de x tal que U B = , isto e x U B
c
; como B
c
A
c
, ent ao x / A A.
A e um conjunto fechado, pois
_
A
_
c
=
A
c
que e aberto.
_
A
_
= .
Exemplo 1.9.
[1] SejamR com a topologia usual e A = (0, 1) {2}; ent ao:
= [0, 1] e A = {0}{1}.
[2] SejamN, Z e Q R e R com a topologia usual; ent ao:
Ne Z s ao discretos.
Z = e Z = Z = Z.
= R.
Proposi c ao 1.3. Sejam
_
X, T
_
e A X:
1. A e fechado se, e somente se A = A.
2. A = A.
Prova :
1. Suponha A fechado; ent ao A
c
e aberto. Se x / A, ent ao x A
c
, logo existe U
vizinhanca de x tal que x U A
c
; ent ao U A = isto e x / A; logo A A.
A = A se x / A, ent ao existe uma vizinhanca U de x tal que U A =
x U A
c
isto e A
c
e aberto A e fechado.
2. Como A e fechado, pelo tem anterior A = A.
Teorema 1.3. Seja
_
X, T
_
e A X; ent ao A e o menor conjunto fechado que contem A, isto
e:
A =
_
F / A F e F e fechado
_
.
20 CAP
A =
_
_
U / U A e U e aberto
_
.
Prova :
()
A e aberto e
A A; ent ao
A
_
U
_
.
() Seja x
_
U
_
, ent ao existe pelo menos um U tal que x U A, isto e x
A.
Proposi c ao 1.4. Sejam
_
X, T
_
e A X.
1. A = A A
A.
2.
A =
_
A
c
_
c
. Em particular, A e aberto se, e somente se A =
A.
Prova :
1. Por denic ao A
A. Reciprocamente,
seja x A. Se x A est a provado. Se x / A, ent ao toda vizinhanca U de x e tal
que
_
U {x}
_
A = , isto e, x A
.
2. Se U A, ent ao A
c
U
c
e os conjuntos abertos U A s ao exatamente os com-
plementares dos conjuntos F fechados tais que A
c
F. Pelo teorema anterior:
A =
_
_
U / U Ae U e aberto
_
=
_
_
F
c
/ A
c
F e F e fechado
_
=
_
_
F
c
/ A
c
F e F e fechado
_
_
c
=
_
A
c
_
c
.
1.7. PONTOS E CONJUNTOS NOT
AVEIS 21
Exemplo 1.11.
[1] Seja
_
X, T
sier
_
; ent ao:
{b} = ,
= e {a}
= X e {x}
= {x}
c
e A = X.
[3] Seja
_
X, T
dis
_
; ent ao:
Para todo A X temos que:
A = A, A = A, A
= e A =
[4] Seja
_
X, T
cof
_
; ent ao:
Para todo A / T
cof
temos que
= X e se A e nito, A
A = e A = A
= A = R.
[7] Seja
_
X, T
ind
_
; para todo A X tal que A = X, temos que A = X.
[8] Seja
_
X, T
dis
_
; para todo A X temos que A = .
Proposi c ao 1.5. S ao equivalentes as seguintes condi c oes:
1. A e denso em X.
2. Se F e fechado e A F, ent ao F = X.
3. Todo aberto b asico n ao vazio de X cont em elementos de A.
4.
A
c
= .
Prova :
1) 2) Se A F, ent ao X = A F = F, logo F = X.
2) 3) Seja U aberto b asico n ao vazio tal que U A = ; ent ao A U
c
= X, o que e
uma contradic ao pois U
c
e fechado.
3) 4) Suponha que Int A
c
= ; como Int A
c
e aberto, ent ao existe U aberto b asico
n ao vazio tal que U Int A
c
; como Int A
c
A
c
, U A
c
e U A = ; logo U n ao
cont em pontos de A.
4) 1)
_
A
_
c
=
_
_
A
c
_
c
_
c
=
A
c
= . Logo, A = X.
Seja Y subespaco de X e denotemos por A
Y
o conjunto A como subconjunto de Y ;
ent ao:
1.
A
Y
=
A Y .
22 CAP
Y
= A
Y .
Exemplo 1.12.
Seja R com a topologia usual e Y = [0, 1) (1, 3) {5} com a topologia relativa. Ent ao:
(1, 3) = (1, 3) Y ; por outro lado, (1, 3) = [1, 3] Y ; logo (1, 3) e aberto e fechado em Y .
Logo,
(1, 3)
Y
= (1, 3)
Y
= (1, 3).
[0, 1) = [0, 1] Y ; logo [0, 1) e fechado em Y . Logo,
[0, 1)
Y
= (0, 1).
1.8 Topologia M etrica
1.8.1 Espa cos M etricos
Uma importante classe de exemplos de espacos topol ogicos e a dos espacos m etricos.
Seja M = .
Deni c ao 1.8. Uma m etrica ou dist ancia sobre M e uma fun c ao:
d : M M R,
tal que, para todo x, y, z M, tem-se:
1. d(x, y) 0 e d(x, y) = 0 se, e somente se x = y.
2. d(x, y) = d(y, x).
3. Desigualdade triangular: d(x, z) d(x, y) +d(y, z).
O par (M, d) e chamado espa co m etrico.
Exemplo 1.13.
[1] (M, d) e um espaco m etrico com a m etrica:
d(x, y) =
_
0 se x = y
1 se x = y.
d e dita m etrica discreta.
[3] (R, d) e uma espaco m etrico com d(x, y) = |x y|, onde | | e o valor absoluto em
R.
[3] R
n
como espa co m etrico. EmR
n
podemos denir as seguintes m etricas:
1.8. TOPOLOGIA M
ETRICA 23
d
1
(x, y) =
_
n
i=1
(x
i
y
i
)
2
,
d
2
(x, y) =
n
i=1
|x
i
y
i
|,
d
3
(x, y) = max
1in
|x
i
y
i
|,
onde x = (x
1
, x
2
, . . . , x
n
) e y = (y
1
, y
2
, . . . , y
n
) R
n
. As provas que d
1
e d
2
s ao m etricas
s ao imediatas. Por outro lado, a desigualdade triangular para d
3
segue de:
|x
i
z
i
| |x
i
y
i
| +|y
i
z
i
| d
3
(x, y) +d
3
(y, z).
[4] Seja B(M, R) o conjunto de todas as func oes limitadas f : M R. Como a soma
e a diferenca de func oes limitadas e limitada, ent ao:
d(f, g) = sup
xM
|f(x) g(x)|,
e uma m etrica emB(M, R). A unica propriedade n ao trivial e a desiguldade triangular.
Seja x M, utilizando a desigualdade triangular em (R, | |). Para todo x M temos:
|f(x) h(x)| |f(x) g(x)| +|g(x) h(x)|, ent ao:
|f(x) h(x)| |f(x) g(x)| +|g(x) h(x)|
sup
xM
|f(x) g(x)| + sup
xM
|g(x) ghx)|
d(f, g) +d(g, h).
Considerando o supremo em ambos os lados na ultima desigualdade, temos que:
d(f, h) d(f, g) +d(g, h).
Pois, o lado direito da desiguldade n ao depende de x M.
Deni c ao 1.9. Sejam (M
1
, d
1
) e (M
2
, d
2
) espa cos m ericos. f : M
1
M
2
e uma isometria se
e bijetiva e:
d
2
(f(x), f(y)) = d
1
(x, y),
para todo x, y M
1
.
Exemplo 1.14.
[1] Seja R com a dist ancia usual e f : R R denida por f(x) = x/2. A func ao f e
bijetiva, por outro lado:
|f(x) f(y)| = 1/2 |x y|.
Logo, n ao e uma isometria.
[2] Sejam (R
n
, d
1
), a R
n
e T
a
: R
n
R
n
denida por T
a
(v) = v + a, ent ao f e uma
isometria.
24 CAP
_
n
i=1
((x
i
a
i
) (y
i
a
i
))
2
=
_
n
i=1
(x
i
y
i
)
2
= d
1
(x, y).
Se mudamos para as outras m etricas de R
n
, f e isometria?
1.8.2 Conjuntos Abertos e Fechados em Espa cos M etricos
Seja (M, d) um espaco m etrico e r R tal que r > 0.
Deni c ao 1.10. Uma bola aberta em M de centro x
0
e raio r e denotada e denida por:
B(x
0
, r) = {x M / d(x, x
0
) < r}.
Denimos B(x, 0) = . Se r s, ent ao B(x
0
, r) B(x
0
, s).
Exemplo 1.15.
[1] Seja M = R, com d = | |; ent ao:
B(x
0
, r) = (x
0
r, x
0
+r);
isto e, as bolas abertas s ao os intervalos abertos.
[2] Seja M = R, com d
1
; ent ao:
B((x
0
, y
0
), r) = {(x, y) / (x x
0
)
2
+ (y y
0
)
2
< r
2
};
isto e, um disco aberto centrado em (x
0
, y
0
).
Proposi c ao 1.6. As bolas abertas num espa co m etrico formam uma base para uma topologia
no espa co m etrico.
Prova : 1. Claramente: M =
_
xM
B(x, 1).
2. Seja z B(x, r
x
) B(y, r
y
); seja r = min{r
x
d(x, z), r
y
d(y, z)}; ent ao
B(z, r) B(x, r
x
) B(y, r
y
).
De fato, r > 0 e se w B(z, r); temos:
d(w, x) d(w, z) +d(z, x) < r +d(z, x) r
x
d(z, x) +d(z, x) = r
x
;
logo, w B(x, r
x
). De forma an aloga, w B(y, r
y
).
A topologia gerada por esta base e chamada topologia m etrica gerada pela dist ancia
d, e ser a denotada por T
d
.
1.8. TOPOLOGIA M
ETRICA 25
Deni c ao 1.11. O espa co topol ogico
_
X, T
_
e dito metriz avel se T e uma topologia m etrica.
Exemplo 1.16.
[1] Seja
_
M, d
_
, onde d e a m etrica discreta; ent ao B(x, 1/2) = {x}; logo T
d
e a topologia
discreta.
[2] Se X possui mais de 2 pontos,
_
X, T
ind
_
n ao e metriz avel.
Proposi c ao 1.7. Sejam (M, d) um espa co m etrico, y
0
M e = A M. Denamos a
dist ancia entre o ponto y
0
e o conjunto A por:
d(y
0
, A) = inf{d(y
0
, x) / x A}.
Ent ao, d(y, A) = 0 se, e somente se y A. Logo,
A = {y / d(y, A) = 0}.
Prova : Se y A se, e somente se existe B(y, r) tal que B(y, r) A = se, e somente se
existe a
r
A tal que d(y, a
r
) < r se, e somente se existe d(y, A) = 0.
1.8.3 Espa cos Vetoriais Normados
Seja V umR-espaco vetorial.
Deni c ao 1.12. Uma norma sobre V e uma fun c ao:
: V V R,
tal que, para todo x, y V e R, tem-se:
1. Se x = 0, ent ao x = 0.
2. x = || x.
3. x +y x +y.
O par (E, ) e chamado espaco vetorial normado.
26 CAP
_
n
i=1
x
2
i
,
x
2
=
n
i=1
|x
i
|,
x
3
= max
1in
|x
i
|,
onde x = (x
1
, x
2
, . . . , x
n
) R
n
.
[2] B(M, R) e um espaco vetorial, sendo:
f = sup
xM
|f(x)|,
uma norma em B(M, R).
Seja (E, ) um espaco vetorial normado. Denindo:
d
(x, y) = x y,
temos que (E, d
) e um espaco m etrico. d
< x, x >,
temos que (E,
V (I
) = V
_
_
2. Denimos sobre Spec(A) a topologia de Zariski, como a topologia que tem como
conjuntos fechados os V (I).
3. Se denotamos por D(I) = Spec(A) V (I) os abertos da topologia de Zariski, e
possvel provar que se I e um ideal principal, a base para a topologia de Zariski
e:
B = {D(I) / I e um ideal principal}.
1.10. EXERC
ICIOS 29
1.10 Exerc cios
1. Quantas topologias podem ser denidas no conjunto X = {a, b, c}?
2. Verique que N junto ` a famlia:
T
n
= {, N, A
n
/ n N},
onde:
A
n
= {1, 2, 3, . . . , n}
e uma topologia emN.
3. Seja
_
X, T
_
. Se para todo x X, {x} T, verique que T = T
dis
.
4. Seja
_
X, T
_
e Y = X {a}, a / X. Dena:
T(Y ) = {U {a} / U T}.
_
Y, T(Y )
_
e um espaco topol ogico?
5. Seja X com a topologia conita. Verique que os fechados de X s ao X, e os
subconjuntos nitos de X.
6. Ache exemplo de um espaco topol ogico em que os conjuntos abertos s ao tamb em
conjuntos fechados. N ao considere a topologia discreta ou a indiscreta.
7. SejamT
1
e T
2
duas topologias sobre o conjunto n ao vazio X. Considere:
(a) T
1
T
2
a famlia formada por abertos comuns a ambas as topologias.
(b) T
1
T
2
a famlia formada pela reuni ao dos abertos a ambas as topologias.
As famlias denidas s ao topologias sobre X? No caso negativo, ache um contra-
exemplo.
8. Seja X = R e a, b R tal que a < b. Verique que:
B = {[a, b)}
gera a topologia chamada do limite inferior emR e e denotada por T
linf
.
9. Seja X = R e a, b Q tal que a < b. Ent ao:
B = {(a, b)}
gera a topologia usual de R?
10. Sejam
_
X, T
1
_
e
_
Y, T
2
_
espacos topol ogicos. Verique que:
B = {U V / U T
1
, V T
2
}
e uma base para uma topologia de X Y . Esta topologia e chamada produto.
30 CAP
_
b
a
|f(x) g(x)|
2
dx
Verique que d
1
e d
2
s ao m etricas em C
0
_
[a, b]
_
.
1.10. EXERC
ICIOS 31
20. Determine a topologia denida pela m etrica discreta.
21. Determine, geometricamente, as bolas abertas em R
n
com as m etricas denidas
anteriormente.
22. Seja (M, d) um espaco m etrico:
(a) Seja r > 0 e:
B[x
0
, r] = {x M / d(x, x
0
) r}.
Verique que B[x
0
, r] e um conjunto fechado.
(b) Seja F M nito. Verique que F e fechado.
23. Seja (M, d) um espaco m etrico. Dena:
d
1
= k d, d
2
= d +k e d
3
= d/k,
onde k R {0}.
(a) Verique se d
1
, d
2
e d
3
s ao m etricas.
(b) Verique se d
1
, d
2
e d
3
geram a mesma topologia.
24. Seja (M, d) um espaco m etrico. Dena:
d
1
(x, y) =
d(x, y)
1 +d(x, y)
.
(a) Verique d
1
e uma m etrica.
(b) Verique que d
1
e d geram a mesma topologia.
25. Se f e uma isometria, ent ao f
1
e uma isometria?
26. Sejam
_
M, d
1
_
e
_
N, d
2
_
espacos m etricos. Denamos em M N:
d((x
1
, y
1
), (x
2
, y
2
)) = d
1
(x
1
, x
2
) +d
2
(y
1
, y
2
),
onde (x
1
, y
1
), (x
2
, y
2
) M N. Verique que:
27. d e uma m etrica em M N. Esta m etrica e dita m etrica produto.
28. Se B
1
(x, r) e uma bola aberta em M e B
2
(y, s) e uma bola aberta em N, ent ao:
B = {B
1
(x, r) B
2
(y, s)},
e uma base para uma topologia em M N.
29. Sejam x =
_
x
n
_
nN
uma seq u encia emR e:
(a) l
p
= {x/
n=1
|x
n
|
p
< +}, 1 p < +.
(b) l
= {x/ sup{x
n
/ n N} < +}.
32 CAP
, respectivamente:
x
p
=
_
n=1
|x
n
|
p
_
1/p
x
= sup
nN
{|x
n
|}.
Verique que
_
l
p
,
p
_
e
_
l
_
s ao espacos vetoriais normados.
30. Sejam
_
E,
1
_
e
_
F,
2
_
espacos vetoriais normados. Denamos em E F:
(u, v) = u
1
+v
2
,
onde (u, v) E F. Verique que e uma norma em E F. Esta norma e dita
norma produto.
31. Sejam x =
_
x
n
_
nN
uma seq u encia em R e considere l
p
e l
como no exerccio
[29]:
32. Verique se
_
l
p
,
p
_
e
_
l
_
s ao espacos vetoriais com produto interno.
33. Sejam V
1
e V
2
espacos vetoriais com produtos internos < , >
1
e < , >
2
, respecti-
vamente. Denamos em V
1
V
2
:
< (u
1
, v
1
), (u
2
, v
2
) >=< u
1
, u
2
>
1
+ < v
1
, v
2
>
2
,
onde (u
1
, v
1
), (u
2
, v
2
) V
1
V
2
. Verique que < , > e um produto interno em
V
1
V
2
.
Captulo 2
FUNC
OES EM ESPAC OS
TOPOL
OGICOS
2.1 Fun c oes Contnuas
A continuidade de uma func ao e um dos conceitos centrais em quase todas as areas da
Matem atica. E e o primeiro passo para tentar distinguir objetos diferentes em Topolo-
gia.
Sejam
_
X, T
1
_
e
_
Y, T
2
_
espacos topol ogicos.
Deni c ao 2.1. A fun c ao f : X Y e contnua se para todo V T
2
temos que:
f
1
_
V
_
T
1
.
f e contnua se a imagem inversa dos abertos de Y s ao abertos em X.
Uma func ao contnua n ao leva, necessariamente, abertos em abertos. Por exemplo se
_
Y, T
2
_
e tal que T
2
n ao e a topologia discreta, ou se Y tem mais de dois elementos e T
2
n ao e a topologia indiscreta.
Exemplo 2.1.
[1] Toda func ao constante e contnua. De fato, seja f : X Y tal que f(x) = y
0
para
todo x X e V Y aberto, ent ao:
f
1
_
V
_
=
_
X se y
0
V
se y
0
/ V.
Em ambos os casos f
1
_
V
_
e aberto, logo f contnua.
[2] Seja X tal que T
1
e T
2
s ao topologias em X. A func ao identidade:
id :
_
X, T
1
_
_
X, T
2
_
e contnua se, e somente se T
2
T
1
. De fato, considere X =
_
R, T
us
_
e Y =
_
R, T
linf
_
,
ent ao:
id
1
_
[a, b)
_
= [a, b) / T
us
.
33
34 CAP
ITULO 2. FUNC
OES EM ESPAC OS TOPOL
OGICOS
[3] Sejam
_
X, T
_
e
_
Y, T
ind
_
. Toda func ao
f : X Y
e contnua.
[4] Sejam
_
X, T
dis
_
e
_
Y, T
_
. Toda func ao
f : X Y
e contnua.
Seja Y X. A topologia relativa T
Y
pode ser caracterizada como a menor topologia
sobre Y tal que a func ao inclus ao:
i : Y X
e contnua. De fato, se U T, a continuidade de i implica em que i
1
_
U
_
= U Y deve
ser aberto em Y ; logo qualquer topologia onde i for contnua deve conter T
Y
.
Proposi c ao 2.1. Sejam
_
X, T
1
_
,
_
Y, T
2
_
e
_
Z, T
3
_
espa cos topol ogicos.
1. Se f : X Y e g : Y Z s ao contnuas, ent ao:
g f : X Z
e contnua.
2. Se f : X Y e contnua e A X e subespa co topol ogico, ent ao:
f|
A
: A Y
e contnua.
3. Se f : X Y e contnua e f
_
X
_
Y e subespa co topol ogico, ent ao:
f : X f
_
X
_
e contnua.
Prova :
1. Segue do seguinte fato:
_
g f
_
1
= f
1
g
1
2. Note que f|
A
= f i, onde i : A X e a inclus ao; pelo tem anterior f|
A
e
contnua.
3. f
1
_
V f
_
X
__
= f
1
_
V
_
f
1
_
f
_
X
__
= f
1
_
V
_
.
Teorema 2.1. Sejam
_
X, T
1
_
e
_
Y, T
2
_
espa cos topol ogicos e f : X Y . As seguintes
condi c oes s ao equivalentes:
2.1. FUNC
OES CONT
INUAS 35
1. f e contnua.
2. Para todo F Y fechado, f
1
_
F
_
e fechado em X.
3. A imagem inversa por f de qualquer elemento da base (subbase) de Y e aberto em X (n ao
necessariamente um aberto b asico ou subb asico de X).
4. Para todo x X e para toda W vizinhan ca de f(x) em Y , existe U vizinhan ca de x em
X tal que:
f
_
U
_
W.
5. f
_
A
_
f
_
A
_
, para todo A X.
6. f
1
_
B
_
f
1
_
B
_
, para todo B Y .
Prova :
1) 2) De fato, f
1
_
Y A
_
= X f
1
_
A
_
, para todo A Y .
1) 3) Seja B uma base da topologia de Y e B B; como f e contnua, f
1
_
B
_
e
aberto em X. A prova da recproca segue de que todo aberto V T
2
pode ser escrito
como:
V =
_
,
e que:
f
1
_
_
_
=
_
f
1
_
B
_
.
1) 4) Como f contnua e W e aberto ( e vizinhanca de f(x)), consideramos o con-
junto U = f
1
_
W
_
que e vizinhanca de x e:
f
_
U
_
W.
4) 5) Seja A X e x A; provaremos que f(x) f
_
A
_
. Denotemos por U
x
a
vizinhanca de x tal que f
_
U
x
_
W, onde W e vizinhanca de f(x). Se x A, ent ao
U
x
A = ; logo:
= f
_
U
x
A
_
f
_
U
x
_
f
_
A
_
W f
_
A
_
;
ent ao f(x) f
_
A
_
.
5) 6) Seja A = f
1
_
B
_
; ent ao:
f
_
A
_
f
_
A
_
= f
_
f
1
_
B
__
= B f
_
X
_
B.
Logo, A f
1
_
B
_
6) 2) Seja F Y fechado, ent ao:
f
1
_
F
_
f
1
_
F
_
= f
1
_
F
_
.
Logo, f
1
_
F
_
= f
1
_
F
_
e f
1
_
F
_
e fechado.
Pelo teorema, basta utilizar os abertos b asicos da topologia para estudar a continui-
dade de uma func ao. A func ao f e dita contnua no ponto x
0
X se o item [4] do
teorema anterior vale para x
0
.
36 CAP
ITULO 2. FUNC
OES EM ESPAC OS TOPOL
OGICOS
Exemplo 2.2.
Seja R com topologia usual. Verique que f(x) = x
2
e contnua.
Pela propiedade anterior, basta provar que f
1
_
(a, b)
_
e aberto.
Temos tr es casos:
1. Se 0 < a < b, ent ao:
f
1
_
(a, b)
_
= (
b,
a) (
a,
b).
2. Se a < 0 < b, ent ao:
f
1
_
(a, b)
_
= (
b,
b).
3. Se a < b < 0, ent ao:
f
1
_
(a, b)
_
= .
4. Nos tr es casos, os conjuntos f
1
_
(a, b)
_
s ao abertos; logo f e contnua.
O seguinte corol ario e fundamental em diversas areas e e conhecido como teorema de
colagem.
Corol ario 2.1. Seja
_
X, T
_
tal que X = A B, onde A e B s ao conjuntos fechados (abertos)
em X. Se f : A Y e g : B Y s ao fun c oes contnuas tais que f(x) = g(x) para todo
x A B, ent ao a fun c ao h : X Y denida por:
h(x) =
_
f(x) se x A
g(x) se x B
e contnua.
Prova : Seja F Y fechado; ent ao:
h
1
_
F
_
= h
1
_
F)
_
A B
_
=
_
f
1
_
F
_
A
_
_
g
1
_
F
_
B
_
= f
1
_
F
_
g
1
_
F
_
.
Como f
1
_
F
_
e g
1
_
F
_
s ao fechados, ent ao h contnua.
Exemplo 2.3.
Seja R com a topologia usual e
f(x) =
_
x se 0 x 1
2 x se 1 x 2.
Logo, f e contnua.
2.2. CONTINUIDADE EM ESPAC OS M
ETRICOS 37
Proposi c ao 2.2. Seja
_
X, T
_
. Ent ao f : X R e contnua se, e somente se para todo b R
ambos os conjuntos:
{x/ f(x) > b} e {x/ f(x) < b}
s ao abertos.
Prova : Seja
_
R, T
us
_
. Consideramos (b, +) e (, b) elementos da subbase da topo-
logia euclidiana; logo:
f
1
_
(b, +)
_
= {x/ f(x) > b}
f
1
_
(, b)
_
= {x/ f(x) < b}.
Exemplo 2.4.
A condic ao que ambos os conjuntos sejamabertos n ao pode ser ignorada. Por exemplo,
consideremos a func ao caracterstica de A,
A
: R R n ao e contnua. De fato,
considere A = (0, 1); ent ao {x/
A
(x) < 1} n ao e aberto e todos {x/
A
(x) > b} s ao
abertos, Logo, na proposic ao ambos os conjuntos devem ser abertos.
2.2 Continuidade em Espa cos M etricos
Sejam
_
M, d
1
_
e
_
M, d
2
_
espacos m etricos; ent ao:
f : M N
e contnua em x M, se para todo > 0, existe > 0 tal que d
1
(x, y) < implica em
que d
2
(f(x), f(y)) < . Isto e:
f
_
B
1
(x, )
_
B
2
(f(x), ).
Proposi c ao 2.3. Sejam (M, d) um espa co m etrico, R com a topologia usual, y
0
M e A M.
A fun c ao f : M R denida por f(y) = d(y, A) e contnua. Veja a proposi c ao 1.7.
Prova : Sejam x, y M; ent ao, para cada a A temos d(x, a) d(x, y) +d(y, a), logo:
d(x, A) = inf{d(x, a) / a A} d(x, y) +inf{d(y, a) / a A} = d(x, y) +d(y, A).
Ent ao d(x, A) d(y, A) d(x, y). Analogamente, mudando x por y e vice-versa, obte-
mos:
|d(x, A) d(y, A)| d(x, y).
Sejam
_
V,
1
_
e
_
W,
2
_
espacos vetoriais normados de dimens ao nita, toda aplica-
c ao linear f : V W e contnua.
Sejam
_
M, d
1
_
e
_
M, d
2
_
espacos m etricos; ent ao:
f : M N
e uniformemente contnua, se para todo x, y M e > 0, existe () > 0 tal que
d
1
(x, y) < (); implica em d
2
(f(x), f(y)) < .
38 CAP
ITULO 2. FUNC
OES EM ESPAC OS TOPOL
OGICOS
Uniformemente contnua implica contnua. A reciproca e falsa, basta considerar:
f : (0, +) (0, +)
denida por f(x) = 1/x e contnua e n ao uniformemente contnua. A func ao f(y) =
d(y, A) e uniformemente contnua.
Sejam
_
V,
1
_
e
_
W,
2
_
espacos vetoriais normados de dimens ao nita. Toda aplicac ao
linear f : V W e uniformemente contnua.
2.3 Topologia Inicial
Sejam
_
Y, T
2
_
, X um conjunto n ao vazio e f : X Y uma func ao.
E possvel achar
uma topologia para X tal que f seja contnua? Por exemplo se
_
X, T
dis
_
, ent ao f e
contnua.
Seja X um conjunto n ao vazio e:
S
f
= {f
1
_
V
_
/ V T
2
}.
S
f
e uma subbase para uma topologia T(f) sobre X que torna f contnua.
Deni c ao 2.2. T(f) e dita topologia inicial para f.
2.3.1 Topologia Produto
Sejam
_
X, T
1
_
,
_
Y, T
2
_
e X Y . Denotemos por:
pr
1
: X Y X
pr
2
: X Y Y
as respectivas projec oes can onicas, onde pr
1
(x, y) = x e pr
2
(x, y) = y.
pr
1
1
_
U
_
= U Y,
pr
1
2
_
V
_
= X V,
pr
1
1
_
U
_
pr
1
2
_
V
_
= U V.
Note que:
S
pr
= {pr
1
1
_
U
_
, pr
1
2
_
V
_
/ U T
1
, V T
2
} e
B
pr
= {U V / U T
1
, V T
2
}
s ao a subbase e a base que geram uma topologia sobre X Y , que torna as projec oes
contnuas. Esta topologia e dita topologia produto.
Esta e a menor topologia com esta propriedade. Isto e, W X Y e aberto se para
todo x W existe U V , U aberto em X e V aberto em Y tal que x U V W.
2.3. TOPOLOGIA INICIAL 39
U
X x V
U x Y
U x V
V
Figura 2.1: Elementos de Se B.
Observa c ao 2.1.
Todos os argumentos desta sec ao s ao v alidos para uma quantidade nita de espacos
topol ogicos.
Exemplo 2.5.
[1] R
n
= R R . . . R tem a topologia produto induzida pela topologia de R. Se
consideramos em R a topologia usual, ent ao a topologia em R
n
tamb em e a topologia
euclidiana ou usual.
[2] S
n
R
n+1
e um conjunto fechado. De fato, seja R
n
com topologia usual e conside-
remos a func ao f : R
n+1
R denida por:
f(x
1
, x
2
, . . . , x
n
, x
n+1
) = x
2
1
+x
2
2
+. . . +x
2
n
+x
2
n+1
1.
f e contnua e S
n
= f
1
_
{0}
_
; logo, S
n
e fechado.
[3] O cilindro S
1
R tem a topologia produto induzida pela topologia de R
3
.
4. Seja S
1
com a topologia induzida de R
2
; ent ao T
2
= S
1
S
1
com a topologia produto,
e dito toro.
Figura 2.2: O toro T
2
= S
1
S
1
Proposi c ao 2.4. Sejam
_
X, T
1
_
,
_
Y, T
2
_
,
_
Z, T
3
_
espa cos topol ogicos,
_
Y Z, T
p
_
espa co
topol ogico produto, f
1
: X Y e f
2
: X Z e denamos:
f : X Y Z
por f(x) = (f
1
(x), f
2
(x)). Ent ao, f e contnua se, e somente se f
1
e f
2
s ao contnuas.
40 CAP
ITULO 2. FUNC
OES EM ESPAC OS TOPOL
OGICOS
Prova : Sejam pr
1
: Y Z Y e pr
2
: Y Z Z as respectivas projec oes. Como
f
i
= pr
i
f, se f e contnua, ent ao f
i
= pr
i
f s ao contnuas (i = 1, 2).
Reciprocamente, se as f
i
s ao contnuas, seja U V um aberto b asico de Y Z; ent ao:
f
1
_
U V
_
= f
1
1
_
U
_
f
1
2
_
V
_
;
logo, f e contnua.
Proposi c ao 2.5. Sejam
_
X, T
1
_
,
_
Y, T
2
_
,
_
Z, T
3
_
,
_
H, T
4
_
espa cos topol ogicos,
_
X Y, T
p
_
,
_
Z H, T
p
_
espa cos topol ogicos produto, f
1
: X Z e f
2
: Y H. Denamos:
f
1
f
2
: X Y Z H
por (f
1
f
2
)(x, y) = (f
1
(x), f
2
(y)). Se f
1
e f
2
s ao contnuas, ent ao f
1
f
2
e contnua.
Prova : Sejam pr
1
: X Y X e pr
2
: X Y Y as respectivas projec oes. Como:
f
1
pr
1
: X Y Z
f
2
pr
2
: X Y H
s ao contnuas, ent ao f
1
f
2
e contnua.
Proposi c ao 2.6. Sejam
_
X, T
1
_
um espa co topol ogico e
_
E,
_
um R-espa co vetorial nor-
mado. Como E possui uma estrutura alg ebrica, dadas f, g : X E podemos denir a nova
fun c ao:
f +g :X E
x
_
f +g
_
(x) = f(x) +g(x).
Se f e g s ao contnuas, ent ao f +g e contnua.
Prova : Sejam h : X E E tal que h(x) = (f(x), g(x)) e S : E E E tal que
S(v
1
, v
2
) = v
1
+v
2
; a func ao S e contnua. Ent ao f +g = S h, e contnua.
Proposi c ao 2.7. Sejam f : X E e : X R e denamos a nova fun c ao:
f :X E
x
_
f)(x) = (x) f(x)).
Se f e s ao contnuas, ent ao f e contnua.
Prova : Sejam h : X R E tal que h(x) = ((x), f(x)) e m : R E E tal que
m(, v) = v; a func ao m e contnua. Ent ao f = m h, e contnua.
Observa c ao 2.2.
A prova de que S e m s ao contnuas segue do fato de serem ambas contrac oes. Veja
[EL2].
2.4. FUNC
OES ABERTAS E FECHADAS 41
2.4 Fun c oes Abertas e Fechadas
Sejam
_
X, T
1
_
e
_
Y, T
2
_
espacos topol ogicos.
Deni c ao 2.3. A fun c ao:
f : X Y,
e aberta (fechada) se para todo U aberto (fechado) em X, temos que f
_
U
_
e aberto (fechado)
em Y .
Observamos que se f for aberta, n ao necessariamente f e contnua. Veja os seguintes
exemplos.
Exemplo 2.6.
[1] A func ao identidade:
id :
_
X, T
1
_
_
X, T
2
_
e aberta (fechada) se, e somente se T
1
T
2
, mas n ao e contnua quando T
1
= T
2
.
[2] As projec oes de um espaco produto s ao abertas.
[3] As projec oes n ao s ao fechadas. Por exemplo, seja R com a topologia usual e consi-
dere as projec oes pr
i
: R
2
R, (i = 1, 2) e o conjunto:
H = {(x, y) R
2
/ xy = 1}.
Figura 2.3: H e a projec ao R {0}
H e fechado emR
2
e pr
i
(H) = R {0}, que e aberto.
[4] Se X = {a, b} com a topologia discreta, ent ao f : X R denida por f(a) = 0 e
f(b) = 1 e contnua, fechada e n ao aberta.
Seja f : X Y bijetiva. Ent ao f e aberta se, e somente se f e fechada. De fato. Seja
U X aberto; logo U
c
= F e fechado e
f(F) = f(X U) = Y f(U);
logo, f e fechada.
42 CAP
ITULO 2. FUNC
OES EM ESPAC OS TOPOL
OGICOS
Proposi c ao 2.8. Seja f : X Y . S ao equivalentes as condi c oes:
1. f e aberta.
2. f(
A)
_
f(A)
_
, para todo A X.
3. f leva abertos b asicos de X em abertos b asicos de Y
4. Para todo x X e toda U X vizinhan ca de x, existe W Y tal que:
f(x) W f(U).
Prova :
1) 2)
A A; ent ao f(
A) e aberto e
_
f(A)
_
e o maior
aberto contido em f(A); logo f(
A)
_
f(A)
_
.
2) 3) Seja U aberto b asico de X;
U = U; ent ao:
f(U) = f(
U)
_
f(A)
_
f(U);
logo, f(U) e aberto b asico.
3) 4) Para cada x X, seja U vizinhanca de x; existe V aberto b asico tal que
x V U. Considere W = f(V ).
4) 1) Seja U X aberto; para todo y f(U) existe vizinhanca W
y
de y tal que
W
y
f(U); logo:
f(U) =
_
yf(U)
W
y
;
ent ao, f e aberta.
Proposi c ao 2.9. f : X Y e fechada se, e somente se f(A) f(A).
Prova : Se f e fechada, ent ao f(A) e fechado e f(A) f(A), logo:
f(A) f(A) = f(A).
Reciprocamente, seja F X fechado; logo:
f(F) f(F) f(F) = f(F);
ent ao, f(F) = f(F) e f(F) e fechado.
2.5. EXERC
ICIOS 43
2.5 Exerc cios
1. Sejam X = {1, 2, 3, 4, 5} e Y = {a, b} com as seguintes topologias:
(a) T
1
= {, X, {1}, {3, 4}, {1, 3, 4}} e T
2
= {, Y, {a}}, respectivamente. Ache
todas as func oes contnuas entre X e Y .
(b) T
1
= {, X, {2}, {3, 4}, {2, 3, 4}} e T
2
= {, Y, {b}}, respectivamente. Ache
todas as func oes contnuas entre Y e X.
2. Seja X = {1/n/ n N} R com a topologia induzida pela topologia usual de R.
A func ao:
f :X
_
R, T
us
_
1/n (1)
n
n
e contnua?
3. Seja R com a topologia usual, as func os denidas por:
(a) f(x) =
_
x
2
se x 0
x
3
se x 0
(b) f(x) =
_
x
2
+ 4 se 4 x 0
x 3 se 0 x 4
s ao contnuas?
4. Verique que a func ao f(y) = d(y, A) e uniformemente contnua.
5. Sejam
_
X, T
1
_
,
_
Y, T
2
_
e
_
Z, T
3
_
espacos topol ogicos. Considere f : X Y e
f : Y Z:
(a) Se f e g s ao abertas (fechadas), en ao g f e aberta (fechada).
(b) Se g f e aberta (fechada) e f e contnua e sobrejetiva, ent ao g e aberta
(fechada)?
(c) Se gf e aberta (fechada) e g e contnua e injetiva, ent ao f e aberta (fechada)?
6. Verique que s ao equivalentes:
(a) f e fechada.
44 CAP
ITULO 2. FUNC
OES EM ESPAC OS TOPOL
OGICOS
(b) Se U T
1
, ent ao {y Y / f
1
(y) U} T
2
.
(c) Se F X e fechado, ent ao {y Y / f
1
(y) F = } e fechado em Y .
7. Toda func ao f :
_
R, T
cof
_
_
R, T
us
_
e fechada? Justique sua resposta.
8. Toda func ao f :
_
R, T
cof
_
_
R, T
cof
_
e aberta e fechada? Justique sua res-
posta.
9. Sejam X, Y espacos topol ogicos e f : X Y uma func ao; considere
f
_
X
_
= {f(x) / x X} Y.
Verique que f : X Y e contnua se, e somente se f : X f
_
X
_
e contnua.
10. SejamR e R
2
, com a topologia usual. Verique que f, g : R
2
R denidas por
f(x, y) = x +y e g(x, y) = x y s ao contnuas.
11. Se X =
_
, onde U
= Y.
A composta de homeomorsmos e um homeomorsmo. Ser homeomorfo e uma re-
lac ao de equival encia na famlia dos espacos topol ogicos.
Veremos nos pr oximos par agrafos que os espacos topol ogicos homeomorfos possuem
as mesmas propriedades topol ogicas. Isto e, se consideramos as classes de equival en-
cia, teremos que espacos homeomorfos s ao essencialmente iguais em topologia.
Uma func ao bijetiva e contnua n ao e necessariamente um homeomorsmo. Veja o
seguinte exemplo.
Exemplo 3.1.
Sejam S
1
R
2
e [0, 2 ) R com as respectivas topologias induzidas pelas topologias
usuais. Denamos:
f : [0,2 ) S
1
t (cos(t), sen(t)).
f e contnua e bijetiva. Por outro lado,
f
1
: S
1
[0, 2 )
45
46 CAP
ITULO 3. HOMEOMORFISMOS
e descontnua em p = (1, 0). De fato:
Seja = ; para cada n N, seja t
n
= 2
1
n
[0, 2 ) e z
n
= f(t
n
), logo z
n
p <
1
n
,
pois o arco t
n
e maior que a corda.
t
z
n
n
p
Figura 3.1:
Ent ao f
1
(z
n
) = t
n
e |f
1
(z
n
) f
1
(p)| = |t
n
| = 2
1
n
> = , para todo n N. Logo,
f e uma bijec ao contnua que n ao e um homeomorsmo.
A seguir apresentaremos os primeiros exemplos de homeomorsmos. Alguns detalhes
ser ao deixados para o leitor.
Exemplo 3.2.
[1] Seja R com a topologia usual. Ent ao, todo intervalo aberto (a, b), com a topologia
induzida pela topologia usual de R, e homeomorfo a R. De fato:
Seja f : (a, b) (1, 1) denida por:
f(t) =
2 t (b +a)
b a
,
f e bijetiva, contnua e sua inversa:
f
1
(y) =
(b a) y + (a +b)
2
,
tamb em e contnua. Logo, (a, b)
= (a, b).
3.1. INTRODUC
AO 47
[2] Seja R
n
com a topologia usual e H = {(x
1
, x
2
, . . . , x
n
) R
n
/ x
n
= 0} R
n
. Ent ao
H
= R
n1
.
Denamos f : H R
n1
por:
f(x
1
, x
2
, . . . , x
n1
, 0) = (x
1
, x
2
, . . . , x
n1
).
Ent ao, f e contnua e bijetiva. Denamos f
1
: R
n1
H por
f
1
(x
1
, x
2
, . . . , x
n1
) = (x
1
, x
2
, . . . , x
n1
, 0).
Ent ao, f
1
e contnua. Logo:
H
= R
n1
.
[3] Seja
_
E,
_
um espaco vetorial normado; ent ao:
As translac oes :
T
a
: E E
v v +a
a E, s ao homeomorsmos.
As homotetias:
h
: E E
v v
R {0}, s ao homeomorsmos.
Para todo r > 0 e todo v E:
E
= B(v, r).
De fato:
T
a
s ao bijetivas, contnuas e as inversas T
1
a
= T
a
, que s ao contnuas.
h
= h
1, que s ao contnuas.
Denimos o homeomorsmo : E E por:
(x) =
_
T
w
h
s/r
T
v
_
(x) = s/r (x v) +w.
Note que (v) = w e
B(v,r)
e um homeomorsmo tal que
_
B(v, r)
_
= B(w, s). Ent ao:
B(v, r)
= B(w, s)
para todo v, w E e r, s > 0. Agora denamos f : E B(v, 1) por:
f(u) =
u
1 +u
que e contnua e bijetiva com inversa contnua:
f
1
(w) =
w
1 w
;
48 CAP
ITULO 3. HOMEOMORFISMOS
logo, f e um homeomorsmo.
Pela transitividade do homeomorsmo, temos que:
E
= B(v, r).
[3] SejamR
2n
e C
n
ambos com a topologia usual. Ent ao:
R
2n
= C
n
,
para todo n 1.
Se z C, z = x + i y, onde x, y R. Por outro lado, C
n
= C C . . . C (n-vezes) e
R
2n
= R R . . . R (2n-vezes). Denamos:
f :C C . . . C R R . . . R R
(z
1
, z
2
, . . . , z
n
) (x
1
, y
1
, x
2
, y
2
, . . . , x
n
, y
n
).
f e, claramente, um homeomorsmo. Logo:
C
n
= R
2n
.
Teorema 3.1. Seja f : X Y bijetiva. S ao equivalentes as condi c oes:
1. f homeomorsmo.
2. f e contnua e aberta.
3. f e contnua e fechada.
4. f(A) = f(A), para todo A X.
Prova :
1) 2) f
1
e contnua se, e somente se para todo aberto U X:
_
f
1
(U)
_
1
= f(U)
e aberto em Y .
2) 3) Segue do par agrafo anterior.
3) 4) Como f e contnua, f(A) f(A); como f e fechada, f(A) f(A).
Corol ario 3.1. Seja f : X Y . O gr aco de f e denido por:
G(f) = {(x, f(x)) / x X} X Y.
Considere G(f) com a topologia induzida pela topologia produto. Ent ao f e contnua se, e
somente se X
= G(f).
Prova : De fato, denamos h : X X Y por h(x) = (x, f(x)) que e contnua; ent ao
h : X G(f) e bijetiva e contnua. Por outro lado, se U X e aberto:
h(U) = {(x, f(x)) / x U} =
_
U Y
_
G(f),
que um aberto relativo. Reciprocamente, f = pr
2
h.
Corol ario 3.2. Sejam f : X Y homeomorsmo e A X; ent ao:
1. A
= f(A).
2. X A
= Y f(A).
3.2. EXEMPLOS DE HOMEOMORFISMOS 49
3.2 Exemplos de Homeomorsmos
[1] Seja A R
2
com a topologia induzida, denido por:
A = {(x, y) R
2
/ 0 < a
_
x
2
+y
2
b}.
A e um anel; ent ao:
A
= S
1
[a, b].
Figura 3.2: O anel A
Denamos f : A S
1
[a, b] e f
1
: S
1
[a, b] A por:
f(x, y) =
_
(
x
_
x
2
+y
2
,
y
_
x
2
+y
2
),
_
x
2
+y
2
_
e f
1
((x, y), t) = (t x, t y),
claramente f e f
1
s ao bijetivas e contnuas; logo f e um homeomorsmo.
[2] Sejam S
1
e o quadrado Q = {(x, y) / max{|x|, |y|} = 1} em R
2
com a topologia
induzida pela topologia usual de R
2
; ent ao:
S
1
= Q.
d
c
z
w
u
v
b a
Figura 3.3: Homeomorsmo entre S
1
e Q
Denamos f : S
1
Q levando o arco ab de S
1
no segmento uv de Q, o arco bc e S
1
no
segmento vw de Q, o arco cd e S
1
no segmento wz de Q e o arco da e S
1
no segmento
zu de Q, isto e:
f(x, y) =
_
x
m
,
y
m
_
e f
1
(x, y) =
_
x
r
,
y
r
_
,
50 CAP
ITULO 3. HOMEOMORFISMOS
onde m = max{|x|, |y|} e r =
_
x
2
+y
2
; claramente f e f
1
s ao bijetivas e contnuas;
logo f e um homeomorsmo.
De forma an aloga, temos que:
S
2
= C,
onde S
2
R
3
e C = {(x, y, z) / max{|x|, |y|, |z|} = 1} e o cubo unit ario.
Figura 3.4: Homeomorsmo entre S
2
e C
[3] Consideremos S
n
R
n+1
e o conjunto
E = {(x
1
, . . . , x
n+1
) R
n+1
/ a
2
1
x
2
1
+. . . a
2
n+1
x
2
n+1
= 1} R
n+1
,
onde a
i
R{0}, ambos com topologia induzida pela topologia usual de R
n+1
. Ent ao,
S
n
= E.
E
n
S
Figura 3.5: Homeomorsmo radial entre S
2
e E
Seja f : S
n
E denida por:
f(x
1
, . . . , x
n+1
) =
_
x
1
a
1
, . . . ,
x
n+1
a
n+1
_
.
f e bem denida, bijetiva e contnua. Denamos f
1
: E S
n
por:
f
1
(x
1
, . . . , x
n+1
) =
_
a
1
x
1
, . . . , a
n+1
x
n+1
_
.
f
1
e bem denida e contnua. Logo, S
n
e homeomorfo a E.
Ent ao, S
n
e E s ao topologicamente iguais.
3.2. EXEMPLOS DE HOMEOMORFISMOS 51
Figura 3.6: Espacos homeomorfos a S
2
[4] Consideremos R
2
{(0, 0)} R
2
com topologia induzida pela topologia usual de
R
2
e os conjuntos
H = {(x, y, z) R
3
/ x
2
+y
2
z
2
= 1}, e S
1
R,
com topologia induzida pela topologia usual de R
3
. Ent ao:
R
2
{(0, 0)}
= H
= S
1
R.
Seja f : R
2
{(0, 0) S
1
R denida por:
f(x, y) =
_
x
_
x
2
+y
2
,
y
_
x
2
+y
2
, ln(
_
x
2
+y
2
)
_
.
f e bem denida, bijetiva e contnua. Denamos f
1
: S
1
R R
2
{(0, 0) por:
f
1
(x, y, t) =
_
xe
t
, y e
t
_
.
g e bem denida, contnua e inversa de f. Logo:
R
2
{(0, 0)}
= S
1
R.
Por outro lado, denamos h : S
1
R H por:
h(x, y, t) =
_
x
1 +t
2
, y
1 +t
2
, t
_
.
h e bem denida, bijetiva e contnua. Denamos h
1
: H S
1
R por:
h
1
(x, y, z) =
_
x
1 +z
2
,
y
1 +z
2
, z
_
.
h
1
e bem denida e contnua. Logo:
H
= S
1
R.
52 CAP
ITULO 3. HOMEOMORFISMOS
Figura 3.7: H e S
1
R
[5] Seja S
n
R
n+1
com a topologia induzida pela topologia usual de R
n+1
. Conside-
remos R
n+1
= R
n
R; ent ao (x, t) S
n
se, e somente se x = 1 t
2
. Denotemos
por:
S
n
= {(x, t) S
n
/ t 0} e S
n
+
= {(x, t) S
n
/ 0 t}.
Os conjuntos S
n
e S
n
+
s ao ditos hemisf erios de S
n
. Note que
S
n
= S
n
S
n
+
e S
n
S
n
+
= E.
O conjunto E e chamado equador de S
n
; e claro que:
E
= S
n1
.
Isto e, podemos considerar S
n1
como o equador de S
n
.
Figura 3.8: S
n1
como equador de S
n
Consideremos a projec ao:
p : R
n
R R
n
(x, t) x.
Se (x, t) S
n
, (x, t) = 1, logo p(x, t) 1; ent ao p(S
n
) B[x, 1] R
n
. Via projec ao,
temos que
S
n
= B[x, 1]
= S
n
+
.
3.2. EXEMPLOS DE HOMEOMORFISMOS 53
De fato, a func ao:
q : B[x, 1] S
n
+
x (x,
_
1 x
2
)
e bem denida, contnua bijetiva e com inversa contnua p
S
n
+
.
Figura 3.9: S
n
, B[x, 1] e S
n
+
[6] Proje c ao Estereogr aca : Seja S
n
R
n+1
com a topologia induzida pela topologia
usual de R
n+1
e p = (0, 0, . . . , 0, 1), ent ao:
S
n
{p}
= R
n
.
De fato. Seja : S
n
{p} R
n
denida da seguinte forma, dado x S
n
{p};
considere a semi-reta px R
n+1
; ent ao (x) = y, onde y e a intersec ao de px com o
semi-plano denido por x
n+1
= 0, homeomorfo a R
n
:
_
px = p +t (x p), t [0, 1]
x
n+1
= 0,
logo, 1 +t (x
n+1
1) = 0 e t =
1
1 x
n+1
; ent ao:
(x) =
1
1 x
n+1
(x
1
, x
2
, . . . , x
n
).
54 CAP
ITULO 3. HOMEOMORFISMOS
p
x
z
( ) x
( ) z
Figura 3.10: Denic ao de
e bijetiva e contnua e:
1
(y) =
_
2 y
1
1 +y
2
, . . . ,
2 y
n
1 +y
2
,
y
2
1
1 +y
2
_
;
1
(y)
2
= 1 e
1
e contnua.
3.2.1 Grupos de Matrizes
Da
Algebra Linear sabemos que o conjunto formado pelas matrizes de ordem n m,
tendo como entradas elementos de K = R ou C, e um K-espaco vetorial. Fixemos
K = R; o caso complexo e an alogo. Denotemos este espaco vetorial por:
M
nm
_
R
_
.
Seja A = (a
ij
) M
nm
_
R
_
. Denamos:
: M
nm
_
R
_
R
nm
A (a
11
, a
12
, . . . , a
1n
, . . . , a
m1
, . . . , a
mn
).
e claramente um isomorsmo de espacos vetoriais. Via o isomorsmo , o espaco
M
nm
_
R
_
herda toda a estrutura linear e topol ogica de R
nm
. Utilizaremos a m etrica
usual de R
nm
para introduzir uma topologia em M
nm
_
R
_
.
De fato, dada A = (a
ij
) M
nm
_
R
_
, denamos:
A
1
= (A) =
_
n
i,j=1
a
2
ij
_
1/2
.
1
e uma norma em M
nm
_
R
_
que o torna um espaco vetorial normado. Logo, um
espaco topol ogico. Note que A
1
=
AA
t
, onde A
t
e a matriz transposta de A.
E
imediato que e bijetiva, contnua com inversa contnua. Logo:
M
nm
_
R
_
= R
nm
.
3.2. EXEMPLOS DE HOMEOMORFISMOS 55
Denotemos por M
n
_
R
_
= M
nn
_
R
_
; ent ao:
M
n
_
R
_
= R
n
2
.
Seja R com a topologia usual. A func ao:
det : M
n
_
R
_
R,
denida indutivamente:
1. Se n = 1, det((a
11
)) = a
11
.
2. Se n > 1, seja A = (a
ij
) e:
det(A) =
n
i=1
(1)
i+1
a
i1
det(A
[i,1]
),
onde 1 i, j n e A
[i,j]
e a matriz (n 1) (n 1), que se obtem omitindo a
i- esima linha e a j- esima coluna de A.
A func ao det e multilinear, logo contnua.
Seja Gl(n, R) o conjunto das matrizes invertveis de ordem n. Gl(n, R) e aberto em
M
n
_
R
_
. De fato:
Gl(n, R) = det
1
({0}
c
).
Gl(n, R) e tamb em um grupo, chamado grupo linear geral real.
Denotemos por O(n) Gl(n, R), denido por:
A O(n) AA
t
= I,
onde I e matriz identidade. Logo, A O(n) det(A) = 1. O(n) e um grupo,
chamado ortogonal.
Denotemos por SO(n) O(n) denido por:
A SO(n) det(A) = 1.
SO(n) e um grupo, chamado ortogonal especial. O(n) e SO(n) s ao fechados emM
n
_
R
_
.
De fato:
SO(n) = det
1
({1})
O(n) = det
1
({1, 1}).
O(n) e isomorfo a SO(n) {1, 1}. De fato:
f :O(n) SO(n) {1, 1}
A (A/det(A), det(A)).
f e um isomorsmo de grupos.
56 CAP
ITULO 3. HOMEOMORFISMOS
Seja K = C, denotemos por C
_
U(n) = {A Gl(n, C) / A
A = I}
SU(n) = det
1
({1}).
De forma an aloga, os grupos Gl(n, C), U(n) e SU(n) s ao ditos, linear complexo, unit ario
e especial unit ario, respectivamente.
U(n) e isomorfo a SU(n) S
1
. De fato:
f :U(n) SU(n) S
1
A (A/det(A), det(A)).
f e um isomorsmo de grupos.
3.3 Homeomorsmos Locais
Deni c ao 3.2. Seja f : X Y . f e dito homeomorsmo local se para todo x X existe
U X vizinhan ca de x tal que f(U) = V e aberto em Y e f : U V e um homeomorsmo.
Sejam U X, V Y abertos e f : U V um homeomorsmo; ent ao para todo
aberto U
x
= U
x
A. Pela observac ao anterior f(U
x
) e aberto em Y .
Como:
A =
_
xA
U
x
f(A) = f
_
_
xA
U
x
_
=
_
xA
f(U
x
)
que e aberto em Y . Logo, f e aberta.
Homeomorsmo implica homeomorsmo local. A recproca e falsa.
Exemplo 3.3.
Seja R com a topologia usual e S
1
C com a topologia induzida pela topologia usual
de C. Ent ao:
f :R S
1
x e
2ix
3.3. HOMEOMORFISMOS LOCAIS 57
e um homeomorsmo local.
1. Consideremos os seguintes subconjuntos do crculo:
S
1
= {(x, y) S
1
/ y > 0}, S
2
= {(x, y) S
1
/ y < 0}
S
3
= {(x, y) S
1
/ x > 0} e S
4
= {(x, y) S
1
/ x < 0}.
S
1
S
2
S
3
S
4
Figura 3.11:
2. Consideremos os seguintes sub-intervalos:
I
1
= (n, n + 1/2), I
2
= (n 1/2, n)
I
3
= (n 1/4, n + 1/4) e I
4
= (n + 1/4, n + 3/4), n Z.
3. Denamos: p
1
: S
1
(1, 1) por p
1
(x, y) = x.
4. A func ao p
1
e um homeomorsmo. De fato, p
1
possui a seguinte inversa contnua
q
1
(t) = (t,
1 t
2
).
5. Denotemos por f
i
= f|
I
i
. Consideremos:
p
1
f
1
: I
1
(1, 1).
Como e
2ix
= (cos(2x), sen(2x)), ent ao
_
p
1
f
1
_
(x) = cos(2x). Logo, pelas propieda-
des b asicas de Trigonometria p
1
f
1
e um homeomorsmo:
1 1.5
-1
1
Figura 3.12: Homeomorsmo p
1
f
58 CAP
ITULO 3. HOMEOMORFISMOS
6. Logo, p
1
1
_
p
1
f
1
_
: I
1
S
1
e um homeomorsmo e f
1
= p
1
1
_
p
1
f
1
_
e um
homeomorsmo.
7. Denamos: p
2
: S
2
(1, 1) por p
2
(x, y) = y.
8. A func ao p
2
e um homeomorsmo. De fato, p
2
possui a seguinte inversa contnua
q
2
(t) = (t,
1 t
2
).
9. De forma an aloga, p
1
2
_
p
2
f
2
_
: I
2
S
2
e um homeomorsmo e f
2
= p
1
2
_
p
2
f
2
_
e um homeomorsmo.
10. De forma an aloga as anteriores, verica-se que I
3
= S
3
e I
4
= S
4
.
11. Como intervalos destes tipos cobremR. Por exemplo:
R =
_
nZ
(n, n + 1/2).
Ent ao, f e um homeomorsmo local.
Este exemplo mostra (por que?) que, em geral, um homeomorsmo local n ao e home-
omorsmo. Em particular, f e uma func ao aberta (n ao fechada).
Exemplo 3.4.
De forma totalmente an aloga:
f :R
2
S
1
R
(x, y) (e
2ix
, y)
e:
f :R
2
S
1
S
1
(x, y) (e
2ix
, e
2iy
)
s ao homeomorsmos locais.
3.4. EXERC
ICIOS 59
3.4 Exerc cios
1. Sejam X {y} e {x} Y X Y . Verique que para todo y Y e para todo
x X, temos:
X {y}
= X e {x} Y
= Y.
Em particular, R
n
= R
n
{0} R
n+1
.
2. Verique que
_
R, T
us
_
n ao e homeomorfo a
_
R, T
cof
_
.
3. Sejam
_
M, d
1
_
e
_
M, d
2
_
espacos m etricos. Dizemos que as m etricas d
1
e d
2
s ao
equivalentes se id :
_
M, T
d
1
_
_
M, T
d
2
_
e um homeomorsmo.
(a) Verique que se M = R
n
, ent ao d
1
, d
2
e d
3
denidas anteriormente s ao equi-
valentes.
(b) Seja M = R
2
, d
1
, d
2
e d
3
. Utilizando as bolas, de uma explicac ao geom etrica
da equival encia destas m etricas.
4. Sejam
_
M, d
1
_
e
_
M, d
2
_
espacos m etricos. Verique se a seguinte armac ao e
verdadeira ou n ao
f : M
1
M
2
e uma isometria se, e somente se f e um homemorsmo.
5. Verique que as isometrias s ao homeomorsmos.
6. N e Q com a topologia induzida pela topologia usual de R, s ao homeomorfos?
7. Considerando R
2
com a topologia usual, verique se os seguintes subespacos s ao
homeomorfos:
(a) [0, 2] e [0, 1] [2, 3]
(b) {(x, y) R
2
/ x, y 0} e {(x, y) R
2
/ y 0}.
(c) {(x, y) R
2
/ x
2
= y} e {(x, y) R
2
/ y = x
2
}.
(d) {(x, y) R
2
/ x
3
= y} e {(x, y) R
2
/ y = x
2
}.
8. Seja
_
X, T
1
_
um espaco topol ogico e denotemos por:
G(X) = {f : X X / f e homeomorsmo}.
Verique que:
60 CAP
ITULO 3. HOMEOMORFISMOS
(a) G(X) e um grupo com a composta de func oes,
(b) Se X = [0, 1] e Y = (0, 1) com a topologia induzida pela usual de R, dena:
:G(X) G(Y )
f f
Y
e um isomorsmo de grupos? (Note que X e Y n ao s ao homeomorfos)
9. G(X) e abeliano? Caso a resposta seja negativa, quando e abeliano?
10. Ache um exemplo de um homeomorsmo local que n ao seja homeomorsmo.
11. R
2
e S
2
s ao localmente homeomorfos?
Captulo 4
TOPOLOGIA QUOCIENTE
4.1 Introdu c ao
A Topologia quociente e a fonte dos mais importantes exemplos de espacos topol o-
gicos, que constituir ao a parte central desta notas. Neste captulo introduziremos os
exemplos cl assicos na Matem atica, como a faixa de M oebius, os espacos projetivos
reais e complexos e a garrafa de Klein.
Sejam
_
X, T
_
, Y um conjunto n ao vazio e f : X Y sobrejetiva. Denamos em Y a
seguinte topologia:
T
f
= {V Y / f
1
(V ) T}.
Claramente, T
f
e uma topologia sobre Y .
Deni c ao 4.1. T
f
e dita topologia quociente em Y induzida por f.
Exemplo 4.1.
[1] Seja f : X Y constante. Determinemos T
f
.
Considere y
0
Y e suponha que f(x) = y
0
para todo x X. Seja U T
f
. Se y
0
U,
ent ao f
1
(U) = X e se y
0
/ U, ent ao f
1
(U) = . Isto e, qualquer subconjunto de Y e
aberto, logo T
f
e a topologia discreta sobre Y .
[2] Seja X = {a, b, c} e R com a topologia usual; denamos f : R X por:
f(x) =
_
_
a se x > 0
b se x < 0
c se x = 0.
Ent ao, T
f
= {X, , {a}, {b}, {a, b}} e a topologia quociente em X induzida por f.
Proposi c ao 4.1. A topologia quociente T
f
e a mais na sobre Y que torna f contnua.
Prova : De fato, sendo T
Y
outra topologia em Y e se para todo V T
Y
temos que
f
1
(V ) e aberto em X, ent ao V T
f
.
61
62 CAP
_
X, T
2
_
e uma identicac ao se, e somente se T
1
= T
2
. A composta de identicac oes e uma
identicac ao.
Exemplo 4.2.
Espa co Projetivo Real
Seja S
n
R
n+1
com a topologia induzida pela topologia usual de R
n+1
. Denamos o
conjunto dos pares n ao ordenados:
PR
n
= {{x, x} / x S
n
},
onde x e o antipodal de x. De forma natural temos a func ao sobrejetiva:
: S
n
RP
n
tal que (x) = {x, x}. O par
_
RP
n
, T
_
e dito espa co projetivo real de dimens ao n.
Faixa de M oebius
Considere o cilindro C = {(x, y, z) / x
2
+y
2
= 1, |z| 1} com a topologia induzida por
R
3
. Denamos o conjunto dos pares n ao ordenados:
M = {{c, c} / c C}.
De forma natural, temos a seguinte func ao sobrejetiva:
: C M
tal que (p) = {p, p}. O par
_
M, T
_
e dito faixa de M oebius.
Proposi c ao 4.2.
1. SejamX e Y espa cos topol ogicos, f : X Y uma fun c ao sobrejetiva, contnua e aberta
(fechada); ent ao f e uma identica c ao.
2. Sejam X e Y espa cos topol ogicos, f : X Y uma fun c ao contnua. Se existe uma
fun c ao g : Y X tal que f g = id
Y
, ent ao f e uma identica c ao.
Prova :
1. Seja T
Y
uma topologia em Y ; como f e contnua, ent ao T
Y
T
f
. Como f e
aberta, para todo U T
f
, U = f
_
f
1
(U)
_
e aberto emT
Y
; logo T
Y
= T
f
.
2. Como f g = id
Y
ent ao f e sobrejetiva. Seja A Y tal que f
1
(A) seja aberto;
ent ao A = (f g)
1
(A) = g
1
_
f
1
(A)
_
e aberto em Y ; logo f e uma identicac ao.
4.2. ESPAC OS QUOCIENTES 63
Exemplo 4.3.
[1] A func ao:
pr
1
:R
2
R
(x, y) x
e uma identicac ao. Analogamente para pr
2
(x, y) = y.
[2] A func ao:
f :R S
1
x e
2ix
e sobrejetiva, contnua e aberta; pela proposic ao [4.2] e uma identicac ao.
[3] Analogamente:
f :R
2
S
1
S
2
(x, y) (e
2ix
, e
2iy
)
e uma identicac ao.
Teorema 4.1. (Propriedade Universal da Topologia Quociente) Sejam X, Z espa cos
topol ogicos e f : X Y uma identica c ao. Ent ao, g : Y Z e contnua se, e somente se
g f e contnua.
X
gf
f
/
Y
g
.~~
~
~
~
~
~
~
~
Z
Prova : Se g e contnua e f contnua, ent ao g f e contnua. Reciprocamente, seja
W Z aberto; ent ao
_
g f
_
1
(W) e aberto em X. Como
_
g f
_
1
(W) = f
1
_
g
1
(W)
_
,
pela denic ao da topologia quociente, g
1
(W) e aberto em Y ; logo g e contnua.
4.2 Espa cos Quocientes
Func oes sobrejetivas podem ser obtidas de forma natural utilizando classes de equiva-
l encia de alguma relac ao de equival encia.
Sejam uma relac ao de equival encia sobre X e X
_
o conjunto das classes de equi-
val encia em X. Denamos:
:X X
_
x [x]
onde [x] e a classe de equival encia que cont em x; e dita projec ao can onica e e natu-
ralmente sobrejetiva.
64 CAP
_
e dito espa co quociente
de X.
A projec ao can onica:
:X X
_
x [x]
e naturalmente uma identic ao. Note que V
_
X
_
_
e aberto
1
_
V
_
= {x X / [x] V }
e aberto em X.
A seguir apresentaremos v arios exemplos de homeomorsmos, a maioria bastante in-
tuitivos. Nos pr oximos par agrafos, teremos ferramentas sucientes para provar estes
homeomorsmos. Por enquanto, caremos apenas com a parte geom etrica.
4.2.1 O Crculo como Espa co Quociente
Seja I = [0, 1] R com a topologia induzida pela topologia usual de R. Consideremos
em I a relac ao de equival encia:
x y {x, y} = {0, 1}, ou x = y.
Se x (0, 1); ent ao [x] = {x}. Se x = 0; ent ao [0] = {0, 1}. Se x = 1, ent ao [1] = {0, 1};
logo [0] = [1].
0
1
1
0
[0]=[1]
Figura 4.1: Construc ao de S
1
Logo, : I
_
I
_
_
e uma identicac ao. Note que e bijetiva salvo para x = 0 e
x = 1.
Nos pr oximos captulos, provaremos que a bijec ao:
_
I
_
= S
1
.
e um homeomorsmo.
Nos seguintes exemplos, as setas indicam o sentido dos pontos que est ao na mesma
classe de equival encia.
4.2. ESPAC OS QUOCIENTES 65
4.2.2 O Cilindro como Espa co Quociente
Seja I
2
R
2
com a topologia induzida pela topologia usual de R
2
. Consideremos em
I
2
a relac ao de equival encia:
(x, y) (x
1
, y
1
) (x, y) = (x
1
, y
1
) ou {x, x
1
} = {0, 1} e y = y
1
,
para todo (x, y), (x
1
, y
1
) I
2
Observe que se x = 0, 1, ent ao [(x, y)] = {(x, y)} e [(0, y)] = [(1, y)].
Em particular, [(0, 0)] = [(0, 1)] e [(0, 1)] = [(1, 1)]. Ent ao : I
2
_
I
2
_
_
e uma
identicac ao. Note que e bijetiva salvo para (0, y) e (1, y) e
_
I
2
_
= S
1
I.
Figura 4.2: Construc ao de S
1
I
4.2.3 A Faixa de M oebius como Espa co Quociente
Seja I
2
R
2
com a topologia induzida pela topologia usual de R
2
. Consideremos em
I
2
a relac ao de equival encia:
(x, y) (x
1
, y
1
) (x, y) = (x
1
, y
1
) ou (0, y) (1, 1 y),
para todo (x, y), (x
1
, y
1
) I
2
Observe que se x = 0, 1, ent ao [(x, y)] = {(x, y)} e [(0, y)] = [(1, 1 y)].
Em particular, [(0, 0)] = [(1, 1)] e [(0, 1)] = [(1, 0)]. Ent ao, : I
2
_
I
2
_
_
e uma
identicac ao. Note que e bijetiva salvo para (0, y) e (1, 1 y) e
_
I
2
_
= M,
onde M e a faixa de M oebius.
66 CAP
_
I
2
_
_
e uma identicac ao.
Note que e bijetiva salvo para (0, y), (1, y), (x, 0) e (x, 1) e
_
I
2
_
= S
2
.
4.2. ESPAC OS QUOCIENTES 67
Figura 4.5: Construc ao de S
2
4.2.5 O Toro como Espa co Quociente
Seja I
2
R
2
com a topologia induzida pela topologia usual de R
2
. Consideremos em
I
2
a relac ao de equival encia:
(x, y) (x
1
, y
1
) (x, y) = (x
1
, y
1
) ou (0, y) (1, y) e (x, 0) (x, 1),
para todo (x, y), (x
1
, y
1
) I
2
Observe que se x, y = 0, 1, ent ao [(x, y)] = {(x, y)} e [(0, y)] = [(1, y)] e se y = 0, ent ao
[(x, 0)] = [(x, 1)].
Em particular, [(0, 0)] = [(1, 0)] = [(0, 1)] = [(1, 1)]. Ent ao, : I
2
_
I
2
_
_
e uma
identicac ao.
Note que e bijetiva salvo para (0, y), (1, y), (x, 0) e (x, 1).
Nos pr oximos captulos, provaremos que a bijec ao:
_
I
2
_
= S
1
S
1
.
e homeomorsmo.
Figura 4.6: Construc ao do toro
As possveis vizinhancas de pontos no toro:
68 CAP
_
I
2
_
_
e uma
identicac ao.
Note que e bijetiva salvo para (0, y), (1, y), (x, 0) e (1 x, 1).
_
I
2
_
_
e chamada garrafa de Klein. Note que a garrafa de Klein cont em uma faixa de
M oebius.
4.2. ESPAC OS QUOCIENTES 69
Figura 4.9: Construc ao da Garrafa de Klein
Figura 4.10: Garrafa de Klein
4.2.7 O Cone e Suspens ao de um Conjunto
Sejam
_
X, T
_
e I = [0, 1] R com a topologia induzida pela topologia usual de R. O
cone sobre X e denotado por CX = X I
_
, onde:
(x, t) (x
, t
) t = t
= 1.
A classe de equival encia [(x, 1)] e dita v ertice de CX. Intuitivamente CX e obtido de
X I onde identicamos X {1} a um ponto. O subsepaco {[x, 0] / x X} CX e
naturalmente homeomorfo a X.
X
1
0
CX
I x X
I
Figura 4.11: O cone sobre X.
70 CAP
2
CX
Cf
CY
onde h(x, t) = (f(x), t).
Seja J = [1, 1] R com a topologia induzida pela topologia usual de R. A suspens ao
de X e denotada por SX = X J
_
, onde:
(x, t) (x
, t
) t = t
= 0 ou t = t
= 1.
Intuitivamente SX e obtido de X I onde identicamos X {1} com X {1} a um
ponto. O subsepaco {[x, t] / t 0} CX e naturalmente homeomorfo a CX.
0
-1
X x J
1
SX
Figura 4.12: Suspens ao de X.
Seja f : X Y contnua. Ent ao Sf : SX SY tal que Sf([x, t]) = [f(x), t] e
contnua.
Seja S
n
R
n+1
; ent ao:
CS
n
= B[0, 1] e
SS
n
= S
n+1
n N.
4.3. TEOREMAS 71
4.3 Teoremas
Deni c ao 4.4. Sejam f : X Y , e rela c oes de equival encia emX e Y respectivamente.
Dizemos que f preserva as rela c oes de equival encia se para todos x
1
, x
2
X tais que x
1
x
2
,
ent ao f(x
1
) f(x
2
).
Lema 4.1. Sejam f : X Y , e rela c oes de equival encias em X e Y respectivamente.
Se f e contnua e preserva as rela c oes, ent ao existe uma unica F, contnua que torna o seguinte
diagrama comutativo:
X
f
Y
2
_
X
_
_
F
_
Y
_
_
Alem disso, se f e uma identi c ao, ent ao F e uma identica c ao.
Prova : Denamos F([x]) = [f(x)].
1. A func ao F e bem denida. De fato, seja [x] = [x
1
]; ent ao x x
1
e f(x) f(x
1
); logo
[f(x)] = [f(x
1
)],
isto e F([x]) = F([x
1
]).
2. Pela denic ao, F
1
=
2
f.
3. Suponha que existe G tal que o diagrama comuta. Existe pelo menos um [x] X
_
tal que:
F([x]) = G([x]),
como
1
e sobrejetiva, existe pelo menos um x X tal que
_
G
1
_
(x) =
_
2
f
_
(x).
Isto e uma contradic ao, pois o diagrama comuta.
4. Como
1
,
2
e f s ao contnuas., pelo teorema [4.1], F e contnua.
Teorema 4.2. Sejam X e Y espa cos topol ogicos e f : X Y contnua e sobrejetiva. Se e
uma rela c ao de equival encia denida em X tal que:
x x
1
f(x) = f(x
1
),
ent ao, existe F :
_
X
_
_
Y contnua e bijetiva.
Prova : Consideremos:
X
f
#
F
F
F
F
F
F
F
F
F
F
_
X
_
_
F
/
Y
1. Pelo lema [4.1], denimos F([x]) = f(x). Logo, F e contnua e sobrejetiva.
72 CAP
=
_
Y
_
_
.
Prova : Seja
X
f
Y
2
_
X
_
_
F
_
Y
_
_
1. Pelo teorema [4.2], denamos F por F([x]) = [f(x)].
2. F e bijetiva e contnua.
3. F
1
e contnua, pois F
1
1
=
2
f
1
e f
1
e contnua.
Exemplo 4.4.
Sejam X = (0, +) e Y = R. Consideremos Y com a topologia usual e X com a
topologia induzida. Denamos:
x
1
x
2
existe n N tal que x
1
= e
n
x
2
y
1
y
2
existe n N tal que y
1
= n +y
2
.
Seja f : X Y tal que f(x) = ln(x); f e homeomorsmo. Por outro lado:
x
1
x
2
existe n N tal que x
1
= e
n
x
2
Ent ao,
ln(x
1
) = ln(e
n
x
2
) = ln(e
n
) +ln(x
2
) = n +ln(x
2
),
logo f(x
1
) f(x
2
). Pelo teorema:
_
X
_
=
_
Y
_
= S
1
.
4.4. AC
OES DE GRUPOS 73
4.4 A c oes de Grupos
Sejam X = um conjunto e
_
G,
_
um grupo.
Deni c ao 4.5. O grupo
_
G,
_
atua pela esquerda sobre X se existe uma
fun c ao:
:GX X
(g, x) g x,
tal que:
1. e x = x, para todo x X e e G a identidade de G.
2. g
1
_
g
2
x
_
=
_
g
1
g
2
_
x, para todo x X e g
1
, g
2
G.
3. Em tal caso, X e dito G-conjunto.
Exemplo 4.5.
[1] Sejam X um espaco topol ogico e
G = {f : X X / f e um homeomorsmo}.
G e um grupo n ao comutativo com a composta de func oes. Denamos:
:GX X
(f, x) f x = f(x).
Ent ao, X e um G-conjunto.
[2] Seja G o grupo gerado pelos homeomorsmos h, g : R
2
R
2
denidos por:
h(x, y) = (x + 1, y) e g(x, y) = (x, y + 1),
respectivamente. Logo, como no exemplo anterior:
:GR
2
R
2
(f, (x, y)) f (x, y) = f(x, y).
Ent ao, R
2
e um G-conjunto.
[3] Sejam X = S
n
e
_
Z
2
,
_
. Denamos:
:Z
2
S
n
S
n
(1, x) 1 x = x,
onde x e o antipodal de x. Ent ao, S
n
e umZ
2
-conjunto.
[4] Sejam X = R e
_
Z, +
_
. Denamos:
:Z R R
(n, x) n x = n +x.
74 CAP
} e
_
Z, +
_
. Denamos:
:Z X X
(n, (x, y)) n (x, y) = (n +x, (1)
n
y).
Ent ao, X e umZ-conjunto.
[7] Seja S
1
C; ent ao S
1
tem uma estrutura de grupo multiplicativo induzida por C.
De fato, se e
2it
, e
2is
S
1
, ent ao e
2it
e
2is
= e
2i(t+s)
. Consideremos S
2n+1
como
subconjunto de C
n+1
:
S
2n+1
= {(z
1
, z
2
, . . . , z
n+1
) C
n+1
/ z
1
2
+z
2
2
+. . . +z
n+1
2
= 1}.
Denimos:
: S
1
S
2n+1
S
2n+1
,
onde:
e
2it
(z
1
, z
2
, . . . , z
n+1
) = (e
2it
z
1
, e
2it
z
2
, . . . , e
2it
z
n+1
).
Logo, S
2n+1
e um S
1
-conjunto.
[8] Seja S
n1
R
n
e G = O(n) o grupo ortogonal. Denamos:
:O(n) S
n1
S
n1
(A, x) n x =
Ax.
Ax = 1; logo est a bem denida e S
n1
e um O(n)-conjunto.
Proposi c ao 4.3. Seja X um G-conjunto. Para todo g G denamos:
g
: X X,
por
g
(x) = g x; ent ao
g
e bijetiva.
Prova : Note que
e
= id
X
e que para todo g, h G, temos
g
h
=
gh
. Logo,
g
g
1 =
gg
1 =
e
= id
X
e
g
1
g
=
g
1
g
=
e
= id
X
.
Ent ao
1
g
=
g
1.
Deni c ao 4.6. Seja X um G-conjunto. Denimos:
1. O estabilizador de x X por:
G
x
= {g G/ g x = x}.
G
x
e um subgrupo de G.
4.4. AC
OES DE GRUPOS 75
2. A orbita de x X por:
Gx = {g x/ g G}.
Exemplo 4.6.
Consideremos S
3
como um S
1
-conjunto, com a ac ao:
:S
1
S
3
S
3
(e
2it
, (z
1
, z
2
)) n (z
1
, z
2
) = (e
2it
z
1
, e
2it
z
2
).
Seja (z
1
, z
2
) S
3
; ent ao o estabilizador do ponto (z
1
, z
2
) e:
S
1
(z
1
,z
2
)
= {e
2it
/ t Z}.
4.4.1 G-espa cos
Se X e um G-conjunto, podemos denir sobre X a seguinte relac ao de equival encia:
x y existe g G tal que g x = y,
isto e:
x y y Gx.
Denotemos X/ por X/G o conjunto das classes de equival encia desta relac ao. Se X
e um G-conjunto, temos a projec ao can onica, que e sobrejetiva:
: X X/G.
Logo, se X e um G-conjunto que e espaco topol ogico, podemos dar a X/G a topologia
quociente.
Espa co Projetivo Complexo
Seja S
2n+1
C
n+1
e S
1
C; ent ao S
1
tem a estrutura de grupo multiplicativo induzida
por C. Denimos e denotamos o n-espaco projetivo complexo, por:
CP
n
= S
2n+1
_
S
1
,
onde x y se, e somente se x = y, para algum S
1
.
Exemplo 4.7.
[1] Note que identica cada crculo de S
2n+1
a um ponto.
[2] CP
1
= S
2
. Isto e S
3
/S
1
= S
2
.
Deni c ao 4.7. Seja X um espa co topol ogico que e um G-conjunto. X e dito G-espa co se
g
e
contnua, para todo g G.
76 CAP
1
_
(U)
_
= {x X / (x) (U)}
= {x X / Gx = Gy, para algum y U}
= {x X / x = g y, para algum y U e g G}
= {x X / x g U, para algum g G}
=
_
gG
g U
=
_
gG
g
(U),
que e aberto, pois
g
e um homeomorsmo.
Lema 4.2. Sejam X um G-espa co e Y um H-espa co, onde
_
G,
_
e
_
H,
_
s ao tais que:
4.4. AC
OES DE GRUPOS 77
:GX X
:H Y Y
g
: X X, homeomorsmo
h
: Y Y, homeomorsmo
X
: X X/G, sobrejetiva e contnua
Y
: Y Y/H, sobrejetiva e contnua.
Sejam X um G-espa co e Y um H-espa co. Ent ao X Y e um GH-espa co.
Prova : Com as notac oes anteriores, denamos:
:
_
GH
_
_
X Y
_
_
X Y
_
((g, h), (x, y) (g, h)(x, y) = (g x, h y)
e
(g,h)
:
_
X Y
_
_
X Y
_
(x, y) (
g
(x),
h
(y)).
N ao e difcil provar que X Y e um
_
GH
_
-espaco e
(g,h)
e um homeomorsmo.
Proposi c ao 4.5. Com as nota c oes anteriores:
__
X Y
___
GH
__
=
_
X/G
_
_
Y/H
_
.
Prova :
Denamos F([x, y]) = ([x], [y]), isto e, F (
1
,
2
) = :
X Y
(
1
,
2
)
/
X Y/GH
F
vl
l
l
l
l
l
l
l
l
l
l
l
l
X/GY/H
F e naturalmente bem denida e bijetiva. F e contnua.
Sejam [U] [V ]
_
X/G
_
_
Y/H
_
aberto; devemos provar que f
1
_
[U] [V ]
_
e aberto
em
__
XY
___
GH
__
, isto e, pela denic ao de topologia quociente, devemos provar
que
1
_
f
1
_
[U] [V ]
__
e aberto em X Y . F = (
X
,
Y
), ent ao
1
F
1
= (F )
1
= (
1
X
,
1
Y
);
logo:
1
_
f
1
_
[U] [V ]
__
=
1
X
([U])
1
Y
([V ]),
que e aberto, pela denic ao da topologia quociente.
78 CAP
f
/
S
1
R
_
Z
F
=
{
{
{
{
{
{
{
{
F e um homeomorsmo, onde F([x]) = f(x), logo:
R/Z
= S
1
.
4.4. AC
OES DE GRUPOS 79
4.4.3 O Toro como Z Z -espa co
De forma an aloga ao crculo. Seja R com a topologia usual e S
1
C com a topologia
induzida pela usual de C; consideremos:
f :R R S
1
S
1
(x, y) (e
2ix
, e
2iy
)
Observemos que se consideramos R
2
como grupo aditivo e S
1
S
1
como grupo mul-
tiplicativo (multiplicac ao induzida por C
2
). Ent ao:
f(x +y) = f(x) f(y),
isto e, f e um homomorsmo de grupos com n ucleo Z
2
.
Consideramos o seguinte diagrama comutativo:
R
2
f
/
S
1
S
1
R
2
_
Z
2
F
9
s
s
s
s
s
s
s
s
s
Por um argumento totalmente an alogo ao anterior, vamos a obter um homeomorsmo:
R
2
/Z
2
= S
1
S
1
.
80 CAP
_
[1, 1] {1}
_
com a topologia induzida pela usual de
R
2
e relac ao de equival encia denida por (1, 1) (1, 1) e (1, 1) (1, 1).
Considere
_
X/
_
com a topologia quociente, verique que:
_
X/
_
= S
1
,
S
1
com a topologia induzida pela usual de R
2
.
4. Seja
_
R, T
_
, onde T e a topologia denida por: U T se, e somente se 0 U. Seja
a relac ao de equival encia denida por x x. Verique que
_
R/
_
com a
topologia quociente e homeomorfo a [0, +) com a topologia induzida por T.
5. Seja R
n
com a topologia de Zariski e relac ao de equival encia denida por
(x
1
, x
2
, x
3
, . . . , x
n
) (y
1
, y
2
, y
3
, . . . , y
n
) x
i
= y
i
,
para todo i = 1, 2, . . . , n. Verique que
_
R
n
/
_
com a topologia quociente e
homeomorfo a R
n1
com a topologia de Zariski.
6. Verique que RP
1
= S
1
.
7. Verique que CP
1
= S
2
.
8. Prove que se G e nito, ent ao e fechada.
9. Ache exemplos de G-espacos, onde G seja nito.
10. Para todo x, y X, Gx = Gy ou s ao disjuntas.
11. X =
_
xX
Gx, (uni ao disjunta).
12. Seja G o grupo gerado pelos homeomorsmos h, g : R
2
R
2
denidos por:
h(x, y) = (x + 1, y) e g(x, y) = (x, y + 1),
respectivamente, Verique que R
2
/G e homeomorfo ` a garrafa de Klein.
4.5. EXERC
ICIOS 81
13. Verique que CS
n
= B[0, 1] e SS
n
= S
n+1
, para todo n > 0.
14. Um espaco Z e dito contr atil, se existe z
0
Z e H : Z [0, 1] Z tal que para
todo z Z, H(z, 0) = z e H(z, 1) = z
0
. Verique
(a) Para todo espaco X, CX e contr atil.
(b) R
n
e contr atil.
(c) S
1
n ao e contr atil. Que pode dizer de S
n
, n > 1?
82 CAP
ITULO 5. COMPACIDADE
Exemplo 5.2.
V = {(n, n + 3) / n Z} e um subcobertura aberta de U = {(r, r + 3) / r R}.
A seguir e nos pr oximos captulos, somente consideraremos coberturas abertas.
Deni c ao 5.3. Um subconjunto S X e dito compacto, se toda cobertura de S admite uma
cobertura nita.
Em particular, o espaco X e compacto, se todo cobertura de X admite uma subcober-
tura nita.
Os conjuntos nitos, em qualquer espaco topol ogico, s ao compactos. A uni ao e a
intesec ao nita de compactos e um compacto.
Exemplo 5.3.
[1] Seja
_
X, T
ind
_
. Todo A X e compacto.
[2] Seja
_
X, T
dis
_
. X e compacto se, e somente se X e nito.
[3] Se S X e discreto innito, ent ao S n ao e compacto. Em particular, N e Z n ao s ao
compactos.
[4] R n ao e compacto, pois U = {(n, n+2) / n Z} n ao possui uma subcobertura nita.
[5] Para todo a, b R, [a, b] R e compacto. Veja [EL1].
Proposi c ao 5.1. S ao equivalentes as condi c oes:
1. X e compacto.
2. (Propriedade da interse c ao nita) Se {F
X / J} e tal que os F
s ao fechados
e:
J
F
= ,
ent ao existe uma subfamlia nita {F
1
, F
2
, . . . , F
n
} tal que:
n
i=1
F
i
= .
Prova : A prova segue diretamente das leis de de Morgan. Por exemplo:
J
F
= e equivalente a
_
J
F
c
= X.
Proposi c ao 5.2. Seja f : X Y contnua. Se S X e compacto, ent ao f(S) e compacto
em Y .
Prova : Seja V = {V
i
/ i J} um recobrimento de f(S); ent ao {f
1
(V
i
) / i J} e uma
cobertura de S; como S e compacto, existe subcobertura nita {f
1
(V
k
) / k K}, onde
K e nito. Como f(f
1
(V
k
)) V
k
, ent ao {V
k
/ k K} e uma subcobertura nita de
f(S).
5.1. INTRODUC
AO 85
Corol ario 5.1.
1. Se X e compacto e f : X Y e contnua e sobrejetiva, ent ao Y e compacto. Em
particular, se Y tem a topologia quociente induzida por f, ent ao Y e compacto.
2. Se X
= Y , ent ao X e compacto se, e somente se Y e compacto.
Exemplo 5.4.
O traco de uma curva contnua : [a, b] X e compacto. Em particular, seja f :
[a, b] R
2
denida por f(t) = (cos(t), sen(t)) tal que b a 2. Ent ao S
1
= f([a, b])
e compacto emR
2
.
Nem todo subconjunto de um espaco compacto e compacto. (0, 1) [0, 1] n ao e com-
pacto.
Proposi c ao 5.3. Se X e compacto e F X e fechado, ent ao F e compacto.
Prova : Seja U = {U
i
/ i J} uma cobertura de F, onde cada U
i
e aberto em X; ent ao
U{X F} e uma cobertura de X; como X compacto, possui um subcobertura nita,
que pode ser:
{U
i
/ i K} ou {U
i
/ i K} {X F},
onde K e nito. Logo {U
i
/ i K} e um subcobertura nita de F.
Proposi c ao 5.4. X e Y s ao compactos se, e somente se X Y e compacto.
Prova : Se X Y e compacto, como as projec oes s ao contnuas, ent ao X e Y s ao com-
pactos.
Reciprocamente, seja W= {W
j
/ j J} uma cobertura aberta de X Y ; por denic ao:
W
j
=
_
kK
_
U
j,k
V
j,k
_
,
onde U
j,k
e aberto em X e V
j,k
e aberto em Y , ent ao:
U = {U
j,k
V
j,k
/ j J, k K}
e uma cobertura aberta de X Y .
Por outro lado, para cada x X, temos que Y
= {x} Y ; logo {x} Y e compacto;
como U tamb em e uma cobertura de {x} Y , ent ao admite um subcobrimento nito
{U
i
V
i
/ i = 1, 2, . . . , n}, onde n = n(x). Seja:
U
x
=
n(x)
i=1
U
i
.
{U
x
/ x X} e uma cobertura aberta de X; como e compacto, admite uma subcobertura
nita {U
x
i
/ i = 1, 2, . . . , m}; ent ao:
{U
x
i
V
k
i
/ i = 1, 2, . . . , m, k
i
= 1, 2, . . . , n(x)}
e uma cobertura nita de X Y , isto e, para cada i e k
i
, existe j J e k K tal que:
U
x
i
V
k
i
U
j,k
V
j,k
W
j
.
Logo, existe subcobertura nita de W, provando que X Y e compacto.
86 CAP
ITULO 5. COMPACIDADE
Corol ario 5.2. X
1
, X
2
, . . . , X
n
s ao compactos se, e somente se X
1
X
2
. . . X
n
e compacto.
Exemplo 5.5.
[1] R
n
n ao e compacto.
[2] Se I = [0, 1], ent ao I
n
= I I . . . I e compacto.
[3] O toro T
2
= S
1
S
1
e compacto.
[4] Em geral, T
n
= S
1
S
1
. . . S
1
e compacto.
[5] O toro n ao e homeomorfo ao cilindro S
1
R.
5.2 Compacidade em Espa cos M etricos
Proposi c ao 5.5. Sejam
_
M, d
1
_
e
_
N, d
2
_
espa cos m etricos. Se M e compacto e f : M N
e contnua, ent ao f e uniformemente contnua.
Prova :
Como f e contnua, para todo > 0 existe
x
> 0 tal que se d
1
(x, y) < 2
x
, ent ao:
d
2
(f(x), f(y)) < /2.
Seja B = {B
x
(x) / x X}; B e uma cobertura aberta de X; por compacidade, admite
um cobertura nita {B
x
i
(x
i
) / i = 1, 2, . . . , n}. Denotemos por = min{
x
i
(x) / i =
1, 2, . . . , n}, ent ao dados x, y X tais que d
1
(x, y) < , temos d
2
(f(x), f(y)) < . Isto e,
se x B
x
i
(x
i
) para algum i, d
1
(x, x
i
) <
x
i
e:
d(y, x
i
) d(y, x) +d(x, x
i
) < 2
x
, logo d
2
(f(y), f(x
i
)) < /2,
d
2
(f(x), f(y)) d
2
(f(x), f(x
i
)) +d
2
(f(x
i
), f(y)) < /2 +/2 = .
Proposi c ao 5.6. Seja
_
M, d
_
um espa co m etrico. Se A M e compacto, ent ao A e fechado e
limitado.
Prova : Provemos que A e fechado. Se x A e x / A, ent ao para todo y A, existe
> 0 tal que d(x, y) = 2 ; logo A possui uma cobertura {B
i
(y) / i = 1, . . . n}; ent ao B
i
(x) B
i
(y) = o
que e uma contradic ao, pois x A; logo A = A. Por outro lado, para todo x
0
M:
A B
1
(x
0
) B
2
(x
0
) B
3
(x
0
) . . .
A
j
_
i=1
B
n
i
(x
0
);
logo, e limitado.
Em geral, a recproca desta proposic ao e falsa. De fato, consideremos M com a m etrica
discreta etal que A M e innito; ent ao A e fechado e limitado, pois A B
2
(x) = M
para todo x M e n ao e compacto. No caso M = R
n
temos:
5.2. COMPACIDADE EM ESPAC OS M
ETRICOS 87
Proposi c ao 5.7. (Heine-Borel) Um subconjunto e fechado e limitado em R
n
se, e somente se
e compacto.
Prova : Seja A R
n
fechado e limitado. Se A e limitado, existe k > 0 tal que x k,
para todo x A; logo A [k, k]
n
= [k, k] [k, k] . . . [k, k].
Por outro lado, [k, k] e compacto, pois [k, k]
n. Logo,
O(n) e limitado.
Corol ario 5.3. (Weirstrass) Seja X um espa co topol ogico compacto e f : X R contnua;
ent ao existem x
0
, x
1
X tais que:
f(x
0
) f(x) f(x
1
),
para todo x X.
Prova : Como f e contnua, f(X) e compacto em R, logo e fechado e limitado; como
f(X) e limitado, existe M = sup{f(x) / x X} e L = inf{f(x) / x X}; al em disso e
fechado; ent ao M, L f(X). De fato, suponha que M / f(X), como f(X) = f(X),
ent ao existe > 0 tal que (M , M + ) f(X) = . Isto e, para todo x X,
f(x) M o que e uma contradic ao. Analogamente para L. Logo, existe x
0
, x
1
X
tais que M = f(x
1
) e L = f(x
0
), e:
f(x
0
) f(x) f(x
1
),
para todo x X.
Seja A X um conjunto limitado, denimos e denotamos o di ametro de A por:
d(A) = sup{d(x, y) / x, y A}.
O n umero > 0 e dito de Lebesgue da cobertura {U
i
/ i J} de X, se para todo A X
com d(A) < , ent ao existe i
0
I tal que:
A U
i
0
.
O n umero de Lebesgue de uma cobertura pode n ao existir.
De fato, considere a cobertura {(, 0), (0, +)} de R {0}. N ao e difcil ver que
para todo > 0, se pode escolher 0 < r < /2; tal que d({r, r}) < e {r, r} n ao
pertence a nenhum elemento da cobertura.
88 CAP
ITULO 5. COMPACIDADE
Lema 5.1. (Lebesgue) Todo conjunto compacto num espa co m etrico possui um n umero de
Lebesgue.
Prova : Sejam K compacto, {U
i
/ i J} uma cobertura de K e x K. Escolhemos o
n umero r(x) > 0 tal que B(x, r(x)) U
i
para algumi J; ent ao {B(x, r(x)/2) / x X}
e uma cobertura de X, como X compacto, admite subcobertura nita B(x
1
, r(x
1
)),
B(x
2
, r(x
2
)) , . . ., B(x
n
, r(x
n
)). Seja
= min{r(x
1
), r(x
2
), . . . , r(x
n
)}.
O n umero > 0 e o n umero de Lebesgue. De fato, seja B(x, ) para algum x X;
ent ao, existe i {1, 2 . . . , n} tal que x B(x
i
, r(x
i
)/2). Por outro lado, se y B(x, ),
temos que:
d(y, x
i
) d(y, x) +d(x, x
i
) +r(x
i
)/2 r(x
i
).
Logo, B(x, ) B(x
i
, r(x
i
)/2) U
j
, para algum U
j
{U
i
/ i J}.
5.3. EXERC
ICIOS 89
5.3 Exerc cios
1. R
n
, (n = 2, 3) com a topologia usual. Verique se os seguintes conjuntos s ao ou
n ao compactos.
(a) {(x, y) / x > 1}.
(b) {(x, y) / x = y}.
(c) {(x, y) / xy 0}.
(d) {(x, y, z) / x
2
+y
2
+z
2
4}.
2. Seja R com a topologia usual. Verique que conjunto A = {1/n/ n N} n ao e
compacto.
3. Seja R com a topologia usual. O conjunto B = {(1)
n
/n/ n N} {0} e com-
pacto?
4. Sejam R
n
com a topologia usual, A R
n
e x
0
R
n
. Sabemos que a dist ancia de
x
0
a A er:
d(x
0
, A) = inf{x
0
x / x A}.
(a) Se A e fechado, existe q R
n
tal que d(p, A) = d(p, q)?
(b) Verique que f(p) = d(p, A) e uniformemente contnua.
5. Seja R
n
com a topologia usual e A, B R
n
. Dena a dist ancia de A a B por:
d(A, B) = inf{x y / x A, y B}.
(a) d(A, B) = inf{d(p, B) / p A}?
(b) Que ocoore no item anterior se A e B s ao compactos?
6. Seja Y X um subespaco. Y e compacto se, e somente se Y e compacto com a
topologia induzida.
7. Seja f : X Y contnua e L X um conjunto compacto. Ache um exemplo tal
que f
_
L
_
n ao seja compacto.
8. Seja f : X Y contnua e K Y um conjunto compacto. Ache um exemplo
tal que f
1
_
K
_
n ao e compacto. De condic oes para que f
1
_
K
_
seja compacto.
90 CAP
ITULO 5. COMPACIDADE
9. Seja X n ao enumer avel. Denamos a seguinte topologia em X: U e aberto se, e
somente se U = ou U
c
e enumer avel. Verique que X com esta topologia, n ao
e compacto.
10. Ache um exemplo de um espaco topol ogico, onde os subconjuntos compactos
n ao s ao fechados.
11. Ache um exemplo de um espaco topol ogico, onde a clausura dos subconjuntos
compactos n ao s ao compactos.
12. Seja R com a topologia usual. De um exemplo de uma func ao f : R R
contnua, injetiva tal que f
_
R
_
n ao e fechado.
13. Ache exemplos de
_
X, T
1
_
compacto,
_
Y, T
2
_
e f : X Y bijec ao contnua tal
que n ao seja homeomorsmo.
14. Seja f : X Y um homeomorsmo local tal que X e compacacto. Verique
que f
1
(y) X, para todo y Y e nito.
15. Suponha que todo subconjunto compacto de um espaco topol ogico X e fechado.
Se A X e nito, ent ao e fechado?
Captulo 6
AXIOMAS DE SEPARAC
AO
6.1 Introdu c ao
Consideremos
_
M, d
_
um espaco m etrico com mais de dois elementos. Sempre pode-
mos escolher > 0 tal que d(x, y) = 2 com x, y M e x = y, ent ao B
(x) B
(y) = .
Esta propriedade natural dos espacos m etricos, que nos permite diferenciar os pon-
tos dos espacos, n ao e v alida, em geral, em espacos topol ogicos arbitr arios. Neste
par agrafo estudaremos que tipo de espacos possuem esta propriedade, que por exem-
plo, e fundamental para provar a unicidade do limite de uma sequ encia em espacos
m etricos. Veja [EL2].
6.2 Espa cos de Fr echet
Seja
_
X, T
_
um espaco topol ogico
Deni c ao 6.1. X e um espa co de Fr echet ou T
1
se para todo x, y X tal que x = y, existe
U T tal que x U e y / U.
Exemplo 6.1.
[1]
_
X, T
dis
_
e os espacos topol ogicos metrizav eis s ao T
1
.
[2]
_
X, T
ind
_
n ao e T
1
.
Proposi c ao 6.1. X e T
1
se, e somente se {x} e fechado em X, para todo x X.
Prova : Suponha que X e T
1
. Seja x X e y X {x}; ent ao existe U
y
vizinhanca de
y tal que x / U
y
; logo:
_
y{x}
c
U
y
= X {x},
isto e, X{x} e aberto. Reciprocamente, se {x} e {y} s ao fechados emX; ent ao X{x}
e X {y} s ao abertos, y / X {x} e x / X {y}; logo X e T
1
.
91
92 CAP
{U / U vizinhanca de x} = {x}.
4. A diagonal = {(x, x) / x X} e um conjunto fechado em X X.
Prova : 1) 2) Dados x = y, existem U e V vizinhancas de x e y respectivamente, tais
que U V = ; logo y U.
2) 3) Se y = x existe uma vizinhanca U de x tal que y / U; ent ao:
y /
{U / U vizinhanca de x}.
3) 4) Provaremos que
c
e aberto.
Seja (x, y) / ; ent ao x = y; como {x} =
Y
=
_
Y Y
_
.
Logo
Y
e fechado em Y Y e Y e de Hausdorff.
2. Como f e contnua e injetiva:
X
= (f f)
1
_
Y
_
.
Logo
X
e fechada em X X e X e de Hausdorff.
3. Se X e Y s ao de Hausdorff, denamos:
f : X X Y Y X Y X Y
(x, x
1
, y, y
1
) (x, y, x
1
, y
1
).
f e um homeomorsmo e:
f
_
X
Y
_
=
XY
.
Logo,
XY
e fechado em X Y X Y e X Y e de Hausdorff.
Teorema 6.2. Se X e de Hausdorff e A X e compacto, ent ao A e fechado.
Prova : Se A = ou A = X nada temos a provar. Sejam A = , X e x A
c
; para todo
a A existem U
a
e V
a
vizinhancas de x e a respectivamente, tais que U
a
V
a
= . Por
outro lado, {V
a
/ a A} e um recobrimento aberto de A; como A e compacto, existe um
subrecobrimento nito {V
a
i
/ i = 1, 2, . . . , n}. Consideremos:
U =
n
i=1
U
a
i
.
U e vizinhanca de x tal que U V
a
i
= para todo i; logo U A
c
, isto e, para cada
x A
c
existe um aberto tal que x U A
c
, logo A
c
e aberto e A fechado.
A condic ao de ser de Hausdorff e de compacidade s ao essenciais no teorema anterior.
Vejamos os seguintes exemplos:
Exemplo 6.3.
[1] Considere X = {a, b, c} com a seguinte topologia T = {, {a}, {b, c}}. Ent ao
A = {c} e compacto e A
c
= {a, b} / T, logo A n ao e fechado. Note que X n ao e
de Hausdorff.
94 CAP
D
= g
D
ent ao f = g em X.
3. O gr aco de f e fechado em X Y .
4. Se f e injetiva, ent ao X e de Hausdorff.
Prova :
1) Seja h : X X Y onde h(x) = (f(x), g(x)); h e contnua e:
{x X / f(x) = g(x)} = h
1
()
e e fechado em X Y .
2) Segue, de imediato, pois {x D/ f(x) = g(x)} {x X / f(x) = g(x)}. Como
{x X / f(x) = g(x)} e fechado e D e denso, ent ao:
{x D/ f(x) = g(x)} = {x X / f(x) = g(x)}.
3) Seja k : X Y Y Y onde k(x, y) = (f(x), y); k e contnua e:
G(f) = k
1
()
e e fechado em X Y .
4) A func ao f
1
: f(X) X e uma bijec ao fechada do espaco f(X) que e de Haus-
dorff.
O tem 1 da proposic ao [6.2], n ao e v alido sem a hip otese de ser de Hausdorff. Por
exemplo, considere f = id e g = id tal que
f, g :
_
R, T
ind
_
_
R, T
ind
_
,
ambas s ao contnuas e {x X / f(x) = g(x)} = {0}, que n ao e fechado em
_
R, T
ind
_
.
Note que as curvas contnuas e os planos s ao fechados emR
3
com a topologia usual.
6.4. TOPOLOGIA QUOCIENTE 95
Proposi c ao 6.3. Se X e compacto, Y e de Hausdorff e f : X Y e contnua, ent ao f e
fechada.
Prova : Seja F X fechado; logo e compacto; ent ao f(F) e compacto, o que implica
f(F) e fechado em Y e f fechada.
Corol ario 6.3. Sejam X compacto, Y espa co de Hausdorff e f : X Y contnua. S ao
equivalentes:
1. f e um homeomorsmo.
2. f bijetiva.
Prova : Se f e um homeomorsmo, ent ao e bijetiva. Reciprocamente. Se f e bijetiva,
ent ao f e aberta e fechada; logo e um homeomorsmo.
A condic ao de compaciade e essencial no corol ario [6.3]. De fato, considere os espacos
_
R, T
us
_
,
_
R, T
dis
_
e a func ao identidade:
id :
_
R, T
dis
_
_
R, T
us
_
que e contnua, bijetiva e n ao e um homeomorsmo.
Corol ario 6.4. Sejam X compacto, Y espa co de Hausdorff e f : X Y contnua e injetiva
ent ao:
X
= f(X).
6.4 Topologia Quociente
Em geral, e falso, que espacos quocientes de um espaco de Hausdorff sejam de Haus-
dorff.
Exemplo 6.4.
Seja R com a topologia usual e denamos a seguinte relac ao de equival encia:
x y x = y ou {x, y} (0, 1).
Consideremos
_
X
_
_
com a topologia quociente e a correspondente projec ao
can onica. Se x
0
(0, 1), ent ao
1
([x
0
]) = (0, 1), que n ao e fechado em R; logo {[x
0
]}
n ao e fechado em
_
X
_
_
, o qual implica em que
_
X
_
_
n ao pode ser de Hausdorff.
Teorema 6.3. Seja X compacto, de Hausdorff e f : X Y uma identica c ao. Se f e fechada,
ent ao Y e de Hausdorff (compacto).
Prova : Sejam y
1
, y
2
Y tal que y
1
= y
2
, ent ao f
1
(y
1
) e f
1
(y
2
) s ao compactos disjun-
tos. Seja x f
1
(y
1
) e b f
1
(y
2
), ent ao existem U
x,b
e V
x,b
abertos disjuntos tais que
x U
x,b
e b V
x,b
. Por outro lado, {V
x,b
/ b f
1
(y
2
)} e uma cobertura de f
1
(y
2
); logo
existe uma subcobertura nita {V
x,b
/ b B}, onde B f
1
(y
2
) e B nito. Sejam:
U
x
=
bB
U
x,b
e V
x
=
_
bB
V
x,b
,
96 CAP
xB
V
x
,
U e V s ao abertos disjuntos tais que f
1
(y
1
) U e f
1
(y
2
) V ; como f e fechada,
ent ao f(U
c
) e f(V
c
) s ao fechados em Y . Denotemos por:
W
1
=
_
f(U
c
)
_
c
e W
2
=
_
f(V
c
)
_
c
.
W
1
e W
2
s ao abertos tais que y
1
W
1
, pois f
1
(y
1
) U e y
2
W
1
, pois f
1
(y
2
) V . Se
y W
1
W
2
, ent ao y / f
1
(U
c
) e y / f
1
(V
c
); logo f
1
(y) U
c
= e f
1
(y) V
c
=
donde f
1
(y) U V = e W
1
W
2
= .
Corol ario 6.5. Seja X compacto, de Hausdorff e A X fechado. Denamos em X a rela c ao
de equival encia:
x y x = y ou {x, y} A.
Ent ao
_
X
_
_
e compacto e de Hausdorff.
Prova : Seja F X fechado e a projec ao can onica. Se F A = , ent ao (F) = F. Se
F A = , ent ao (F) = (F A) (F A) que e fechado. De fato:
1
_
(F A) (F A)
_
= (F A) A = F A.
Logo, e fechada.
1
_
(F)
_
=
_
gG
g
(F),
onde e a projec ao can onica.
g
e um homeomorsmo, para todo g G; ent ao
1
_
(F)
_
e fechado e (F) e fechado; logo e fechada.
Proposi c ao 6.4. Se X e compacto, Y e de Hausdorff e f : X Y contnua sobrejetiva, ent ao
f e uma identica c ao.
Prova : Seja K X fechado, ent ao K e compacto em X, logo f(K) e compacto em
Y , como Y e de Hausdorff, f(K) e fechado em Y e f e uma func ao fechada e pela
proposic ao [4.2], f e uma identicac ao.
Exemplo 6.5.
[1] S
n
,n 1 e compacto e de Hausdorff.
[2] O toro T
2
e compacto e de Hausdorff. Em geral, T
n
e compacto e de Hausdorff
[3] O espacprojetivo real RP
n
e CP
n
s ao compactos e de Hausdorff.
[4] A faixa de Moebius e compacta e de Hausdorff.
[5] A garrafa de Klein e compacta e de Hausdorff.
6.5. HOMEOMORFISMOS 97
6.5 Homeomorsmos
Nas seguintes aplicac oes utilizaremos o seguinte corol ario:
Corol ario 6.7. Sejam X compacto, Y de Hausdorff uma rela c ao de equival encia em X e
f : X Y contnua e sobrejetiva tal que x x
1
f(x) = f(x
1
). Ent ao:
X
= Y.
Exemplo 6.6.
Seja S
n1
{0} S
n1
I, ent ao:
B[0, 1]
=
_
S
n1
I
___
S
n1
{0}
_
.
De fato, denamos f : S
n1
I B[0, 1] por f(x, t) = t x.
Por outro lado f(x
1
, t
1
) = f(x
2
, t
2
) x = 0 ou x
1
= x
2
e t
1
= t
2
= 0, f e contnua
e sobrejetiva. Logo, por passagem ao quocientes, f induz uma bijec ao contnua F tal
que:
F = f.
Denotemos por X =
_
S
n1
I
___
S
n1
{0}
_
, temos o seguinte diagrama comutativo:
S
n1
I
f
/
B[0, 1]
X
F
8
r
r
r
r
r
r
r
r
r
r
r
Como X e compacto e B[0, 1] e de Hausdorff, ent ao F e um homeomorsmo o qual e
denido por F([(x, t)]) = f(x, t).
A continuac ao apresentamos as provas da alguns homeomorsmos introduzidos an-
teriormente,
6.5.1 O Crculo
Consideremos S
1
C com a topologia induzida pela usual de C,
O Crculo como Espa co Quociente
Seja I = [0, 1] R com a topologia usual, denamos o espa co quociente:
I/ ,
98 CAP
f
/
S
1
I
_
f
F
<
y
y
y
y
y
y
y
y
Note que e
f
s ao equivalentes. De fato:
x y x = y ou {x, y} = {0, 1}.
Se x = y, ent ao f(x) = f(y) e x
f
y
Se {x, y} = {0, 1}, ent ao f(0) = f(1) = 1 e x
f
y.
Reciprocamente:
x
f
y e
2ix
= e
2iy
e
2i(xy)
= 1.
Logo, x = y ou |x y| = 1, como x, y, I, temos {x, y} = {0, 1} e x y
Como f contnua e sobrejetiva, S
1
e de Hausdorff e I/ e compacto, ent ao f e uma
identicac ao, logo, F e um homeomorsmo:
S
1
=
_
I/
_
.
O Crculo como Z-espa co
R e um Z-espaco com a operac ao n x = n + x. Seja f : I S
1
denida por
f(x) = e
2ix
. Consideremos o seguinte diagrama comutativo:
R
f
/
S
1
R
_
Z
F
=
{
{
{
{
{
{
{
{
Analogamente ao caso anterior, x y existe n Z tal que y = n + x f(x) =
f(y). Por outro lado f e contnua e sobrejetora.
Armamos que f e aberta. De fato, considere (a, b) R:
Se |b a| > 1, ent ao f((a, b)) = S
1
, logo f e aberta.
Se |b a| 1, ent ao S
1
f((a, b)) = f([b, a + 1)]) que e fechado em S
1
, pois S
1
e de
Hausdorff. Logo, f e uma identicac ao.
Logo, F e um homeomorsmo, e:
R/Z
= S
1
.
Finalmente, temos que:
S
1
=
_
I/
_
= R/Z.
6.5. HOMEOMORFISMOS 99
6.5.2 O Toro
O Toro como Espa co Quociente
De forma an aloga ao crculo, consideramos:
f :I I S
1
S
1
(x, y) (e
2ix
, e
2iy
)
Seja I
2
R
2
com a topologia induzida pela topologia usual de R
2
e para todo (x, y),
(x
1
, y
1
) I
2
, consideremos a relac ao de equival encia:
(x, y) (x
1
, y
1
) (x, y) = (x
1
, y
1
) ou (0, y) (1, y) e (x, 0) (x, 1).
Consideremos o seguinte diagrama comutativo:
I
2
f
/
S
1
S
1
I
2
_
F
9
t
t
t
t
t
t
t
t
t
Pelos mesmos argumentos utilizados no crculo: como
_
I
2
_
_
e compacto e T
2
e de
Hausdorff, ent ao F e um homeomorsmo:
S
1
S
1
= I
2
_
.
O Toro como Z Z -espa co
De forma an aloga, consideramos:
f :R R S
1
S
1
(x, y) (e
2ix
, e
2iy
)
e o seguinte diagrama comutativo:
R
2
f
/
S
1
S
1
R
2
_
Z
2
F
9
s
s
s
s
s
s
s
s
s
Pelos mesmos argumentos utilizados no crculo, temos que:
R
2
/Z
2
= S
1
S
1
.
Seja T
2
e o toro de revoluc ao emR
3
, parametrizado por:
x(t, s) = (R +r cos(2s)) cos(2t)
y(t, s) = (R +r cos(2s)) sen(2t)
z(t, s) = r sen(2t),
100 CAP
= R
2
_
Z
2
.
Em geral, com argumentos an alogos aos anteriores, se consideramos o toro n-dimen-
sional
T
n
= S
1
S
1
. . . S
1
, (n vezes), temos que:
T
n
= R
n
_
Z
n
= I
n
/ .
6.5.3 Espa cos Projetivos Reais
Seja X = R
n+1
, isto e R
n+1
menos a origem, denamos em X a seguinte relac ao de
equival encia:
x y existe R
tal que x = y.
Seja X =
_
X
_
_
, ent ao:
X
= RP
n
.
Considere S
n
R
n+1
com a topologia induzida pela topologia usual de R
n+1
. Seja:
f : S
n
X
denida por f = i, onde i : S
n
R
n+1
e a inclus ao e : R
n+1
X e a projec ao
can onica. f e contnua e sobrejetiva. Logo, temos o seguinte diagrama comutativo:
S
n
f
/
RP
n
X
F
<
y
y
y
y
y
y
y
y
y
Como S
n
e compacta e RP
n
e de Hausdorff, ent ao F e um homeomorsmo F.
E claro que RP
0
e um ponto e RP
1
= S
1
. De fato, basta considerar a func ao f : S
1
S
1
tal que f(z) = z
2
, por argumentos an alogos aos anteriores, temos o seguinte diagrama
comutativo:
S
1
f
/
S
1
RP
1
F
=
z
z
z
z
z
z
z
z
Logo, temos que RP
1
= S
1
.
6.5. HOMEOMORFISMOS 101
6.5.4 Espa cos Projetivos Complexos
Seja X = C
n+1
, isto e C
n+1
menos a origem, denamos em X a seguinte relac ao de
equival encia:
z
1
z
2
existe C
tal que z
1
= z
2
.
Seja X =
_
X
_
_
, ent ao:
X
= CP
n
.
Considere S
2n+1
C
n+1
com a topologia induzida pela topologia usual de C
n+1
. Seja:
f : S
2n+1
X
denida por f = i, onde i : S
2n+1
X e a inclus ao e : C
n+1
X e a projec ao
can onica. f e contnua e sobrejetiva. Logo, temos o seguinte diagrama comutativo:
S
2n+1
f
/
CP
n
X
F
:
v
v
v
v
v
v
v
v
v
v
Como S
2n+1
e compacta e CP
n
e de Hausdorff, ent ao F e um homeomorsmo e:
X
= CP
n
.
6.5.5 Grupos Ortogonais
Seja O(n) o grupo ortogonal real e denotemos por H o subgrupo de O(n) denido por:
A H se, e somente se:
A =
_
1 0
0 B
_
,
onde B O(n 1). N ao e difcil ver que H e O(n 1) s ao homeomorfos. Denamos
em O(n) a seguinte relac ao de equival encia:
A
1
A
2
existe A H tal que A
1
= A
2
A.
Armamos que:
O(n)
_
O(n 1)
= S
n1
.
Denamos f : O(n) S
n1
por:
f(A) = A
_
_
_
1
.
.
.
0
_
_
_
f e bem denida e sobrejetiva, pois para todo v S
n1
, existe uma rotac ao A tal que
Ae
1
= v. Verique! f e claramente contnua.
102 CAP
f
/
S
n1
O(n)/O(n 1)
F
7
p
p
p
p
p
p
p
p
p
p
p
p
F([A]) = f(A). Como O(n) e compacto, ent ao O(n)/O(n1) e compacto, F e contnua
e bijetiva e S
n1
e de Hausdorff, en ao F e um homeomorsmo e:
O(n)
_
O(n 1)
= S
n1
.
6.5.6 A Faixa de Moebius
Seja M a faixa de Moebius, ent ao:
M
= F,
onde F e a superfcie parametrizada emR
3
, por:
x(t, s) = (x
2
y
2
) (2 +xz)
y(t, s) = 2 xy (2 +xz)
z(t, s) = y z,
onde (t, s) R
2
.
Lembremos que M =
_
C
_
_
, onde C = {(x, y, z) / x
2
+ y
2
= 1, |z| 1}. Seja
p = (x, y, z) C e f : C R
3
denida por:
f(p) = ((x
2
y
2
) (2 +xz), 2 xy (2 +xz), xy).
Note que f(p) = f(x, y, z) = f(x, y, z) = f(p). A func ao f e injetiva, contnua,
M compacto e f(M) R
3
de Hausdorff; logo
M
= f(M) = F.
6.6 Variedades Topol ogicas
Seja X um espaco topol ogico.
Deni c ao 6.3. X e uma variedade topol ogica de dimens ao n, se:
1. X e de Hausdorff.
6.6. VARIEDADES TOPOL
OGICAS 103
2. X possui uma base enumer avel.
3. Todo ponto de X possui uma vizinhan ca homeomorfa a uma aberto de R
n
.
Se X e uma variedade topol ogica de dimens ao n. Todo ponto de X possui uma
vizinhanca homeomorfa a uma aberto de R
n
; isto e todo x X possui uma vizinhanca
U e um homeomorsmo:
h : U D
n
,
onde D
n
R
n
e o disco unit ario.
U x
h
D
X
Figura 6.1: Variedade de dimens ao 2
Os abertos de X homeomorfos aos abertos de R
n
formam uma base para X. Uma
variedade topol ogica de dimens ao n e localmente homeomorfa a R
n
.
Se n = 2, ent ao X e dita superfcie topol ogica.
Se X e Y s ao variedades de dimens ao n e m, respectivamente, ent ao X Y e uma
variedade de dimens ao n +m. (Verique!).
Exemplo 6.7.
[1] Para todo n N, R
n
e uma n-variedades.
[2] A esfera S
n
e uma variedade topol ogica de dimens ao n. Segue de imediato, basta
considerar a projec ao stereogr aca.
[3] T
n
= S
1
. . . S
1
(n-vezes) e uma variedad topol ogica de dimens ao n.
[4] Os espac os projetivos reais e complexos s ao variedades topol ogicas de dimens ao n
e 2 n, respectivamente.
[5] A garrafa de Klein e uma superfcie topol ogica.
[6] A Faixa de M oebius n ao e uma superfcie topol ogica. Por que?
[7] M
nm
(R) e uma n m-variedade.
104 CAP
2) Q e B = (
2, +) Q.
ii) Para todo x R, ent ao R {x} e desconexo. De fato, basta considerar:
A = (, x) e B = (x, +).
[5]
_
R, T
cof
_
e conexo. De fato, nesta topologia n ao existem abertos n ao vazios disjun-
tos.
Proposi c ao 7.1. Seja R com a topologia usual. Os unicos conjuntos conexos em R com mais
de um ponto s ao os intervalos (abertos, fechados, etc).
Prova : Se Y e conexo, ent ao Y e um intervalo. Suponha que Y n ao e um intervalo,
ent ao existem a, b Y e c / Y tal que a < c < b. Sejam A = (, c) Y e B =
(c, +) Y ; logo Y = A B e Y n ao e conexo.
105
106 CAP
ITULO 7. CONEXIDADE
Se Y e um intervalo, ent ao e conexo. Se Y for desconexo, ent ao existem A e B abertos
disjuntos n ao vazios tais que Y = A B. Sejam a A e b B tais que a < b (caso
contr ario, mudamos os pap eis de a e b). Denotemos por:
= sup{x/ [a, x) A}.
Logo b; como Y e um intervalo, Y . Por outro lado, A
Y
= A Y . Como
A = Y B, ent ao A e aberto e fechado em Y ; logo A =
_
{0, 1}, T
dis
_
contnua e sobrejetiva.
Prova :
1) 2) Se A X e aberto, fechado e n ao vazio ou X, ent ao X = A A
c
, ent ao X
desconexo.
2) 3) Suponha que f :
_
X, T
_
_
{0, 1}, T
dis
_
e contnua e sobrejetivaa, logo
f
1
(0) = , como {0} e aberto e fechado em
_
{0, 1}, T
dis
_
, ent ao f
1
(0) e aberto e fe-
chado em X.
3) 1) Se X = A B onde A e B s ao abertos disjuntos n ao vazios, ent ao A e B s ao
fechados e a func ao :
_
X, T
_
_
{0, 1}, T
dis
_
denida por:
(x) =
_
1 se x A
0 se x B
e contnua e sobrejetiva.
Exemplo 7.2. Segue do teorema que R, com a topologia usual e conexo.
Corol ario 7.2.
1. Se X e conexo e f : X Y e contnua, ent ao f(X) e conexo.
2. Seja X
= Y . Ent ao, X e conexo se, e somente se T e conexo.
3. A uni ao arbitr aria de subconjuntos conexos de X que tem pelo menos um ponto em co-
mum, e conexa. Isto e. Seja {A
/, } tal que
= , ent ao:
_
e conexo.
7.1. INTRODUC
AO 107
4. Seja A X subconjunto conexo. Se B X e tal que A B A, ent ao B e conexo.
Em particular, o fecho de um conexo e conexo.
Prova : 1. Note que f : X f(X) e contnua e sobrejetivaa. Se f(X) for desconexo,
existe g : f(X) {0, 1} contnua e sobrejetiva; logo g f : X {0, 1} contnua e
sobrejetiva, o que e uma contradic ao, pois X e conexo.
2.
E imediata.
3. Sejam{A
/ I} famlia de conexos, e:
A =
_
I
A
, tal que x
0
I
A
.
Suponha que existe f : A {0, 1} contnua. Como cada A
e conexo f
A
n ao e
sobrejetiva. Por outro lado, como x
0
A
A
e sobrejetiva. Logo f n ao e sobrejetiva.
4. Seja f : X {0, 2} contnua; como A e conexo, ent ao f
A
n ao e sobrejetiva. Por
outro lado, B = A B = A
B
e pela continuidade de f:
f(B) = f(A
B
) f(A) = f(A);
logo f n ao e sobrejetiva.
Proposi c ao 7.2. X e Y s ao conexos se, e somente se X Y e conexo.
Prova : Sejam X e Y conjuntos conexos tais que XY = AB, onde A e B s ao abertos
disjuntos. Ou A = A
1
Y , A
1
X aberto ou existe x X tal que
_
{x} Y
_
A = e
_
{x} Y
_
B = .
Exemplo 7.3.
[1] S
1
R
2
com a topologia usual e conexo. De fato; seja f : [0, 1] R
2
denida por
f(t) = e
2i t
que e contnua e S
1
= f([0, 1]. Em particular:
S
1
R,
pois, R {x} e desconexo e S
1
{p} e ainda conexo.
[2] O toro T
2
= S
1
S
1
e conexo. Em geral, T
n
e conexo.
[3] R
n
e I
n
= [0, 1] [0, 1] s ao conexos.
[4] A faixa de Moebius, o plano projetivo real, o plano projetivo complexo e a garrafa
de Klein s ao conexos.
[5] Sejam
X = {(x, y) / y = sen(1/x), 0 < x 1} e Z = {0} [1, 1].
O conjunto X e conexo, pois e imagem de (0, 1] por uma func ao contnua, Z tamb em e
conexo; pelo corol ario [7.2], X Z e conexo. Note que emR
2
, X = X Z.
108 CAP
ITULO 7. CONEXIDADE
1
-1
1
Figura 7.1: X = X Z.
[6] Seja a famlia S
1
r
= {(x, y) R
2
/ (xr)
2
+y
2
= r
2
}, logo (0, 0) S
1
r
para todo r > 0.
Figura 7.2: A famlia S
1
r
.
Como cada S
1
r
e conexo, pelo corol ario [7.2]:
D =
_
r>0
S
1
r
= {(x, y) R
2
/ (x r)
2
+y
2
r
2
},
e conexo.
7.2 Aplicac oes
A primeira aplicac ao que estudaremos e relativa as variedades topol ogicas:
Toda 1-variedades conexa e compacta e homeomorfa a S
1
e toda 1-variedades conexa
e n ao compacta e homeomorfa a R.
Teorema de Classica c ao das Superf cies: Toda superfcie topol ogica, compacta e co-
nexa e homeomorfa a S
2
, c opias de T
2
ou c opias PR
2
.
O caso da classicac ao das 3-variedades e conhecida como a conjetura de geome-
triza c ao de Thurston que inclui a c elebre conjetura de Poincar e. O matem atico ruso
Grigori Perelman provou a conjetura de geometrizac ao de Thurston recentemente.
7.2. APLICAC
OES 109
A segunda aplicac ao que estudaremos e a generalizac ao do teorema do Valor Inter-
medi ario do C alculo.
Proposi c ao 7.3. Sejam X conexo, R com a topologia usual e f : X R contnua. Sejam
x
1
, x
2
X tais que f(x
1
) < f(x
2
). Ent ao para todo c R tal que f(x
1
) < c < f(x
2
), existe
x X tal que f(x) = c.
Prova : Se f e contnua, ent ao f(X) R e conexo, logo f(X) e um intervalo. Se
f(x
1
) = a e f(x
2
) = b, ent ao [a, b] R; portanto, para todo c [a, b] existe x X tal que
f(x) = c.
Corol ario 7.3.
1. Toda f : [0, 1] [0, 1] contnua admite, pelo menos menos um, ponto xo. Isto e, existe
x [0, 1] tal que f(x) = x.
2. Teorema de Borsuk - Ulam para n = 1: Seja f : S
1
R contnua. Existem pontos
antipodais que possuem a mesma imagem.
Prova : 1. Seja F(x) = f(x) x; ent ao F(1) 0 F(0). Pelo teorema do valor
intermedi ario, existe x [0, 1] tal que F(x) = 0.
2. Utilizando coordenadas polares, podemos denotar os elementos de S
1
pelo angulo
, medido em radianos. Logo, os pontos e + s ao antpodas; consideremos a func ao
F() = f() f( + ); ent ao como f(0) = f(2 ) e F(0) = F(), pelo teorema do
valor intermedi ario, existe
1
[0, ] tal que F(
1
) = 0.
Proposi c ao 7.4. Seja n > 1 e A R
n
, A enumer avel. Ent ao R
n
A e conexo.
Prova : Sem perda de generalidade, podemos supor que a origem 0 / A(caso contr ario,
por translac ao, movemos a origem). Seja x R
n
A. Provaremos que a origem e cada
x, est ao contidos num conjunto conexo de R
n
A e pelo corol ario [7.2], R
n
A ser a
conexo. Denotemos por
0x a semi-reta que liga a origem ` a x e por L uma reta qualquer
que intersecte
0x em unico ponto diferente de 0 e x. Para todo z L, seja L
Z
=
0z zx.
Pelo corol ario [7.2] cada L
x
e conexo e L
Z
L
z
= {0, x}.
x
0
L
L
z
z
A
Figura 7.3:
110 CAP
ITULO 7. CONEXIDADE
Pelo menos um L
z
R
n
A; caso contr ario se L
z
A = , para todo z L, o ponto de
intersec ao, necessariamente, deve ser diferente para diferentes z L. Logo, teramos
uma correspond encia biunvoca entre L e A, o que e impossvel, pois A e enumer avel.
Corol ario 7.4. R e R
n
, n > 1 n ao s ao homeomorfos.
Prova : Suponha que R
n
=
h
R; ent ao
_
R
n
{x}
_
=
_
R {h(x)}
_
. Como R
n
{x} e
conexo, R {h(x)} seria conexo. Portanto n ao podem ser homeomorfos.
Provar que R
n
R
m
se n = m e, surpreendentemente, muito mais complicado. Este
resultado segue do teorema chamado da invari ancia da dimens ao, cujo enunciado
e: se R
n
= R
m
, ent ao n = m. A prova deste teorema envolve delicados conceitos
topol ogicos que cam fora do contexto destas notas.
Deni c ao 7.2. Seja x X,. A componente conexa de x e a uni ao de todos os conjuntos
conexos que cont em a x.
Denotamos por C(x) a componente conexa de x. Pelo corol ario [7.2], C(x) e o maior
conexo que cont em x. Se X e conexo, ent ao C(x) = X, para todo x X.
Proposi c ao 7.5. C(x) e fechado em X.
Prova : Sabemos que C(x) C(x), para todo x X e que C(x) e conexo. Como C(x) e
o maior conexo que cont em x, ent ao C(x) C(x).
Exemplo 7.4. S
n
R
n1
, com a topologia usual, e conexo.
De fato; consideremos o homeomorsmo S
n
{p}
= R
n
dado pela projec ao estere-
ogr aca. Como R
n
e conexo, ent ao S
n
{p} e conexo e:
S
n
= S
n
{p}.
7.3 Conexidade por Caminhos
Sejam
_
X, T
_
e I = [a, b] R um intervalo fechado, com a topologia induzida pela
topologia usual de R.
Deni c ao 7.3. Um caminho em X e uma fun c ao : I X, contnua.
Os pontos (a) e (b) s ao ditos ponto inicial e nal do caminho, respectivamente. Um
caminho n ao e um conjunto em X. Por exemplo, considerando R com a topologia
usual, ent ao:
1
: [0, 1] R e
2
: [0, 1] R,
denidos por
1
(t) = t e
2
(t) = t
2
s ao dois caminhos ligando 0 e 1.
Deni c ao 7.4. X e dito conexo por caminhos ou conexo por arcos, se para todo x
1
, x
2
X, existe caminho ligando x
1
a x
2
.
7.3. CONEXIDADE POR CAMINHOS 111
Exemplo 7.5.
[1] R
n
e conexo por caminhos. Em geral, todo espaco vetorial e conexo por caminhos.
[2] O grupo O(n) n ao e conexo por caminhos. De fato, se consideramos duas matri-
zes em O(n), tais que uma tenha determinante positivo e a outra determinante nega-
tivo, qualquer caminho contnuo ligando estas matrizes, necessariamente dever a pas-
sar pela matriz nula.
Proposi c ao 7.6. Seja X conexo por caminhos e f : X Y contnua e sobrejetiva. Ent ao Y
e conexo por caminhos.
Prova : Sejam y, y
1
Y ; como f e sobrejetiva, existem x, x
1
X tais que f(x) = y e
f(x
1
) = y
1
. Como X e conexo por caminhos, existe : I X contnua ligando x a
x
1
; logo denimos = f , que e um caminho que liga y a y
1
.
Corol ario 7.5. Se X
= Y , ent ao X conexo por caminhos se, e somente se Y conexo por
caminhos.
Pelo corol ario, podemos sempre considerar I = [0, 1]. Sejam , : I X caminhos
tais que (1) = (0), isto e, o ponto nal de coincide com o ponto inicial de . Nesta
condic oes, podemos denir:
:I X
t
_
(2 t) se 0 t 1/2
(2 t 1) se 1/2 t 1
O caminho e contnuo e ( )(0) = (0), ( )(1/2) = (1/2) = (1/2) e
( )(1) = (1). Logo, e um caminho em X ligando (0) a (1).
Proposi c ao 7.7. Seja {X
= , ent ao:
X =
_
1
e x
2
X
2
. Se z
, existem e
caminhos com x
1
X
1
e x
2
X
2
, ligando x
1
a z e x
2
a z, respectivamente. Basta
considerar o caminho , que liga x
1
a x
2
.
Proposi c ao 7.8. Se X e Y s ao conexos por caminhos, ent ao X Y e conexo por caminhos.
Prova : Sejam (x, y), (x
1
, y
1
) X Y . Denotemos por : I X e : I Y
caminhos ligando x a x
1
e y a y
1
, respectivamente. Logo:
:I X Y
t ((t), (t))
e um caminho em X Y , ligando (x, y) a (x
1
, y
1
).
112 CAP
ITULO 7. CONEXIDADE
Teorema 7.2. Se X e conexo por caminhos, ent ao X e conexo.
Prova : Sejam x, x
1
X e um caminho ligando x a x
1
. Ent ao, (I) e um conjunto
conexo que cont em x e x
1
; logo x e x
1
pertencem a mesma componente conexa, o que
implica que X possui uma unica componente conexa; portanto e conexo.
A reciproca do teorema e falsa. Veja o seguinte exemplo:
Exemplo 7.6.
Sabemos que se:
X = {(x, y) / y = sen(1/x), 0 < x 1} e Z = {0} [1, 1],
o conjunto Y = X Z e conexo, mas Y n ao e conexo por caminhos.
Provaremos que n ao existe caminho : [0, 1] Y tal que (0) X e (1) Z.
Suponha que tal caminho existe. Sem perda de generalidade, podemos supor que
(1) = (0, 1). Consideremos = 1/2; pela continuidade de , existe > 0 tal que
(t) (0, 1) < 1/2 se 1 t 1.
1
1
Figura 7.4:
Note que ([1 , 1]) e conexo. Denotemos por (1 ) = (x
0
, y
0
) e pr
1
(x, y) = x a
primeira projec ao de R
2
; ent ao pr
1
: [0, 1] R e contnua e o seguinte conjunto
C =
_
pr
1
_
([1 , 1]) e conexo com 0 C, pois (1) = (0, 1)); tamb em x
0
C.
Por outro lado, C e um intervalo e cont em [0, x
0
]; logo para todo x
1
(0, x
0
], existe
t [1 , 1] tal que (t) = (x
1
, sen(1/x
1
)). Em particular, se m = 2 n /2, para n
grande, temos que se x
1
= 1/m, ent ao 0 < x
1
< x
0
e sen(1/x
1
) = sen(/2) = 1; logo
o ponto (1/m, 1) = (t), para algum t [1 , 1], ou seja, o ponto (1/m, 1) est a a
uma dist ancia menor que 1/2 do ponto (0, 1). Istoe e uma contradic ao, pois (1/m, 1)
esta a uma dist ancia de pelo menos 2 do ponto (0, 1).
Proposi c ao 7.9. Seja R
n
com a topologia usual, se A R
n
e aberto, ent ao A e conexo por
caminhos.
Prova : Seja p A e denotemos por:
F = {x A/ x pode ser ligados a p por um caminho em A}
7.3. CONEXIDADE POR CAMINHOS 113
Armamos que F e aberto:
De fato, seja x F A, como A e aberto, existe > 0 tal que D = {y / x y < , }
e uma vizinhanca de x e x D A. Por outro lado, D e conexo por caminhos, (pois e
homeomorfo a R
n
); logo, todo ponto de D pode ser ligado a p por um caminho em D.
Por tanto, todo ponto de D pode ser ligado a p por um caminho em A. Isto e, D F e
F a aberto.
Armamos que F e fechado.:
De fato, seja B = EF; logo B e o conjunto de todos os pontos de Aque n ao podem ser
ligados a p por um caminho em A. Por um argumento an alogo ao anterior e possvel
vericar que B e aberto e por tanto F e fechado. Logo, F e n ao vazio, aberto e fechado,
como A e conexo, ent ao A = F.
114 CAP
ITULO 7. CONEXIDADE
7.4 Exerc cios
1. R
n
com a topologia usual. Verique se os seguintes conjuntos s ao ou n ao conexos.
(a) {(x, y) / x > 1}.
(b) {(x, y) / x = y}.
(c) {(x, y) / xy > 0}.
(d) {(x, y, z) / x
2
+y
2
+z
2
> 4}.
(e) {(x, y, z) / x
2
+y
2
+z
2
> 4}
c
.
2. Seja Y um conjunto ordenado, com a relac ao de ordem. Denotemos por y < y
1
se y y
1
e y = y
1
. Denamos a topologia em Y que tem como subbase S =
{L
y
, R
y
}, onde:
L
y
= {x Y / x < y} e R
y
= {z Y / y < z}.
Note que se Y = R, ent ao o intervalo (a, b) = R
a
L
b
. A topologia gerada por esta
subbase e chamada topologia da ordem e Y e dito espaco odenado. Verique que
o teorema do valor intermedi ario, pode ser estendido a espacos ordenados.
3. Verique que:
(a) R S
1
.
(b) S
1
S
n
se n > 1.
4. Sejam
_
X, T
_
e R com a topologia usual. Dizemos que f : X R e localmente
constante se, para todo x X existe U vizinhanca de x tal que f : U R e
constante. Verique que:
(a) Se X e conexo e f localmente constante, ent ao f e constante.
(b) Se toda f : X R e localmente constante, ent ao X e conexo.
5. Seja f : X Y um homeomorsmo local tal que X e compacacto e conexo.
Verique que existe n N tal que para todo y Im(f) a cardinalidade de f
1
(y)
e n.
6. Verique que todo espaco com a topologia indiscreta e conexo por caminhos.
7.4. EXERC
ICIOS 115
7. Seja X um espaco topologico e a seguinte ralac ao de equival encia:
x y se existe um caminho ligando x a y em X.
Verique que X e conexo por caminhos X
_
e conexo por caminhos.
8. Un espaco X e dito totalmente disconexo, se os unicos subconjuntos conexos s ao
os de um elemento. Verique:
(a) Se X e de Hausdorff e nito, ent ao e totalmente disconexo.
(b) Se X tema topologia discreta, ent ao e totalmente disconexo. Vale a recproca?
9. Seja X espaco topologico, denotemos por K = {f : X Z
2
contnuas}, Z
2
com
a topologia discreta. Denamos, para toda f, g K
(f +g)(x) = f(x) +g(x) mod 2.
(a) Verique que K e um grupo abeliano com esta operac ao.
(b) Verique que f +g e contnua.
(c) Verique que se X e conexo, se e, somente se K e isomorfo a Z
2
.
116 CAP
ITULO 7. CONEXIDADE
Bibliograa
[EL1] Lima E.: An alise em R
n
, Projeto Euclides, Impa - Brasil
[EL2] Lima E.: Espa cos M etricos, Projeto Euclides, Impa - Brasil
[DD] Dugundji J: Topology, Boston, Allyn & Bacon
[CK] Kosniowski C: A First Course in Algebraic Topology, Cambridge Univ. Press
117