TOPOLOGIA GERAL

Mauricio A. Vilches

Departamento de Analise - IME

UERJ

Copyright by Mauricio A. Vilches

Todos os direitos reservados
Proibida a reproduca o parcial ou total

PREFACIO

Provavelmente a Topologia e a mais novas das linhas da Matematica classica, pois a Topologia aparece no seculo XV II com o nome de Analyse
Situs, isto e analise da posica o. Muitos autores concordam que o primeiro

a tentar estudar propriedades topologicas

foi Leibniz, em 1679. Posteriormente, Euler em 1736 publica a soluca o do problema das pontes da cidade

de Koenigsberg,
institulado Solutio problematis ad geometriam situs pertinentis. As bases da Topologia moderna foram estabelicidas no Con
gresso Internacional de Matematica de 1909, em Roma, onde Riesz propoe
um carater axiomatico da Topologia, baseado na teoria dos conjuntos, sem
o conceito de distancia subjacente. Em 1914, Hausdorff define os conjuntos
abertos atraves de axiomas, sem consideraca oes metricas. Existem outras
vertentes onde a topologia encontrou novos impulsos para seu desenvol Diferenciais
vimento, por exemplo, na Analise Funcional e nas Equacoes
Ordinarias, atraves de Banach e Poincare, respectivamente.
A Topologia utiliza os mesmos objetos que a Geometria, com a seguinte
diferenca: nao interessa a distancia, os a ngulos nem a configuraca o dos
pontos. Na Topologia, objetos que possam transformar-se em outros, atra contnuas reversveis, sao equivalentes e indistinguiveis.
ves de funcoes
Por exemplo, crculos e elipses, esferas e paralelelppedos.
A Topologia e pre-requisito basico em quase todas as a reas da Matematica

