Topologia

TOPOLOGIA GERAL
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 Matem 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. Muitos autores concordam que o primeiro a tentar estudar propriedades to-
pol ogicas foi Leibniz, em 1679. Posteriormente, Euler em 1736 publica a soluc ao do
problema das pontes da cidade de K oenigsberg, institulado Solutio problematis ad
geometriam situs pertinentis. As bases da Topologia moderna foram estabelicidas
no Congresso Internacional 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 axio-
mas, sem considerac aoes m etricas. Existem outras vertentes onde a topologia encon-
trou novos impulsos para seu desenvolvimento, por exemplo, na An alise Funcional e
nas Equac oes Diferenciais Ordin arias, atrav es de Banach e Poincar e, respectivamente.
A Topologia 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, ob-
jetos que possam transformar-se em outros, atrav es de func oes contnuas reversveis,
s ao equivalentes e indistinguiveis. Por exemplo, crculos e elipses, esferas e parale-
lelppedos.
A Topologia e pr e-requisito b asico em quase todas as areas da Matem atica moderna,
da Geometria Diferencial ` a

Algebra e e fonte atual de efervescente pesquisa.
Mauricio A. Vilches
Rio de Janeiro
4
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5 Sub-bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6 Topologia Relativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.7 Pontos e Conjuntos Not aveis . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8 Topologia M etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.8.1 Espacos M etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.8.2 Conjuntos Abertos e Fechados em Espacos M etricos . . . . . . . . 27
1.8.3 Espacos Vetoriais Normados . . . . . . . . . . . . . . . . . . . . . 28
1.8.4 Espacos Vetoriais com Produto Interno . . . . . . . . . . . . . . . 29
1.9 Topologia de Zariski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.9.1 Topologia de Zariski em An eis . . . . . . . . . . . . . . . . . . . . 31
1.10 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2 FUNC

OES EM ESPAC OS TOPOL

OGICOS 37
2.1 Func oes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.2 Continuidade em Espacos M etricos . . . . . . . . . . . . . . . . . . . . . . 42
2.3 Topologia Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.3.1 Topologia Produto . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.4 Func oes Abertas e Fechadas . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3 HOMEOMORFISMOS 53
3.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2 Exemplos de Homeomorsmos . . . . . . . . . . . . . . . . . . . . . . . . 58
3.2.1 Grupos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.3 Homeomorsmos Locais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5
6 CONTE

UDO
4 TOPOLOGIA QUOCIENTE 73
4.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.2 Espacos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.2.1 O Crculo como Espaco Quociente . . . . . . . . . . . . . . . . . . 77
4.2.2 O Cilindro como Espaco Quociente . . . . . . . . . . . . . . . . . 78
4.2.3 A Faixa de M oebius como Espaco Quociente . . . . . . . . . . . . 78
4.2.4 A Esfera como Espaco Quociente . . . . . . . . . . . . . . . . . . . 79
4.2.5 O Toro como Espaco Quociente . . . . . . . . . . . . . . . . . . . . 80
4.2.6 A Garrafa de Klein . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.2.7 O Cone e Suspens ao de um Conjunto . . . . . . . . . . . . . . . . 82
4.3 Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
4.4 Ac oes de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4.4.1 G-espacos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
4.4.2 O Crculo como Z-espaco . . . . . . . . . . . . . . . . . . . . . . . 93
4.4.3 O Toro como Z Z -espaco . . . . . . . . . . . . . . . . . . . . . . 94
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
5 COMPACIDADE 97
5.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
5.2 Compacidade em Espacos M etricos . . . . . . . . . . . . . . . . . . . . . . 101
5.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
6 AXIOMAS DE SEPARAC

AO 107
6.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
6.2 Espacos de Fr echet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
6.3 Espacos de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
6.4 Topologia Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
6.5 Homeomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
6.6 Variedades Topol ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
6.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
7 CONEXIDADE 123
7.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
7.2 Aplicac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
7.3 Conexidade por Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
7.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
Bibliograa 134
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
ITULO 1. ESPAC OS TOPOL

OGICOS
1.2 Exemplos
A seguir apresentaremos uma s erie de exemplos que utilizaremos em todos os captu-
los seguintes.
[1] Todo conjunto X n ao vazio possui as seguintes topologias:
T
ind
= {X, }, chamada topologia indiscreta. Logo, os unicos subconjuntos abertos
de X s ao e X.
T
dis
= P(X), chamada topologia discreta. Logo, todos os subconjuntos de X s ao
abertos.
Se X tem mais de 2 elementos T
ind
= T
dis
.
[2] Seja X = {a, b, c}. Veriquemos se as seguintes famlias de subconjuntos de X s ao
uma topologia em X.
1. T
1
= {, X, {a}}.
2. T
2
= {, X, {a}, {b}}.
3. T
3
= {, X, {a}, {b}, {a, b}}.
Claramente, T
1
e T
3
s ao topologias para X. T
2
n ao e uma topologia em X, pois:
{a} {b} / T
2
.
[3] Seja X = {a, b}. A topologia:
T
sier
= {, X, {a}}
e dita de Sierpinski.
[4] Seja X = R e denamos a seguinte topologia:
T = {, A R},
onde A T se, e somente se para todo x A existe um intervalo aberto (a, b) tal que:
x (a, b) A.
1. Claramente , R T.
2. Seja {A
T/ }, ent ao:
_
T.
1.2. EXEMPLOS 9
De fato, seja x
_
, ent ao existe
0
tal que x A
0
T; logo, existe (a, b) e:
x (a, b) A
0

_
.
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
.
10 CAP

OGICOS
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
.
Se M n ao e limitado inferiormente, ent ao:
_
kM
G
k
= R
2
.
De fato, seja (x, y) R
2
, ent ao, existe k M tal que x y > k; caso contr ario, M seria
limitado inferiormente por x y, logo (x, y) G
k
.
3. Sejam G
k
1
, G
k
2
T
k
e considere k
1
= max{k
1
, k
2
}; ent ao, G
k
1
G
k
2
e:
G
k
1
G
k
2
= G
k
1
T
k
.
[7] Seja X um conjunto n ao vazio e:
T = {A X / A
c
e nito ou e X}.
T e uma topologia para X.
1. Claramente, X e pertencem a T.
2. Seja {A
T/ }; ent ao:
_
T.
De fato:
_
_
_
c
=
A
c
,
como A
c
e nito, a intersec ao e nita ou e todo X.

3. Sejam B
1
, B
2
, . . . , B
n
T, ent ao:
1.3. CONJUNTOS FECHADOS 11
_
n
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
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:
12 CAP

OGICOS
{c}
c
= {a, b} T
3
{a, c}
c
= {b} T
3
{b, c}
c
= {a} T
3
.
Teorema 1.1. Seja
_
X, T
_
espaco 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, arbitr arios tal que , ent ao:
F.
A prova e imediata. De fato:
_
n
_
i=1
F
i
_
c
=
n
i=1
F
c
i
T
_
_
c
=
_
F
c
T.
Exemplo 1.2.
Seja
_
R, T
us
_
; ent ao todo conjunto nito e fechado. De fato, dado x R, ent ao {x} e
fechado emR pois {x}
c
= (, x) (x, +); logo se A = {x
1
, x
2
, . . . x
n
} temos que:
A =
n
_
i=1
{x
i
}.
O exemplo anterior vale emR
n
.
1.3. CONJUNTOS FECHADOS 13
A propriedade de ser aberto ou fechado e independente uma da outra. Um conjunto
pode ser simultaneamante fechado e aberto, aberto e n ao fechado, fechado e n ao aberto
ou nehum dos dois.
A uni ao innita de conjuntos fechados pode n ao ser um conjunto fechado. Por exem-
plo, para todo subconjunto B X, temos:
B =
_
bB
{b}.
Uma topologia num espaco topol ogico tamb em pode ser caracterizada, pelos seus con-
juntos fechados.
Exemplo 1.3.
[1] Se X tem a topologia discreta, todo subconjunto de X e aberto e fechado.
[2] Seja X = R{0} com a topologia euclidiana; ent ao os conjuntos (, 0) e (0, +)
s ao abertos. Como cada um deles e complementar do outro, tamb em s ao fechados.
[3] O conjunto Q R n ao e aberto nem fechado com a topologia usual e nem com a
topologia conita de R.
Deni c ao 1.3. Sejam T
1
e T
2
topologias sobre X. Se T
1
T
2
, ent ao dizemos que a topologia
T
2
e mais na que T
1
.
Exemplo 1.4.
Em R
2
, T
cof
e menos na que a T
us
. De fato, seja A T
cof
; ent ao A
c
e nito; logo A
c
e
fechado emT
us
e A e aberto emT
us
.
As topologias sobre um conjunto nem sempre podem ser comparadas. Por exemplo:
Seja X = {a, b} com as topologias: T
1
= {, {a}, X} e T
2
= {, {b}, X}. ent ao T
1
e T
2
n ao podem ser comparadas.
Para toda topologia T sobre X temos:
T
ind
T T
dis
.
No exemplo [1], temos:
T
ind
T
1
T
3
T
dis
.
14 CAP

OGICOS
1.4 Bases
Muitas vezes para introduzir uma topologia num conjunto n ao e necess ario descrever
todos os conjuntos abertos da topologia, mas apenas alguns conjuntos especiais, os
chamados abertos b asicos da topologia.
Sejam
_
X, T
_
um espaco topol ogico e B uma famlia de subconjuntos de X tal que
B T.
Deni c ao 1.4. B e uma base para T se para todo A T, temos que:
A =
_
BB
B.
Como B T, ent ao toda uni ao de elementos de Btamb em pertence a T. Os elementos
de Bs ao ditos abertos b asicos da topologia.
Se B e uma base de T, dizemos que Bgera a topologia T, ou que T e a topologia gerada
por B.
Para todo A T existe B Btal que B A. De fato, seja x A; como A T e B e
uma base de T, ent ao:
A =
_
,
onde B
B. Logo, existe tal que:

x 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
.
1.4. BASES 15
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}.
Devemos provar que T e uma topologia sobre X. Claramente T; por outro lado
X T, pelo tem 1.
Sejam A
T, arbitr arios; cada A
=
_
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)}
16 CAP

OGICOS
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
= {[a, b) / a < b}. Suponha que 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
tal que x [x, b) (a, b). Por

outro lado, dado [x, d) B
, n ao existe (a, b) B tal que x (a, b) [x, d). Logo, as

bases geram topologias diferentes.
1.5 Sub-bases
Seja
_
X, T
_
um espaco topol ogico e Suma famlia de subconjuntos de X tal que S T.
Deni c ao 1.6. S e uma sub-base de T se a cole c ao de interse c oes nitas de elementos de S e
uma base de T.
Proposi c ao 1.1. Sejam X um cojunto n ao vazio e S uma famlia de elementos de X
tais que para todo x X existe A S tal que x A. Seja Ba colec ao de intersec oes
nitas de elementos de S. Ent ao, a famlia T formada por , X e as uni oes arbitr arias
de elementos de B e uma topologia para X e e a menor topologia que cont emS.
Prova :
Claramente , X T e toda uni ao de elementos de T pertence a T. Mostraremos que
qualquer intersec ao nita de elementos de T est a emT, ou melhor, provaremos que se
A, B T, ent ao A B T:
Se A ou B e vazio, est a provada a proposic ao.
1. Suponha que A e B s ao n ao vazios. Ent ao:
A =
_
, B =
_
,
onde A
, B
B. Logo:
1.6. TOPOLOGIA RELATIVA 17
A B =
_
_
_
_
_
=
_
,
_
A
_
.
Por outro lado A
e B
s ao intersec oes nitas de elementos de S, logo A
e uma
intersec ao nita de elementos de S e, A B T.
2. Claramente S T.
3. Se T
e outra topologia em X que tamb em cont em S, ent ao B T
; logo, T
deve
conter as uni oes arbitr arias de elementos B, isto e T T
. Ent ao T e a menor topologia

sobre X que cont emS, isto e, S e uma sub-base de X.
Em geral S n ao e uma base de T, pois os elementos de T n ao podem ser escritos,
necessariamente, como uni oes de elementos de S.
Exemplo 1.6.
[1] Toda topologia e sub-base de si mesma.
[2] S = {(, a), (b, +) / a, b R} e uma sub-base para a topologia usual de R.
[3] S = {(, a], [b, +) / a, b R} e uma sub-base para a topologia discreta de R.
[4] Sejam
_
X, T
1
_
e
_
Y, T
2
_
espacos topol ogicos; ent ao:
S = {U Y, X V / U T
1
, V T
2
}
e uma sub-base para a topologia produto em X Y .
1.6 Topologia Relativa
Uma quest ao natural que surge das ultimas denic oes e: xada uma topologia num
conjunto, um subconjunto n ao vazio herda de alguma forma esta estrutura?
Seja
_
X, T
_
um espaco topol ogico e = Y X, ent ao:
T
Y
= {A Y / A T},
e uma topologia sobre Y chamada topologia relativa a Y .
Deni c ao 1.7. O par
_
Y, T
Y
_
e dito subespa co topol ogico de
_
X, T
_
. Os elementos de T
Y
s ao ditos abertos relativos.
Em geral, os abertos relativos n ao s ao abertos no espaco total. Veja os exemplos.
18 CAP

OGICOS
Exemplo 1.7.
[1] Seja R com a topologia usual e consideremos Q R com a topologia relativa, ent ao
A = {x Q/ 0 < x < 1} e aberto emQ pois A = (0, 1) Q e A n ao e aberto emR.
[2] Seja R com a topologia usual. N e Z R s ao subespacos topol ogicos tais que a
topologia relativa e a topologia discreta. De fato, se n Z ent ao:
{n} = Z
_
n
1
2
, n +
1
2
_
.
[3] Seja R = R {+} {} com a topologia gerada por:
{+} (a, +) e {} (, a).
A topologia T gerada por estes conjuntos e dita topologia estendida.
[4] Seja Y = R R com a topologia relativa; ent ao T
Y
e a topologia euclidiana.
Proposi c ao 1.2. Seja
_
Y, T
Y
_
subespaco topol ogico de
_
X, T
_
.
1. Seja B = {B
/ } uma base de T; ent ao B

Y
= {B
Y / } e uma base
para B
Y
.
2. A Y e fechado se, e somente se A = Y F, onde F X e fechado.
3. Se A e fechado (aberto) em Y e Y e fechado (aberto) em X, ent ao A e fechado
(aberto) em X.
Prova :
1. Imediata.
2. Se A Y e fechado, ent ao A = Y W, onde W e aberto em Y ; logo W = Y U,
onde U e aberto em X; por outro lado:
A = Y
_
Y U
_
= Y U
c
.
Reciprocamente, se A = Y F , onde F X e fechado, ent ao:
Y A = Y F
c
;
logo, A e fechado em Y .
1.7. PONTOS E CONJUNTOS NOT

AVEIS 19
3. Como A = Y F e ambos s ao fechados em X, ent ao A e fechado em X
Exemplo 1.8.
[1] Seja R com a topologia usual. O conjunto
S
1
= {(x, y) R
2
/ x
2
+y
2
= 1} R
2
com a topologia relativa e dito crculo unit ario. Os abertos relativos em S
1
s ao os arcos
abertos de crculos.
Figura 1.1: Abertos relativos de S
1
[2] Em geral, seja R
n+1
com a topologia usual. O conjunto:
S
n
= {(x
1
, . . . , x
n
, x
n+1
) R
n+1
/
n
i=1
x
2
i
= 1}
com a topologia induzida, e chamado esfera unit aria.
1.7 Pontos e Conjuntos Not aveis
Nesta sec ao estudaremos alternativas para determinar se um conjunto e aberto, e/ou
fechado.
Deni c oes 1.1. Seja
_
X, T
_
um espa co topol ogico e A X
1. x X e um ponto interior a A se existe U vizinhan ca de x tal que:
x U A.
O conjunto de todos os pontos interiores a A e denotado por:

A ou Int(A).
20 CAP

OGICOS
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 A Ext A, onde as uni oes s ao disjuntas. = e X = X.
A A e, por denic ao, e um conjunto aberto.

x / A se, e somente se existe uma vizinhanca U de x tal que U A = , isto e:
x / A x
_
A
c
_
.
Logo,
_
A
_
c
=
_
A
c
_
= Ext A e como X =
A A Ext A, onde as uni oes s ao disjuntas,

temos:
A =
A A,
sendo a uni ao disjunta.

AVEIS 21
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:
A = (0, 1), Ext A = (, 0][1, 2)(2, +), A = [0, 1]{2}, A
= [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.

Q = , pois nenhum intervalo aberto pode ser
formado apenas por racionais. Q = R, pois todo intervalo aberto contem racionais e
irracionais. Q = R, isto e, Q e denso em R. De fato, suponha que Q = R, ent ao existe
x R Q. Como R Q e aberto, existe (a, b) tal que:
x (a, b) R Q.
Por outro lado, todo intervalo cont em n umeros racionais, logo existe q Q tal que
q (a, b) R Q; logo q R Q, o que e uma contradic ao. Por outro lado Q
= 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.
22 CAP

OGICOS
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
_
.
Prova :
() Se x /
_
F
_
, ent ao x
_ _
F
__
c
=
_
F
c
_
que e aberto; logo, existe pelo
menos um F
c
tal que x F
c
; como F
c
e aberto, existe U vizinhanca de x tal que
x U F
c
A
c
; ent ao U A = ; logo x / A.
() A e fechado e A A; ent ao
_
F} A .
Exemplo 1.10.
[1] Seja
_
X, T
sier
_
; ent ao {b} = {b} e {a} = X.
[2] Seja
_
X, T
_
onde T e a topologia discreta. Como todos os subconjuntos de X s ao
fechados, o unico conjunto denso em X e X.
[3] Seja X = {a, b, c, d, e} com a seguinte topologia:
T = {, X, {a}, {c, d}, {a, c, d}, {b, c, d, e}}.
Pelo teorema temos que:
{b} = {b, e}, {a, c} = X e {b, d} = {b, c, d, e}.
Logo, o menor fechado que cont em{b} e {b, e}. Note que {a, c} e denso em X.
Teorema 1.4. Sejam
_
X, T
_
e A X; ent ao

A e o maior conjunto aberto contido em A,
isto e:
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.
_
X, T
_
e A X.
1. A = A A
. Em particular, A e fechado se, e somente se A
A.

AVEIS 23
2.

A =
_
A
c
_
c
. Em particular, A e aberto se, e somente se A =
A.
Prova :
1. Por denic ao A
A; por outro lado A A, ent ao A 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
.
Exemplo 1.11.
[1] Seja
_
X, T
sier
_
; ent ao:
{b} = ,
{a} = {a}. {b}
= e {a}
= {b}. {b} = {a} = b.

[2] Seja
_
X, T
ind
_
; ent ao:
Para todo A X tal que A = X, temos que

A = . Para todo A X n ao vazio, A = X.
Se A tem mais de um elemento, temos 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

A = . Se A e innito, A = X. Para todo A X tal que
A e innito, A
= X e se A e nito, A
= . Para todo A X aberto tal que X e innito,

A = X A; caso contr ario A = X.
[5] Considere
_
R, T
cof
_
e A = [0, 1]. Ent ao

A = e A = A
= A = R.
[6] Seja
_
X, T
ind
_
; para todo A X tal que A = X, temos que A = X.
[7] Seja
_
X, T
dis
_
; para todo A X temos que A = .
24 CAP

OGICOS
Proposi c ao 1.5. S ao equivalentes as seguintes condic 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 .
2. A
Y
= A Y .
3. A
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 25
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.
[2] (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:
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
|,
26 CAP

OGICOS
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.
1.8. TOPOLOGIA M
ETRICA 27
De fato, T
a
e claramente bijetiva, e:
d
1
(T
a
(x), T
a
(y)) = d
1
(v +a, w +a)
=
_
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 espaco m etrico formam uma base para uma
topologia no espaco m etrico.
28 CAP

OGICOS
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
.
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 espaco 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.8. TOPOLOGIA M
ETRICA 29
1. Se x = 0, ent ao x = 0.
2. x = || x.
3. x + y x +y.
O par (E, ) e chamado espaco vetorial normado.
Exemplo 1.17.
[1] (R
n
,
i
) e um espaco vetorial normado com as seguintes normas:
x
1
=
_
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
e chamada m etrica proveniente da norma

.
1.8.4 Espa cos Vetoriais com Produto Interno
Seja V umR-espaco vetorial.
Deni c ao 1.13. Um produto interno sobre V e uma fun c ao:
< >: V V R,
tal que, para todo x, y, z V e R, tem-se:
30 CAP

OGICOS
1. Se x = 0, ent ao < x, x >> 0.
2. < x, y >= < x, y >.
3. < x, y >=< y, x >.
4. < x +y, z >=< x, z > + < y, z >.
Seja (E, < >) um espaco vetorial com produto interno. Denindo:
x
< x, x >,
temos que (E,
)) e um espaco vetorial normado.
e chamada norma prove-

niente do produto interno < >. Nem toda norma num espaco vetorial prov em de um
produto interno.
1.9 Topologia de Zariski
A topologia de Zariski e fundamental para o estudo de diferentes areas da

Algebra,
como por exemplo,

Algebra Comutativa e Geometria Alg ebrica.
Seja K = R ou C. Consideremos a famlia dos polin omios de n-vari aveis emK. Isto e:
{f
i
/ f
i
K[x
1
, x
2
, , . . . , x
n
], i I}.
Seja:
Z(f
i
) = {x K
n
/ f
i
(x) = 0, i I}.
Exemplo 1.18.
Se f(x, y) = x
2
+y
2
1, ent ao Z(f) = S
1
.
Note que Z(cte) = e Z(0) = K.
Sejam Z(f
i
) e Z(g
j
). Denotemos h
ij
= f
i
g
j
K[x
1
, x
2
, , . . . , x
n
] tal que i I e j J.
Armamos que Z(f
i
) Z(g
j
) = Z(f
i
g
j
). De fato, se h
ij
(x) = 0 para todo i I e j J,
ent ao:
0 = h
ij
(x) =
_
f
i
g
j
_
(x) = f
i
(x) g
j
(x)
para todo i I e j J; logo f
i
(x) = 0 para todo i I ou g
j
(x) = 0 para todo j J.
Denotemos por D(f
i
) =
_
Z(f
i
)
_
c
e B = {D(f
i
) / i I}. A famlia B forma uma base
para uma topologia emK
n
.
1.9. TOPOLOGIA DE ZARISKI 31
Deni c ao 1.14. A topologia que gera Bem K
n
e chamada de Zariski.
Os Z(f
i
) s ao os fechados na topologia de Zariski. Em R, a topologia de Zariski e a to-
pologia conita. De fato, todo subconjunto nito emR e conjunto soluc ao para algum
polin omio de uma vari avel real.
Por exemplo, se R = {r
1
, r
2
, . . . , r
n
}, ent ao:
f(x) = (x r
1
) (x r
2
) . . . (x r
n
)
e um polin omio que tem como conjunto soluc ao R. Por outro lado o conjunto de
soluc oes de um polin omio de uma vari avel de grau n possui no m aximo n elemen-
tos.
Se n > 1 a topologia de Zariski n ao e a conita.
Por exemplo, a reta y = 1 e soluc ao do polin omio f(x, y) = x1 que n ao e um conjunto
nito emR
2
.
1.9.1 Topologia de Zariski em An eis
Seja A um anel e denotemos por Spec(A) o conjunto de todos os ideais primos de A.
Consideremos a seguinte famlia de subconjuntos:
V (I) = {p / p Spec(A), I p},
onde I e um ideal de A.
1. V (0) = Spec(A) e V (A) = . Por outro lado:
V (I) V (J) = V (IJ)
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}.
32 CAP

OGICOS
1.10 Exerccios
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?
1.10. EXERC
ICIOS 33
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.
11. Em particular, sejam a, b, c, d R e B = {(a, b) (c, d) / a < b, c < d}. Verique
que B e uma base para a topologia usual emR
2
.
12. Seja X = {1, 2, 3, 4, 5}. Verique que n ao existe nenhuma topologia em X que
tenha como base:
B= {{1, 2}, {2, 4, 5}, {3, 4, 5}}.
13. Seja X = {a, b, c, d, e, f} com a seguinte topologia:
T = {, X, {a}, {c, d}, {a, c, d}, {b, c, d, e, f}}.
Verique que:
B= {{a}, {c, d}, {b, c, d, e, f}}
e uma base para T.
14. Verique que B= {[a, b] / a, b R} e uma base para a topologia discreta emR.
15. Seja
_
X, T
_
e A X. Verique que:
(a) A A, se e somente se A e fechado.
(b) A = , se e somente se A e aberto e fechado.
(c) A A = , se e somente se A e aberto.
16. Seja p X e dena a seguinte topologia em X:
T = {, A P(X) / p A}.
Verique que T e uma topologia e que {p} e denso em X.
17. Verique se s ao m etricas:
(a) d
1
(x, y) = (x y)
2
, x, y R.
(b) d
2
(x, y) = |x
3
y
3
|, x, y R.
34 CAP

OGICOS
(c) d
3
(x, y) =
|x y|
1 +|x y|
, x, y R.
Nos casos armativos, descreva os abertos.
18. Verique que emR
n
, temos: d
3
d
1
d
2
nd
3
.
19. Seja C
0
_
[a, b]
_
o conjunto das func oes contnuas f : [a, b] R. Dena:
d
1
(f, g) =
_
b
a
|f(x) g(x)| dx
d
2
(f, g) =
_
b
a
|f(x) g(x)|
2
dx
Verique que d
1
e d
2
s ao m etricas em C
0
_
[a, b]
_
.
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)
.
1.10. EXERC
ICIOS 35
(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} < +}.
Denamos em l
p
e em l
, 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]:
36 CAP

OGICOS
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:
37
38 CAP
ITULO 2. FUNC


OGICOS
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
.
[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
.
_
X, T
1
_
,
_
Y, T
2
_
e
_
Z, T
3
_
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 subespaco topol ogico, ent ao:
f|
A
: A Y
e contnua.
2.1. FUNC

OES CONT
INUAS 39
3. Se f : X Y e contnua e f
_
X
_
Y e subespaco 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
_
espacos topol ogicos e f : X Y . As seguintes
condic oes s ao equivalentes:
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 vizinhanca de f(x) em Y , existe U vizinhanca 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 .
40 CAP
ITULO 2. FUNC


OGICOS
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
.
2.1. FUNC

OES CONT
INUAS 41
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) emX. Se f : A Y e g : B Y s ao func oes contnuas tais que f(x) = g(x)
para todo x A B, ent ao a func 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.
42 CAP
ITULO 2. FUNC


OGICOS
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.
_
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.
Acondic 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), ).
2.3. TOPOLOGIA INICIAL 43
Proposi c ao 2.3. Sejam (M, d) um espaco m etrico, R com a topologia usual, y
0
M
e A M. A func ao f : M R denida por f(y) = d(y, A) e contnua. Veja a
proposic 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)) < .
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.
44 CAP
ITULO 2. FUNC


OGICOS
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.
U
X x V
U x Y
U x V
V
Figura 2.1: Elementos de S e B.
Observa c ao 2.1.
Todos os argumentos desta sec ao s ao v alidos para uma quantidade nita de espacos
topol ogicos.
2.3. TOPOLOGIA INICIAL 45
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
coma topologia induzida de R
2
; ent ao T
2
= S
1
S
1
coma topologia produto,
e dito toro.
Figura 2.2: O toro T
2
= S
1
S
1
_
X, T
1
_
,
_
Y, T
2
_
,
_
Z, T
3
_
espacos topol ogicos,
_
Y Z, T
p
_
espaco
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.
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.
46 CAP
ITULO 2. FUNC


OGICOS
_
X, T
1
_
,
_
Y, T
2
_
,
_
Z, T
3
_
,
_
H, T
4
_
espacos topol ogicos,
_
X
Y, T
p
_
,
_
Z H, T
p
_
espacos topol ogicos produto, f
1
: X Z e f
2
: Y H. De-
namos:
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.
_
X, T
1
_
um espaco topol ogico e
_
E,
_
um R-espaco vetorial
normado. Como E possui uma estrutura alg ebrica, dadas f, g : X E podemos
denir a nova func 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 func 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 47
2.4 Fun c oes Abertas e Fechadas
Sejam
_
X, T
1
_
e
_
Y, T
2
_
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.
48 CAP
ITULO 2. FUNC


OGICOS
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.
Proposi c ao 2.8. Seja f : X Y . S ao equivalentes as condic 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 vizinhanca de x, existe W Y tal que:
f(x) W f(U).
Prova :
1) 2)
A A; ent ao f(
A) f(A); por outro lado 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).
2.4. FUNC

OES ABERTAS E FECHADAS 49
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.
50 CAP
ITULO 2. FUNC


OGICOS
2.5 Exerccios
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.
(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 .
2.5. EXERC
ICIOS 51
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.
52 CAP
ITULO 2. FUNC


OGICOS
Captulo 3
HOMEOMORFISMOS
3.1 Introdu c ao
Umdos problemas centrais emTopologia e poder decidir se dois espacos s ao diferentes
ou n ao. Por exemplo, n ao e trivial dizer sob o ponto de vista da Topologia que uma
esfera, se uma esfera e diferente de um toro ou se R
n
e diferente de R
m
, se n = m.
Neste captulo comecaremos com os primeiros conceitos que nos permitir ao responder
a algumas destas quest oes.
Sejam X e Y espacos topol ogicos.
Deni c ao 3.1. f : X Y e umhomeomorsmo se f e bijetiva, contnua e f
1
e contnua.
Se X e Y s ao homeomorfos utilizamos a seguinte notac ao:
X
= Y.
Acomposta de homeomorsmos e umhomeomorsmo. Ser homeomorfo e uma relac 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 encia,
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)).
53
54 CAP
ITULO 3. HOMEOMORFISMOS
f e contnua e bijetiva. Por outro lado,
f
1
: S
1
[0, 2 )
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)
= (1, 1). Denamos f : R (1, 1) por:

f(t) =
t
1 +|t|
,
3.1. INTRODUC

AO 55
f e bijetiva, contnua e sua inversa:
f
1
(y) =
y
1 |y|
,
tamb em e contnua. Logo, R
= (1, 1). Pela transitividade do homeomorsmo, temos

que:
R
= (a, b).
[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
s ao bijetivas, contnuas e as inversas h

1
= h
1, que s ao contnuas.
56 CAP
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
;
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 condic oes:
1. f homeomorsmo.
3.1. INTRODUC

AO 57
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).
58 CAP
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
3.2. EXEMPLOS DE HOMEOMORFISMOS 59
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
_
,
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
60 CAP
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.
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.
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
.
62 CAP
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
+
.
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
).
64 CAP
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
.
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 umgrupo, chamado ortogonal especial. O(n) e SO(n) s ao fechados emM
n
_
R
_
.
De fato:
66 CAP
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.
Seja K = C, denotemos por C
= C {0}. De forma an aloga ao caso real, denimos:

Gl(n, C) = det
1
_
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
U, temos que f(U
) e aberto em V , logo e aberto em Y .

Proposi c ao 3.1. Se f : X Y e um homeomorsmo local, ent ao f e aberta.
Prova : Seja A X aberto; para cada x A existe U
x
A vizinhanca de x tal que:
f : U
x
V
x
,
3.3. HOMEOMORFISMOS LOCAIS 67
onde f(U
x
) = V
x
. Seja 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
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
).
68 CAP
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
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:
3.3. HOMEOMORFISMOS LOCAIS 69
f :R
2
S
1
S
1
(x, y) (e
2ix
, e
2iy
)
s ao homeomorsmos locais.
70 CAP
3.4 Exerccios
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:
(a) G(X) e um grupo com a composta de func oes,
3.4. EXERC
ICIOS 71
(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?
72 CAP
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. Determine 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.
73
74 CAP
ITULO 4. TOPOLOGIA QUOCIENTE

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
.
Deni c ao 4.2. Sejam
_
X, T
_
,
_
Y, T
Y
_
e f : X Y sobrejetiva. A fun c ao sobrejetiva f que
induz a topologia quociente e chamada uma identica c ao se T
Y
= T
f
.
Se f e uma identicac ao, V e aberto em Y se, e somente se f
1
(V ) e aberto em X.
Se f e uma identicac ao, para todo P Y temos que f
_
f
1
(P)
_
= P, mas se S X,
em geral S f
1
_
f(S)
_
. Nem toda func ao bijetiva e contnua e uma identicac ao. Por
exemplo:
id :
_
X, T
1
_
_
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
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
4.1. INTRODUC

AO 75
tal que (p) = {p, p}. O par
_
M, T
_
e dito faixa de M oebius. Seja p = (x, y, z) C e
f : M R
3
denida por:
f({p, p}) = ((x
2
y
2
) (2 + xz), 2 xy (2 +xz), x y)
f e injetiva, contnua; logo M

= f(M) R
3
com a topologia induzida. De fato, pelo
teorema 4.1 anterior, denimos F : R
3
R
3
por F(x, y, z) = f(x, y, z) que e contnua.
Figura 4.1: Faixa de M oebius
Proposi c ao 4.2.
1. Sejam X e Y espacos topol ogicos, f : X Y uma func ao sobrejetiva, contnua
e aberta (fechada); ent ao f e uma identicac ao.
2. Sejam X e Y espacos topol ogicos, f : X Y uma func ao contnua. Se existe
uma func ao g : Y X tal que f g = id
Y
, ent ao f e uma identicac 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.
76 CAP

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 espacos
topol ogicos e f : X Y uma identicac 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:
4.2. ESPAC OS QUOCIENTES 77
: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.
Deni c ao 4.3. Seja
_
X, T
_
umespa co topol ogico. O par
_
X
_
, T
_
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.2: Construc ao de S
1
78 CAP

Logo, : I
_
I
_
_
e uma identicac ao. Note que e bijetiva salvo para x = 0 e
x = 1 e:
_
I
_
= S
1
.
Nos seguintes exemplos, as setas indicam o sentido dos pontos que est ao na mesma
classe de equival encia.
4.2.2 O Cilindro como Espa co Quociente
Seja I
2
R
2
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.
1
I
4.2.3 A Faixa de M oebius como Espa co Quociente
Seja I
2
R
2
2
. Consideremos em
I
2
(x, y) (x
1
, y
1
) (x, y) = (x
1
, y
1
) ou (0, y) (1, 1 y),
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.
(0,a)
(0,1-a)
(0,b)
(0,1-b)
Figura 4.4: Construc ao da Faixa de M oebius
Nos pr oximos captulos, vericaremos que a faixa de M oebius e homeomorfo a uma
superfcie parametrizada emR
3
:
Figura 4.5: Faixa de M oebius
4.2.4 A Esfera como Espa co Quociente
I
2
R
2
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) (x, 0) e (x, 1) (1, y),
80 CAP

1
, y
1
) I
2
Se x, y = 0, 1, ent ao [(x, y)] = {(x, y)}, [(x, 0)] = [(0, y)] e [(x, 1)] = [(1, y)]. 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) e
_
I
2
_
= S
2
.
2
4.2.5 O Toro como Espa co Quociente
Seja I
2
R
2
2
. Consideremos em
I
2
(x, y) (x
1
, y
1
) (x, y) = (x
1
, y
1
) ou (0, y) (1, y) e (x, 0) (x, 1),
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) e
_
I
2
_
= S
1
S
1
.
Figura 4.7: Construc ao do toro
As possveis vizinhancas de pontos no toro:
Figura 4.8: Projec ao das vizinhancas no toro
Nos pr oximos captulos, vericaremos que o toro e homeomorfa a uma superfcie pa-
rametrizada emR
3
:
Figura 4.9: O toro
4.2.6 A Garrafa de Klein
Seja I
2
R
2
2
. Consideremos em
I
2
a seguinte relac ao de equival encia:
82 CAP

(x, y) (x
1
, y
1
) (x, y) = (x
1
, y
1
), ou (0, y) (1, y) e (x, 0) (1 x, 1),
1
, y
1
) I
2
Se x, y = 0, 1, ent ao [(x, y)] = {(x, y)} e [(0, y)] = [(1, y)] e [(x, 0)] = [(1 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 (1 x, 1).
_
I
2
_
_
e chamada garrafa de Klein. Note que a garrafa de Klein cont em uma faixa de
M oebius.
Figura 4.10: Construc ao da Garrafa de Klein
Figura 4.11: 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.12: O cone sobre X.
Seja f : X Y contnua. Ent ao Cf : CX CY tal que Cf([x, t]) = [f(x), t] e
contnua. De fato, basta considerar o diagrama comutativo:
X I
h
Y I
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.13: Suspens ao de X.
84 CAP

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
Deni c ao 4.4. Sejamf : 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 relac oes de equival encias em X e Y respectiva-
mente. Se f e contnua e preserva as relac 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 identic ao, ent ao F e uma identicac 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 espacos topol ogicos e f : X Y contnua e sobrejetiva.
Se e uma relac 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.
4.3. TEOREMAS 85
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.
2. Se F([x]) = F([x
1
]), ent ao (F )(x) = (F )(x
1
), isto e f(x) = f(x
1
) x x
1
;
logo [x] = [x
1
]. Ent ao F e bijetiva.
O seguinte corol ario e muito util para reconhecer espacos quocentes homeomorfos a
espacos j a conhecidos.
Corol ario 4.1. Comas hipot eses do teorema 4.2, s ao equivalentes as seguintes armac oes:
1. f e uma identic ao.
2. F e um homeomorsmo.
Prova : 1) 2) Pelo teorema [4.2], basta provar que F e aberta. De fato, observe que
para todo A X
_
temos que
1
(A) = f
1
(F(A)).
2) 1) U X
_
e aberto
1
(U) e aberto em X f
1
_
F(U)
_
e aberto em X
F(U) e aberto em Y , pois Y tem a topologia quociente induzida por f.
Corol ario 4.2. Nas hip otese do teorema [4.2], se f e um homeomorsmo, ent ao:
_
X
_
=
_
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.
86 CAP

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 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.
4.4. AC

OES DE GRUPOS 87
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.
Ent ao, R e umZ-conjunto.
[5] Sejam X = R
2
e
_
Z
2
, +
_
. Denamos:
:Z
2
R
2
R
2
((n, m), (x, y)) (n, m) (x, y) = (n +x, m +y).
88 CAP

Ent ao, R
2
e umZ
2
-conjunto.
[6] Sejam X = {(x, y) R
2
/ y
_
1/2, 1/2
} 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.
4.4. AC

OES DE GRUPOS 89
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.
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.
90 CAP

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.
Exemplo 4.8.
[1] S
n
_
Z
2
e umZ
2
-espaco.
[2] R/Z e umZ-espaco.
[3] R
2
/Z
2
e umZ
2
-espaco.
[4]. CP
n
e um S
1
-espaco.
[5] 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; ent ao R
2
_
G e um G-espaco. Note que G n ao e isomorfo a Z Z.
Se X e um G-espaco, a func ao
g
e um homeomorsmo, para todo g G. Se X e um
G-espaco, ent ao existe um homomorsmo de grupos:
: G Homeo(X)
g
g
.
Proposi c ao 4.4. Se X e um G-espaco a projec ao can onica:
: X X/G
e aberta.
4.4. AC

OES DE GRUPOS 91
Prova : Seja U X aberto. Devemos provar que (U) e aberto em X/G, o que e
equivalente a provar que
1
_
(U)
_
e aberto em X. De fato:
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-espaco e Y um H-espaco, onde
_
G,
_
e
_
H,
_
s ao tais que:
: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-espaco e Y um H-espaco. Ent ao X Y e um GH-espaco.
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.
92 CAP

Proposi c ao 4.5. Com as notac 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
__
X Y
___
G H
__
,
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.
Exemplo 4.9.
Sejam X = R
2
e G = Z
2
. Denamos:
:Z
2
R
2
R
2
((n, m), (x, y)) (n, m) (x, y) = (n + x, m +y).
Ent ao, R
2
e umZ
2
-espaco, e:
R
2
_
Z
2

= R
_
Z R
_
Z
= S
1
S
1

= T
2
.
Observa c ao 4.1.
Agora estamos em condic oes de vericar alguns dos homeomorsmos vistos anterior-
mente.
4.4. AC

OES DE GRUPOS 93
4.4.2 O Crculo como Z-espa co
Seja Rcom a topologia usual e S
1
Ccom a topologia induzida pela usual de C; ent ao:
R/Z
= S
1
.
Seja f : R S
1
denida por f(x) = e
2ix
. Sabemos que f e um homeomorsmo local.
Veja o exemplo [3.3] .
Observemos que se consideramos R como grupo aditivo e S
1
como grupo multiplica-
tivo (multiplicac ao induzida por C). Ent ao:
f(x +y) = e
2i(x+y)
= e
2ix
e
2iy
= f(x) f(y),
isto e, f e um homomorsmo de grupos com n ucleo Z. Para todo x, y R, f(x) = f(y)
x y Z.
R e um Z-espaco com a operac ao n x = n + x. Logo, x y existe n Z tal que
y = n +x f(x) = f(y). Ent ao, f e uma identicac ao; pelo corol ario [4.1] temos:
R
f
/
S
1
R
_
Z
F
=
{
{
{
{
{
{
{
{
Logo F e um homeomorsmo, onde F([x]) = f(x), logo:
R/Z
=
F
S
1
.
Seja I = [0, 1] R com a topologia usual e S
1
C com a topologia induzida pela usual
de C, ent ao:
S
1

=
_
I/
_
,
onde x y x = y ou {x, y} = {0, 1}.
Seja f : I S
1
tal que e denida por f(x) = e
2ix
. Analogamante ao exemplo
anterior, f e uma identicac ao; pelo corol ario [4.1], temos:
I
f
/
S
1
I
_
F
=
z
z
z
z
z
z
z
z
Logo F
e um homeomorsmo:
94 CAP

S
1

=
F
_
I/
_
.
Ent ao:
R/Z
=
F
S
1

=
F
_
I/
_
.
4.4.3 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
)
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),
onde R > r > 0 e (t, s) R
2
.
Consideramos f : R
2
T
2
denido por f(t, s) = (x(t, s), y(t, s), z(t, s)). N ao e difcil
ver que
f(t
1
, s
1
) = f(t
2
, s
2
) (t
1
t
2
, s
1
s
2
) Z
2
.
Por um argumento totalmente an alogo ao anterior, obtemos um homeomorsmo:
R
2
/Z
2

= T
2
.
Seja I
2
R
2
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).
O homeomorsmo:
_
I
2
/
_
= T
2
ca para os pr oximos captulos.
4.5. EXERC
ICIOS 95
4.5 Exerccios
1. Seja X =
_
[1, 1] {1}
_
_
[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
.
2. 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.
3. 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.
4. Verique que RP
1

= S
1
.
5. Verique que CP
1

= S
2
.
6. Prove que se G e nito, ent ao e fechada.
7. Ache exemplos de G-espacos, onde G seja nito.
8. Para todo x, y X, Gx = Gy ou s ao disjuntas.
9. X =
_
xX
Gx, (uni ao disjunta).
10. 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.
96 CAP

Captulo 5
COMPACIDADE
Do C alculo sabemos que func oes contnuas denidas sobre conjuntos limitados e fe-
chados possuem um ponto de m aximo e um de mnimo absoluto (Teorema de Weiers-
trass) e da An alise conhecemos o teorema de Heine-Borel sobre intervalos encaixados.
As formulac oes de compacidade em espacos topol ogicos envolve muito mais do que o
conceito de fechado e limitado, os quais n ao s ao equivalentes.
A import ancia principal da compacidade e que ela nos permite obter propriedades
globais a partir de propriedades locais. Existem v arias formas de introduzir o conceito
de compacidade em espacos topol ogicos. N os escolhemos a seguinte.
5.1 Introdu c ao
Seja X um espaco topol ogico e S X.
Deni c ao 5.1.
1. Uma cobertura de S e uma famlia de subconjuntos U = {U
i
X / i J} tal que:
S
_
iJ
U
i
.
2. Se J e nito, a cobertura e dita nita.
3. A cobertura e dita aberta se os U
i
U s ao conjuntos abertos.
4. Se S = X, ent ao U e uma cobertura se:
X =
_
iJ
U
i
.
97
98 CAP
ITULO 5. COMPACIDADE
Exemplo 5.1.
Seja R com a topologia usual. Se (0, 1) R; ent ao U = {[1/n, 1 1/n] / n N} e uma
cobertura n ao aberta de (0, 1). Por outro lado, U = {(1/n, 1 1/n) / n N} e uma
cobertura aberta de (0, 1). U = {(n, n + 3) / n Z} e uma cobertura aberta de R.
Deni c ao 5.2. SejamU = {U
i
X / i J} e V = {V
k
X / k K} coberturas de S X.
Se para todo k K existe i J tal que U
i
= V
k
, ent ao, dizemos que V e uma subcobertura de
U.
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 condic oes:
1. X e compacto.
5.1. INTRODUC

AO 99
2. (Propriedade da interse c ao nita) Se {F
X / J} e tal que os F
s ao fecha-
dos 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).
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.
100 CAP
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.
Corol ario 5.2. X
1
, X
2
, . . . , X
n
s ao compactos se, e somente se X
1
X
2
. . . X
n
e com-
pacto.
5.2. COMPACIDADE EM ESPAC OS M
ETRICOS 101
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
_
M, d
1
_
e
_
N, d
2
_
espacos 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 = .
_
M, d
_
um espaco 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
(y) / y A}; como A e

compacto, existe uma cobertura nita {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
);
102 CAP
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:
Proposi c ao 5.7. (Heine-Borel) Um subconjunto e fechado e limitado em R
n
se, e so-
mente 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]
= [0, 1]. Logo, A e fechado contido num

compacto; ent ao, A e compacto.
Exemplo 5.6.
[1] S
n
e compacta.
[2] PR
n
e compacto.
[3] O toro e a esfera n ao s ao homeomorfos a R
2
.
[4] O toro e a esfera n ao s ao homeomorfos ao cilindro S
1
R.
[5] A faixa de Moebius e compacta.
[6] Os grupos O(n) e SO(n) s ao compactos.
De fato, sabemos que s ao fechados e para toda A O(n), temos que A
1
=
n. Logo,
O(n) e limitado.
Corol ario 5.3. (Weirstrass) Seja X um espaco 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.
5.2. COMPACIDADE EM ESPAC OS M
ETRICOS 103
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
.
bf 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.
Lema 5.1. (Lebesgue) Todo conjunto compacto numespaco m etrico possui umn 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}.
104 CAP
5.3 Exerccios
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.
5.3. EXERC
ICIOS 105
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.
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?
106 CAP
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 pontos
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
exemplo, 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},
107
108 CAP
ITULO 6. AXIOMAS DE SEPARAC

AO
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
.
6.3 Espa cos de Hausdorff
Seja
_
X, T
_
um espaco topol ogico
Deni c ao 6.2. X e um espa co de Hausdorff ou T
2
se para todo x, y X tal que x = y,
existem U, V T, x U e y V tais que U V = .
T
2
implica T
1
. A reciproca e falsa. Veja os seguintes exemplos:
Exemplo 6.2.
[1]
_
R, T
us
_
e de Hausdorff
[2]
_
X, T
dis
_
e os espacos topol ogicos metrizav eis s ao de Hausdorff.
[3]
_
X, T
ind
_
n ao e de Hausdorff.
[4]
_
R, T
cof
_
n ao e de Hausdorff. De fato. Para todo U, V T
cof
, temos U V = . De
fato, sejamU = RF
1
e V = RF
2
, onde F
1
e F
2
s ao nitos; ent ao UV = R
_
F
1
F
2
_
;
como F
1
F
2
e nito, ent ao U V = ; logo n ao pode ser de Hausdorff. Note que
_
R, T
cof
_
e T
1
.
[5] Utilizando propriedades dos an eis de polin omios e possvel vericar que topologia
de Zariski n ao e de Hausdorff.
Teorema 6.1. S ao equivalentes as seguintes condic oes:
1. X e de Hausdorff.
2. Se x X, para todo y = x existe uma vizinhanca U de x tal que y / U.
3. Para todo x X temos que:
{U / U vizinhanca de x} = {x}.
4. A diagonal = {(x, x) / x X} e um conjunto fechado em X X.
6.3. ESPAC OS DE HAUSDORFF 109
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} =
{U / U vizinhanca de x}, existe U tal que

x U e y / U. Por outro lado, U
_
U
_
c
= , ent ao (x, y) U
_
U
_
c

c
.
4) 1) Dados x = y, ent ao (x, y) / , isto e (x, y)
c
que e aberto; logo existe
vizinhanca U V de (x, y) tal que
_
U V
_
= .
_
U V
_
= existe x X tal que (x, x)
x U e x V
U V = .
Logo; x U e y V , U V = .
Corol ario 6.1.
1. Se X e de Hausdorff e Y X e um subespaco, ent ao Y e de Hausdorff.
2. Se Y e de Hausdorff e f : X Y e contnua e injetiva, ent ao X e de Hausdorff.
3. Se X e Y s ao de Hausdorff, ent ao X Y e de Hausdorff.
Prova : 1. Denotemos por
Y
a diagonal de Y , ent ao
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
).
110 CAP

AO
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.
[2] Seja X = N com a topologia dada no exerccio [2], tem 2. Seja A = {1}, A e
compacto e A = N pois para todo aberto A
n
temos A A
n
= {1}. Isto e, para todo
n N, n A e N n ao e compacto. De fato:
N =
_
nN
G
n
,
onde G
n
= {1, n}. Logo, o fecho de um compacto pode n ao ser compacto.
Corol ario 6.2. Sejam T
1
e T
2
topologias em X tal que T
1
T
2
. Se
_
X, T
1
_
e de Haus-
dorff e
_
X, T
2
_
e compact, ent ao T
1
= T
2
.
Prova : Seja U T
2
; logo F = U
c
e fechado em T
2
; ent ao F e compacto em T
2
. Por
outro lado, como T
1
T
2
, todo recobrimento aberto de X em T
1
e um recobrimento
aberto de X em T
2
; ent ao F e compacto em T
1
. Como
_
X, T
1
_
e de Hausdorff, segue
que F e fechado emT
1
; logo U T
1
e T
2
T
1
.
6.3. ESPAC OS DE HAUSDORFF 111
Proposi c ao 6.2. Sejam X espaco topol ogico, Y espaco de Hausdorff e f, g : X Y
contnuas. Ent ao:
1. {x X / f(x) = g(x)} e fechado em Y .
2. Se D X e denso e f
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.
Proposi c ao 6.3. Se X e compacto, Y e de Hausdorff e f : X Y e contnua, ent ao f
e fechada.
112 CAP

AO
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 espaco 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 espaco 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 identicac ao. Se f e
fechada, ent ao Y e de Hausdorff (compacto).
6.4. TOPOLOGIA QUOCIENTE 113
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
,
U
x
e V
x
s ao abertos tais que U
x
V
x
= e x U
x
, f
1
(y
2
) V
x
. Por outro lado,
{U
x
/ x f
1
(y
1
)} e uma cobertura de f
1
(y
1
), logo existe uma subcobertura nita
{U
x
/ x A}, onde A f
1
(y
1
) e A nito. Sejam:
U =
_
xA
U
x
e V =
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
relac 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.
E comum na literatura denotar-se X

_
por X
_
A.
Corol ario 6.6. Se X e um G-espaco compacto, de Hausdorff e G e nito, ent ao X/G e
compacto e de Hausdorff.
114 CAP

AO
Prova : Seja F X fechado, ent ao:
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 identicac 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 Homeomorsmos
Nas seguintes aplicac oes utilizaremos o corol ario [6.3]:
Corol ario 6.7. Sejam X compacto, Y de Hausdorff uma relac ao de equival encia em
X ef : X Y contnua e sobrejetiva tal que x x
1
f(x) = f(x
1
). Ent ao
X

= Y.
A) 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:
6.5. HOMEOMORFISMOS 115
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).
B) Seja T
2
o toro de revoluc ao. Ent ao:
T
2

= S
1
S
1

=
_
I
2
_
= R
2
_
Z
2
.
Pelo exemplo C em [4.1], provaremos que:
T
2

=
_
I
2
_
_
,
onde T
2
e o toro de revoluc ao emR
3
.
T
2
R
3
e 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),
onde R > r > 0 e (t, s) R
2
. Seja I = [0, 1] e consideramos I
2
R
2
com a topologia
usual e a relac ao de equival encia denida em I
2
por:
(s, 0) (s, 1) e (0, t) (1, t)
para todo (s, t) I
2
. Consideremos
_
I
2
_
_
com a topologia quociente e denamos:
f : I I T
2
por f(s, t) = (x(s, t), y(s, t), z(s, t)). Note que: para todo t , s I,
f(0, s) = (R +r cos(2t), 0, 0) = f(1, s)
f(t, 0) = ((R +r) cos(2t), (R +r) sen(2t), r sen(2t)) = f(t, 1)
f(0, 0) = f(1, 0) = f(0, 1) = f(1, 1) = (r +R, 0, 0).
f e bem denida, contnua e sobrejetiva. Como f e peri odica, ent ao (s, 0) (s, 1) e
(0, t) (1, t) f(s, t) = f(s
1
, t
1
). Logo, por passagem ao quocientes, f induz uma
116 CAP

AO
bijec ao contnua F tal que F = f. Em outras palavras, temos o seguinte diagrama
comutativo:
I
2
f
/
T
2
I
2
_
F
<
y
y
y
y
y
y
y
y
Como
_
I
2
_
_
e compacto e T
2
e de Hausdorff, ent ao F e um homeomorsmo. Note
que F([t
1
, t
2
]) = f(t
1
, t
2
). Logo, provamos que:
T
2

= S
1
S
1

=
_
I
2
_
= 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
/ .
C) 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
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:
6.5. HOMEOMORFISMOS 117
S
1
f
/
S
1
RP
1
F
=
z
z
z
z
z
z
z
z
Logo, temos que RP
1

= S
1
.
D) 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
Xdenida 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
.
F) 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
.
118 CAP

AO
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.
Sejam A
1
A
2
, ent ao A
1
= A
2
A, para algum A O(n 1); logo:
f(A
1
) = A
1
_
_
_
1
.
.
.
0
_
_
_
= A
2
A
_
_
_
1
.
.
.
0
_
_
_
= A
2
_
_
_
1
.
.
.
0
_
_
_
= f(A
2
).
Logo, temos o seguinte diagrama comutativo:
O(n)
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(n 1) 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
.
G) 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), x y).
6.6. VARIEDADES TOPOL

OGICAS 119
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.
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 va-
riedade 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, respectiva-
mente, ent ao X Y e uma variedade de dimens ao n +m. (Verique!).
120 CAP

AO
Exemplo 6.6.
[1] A esfera S
n
e uma variedade topol ogica de dimens ao n. Segue de imediato, basta
considerar a projec ao stereogr aca.
[2] T
n
= S
1
. . . S
1
(n-vezes) e uma variedad topol ogica de dimens ao n.
[3] Os espac os projetivos reais e complexos s ao variedades topol ogicas de dimens ao n
e 2 n, respectivamente.
[4] A garrafa de Klein e uma superfcie topol ogica.
[5] A Faixa de M oebius n ao e uma superfcie topol ogica. Por que?
6.7. EXERC
ICIOS 121
6.7 Exerccios
1. Se X e de Hausdorff e f : X Y e uma bijec ao fechada. Verique que Y e de
Hausdorff.
2. Seja X, onde a topologia em X e denida por: U e aberto se, e somente se U =
ou U
c
e nito. X e de Hausdorff?
3. Se X e de Hausdorff e A X nito tal que A
= . Verique que A e fechado.

4. Seja X = {(x, 1) R
2
/ x R} {(x, 1) R
2
/ x R}. Verique que X n ao e de
Hausdorff com a topologia induzida pela topologia usual de R
2
.
5. Ache exemplos de
_
X, T
1
_
espaco topologico,
_
Y, T
2
_
de Hausdorff e f : X Y
bijec ao contnua tal que n ao seja homeomorsmo.
6. Verique que CP
0
e um ponto e CP
1

= S
2
.
7. Se X e de Hausdorff. X e dito 0-dimensional se X possui uma base cujos elemen-
tos s ao abertos e fechados.
(a)
_
R, T
us
_
,
_
Q, T
us
_
e
_
Z, T
us
_
s ao 0-dimensionais?
(b) Se X e Y s ao 0-dimensionais, ent ao X Y e 0-dimensional?
8. Todos os conjuntos abertos de R
n
s ao variedades topol ogicas de dimens ao n.
122 CAP

AO
Captulo 7
CONEXIDADE
7.1 Introdu c ao
Deni c ao 7.1. Seja X um espa co topol ogico. X e dito conexo se n ao existem A e B abertos
disjuntos n ao vazios tais que X = A B. Caso contr ario X e dito desconexo.
Observa c ao 7.1.
A X e conexo, se e conexo como subespaco de X.
Exemplo 7.1.
[1] {x} e s ao sempre conexos.
[2] Em
_
X, T
ind
_
, todo subconjunto e conexo.
[3] Em
_
X, T
dis
_
, os unicos conexos n ao vazios s ao os conjuntos de um elemento.
[4] Seja
_
R, T
us
_
,
i) Q R e desconexo. De fato, basta considerar:
A = (,
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 emR com
mais de um ponto s ao os intervalos (abertos, fechados, etc).
123
124 CAP
ITULO 7. CONEXIDADE
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.
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 =
A e existe > 0 tal que

( , + ) A, contradic ao, pois e um supremo.
Segue de imediato da proposic ao anterior:
Corol ario 7.1. Seja R com a topologia usual. A R e conexo se, e somente se A = ,
A = {x} ou A e um intervalo.
Teorema 7.1. S ao equivalentes:
1. X conexo.
2. Os unicos subconjuntos abertos e fechados em X s ao X e .
3. N ao existe func ao f :
_
X, T
_
_
{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.
7.1. INTRODUC

AO 125
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 comum, e conexa. Isto e. Seja {A
/, } tal que
= , ent ao:
_
e conexo.
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
n ao e
sobrejetiva. Por outro lado, como x
0
A
, para todo I; ent ao f(x) = f(x

0
), para
todo x A
e I; caso contr ario f
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 = .
126 CAP
ITULO 7. CONEXIDADE
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.
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
.
7.2. APLICAC

OES 127
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 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 : Semperda de generalidade, podemos supor que a origem0 / 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
128 CAP
ITULO 7. CONEXIDADE
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:
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 129
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
.
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
130 CAP
ITULO 7. CONEXIDADE
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
/ } uma famlia arbitr aria de espacos conexos por cami-

nhos tal que
= , ent ao:
X =
_
e conexo por caminhos.

Prova : Sejam x
1
, x
2
X tais que x
1
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 cami-
nhos.
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
).
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.
7.3. CONEXIDADE POR CAMINHOS 131
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}
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 = E F; logo B e o conjunto de todos os
pontos de A que 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.
132 CAP
ITULO 7. CONEXIDADE
7.4 Exerccios
1. R
n
coma 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.
7.4. EXERC
ICIOS 133
6. Verique que todo espaco com a topologia indiscreta e conexo por caminhos.
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.
134 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
135

Topologia

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Topologia

Загружено:

Авторское право:

Доступные форматы

TOPOLOGIA GERAL

ITULO 1. ESPAC OS TOPOL

ITULO 1. ESPAC OS TOPOL

e nito, a intersec ao e nita ou e todo X.

ITULO 1. ESPAC OS TOPOL

F, arbitr arios tal que , ent ao:

ITULO 1. ESPAC OS TOPOL

B. Logo, existe tal que:

T, arbitr arios; cada A

ITULO 1. ESPAC OS TOPOL

= {[a, b) / a < b}. Suponha que B

tal que x [x, b) (a, b). Por

, n ao existe (a, b) B tal que x (a, b) [x, d). Logo, as

s ao intersec oes nitas de elementos de S, logo A

e outra topologia em X que tamb em cont em S, ent ao B T

. Ent ao T e a menor topologia

ITULO 1. ESPAC OS TOPOL

/ } uma base de T; ent ao B

ITULO 1. ESPAC OS TOPOL

A A Ext A, onde as uni oes s ao disjuntas. = e X = X.

A A e, por denic ao, e um conjunto aberto.

A A Ext A, onde as uni oes s ao disjuntas,

A = (0, 1), Ext A = (, 0][1, 2)(2, +), A = [0, 1]{2}, A

ITULO 1. ESPAC OS TOPOL

. Em particular, A e fechado se, e somente se A

A; por outro lado A A, ent ao A A

{a} = {a}. {b}

= {b}. {b} = {a} = b.

= . Para todo A X aberto tal que X e innito,

ITULO 1. ESPAC OS TOPOL

ITULO 1. ESPAC OS TOPOL

ITULO 1. ESPAC OS TOPOL

e chamada m etrica proveniente da norma

ITULO 1. ESPAC OS TOPOL

)) e um espaco vetorial normado.

e chamada norma prove-

ITULO 1. ESPAC OS TOPOL

ITULO 1. ESPAC OS TOPOL

ITULO 1. ESPAC OS TOPOL

A) f(A); por outro lado f(

= (1, 1). Denamos f : R (1, 1) por:

= (1, 1). Pela transitividade do homeomorsmo, temos

s ao bijetivas, contnuas e as inversas h

= C {0}. De forma an aloga ao caso real, denimos:

U, temos que f(U

) e aberto em V , logo e aberto em Y .

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

tal que F([x]) = G([x]), como

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

ITULO 4. TOPOLOGIA QUOCIENTE

(y) / y A}; como A e

= [0, 1]. Logo, A e fechado contido num

ITULO 6. AXIOMAS DE SEPARAC

{U / U vizinhanca de x}, existe U tal que