moderna, da Geometria Diferencial a` Algebra

e e fonte atual de efervescente pesquisa.

Mauricio A. Vilches
Rio de Janeiro

Conteudo

1 ESPAC
OS TOPOLOGICOS
1.1 Introduca o . . . . . . . . . . . . . . . . . .
1.2 Topologias e Conjuntos Abertos . . . . . .
1.3 Exemplos . . . . . . . . . . . . . . . . . . .
1.4 Conjuntos Fechados . . . . . . . . . . . . .
1.5 Bases . . . . . . . . . . . . . . . . . . . . .
1.6 Sub-bases . . . . . . . . . . . . . . . . . . .
1.7 Topologia Relativa . . . . . . . . . . . . .
1.8 Pontos e Conjuntos Notaveis . . . . . . .
1.9 Topologia Metrica . . . . . . . . . . . . . .
1.10 Introduca o . . . . . . . . . . . . . . . . . .
1.11 Espacos Metricos . . . . . . . . . . . . . .
1.12 Abertos e Fechados em Espacos Metricos
1.13 Espacos Vetoriais Normados . . . . . . . .
1.14 Espacos Vetoriais com Produto Interno . .
1.15 Topologia de Zariski . . . . . . . . . . . .
1.15.1 Topologia de Zariski em Aneis . .
1.16 Exerccios . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

9
9
9
10
14
16
19
20
23
29
29
29
32
33
34
35
36
37

2 FUNC
OES
EM ESPAC
OS TOPOLOGICOS
2.1 Introduca o . . . . . . . . . . . . . . . . .
Contnuas . . . . . . . . . . . .
2.2 Funcoes
2.3 Continuidade em Espacos Metricos . . .
2.4 Topologia Inicial . . . . . . . . . . . . . .
2.5 Topologia Produto . . . . . . . . . . . .
Abertas e Fechadas . . . . . . .
2.6 Funcoes
2.7 Exerccios . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

43
43
43
48
50
50
53
56

3 HOMEOMORFISMOS
3.1 Introduca o . . . . . . . . . . . .
3.2 Homeomorfismos . . . . . . . .
3.3 Exemplos de Homeomorfismos
3.4 Grupos de Matrizes . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

59
59
59
64
71

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.


CONTEUDO

6
3.5
3.6

Homeomorfismos Locais . . . . . . . . . . . . . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4 TOPOLOGIA QUOCIENTE
4.1 Introduca o . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Topologia Quociente . . . . . . . . . . . . . . . . . .
4.2.1 Espaco Projetivo Real . . . . . . . . . . . . .

4.2.2 Faixa de Moebius

. . . . . . . . . . . . . . . .
4.3 Espacos Quocientes . . . . . . . . . . . . . . . . . . .
4.3.1 O Crculo como Espaco Quociente . . . . . .
4.3.2 O Cilindro como Espaco Quociente . . . . .

4.3.3 A Faixa de Moebius

como Espaco Quociente
4.3.4 A Esfera como Espaco Quociente . . . . . . .
4.3.5 O Toro como Espaco Quociente . . . . . . . .
4.3.6 A Garrafa de Klein . . . . . . . . . . . . . . .
4.3.7 O Cone e Suspensao de um Conjunto . . . .
4.4 Teoremas . . . . . . . . . . . . . . . . . . . . . . . . .
de Grupos . . . . . . . . . . . . . . . . . . . .
4.5 Acoes
4.5.1 Espaco Projetivo Complexo . . . . . . . . . .
4.6 G-espacos . . . . . . . . . . . . . . . . . . . . . . . .
4.6.1 O Crculo como Z-espaco . . . . . . . . . . .
4.6.2 O Toro como Z Z -espaco . . . . . . . . . .
4.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . .
5 COMPACIDADE
5.1 Introduca o . . . . . . . . . . . . . . .
5.2 Compacidade . . . . . . . . . . . . .
5.3 Compacidade em Espacos Metricos .
5.4 Exerccios . . . . . . . . . . . . . . . .

6 AXIOMAS DE SEPARAC
AO
6.1 Introduca o . . . . . . . .
6.2 Espacos de Frechet . . .
6.3 Espacos de Hausdorff . .
6.4 Topologia Quociente . .
6.5 Homeomorfismos . . . .

6.6 Variedades Topologicas

.
6.7 Exerccios . . . . . . . . .

.
.
.
.
.
.
.

7 CONEXIDADE
7.1 Introduca o . . . . . . . . .
7.2 Conexidade . . . . . . . .

7.3 Aplicacoes
. . . . . . . . .
7.4 Conexidade por Caminhos

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

73
77

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

79
. 79
. 79
. 81
. 81
. 83
. 84
. 85
. 85
. 86
. 87
. 88
. 89
. 91
. 94
. 97
. 98
. 101
. 102
. 104

.
.
.
.

.
.
.
.

107
107
107
112
115

.
.
.
.
.
.
.

119
119
119
120
125
127
132
134

.
.
.
.

139
139
139
143
145

.
.
.
.
.
.
.
.
.
.
.


CONTEUDO
7.5

Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149

Bibliografia

152

CONTEUDO

Captulo 1

ESPAC
OS TOPOLOGICOS
1.1 Introduca o
A seguir apresentaremos a definica o de Topologia que e , essencialmente,
a generalizaca o de algumas das propriedades intrnsecas dos intervalos
abertos em R.
Se espera do leitor conhecimentos basicos da Teora de Conjuntos. As
que utilizaremos, sao as usuais da Teora de Conjuntos.
notacoes

1.2 Topologias e Conjuntos Abertos

Seja X um conjunto nao vazio.
Notacoes

Denotemos por P(X) a famlia de todos os subconjuntos de X e por

Ac = X A o complementar de A em X.
Definica o 1.1. Uma topologia sobre X e uma famlia T P(X) tal que:
1. X, T.
2. Dada uma famlia arbitraria {A T / }, entao:
[

A T.

3. Dados B1 , B2 , . . . , Bn T, entao:
n
\
i=1

Bi T.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

10
Observacoes
1.1.

1. 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 reuniao arbitraria de elementos da topologia deve pertencer a` topologia e a interseca o finita de elementos da topologia deve
pertencer a` topologia.
2. Os elementos de T sao ditos conjuntos abertos de X ou simplesmente abertos de X.


3. O par X, T e chamado espaco topologico.

1.3 Exemplos
A seguir apresentaremos uma serie de exemplos que utilizaremos em todos os captulos seguintes.
[1] Todo conjunto X nao vazio possui as seguintes topologias:

1. Tind = {X, }, chamada topologia indiscreta. Logo, os unicos

subconjuntos abertos de X sao e X.
2. Tdis = P(X), chamada topologia discreta. Logo, todos os subconjuntos
de X sao abertos.
3. Se X tem mais de 2 elementos, entao:
Tind 6= Tdis .
[2] Seja X = {a, b, c}. Verifiquemos se as seguintes famlias de subconjuntos de X sao uma topologia em X.
1. T1 = {, X, {a}}.
2. T2 = {, X, {a}, {b}}.
3. T3 = {, X, {a}, {b}, {a, b}}.
Claramente, T1 e T3 sao topologias para X. T2 nao e uma topologia em X,
pois:
{a} {b}
/ T2 .

1.3. EXEMPLOS

11

[3] Seja X = {a, b}. A topologia:

Tsier = {, X, {a}}
e dita de Sierpinski.
[4] Seja X = R e definamos 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 / }, entao:
[

De fato, seja x

A T.

A , entao existe 0 tal que x A0 T; logo,

existe (a, b) e:
x (a, b) A0

A .

3. Sejam B1 , B2 T; entao, dado x B1 B2 temos que x B1 T

e x B2 T, logo existem (a1 , b1 ) e (a2 , b2 ) tais que x (a1 , b1 ) B1 e
x (a2 , b2 ) B2 . Se denotamos por a = max{a1 , a2 } e b = min{b1 , b2 },
temos:
x (a, b) B1 B2 .
Por induca o: Se B1 , B2 , . . . , Bn T, entao

n
\

Bi T.

i=1

Observaca o 1.1. Esta topologia e chamada euclidiana ou usual e sera denotada por Tus .
[5] Seja X = R2 e definamos a seguinte topologia:
T = {, A R2 },

CAPITULO
1. ESPAC
OS TOPOLOGICOS

12

onde A T se, e somente se para todo (x, y) A existe um retangulo

aberto (a, b) (c, d) tal que:
(x, y) (a, b) (c, d) A.
Observaca o 1.2. De forma analoga ao exemplo anterior, T e uma topologia
e e tambem chamada euclidiana ou usual e sera denotada por Tus . Nao e
difcil ver que esta topologia pode ser estendida a Rn .
[6] Seja R2 e consideremos a famlia:
Tk = {, R2 , Gk / k R},
onde:
Gk = {(x, y) R2 / x > y + k}.

Entao, R2 , Tk , e um espaco topologico.

1. , R2 Tk , por definica o.
2. Seja Gk Tk tal que k M R:
Se M e limitado inferiormente, seja m = inf M , entao:
[

Gk = Gm T k .

kM

De fato, seja (x, y)

Gk ; entao, existe k M tal que (x, y) Gk , isto e

kM

x y > k m; logo, (x, y) Gm e

[

Gk Gm .

kM

Seja (x, y) Gm ; entao, x y > m; logo, existe k M tal que x y > k,

caso contrario x y seria uma cota inferior de M maior que m; entao:
Gm

Gk .

kM

Se M nao e limitado inferiormente, entao:

[
kM

Gk = R2 .

1.3. EXEMPLOS

13

De fato, seja (x, y) R2 , entao, existe k M tal que x y > k; caso

contrario, M seria limitado inferiormente por x y, logo (x, y) Gk .
3. Sejam Gk1 , Gk2 Tk e considere k1 = max{k1 , k2 }; entao, Gk1 Gk2 e:
G k 1 Gk 2 = Gk 1 T k .
[7] Seja X um conjunto nao vazio e:
T = {A X / Ac e finito ou e X}.
T e uma topologia para X.
1. Claramente, X e pertencem a T.
2. Seja {A T / }; entao:
[

A T.

De fato:
[

c
A

Ac ,

como Ac e finito, a interseca o e finita ou e todo X.

3. Sejam B1 , B2 , . . . , Bn T, entao:
\
n

c
Bi

i=1

n
[

Bic ,

i=1

a uniao e finita ou todo X, pois cada conjunto e finito ou todo X.

Observaca o 1.3. Esta topologia e chamada de cofinita e denotada Tcof . Se
X e finito, entao Tcof = Tdis .
Seja X = R com a topologia Tcof . O conjunto (, 1) nao e aberto nesta
topologia, pois seu complementar e [1, +) e nao e finito nem igual a R.
Mas, o conjunto (, 1)(1, +) e aberto. Nesta topologia os abertos sao
da forma:
A=R

n
[

{xi / xi R}.

i=1

Seja X = R com a topologia Tus . Se A R e finito, entao A nao e aberto.

Analogamente em Rn .

CAPITULO
1. ESPAC
OS TOPOLOGICOS

14

1.4 Conjuntos Fechados

Os conjuntos fechados sao os duais dos conjuntos abertos, num espaco to

pologico.
Veremos que a topologia num espaco topologico,
tambem pode
ser caracterizada atraves dos conjuntos fechados.
Definica o 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 sao fechados em X.


[2] Seja X, Tsier ; entao os fechados de X sao , X e {b}.
[3] Considere X = {a, b, c} com a T3 do exemplo [??]. Determinemos os
conjuntos fechados de X.
Primeiramente X e sao fechados em X. Os conjuntos {a} e {b} nao sao
fechados; de fato:
{a}c = {b, c}
/ T3
c
{b} = {a, c}
/ T3 .
Por outro lado {c}, {a, c} e {b, c} sao fechados em X:
{c}c = {a, b} T3
{a, c}c = {b} T3
{b, c}c = {a} T3 .

Teorema 1.1. Seja X, T espaco topologico

e F a famlia de conjuntos fechados; entao:
1. X, F.
2. Sejam F1 , F2 , . . . , Fn conjuntos fechados em X; entao:
n
[
i=1

e fechado em X.

Fi

1.4. CONJUNTOS FECHADOS

15

3. Sejam F F, arbitrarios tal que , entao:

\

F F.

A prova e imediata. De fato:

[
n

c
Fi

i=1

\

n
\

Fic T

i=1

c
F

Fc T.

Exemplo 1.2.


Seja R, Tus ; entao todo conjunto finito e fechado.
De fato, dado x R, entao {x} e fechado em R pois:
{x}c = (, x) (x, +);
logo se A = {x1 , x2 , . . . xn } temos que:
A=

n
[

{xi }.

i=1

O exemplo anterior vale em Rn .

Observacoes
1.2.
1. A propriedade de ser aberto ou fechado e independente uma da outra.
2. Um conjunto pode ser simultaneamante fechado e aberto, aberto e
nao fechado, fechado e nao aberto ou nehum dos dois.
3. A uniao infinita de conjuntos fechados pode nao ser um conjunto
fechado. Por exemplo, para todo subconjunto B X, temos:
B=

[
bB

{b}.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

16

4. Uma topologia num espaco topologico

tambem pode ser caracterizada, pelos seus conjuntos 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; entao os conjuntos
(, 0) e (0, +) sao abertos. Como cada um deles e complementar do
outro, tambem sao fechados.
[3] O conjunto Q R nao e aberto nem fechado com a topologia usual e
nem com a topologia cofinita de R.
Definica o 1.3. Sejam T1 e T2 topologias sobre X. Se T1 T2 , entao dizemos que a topologia T2 e mais fina que T1 .
Exemplo 1.4.
[1] Em R2 , Tcof e menos fina que a Tus . De fato, seja A Tcof ; entao Ac e
finito; logo Ac e fechado em Tus e A e aberto em Tus .
[2] As topologias sobre um conjunto nem sempre podem ser comparadas.
Por exemplo:
Seja X = {a, b} com as topologias: T1 = {, {a}, X} e T2 = {, {b}, X}.
entao T1 e T2 nao podem ser comparadas.
Para toda topologia T sobre X temos:
Tind T Tdis .
No exemplo [1], temos:
Tind T1 T3 Tdis .

1.5 Bases
Muitas vezes para introduzir uma topologia num conjunto nao e necessario descrever todos os conjuntos abertos da topologia, mas apenas alguns
conjuntos especiais, os chamados abertos basicos da topologia.

Sejam X, T um espaco topologico

e B uma famlia de subconjuntos de
X tal que B T.

1.5. BASES

17

Definica o 1.4. B e uma base para T se para todo A T, temos que:

A=

B.

BB

Observacoes
1.3.
1. Como B T, entao toda uniao de elementos de B tambem pertence
a T. Os elementos de B sao ditos abertos basicos da topologia.
2. Se B e uma base de T, dizemos que B gera a topologia T, ou que T
e a topologia gerada por B.
3. Para todo A T existe B B tal que B A. De fato, seja x A;
como A T e B e uma base de T, entao:
A=

B ,

onde B B. Logo, existe tal que:

x B A.

O seguinte teorema e um otimo

criterio para verificar 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 =

B.

BB

2. Para todo B1 B2 B, se x B1 B2 , entao, existe B B tal que:

x B B1 B2 .
Prova : Se B e uma base de alguma topologia T, entao X e aberto; logo se
escreve como uniao de abertos basicos. Se B1 , B2 B, entao B1 , B2 sao
abertos e B1 B2 e aberto; logo se x B1 B2 , existe um aberto B B tal
que x B B1 B2 .

CAPITULO
1. ESPAC
OS TOPOLOGICOS

18

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 uniao arbitraria de elementos de B. Definamos:
T = {U X / U e uniao arbitraria 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, arbitrarios; cada A =
B, , onde B, B; entao:
A=

[[


=

B,

B, T.

Agora consideremos A1 e A2 T, entao A1 =

A1 A2 =

[


B

[


B

B e A2 =

B , entao:

B B .

Se x A1 A2 , existe pelo menos um par de ndices (, ) tal que

x B B ; por 2 existe B B tal que:
x B B B A1 A2 ;
logo, A1 A2 e aberto. O caso geral segue por induca o.
Definica o 1.5. Os conjuntos B B tal que x B sao chamados vizinhancas do ponto x.
Exemplo 1.5.

[1] Uma topologia e base de si propria.

[2] Para Tind , a base e B = {X}.
[3] Para Tdis , 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, entao:
B = {(a, b)}
gera a topologia usual ou euclidiana de R.
De fato:

1.6. SUB-BASES
1. R =

19

(a, b).

a<b

2. Para todo x R, (x 1, x + 1) B.
3. Para todo x R tal que x (a1 , b1 ) (a2 , b2 ), temos:
x (a, b) (a1 , b1 ) (a2 , b2 ),
onde a = max{a1 , a2 } e b = min{b1 , b2 }.
[6] Sejam R, B a base da topologia euclidiana e B0 = {[a, b) / a < b}. Suponha que B0 e uma base. (Veja os exerccios). Entao estas bases geram
topologias diferentes.
Seja (a, b) B; para todo x (a, b), existe [x, b) B0 tal que:
x [x, b) (a, b).
Por outro lado, dado [x, d) B0 , nao existe (a, b) B tal que:
x (a, b) [x, d).
Logo, as bases geram topologias diferentes.

1.6 Sub-bases

Seja X, T um espaco topologico

e S uma famlia de subconjuntos de X
tal que S T.
finitas
Definica o 1.6. S e uma sub-base de T se a coleca o de intersecoes
de elementos de S e uma base de T.

Proposica o 1.1. Sejam X um cojunto nao vazio e S uma famlia de elementos de X tais que para todo x X existe A S tal que x A. Seja B
finitas de elementos de S. Entao, a famlia T fora coleca o de intersecoes
arbitrarias de elementos de B e uma topologia
mada por , X e as unioes
para X e e a menor topologia que contem S.
Prova :
Claramente , X T e toda uniao de elementos de T pertence a T. Mostraremos que qualquer interseca o finita de elementos de T esta em T, ou
melhor, provaremos que se A, B T, entao A B T:
Se A ou B e vazio, esta provada a proposica o.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

20

1. Suponha que A e B sao nao vazios. Entao:

[
[
A=
A , B =
B ,

onde A , B B. Logo:
[  [  [


AB =
A
B =
A B .

finitas de elementos de S, logo

Por outro lado A e B sao intersecoes
A B e uma interseca o finita de elementos de S e, A B T.
2. Claramente S T.
3. Se T0 e outra topologia em X que tambem contem S, entao B T0 ; logo,
arbitrarias de elementos B, isto e T T0 . Entao
T0 deve conter as unioes
T e a menor topologia sobre X que contem S, isto e , S e uma sub-base de
X.
Observaca o 1.4. Em geral S nao e uma base de T, pois os elementos de T
de elementos de S.
nao podem ser escritos, necessariamente, como unioes
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, T1 e Y, T2 espacos topologicos;

entao:
S = {U Y, X V / U T1 , V T2 }
e uma sub-base para a topologia produto em X Y .

1.7 Topologia Relativa

e : fixada uma toUma questao natural que surge das ultimas

definicoes
pologia num conjunto, um subconjunto nao vazio herda de alguma forma
esta estrutura?

1.7. TOPOLOGIA RELATIVA

21

Definica o 1.7. Seja X, T um espaco topologico

e=
6 Y X, entao:
1.

TY = {A Y / A T},
e uma topologia sobre Y chamada topologia relativa a Y .

2. O par Y, TY e dito subespaco topologico

de X, T .
3. Os elementos de TY sao ditos abertos relativos.
Observaca o 1.5. Em geral, os abertos relativos nao sao abertos no espaco
total. Veja os exemplos.
Exemplo 1.7.
[1] Seja R com a topologia usual e consideremos Q R com a topologia
relativa, entao A = {x Q / 0 < x < 1} e aberto em Q pois A = (0, 1) Q
e A nao e aberto em R.

[2] Seja R com a topologia usual. N e Z R sao subespacos topologicos

tais que a topologia relativa e a topologia discreta. De fato, se n Z entao:
1
1

{n} = Z n , n + .
2
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; entao TY e a topologia euclidiana.

Proposica o 1.2. Seja Y, TY subespaco topologico

de X, T .
1. Seja B = {B / } uma base de T; entao BY = {B Y / }
e uma base para BY .
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, entao A e
fechado (aberto) em X.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

22
Prova :
1. Imediata.

2. Se A Y e fechado, entao 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, entao:
Y A = Y F c;
logo, A e fechado em Y .
3. Como A = Y F e ambos sao fechados em X, entao A e fechado em
X
Exemplo 1.8.
[1] Seja R2 com a topologia usual. O conjunto
S 1 = {(x, y) R2 / x2 + y 2 = 1} R2
com a topologia relativa e dito crculo unitario. Os abertos relativos em S 1
sao os arcos abertos de crculos.

Figura 1.1: Abertos relativos de S 1

[2] Em geral, seja Rn+1 com a topologia usual. O conjunto:
S = {(x1 , . . . , xn , xn+1 ) R
n

n+1

n
X

x2i = 1}

i=1

com a topologia induzida, e chamado esfera unitaria.


1.8. PONTOS E CONJUNTOS NOTAVEIS

23

1.8 Pontos e Conjuntos Notaveis

Nesta seca o estudaremos alternativas para determinar se um conjunto e
aberto, e/ou fechado.

Definicoes
1.1. Seja X, T um espaco topologico
eAX
1. x X e um ponto interior a A se existe U vizinhanca de x tal que:
x U A.

O conjunto de todos os pontos interiores a A e denotado por: A ou

Int(A).
2. x X e um ponto exterior a A se e interior a Ac .
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 vizinhanca U de x
temos:
A U 6= .
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 acumulaca o de A se para toda vizinhanca U
de x temos:


A {x} U 6= .
O conjunto de todos os pontos de acumulaca o a A e denotado por:
A0 .
5. x X e um ponto da fronteira de A se e aderente a A e a Ac . 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 vizinhanca de x
7. Um conjunto onde todos os pontos sao isolados e dito discreto.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

24

8. A X e dito denso em X se:

A = X.

Observacoes
1.4.

sao disjuntas.
1. Se A X, entao X = A A Ext A, onde as unioes

= e X = X. A A e, por definica o, e um conjunto aberto.

2. x
/ A se, e somente se existe uma vizinhanca U de x tal que U A = ,
isto e :
x
/A

x Ac .

c
3. Logo, A = Ac = Ext A e como X = A A Ext A, onde as
sao disjuntas, temos:
unioes

A = A A,
sendo a uniao disjunta.



c
4. O conjunto A e fechado. De fato, A = Ac que e aberto.

5. Para todo A X, temos A A. De fato, se x

/ A, entao existe U
vizinhanca de x tal que U A = , isto e x U Ac ; logo x
/ A.
6. Para todo A, B X, temos: se A B, entao A B.
De fato, se x
/ B, entao existe U vizinhanca de x tal que U B = ,
isto e x U B c ; como B c Ac , entao x
/ A A.
7. A e um conjunto fechado, pois:
A
que e aberto:


8. A = .

c

= A Ac


1.8. PONTOS E CONJUNTOS NOTAVEIS

25

Exemplo 1.9.
[1] Sejam R com a topologia usual e A = (0, 1) {2}; entao:

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

A = {0} {1}.
[2] Sejam N, Z e Q R e R com a topologia usual; entao:

N e Z sao 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 6= R, entao existe
x R Q. Como R Q e aberto, existe (a, b) tal que:
x (a, b) R Q.

Por outro lado, todo intervalo contem numeros

racionais, logo existe q Q
tal que q (a, b) R Q; logo q R Q, o que e uma contradica o.
Por outro lado Q 0 = R.


Proposica o 1.3. Sejam X, T e A X:
1. A e fechado se, e somente se A = A.
2. A = A.
Prova :
/ A, entao x Ac , logo
1. Suponha A fechado; entao Ac e aberto. Se x
existe U vizinhanca de x tal que x U Ac ; entao U A = isto e
x
/ A; logo A A.
A = A se x
/ A, entao existe uma vizinhanca U de x tal que
U A = x U Ac isto e Ac e aberto A e fechado.
2. Como A e fechado, pelo tem anterior A = A.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

26

Teorema 1.3. Seja X, T e A X; entao A e o menor conjunto fechado
que contem A, isto e :
\

A=
F / A F e F e fechado .
Prova :

T
T 
c
S  c
() Se x
/
F , entao x
F
=
F 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 Ac ; entao U A = ; logo x
/ A.
T
() A e fechado e A A; entao
F} A .
Exemplo 1.10.


[1] Seja X, Tsier ; entao {b} = {b} e {a} = X.


[2] Seja X, T onde T e a topologia discreta. Como todos os subconjuntos

de X sao 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 contem {b} e {b, e}. Note que {a, c} e denso
em X.

Teorema 1.4. Sejam X, T e A X; entao A e o maior conjunto aberto
contido em A, isto e :

A=

[

U / U A e U e aberto .

Prova :

S
U .
() A e aberto e A A; entao A
S
() Seja x
U , entao existe pelo menos um U tal que x U A, isto

e x A.


Proposica o 1.4. Sejam X, T e A X.


1.8. PONTOS E CONJUNTOS NOTAVEIS

27

1. A = A A0 . Em particular, A e fechado se, e somente se A0 A.

c
2. A = Ac . Em particular, A e aberto se, e somente se A = A.

Prova :
1. Por definica o A0 A; por outro lado A A, entao A A0 A.
Reciprocamente, seja x A. Se x A esta provado.


Se x
/ A, entao toda vizinhanca U de x e tal que U {x} A 6= ,
isto e , x A0 .
2. Se U A, entao Ac U c e os conjuntos abertos U A sao exatamente os complementares dos conjuntos F fechados tais que Ac F .
Pelo teorema anterior:

A=
=
=

[
[
\

U / U A e U e aberto

F c / Ac F e F e fechado


F / A F e F e fechado
c

c

c
= Ac .

Exemplo 1.11.

[1] Seja X, Tsier ; entao:

{b} = , {a} = {a}. {b}0 = e {a}0 = {b}. {b} = {a} = b.

[2] Seja X, Tind ; entao:

Para todo A X tal que A 6= X, temos que A = . Para todo A X nao

vazio, A = X. Se A tem mais de um elemento, temos A0 = X e {x}0 = {x}c
e A = X.


[3] Seja X, Tdis ; entao:

Para todo A X temos que: A = A, A = A, A0 = e A =

[4] Seja X, Tcof ; entao:

Para todo A
/ Tcof temos que A = . Se A e infinito, A = X. Para todo
A X tal que A e infinito, A0 = X e se A e finito, A0 = . Para todo A X
aberto tal que X e infinito, A = X A; caso contrario A = X.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

28

[5] Considere R, Tcof e A = [0, 1]. Entao A = e A = A0 = A = R.


[6] Seja X, Tind ; para todo A X tal que A 6= X, temos que A = X.


[7] Seja X, Tdis ; para todo A X temos que A = .

Proposica o 1.5. Sao equivalentes as seguintes condicoes:

1. A e denso em X.
2. Se F e fechado e A F , entao F = X.
3. Todo aberto basico nao vazio de X contem elementos de A.

4. Ac = .
Prova :
1) 2) Se A F , entao X = A F = F , logo F = X.
2) 3) Seja U aberto basico nao vazio tal que U A = ; entao
A U c 6= X, o que e uma contradica o pois U c e fechado.
3) 4) Suponha que Int Ac 6= ; como Int Ac e aberto, entao existe U
aberto basico nao vazio tal que U Int Ac ; como Int Ac Ac , U Ac e
U A = ; logo U nao contem pontos de A.
4) 1)

c
A =

c
Ac

c

= Ac = .

Logo, A = X.
Seja Y subespaco de X e denotemos por AY o conjunto A como subconjunto de Y ; entao:

1. AY = A Y .
2. AY = A Y .
3. A0 Y = A0 Y .


1.9. TOPOLOGIA METRICA

29

Exemplo 1.12.
Seja R com a topologia usual e Y = [0, 1) (1, 3) {5} com a topologia
relativa. Entao:
(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.9 Topologia Metrica

1.10 Introduca o

Uma importante classe de exemplos de espacos topologicos

e a dos espacos metricos.

1.11 Espacos Metricos

Seja um conjunto M 6= .
Definica o 1.8. Uma metrica ou distancia sobre M e uma funca o:
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. Simetria: d(x, y) = d(y, x).
3. Desigualdade triangular:
d(x, z) d(x, y) + d(y, z).
4. O par (M, d) e chamado espaco metrico.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

30
Exemplo 1.13.

[1] (M, d) e um espaco metrico com a metrica:

(
0
d(x, y) =
1

se x 6= y
se x = y.

d e dita metrica discreta.

[2] (R, d) e uma espaco metrico com d(x, y) = |x y|, onde | | e o valor
absoluto em R.
[3] Rn como espaco metrico. Em Rn podemos definir as seguintes metricas:
v
u n
uX
d1 (x, y) = t (xi yi )2 ,
i=1

d2 (x, y) =

n
X

|xi yi |,

i=1

d3 (x, y) = max |xi yi |,

1in

onde x = (x1 , x2 , . . . , xn ) e y = (y1 , y2 , . . . , yn ) Rn . As provas que d1 e

d2 sao metricas sao imediatas. Por outro lado, a desigualdade triangular
para d3 segue de:
|xi zi | |xi yi | + |yi zi | d3 (x, y) + d3 (y, z).
limitadas f : M R.
[4] Seja B(M, R) o conjunto de todas as funcoes
limitadas e limitada, entao:
Como a soma e a diferenca de funcoes
d(f, g) = sup |f (x) g(x)|,
xM

e uma metrica em B(M, R). A unica

propriedade nao 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)|,
entao:


1.11. ESPAC
OS METRICOS

31

|f (x) h(x)| |f (x) g(x)| + |g(x) h(x)|

sup |f (x) g(x)| + sup |g(x) ghx)|
xM

xM

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 nao depende de x M .
Definica o 1.9. Sejam (M1 , d1 ) e (M2 , d2 ) espacos mericos. f : M1 M2 e
uma isometria se e bijetiva e:
d2 (f (x), f (y)) = d1 (x, y),
para todo x, y M1 .
Exemplo 1.14.
[1] Seja R com a distancia usual e f : R R definida por f (x) = x/2. A
funca o f e bijetiva, por outro lado:
|f (x) f (y)| = 1/2 |x y|.
Logo, nao e uma isometria.
[2] Sejam (Rn , d1 ), a Rn e Ta : Rn Rn definida por Ta (v) = v + a,
entao f e uma isometria.
De fato, Ta e claramente bijetiva, e:
d1 (Ta (x), Ta (y)) = d1 (v + a, w + a)
v
u n
uX
= t ((xi ai ) (yi ai ))2
i=1

v
u n
uX
= t (xi yi )2
i=1

= d1 (x, y).
Se mudamos para as outras metricas de Rn , f e isometria?

CAPITULO
1. ESPAC
OS TOPOLOGICOS

32

1.12 Abertos e Fechados em Espacos Metricos

Seja (M, d) um espaco metrico e r R tal que r > 0.
Definica o 1.10. Uma bola aberta em M de centro x0 e raio r e denotada e
definida por:
B(x0 , r) = {x M / d(x, x0 ) < r}.
Definimos B(x, 0) = . Se r s, entao B(x0 , r) B(x0 , s).
Exemplo 1.15.
[1] Seja M = R, com d = | |; entao:
B(x0 , r) = (x0 r, x0 + r);
isto e , as bolas abertas sao os intervalos abertos.
[2] Seja M = R, com d1 ; entao:
B((x0 , y0 ), r) = {(x, y) / (x x0 )2 + (y y0 )2 < r2 };
isto e , um disco aberto centrado em (x0 , y0 ).
Proposica o 1.6. As bolas abertas num espaco metrico formam uma base
para uma topologia no espaco metrico.
[
Prova : 1. Claramente: M =
B(x, 1).
xM

2. Seja z B(x, rx ) B(y, ry ); seja r = min{rx d(x, z), ry d(y, z)}; entao
B(z, r) B(x, rx ) B(y, ry ).
De fato, r > 0 e se w B(z, r); temos:
d(w, x) d(w, z) + d(z, x) < r + d(z, x) rx d(z, x) + d(z, x) = rx ;
logo, w B(x, rx ). De forma analoga, w B(y, ry ).
Observaca o 1.6. A topologia gerada por esta base e chamada topologia
metrica gerada pela distancia d, e sera denotada por Td .

1.13. ESPAC
OS VETORIAIS NORMADOS

33

Definica o 1.11. O espaco topologico

X, T e dito metrizavel se T e uma
topologia metrica.
Exemplo 1.16.


[1] Seja M, d , onde d e a metrica discreta; entao B(x, 1/2) = {x}; logo Td
e a topologia discreta.


[2] Se X possui mais de 2 pontos, X, Tind nao e metrizavel.
Proposica o 1.7. Sejam (M, d) um espaco metrico, y0 M e 6= A M .
Definamos a distancia entre o ponto y0 e o conjunto A por:
d(y0 , A) = inf {d(y0 , x) / x A}.
Entao, 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 6=
se, e somente se existe ar A tal que d(y, ar ) < r se, e somente se existe
d(y, A) = 0.

1.13 Espacos Vetoriais Normados

Seja V um R-espaco vetorial.
Definica o 1.12. Uma norma sobre V e uma funca o:
k

k : V V R,

tal que, para todo x, y V e R, tem-se:

1. Se x 6= 0, entao kxk 6= 0.
2. k xk = || kxk.
3. kx + yk kxk + kyk.
O par (E, k k) e chamado espaco vetorial normado.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

34
Exemplo 1.17.

[1] (Rn , k ki ) e um espaco vetorial normado com as seguintes normas:

v
u n
uX
x2i ,
kxk1 = t
i=1

kxk2 =

n
X

|xi |,

i=1

kxk3 = max |xi |,

1in

onde x = (x1 , x2 , . . . , xn ) Rn .
[2] B(M, R) e um espaco vetorial, sendo:
kf k = sup |f (x)|,
xM

uma norma em B(M, R).

Seja (E, k k) um espaco vetorial normado. Definindo:
d (x, y) = kx yk,
temos que (E, d ) e um espaco metrico. d e chamada metrica proveniente
da norma k k.

1.14 Espacos Vetoriais com Produto Interno

Seja V um R-espaco vetorial.
Definica o 1.13. Um produto interno sobre V e uma funca o:
< >: V V R,
tal que, para todo x, y, z V e R, tem-se:
1. Se x 6= 0, entao < x, x >> 0.
2. < x, y >= < x, y >.
3. < x, y >=< y, x >.

1.15. TOPOLOGIA DE ZARISKI

35

4. < x + y, z >=< x, z > + < y, z >.

Seja (E, < >) um espaco vetorial com produto interno. Definindo:
kxk =

< x, x >,

temos que (E, k k )) e um espaco vetorial normado. k k e chamada

norma proveniente do produto interno < >.
Nem toda norma num espaco vetorial provem de um produto interno.

1.15

Topologia de Zariski

A topologia de Zariski e fundamental para o estudo de diferentes a reas da

Algebra,
como por exemplo, Algebra
Comutativa e Geometria Algebrica.

Seja K = R ou C. Consideremos a famlia dos polinomios

de n-variaveis
em K. Isto e :
{fi / fi K[x1 , x2 , , . . . , xn ], i I}.
e seja:
Z(fi ) = {x Kn / fi (x) = 0, i I}.
Exemplo 1.18.
Se f (x, y) = x2 + y 2 1, entao Z(f ) = S 1 .
Note que Z(cte) = e Z(0) = K.
Sejam Z(fi ) e Z(gj ). Denotemos hij = fi gj K[x1 , x2 , , . . . , xn ] tal que i I
e j J. Afirmamos que Z(fi ) Z(gj ) = Z(fi gj ). De fato, se hij (x) = 0
para todo i I e j J, entao:


0 = hij (x) = fi gj (x) = fi (x) gj (x)
para todo i I e j J; logo fi (x) = 0 para todo i I ou gj (x) = 0 para
todo j J.

c
Denotemos por D(fi ) = Z(fi ) e B = {D(fi ) / i I}. A famlia B forma
uma base para uma topologia em Kn .
Definica o 1.14. A topologia que gera B em Kn e chamada de Zariski.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

36

Os Z(fi ) sao os fechados na topologia de Zariski. Em R, a topologia de

Zariski e a topologia cofinita. De fato, todo subconjunto finito em R e

conjunto soluca o para algum polinomio

de uma variavel real.
Por exemplo, se R = {r1 , r2 , . . . , rn }, entao:
f (x) = (x r1 ) (x r2 ) . . . (x rn )

e um polinomio
que tem como conjunto soluca o R. Por outro lado o con de um polinomio

junto de solucoes
de uma variavel de grau n possui no
maximo n elementos.
Se n > 1 a topologia de Zariski nao e a cofinita.

Por exemplo, a reta y = 1 e soluca o do polinomio

f (x, y) = x 1 que nao
e um conjunto finito em R2 .

1.15.1

Topologia de Zariski em Aneis

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. Definimos sobre Spec(A) a topologia de Zariski, como a topologia

que tem como conjuntos fechados os V (I).
3. Se denotamos por D(I) = Spec(A) V (I) os abertos da topologia de
Zariski, e possvel provar que se I e um ideal principal, a base para
a topologia de Zariski e :
B = {D(I) / I e um ideal principal}.


1.16. EXERCICIOS

37

1.16 Exerccios
1. Quantas topologias podem ser definidas no conjunto
X = {a, b, c, d} ?
2. Verifique a famlia:
Tn = {, N, An / n N},
onde:
An = {1, 2, 3, . . . , n}
e uma topologia em N.


3. Seja X, T . Se para todo x X, {x} T, verifique que T = Tdis .


4. Seja X, T e Y = X {a}, a
/ X. Defina:
T(Y ) = {U {a} / U T}.

Y, T(Y ) e um espaco topologico?

5. Seja X com a topologia cofinita. Verifique que os fechados de X sao
X, e os subconjuntos finitos de X.

6. Ache exemplo de um espaco topologico

em que os conjuntos abertos
sao tambem conjuntos fechados. Nao considere a topologia discreta
ou a indiscreta.
7. Sejam T1 e T2 duas topologias sobre o conjunto nao vazio X. Considere:
(a) T1 T2 a famlia formada por abertos comuns a ambas as topologias.
(b) T1 T2 a famlia formada pela reuniao dos abertos a ambas as
topologias.
As famlias definidas sao topologias sobre X? No caso negativo, ache
um contra-exemplo.

CAPITULO
1. ESPAC
OS TOPOLOGICOS

38

8. Seja X = R e a, b R tal que a < b. Verifique que:

B = {[a, b)}
gera a topologia chamada do limite inferior em R e e denotada por
Tlinf .
9. Seja X = R e a, b Q tal que a < b. Entao:
B = {(a, b)}
gera a topologia usual de R? Determine (0,
logia.

2) e (1,

2), nesta topo-

10. Sejam X, T1 e Y, T2 espacos topologicos.

Verifique que:
B = {U V / U T1 , V T2 }
e uma base para uma topologia de X Y . Esta topologia e chamada
produto.
11. Se a, b, c, d R e B = {(a, b) (c, d) / a < b, c < d}. Verifique que B
e uma base para a topologia usual em R2 .
12. Seja X = {1, 2, 3, 4, 5}. Verifique que nao 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 }}.
Verifique que:
B = {{a}, {c, d}, {b, c, d, e, f }}
e uma base para T.
14. Verifique que B = {[a, b] / a, b R} e uma base para a topologia
discreta em R.


1.16. EXERCICIOS

39

15. Seja X, T e A X. Verifique 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 defina a seguinte topologia em X:
T = {, A P(X) / p A}.
Verifique que T e uma topologia e que {p} e denso em X.

17. Verifique que A = X Ac

18. Seja A = {p + q

2 /, p, q Z}. O conjunto A e denso em R?

19. Seja X um espaco topologico, A X e dito totalmente nao denso

em X se Int A = . Considere R com a topologia usual:
(a) Verifique que Z e totalmente nao denso em R.
1
(b) Verifique que { / n N} e totalmente nao denso em R.
n
(c) Seja A X aberto, A e totalmente nao denso em X?

20. Verifique se sao metricas:

(a) d1 (x, y) = (x y)2 , x, y R.
(b) d2 (x, y) = |x3 y 3 |, x, y R.
(c) d3 (x, y) =

|x y|
, x, y R.
1 + |x y|

Nos casos afirmativos, descreva os abertos.

21. Verifique que em Rn , temos: d3 d1 d2 n d3 .


contnuas f : [a, b] R. De22. Seja C 0 [a, b] o conjunto das funcoes
fina:

CAPITULO
1. ESPAC
OS TOPOLOGICOS

40

|f (x) g(x)| dx

d1 (f, g) =

s
Z
a

|f (x) g(x)|2 dx

d2 (f, g) =
a

Verifique que d1 e d2 sao metricas em C 0 [a, b] .
23. Determine a topologia definida pela metrica discreta.
24. Determine, geometricamente, as bolas abertas em Rn com as metricas definidas anteriormente.
25. Seja (M, d) um espaco metrico:
(a) Seja r > 0 e:
B[x0 , r] = {x M / d(x, x0 ) r}.
Verifique que B[x0 , r] e um conjunto fechado.
(b) Seja F M finito. Verifique que F e fechado.
26. Seja (M, d) um espaco metrico. Defina:
d1 = k d,

d2 = d + k

e d3 = d/k,

onde k R {0}.
(a) Verifique se d1 , d2 e d3 sao metricas.
(b) Verifique se d1 , d2 e d3 geram a mesma topologia.
27. Seja (M, d) um espaco metrico. Defina:
d1 (x, y) =

d(x, y)
.
1 + d(x, y)

(a) Verifique d1 e uma metrica.

(b) Verifique que d1 e d geram a mesma topologia.
28. Se f e uma isometria, entao f 1 e uma isometria?


1.16. EXERCICIOS

41

29. Sejam M, d1 e N, d2 espacos metricos. Definamos em M N :
d((x1 , y1 ), (x2 , y2 )) = d1 (x1 , x2 ) + d2 (y1 , y2 ),
onde (x1 , y1 ), (x2 , y2 ) M N . Verifique que d e uma metrica em
M N . Esta metrica e dita metrica produto.
30. Se B 1 (x, r) e uma bola aberta em M e B 2 (y, s) e uma bola aberta em
N , entao:
B = {B 1 (x, r) B 2 (y, s)},
e uma base para uma topologia em M N .


encia em R e:
31. Sejam x = xn nN uma sequ
(a) l = {x /
p

|xn |p < +}, 1 p < +.

n=1

(b) l

= {x / sup{xn / n N} < +}.

Definamos em lp e em l , respectivamente:

kxkp =

X

1/p
|xn |

n=1

kxk = sup {|xn |}.

nN

Verifique que lp , k kp e l , k k sao espacos vetoriais normados.




32. Sejam E, k k1 e F, k k2 espacos vetoriais normados. Definamos
em E F :
k(u, v)k = kuk1 + kvk2 ,
onde (u, v) E F . Verifique que k k e uma norma em E F . Esta
norma e dita norma produto.


encia em R e considere lp e l como no
33. Sejam x = xn nN uma sequ
exerccio [31]:




34. Verifique se lp , k kp e l , k k sao espacos vetoriais com produto interno.

42

CAPITULO
1. ESPAC
OS TOPOLOGICOS

35. Sejam V1 e V2 espacos vetoriais com produtos internos < , >1 e <
, >2 , respectivamente. Definamos em V1 V2 :
< (u1 , v1 ), (u2 , v2 ) >=< u1 , u2 >1 + < v1 , v2 >2 ,
onde (u1 , v1 ), (u2 , v2 ) V1 V2 . Verifique que < , > e um produto
interno em V1 V2 .

Captulo 2

FUNC
OES
EM ESPAC
OS

TOPOLOGICOS
2.1 Introduca o
A continuidade de uma funca o e um dos conceitos centrais em quase todas
as a reas da Matematica. E e o primeiro passo para tentar distinguir objetos
diferentes em Topologia.

2.2 Funcoes
Contnuas

Sejam X, T1 e Y, T2 espacos topologicos.

Definica o 2.1. A funca o f : X Y e contnua se para todo V T2 temos
que:


f 1 V T1 .
f e contnua se a imagem inversa dos abertos de Y sao abertos em X.
Observaca o 2.1. Uma funca o cont
nua nao leva, necessariamente, abertos
em abertos. Por exemplo se Y, T2 e tal que T2 nao e a topologia discreta,
ou se Y tem mais de dois elementos e T2 nao e a topologia indiscreta.

Exemplo 2.1.
[1] Toda funca o constante e contnua. De fato, seja f : X Y tal que
f (x) = y0 para todo x X e V Y aberto, entao:
43

CAPITULO
2. FUNC
OES
EM ESPAC
OS TOPOLOGICOS

44

(
X
se y0 V
f 1 V =

se y0
/ V.


Em ambos os casos f 1 V e aberto, logo f contnua.

[2] Seja X tal que T1 e T2 sao topologias em X. A funca o identidade:

id : X, T1 X, T2
e contnua se, e somente se T2 T1 .




De fato, considere X = R, Tus e Y = R, Tlinf , entao:


id1 [a, b) = [a, b)
/ Tus .




[3] Sejam X, T e Y, Tind . Toda funca o
f : X Y
e contnua.

[4] Sejam X, Tdis e Y, T . Toda funca o
f : X Y
e contnua.
Corolario 2.1. Seja Y X. A topologia relativa TY pode ser caracterizada
como a menor topologia sobre Y tal que a funca o inclusao:
i : Y X
e contnua.

De fato, se U T, a continuidade de i implica em que i1 U = U Y
deve ser aberto em Y ; logo qualquer topologia onde i for contnua deve
conter TY .

Proposica o 2.1. Sejam X, T1 , Y, T2 e Z, T3 espacos topologicos.

1. Se f : X Y e g : Y Z sao contnuas, entao:
g f : X Z
e contnua.

2.2. FUNC
OES
CONTINUAS

45

2. Se f : X Y e contnua e A X e subespaco topologico,

entao:
f |A : A Y
e contnua.
3. Se f : X Y e contnua e f X
entao:

Y e subespaco topologico,

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 inclusao; 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, T1 e Y, T2 espacos topologicos

e f : X Y .
sao equivalentes:
As seguintes condicoes
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 (nao necessariamente um aberto basico ou subbasico 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.

CAPITULO
2. FUNC
OES
EM ESPAC
OS TOPOLOGICOS

46

5. f A f A , para todo A X.




6. f 1 B f 1 B , para todo B Y .
Prova :

1) 2) De fato, f 1 Y A = X f 1 A , para todo A Y .
1)
3) Seja B uma base da topologia de Y e B B; como f e contnua,
f 1 B e aberto em X. A prova da recproca segue de que todo aberto
V T2 pode ser escrito como:
V =

B ,

e que:
f 1

[ 1


B =
f
B .

1) 4) Como f contnua e
W e aberto (e vizinhanca de f (x)), consideramos o conjunto 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 Ux a vizinhanca de x tal que f Ux W , onde W e vizinhanca de f (x).
Se x A, entao Ux A 6= ; logo:








6= f Ux A f Ux f A W f A ;


entao f (x) f A .

5) 6) Seja A = f 1 B ; entao:









f A f A = f f 1 B = B f X B.
Logo, A f 1 B

6) 2) Seja F Y fechado, entao:

f 1 F f 1 F = f 1 F .






Logo, f 1 F = f 1 F e f 1 F e fechado.

2.2. FUNC
OES
CONTINUAS

47

Observaca o 2.2. Pelo teorema, basta utilizar os abertos basicos da topologia para estudar a continuidade de uma funca o. A funca o f e dita
contnua no ponto x0 X se o item [4] do teorema anterior vale para
x0 .
Exemplo 2.2.
Seja R com topologia usual. Verifique que f (x) = x2 e contnua.


Pela propiedade anterior, basta provar que f 1 (a, b) e aberto.
Temos tres casos:
1. Se 0 < a < b, entao:

f 1 (a, b) = ( b, a) ( a, b).
2. Se a < 0 < b, entao:



f 1 (a, b) = ( b, b).
3. Se a < b < 0, entao:


f 1 (a, b) = .


4. Nos tres casos, os conjuntos f 1 (a, b) sao abertos; logo f e contnua.
O seguinte corolario e fundamental em diversas a reas e e conhecido como
teorema de colagem.


Corolario 2.2. Seja X, T tal que X = A B, onde A e B sao conjuntos

fechados (abertos) em X. Se f : A Y e g : B Y sao funcoes

contnuas tais que f (x) = g(x) para todo x A B, entao a funca o h :
X Y definida por:
(
f (x) se x A
h(x) =
g(x) se x B
e contnua.
Prova : Seja F Y fechado; entao:

Como f 1

h1 F = h1 F ) A B








= f 1 F A g 1 F B




= f 1 F g 1 F .




F e g 1 F sao fechados, entao h contnua.

48

CAPITULO
2. FUNC
OES
EM ESPAC
OS TOPOLOGICOS

Exemplo 2.3.
Seja R com a topologia usual e
(
x
f (x) =
2x

se 0 x 1
se 1 x 2.

Logo, f e contnua.


Proposica o 2.2. Seja X, T . Entao 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}

sao abertos.


Prova : Seja R, Tus . Consideramos (b, +) e (, b) elementos da subbase da topologia euclidiana; logo:


f 1 (b, +) = {x / f (x) > b}


f 1 (, b) = {x / f (x) < b}.
Observaca o 2.3. A condica o que ambos os conjuntos sejam abertos nao
pode ser ignorada. Por exemplo, consideremos a funca o caracterstica de
A, A : R R nao e contnua.
De fato, considere A = (0, 1); entao {x / A (x) < 1} nao e aberto e todos
{x / A (x) > b} sao abertos, Logo, na proposica o ambos os conjuntos devem ser abertos.

2.3 Continuidade em Espacos Metricos

Sejam M, d1 e M, d2 espacos metricos; entao:
f : M N
e contnua em x M , se para todo > 0, existe > 0 tal que d1 (x, y) <
implica em que d2 (f (x), f (y)) < . Isto e :


f B 1 (x, ) B 2 (f (x), ).


2.3. CONTINUIDADE EM ESPAC
OS METRICOS

49

Proposica o 2.3. Sejam (M, d) um espaco metrico, R com a topologia usual,

y0 M e A M . A funca o f : M R definida por f (y) = d(y, A) e
contnua. Veja a proposica o 1.7.
Prova : Sejam x, y M ; entao, 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).
Entao d(x, A) d(y, A) d(x, y). Analogamente, mudando x por y e viceversa, obtemos:
|d(x, A) d(y, A)| d(x, y).
Observacoes
2.1.




1. Sejam V, k k1 e W, k k2 espacos vetoriais normados de dimensao
finita. Entao, toda aplicaca o linear f : V W e contnua.




2. Sejam M, d1 e M, d2 espacos metricos; entao:
f : M N
e uniformemente contnua, se para todo x, y M e > 0, existe
() > 0 tal que d1 (x, y) < (); implica em d2 (f (x), f (y)) < .
3. Uniformemente contnua implica contnua. A reciproca e falsa, basta
considerar:
f : (0, +) (0, +)
definida por f (x) = 1/x e contnua e nao uniformemente contnua.
4. A funca o f (y) = d(y, A) e uniformemente contnua.




5. Sejam V, k k1 e W, k k2 espacos vetoriais normados de dimensao
finita. Toda aplicaca o linear f : V W e uniformemente contnua.

50

CAPITULO
2. FUNC
OES
EM ESPAC
OS TOPOLOGICOS

2.4 Topologia Inicial

Sejam Y, T2 , X um conjunto nao vazio e f : X Y uma funca o. E
possvel achar

uma topologia para X tal que f seja contnua? Por exemplo
se X, Tdis , entao f e contnua.
Seja X um conjunto nao vazio e:


Sf = {f 1 V / V T2 }.
Sf e uma subbase para uma topologia T(f ) sobre X que torna f contnua.
Definica o 2.2. T(f ) e dita topologia inicial para f .

2.5 Topologia Produto

Sejam X, T1 , Y, T2 e X Y . Denotemos por:
pr1 : X Y X
pr2 : X Y Y
canonicas,

as respectivas projecoes
onde pr1 (x, y) = x e pr2 (x, y) = y.


pr11 U = U Y,


pr21 V = X V,




pr11 U pr21 V = U V.
Note que:




Spr = {pr11 U , pr21 V / U T1 , V T2 }
Bpr = {U V / U T1 , V T2 }

sao a subbase e a base que geram uma topologia sobre X Y , que torna
contnuas. Esta topologia e dita topologia produto.
as projecoes
Esta e a menor topologia com esta propriedade. Isto e , W X Y e aberto
se para todo x W existe U V , U aberto em X e V aberto em Y tal que
x U V W.

2.5. TOPOLOGIA PRODUTO

XxV

51

UxV

UxY

Figura 2.1: Elementos de S e B.

Observaca o 2.4. Todos os argumentos desta seca o sao validos para uma

quantidade finita de espacos topologicos.

Exemplo 2.4.
[1] Rn = R R . . . R tem a topologia produto induzida pela topologia
de R. Se consideramos em R a topologia usual, entao a topologia em Rn
tambem e a topologia euclidiana ou usual.
[2] S n Rn+1 e um conjunto fechado. De fato, seja Rn com topologia usual
e consideremos a funca o f : Rn+1 R definida por:
f (x1 , x2 , . . . , xn , xn+1 ) = x21 + x22 + . . . + x2n + x2n+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
R3 .
[4] Seja S 1 com a topologia induzida de R2 ; entao T 2 = S 1 S 1 com a
topologia produto, e dito toro.

Figura 2.2: O toro T 2 = S 1 S 1

52

CAPITULO
2. FUNC
OES
EM ESPAC
OS TOPOLOGICOS

Proposica o 2.4. Sejam X, T1 , Y, T2
, Z, T3 espacos topologicos,

o es
paco topologico
produto Y Z, Tp , f1 : X Y e f2 : X Z e
definamos:
f : X Y Z
por f (x) = (f1 (x), f2 (x)). Entao, f e contnua se, e somente se f1 e f2 sao
contnuas.
Prova : Sejam pr1 : Y Z Y e pr2 : Y Z Z as respectivas

projecoes.
Como fi = pri f , se f e contnua, entao fi = pri f sao
contnuas (i = 1, 2).
Reciprocamente, se as fi sao contnuas, seja U V um aberto basico de
Y Z; entao:






f 1 U V = f11 U f21 V ;
logo, f e contnua.

Proposica o 2.5.
Sejam X, T
1 , Y, T2 , Z, T3 , H, T4 espacos topologi

cos, X Y, Tp , Z H, Tp espacos topologicos
produto, f1 : X Z e
f2 : Y H. Definamos:
f1 f2 : X Y Z H
por (f1 f2 )(x, y) = (f1 (x), f2 (y)). Se f1 e f2 sao contnuas, entao f1 f2 e
contnua.
Prova : Sejam pr1 : X Y X e pr2 : X Y Y as respectivas

projecoes.
Como:
f1 pr1 : X Y Z
f2 pr2 : X Y H
sao contnuas, entao f1 f2 e contnua.

Proposica o 2.6. Sejam X, T1 um espaco topologico

e E, k k um Respaco vetorial normado. Como E possui uma estrutura algebrica, dadas
f, g : X E podemos definir a nova funca o:
f + g :X E

x f + g (x) = f (x) + g(x).

Se f e g sao contnuas, entao f + g e contnua.


2.6. FUNC
OES
ABERTAS E FECHADAS

53

Prova : Sejam h : X E E tal que h(x) = (f (x), g(x)) e S : E E E

tal que S(v1 , v2 ) = v1 + v2 ; a funca o S e contnua. Entao f + g = S h, e
contnua.
Proposica o 2.7. Sejam f : X E e : X R e definamos a nova
funca o:
f :X E
x f )(x) = (x) f (x)).
Se f e sao contnuas, entao f e contnua.
Prova : Sejam h : X RE tal que h(x) = ((x), f (x)) e m : RE E
tal que m(, v) = v; a funca o m e contnua. Entao f = m h, e contnua.
Observaca o 2.5. A prova de que S e m sao contnuas segue do fato de

serem ambas contracoes.

Veja [EL2].

2.6 Funcoes
Abertas e Fechadas

Sejam X, T1 e Y, T2 espacos topologicos.

Definica o 2.3. A funca o:
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, nao necessariamente f e contnua. Veja

os seguintes exemplos.
Exemplo 2.5.
[1] A funca o identidade:




id : X, T1 X, T2
e aberta (fechada) se, e somente se T1 T2 , mas nao e contnua quando
T1 6= T2 .
de um espaco produto sao abertas.
[2] As projecoes

CAPITULO
2. FUNC
OES
EM ESPAC
OS TOPOLOGICOS

54

nao sao fechadas. Por exemplo, seja R com a topologia

[3] As projecoes
pri : R2 R, (i = 1, 2) e o conjunto:
usual e considere as projecoes
H = {(x, y) R2 / x y = 1}.

Figura 2.3: H e a projeca o R {0}

H e fechado em R2 e pri (H) = R {0}, que e aberto.
[4] Se X = {a, b} com a topologia discreta, entao f : X R definida por
f (a) = 0 e f (b) = 1 e contnua, fechada e nao aberta.
Seja f : X Y bijetiva. Entao 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.

Proposica o 2.8. Seja f : X Y . Sao equivalentes as condicoes:

1. f e aberta.

2. f (A) \
f (A) , para todo A X.

3. f leva abertos basicos de X em abertos basicos de Y

4. Para todo x X e toda U X vizinhanca de x, existe W Y tal
que:
f (x) W f (U ).


2.6. FUNC
OES
ABERTAS E FECHADAS

55

Prova :

1) 2) A A; entao 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 basico de X; U = U ; entao:

f (U ) = f (U ) \
f (A) f (U );

logo, f (U ) e aberto basico.

3) 4) Para cada x X, seja U vizinhanca de x; existe V aberto basico
tal que x V U . Considere W = f (V ).
4) 1) Seja U X aberto; para todo y f (U ) existe vizinhanca Wy de y
tal que Wy f (U ); logo:
[
Wy ;
f (U ) =
yf (U )

entao, f e aberta.
Proposica o 2.9. f : X Y e fechada se, e somente se f (A) f (A).
Prova : Se f e fechada, entao 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 );
entao, f (F ) = f (F ) e f (F ) e fechado.

56

CAPITULO
2. FUNC
OES
EM ESPAC
OS TOPOLOGICOS

2.7 Exerccios
1. Sejam X = {1, 2, 3, 4, 5} e Y = {a, b} com as seguintes topologias:
(a) T1 = {, X, {1}, {3, 4}, {1, 3, 4}} e T2 = {, Y, {a}}, respectiva contnuas entre X e Y .
mente. Ache todas as funcoes
(b) T1 = {, X, {2}, {3, 4}, {2, 3, 4}} e T2 = {, Y, {b}}, respectiva contnuas entre Y e X.
mente. Ache todas as funcoes
2. Seja X = {1/n / n N} R com a topologia induzida pela topologia
usual de R. A funca o:


f :X R, Tus
1/n (1)n n
e contnua?
definidas por:
3. Seja R com a topologia usual, as funcos
(
x2
se x 0
(a) f (x) =
3
x
se x 0
(
x2 + 4 se 4 x 0
(b) f (x) =
x 3 se 0 x 4
sao contnuas?
4. Verifique que a funca o f (y) = d(y, A) e uniformemente contnua.

5. Sejam X, Y espacos topologicos,

A, B X conjuntos fechados tais
que X = A B, f : A Y e g : B Y funca oes contnuas. Se
f |AB = g|AB , verifique que:
(
f (x) se
h(x) =
g(x) se

xA
xB

e contnua.

e considere as
6. Sejam X, T1 , Y, T2 , Z, T3 espacos topologicos

funcoesf
: X Y e f : Y Z:
(a) Se f e g sao abertas (fechadas), enao g f e aberta (fechada).


2.7. EXERCICIOS

57

(b) Se g f e aberta (fechada) e f e contnua e sobrejetiva, entao g e

aberta (fechada)?
(c) Se g f e aberta (fechada) e g e contnua e injetiva, entao f e
aberta (fechada)?

7. Sejam X, T1 , Y, T2
espacos topol

Prove que f e aberta se,

ogicos.
1
1
e somente se f
B f
B , para todo B Y .
8. Verifique que sao equivalentes:
(a) f e fechada.
(b) Se U T1 , entao {y Y / f 1 (y) U } T2 .
(c) Se F X e fechado, entao {y Y / f 1 (y) F 6= } e fechado
em Y .




9. Toda funca o f : R, Tcof R, Tus e fechada? Justifique sua
resposta.




10. Toda funca o f : R, Tcof R, Tcof e aberta e fechada? Justifique
sua resposta.
11. Seja X = {1, 2, 3, 4} com a topologia de base
{, {1}, {4}, {1, 2}, {1, 3}}.
abertas e contnuas de X em X.
Determine todas as funcoes

12. Sejam X, Y espacos topologicos

e f : X Y injetiva. Verifique que
sao equivalentes:
(a) f 1 e contnua.
(b) f e aberta.
(c) f e fechada.

13. Sejam X um espaco topologico,

R com a topologia usual, A X e
definamos a funca o A : A R chamada caracterstica de A por:
(
1
A (x) =
0

se a A
se a
/A

Verifique que A e contnua se, e somente se A e aberto e fechado em

X.

58

CAPITULO
2. FUNC
OES
EM ESPAC
OS TOPOLOGICOS

14. Seja R com a topologia usual e denotemos por Ra o conjunto R com

a topologia:
{, R} {(a, a) / a R, a > 1}.
(a) Verifique que f : R Ra tal que f (x) = x2 e contnua.
(b) f : Ra R tal que f (x) = x2 e contnua?
15. Seja M (n, R) com a topologia usual, defina T : M (n, R) M (n, R)
por T (A) = At , onde At e a matriz transposta de A. Verifique que T
e contnua.
16. Sejam Rn e M (n, R) com a topologia usual, definamos a seguinte
funca o F : M (n, R) Rn Rn definida por F (A, x) = A x, considerando x como uma matriz n 1. Verifique que F e contnua.
17. Sejam M , N espacos metricos e K M um conjunto fechado e limitado, denotemos por C(M, N ) = {f : M N / f contnua}, se
V N e aberto:
U(K, V ) = {h C(M, N ) / h(K) V }.
(a) Verifique que U(K, V ) e uma subbase para uma topologia em
C(M, N ).
(b) Estude o caso M = N = R com a metrica usual..

Captulo 3
HOMEOMORFISMOS
3.1 Introduca o
Um dos problemas centrais em Topologia e poder decidir se dois espacos
sao diferentes ou nao.
Por exemplo, nao e trivial dizer sob o ponto de vista da Topologia se uma
esfera e diferente de um cilindro, se uma esfera e diferente de um toro ou
se Rn e diferente de Rm , se n 6= m.
Neste captulo comecaremos com os primeiros conceitos que nos permi fundamentais.
tirao responder a algumas destas questoes

3.2 Homeomorfismos

Sejam X e Y espacos topologicos.

Definica o 3.1. f : X Y e um homeomorfismo se f e bijetiva, contnua
e f 1 e contnua.
Notaca o: Se X e Y sao homeomorfos utilizamos a seguinte notaca o:
X
= Y.
Observacoes
3.1.
1. A composta de homeomorfismos e um homeomorfismo. Ser homeomorfo e uma relaca o de equivalencia na famlia dos espacos to
pologicos.
59


CAPITULO
3. HOMEOMORFISMOS

60

2. Veremos nos proximos

paragrafos que os espacos topologicos
ho
meomorfos possuem as mesmas propriedades topologicas.
Isto e , se
consideramos as classes de equivalencia, teremos que espacos homeomorfos sao essencialmente iguais em topologia.
3. Uma funca o bijetiva e contnua nao e necessariamente um homeomorfismo. Veja o seguinte exemplo.

Exemplo 3.1.
Sejam S 1 R2 e [0, 2 ) R com as respectivas topologias induzidas pelas
topologias usuais. Definamos:
f : [0,2 ) S 1
t (cos(t), sen(t)).
f e contnua e bijetiva. Por outro lado,
f 1 : S 1 [0, 2 )
e descontnua em p = (1, 0).
De fato:
1
Seja = ; para cada n N, seja tn = 2 [0, 2 ) e zn = f (tn ), logo
n
1
kzn pk < , pois o arco tn e maior que a corda.
n

tn
zn

Figura 3.1:
Entao f 1 (zn ) = tn e:

3.2. HOMEOMORFISMOS

61

|f 1 (zn ) f 1 (p)| = |tn | = 2

1
> = ,
n

para todo n N. Logo, f e uma bijeca o contnua que nao e um homeomorfismo.

A seguir apresentaremos os primeiros exemplos de homeomorfismos. Alguns detalhes serao deixados para o leitor.
Exemplo 3.2.
[1] Seja R com a topologia usual. Entao, 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) definida por:
f (t) =

2 t (b + a)
,
ba

f e bijetiva, contnua e sua inversa:

(b a) y + (a + b)
,
2
tambem e contnua. Logo, (a, b)
= (1, 1).
f 1 (y) =

Definamos f : R (1, 1) por:

f (t) =

t
,
1 + |t|

f e bijetiva, contnua e sua inversa:

f 1 (y) =

y
,
1 |y|

tambem e contnua. Logo, R

= (1, 1). Pela transitividade do homeomorfismo, temos que:
R
= (a, b).
[2] Seja Rn com a topologia usual e H = {(x1 , x2 , . . . , xn ) Rn / xn = 0}
Rn . Entao
H
= Rn1 .


CAPITULO
3. HOMEOMORFISMOS

62

Definamos f : H Rn1 por f (x1 , x2 , . . . , xn1 , 0) = (x1 , x2 , . . . , xn1 ).

Entao, f e contnua e bijetiva.
Definamos f 1 : Rn1 H por
f 1 (x1 , x2 , . . . , xn1 ) = (x1 , x2 , . . . , xn1 , 0).
Entao, f 1 e contnua. Logo:
H
= Rn1 .


[3] Seja E, k k um espaco vetorial normado; entao:
:
As translacoes
Ta : E E
v v + a
a E, sao homeomorfismos.
As homotetias:
h : E E
v v
R {0}, sao homeomorfismos.
Para todo r > 0 e todo v E:
E
= B(v, r).
De fato:
Ta sao bijetivas, contnuas e as inversas Ta1 = Ta , que sao contnuas.
h sao bijetivas, contnuas e as inversas h1
ao contnuas.
= h1 , que s
Definimos o homeomorfismo : E E por:


(x) = Tw hs/r Tv (x) = s/r (x v) + w.



Note que (v) = w e B(v,r) e um homeomorfismo tal que B(v, r) =
B(w, s). Entao:
B(v, r)
= B(w, s)

3.2. HOMEOMORFISMOS

63

para todo v, w E e r, s > 0. Agora definamos f : E B(v, 1) por:

f (u) =

u
1 + kuk

que e contnua e bijetiva com inversa contnua:

f 1 (w) =

w
;
1 kwk

logo, f e um homeomorfismo.
Pela transitividade do homeomorfismo, temos que:
E
= B(v, r).
[3] Sejam R2n e Cn ambos com a topologia usual. Entao:
R2n
= Cn ,
para todo n 1.
Se z C, z = x + i y, onde x, y R. Por outro lado, Cn = C C . . . C
(n-vezes) e R2n = R R . . . R (2n-vezes). Definamos:

f :C C . . . C R R . . . R R
(z1 , z2 , . . . , zn ) (x1 , y1 , x2 , y2 , . . . , xn , yn ).
f e , claramente, um homeomorfismo. Logo:
Cn
= R2n .

Teorema 3.1. Seja f : X Y bijetiva. Sao equivalentes as condicoes:

1. f homeomorfismo.
2. f e contnua e aberta.
3. f e contnua e fechada.
4. f (A) = f (A), para todo A X.


CAPITULO
3. HOMEOMORFISMOS

64

Prova :
1) 2) f 1 e contnua se, e somente se para todo aberto U X:

1
f 1 (U )
= f (U )
e aberto em Y .
2) 3) Segue do paragrafo anterior.
3) 4) Como f e contnua, f (A) f (A); como f e fechada, f (A) f (A).
Corolario 3.1. Seja f : X Y . O grafico de f e definido por:
G(f ) = {(x, f (x)) / x X} X Y.
Considere G(f ) com a topologia induzida pela topologia produto. Entao
f e contnua se, e somente se X
= G(f ).
Prova : De fato, definamos h : X X Y por h(x) = (x, f (x)) que e
contnua; entao 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 = pr2 h.
Corolario 3.2. Sejam f : X Y homeomorfismo e A X; entao:
1. A
= f (A).
2. X A
= Y f (A).
Prova: Imediata.

3.3 Exemplos de Homeomorfismos

[1] Seja A R2 com a topologia induzida, definido por:
A = {(x, y) R2 / 0 < a

A e um anel; entao:
A
= S 1 [a, b].

x2 + y 2 b}.

3.3. EXEMPLOS DE HOMEOMORFISMOS

65

Figura 3.2: O anel A

Definamos f : A S 1 [a, b] e f 1 : S 1 [a, b] A por:
p


x
y
f (x, y) = ( p
,p
), x2 + y 2
e f 1 ((x, y), t) = (t x, t y),
2
2
2
2
x +y
x +y
claramente f e f 1 sao bijetivas e contnuas; logo f e um homeomorfismo.
[2] Sejam S 1 e o quadrado Q = {(x, y) / max{|x|, |y|} = 1} em R2 com a
topologia induzida pela topologia usual de R2 ; entao:
S1
= Q.

Figura 3.3: Homeomorfismo entre S 1 e Q

Definamos 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 :
x y

x y

,
e f 1 (x, y) = , ,
m m
r r
p
onde m = max{|x|, |y|} e r = x2 + y 2 ; claramente f e f 1 sao bijetivas e
contnuas; logo f e um homeomorfismo.
f (x, y) =


CAPITULO
3. HOMEOMORFISMOS

66
De forma analoga, temos que:

S2
= C,
onde S 2 R3 e C = {(x, y, z) / max{|x|, |y|, |z|} = 1} e o cubo unitario.

Figura 3.4: Homeomorfismo entre S 2 e C

[3] Consideremos S n Rn+1 e o conjunto
E = {(x1 , . . . , xn+1 ) Rn+1 / a21 x21 + . . . a2n+1 x2n+1 = 1} Rn+1 ,
onde ai R {0}, ambos com topologia induzida pela topologia usual de
Rn+1 . Entao, S n
= E.

E
n

Figura 3.5: Homeomorfismo radial entre S 2 e E

Seja f : S n E definida por:
f (x1 , . . . , xn+1 ) =

xn+1

x1
,...,
.
a1
an+1

f e bem definida, bijetiva e contnua. Definamos f 1 : E S n por:

3.3. EXEMPLOS DE HOMEOMORFISMOS

67

f 1 (x1 , . . . , xn+1 ) = a1 x1 , . . . , an+1 xn+1 .
f 1 e bem definida e contnua. Logo, S n e homeomorfo a E.
Entao, S n e E sao topologicamente iguais.

Figura 3.6: Espacos homeomorfos a S 2

[4] Consideremos R2 {(0, 0)} R2 com topologia induzida pela topologia usual de R2 e os conjuntos
H = {(x, y, z) R3 / x2 + y 2 z 2 = 1},

S 1 R,

com topologia induzida pela topologia usual de R3 . Entao:

R2 {(0, 0)}
=H
= S 1 R.
Seja f : R2 {(0, 0) S 1 R definida por:
f (x, y) = p

x
x2 + y 2

, p

y
x2 + y 2

p


, ln( x2 + y 2 ) .

f e bem definida, bijetiva e contnua. Definamos f 1 : S 1 R R2

{(0, 0) por:


f 1 (x, y, t) = x et , y et .
g e bem definida, contnua e inversa de f . Logo:
R2 {(0, 0)}
= S 1 R.
Por outro lado, definamos h : S 1 R H por:


CAPITULO
3. HOMEOMORFISMOS

68

h(x, y, t) = x

1 + t2 , y

1 + t2 , t .

h e bem definida, bijetiva e contnua. Definamos h1 : H S 1 R por:

h1 (x, y, z) =

x
y
,
,z .
1 + z2
1 + z2

h1 e bem definida e contnua. Logo:

H
= S 1 R.

Figura 3.7: H e S 1 R

[5] Seja S n Rn+1 com a topologia induzida pela topologia usual de Rn+1 .
Consideremos Rn+1
= Rn R; entao (x, t) S n se, e somente se kxk = 1t2
. Denotemos por:
Sn = {(x, t) S n / t 0} e S+n = {(x, t) S n / 0 t}.
Os conjuntos Sn e S+n sao ditos hemisferios de S n . Note que
S n = Sn S+n

Sn 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 .

3.3. EXEMPLOS DE HOMEOMORFISMOS

69

Figura 3.8: S n1 como equador de S n

Consideremos a projeca o:

p : Rn R Rn
(x, t) x.

Se (x, t) S n , k(x, t)k = 1, logo kp(x, t)k 1; entao p(S n ) B[x, 1] Rn .

Via projeca o, temos que

Sn
= B[x, 1]
= S+n .

De fato, a funca o:

q : B[x, 1] S+n
x (x,

p
1 kxk2 )


e bem definida, contnua bijetiva e com inversa contnua pS n .
+


CAPITULO
3. HOMEOMORFISMOS

70

Figura 3.9: Sn , B[x, 1] e S+n

[6] Projeca o Estereografica : Seja S n Rn+1 com a topologia induzida pela

topologia usual de Rn+1 e p = (0, 0, . . . , 0, 1), entao:

S n {p}
= Rn .

De fato. Seja : S n {p} Rn definida da seguinte forma, dado x

S n {p}; considere a semi-reta px Rn+1 ; entao (x) = y, onde y e a
interseca o de px com o semi-plano definido por xn+1 = 0, homeomorfo a
Rn :
(
px = p + t (x p), t [0, 1]
xn+1 = 0,

logo, 1 + t (xn+1 1) = 0 e t =

(x) =

1
; entao:
1 xn+1

1
(x1 , x2 , . . . , xn ).
1 xn+1

3.4. GRUPOS DE MATRIZES

71
p

( z)
( x)
z

Figura 3.10: Definica o de

e bijetiva e contnua e:
2 y1
2 yn
kyk2 1

(y) =
,...,
,
;
1 + kyk2
1 + kyk2 1 + kyk2
1

k1 (y)k2 = 1 e 1 e contnua.

3.4 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 Kespaco vetorial. Fixemos K = R; o caso complexo e analogo. Denotemos
este espaco vetorial por:


Mnm R .


Seja A = (aij ) Mnm R . Definamos:


: Mnm R Rnm
A (a11 , a12 , . . . , a1n , . . . , am1 , . . . , amn ).
e claramente um isomorfismo
de espacos vetoriais. Via o isomorfismo

de Rnm .
, o espaco Mnm R herda toda a estrutura linear e topologica
nm
Utilizaremos
a metrica usual de R
para introduzir uma topologia em


Mnm R .


De fato, dada A = (aij ) Mnm R , definamos:


CAPITULO
3. HOMEOMORFISMOS

72

kAk1 = k(A)k =

X
n

1/2
a2ij

i,j=1

k k1 e uma norma em Mnm R que o torna um espaco vetorial normado.

Logo, um espaco topologico.

Note que kAk1 = AAt , onde At e a matriz transposta de A. E imediato que e bijetiva, contnua com inversa
contnua. Logo:


Mnm R
= Rnm .




Denotemos por Mn R = Mnn R ; entao:


2
Mn R
= Rn .
Seja R com a topologia usual. A funca o:


det : Mn R R,
definida indutivamente:
1. Se n = 1, det((a11 )) = a11 .
2. Se n > 1, seja A = (aij ) e:
det(A) =

n
X

(1)i+1 ai1 det(A[i,1] ),

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 funca o det e multilinear, logo contnua.
Seja Gl(n, R) o conjunto
das matrizes invertveis de ordem n. Gl(n, R) e


aberto em Mn R . De fato:
Gl(n, R) = det1 ({0}c ).
Gl(n, R) e tambem um grupo, chamado grupo linear geral real.
Denotemos por O(n) Gl(n, R), definido por:
A O(n)

AAt = I,

onde I e matriz identidade. Logo, A O(n) det(A) = 1. O(n) e um

grupo, chamado ortogonal.

3.5. HOMEOMORFISMOS LOCAIS

73

Denotemos por SO(n) O(n) definido por:

A SO(n)

det(A) = 1.

SO(n) e um grupo,
chamado ortogonal especial. O(n) e SO(n) sao fecha

dos em Mn R . De fato:
SO(n) = det1 ({1})
O(n) = det1 ({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 isomorfismo de grupos.
Seja K = C, denotemos por C = C {0}. De forma analoga ao caso real,
definimos:


Gl(n, C) = det1 C
U (n) = {A Gl(n, C) / A A = I}
SU (n) = det1 ({1}).
De forma analoga, os grupos Gl(n, C), U (n) e SU (n) sao ditos, linear complexo, unitario e especial unitario, 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 isomorfismo de grupos.

3.5 Homeomorfismos Locais

Definica o 3.2. Seja f : X Y . f e dito homeomorfismo local se para
todo x X existe U X vizinhanca de x tal que f (U ) = V e aberto em Y
e f : U V e um homeomorfismo.


CAPITULO
3. HOMEOMORFISMOS

74

Sejam U X, V Y abertos e f : U V um homeomorfismo; entao

para todo aberto U 0 U , temos que f (U 0 ) e aberto em V , logo e aberto em
Y.
Proposica o 3.1. Se f : X Y e um homeomorfismo local, entao f e
aberta.
Prova : Seja A X aberto; para cada x A existe Ux A vizinhanca de x
tal que:
f : Ux Vx ,
onde f (Ux ) = Vx . Seja Ux0 = Ux A. Pela observaca o anterior f (Ux0 ) e aberto
em Y . Como:

A=

Ux0

xA

f (A) = f

[
Ux0 =
f (Ux0 )

xA

xA

que e aberto em Y . Logo, f e aberta.

Observaca o 3.1. Homeomorfismo implica homeomorfismo 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. Entao:
f :R S 1
x e2ix
e um homeomorfismo local.
1. Consideremos os seguintes subconjuntos do crculo: S1 = {(x, y)
S 1 / y > 0}, S2 = {(x, y) S 1 / y < 0}, S3 = {(x, y) S 1 / x > 0} e
S4 = {(x, y) S 1 / x < 0}.

3.5. HOMEOMORFISMOS LOCAIS

75

S1

S4

S3

S2

Figura 3.11:
2. Consideremos os seguintes sub-intervalos: I1 = (n, n + 1/2), I2 = (n
1/2, n),
I3 = (n 1/4, n + 1/4) e I4 = (n + 1/4, n + 3/4), n Z.
3. Definamos: p1 : S1 (1, 1) por p1 (x, y) = x.
4. A funca o p1 e um
homeomorfismo. De fato, p1 possui a seguinte inversa
contnua q1 (t) = (t, 1 t2 ).
5. Denotemos por fi = f |Ii . Consideremos:
p1 f1 : I1 (1, 1).

Como e2ix = (cos(2x), sen(2x)), entao p1 f1 (x) = cos(2x). Logo,
pelas propiedades basicas de Trigonometria p1 f1 e um homeomorfismo:
1

1.5

-1

Figura 3.12: Homeomorfismo p1 f

um homeomorfismo e f1 = p1
6. Logo, p1
1 p1 f1
1 p1 f1 : I1 S1 e
e um homeomorfismo.
7. Definamos: p2 : S2 (1, 1) por p2 (x, y) = y.
De fato, p2 possui a seguinte inversa
8. A funca o p2 e um homeomorfismo.

contnua q2 (t) = (t, 1 t2 ).


CAPITULO
3. HOMEOMORFISMOS

76

1
9. De forma analoga,
p

f
: I2 S2 e um homeomorfismo e
2
2
2


1
f2 = p2 p2 f2 e um homeomorfismo.
10. De forma analoga as anteriores, verifica-se que I3
= S3 e I 4
= S4 .
11. Como intervalos destes tipos cobrem R. Por exemplo:
[
R=
(n, n + 1/2).
nZ

Entao, f e um homeomorfismo local.

Observaca o 3.2. Este exemplo mostra (por que?) que, em geral, um homeomorfismo local nao e homeomorfismo. Em particular, f e uma funca o
aberta (nao fechada).
Exemplo 3.4.
De forma totalmente analoga:
f :R2 S 1 R
(x, y) (e2ix , y)
e:
f :R2 S 1 S 1
(x, y) (e2ix , e2iy )
sao homeomorfismos locais.


3.6. EXERCICIOS

77

3.6 Exerccios
1. Sejam X = {a, b, c, d} com a topologia {, X, {a}, {c, d}, {a, c, d}}
e Y = {, , , }, defina uma topologia em Y tal que X e Y sejam
homeomorfos.
2. Sejam X {y} e {x} Y X Y . Verifique que para todo y Y e
para todo x X, temos:
X {y}
=X

e {x} Y
= Y.

Em particular, Rn
= Rn {0} Rn+1 .




3. Verifique que R, Tus nao e homeomorfo a R, Tcof .




4. Sejam M, d1 e M, d2 espacos metricos.

Dizemos que

as metricas
d1 e d2 sao equivalentes se id : M, Td1 M, Td2 e um homeomorfismo.
(a) Verifique que se M = Rn , entao d1 , d2 e d3 definidas anteriormente sao equivalentes.
(b) Seja M = R2 , d1 , d2 e d3 . Utilizando as bolas, de uma explicaca o
geometrica da equivalencia destas metricas.
5. Verifique que [0, 1] e [0, 1) nao sao homomorfos provando que nao
existe funca o f : [0, 1] [0, 1) contnua e sobrejetiva.




6. Sejam M, d1 e M, d2 espacos metricos. Verifique se a seguinte
afirmaca o e verdadeira ou false: f : M1 M2 e uma isometria se, e
somente se f e um homemorfismo.
7. Verifique que as isometrias sao homeomorfismos.
8. N e Q com a topologia induzida pela topologia usual de R, sao homeomorfos?
9. Considerando R2 com a topologia usual, verifique se os seguintes
subespacos sao homeomorfos:
(a) [0, 2] e [0, 1] [2, 3]


CAPITULO
3. HOMEOMORFISMOS

78

(b) {(x, y) R2 / x, y 0} e {(x, y) R2 / y 0}.

(c) {(x, y) R2 / x2 = y} e {(x, y) R2 / y = x2 }.
(d) {(x, y) R2 / x3 = y} e {(x, y) R2 / y = x2 }.
10. Verifique que com as topologias usuais os conjuntos R2 {(0, 0)} e
{(x, y) R2 / x2 + y 2 > 1} sao homeomorfos.
11. Verifique que com as topologias usuais R3 S 1 e R3 {(1, 1, 1)} sao
homeomorfos.
contnuas
12. Sejam R com a toplogia usual, f, g : R R funcoes
tais que f (x) < g(x), para todo x R. Verifique que os conjuntos
{(x, y) R2 / f (x) y g(x)} e {(x, y) R2 / y [0, 1]} sao homeomorfos.

13. Seja X, T1 um espaco topologico

e denotemos por:
G(X) = {f : X X / f e homeomorfismo}.
Verifique que:

(a) G(X) e um grupo com a composta de funcoes,

(b) Se X = [0, 1] e Y = (0, 1) com a topologia induzida pela usual
de R, defina:
:G(X) G(Y )

f f 
Y

e um isomorfismo de grupos? (Note que X e Y nao sao homeomorfos)

14. G(X) e abeliano? Caso a resposta seja negativa, quando e abeliano?

Captulo 4
TOPOLOGIA QUOCIENTE
4.1 Introduca o
A Topologia quociente e a fonte dos mais importantes para construir e
xemplos de espacos topologicos,
que constituirao a parte central desta notas. Neste captulo introduziremos os exemplos classicos na Matematica,

como a faixa de Moebius,

os espacos projetivos reais e complexos e a garrafa de Klein.

4.2 Topologia Quociente

Sejam X, T , Y um conjunto nao vazio e f : X Y sobrejetiva. Definamos em Y a seguinte topologia:
Tf = {V Y / f 1 (V ) T}.
Claramente, Tf e uma topologia sobre Y .
Definica o 4.1. Tf e dita topologia quociente em Y induzida por f .
Exemplo 4.1.
[1] Seja f : X Y constante. Determine Tf .
Considere y0 Y e suponha que f (x) = y0 para todo x X. Seja U Tf .
Se y0 U , entao f 1 (U ) = X e se y0
/ U , entao f 1 (U ) = . Isto e ,
qualquer subconjunto de Y e aberto, logo Tf e a topologia discreta sobre
Y.
[2] Seja X = {a, b, c} e R com a topologia usual; definamos f : R X
por:
79


CAPITULO
4. TOPOLOGIA QUOCIENTE

80

a
f (x) = b

se x > 0
se x < 0
se x = 0.

Entao, Tf = {X, , {a}, {b}, {a, b}} e a topologia quociente em X induzida

por f .
Proposica o 4.1. A topologia quociente Tf e a mais fina sobre Y que torna
f contnua.
Prova : De fato, sendo TY outra topologia em Y e se para todo V TY
temos que f 1 (V ) e aberto em X, entao V Tf .




Definica o 4.2. Sejam X, T , Y, TY e f : X Y sobrejetiva. A funca o
sobrejetiva f que induz a topologia quociente e chamada uma identificaca o se TY = Tf .

Observacoes
4.1.
1. Se f e uma identificaca o, V e aberto em Y se, e somente se f 1 (V ) e
aberto em X.


2. Se f e uma identificaca o, para todo P
Y temos que f f 1 (P ) = P ,


mas se S X, em geral S f 1 f (S) .
3. Nem toda funca o bijetiva e contnua e uma identificaca o. Por exemplo:




id : X, T1 X, T2
e uma identificaca o se, e somente se T1 = T2 .
e uma identificaca o.
4. A composta de identificacoes

4.2. TOPOLOGIA QUOCIENTE

81

4.2.1 Espaco Projetivo Real

Seja S n Rn+1 com a topologia induzida pela topologia usual de Rn+1 .
Definamos o conjunto dos pares nao ordenados:
PRn = {{x, x} / x S n },
onde x e o antipodal de x. De forma natural temos a funca o sobrejetiva:
: S n RPn


tal que (x) = {x, x}. O par RPn , T e dito espaco projetivo real de
dimensao n.

4.2.2 Faixa de Moebius

Considere o cilindro C = {(x, y, z) / x2 + y 2 = 1, |z| 1} com a topologia

induzida por R3 . Definamos o conjunto dos pares nao ordenados:
M = {{c, c} / c C}.
De forma natural, temos a seguinte funca o sobrejetiva:
: C M


tal que (p) = {p, p}. O par M, T e dito faixa de Moebius.

Seja
3
p = (x, y, z) C e f : M R definida por:
f ({p, p}) = ((x2 y 2 ) (2 + x z), 2 x y (2 + x z), x y)
f e injetiva, contnua; logo M
= f (M ) R3 com a topologia induzida.
De fato, pelo teorema 4.1 anterior, definimos F : R3 R3 por:
F (x, y, z) = f (x, y, z)
que e contnua.


CAPITULO
4. TOPOLOGIA QUOCIENTE

82

Figura 4.1: Faixa de Moebius

Proposica o 4.2.

1. Sejam X e Y espacos topologicos,

f : X Y uma funca o sobrejetiva, contnua e aberta (fechada); entao f e uma identificaca o.

2. Sejam X e Y espacos topologicos,

f : X Y uma funca o contnua.
Se existe uma funca o g : Y X tal que f g = idY , entao f e uma
identificaca o.
Prova :
1. Seja TY uma topologia em Y ; como f e contnua,
entao TY Tf .
Como f e aberta, para todo U Tf , U = f f 1 (U ) e aberto em TY ;
logo TY = Tf .
2. Como f g = idY entao f e sobrejetiva. Seja A
Y tal que f 1 (A)
seja aberto; entao A = (f g)1 (A) = g 1 f 1 (A) e aberto em Y ;
logo f e uma identificaca o.

Exemplo 4.2.
[1] A funca o:
pr1 :R2 R
(x, y) x
e uma identificaca o. Analogamente para pr2 (x, y) = y.

4.3. ESPAC
OS QUOCIENTES

83

[2] A funca o:
f :R S 1
x e2ix
e sobrejetiva, contnua e aberta; pela proposica o [4.2] e uma identificaca o.
[3] Analogamente:
f :R2 S 1 S 2
(x, y) (e2ix , e2iy )
e uma identificaca o.
Teorema 4.1. (Propriedade Universal da Topologia Quociente) Sejam X,

Z espacos topologicos
e f : X Y uma identificaca o. Entao, g : Y Z
e contnua se, e somente se g f e contnua.

gf

/Y
~
~
~~
~~ g
~
 ~~

X
Z

Prova : Se g e contnua e f contnua, entao g f e contnua. Reciproca
1

mente, seja W Z aberto; entao g f
(W ) e aberto em X. Como g

1


1
1
f
(W ) = f
g (W ) , pela definica o da topologia quociente, g 1 (W ) e
aberto em Y ; logo g e contnua.

4.3 Espacos Quocientes

sobrejetivas podem ser obtidas de forma natural utilizando clasFuncoes
ses de equivalencia de alguma relaca o de equivalencia.

Sejam uma relaca o de equivalencia sobre X e X o conjunto das classes de equivalencia em X. Definamos:

:X X
x [x]

onde [x] e a classe de equivalencia que contem x; e dita projeca o canonica

e e naturalmente sobrejetiva.


CAPITULO
4. TOPOLOGIA QUOCIENTE

84



Definica o 4.3. Seja X, T um espaco topologico.

O par X , T e dito
espaco quociente de X.

A projeca o canonica:

:X X
x [x]


e naturalmente uma identifica o. Note que V X e aberto


1 V = {x X / [x] V }
e aberto em X.
A seguir apresentaremos varios exemplos de homeomorfismos, a maioria

bastante intuitivos. Nos proximos

paragrafos, teremos ferramentas suficientes para provar estes homeomorfismos. Por enquanto, ficaremos apenas
com a parte geometrica.

4.3.1 O Crculo como Espaco Quociente

Seja I = [0, 1] R com a topologia induzida pela topologia usual de R.
Consideremos em I a relaca o de equivalencia:
xy

{x, y} = {0, 1},

ou x = y.

Se x (0, 1); entao [x] = {x}. Se x = 0; entao [0] = {0, 1}. Se x = 1, entao
[1] = {0, 1}; logo [0] = [1].
1

[0]=[1]

Figura 4.2: Construca o de S 1



Logo, : I I e uma identificaca o. Note que e bijetiva salvo
para x = 0 e x = 1 e:

4.3. ESPAC
OS QUOCIENTES

85


I
= S 1.

Nos seguintes exemplos, as setas indicam o sentido dos pontos que estao
na mesma classe de equivalencia.

4.3.2 O Cilindro como Espaco Quociente

Seja I 2 R2 com a topologia induzida pela topologia usual de R2 . Consideremos em I 2 a relaca o de equivalencia:
(x, y) (x1 , y1 ) (x, y) = (x1 , y1 ) ou {x, x1 } = {0, 1} e y = y1 ,
para todo (x, y), (x1 , y1 ) I 2
Observe que se x 6= 0, 1, entao [(x, y)] = {(x, y)} e [(0, y)] = [(1, y)].
 Em


particular, [(0, 0)] = [(0, 1)] e [(0, 1)] = [(1, 1)]. Entao : I 2 I 2 e
uma identificaca o. Note que e bijetiva salvo para (0, y) e (1, y) e


I2
= S 1 I.

Figura 4.3: Construca o de S 1 I

4.3.3 A Faixa de Moebius

como Espaco Quociente

Seja I 2 R2 com a topologia induzida pela topologia usual de R2 . Consideremos em I 2 a relaca o de equivalencia:
(x, y) (x1 , y1 ) (x, y) = (x1 , y1 ) ou (0, y) (1, 1 y),
para todo (x, y), (x1 , y1 ) I 2


CAPITULO
4. TOPOLOGIA QUOCIENTE

86

Observe que se x 6= 0, 1, entao [(x, y)] = {(x, y)} e [(0, y)] = [(1, 1 y)].
 Em


2
2
particular, [(0, 0)] = [(1, 1)] e [(0, 1)] = [(1, 0)]. Entao, : I I e
uma identificaca o. Note que e bijetiva salvo para (0, y) e (1, 1 y) e


I2
= M,

onde M e a faixa de Moebius.

(0,b)
(0,1-a)

(0,a)
(0,1-b)

Figura 4.4: Construca o da Faixa de Moebius

Nos proximos
captulos, verificaremos que a faixa de Moebius
e homeomorfo a uma superfcie parametrizada em R3 :

Figura 4.5: Faixa de Moebius

4.3.4 A Esfera como Espaco Quociente

I 2 R2 com a topologia induzida pela topologia usual de R2 . Consideremos em I 2 a relaca o de equivalencia:
(x, y) (x1 , y1 ) (x, y) = (x1 , y1 ) ou (0, y) (x, 0) e (x, 1) (1, y),

4.3. ESPAC
OS QUOCIENTES

87

para todo (x, y), (x1 , y1 ) I 2

Se x, y 6= 0, 1, entao [(x, y)] = {(x, y)}, [(x, 0)] = [(0, y)] e [(x, 1)] = [(1, y)].
Em particular, [(0, 0)] = [(1, 0)] = [(0, 1)] = [(1, 1)].


Entao, : I 2 I 2 e uma identificaca o. Note que e bijetiva salvo
para (0, y), (1, y), (x, 0) e (x, 1) e


I2
= S 2.

Figura 4.6: Construca o de S 2

4.3.5 O Toro como Espaco Quociente

Seja I 2 R2 com a topologia induzida pela topologia usual de R2 . Consideremos em I 2 a relaca o de equivalencia:

(x, y) (x1 , y1 ) (x, y) = (x1 , y1 ) ou (0, y) (1, y) e (x, 0) (x, 1),

para todo (x, y), (x1 , y1 ) I 2
Observe que se x, y 6= 0, 1, entao [(x, y)] = {(x, y)} e [(0, y)] = [(1, y)] e se
y = 0, entao [(x, 0)] = [(x, 1)].
Em particular, [(0, 0)] = [(1, 0)] = [(0, 1)] = [(1, 1)].


Entao, : I 2 I 2 e uma identificaca o. Note que e bijetiva salvo
para (0, y), (1, y), (x, 0) e (x, 1) e


I2
= S 1 S 1.

88

CAPITULO
4. TOPOLOGIA QUOCIENTE

Figura 4.7: Construca o do toro

As possveis vizinhancas de pontos no toro:

Figura 4.8: Projeca o das vizinhancas no toro

Nos proximos
captulos, verificaremos que o toro e homeomorfa a uma
superfcie parametrizada em R3 :

Figura 4.9: O toro

4.3.6 A Garrafa de Klein

Seja I 2 R2 com a topologia induzida pela topologia usual de R2 . Consideremos em I 2 a seguinte relaca o de equivalencia:

4.3. ESPAC
OS QUOCIENTES

89

(x, y) (x1 , y1 ) (x, y) = (x1 , y1 ), ou (0, y) (1, y) e (x, 0) (1 x, 1),

para todo (x, y), (x1 , y1 ) I 2
Se x, y 6= 0, 1, entao [(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)].


Entao, : I 2 I 2 e uma identificaca o. 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 contem

uma faixa de Moebius.

Figura 4.10: Construca o da Garrafa de Klein

Figura 4.11: Garrafa de Klein

4.3.7 O Cone e Suspensao 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:


CAPITULO
4. TOPOLOGIA QUOCIENTE

90

(x, t) (x0 , t0 ) t = t0 = 1.
A classe de equivalencia [(x, 1)] e dita vertice de CX.
Observaca o 4.1. Intuitivamente CX e obtido de X I onde identificamos
X {1} a um ponto. O subsepaco {[x, 0] / x X} CX e naturalmente
homeomorfo a X.
1

Xx I

CX

0
X

Figura 4.12: O cone sobre X.

Seja f : X Y contnua. Entao Cf : CX CY tal que:
Cf ([x, t]) = [f (x), t]
e contnua. De fato, basta considerar o diagrama comutativo:
h

X I Y I

1 y
y 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 suspensao de X e denotada por SX = X J , onde:
(x, t) (x0 , t0 ) t = t0 = 0 ou t = t0 = 1.
Observaca o 4.2. Intuitivamente SX e obtido de X I onde identificamos
X {1} com X {1} a um ponto. O subsepaco {[x, t] / t 0} CX e
naturalmente homeomorfo a CX.

4.4. TEOREMAS

91

1
SX

XxJ
0

-1

Figura 4.13: Suspensao de X.

Seja f : X Y contnua. Entao:
Sf : SX SY
tal que Sf ([x, t]) = [f (x), t] e contnua.
Seja S n Rn+1 ; entao:
CS n
= B[0, 1] e SS n
= S n+1 ,

n N.

De fato, considere o seguinte diagrama comutativo:

/ SS n
tt
t
tt
tt
tz t h

Sn J
p

S n+1

Onde e a projeca o canonica

e:

p
2

((1 t) x0 , . . . , (1 t) xn , 1 (1 t)
p(x0 , . . . , xn , t) =

p
((1 + t) x0 , . . . , (1 + t) xn , 1 (1 t)2

se t 0
se t < 0.

e h e definida por h(pN ) = pN , h(pS ) = pS e h([x]) = p(x). Os detalhes sao

deixados de exerccio.

4.4 Teoremas
de equivalencia em X
Definica o 4.4. Sejam f : X Y , e w relacoes
de equivalencia
e Y respectivamente. Dizemos que f preserva as relacoes
se para todos x1 , x2 X tais que x1 x2 , entao f (x1 ) w f (x2 ).

92

CAPITULO
4. TOPOLOGIA QUOCIENTE

de equivalencias em X e Y
Lema 4.1. Sejam f : X Y , e w relacoes

respectivamente. Se f e contnua e preserva as relacoes,

entao existe uma

unica
F , contnua que torna o seguinte diagrama comutativo:
f

1 y
y 2

F


X Y w
Alem disso, se f e uma identifica o, entao F e uma identificaca o.
Prova : Definamos F ([x]) = [f (x)].
1. A funca o F e bem definida. De fato, seja [x] = [x1 ]; entao x x1 e
f (x) w f (x1 ); logo
[f (x)] = [f (x1 )],
isto e F ([x]) = F ([x1 ]).
2. Pela definica o, F 1 = 2 f .
3. Suponhaque existe G tal que o diagrama comuta. Existe pelo menos
um [x] X tal que F ([x]) 6=
G([x]), como
1 e sobrejetiva, existe pelo
menos um x X tal que G 1 (x) 6= 2 f (x). Isto e uma contradica o,
pois o diagrama comuta.
4. Como 1 , 2 e f sao contnuas., pelo teorema [4.1], F e contnua.

Teorema 4.2. Sejam X e Y espacos topologicos

e f : X Y contnua e
sobrejetiva. Se e uma relaca o de equivalencia definida em X tal que:
x x1 f (x) = f (x1 ),


entao, existe F : X Y contnua e bijetiva.
Prova : Consideremos:
X FF
FF f
FF

FF
FF


#
X F /Y
1. Pelo lema [4.1], definimos F ([x]) = f (x). Logo, F e contnua e sobrejetiva.

4.4. TEOREMAS

93

2. Se F ([x]) = F ([x1 ]), entao (F )(x) = (F )(x1 ), isto e f (x) = f (x1 )

x x1 ; logo [x] = [x1 ]. Entao F e bijetiva.
para reconhecer espacos quocentes hoO seguinte corolario e muito util
meomorfos a espacos ja conhecidos.
Corolario 4.1. Com as hipoteses do teorema 4.2, sao equivalentes as se
guintes afirmacoes:
1. f e uma identifica o.
2. F e um homeomorfismo.
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 .

Corolario 4.2. Nas hipotese

do teorema [4.2], se f e um homeomorfismo,
entao:




X
= Y w .
Prova : Seja
f

1 y
y 2



F
X Y w
1. Pelo teorema [4.2], definamos F por F ([x]) = [f (x)].
2. F e bijetiva e contnua.
3. F 1 e contnua, pois F 1 1 = 2 f 1 e f 1 e contnua.
Exemplo 4.3.
Sejam X = (0, +) e Y = R. Consideremos Y com a topologia usual e X
com a topologia induzida. Definamos:
x1 x 2
y1 w y2

existe n N
existe n N

tal que
tal que

x 1 = en x2
y1 = n + y2 .


CAPITULO
4. TOPOLOGIA QUOCIENTE

94

Seja f : X Y tal que f (x) = ln(x); f e homeomorfismo. Por outro lado:

x1 x 2

existe n N

tal que

x 1 = en x2

Entao,
ln(x1 ) = ln(en x2 ) = ln(en ) + ln(x2 ) = n + ln(x2 ),
logo f (x1 ) w f (x2 ). Pelo teorema:




X
= Y w
= S 1.

4.5 Acoes
de Grupos


Sejam X 6= um conjunto e G, um grupo.


Definica o 4.5. O grupo G, atua pela esquerda sobre X se existe uma
funca o:
~ :G X X
(g, x) g ~ x,
tal que:
1. e ~ x = x, para todo x X e e G a identidade de G.




2. g1 ~ g2 ~ x = g1 g2 ~ x, para todo x X e g1 , g2 G.
3. Em tal caso, X e dito G-conjunto.

Exemplo 4.4.

[1] Sejam X um espaco topologico

e
G = {f : X X / f e um homeomorfismo}.

G e um grupo nao comutativo com a composta de funcoes.

Definamos:
~ :G X X
(f, x) f ~ x = f (x).


4.5. AC
OES
DE GRUPOS

95

Entao, X e um G-conjunto.
[2] Seja G o grupo gerado pelos homeomorfismos h, g : R2 R2 definidos por:
h(x, y) = (x + 1, y) e g(x, y) = (x, y + 1),
respectivamente. Logo, como no exemplo anterior:
~ :G R2 R2
(f, (x, y)) f ~ (x, y) = f (x, y).
Entao, R2 e um G-conjunto.


[3] Sejam X = S n e Z2 , . Definamos:
~ :Z2 S n S n
(1, x) 1 ~ x = x,
onde x e o antipodal de x. Entao, S n e um Z2 -conjunto.


[4] Sejam X = R e Z, + . Definamos:
~ :Z R R
(n, x) n ~ x = n + x.
Entao, R e um Z-conjunto.


[5] Sejam X = R2 e Z2 , + . Definamos:
~ :Z2 R2 R2
((n, m), (x, y)) (n, m) ~ (x, y) = (n + x, m + y).
Entao, R2 e um Z2 -conjunto.





[6] Sejam X = {(x, y) R2 / y 1/2, 1/2 } e Z, + . Definamos:
~ :Z X X
(n, (x, y)) n ~ (x, y) = (n + x, (1)n y).
Entao, X e um Z-conjunto.
[7] Seja S 1 C; entao S 1 tem uma estrutura de grupo multiplicativo induzida por C.


CAPITULO
4. TOPOLOGIA QUOCIENTE

96

De fato, se e2it , e2is S 1 , entao e2it e2is = e2i(t+s) . Consideremos S 2n+1

como subconjunto de Cn+1 :
S 2n+1 = {(z1 , z2 , . . . , zn+1 ) Cn+1 / kz1 k2 + kz2 k2 + . . . + kzn+1 k2 = 1}.
Definimos:
~ : S 1 S 2n+1 S 2n+1 ,
onde:
e2it ~ (z1 , z2 , . . . , zn+1 ) = (e2it z1 , e2it z2 , . . . , e2it zn+1 ).
Logo, S 2n+1 e um S 1 -conjunto.
[8] Seja S n1 Rn e G = O(n) o grupo ortogonal. Definamos:
~ :O(n) S n1 S n1
~
(A, x) n ~ x = Ax.
~ = 1; logo esta bem definida e S n1 e um O(n)-conjunto.
kAxk
Proposica o 4.3. Seja X um G-conjunto. Para todo g G definamos:
g : X X,
por g (x) = g ~ x; entao g e bijetiva.
Prova : Note que e = idX e que para todo g, h G, temos g h = gh .
Logo,
g g1 = gg1 = e = idX

e g1 g = g1 g = e = idX .

Entao g1 = g1 .
Definica o 4.6. Seja X um G-conjunto. Definimos:
1. O estabilizador de x X por:
Gx = {g G / g ~ x = x}.
Gx e um subgrupo de G.


4.5. AC
OES
DE GRUPOS

97

2. A orbita
de x X por:
Gx = {g ~ x / g G}.
Exemplo 4.5.
Consideremos S 3 como um S 1 -conjunto, com a aca o:
~ :S 1 S 3 S 3
(e2it , (z1 , z2 )) n ~ (z1 , z2 ) = (e2it z1 , e2it z2 ).
Seja (z1 , z2 ) S 3 ; entao o estabilizador do ponto (z1 , z2 ) e :
1
S(z
= {e2it / t Z}.
1 ,z2 )

Se X e um G-conjunto, podemos definir sobre X a seguinte relaca o de

equivalencia:
xy

existe g G tal que

g ~ x = y,

isto e :
x y y Gx.
Denotemos X/ por X/G o conjunto das classes de equivalencia desta

relaca o. Se X e um G-conjunto, temos a projeca o canonica,

que e sobrejetiva:
: X X/G.

Logo, se X e um G-conjunto que e espaco topologico,

podemos dar a X/G
a topologia quociente.

4.5.1 Espaco Projetivo Complexo

Seja S 2n+1 Cn+1 e S 1 C; entao S 1 tem a estrutura de grupo multiplicativo induzida por C. Definimos e denotamos o n-espaco projetivo
complexo, por:

CPn = S 2n+1 S 1 ,
onde x y se, e somente se x = y, para algum S 1 .

98

CAPITULO
4. TOPOLOGIA QUOCIENTE

Exemplo 4.6.
[1] Note que identifica cada crculo de S 2n+1 a um ponto.
[2] CP1
= S 2 . Isto e :
S 3 /S 1
= S 2.

4.6 G-espacos

Seja X um espaco topologico

que e um G-conjunto.
Definica o 4.7. X e dito G-espaco se g e contnua, para todo g G.
Exemplo 4.7.

[1] S n Z2 e um Z2 -espaco.
[2] R/Z e um Z-espaco.
[3] R2 /Z2 e um Z2 -espaco.
[4]. CPn e um S 1 -espaco.
[5] Seja G o grupo gerado pelos homeomorfismos h, g : R2 R2 definidos por:
h(x, y) = (x + 1, y) e g(x, y) = (x, y + 1),

respectivamente; entao R2 G e um G-espaco. Note que G nao e isomorfo
a Z Z.
Se X e um G-espaco, a funca o g e um homeomorfismo, para todo g G.
Se X e um G-espaco, entao existe um homomorfismo de grupos:
: G Homeo(X)
g g .

Proposica o 4.4. Se X e um G-espaco a projeca o canonica:

: X X/G
e aberta.
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:

4.6. G-ESPAC
OS

99

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}
[
=
g~U
gG

g (U ),

gG

que e aberto, pois g e um homeomorfismo.

Lema 4.2. Sejam X um G-espaco e Y um H-espaco, onde G, e H,
sao tais que:
~ :G X X
} :H Y Y
g : X X, homeomorfismo
h : Y Y, homeomorfismo
X : X X/G, sobrejetiva e contnua
Y : Y Y /H, sobrejetiva e contnua.
Sejam X um G-espaco e Y um H-espaco. Entao X Y e um G H-espaco.
anteriores, definamos:
Prova : Com as notacoes






 : G H 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)).


Nao e difcil provar que X Y e um G H -espaco e (g,h) e um homeomorfismo.


CAPITULO
4. TOPOLOGIA QUOCIENTE

100

anteriores:
Proposica o 4.5. Com as notacoes
X Y



GH

= X/G Y /H .

Prova :
Definamos F ([x, y]) = ([x], [y]), isto e , F (1 , 2 ) = :
X Y

(1 ,2 )

/ X Y /G H
lll
lll
l
l
ll
lv ll F

X/G Y /H

F e naturalmente bem definida e bijetiva.

F e contnua. Sejam
[U
]

[V
]

X/G

Y
/H
aberto;
devemos provar







1
que f
[U ] [V ] e aberto em X Y
G H , isto e , pela

definica o
de topologia quociente, devemos provar que 1 f 1 [U ] [V ] e aberto
1
em X Y . F = (X , Y ), entao 1 F 1 = (F )1 = (1
X , Y );
logo:



1
1 f 1 [U ] [V ] = 1
X ([U ]) Y ([V ]),
que e aberto, pela definica o da topologia quociente.

Exemplo 4.8.
Sejam X = R2 e G = Z2 . Definamos:
~ :Z2 R2 R2
((n, m), (x, y)) (n, m) ~ (x, y) = (n + x, m + y).
Entao, R2 e um Z2 -espaco, e:



R2 Z2
= T 2.
= S1 S1
=R ZR Z

de verificar alguns dos hoObservaca o 4.3. Agora estamos em condicoes

meomorfismos vistos anteriormente.

4.6. G-ESPAC
OS

101

4.6.1 O Crculo como Z-espaco

Seja R com a topologia usual e S 1 C com a topologia induzida pela usual
de C; entao:
R/Z
= S 1.
Seja f : R S 1 definida por f (x) = e2ix . Sabemos que f e um homeomorfismo local.
Veja o exemplo [3.3] .
Observemos que se consideramos R como grupo aditivo e S 1 como grupo
multiplicativo (multiplicaca o induzida por C). Entao:
f (x + y) = e2i(x+y) = e2ix e2iy = f (x) f (y),

isto e , f e um homomorfismo de grupos com nucleo

Z. Para todo x, y R,
f (x) = f (y) x y Z.
R e um Z-espaco com a operaca o n ~ x = n + x. Logo, x y existe
n Z tal que y = n + x f (x) = f (y). Entao, f e uma identificaca o; pelo
corolario [4.1] temos:
f

/ S1
=
{
F {{{
{

{{
 {

R Z

Logo F e um homeomorfismo, 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, entao:


S1
= I/ ,
onde x y x = y ou {x, y} = {0, 1}.
Seja f : I S 1 tal que e definida por f (x) = e2ix . Analogamante ao
exemplo anterior, f e uma identificaca o; pelo corolario [4.1], temos:
I

/ S1
z=
z
F zz
zz
z
z


I


CAPITULO
4. TOPOLOGIA QUOCIENTE

102

Logo F 0 e um homeomorfismo:


S1
=F 0 I/ .
Entao:


R/Z
=F S 1
=F 0 I/ .

4.6.2

O Toro como Z Z -espaco

De forma analoga, consideramos:

f :R R S 1 S 1
(x, y) (e2ix , e2iy )
Temos que:
R2 /Z2
= S 1 S 1.
Seja T 2 e o toro de revoluca o em R3 , 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) R2 .
Consideramos f : R2 T 2 definido por f (t, s) = (x(t, s), y(t, s), z(t, s)).
Nao e difcil ver que
f (t1 , s1 ) = f (t2 , s2 ) (t1 t2 , s1 s2 ) Z2 .
Por um argumento totalmente analogo ao anterior, obtemos um homeomorfismo:
R2 /Z2
= T 2.
Seja I 2 R2 com a topologia induzida pela topologia usual de R2 e para
todo (x, y),
(x1 , y1 ) I 2 , consideremos a relaca o de equivalencia:
(x, y) (x1 , y1 ) (x, y) = (x1 , y1 ) ou (0, y) (1, y) e (x, 0) (x, 1).

4.6. G-ESPAC
OS

103

O homeomorfismo:
I 2/

fica para os proximos

captulos.

= T2


CAPITULO
4. TOPOLOGIA QUOCIENTE

104

4.7 Exerccios
1. Seja R com a topologia gerada pelos intervalos semi-abertos [a, b) e
f : R [0, +) definida por f (x) = x2 , qual e a topologia quociente indizida por f ?




2. Seja X = [1, 1] {1} [1, 1] {1} com a topologia induzida pela usual de R2 e relaca o de equivalencia
definida por
(1, 1) (1, 1) e (1, 1) (1, 1). Considere X/ com a topologia quociente, verifique que:
X/

= S 1,

S 1 com a topologia induzida pela usual de R2 .

3. Seja R com a topologia usual, defina x y se e, somentese xy Q.
Que topologia induz a relaca o de equivalencia em R Q.
4. Seja X = S 1 , considere a relaca o de equivalencia z z, para todo
z S 1 . O quociente X e homeorfo a S 1 ?
5. Seja X = S 1 , considere a relac
z e2 i/3 z, para
 a o de equivalencia
1
1
todo z S . O quociente X e homeorfo a S ?
6. Seja X = S 2 {p, q}, tal que p, q S 2 . Verifique que X e homeomorfo
a S 1 I.
7. Seja X = S 1 I, considere a relaca o de equivalencia (z, 0) (z, 1),
para todo z S 1 . Verifique que X e homeomorfo ao toro T2 .
8. Seja S 1 C e X = S 1 S 1 ; em X considere a relaca o de equivalencia
(z, w) (z, w), onde w e o conjudado
complexo de w; para todo

1
1
(z, e) S S . Verifique que X e homeomorfo a garrafa de
Klein.


9. Seja R, T , onde T e a topologia definida por: U T se, e somente
se 0 U . Seja a relac

a o de equivalencia definida por x x.
Verifique que R/ com a topologia quociente e homeomorfo a
[0, +) com a topologia induzida por T.


4.7. EXERCICIOS

105

10. Seja Rn com a topologia de Zariski e relaca o de equivalencia definida por

(x1 , x2 , x3 , . . . , xn ) (y1 , y2 , y3 , . . . , yn )

xi = y i ,

para todo i = 1, 2, . . . , n. Verifique que Rn / com a topologia
quociente e homeomorfo a Rn1 com a topologia de Zariski.
11. Verifique que RP0
= {p}.
12. Verifique que RP1
= S 1.
13. Verifique que CP1
= S 2.


quocientes.
14. Sejam p1 : X X 1 e p2 : X X 2 aplicacoes
Com um contraexemplo, verifique que o produto cartesiano


p1 p2 : X : X X 1 X 2
nao e uma aplicaca o quociente.
contnuas, abertas e sobrejetivas;
15. Sejam p : X Y sao funcoes
para todo . Defina p : X Y , onde e o produto
cartesiano de espacos topologicos. Prove que p e uma aplicaca o
quociente.
16. Seja f : X
Y uma aplicaca o sobrejetiva e B uma base da topologia de X. f B e base da topologia quociente?
17. Prove que se G e um grupo finito, entao a aplicaca o e fechada.
18. Ache exemplos de G-espacos, onde G seja um grupo finito.
19. Para todo x, y X. Prove que Gx = Gy ou sao disjuntas.
20. Prove que X =

[
xX

Gx, (uniao disjunta).

106

CAPITULO
4. TOPOLOGIA QUOCIENTE

21. Seja G o grupo gerado pelos homeomorfismos h, g : R2 R2 definidos por:

h(x, y) = (x + 1, y) e g(x, y) = (x, y + 1),
respectivamente, Verifique que R2 /G e homeomorfo a` garrafa de
Klein.
22. Seja X 6= e h : X X [0, +) tal que satisfaz h(x, x) = 0,
h(x, y) = h(y, x) e h(x, y) h(x, z) + h(z, y), para todo x, y, z X.
Defina:
x y h(x, y) = 0.
(a) Verifique que e uma relaca o de equivalencia.

(b) Verifique que X e um espaco metrico, com a metrica:
d((x), (y) = h(x, y),


onde : X X e a projeca o canonica.


(c) Qual e a topologia em X induzida por d?

Captulo 5
COMPACIDADE
5.1 Introduca o
contnuas definidas sobre conjuntos liDo Calculo sabemos que funcoes
mitados e fechados possuem um ponto de maximo e um de mnimo absoluto (Teorema de Weierstrass) e da Analise conhecemos o teorema de
Heine-Borel sobre intervalos encaixados.
de compacidade em espacos topologicos

As formulacoes
envolve muito
mais do que o conceito de fechado e limitado, os quais nao sao equivalentes.
A importancia principal da compacidade e que ela nos permite obter propriedades globais a partir de propriedades locais. Existem varias formas

de introduzir o conceito de compacidade em espacos topologicos.

Nos
escolhemos a seguinte.

5.2 Compacidade

Seja X um espaco topologico

e S X.
Definica o 5.1.
1. Uma cobertura de S e uma famlia de subconjuntos U = {Ui
X / i J} tal que:
S

Ui .

iJ

2. Se J e finito, a cobertura e dita finita.

107


CAPITULO
5. COMPACIDADE

108

3. A cobertura e dita aberta se os Ui U sao conjuntos abertos.

4. Se S = X, entao U e uma cobertura se:
X=

Ui .

iJ

Exemplo 5.1.
Seja R com a topologia usual.
Se (0, 1) R; entao, U = {[1/n, 1 1/n] / n N} e uma cobertura nao
aberta de (0, 1).
Se [0, 5] R; entao, U = {(n 1, n + 1) / n Z} e uma cobertura aberta de
[0, 1].
Por ouro lado U = {(n, n + 1) / n Z} e uma cobertura aberta de R.
Definica o 5.2. Sejam U = {Ui X / i J} e V = {Vk X / k K}
coberturas de S X. Se para todo k K existe i J tal que Ui = Vk ,
entao, dizemos que V e uma subcobertura de U.
Exemplo 5.2.
Seja R com a topologia usual.
Se [0, 5] R com a cobertura U = {(n 1, n + 1) / n Z}, temos que
{(1, 1), (1, 2), (1, 3), (3, 5), (3, 6)} e uma subcobertura finita de [0, 5]
Se U = {(r, r+3) / r R}, entao V = {(n, n+3) / n Z} e um subcobertura
aberta de R.
Observaca o 5.1. A seguir e nos proximos

captulos, somente consideraremos coberturas abertas.

Definica o 5.3. Um subconjunto S X e dito compacto, se toda cobertura
de S admite uma cobertura finita.
Em particular, o espaco X e compacto, se todo cobertura de X admite uma
subcobertura finita.

Os conjuntos finitos, em qualquer espaco topologico,

sao compactos. A
uniao e a inteseca o finita de compactos e um compacto.

5.2. COMPACIDADE

109

Exemplo 5.3.

[1] Seja X, Tind . Todo A X e compacto.


[2] Seja X, Tdis . X e compacto se, e somente se X e finito.
[3] Se S X e discreto infinito, entao S nao e compacto. Em particular, N
e Z nao sao compactos.
[4] R nao e compacto, pois U = {(n, n + 2) / n Z} nao possui uma subcobertura finita.

Proposica o 5.1. Sao equivalentes as condicoes:

1. X e compacto.
2. (Propriedade da interseca o finita) Se {F X / J} e tal que os
conjuntos F sao fechados e:
\

F = ,

entao existe uma subfamlia finita {F1 , F2 , . . . , Fn } tal que:

n
\

Fi = .

i=1

Prova : A prova segue diretamente das leis de de Morgan. Por exemplo:

\
[
F = e equivalente a
Fc = X.
J

Proposica o 5.2. Seja f : X Y contnua. Se S X e compacto, entao

f (S) e compacto em Y .
Prova : Seja V = {Vi / i J} um recobrimento de f (S); entao: 2] Para todo
a, b R, [a, b] R e compacto.
De fato, o intervalo [0, 1] e compacto
{f 1 (Vi ) / i J}
e uma cobertura de S; como S e compacto, existe subcobertura finita:

110

CAPITULO
5. COMPACIDADE

{f 1 (Vk ) / k K},
onde K e finito. Como f (f 1 (Vk )) Vk , entao {Vk / k K} e uma subcobertura finita de f (S).
Exemplo 5.4.
[1] Para todo a, b R, (a, b) R nao e compacto.
De fato, o intervalo (0, 1) nao e compacto em R, basta considerar o reco1

brimento U = { , 1 / n 2}. Como (0, 1) ' (a, b), temos que (a, b) nao e
n
compacto.
Corolario 5.1.
1. Se X e compacto e f : X Y e contnua e sobrejetiva, entao Y e
compacto. Em particular, se Y tem a topologia quociente induzida
por f , entao Y e compacto.
2. Se X
= Y , entao X e compacto se, e somente se Y e compacto.

Exemplo 5.5.
O traco de uma curva contnua : [a, b] X e compacto. Em particular,
seja f : [a, b] R2 definida por f (t) = (cos(t), sen(t)) tal que b a 2.
Entao S 1 = f ([a, b]) e compacto em R2 .
Nem todo subconjunto de um espaco compacto e compacto. (0, 1) [0, 1]
nao e compacto.
Proposica o 5.3. Se X e compacto e F X e fechado, entao F e compacto.
Prova : Seja U = {Ui / i J} uma cobertura de F , onde cada Ui e aberto
em X; entao U {X F } e uma cobertura de X; como X compacto, possui
um subcobertura finita, que pode ser:
{Ui / i K} ou {Ui / i K} {X F },
onde K e finito. Logo {Ui / i K} e um subcobertura finita de F .
Proposica o 5.4. X e Y sao compactos se, e somente se X Y e compacto.

5.2. COMPACIDADE

111

sao contnuas, entao X e

Prova : Se X Y e compacto, como as projecoes
Y sao compactos.
Reciprocamente, seja W = {Wj / j J} uma cobertura aberta de X Y ;
por definica o:
[


Wj =
Uj,k Vj,k ,
kK

onde Uj,k e aberto em X e Vj,k e aberto em Y , entao:

U = {Uj,k Vj,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 tambem e uma cobertura de {x} Y , entao admite um
subcobrimento finito {Ui Vi / i = 1, 2, . . . , n}, onde n = n(x). Seja:
\

n(x)

Ux =

Ui .

i=1

{Ux / x X} e uma cobertura aberta de X; como e compacto, admite uma

subcobertura finita {Uxi / i = 1, 2, . . . , m}; entao:
{Uxi Vki / i = 1, 2, . . . , m, ki = 1, 2, . . . , n(x)}
e uma cobertura finita de X Y , isto e , para cada i e ki , existe j J e
k K tal que:
Uxi Vki Uj,k Vj,k Wj .
Logo, existe subcobertura finita de W, provando que X Y e compacto.
Corolario 5.2. X1 , X2 , . . . , Xn sao compactos se, e somente se X1 X2 . . .
Xn e compacto.
Exemplo 5.6.
[1] Rn nao e compacto.
[2] Se I = [0, 1], entao 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 nao e homeomorfo ao cilindro S 1 R.


CAPITULO
5. COMPACIDADE

112

5.3 Compacidade em Espacos Metricos

Proposica o 5.5. Sejam M, d1 e N, d2 espacos metricos. Se M e compacto e f : M N e contnua, entao f e uniformemente contnua.
Prova : Como f e contnua, para todo > 0 existe x > 0 tal que se
d1 (x, y) < 2 x , entao:
d2 (f (x), f (y)) < /2.
Seja B = {Bx (x) / x X}; B e uma cobertura aberta de X; por compacidade, admite um cobertura finita {Bxi (xi ) / i = 1, 2, . . . , n}. Denotemos por = min{xi (x) / i = 1, 2, . . . , n}, entao dados x, y X tais que
d1 (x, y) < , temos d2 (f (x), f (y)) < . Isto e , se x Bxi (xi ) para algum i,
d1 (x, xi ) < xi e:
d(y, xi ) d(y, x) + d(x, xi ) < 2 x ,

logo

d2 (f (y), f (xi )) < /2,

d2 (f (x), f (y)) d2 (f (x), f (xi )) + d2 (f (xi ), f (y)) < /2 + /2 = .

Proposica o 5.6. Seja M, d um espaco metrico. Se A M e compacto,
entao A e fechado e limitado.
Prova : Provemos que A e fechado. Se x A e x
/ A, entao 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 finita
{Bi (y) / i = 1, . . . n}; entao Bi (x) Bi (y) 6= o que e uma contradica o,
pois x A; logo A = A. Por outro lado, para todo x0 M :
A B1 (x0 ) B2 (x0 ) B3 (x0 ) . . .
A

j
[

Bni (x0 );

i=1

logo, e limitado.
Em geral, a recproca desta proposica o e falsa. De fato, consideremos M
com a metrica discreta etal que A M e infinito; entao A e fechado e
limitado, pois A B2 (x) = M para todo x M e nao e compacto. No
caso M = Rn temos:


5.3. COMPACIDADE EM ESPAC
OS METRICOS

113

Proposica o 5.7. (Heine-Borel) Um subconjunto e fechado e limitado em

Rn se, e somente se e compacto.
Prova : Seja A Rn fechado e limitado. Se A e limitado, existe k > 0 tal
que kxk 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; entao, A e compacto.
Exemplo 5.7.
[1] S n e compacta.
[2] PRn e compacto.
[3] O toro e a esfera nao sao homeomorfos a R2 .
[4] O toro e a esfera nao sao homeomorfos ao cilindro S 1 R.
[5] A faixa de Moebius e compacta.
[6] Os grupos O(n) e SO(n) sao compactos.
De fato,sabemos que sao fechados e para toda A O(n), temos que
kAk1 = n. Logo, O(n) e limitado.

Corolario 5.3. (Weirstrass) Seja X um espaco topologico

compacto e f :
X R contnua; entao existem x0 , x1 X tais que:
f (x0 ) f (x) f (x1 ),
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}; alem disso e fechado; entao M, L f (X). De fato,
suponha que M
/ f (X), como f (X) = f (X), entao existe > 0 tal que
(M , M + ) f (X) = . Isto e , para todo x X, f (x) M o que e
uma contradica o. Analogamente para L. Logo, existe x0 , x1 X tais que
M = f (x1 ) e L = f (x0 ), e:
f (x0 ) f (x) f (x1 ),
para todo x X.
Seja A X um conjunto limitado, definimos e denotamos o diametro de
A por:

114

CAPITULO
5. COMPACIDADE

d(A) = sup{d(x, y) / x, y A}.

O numero
> 0 e dito de Lebesgue da cobertura {Ui / i J} de X, se para
todo A X com d(A) < , entao existe i0 I tal que:
A Ui0 .
O numero

de Lebesgue de uma cobertura pode nao existir.

De fato, considere a cobertura {(, 0), (0, +)} de R {0}. Nao e difcil
ver que para todo > 0, se pode escolher 0 < r < /2; tal que d({r, r}) <
e {r, r} nao pertence a nenhum elemento da cobertura.
Lema 5.1. (Lebesgue) Todo conjunto compacto num espaco metrico pos
sui um numero
de Lebesgue.
Prova : Sejam K compacto, {Ui / i J} uma cobertura de K e x K.

Escolhemos o numero
r(x) > 0 tal que B(x, r(x)) Ui para algum i J;
entao {B(x, r(x)/2) / x X} e uma cobertura de X, como X compacto,
admite subcobertura finita B(x1 , r(x1 )), B(x2 , r(x2 )) , . . ., B(xn , r(xn )). Seja
= min{r(x1 ), r(x2 ), . . . , r(xn )}.

O numero
> 0 e o numero
de Lebesgue. De fato, seja B(x, ) para algum
x X; entao, existe i {1, 2 . . . , n} tal que x B(xi , r(xi )/2). Por outro
lado, se y B(x, ), temos que:
d(y, xi ) d(y, x) + d(x, xi ) + r(xi )/2 r(xi ).
Logo, B(x, ) B(xi , r(xi )/2) Uj , para algum Uj {Ui / i J}.


5.4. EXERCICIOS

115

5.4 Exerccios
1. Rn , (n = 2, 3) com a topologia usual. Verifique se os seguintes conjuntos sao ou nao compactos.
(a) {(x, y) / x > 1}.
(b) {(x, y) / x = y}.
(c) {(x, y) / x y 0}.
(d) {(x, y, z) / x2 + y 2 + z 2 4}.
2. Seja R com a topologia usual. Verifique que conjunto A = {1/n / n
N} nao e compacto.
3. Seja R com a topologia usual. O conjunto B = {(1)n /n / n N}
{0} e compacto?
4. Sejam Rn com a topologia usual, A Rn e x0 Rn . Sabemos que a
distancia de x0 a A e r:
d(x0 , A) = inf {kx0 xk / x A}.

(a) Se A e fechado, existe q Rn tal que d(p, A) = d(p, q)?

(b) Verifique que f (p) = d(p, A) e uniformemente contnua.
5. Seja Rn com a topologia usual e A, B Rn . Defina a distancia de A
a B por:
d(A, B) = inf {kx yk / x A, y B}.

(a) d(A, B) = inf{d(p, B) / p A}?

(b) Que ocorre no item anterior se A e B sao compactos?


CAPITULO
5. COMPACIDADE

116

6. Sejam X compacto, An X tais que An 6= e An+1 An , para todo

n N. Verifique que:
\

An 6= .

7. Seja X um espaco metrico compacto e f : X X contnua. Verifique que existe A tal que A 6= e f (A) = A.
(Utilize o exerccio anterior e defina A1 = f (X) e An+1 = f (An ), ,
para todo n N).
8. Seja Y X um subespaco. Y e compacto se, e somente se Y e compacto com a topologia induzida.
9. Seja f : X Y cont

nua e L X um conjunto compacto. Ache um
exemplo tal que f L nao seja compacto.
10. Seja f : X Y contnua
e K Y um conjunto compacto. Ache
para que
um exemplo
tal que f 1 K nao e compacto. De condicoes


1
f
K seja compacto.
11. Seja X nao enumeravel. Definamos a seguinte topologia em X: U e
aberto se, e somente se U = ou U c e enumeravel. Verifique que X
com esta topologia, nao e compacto.

12. Ache um exemplo de um espaco topologico,

onde os subconjuntos
compactos nao sao fechados.

13. Ache um exemplo de um espaco topologico,

onde a clausura dos
subconjuntos compactos nao sao compactos.
14. Seja S 1 , A R, onde A{(x, y) / y = x2 } ambos com a topologia induzida, S 1 e homeomorfo a A?
15. Seja R com a topologia usual. De um
exemplo de uma funca o f :
R R contnua, injetiva tal que f R nao e fechado.




16. Ache exemplos de X, T1 compacto, Y, T2 e f : X Y bijeca o
contnua tal que nao seja homeomorfismo.
17. Seja f : X Y um homeomorfismo local tal que X e compacacto.
Verifique que f 1 (y) X, para todo y Y e finito.


5.4. EXERCICIOS

117

18. Suponha que todo subconjunto compacto de um espaco topologico

X e fechado. Se A X e finito, entao e fechado?
19. Seja R com a topologia usual, defina:
T = {} {U R / U c e compacto em R}.
(a) Verifique que T e uma topologia para R.
(b) Verifique que R e compacto em (R, T ).
20. Considere o espaco metrico l2 , definido nos exerccios do primeiro
captulo. Verifique que as bolas fechadas de l2 nao sao compactas.

118

CAPITULO
5. COMPACIDADE

Captulo 6

AXIOMAS DE SEPARAC
AO
6.1 Introduca o


Consideremos M, d um espaco metrico com mais de dois elementos.
Sempre podemos escolher > 0 tal que d(x, y) = 2 com x, y M e
x 6= y, entao B (x) B (y) = .
Esta propriedade natural dos espacos metricos, que nos permite diferen
ciar os pontos dos espacos, nao e valida, em geral, em espacos topologicos
arbitrarios.
Neste paragrafo estudaremos que tipo de espacos possuem esta propriedade, que por exemplo, e fundamental para provar a unicidade do limite
de uma sequencia em espacos metricos. Veja [EL2].

6.2 Espacos de Frechet

Seja X, T um espaco topologico

Definica o 6.1. X e um espaco de Frechet ou T1 se para todo x, y X tal
que x 6= y, existe U T tal que x U e y
/ U.
Exemplo 6.1.

[1] X, Tdis e os espacos topologicos

metrizaveis sao T1 .


[2] X, Tind nao e T1 .
Proposica o 6.1. X e T1 se, e somente se {x} e fechado em X, para todo
x X.
Prova : Suponha que X e T1 . Seja x X e y X {x}; entao existe Uy
vizinhanca de y tal que x
/ Uy ; logo:
119

CAPITULO
6. AXIOMAS DE SEPARAC
AO

120

Uy = X {x},

y{x}c

isto e , X {x} e aberto. Reciprocamente, se {x} e {y} sao fechados em X;

entao X {x} e X {y} sao abertos, y
/ X {x} e x
/ X {y}; logo X e
T1 .

6.3

Espacos de Hausdorff

Seja X, T um espaco topologico

Definica o 6.2. X e um espaco de Hausdorff ou T2 se para todo x, y X
tal que x 6= y, existem U, V T, x U e y V tais que U V = .
Observaca o 6.1. T2 implica T1 . A reciproca e falsa. Veja os seguintes exemplos:
Exemplo 6.2.


[1] R, Tus e de Hausdorff

[2] X, Tdis e os espacos topologicos

metrizaveis sao de Hausdorff.


[3] X, Tind nao e de Hausdorff.


[4] R, Tcof nao e de Hausdorff. De fato. Para todo U, V Tcof , temos
U V 6= . De fato, sejam U = R

F1 e V = R F2 , onde F1 e F2 sao
finitos; entao U V = R F1 F2 ; como F1 F2 e
finito, entao U V 6= ;
logo nao pode ser de Hausdorff. Note que R, Tcof e T1 .

[5] Utilizando propriedades dos aneis de polinomios

e possvel verificar
que topologia de Zariski nao e de Hausdorff.

Teorema 6.1. Sao equivalentes as seguintes condicoes:

1. X e de Hausdorff.
2. Se x X, para todo y 6= x existe uma vizinhanca U de x tal que
y
/ U.

6.3. ESPAC
OS DE HAUSDORFF

121

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.

Prova : 1) 2) Dados x 6= y, existem U e V vizinhancas de x e y respectivamente, tais que U V = ; logo y 6 U .
2) 3) Se y 6= x existe uma vizinhanca U de x tal que y
/ U ; entao:
\
y
/
{U / U vizinhanca de x}.
3) 4) Provaremos que c e aberto.

T
Seja (x, y)
/ ; entao x 6= y; como {x} = {U / U vizinhanc
a de x}, existe

c
U tal que x U e y
/ U . Por outro lado, U U = , entao (x, y)

c
U U c .
c
4) 1) Dados x 6= y, entao (x, y)
/ , isto e (x, y)

que e aberto; logo
existe vizinhanca U V de (x, y) tal que U V = .

U V 6=

existe x X tal que (x, x)

xU exV
U V 6= .

Logo; x U e y V , U V = .
Corolario 6.1.
1. Se X e de Hausdorff e Y X e um subespaco, entao Y e de Hausdorff.
2. Se Y e de Hausdorff e f : X Y e contnua e injetiva, entao X e
de Hausdorff.
3. Se X e Y sao de Hausdorff, entao X Y e de Hausdorff.
Prova : 1. Denotemos por Y a diagonal de Y , entao


Y = Y Y .

CAPITULO
6. AXIOMAS DE SEPARAC
AO

122

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 sao de Hausdorff, definamos:
f : X X Y Y X Y X Y
(x, x1 , y, y1 ) (x, y, x1 , y1 ).
f e um homeomorfismo 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, entao A e fechado.
Prova : Se A = ou A = X nada temos a provar. Sejam A 6= , X e x Ac ;
para todo a A existem Ua e Va vizinhancas de x e a respectivamente, tais
que Ua Va = .
Por outro lado, {Va / a A} e um recobrimento aberto de A; como A e
compacto, existe um subrecobrimento finito {Vai / i = 1, 2, . . . , n}. Consideremos:
U=

n
\

Uai .

i=1

U e vizinhanca de x tal que U Vai = para todo i; logo U Ac , isto e ,

para cada x Ac existe um aberto tal que x U Ac , logo Ac e aberto e A
fechado.
Observaca o 6.2. A condica o de ser de Hausdorff e de compacidade sao
essenciais no teorema anterior. Vejamos os seguintes exemplos:

6.3. ESPAC
OS DE HAUSDORFF

123

Exemplo 6.3.
[1] Considere X = {a, b, c} com a seguinte topologia T = {, {a}, {b, c}}.
Entao A = {c} e compacto e Ac = {a, b}
/ T, logo A nao e fechado. Note
que X nao 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 An temos A An = {1}. Isto
e , para todo n N, n A e N nao e compacto. De fato:
[
N=
Gn ,
nN

onde Gn = {1, n}. Logo, o fecho de um compacto pode nao ser compacto.
Corolario 6.2. Sejam T1
e T2 topologias em X tal que T1 T2 . Se X, T1
e de Hausdorff e X, T2 e compact, entao T1 = T2 .

Prova : Seja U T2 ; logo F = U c e fechado em T2 ; entao F e compacto

em T2 . Por outro lado, como T1 T2 , todo recobrimento aberto de X
em T1 e um recobrimento
aberto de X em T2 ; entao F e compacto em T1 .


Como X, T1 e de Hausdorff, segue que F e fechado em T1 ; logo U T1
e T2 T1 .

Proposica o 6.2. Sejam X espaco topologico,

Y espaco de Hausdorff e:
f, g : X Y
contnuas. Entao:
1. {x X / f (x) = g(x)} e fechado em Y .


2. Se D X e denso e f D = g D entao f = g em X.
3. O grafico de f e fechado em X Y .
4. Se f e injetiva, entao 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)} = h1 ()

CAPITULO
6. AXIOMAS DE SEPARAC
AO

124
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, entao:
{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 funca o f 1 : f (X) X e uma bijeca o fechada do espaco f (X) que
e de Hausdorff.

Observaca o 6.3.

O tem 1 da proposica o [6.2], nao e valido sem a hipotese

de ser de Hausdorff. Por exemplo, considere f = id e g = id tal que




f, g : R, Tind R, Tind ,
ambas s

ao contnuas e {x X / f (x) = g(x)} = {0}, que nao e fechado em3
R, Tind . Note que as curvas contnuas e os planos sao fechados em R
com a topologia usual.
Proposica o 6.3. Se X e compacto, Y e de Hausdorff e f : X Y e
contnua, entao f e fechada.
Prova : Seja F X fechado; logo e compacto; entao f (F ) e compacto, o
que implica f (F ) e fechado em Y e f fechada.
Corolario 6.3. Sejam X compacto, Y espaco de Hausdorff e f : X Y
contnua. Sao equivalentes:
1. f e um homeomorfismo.
2. f bijetiva.

6.4. TOPOLOGIA QUOCIENTE

125

Prova : Se f e um homeomorfismo, entao e bijetiva. Reciprocamente. Se f

e bijetiva, entao f e aberta e fechada; logo e um homeomorfismo.
A condica o de compaciade
e
essencial no corolario [6.3]. De fato, considere


os espacos R, Tus , R, Tdis e a funca o identidade:




id : R, Tdis R, Tus
que e contnua, bijetiva e nao e um homeomorfismo.
Corolario 6.4. Sejam X compacto, Y espaco de Hausdorff e f : X Y
contnua e injetiva entao:
X
= f (X).

6.4 Topologia Quociente

Em geral, e falso, que espacos quocientes de um espaco de Hausdorff sejam de Hausdorff.
Exemplo 6.4.
Seja R com a topologia usual e definamos a seguinte relaca o de equivalencia:
x y x = y ou {x, y} (0, 1).



Consideremos X com a topologia quociente e a correspondente

projeca o canonica.
Se x0 (0, 1), entao 1 ([x
 0 ])
= (0, 1), que nao e fe
chado
em
R;
logo
{[x
]}
n
a
o
e
fechado
em
X
, o qual implica em que
0


X nao pode ser de Hausdorff.
Teorema 6.3. Seja X compacto, de Hausdorff e f : X Y uma identificaca o. Se f e fechada, entao Y e de Hausdorff (compacto).
Prova : Sejam y1 , y2 Y tal que y1 6= y2 , entao f 1 (y1 ) e f 1 (y2 ) sao
compactos disjuntos. Seja x f 1 (y1 ) e b f 1 (y2 ), entao existem Ux,b
e Vx,b abertos disjuntos tais que x Ux,b e b Vx,b . Por outro lado,
{Vx,b / b f 1 (y2 )} e uma cobertura de f 1 (y2 ); logo existe uma subcobertura finita {Vx,b / b B}, onde B f 1 (y2 ) e B finito. Sejam:
\
[
Ux =
Ux,b e Vx =
Vx,b ,
bB

bB

CAPITULO
6. AXIOMAS DE SEPARAC
AO

126

Ux e Vx sao abertos tais que Ux Vx = e x Ux , f 1 (y2 ) Vx . Por

outro lado, {Ux / x f 1 (y1 )} e uma cobertura de f 1 (y1 ), logo existe uma
subcobertura finita {Ux / x A}, onde A f 1 (y1 ) e A finito. Sejam:
U=

Ux

V =

xA

Vx ,

xB

U e V sao abertos disjuntos tais que f 1 (y1 ) U e f 1 (y2 ) V ; como f e

fechada, entao f (U c ) e f (V c ) sao fechados em Y . Denotemos por:

c
W1 = f (U c )

c
e W2 = f (V c ) .

W1 e W2 sao abertos tais que y1 W1 , pois f 1 (y1 ) U e y2 W1 , pois

f 1 (y2 ) V . Se y W1 W2 , entao y
/ f 1 (U c ) e y
/ f 1 (V c ); logo
1
c
1
c
1
f (y) U = e f (y) V = donde f (y) U V = e W1 W2 = .
Corolario 6.5. Seja X compacto, de Hausdorff e A X fechado. Definamos em X a relaca o de equivalencia:
x y x = y ou {x, y} A.


Entao X e compacto e de Hausdorff.

Prova : Seja F X fechado e a projeca o canonica.

Se F A = , entao
(F ) = F . Se F A 6= , entao (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.
Corolario 6.6. Se X e um G-espaco compacto, de Hausdorff e G e finito,
entao X/G e compacto e de Hausdorff.
Prova : Seja F X fechado, entao:

[
1 (F ) =
g (F ),
gG

onde e a projec
g e um homeomorfismo, para todo g G;

a o canonica.
1
entao (F ) e fechado e (F ) e fechado; logo e fechada.

6.5. HOMEOMORFISMOS

127

Proposica o 6.4. Se X e compacto, Y e de Hausdorff e f : X Y contnua

sobrejetiva, entao f e uma identificaca o.
Prova : Seja K X fechado, entao 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
funca o fechada e pela proposica o [4.2], f e uma identificaca o.
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 RPn e CPn sao compactos e de Hausdorff.
[4] A faixa de Moebius e compacta e de Hausdorff.
[5] A garrafa de Klein e compacta e de Hausdorff.

6.5 Homeomorfismos
utilizaremos o corolario [6.3]:
Nas seguintes aplicacoes
Corolario 6.7. Sejam X compacto, Y de Hausdorff uma relaca o de equivalencia em X ef : X Y contnua e sobrejetiva tal que x x1
f (x) = f (x1 ). Entao
X
= Y.
A) Seja S n1 {0} S n1 I, entao:
B[0, 1]
= S n1 I



S n1 {0} .

De fato, definamos f : S n1 I B[0, 1] por f (x, t) = t x.

Por outro lado f (x1 , t1 ) = f (x2 , t2 ) x 6= 0 ou x1 = x2 e t1 = t2 = 0, f
e contnua e sobrejetiva. Logo, por passagem ao quocientes, f induz uma
bijeca o contnua F tal que F = f .

 n1


Denotemos por X = S n1 I
S
{0} , temos o seguinte diagrama
comutativo:
/ B[0, 1]
8
r
rr
r
r
rr
 rrrr F

S n1 I
f

128

CAPITULO
6. AXIOMAS DE SEPARAC
AO

Como X e compacto e B[0, 1] e de Hausdorff, entao F e um homeomorfismo o qual e definido por F ([(x, t)]) = f (x, t).
B) Seja T 2 o toro de revoluca o. Entao:



T2
= S1 S1
= I2
= R2 Z2 .
Pelo exemplo C em [4.3], provaremos que:


T2
= I2 ,
onde T 2 e o toro de revoluca o em R3 .
T 2 R3 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) R2 . Seja I = [0, 1] e consideramos I 2 R2 com a
topologia usual e a relaca o de equivalencia definida 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
definamos:
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 definida, contnua e sobrejetiva. Como f e periodica,

entao (s, 0)
(s, 1) e (0, t) (1, t) f (s, t) = f (s1 , t1 ). Logo, por passagem ao quocientes, f induz uma bijeca o contnua F tal que F = f . Em outras palavras,
temos o seguinte diagrama comutativo:
I2

/ T2
y<
y
yy
yyF
y
y


I2

6.5. HOMEOMORFISMOS

129



Como I 2 e compacto e T 2 e de Hausdorff, entao F e um homeomorfismo. Note que F ([t1 , t2 ]) = f (t1 , t2 ). Logo, provamos que:



T2
= S1 S1
= I2
= R2 Z2 .
Em geral, com argumentos analogos aos anteriores, se consideramos o toro
n-dimensional Tn = S 1 S 1 . . . S 1 , (n vezes), temos que:

Tn
= Rn Zn
= I n/ .
C) Seja X = Rn+1
, isto e Rn+1 menos a origem, definamos em X a seguinte

relaca o de equivalencia:
x y existe R tal que x = y.


Seja X = X , entao:
X
= RPn .
Considere S n Rn+1 com a topologia induzida pela topologia usual de
Rn+1 . Seja f : S n X definida por f = i, onde i : S n Rn+1
e a

inclusao e : Rn+1

X
e
a
projec

a
o
can
onica.
f
e
cont

nua
e
sobrejetiva.

Logo, temos o seguinte diagrama comutativo:

f

/ RPn
y<
y
yy
y

y
 yyy F

Sn
X

Como S n e compacta e RPn e de Hausdorff, entao F e um homeomorfismo

F . E claro que RP0 e um ponto e RP1
= S 1 . De fato, basta considerar a
funca o f : S 1 S 1 tal que f (z) = z 2 , por argumentos analogos aos
anteriores, temos o seguinte diagrama comutativo:

/ S1
z=
z
zz
zz
 zz F

S1

RP1
Logo, temos que RP1
= S 1.

, isto e Cn+1 menos a origem, definamos em X a seguinte

D) Seja X = Cn+1

relaca o de equivalencia:
z1 z2 existe C tal que z1 = z2 .

CAPITULO
6. AXIOMAS DE SEPARAC
AO

130


Seja X = X , entao:

X
= CPn .
Considere S 2n+1 Cn+1 com a topologia induzida pela topologia usual de
Cn+1 . Seja f : S 2n+1 X definida por f = i, onde i : S 2n+1 X e a

inclusao e : Cn+1
X e a projeca o canonica.
f e contnua e sobrejetiva.

Logo, temos o seguinte diagrama comutativo:

f

/ CPn
v:
v
v
vv

vv F
v
 vv

S 2n+1
X

Como S 2n+1 e compacta e CPn e de Hausdorff, entao F e um homeomorfismo e:

X
= CPn .
F) Seja O(n) o grupo ortogonal real e denotemos por H o subgrupo de
O(n) definido por: A H se, e somente se:


1 0
A=
,
0 B
onde B O(n 1). Nao e difcil ver que H e O(n 1) sao homeomorfos.
Definamos em O(n) a seguinte relaca o de equivalencia:
A1 A2 existe A H tal que A1 = A2 A.
Afirmamos que:

O(n) O(n 1)
= S n1 .
Definamos f : O(n) S n1 por:

1
..
f (A) = A .
0
f e bem definida e sobrejetiva, pois para todo v S n1 , existe uma rotaca o
A tal que A e1 = v. Verifique! f e claramente contnua.
Sejam A1 A2 , entao A1 = A2 A, para algum A O(n 1); logo:

6.5. HOMEOMORFISMOS

131

1
1
1
..
..
..
f (A1 ) = A1 . = A2 A . = A2 . = f (A2 ).
0
0
0
Logo, temos o seguinte diagrama comutativo:
O(n)

/ S n1
p7
p
p
ppp
pppF
p
p
p

O(n)/O(n 1)

F ([A]) = f (A). Como O(n) e compacto, entao O(n)/O(n1) e compacto, F

e contnua e bijetiva e S n1 e de Hausdorff, enao F e um homeomorfismo
e:

O(n) O(n 1)
= S n1 .
G) Seja M a faixa de Moebius, entao:
M
= F,
onde F e a superfcie parametrizada em R3 , por:
x(t, s) = (x2 y 2 ) (2 + x z)
y(t, s) = 2 x y (2 + x z)
z(t, s) = y z,
onde (t, s) R2 .



Lembremos que M = C , onde C = {(x, y, z) / x2 + y 2 = 1, |z| 1}.
Seja p = (x, y, z) C e f : C R3 definida por:
f (p) = ((x2 y 2 ) (2 + x z), 2 x y (2 + x z), x y).
Note que f (p) = f (x, y, z) = f (x, y, z) = f (p). A funca o f e injetiva,
contnua, M compacto e f (M ) R3 de Hausdorff; logo
M
= f (M ) = F.

132

CAPITULO
6. AXIOMAS DE SEPARAC
AO

6.6 Variedades Topologicas

As variedades topologicas
sao uma das classes mais importantes dos espa
cos topologicos.
A ideia central deste captulo e estudar as variedades to
pologicas,
que sao a generalizaca o natural das superfcies para dimensao
n > 2.
Definica o 6.3. X e dito localmente euclidiano se e localmente homeomorfo a Rn , para algum n 1.
Isto e , X e um espaco localmente euclidiano se, e somente se para todo
p X, existem uma vizinhanca U X de p, um aberto W Rn e um
homeomorfismo:
: U W Rn .
Definica o 6.4. Se X e localmente homeomorfo a Rn , dizemos que X tem
dimensao n.

Se X e uma variedade topologica

de dimensao n. Todo ponto de X possui
uma vizinhanca homeomorfa a uma aberto de Rn ; isto e todo x X possui
uma vizinhanca U e um homeomorfismo:
h : U Dn ,
onde Dn Rn e o disco unitario.

Figura 6.1: Variedade de dimensao 2

Definica o 6.5. X e dita variedade topologica

de dimensao n ou uma n
variedade topologica

se e um espaco topologico
de Hausdorff, de base
enumeravel e que e localmente euclidiano, isto e , localmente homeomorfo
a Rn .


6.6. VARIEDADES TOPOLOGICAS

133

Observacoes
6.1.
1. Os abertos de X homeomorfos aos abertos de Rn formam uma base
para X.

2. Se n = 2, entao X e dita superfcie topologica.

3. Se X e Y sao variedades de dimensao n e m, respectivamente, entao
X Y e uma variedade de dimensao n + m. (Verifique!).

Exemplo 6.6.

[1] A esfera S n e uma variedade topologica

de dimensao n. Segue de imediato, basta considerar a projeca o stereografica.

[2] Tn = S 1 . . . S 1 (n-vezes) e uma variedad topologica

de dimensao n.
projetivos reais e complexos sao variedades topologicas

[3] Os espacos
de
dimensao n e 2 n, respectivamente.

[4] A garrafa de Klein e uma superfcie topologica.

[5] A Faixa de Moebius

nao e uma superfcie topologica.
Por que?

CAPITULO
6. AXIOMAS DE SEPARAC
AO

134

6.7 Exerccios
1. Seja X = {a, b, c, d, e} com a topologia
T = {, X, {a}, {c, d}, {a, c, d}, {b, c, d, e}}.
(X, T ) e de Hausdorff?
2. Seja X 6= , para a X fixo, defina a topologia:
T = {} {U X / a U }.
(X, T ) e de Hausdorff?
3. Se X e de Hausdorff e f : X Y e uma bijeca o fechada. Verifique
que Y e de Hausdorff.
4. Seja X, onde a topologia em X e definida por: U e aberto se, e somente se U = ou U c e finito. X e de Hausdorff?
5. Se X e de Hausdorff e A X finito tal que A0 = . Verifique que A e
fechado.
6. Seja X = {(x, 1) R2 / x R} {(x, 1) R2 / x R}. Verifique
que X nao e de Hausdorff com a topologia induzida pela topologia
usual de R2 .




7. Ache exemplos de X, T1 espaco topologico, Y, T2 de Hausdorff e
f : X Y bijeca o contnua tal que nao seja homeomorfismo.
8. Verifique que CP0 e um ponto e CP1
= S 2.
9. Se X e de Hausdorff. X e dito 0-dimensional se X possui uma base
cujos elementos sao abertos e fechados.






(a) R, Tus , Q, Tus e Z, Tus sao 0-dimensionais?
(b) Se X e Y sao 0-dimensionais, entao X Y e 0-dimensional?


6.7. EXERCICIOS

135

10. Seja X um espaco topologico

e {xn } uma sequencia de elementos de
X. O ponto L X e dito limite se para toda vizinhanca U de L existe
N N tal que xn U , para todo n > N . Verifique que se X e de

Hausdorff, entao toda sequencia que converge tem um unico

ponto
de limite.

11. Seja X um espaco topologico

Hausdorff. X e dito regular se para
todo x X e todo subconjunto fechado A tal que x
/ A, existe uma
vizinhanca U de x e V aberto tal que A V , entao U V = .
Verifique que sao equivalentes:
(a) X e regular.
(b) Para todo x X e U vizinhanca de X, existe V uma vizinhanca
de x tal que x V V U .
(c) Para todo x X e A fechado em X, existe V uma vizinhanca de
x tal que V A = .
12. Um subespaco de um espaco regular e regular?

13. Verifique que todo espaco topologico

de Hausdorff compacto e regular.
14. Verifique que todo espaco metrico e regular.

15. Todos os conjuntos abertos de Rn sao variedades topologicas

de dimensao n.
16. G e um grupo topologico

se:

(a) Se G e um espaco topologico

Hausdorff.
(b) (G, ) e um grupo.
(c) G possui uma topologia tal que:
: G G G
e
(g1 , g2 ) g1 g2

inv :G G
g g 1

sao contnuas. Onde GG tem a estrutura de espaco topologico

com a topologia produto.

136

CAPITULO
6. AXIOMAS DE SEPARAC
AO
(a) Verifique que o grupo (Z, +) com a topologia T = {, Z, Un },

onde Un = [n, +). Entao Z nao e um grupo topologico

com
esta topologia.
(b) Todo subgrupo de G com a topologia relativa e um grupo to
pologico?
(c) Verifique que os grupos (R, +) e (R, ) com a topologia usual sao

grupos topologicos.
(d) Seja S 1 C. Verifique que S 1 herda uma estrutura de grupo
multiplicativo de C que o torna S 1 um grupo topologico compacto.
(e) Os grupos de matrizes GL(n, R) e GL(n, C) com a multiplicaca o

de matrizes e a topologia euclidiana sao grupos topologicos.

17. Verifique que se G e um grupo topologico:

(a) Todo subgrupo de G com a topologia relativa e um grupo to
pologico.

(b) O produto cartesiano finito de grupos topologicos

e um grupo
1
1

topologico.
Logo, o toro S S e um grupo topologico
compacto.

18. Seja G um grupo topologico;

para todo a G:
(a) Denotamos e definimos a translaca o a` equerda:
La : G G
g a g.
(b) Denotamos e definimos a translaca o a` direita:
Ra : G G
g g a.
La e Ra sao homeomorfismos tais que para
Verifique que as funcoes
todo a G:
L1
a = La1

e Ra1 = Ra1 .


6.7. EXERCICIOS

137

19. Seja G um grupo topologico;

para todo a G. Verifique que:
(a) La Lg = Lag e L1
a = La1 .
(b) Ra Rg = Rga e Ra1 = Ra1 .
(c) La Rg = Rg La

20. Sejam G um grupo topologico

e H G. H e subgrupo topologico

de G se:
(a) H e um subgrupo de G.

(b) H tem a topologia induzida por G como subespaco topologico.

Sejam G um grupo topologico

e H um subgrupo topologico,
normal

e fechado. Verifique que G/H e um grupo topologico

tal que:
: G G/H.
e um homorfismo contnuo e aberto.

21. Verifique que toda 1-variedade topologica

compacta e homeomorfa
1
aS .

138

CAPITULO
6. AXIOMAS DE SEPARAC
AO

Captulo 7
CONEXIDADE
7.1 Introduca o
Neste captulo apresentamos outro conceito fundamental da Topologia, o
planteadas ao inicio do
qual nos premitira responder algumas questoes
livro, que ainda estao sem respostas.

7.2 Conexidade

Seja X um espaco topologico

nao vazio.
Definica o 7.1. X e dito conexo se nao existem A e B abertos disjuntos nao
vazios tais que X = A B. Caso contrario X e dito desconexo.
Observaca o 7.1. A X e conexo, se e conexo como subespaco de X.
Exemplo 7.1.
[1] {x} e sao sempre conexos.


[2] Em X, Tind , todo subconjunto e conexo.

conexos nao vazios sao os conjuntos de um

[3] Em X, Tdis , os unicos
elemento.


[4] Seja R, Tus ,
i) Q R e desconexo. De fato, basta considerar:
A = (,

2) Q e B = ( 2, +) Q.

ii) Para todo x R, entao R {x} e desconexo. De fato, basta considerar:

139


CAPITULO
7. CONEXIDADE

140

A = (, x) e B = (x, +).


[5] R, Tcof e conexo. De fato, nesta topologiachapter nao existem abertos
nao vazios disjuntos.

Proposica o 7.1. Seja R com a topologia usual. Os unicos

conjuntos conexos
em R com mais de um ponto sao os intervalos (abertos, fechados, etc).
Prova : Se Y e conexo, entao Y e um intervalo. Suponha que Y nao e
um intervalo, entao 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 nao e conexo.
Se Y e um intervalo, entao e conexo. Se Y for desconexo, entao existem A
e B abertos disjuntos nao vazios tais que Y = A B. Sejam a A e b B
tais que a < b (caso contrario, mudamos os papeis de a e b). Denotemos
por:
= sup{x / [a, x) A}.
Logo b; como Y e um intervalo, Y . Por outro lado, AY = AY .

Como A = Y B, entao A e aberto e fechado em Y ; logo A = A e

existe > 0 tal que ( , + ) A, contradica o, pois e um supremo.
Segue de imediato da proposica o anterior:
Corolario 7.1. Seja R com a topologia usual. A R e conexo se, e somente
se A = , A = {x} ou A e um intervalo.
Prova: Imediata.

Teorema 7.1. Sao equivalentes:

1. X conexo.

2. Os unicos
subconjuntos abertos e fechados em X sao X e .




3. Nao existe funca o f : X, T {0, 1}, Tdis contnua e sobrejetiva.
Prova :
1) 2) Se A X e aberto, fechado e nao vazio ou X, entao X = A Ac ,
entao X desconexo.

7.2. CONEXIDADE

141

2) 3) Suponha que f : X, T {0, 1}, Tdis e contnua e sobrejeti

vaa, logo f 1 (0) 6= , como {0} e aberto e fechado em {0, 1}, Tdis , entao
f 1 (0) e aberto e fechado em X.
3) 1) Se X = A B onde A e B sao abertos
disjuntos
nao vazios, entao


A e B sao fechados e a funca o : X, T {0, 1}, Tdis definida por:
(
1 se x A
(x) =
0 se x B
e contnua e sobrejetiva.
Exemplo 7.2. Segue do teorema que R, com a topologia usual e conexo.
Corolario 7.2.
1. Se X e conexo e f : X Y e contnua, entao f (X) e conexo.
2. Seja X
= Y . Entao, X e conexo se, e somente se T e conexo.
3. A uniao arbitraria de subconjuntos conexos de X que tem pelo menos
\ um ponto em comum, e conexa. Isto e . Seja {A /, } tal que
A 6= , entao:

e conexo.
4. Seja A X subconjunto conexo. Se B X e tal que A B A,
entao 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 contradica o, pois X e
conexo.
2. E imediata.
3. Sejam {A / I} famlia de conexos, e:
A=

[
I

A , tal que x0

\
I

A .


CAPITULO
7. CONEXIDADE

142


Suponha que existe f : A {0, 1} contnua. Como cada A e conexo f A
nao e sobrejetiva. Por outro lado, como x0 A , para todo
 I; entao
f (x) = f (x0 ), para todo x A e I; caso contrario f A e sobrejetiva.
Logo f nao e sobrejetiva.

4. Seja f : X {0, 2} contnua; como A e conexo, entao f A nao e
sobrejetiva. Por outro lado, B = A B = AB e pela continuidade de f :
f (B) = f (AB ) f (A) = f (A);
logo f nao e sobrejetiva.
Proposica o 7.2. X e Y sao conexos se, e somente se X Y e conexo.
Prova : Sejam X e Y conjuntos conexos tais que X Y = A B, onde A e
B sao abertos disjuntos.
Ou A = A1



Y , A1 X aberto ou existe x X
tal que {x} Y A 6= e {x} Y B 6= .
Exemplo 7.3.
[1] S 1 R2 com a topologia usual e conexo. De fato; seja f : [0, 1] R2
definida por f (t) = e2i 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] Rn e I n = [0, 1] [0, 1] sao conexos.
[4] A faixa de Moebius, o plano projetivo real, o plano projetivo complexo
e a garrafa de Klein sao 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 funca o contnua,
Z tambem e conexo; pelo corolario [7.2], X Z e conexo. Note que em R2 ,
X = X Z.


7.3. APLICACOES

143

-1

Figura 7.1: X = X Z.
[6] Seja a famlia Sr1 = {(x, y) R2 / (x r)2 + y 2 = r2 }, logo (0, 0) Sr1
para todo r > 0.

Figura 7.2: A famlia Sr1 .

Como cada Sr1 e conexo, pelo corolario [7.2]:
D=

Sr1 = {(x, y) R2 / (x r)2 + y 2 r2 },

r>0

e conexo.

7.3 Aplicacoes

A primeira aplicaca o que estudaremos e a generalizaca o do teorema do

Valor Intermediario do Calculo.
Proposica o 7.3. Sejam X conexo, R com a topologia usual e f : X R
contnua. Sejam x1 , x2 X tais que f (x1 ) < f (x2 ). Entao para todo c R
tal que f (x1 ) < c < f (x2 ), existe x X tal que f (x) = c.


CAPITULO
7. CONEXIDADE

144

Prova : Se f e contnua, entao f (X) R e conexo, logo f (X) e um intervalo. Se f (x1 ) = a e f (x2 ) = b, entao [a, b] R; portanto, para todo
c [a, b] existe x X tal que f (x) = c.
Corolario 7.3. (Teorema do ponto fixo) Toda f : [0, 1] [0, 1] contnua
admite, pelo menos menos um, ponto fixo. Isto e , existe x [0, 1] tal que
f (x) = x.
Prova : Seja F (x) = f (x) x; entao F (1) 0 F (0). Pelo teorema do
valor intermediario, existe x [0, 1] tal que F (x) = 0.
Corolario 7.4. (Teorema de Borsuk - Ulam para n = 1) Seja f : S 1 R
contnua. Existem pontos antipodais que possuem a mesma imagem.
Prova : Utilizando coordenadas polares, podemos denotar os elementos
de S 1 pelo a ngulo , medido em radianos. Logo, os pontos e + sao
antpodas; consideremos a funca o F () = f () f ( + ); entao como
f (0) = f (2 ) e F (0) = F (), pelo teorema do valor intermediario, existe
1 [0, ] tal que F (1 ) = 0.
Proposica o 7.4. Seja n > 1 e A Rn , A enumeravel. Entao Rn A e conexo.
Prova : Sem perda de generalidade, podemos supor que a origem 0
/ A
n
(caso contrario, por translaca o, movemos a origem). Seja x R A.
Provaremos que a origem e cada x, estao contidos num conjunto conexo
~ a
de Rn A e pelo corolario [7.2], Rn A sera conexo. Denotemos por 0x
semi-reta que liga a origem a` x e por L uma reta qualquer que intersecte
~ em unico
~ zx.

0x
ponto diferente de 0 e x. Para todo z L, seja LZ = 0z
~
Pelo corolario [7.2] cada Lx e conexo e LZ Lz0 = {0, x}.
x

Lz

Figura 7.3:

7.4. CONEXIDADE POR CAMINHOS

145

Pelo menos um Lz Rn A; caso contrario se Lz A 6= , para todo z L,

o ponto de interseca o, necessariamente, deve ser diferente para diferentes
z L. Logo, teramos uma correspondencia biunvoca entre L e A, o que
e impossvel, pois A e enumeravel.
Corolario 7.5. R e Rn , n > 1 nao sao homeomorfos.




Prova : Suponha que Rn
=h R; entao Rn {x}
= R {h(x)} . Como
Rn {x} e conexo, R {h(x)} seria conexo. Portanto nao podem ser homeomorfos.
Observaca o 7.2. Provar que Rn  Rm se n 6= m e , surpreendentemente,
muito mais complicado. Este resultado segue do teorema chamado da
invariancia da dimensao, cujo enunciado e : se Rn
= Rm , entao n = m.

A prova deste teorema envolve delicados conceitos topologicos

que ficam
fora do contexto destas notas.
Definica o 7.2. Seja x X,. A componente conexa de x e a uniao de todos
os conjuntos conexos que contem a x.
Denotamos por C(x) a componente conexa de x. Pelo corolario [7.2], C(x)
e o maior conexo que contem x. Se X e conexo, entao C(x) = X, para todo
x X.
Proposica o 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 contem x, entao C(x) C(x).
Exemplo 7.4. S n Rn1 , com a topologia usual, e conexo.
De fato; consideremos o homeomorfismo S n {p}
= Rn dado pela projeca o
estereografica. Como Rn e conexo, entao S n {p} e conexo e:
S n = S n {p}.

7.4 Conexidade por Caminhos

Sejam X, T e I = [a, b] R um intervalo fechado, com a topologia
induzida pela topologia usual de R.
Definica o 7.3. Um caminho em X e uma funca o : I X, contnua.


CAPITULO
7. CONEXIDADE

146

Os pontos (a) e (b) sao ditos ponto inicial e final do caminho, respectivamente. Um caminho nao e um conjunto em X. Por exemplo, considerando
R com a topologia usual, entao:
1 : [0, 1] R e 2 : [0, 1] R,
definidos por 1 (t) = t e 2 (t) = t2 sao dois caminhos ligando 0 e 1.
Definica o 7.4. X e dito conexo por caminhos ou conexo por arcos, se para
todo x1 , x2 X, existe caminho ligando x1 a x2 .
Exemplo 7.5.
[1] Rn e conexo por caminhos. Em geral, todo espaco vetorial e conexo por
caminhos.
[2] O grupo O(n) nao e conexo por caminhos. De fato, se consideramos
duas matrizes em O(n), tais que uma tenha determinante positivo e a outra determinante negativo, qualquer caminho contnuo ligando estas matrizes, necessariamente devera passar pela matriz nula.
Proposica o 7.6. Seja X conexo por caminhos e f : X Y contnua e
sobrejetiva. Entao Y e conexo por caminhos.
Prova : Sejam y, y1 Y ; como f e sobrejetiva, existem x, x1 X tais que
f (x) = y e f (x1 ) = y1 . Como X e conexo por caminhos, existe : I X
contnua ligando x a x1 ; logo definimos = f , que e um caminho que
liga y a y1 .
Corolario 7.6. Se X
= Y , entao X conexo por caminhos se, e somente se
Y conexo por caminhos.
Pelo corolario, podemos sempre considerar I = [0, 1]. Sejam , : I X
caminhos tais que (1) = (0), isto e , o ponto final de coincide com o

ponto inicial de . Nesta condicoes,

podemos definir:
:I X
(
(2 t)
t
(2 t 1)

se 0 t 1/2
se 1/2 t 1

O caminho e contnuo e ( )(0) = (0), ( )(1/2) = (1/2) =

(1/2) e ( )(1) = (1). Logo, e um caminho em X ligando (0) a
(1).

7.4. CONEXIDADE POR CAMINHOS

147

Proposica o 7.7. Seja {X /\

} uma famlia arbitraria de espacos conexos por caminhos tal que
X 6= , entao:

X=

e conexo por caminhos.

\
Prova : Sejam x1 , x2 X tais que x1 X1 e x2 X2 . Se z
X ,
existem e caminhos com x1 X1 e x2 X2 , ligando x1 a z e x2 a z,
respectivamente. Basta considerar o caminho , que liga x1 a x2 .
Proposica o 7.8. Se X e Y sao conexos por caminhos, entao X Y e conexo
por caminhos.
Prova : Sejam (x, y), (x1 , y1 ) X Y . Denotemos por : I X e
: I Y caminhos ligando x a x1 e y a y1 , respectivamente. Logo:
:I X Y
t ((t), (t))
e um caminho em X Y , ligando (x, y) a (x1 , y1 ).
Teorema 7.2. Se X e conexo por caminhos, entao X e conexo.
Prova : Sejam x, x1 X e um caminho ligando x a x1 . Entao, (I) e
um conjunto conexo que contem x e x1 ; logo x e x1 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 nao e conexo por caminhos.
Provaremos que nao 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 k(t) (0, 1)k < 1/2 se 1 t 1.


CAPITULO
7. CONEXIDADE

148

Figura 7.4:
Note que ([1 , 1]) e conexo. Denotemos por (1 ) = (x0 , y0 ) e
pr1 (x, y) = x a primeira projeca o de R2 ; enta
o pr1 : [0, 1] R e
contnua e o seguinte conjunto C = pr1 ([1 , 1]) e conexo com
0 C, pois (1) = (0, 1)); tambem x0 C. Por outro lado, C e um intervalo e contem [0, x0 ]; logo para todo x1 (0, x0 ], existe t [1 , 1] tal que
(t) = (x1 , sen(1/x1 )). Em particular, se m = 2 n /2, para n grande,
temos que se x1 = 1/m, entao 0 < x1 < x0 e sen(1/x1 ) = sen(/2) = 1;
logo o ponto (1/m, 1) = (t), para algum t [1 , 1], ou seja, o ponto
(1/m, 1) esta a uma distancia menor que 1/2 do ponto (0, 1). Istoe e uma
contradica o, pois (1/m, 1) esta a uma distancia de pelo menos 2 do ponto
(0, 1).
Proposica o 7.9. Seja Rn com a topologia usual, se A Rn e aberto, entao
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}
Afirmamos que F e aberto. De fato, seja x F A, como A e aberto,
existe > 0 tal que D = {y / kx yk < , } e uma vizinhanca de x e
x D A. Por outro lado, D e conexo por caminhos, (pois e homeomorfo
a Rn ); 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.
Afirmamos que F e fechado. De fato, seja B = E F ; logo B e o conjunto
de todos os pontos de A que nao podem ser ligados a p por um caminho
em A. Por um argumento analogo ao anterior e possvel verificar que B
e aberto e por tanto F e fechado. Logo, F e nao vazio, aberto e fechado,
como A e conexo, entao A = F .


7.5. EXERCICIOS

149

7.5 Exerccios
1. Saja X = {a, b, c, d} com a topologia:
T = {, X, {a}, {b, c}, {a, b, c}}.
Verifique se (X, T ) e conexo?
2. Rn com a topologia usual. Verifique se os seguintes conjuntos sao ou
nao conexos.
(a) {(x, y) / x > 1}.
(b) {(x, y) / x = y}.
(c) {(x, y) / x y > 0}.
(d) {(x, y, z) / x2 + y 2 + z 2 > 4}.
(e) {(x, y, z) / x2 + y 2 + z 2 > 4}c .
3. Verifique que o grupo O(n, R) das matrizes reais ortogonais de ordem n nao e conexo.
4. Determine as componentes conexas de GL(n, R) o grupo das matrizes de determinante nao nulo.

5. Um espaco topologico
X, T
tem a propriedade
do ponto fixo, se


toda funca o contnua de X, T em X, T possui um ponto fixo.
(a) Verifique que os intervalos fechados, com a topologia usual, sao

os unicos
em possuir a propriedade do ponto fixo.


(b) Se X, T tem a propriedade do ponto fixo e f : X Y homeomorfismo, entao (Y, T1 ) tem a propriedade do ponto fixo?
6. Verifique que se A e conexo tal que A B A, entao B e conexo.
7. Verifique que se A e B sao conexos tal que A B 6= , entao A B e
conexo.
8. Se A B e A B sao conexos, entao A e B sao conexos?


CAPITULO
7. CONEXIDADE

150

9. Seja Y um conjunto ordenado, com a relaca o de ordem . Denotemos por y < y1 se y y1 e y 6= y1 . Definamos a topologia em Y que
tem como subbase S = {Ly , Ry }, onde:
Ly = {x Y / x < y} e Ry = {z Y / y < z}.
Note que se Y = R, entao o intervalo (a, b) = Ra Lb . A topologia
gerada por esta subbase e chamada topologia da ordem e Y e dito
espaco odenado. Verifique que o teorema do valor intermediario,
pode ser estendido a espacos ordenados.
10. Verifique que: total
(a) R  S 1 .
(b) S 1  S n se n > 1.


11. 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. Verifique que:
(a) Se X e conexo e f localmente constante, entao f e constante.
(b) Se toda f : X R e localmente constante, entao X e conexo.
12. Seja f : X Y um homeomorfismo local tal que X e compacto e
conexo. Verifique que existe n N tal que para todo y Im(f ) a
cardinalidade de f 1 (y) e n.




13. Seja R com a topologia usual, entao R Q Q R e conexo por
caminhos?
14. Verifique que todo espaco com a topologia indiscreta e conexo por
caminhos.
15. Seja X um espaco topologico e a seguinte ralaca o de equivalencia:
xy

se existe um caminho ligando x a y em X.

Verifique que X e conexo por caminhos X

minhos.

e conexo por ca-


7.5. EXERCICIOS

151

16. Verifique que os subconjuntos convexos de Rn sao conexo por caminhos.

17. Seja X, T um espaco topologico

e : I X um caminho que liga
um ponto de A X a um ponto de Ac . Verifique que (I) A 6= .

18. Seja Pn (x) um polinomio

de grau mpar, entao a equaca o Pn (x) = 0
tem pelo menos uma soluca o real.

19. Um espaco topologico

X, T e dito totalmente desconexo se as componentes conexas C(x) = {x}, para todo x X:
(a) Verifique que Q R com a topologia usual e totalmente desconexo.
(b) Se f : R Q contnua, verifique que existe a Q tal que
f (x) = a, para todo x R.
(c) Se A X e X e totalmente desconexo, entao A e totalmente
desconexo?
(d) Todo subconjunto enumeravel do plano e totalmente desconexo?
(e) O produto de espacos totalmente desconexos e totalmente desconexo?
20. Seja R2 com a topologia T onde T e a topologia produto T1 T1 , tal
que T1 tem como base B = {[a, b), a < b, b Q}, prove que com esta
topologia R2 e uma espaco de Hausdorff totalmente desconexo.

152

CAPITULO
7. CONEXIDADE

Bibliografia
[KJ]

Janich K.: Topology, Springer-Verlag

[EL1]

Lima E.: Analise em Rn , Projeto Euclides, Impa - Brasil

[EL2]

Lima E.: Espacos Metricos, Projeto Euclides, Impa - Brasil

[DD]

Dugundji J: Topology, Boston, Allyn & Bacon

[CK]

Kosniowski C: A First Course in Algebraic Topology, Cambridge

Univ. Press

153